C. Tarau: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

Binary trees as a computational framework

Haraburda, David, Tarau, Paul

Journal:

Computer Languages, Systems & Structures

Year:

2013

Language:

english

File:

PDF, 477 KB

english, 2013

52

[IEEE Control (MSC) - Denver, CO, USA (2011.09.28-2011.09.30)] 2011 IEEE International Conference on Control Applications (CCA) - Hierarchical control for drift correction in transmission electron microscopes

Tarau, Alina N., Nuij, Pieter, Steinbuch, Maarten

Year:

2011

Language:

english

File:

PDF, 1.76 MB

english, 2011

53

[IEEE Comput. Soc Thirty-First Hawaii International Conference on System Sciences - Kohala Coast, HI, USA (6-9 Jan. 1998)] Proceedings of the Thirty-First Hawaii International Conference on System Sciences - Towards logic programming based coordination in virtual worlds

Tarau, P., Dahl, V., De Bosschere, K.

Year:

1998

Language:

english

File:

PDF, 773 KB

english, 1998

54

[IEEE 2009 12th International IEEE Conference on Intelligent Transportation Systems (ITSC) - St. Louis (2009.10.4-2009.10.7)] 2009 12th International IEEE Conference on Intelligent Transportation Systems - Hierarchical route choice control for baggage handling systems

Tarau, Alina N., De Schutter, Bart, Hellendoorn, Hans

Year:

2009

Language:

english

File:

PDF, 1.22 MB

english, 2009

55

[IEEE Comput. Soc. Press 8th International Conference on Tools with Artificial Intelligence - Toulouse, France (16-19 Nov. 1996)] Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence - A hypothetical reasoning based framework for NL processing

Dahl, V., Fall, A., Rochefort, S., Tarau, P.

Year:

1996

Language:

english

File:

PDF, 384 KB

english, 1996

56

[IEEE 2008 IEEE International Conference on Control Applications (CCA) part of the IEEE Multi-Conference on Systems and Control - San Antonio, TX, USA (2008.09.3-2008.09.5)] 2008 IEEE International Conference on Control Applications - Travel time control of destination coded vehicles in baggage handling systems

Tarau, Alina, De Schutter, Bart, Hellendoorn, Hans

Year:

2008

Language:

english

File:

PDF, 223 KB

english, 2008

57

[IEEE 2009 IEEE International Conference on Control Applications (CCA) - St. Petersburg, Russia (2009.07.8-2009.07.10)] 2009 IEEE International Conference on Control Applications - Distributed route choice control in DCV-based baggage handling systems

Tarau, Alina N., De Schutter, Bart, Hellendoorn, Hans

Year:

2009

Language:

english

File:

PDF, 989 KB

english, 2009

58

[IEEE 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2012.09.26-2012.09.29)] 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Computing with Free Algebras

Year:

2012

Language:

english

File:

PDF, 266 KB

english, 2012

59

[IEEE Comput. Soc IEEE 6th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises - Cambridge, MA, USA (18-20 June 1997)] Proceedings of IEEE 6th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises - A logic programming infrastructure for remote execution, mobile code and agents

Tarau, P., Dahl, V., De Bosschere, K.

Year:

1997

Language:

english

File:

PDF, 574 KB

english, 1997

60

Serum homocysteine levels, oxidative stress and cardiovascular risk in non-alcoholic steatohepatitis

Leach, Nicoleta V., Dronca, Eleonora, Vesa, Stefan C., Sampelean, Dorel P., Craciun, Elena C., Lupsor, Monica, Crisan, Dana, Tarau, Roxana, Rusu, Razvan, Para, Ioana, Grigorescu, Mircea

Journal:

European Journal of Internal Medicine

Year:

2014

Language:

english

File:

PDF, 292 KB

english, 2014

61

[IEEE 2009 International Conference on Networking, Sensing and Control (ICNSC) - Okayama, Japan (2009.03.26-2009.03.29)] 2009 International Conference on Networking, Sensing and Control - Centralized versus decentralized route choice control in DCV-based baggage handling systems

Tarau, Alina, De Schutter, Bart, Hellendoorn, Hans

Year:

2009

Language:

english

File:

PDF, 2.50 MB

english, 2009

62

[American Institute of Aeronautics and Astronautics 12th International Energy Conversion Engineering Conference - Cleveland, OH ()] 12th International Energy Conversion Engineering Conference - Low Cost Radiator for Fission Power Thermal Control

Maxwell, Taylor P., Hartenstine, John, Tarau, Calin, Anderson, William G., Walmsley, Nick, Stern, Theodore G., Briggs, Maxwell H.

Year:

2014

Language:

english

File:

PDF, 1.59 MB

english, 2014

63

[IEEE 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Romania (2014.9.22-2014.9.25)] 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - New Arithmetic Algorithms for Hereditarily Binary Natural Numbers

Year:

2014

Language:

english

File:

PDF, 236 KB

english, 2014

64

(411) An open label study introducing post-op tonsillectomy as a new pain model for clinical research in young children

Lefeber, C., Tarau, E., Waßmuth, A., Goldberg, J., Rosenburg, R., Sohns, M., Khandelwal, A., Muse, D., Roberts, D., Gull, J.

Journal:

The Journal of Pain

Year:

2015

Language:

english

File:

PDF, 93 KB

english, 2015

65

[ACM Press the 2008 conference - Ischia, Italy (2008.05.05-2008.05.07)] Proceedings of the 2008 conference on Computing frontiers - CF '08 - Exact combinational logic synthesis and non-standard circuit design

Tarau, Paul, Luderman, Brenda

Year:

2008

Language:

english

File:

PDF, 404 KB

english, 2008

66

[American Institute of Aeronautics and Astronautics 43rd International Conference on Environmental Systems - Vail, CO ()] 43rd International Conference on Environmental Systems - Ammonia and Propylene Loop Heat Pipes with Thermal Control Valves - Thermal/Vacuum and Freeze/Thaw Testing

Walker, Kara L., Hartenstine, John, Tarau, Calin, Anderson, William G.

Year:

2013

Language:

english

File:

PDF, 2.26 MB

english, 2013

67

[ACM Press the 2005 ACM symposium - Santa Fe, New Mexico (2005.03.13-2005.03.17)] Proceedings of the 2005 ACM symposium on Applied computing - SAC '05 - An empirical evaluation of communication effectiveness in autonomous reactive multiagent systems

Hurt, David, Tarau, Paul

Year:

2005

Language:

english

File:

PDF, 91 KB

english, 2005

68

[ACM Press the 2008 ACM symposium - Fortaleza, Ceara, Brazil (2008.03.16-2008.03.20)] Proceedings of the 2008 ACM symposium on Applied computing - SAC '08 - Revisiting exact combinational circuit synthesis

Tarau, Paul, Luderman, Brenda

Year:

2008

Language:

english

File:

PDF, 139 KB

english, 2008

69

[ACM Press the 2005 ACM symposium - Santa Fe, New Mexico (2005.03.13-2005.03.17)] Proceedings of the 2005 ACM symposium on Applied computing - SAC '05 - Semantic document engineering with WordNet and PageRank

Tarau, Paul, Mihalcea, Rada, Figa, Elizabeth

Year:

2005

Language:

english

File:

PDF, 149 KB

english, 2005

70

[ACM Press the sixth workshop - Austin, Texas, USA (2011.01.23-2011.01.23)] Proceedings of the sixth workshop on Declarative aspects of multicore programming - DAMP '11 - Concurrent programming constructs in multi-engine prolog

Year:

2011

Language:

english

File:

PDF, 464 KB

english, 2011

71

[ACM Press the 27th Annual ACM Symposium - Trento, Italy (2012.03.26-2012.03.30)] Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12 - On computing with types

Tarau, Paul, Haraburda, David

Year:

2012

Language:

english

File:

PDF, 531 KB

english, 2012

72

[ACM Press the 17th International Symposium - Siena, Italy (2015.07.14-2015.07.16)] Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming - PPDP '15 - On a uniform representation of combinators, arithmetic, lambda terms and types

Year:

2015

Language:

english

File:

PDF, 684 KB

english, 2015

73

[AIP 008 - Albuquerque (New Mexico) (10–14 February 2008)] AIP Conference Proceedings - Variable Conductance Heat Pipes for Radioisotope Stirling Systems

Anderson, William G., Tarau, Calin, El-Genk, Mohamed S.

Year:

2008

Language:

english

File:

PDF, 831 KB

english, 2008

74

[ACM Press the 2005 ACM symposium - Santa Fe, New Mexico (2005.03.13-2005.03.17)] Proceedings of the 2005 ACM symposium on Applied computing - SAC '05 - Agent oriented logic programming in Jinni 2004

Year:

2005

Language:

english

File:

PDF, 94 KB

english, 2005

75

[ACM Press the 11th ACM SIGPLAN conference - Coimbra, Portugal (2009.09.07-2009.09.09)] Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming - PPDP '09 - An embedded declarative data transformation language

Year:

2009

Language:

english

File:

PDF, 586 KB

english, 2009

76

[ACM Press CHI '97 extended abstracts - Atlanta, Georgia (1997.03.22-1997.03.27)] CHI '97 extended abstracts on Human factors in computing systems looking to the future - CHI '97 - LogiMOO

Tarau, Paul, Dahl, Veronica, Rochefort, Stephen, De Bosschere, Koen

Year:

1997

Language:

english

File:

PDF, 293 KB

english, 1997

77

[ACM Press the 1995 ACM symposium - Nashville, Tennessee, United States (1995.02.26-1995.02.28)] Proceedings of the 1995 ACM symposium on Applied computing - SAC '95 - The power of partial tanslation

Tarau, Paul, Demoen, Bart, De Bosschere, Koen

Year:

1995

Language:

english

File:

PDF, 599 KB

english, 1995

78

[ACM Press the 29th Annual ACM Symposium - Gyeongju, Republic of Korea (2014.03.24-2014.03.28)] Proceedings of the 29th Annual ACM Symposium on Applied Computing - SAC '14 - Arithmetic algorithms for hereditarily binary natural numbers

Tarau, Paul, Buckles, Bill

Year:

2014

Language:

english

File:

PDF, 691 KB

english, 2014

79

Reflection of sound by glow discharge plasma

Soukhomlinov, Vladimir, Sheverev, Valery A, Tarau, Calin

Journal:

Journal of Physics D Applied Physics

Year:

2006

Language:

english

File:

PDF, 165 KB

english, 2006

80

[ACM Press the 16th International Symposium - Canterbury, United Kingdom (2014.09.08-2014.09.10)] Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14 - Bijective Collection Encodings and Boolean Operations with Hereditarily Binary Natural Numbers

Year:

2014

Language:

english

File:

PDF, 353 KB

english, 2014

81

[ACM Press the 7th International Conference - Rhodes, Greece (2014.05.27-2014.05.30)] Proceedings of the 7th International Conference on PErvasive Technologies Related to Assistive Environments - PETRA '14 - Text summarization as an assistive technology

Hamid, Fahmida, Tarau, Paul

Year:

2014

Language:

english

File:

PDF, 298 KB

english, 2014

82

[IEEE 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2015.9.21-2015.9.24)] 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - The Arithmetic of Even-Odd Trees

Year:

2015

Language:

english

File:

PDF, 211 KB

english, 2015

83

[American Institute of Aeronautics and Astronautics 10th International Energy Conversion Engineering Conference - Atlanta, Georgia ()] 10th International Energy Conversion Engineering Conference - Long Lived Venus Lander Thermal Management System Design

Hay, Rebecca, Slippey, Andrew, Tarau, Calin, Anderson, William

Year:

2012

Language:

english

File:

PDF, 972 KB

english, 2012

84

[American Institute of Aeronautics and Astronautics 10th International Energy Conversion Engineering Conference - Atlanta, Georgia ()] 10th International Energy Conversion Engineering Conference - Diode Heat Pipes for Long Lived Venus Landers

Tarau, Calin, Dechristopher, Mike, Anderson, William

Year:

2012

Language:

english

File:

PDF, 1.57 MB

english, 2012

85

High-level networking with mobile code and first order AND-continuations

TARAU, PAUL, DAHL, VERONICA

Journal:

Theory and Practice of Logic Programming

Year:

2001

Language:

english

File:

PDF, 237 KB

english, 2001

86

The effect of thermal barriers on sound wave propagation

Tarau, Calin, Ötügen, Volkan, Sheverev, Valery, Vradis, George, Raman, Ganesh

Journal:

International Journal of Aeroacoustics

Year:

2007

Language:

english

File:

PDF, 1.33 MB

english, 2007

87

[American Institute of Aeronautics and Astronautics 11th International Energy Conversion Engineering Conference - San Jose, CA ()] 11th International Energy Conversion Engineering Conference - High Temperature Heat Pipes for Space Fission Power

Walker, Kara L., Tarau, Calin, Anderson, William G.

Year:

2013

Language:

english

File:

PDF, 1.16 MB

english, 2013

88

Throughput optimization of automated flats sorting machines

Tarău, A.N., De Schutter, B., Hellendoorn, J.

Journal:

IFAC Proceedings Volumes

Year:

2008

Language:

english

File:

PDF, 234 KB

english, 2008

89

Predictive route choice control of destination coded vehicles with mixed integer linear programming optimization

Tarău, A.N., De Schutter, B., Hellendoorn, J.

Journal:

IFAC Proceedings Volumes

Year:

2009

Language:

english

File:

PDF, 205 KB

english, 2009

90

Integrated symbol table, engine and heap memory management in multi-engine prolog

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 479 KB

english, 2011

91

Hierarchical route control in DCV-based baggage handling systems

Tarau, A.N., Schutter, B. De, Hellendoorn, J.

Journal:

International Journal of Services Operations and Informatics

Year:

2011

Language:

english

File:

PDF, 613 KB

english, 2011

92

[American Institute of Aeronautics and Astronautics 14th International Energy Conversion Engineering Conference - Salt Lake City, UT ()] 14th International Energy Conversion Engineering Conference - Alkali Metal Heat Pipes for Kilopower

Tarau, Calin, Anderson, William G., Beard, Derek

Language:

english

File:

PDF, 2.01 MB

english

93

[American Institute of Aeronautics and Astronautics 14th International Energy Conversion Engineering Conference - Salt Lake City, UT ()] 14th International Energy Conversion Engineering Conference - Status of the Development of Low Cost Radiator for Surface Fission Power - III

Tarau, Calin, Maxwell, Taylor P., Anderson, William G., Wagner, Corey, Wrosch, Matthew, Briggs, Maxwell H.

Language:

english

File:

PDF, 1.18 MB

english

94

[American Institute of Aeronautics and Astronautics 40th AIAA Aerospace Sciences Meeting & Exhibit - Reno,NV,U.S.A. (14 January 2002 - 17 January 2002)] 40th AIAA Aerospace Sciences Meeting & Exhibit - Evaluation of a new laser velocity gradient probe

Tarau, C., Stepaniuk, V., Otugen, M.

Language:

english

File:

PDF, 840 KB

english

95

Decentralized route choice control of automated baggage handling systems

Tarău, A.N., De Schutter, B., Hellendoorn, J.

Journal:

IFAC Proceedings Volumes

Year:

2009

Language:

english

File:

PDF, 261 KB

english, 2009

96

[American Institute of Aeronautics and Astronautics 42nd International Conference on Environmental Systems - San Diego, California ()] 42nd International Conference on Environmental Systems - Variable Conductance Heat Pipes for Variable Thermal Links

Anderson, William, Ellis, Michael, Hartenstine, John, Peters, Christopher, Tarau, Calin, Walker, Kara

Language:

english

File:

PDF, 1.39 MB

english

97

[American Institute of Aeronautics and Astronautics 15th International Energy Conversion Engineering Conference - Atlanta, GA ()] 15th International Energy Conversion Engineering Conference - Sodium Heat Pipes for Space and Surface Fission Power

Beard, Derek, Tarau, Calin, Anderson, William G.

Language:

english

File:

PDF, 1.30 MB

english

98

[American Institute of Aeronautics and Astronautics 15th International Energy Conversion Engineering Conference - Atlanta, GA ()] 15th International Energy Conversion Engineering Conference - High Temperature Water Heat Pipes for Kilopower System

Beard, Derek, Anderson, William G., Tarau, Calin

Language:

english

File:

PDF, 3.28 MB

english

99

Predictive Control for Baggage Handling Systems using Mixed Integer Linear Programming

Tarău, A.N., De Schutter, B., Hellendoorn, J.

Journal:

IFAC Proceedings Volumes

Year:

2010

Language:

english

File:

PDF, 216 KB

english, 2010

100

Model-Based Drift Control for Electron Microscopes

Tarău, Alina N, Nuij, Pieter, Steinbuch, Maarten

Journal:

IFAC Proceedings Volumes

Year:

2011

Language:

english

File:

PDF, 281 KB

english, 2011

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски