@article{FerreinDyllaLakemeyeretal.2005, author = {Ferrein, Alexander and Dylla, Frank and Lakemeyer, Gerhard and Murray, Jan}, title = {Towards a League-Independent Qualitative Soccer Theory for RoboCup / Dylla, Frank ; Ferrein, Alexander ; Lakemeyer, Gerhard ; Murray, Jan ; Obst, Oliver ; R{\"o}fer, Thomas ; Stolzenburg, Frieder ; Visser, Ubbo}, series = {RoboCup 2004: Robot Soccer World Cup VIII / Daniele Nardi ... (ed.).}, journal = {RoboCup 2004: Robot Soccer World Cup VIII / Daniele Nardi ... (ed.).}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-540-25046-8}, pages = {611 -- 618}, year = {2005}, language = {en} } @article{FerreinDyllaLakemeyer2003, author = {Ferrein, Alexander and Dylla, Frank and Lakemeyer, Gerhard}, title = {Specifying Multirobot Coordination in ICPGolog - From Simulation towards Real Robots / Dylla, Frank ; Ferrein, Alexander ; Lakemeyer, Gerhard}, pages = {1 -- 10}, year = {2003}, language = {en} } @article{FerreinDyllaLakemeyer2002, author = {Ferrein, Alexander and Dylla, Frank and Lakemeyer, Gerhard}, title = {Acting and Deliberating using Golog in Robotic Soccer - A Hybrid Architecture / Dylla, Frank ; Ferrein, Alexander ; Lakemeyer, Gerhard}, series = {Proc. 3rd International Cognitive Robotics Workshop (CogRob 2002)}, journal = {Proc. 3rd International Cognitive Robotics Workshop (CogRob 2002)}, pages = {1 -- 7}, year = {2002}, language = {en} } @article{FerreinCalmesLakemeyeretal.2006, author = {Ferrein, Alexander and Calmes, Laurent and Lakemeyer, Gerhard and Wagner, Hermann}, title = {Von Schleiereulen und fussballspielenden Robotern / Calmes, Laurent ; Ferrein, Alexander ; Lakemeyer, Gerhard ; Wagner, Hermann}, series = {RWTH Themen (2006)}, journal = {RWTH Themen (2006)}, isbn = {0179-079X}, pages = {30 -- 33}, year = {2006}, language = {de} } @article{FerreinBoehnstedtLakemeyer2007, author = {Ferrein, Alexander and B{\"o}hnstedt, Lutz and Lakemeyer, Gerhard}, title = {Options in readylog reloaded -- generating decision-theoretic plan libraries in golog / B{\"o}hnstedt, Lutz ; Ferrein, Alexander ; Lakemeyer, Gerhard}, series = {KI 2007: advances in artificial intelligence : 30th Annual German Conference on AI, KI 2007, Osnabr{\"u}ck, Germany, September 10 - 13, 2007 ; proceedings}, journal = {KI 2007: advances in artificial intelligence : 30th Annual German Conference on AI, KI 2007, Osnabr{\"u}ck, Germany, September 10 - 13, 2007 ; proceedings}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-540-74564-8}, pages = {352 -- 366}, year = {2007}, language = {en} } @article{FerreinBeckLakemeyer2007, author = {Ferrein, Alexander and Beck, Daniel and Lakemeyer, Gerhard}, title = {A Simulation Environment for Middle-Size Robots with Multi-level Abstraction / Beck, Daniel ; Ferrein, Alexander ; Lakemeyer, Gerhard}, series = {RoboCup 2007: Robot Soccer World Cup XI}, journal = {RoboCup 2007: Robot Soccer World Cup XI}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-540-68846-4}, pages = {136 -- 147}, year = {2007}, language = {en} } @article{FerreinBeckLakemeyer2009, author = {Ferrein, Alexander and Beck, Daniel and Lakemeyer, Gerhard}, title = {Landmark-Based Representations for Navigating Holonomic Soccer Robots / Beck, Daniel ; Ferrein, Alexander ; Lakemeyer, Gerhard}, series = {RoboCup 2008 : robot soccer world cup XII / Luca Iocchi ... (eds.)}, journal = {RoboCup 2008 : robot soccer world cup XII / Luca Iocchi ... (eds.)}, publisher = {Springer}, address = {Heidelberg}, isbn = {978-3-642-02921-9}, pages = {25 -- 36}, year = {2009}, language = {en} } @article{Ferrein2004, author = {Ferrein, Alexander}, title = {Autonome Entscheidungsfindung bei Robotern : Planwirtschaft}, series = {Linux-Magazin}, journal = {Linux-Magazin}, number = {7}, issn = {1432-640X (Print)}, pages = {50 -- 53}, year = {2004}, language = {de} } @article{Ferrein2010, author = {Ferrein, Alexander}, title = {golog.lua: Towards a Non-Prolog Implementation of Golog for Embedded Systems}, pages = {20 -- 28}, year = {2010}, language = {en} } @article{Ferrein2010, author = {Ferrein, Alexander}, title = {golog.lua: Towards a Non-Prolog Implementation of Golog for Embedded Systems}, series = {Cognitive Robotics / Lakemeyer, Gerhard (ed.)}, journal = {Cognitive Robotics / Lakemeyer, Gerhard (ed.)}, pages = {1 -- 15}, year = {2010}, language = {en} } @article{Ferrein2008, author = {Ferrein, Alexander}, title = {Towards applying soccer moves in the RoboCup Standard Platform League}, series = {{\"O}GAI-Journal}, volume = {Bd. 27}, journal = {{\"O}GAI-Journal}, number = {H. 3}, organization = {{\"O}sterreichische Gesellschaft f{\"u}r Artificial Intelligence}, issn = {0254-4326}, pages = {4 -- 9}, year = {2008}, language = {en} } @article{Ferrein2010, author = {Ferrein, Alexander}, title = {Robot controllers for highly dynamic environments with real-time constraints}, series = {K{\"u}nstliche Intelligenz : KI. 24 (2010), H. 2}, journal = {K{\"u}nstliche Intelligenz : KI. 24 (2010), H. 2}, isbn = {1610-1987}, pages = {175 -- 178}, year = {2010}, language = {en} } @article{Ferrein2008, author = {Ferrein, Alexander}, title = {Logic-based robot control in highly dynamic domains / Ferrein, Alexander ; Lakemeyer, Gerhard}, series = {Robotics and Autonomous Systems. 56 (2008), H. 11}, journal = {Robotics and Autonomous Systems. 56 (2008), H. 11}, isbn = {0921-8890}, pages = {980 -- 991}, year = {2008}, language = {en} } @article{Ferrein2005, author = {Ferrein, Alexander}, title = {Specifying Soccer Moves with Golog}, series = {Book of abstracts : Cologne, 15 - 17 September 2004 / 1st International Working Conference IT and Sport \& 5th conference DVS-Section Computer Science in Sport}, journal = {Book of abstracts : Cologne, 15 - 17 September 2004 / 1st International Working Conference IT and Sport \& 5th conference DVS-Section Computer Science in Sport}, publisher = {German Sport Univ.}, address = {K{\"o}ln}, isbn = {3-00-014576-1}, pages = {161 -- 165}, year = {2005}, language = {en} } @article{Ferrein2004, author = {Ferrein, Alexander}, title = {Planwirtschaft}, series = {Linux Magazin (2004)}, journal = {Linux Magazin (2004)}, isbn = {1432-640X}, pages = {50 -- 53}, year = {2004}, language = {de} } @article{FengSeiblerAlamietal.1999, author = {Feng, Yong-Qing and Seibler, Jost and Alami, Raouf and Eisen, Andrew and Westerman, Karen A. and Leboulch, Philippe and Fiering, Steven and Bouhassira, Eric E.}, title = {Site-specific chromosomal integration in mammalian cells: highly efficient CRE recombinase-mediated cassette exchange}, series = {Journal of Molecular Biology}, volume = {292}, journal = {Journal of Molecular Biology}, number = {4}, issn = {0022-2836}, doi = {10.1006/jmbi.1999.3113}, pages = {779 -- 785}, year = {1999}, language = {en} } @article{FellinKingKirschetal.2010, author = {Fellin, Wolfgang and King, Julian and Kirsch, Ansgar and Oberguggenberger, Michael}, title = {Uncertainty modelling and sensitivity analysis of tunnel face stability}, series = {Structural safety}, volume = {32}, journal = {Structural safety}, number = {6}, publisher = {Elsevier}, address = {Amsterdam}, issn = {0167-4730}, doi = {10.1016/j.strusafe.2010.06.001}, pages = {402 -- 410}, year = {2010}, abstract = {This paper proposes an approach to the choice and evaluation of engineering models with the aid of a typical application in geotechnics. An important issue in the construction of shallow tunnels, especially in weak ground conditions, is the tunnel face stability. Various theoretical and numerical models for predicting the necessary support pressure have been put forth in the literature. In this paper, we combine laboratory experiments performed at the University of Innsbruck with current methods of uncertainty and sensitivity analysis for assessing adequacy, predictive power and robustness of the models. The major issues are the handling of the twofold uncertainty of test results and of model predictions as well as the decision about what are the influential input parameters.}, language = {en} } @article{FeldmannPakGessleretal.2008, author = {Feldmann, Markus and Pak, Daniel and Geßler, Achim and Schleser, Markus}, title = {Entwicklung eines Bemessungsmodells f{\"u}r punktf{\"o}rmige Verbindungen textibewehrter Betonbauteile}, series = {Bautechnik : Zeitschrift f{\"u}r den gesamten Ingenieurbau}, volume = {Bd. 85}, journal = {Bautechnik : Zeitschrift f{\"u}r den gesamten Ingenieurbau}, number = {2}, issn = {0005-6820, 0341-1052, 0932-6359, 0932-8351, 0932-8351}, pages = {143 -- 147}, year = {2008}, language = {de} } @article{FeldmannPakGessleretal.2006, author = {Feldmann, Markus and Pak, Daniel and Geßler, Achim and Dilthey, Ulrich and Schleser, Markus}, title = {Bonded connections for textile reinforced concrete structures}, series = {Cailiao-gongcheng = Journal of materials engineering}, journal = {Cailiao-gongcheng = Journal of materials engineering}, number = {Special iss.}, issn = {1001-4381}, pages = {123 -- 127}, year = {2006}, language = {en} } @article{FeldmannDoeringKuhnhenneetal.2008, author = {Feldmann, Markus and D{\"o}ring, Bernd and Kuhnhenne, Markus and Sedlacek, Gerhard}, title = {Zum Thema "Nachhaltigkeit" in der Stahlbauindustrie}, series = {Stahlbau}, volume = {Vol. 77}, journal = {Stahlbau}, number = {Iss. 10}, issn = {0038-9145}, pages = {713 -- 720}, year = {2008}, language = {de} } @article{Feiser2004, author = {Feiser, Johannes}, title = {Geotechnik}, series = {Bautechnische Zahlentafeln : [jetzt mit neuer DIN 1052, DIN1053-1 und DIN 1054] / Wendehorst. Hrsg. von Otto W. Wetzell. Bearb. von: Herwig Baumgartner ... . 31., vollst. {\"u}berb. und aktualisierte Aufl.}, journal = {Bautechnische Zahlentafeln : [jetzt mit neuer DIN 1052, DIN1053-1 und DIN 1054] / Wendehorst. Hrsg. von Otto W. Wetzell. Bearb. von: Herwig Baumgartner ... . 31., vollst. {\"u}berb. und aktualisierte Aufl.}, publisher = {Teubner [u.a.]}, address = {Stuttgart [u.a.]}, isbn = {3-519-55002-4}, pages = {1017 -- 1118}, year = {2004}, language = {de} } @article{Feiser2007, author = {Feiser, Johannes}, title = {Geotechnik}, series = {Bautechnische Zahlentafeln / Wendehorst, Reinhard ; Wetzell, Otto W. [Hrsg.] 32., vollst. aktualisierte Aufl.}, journal = {Bautechnische Zahlentafeln / Wendehorst, Reinhard ; Wetzell, Otto W. [Hrsg.] 32., vollst. aktualisierte Aufl.}, publisher = {Teubner}, address = {Stuttgart}, isbn = {978-3-8351-0055-8}, pages = {1027 -- 1136}, year = {2007}, language = {de} } @article{Feiser2007, author = {Feiser, Johannes}, title = {Geotechnik}, series = {Wendehorst Beispiele aus der Baupraxis / Wetzell, Otto W. ; Baumgartner, Herwig ; Wendehorst, Reinhard [Hrsg.].}, journal = {Wendehorst Beispiele aus der Baupraxis / Wetzell, Otto W. ; Baumgartner, Herwig ; Wendehorst, Reinhard [Hrsg.].}, publisher = {Teubner}, address = {Wiesbaden}, isbn = {978-3-8351-0069-5}, pages = {325 -- 365}, year = {2007}, language = {de} } @article{FeichtingerEilmannBuchmannetal.2014, author = {Feichtinger, Linda M. and Eilmann, Britta and Buchmann, Nina and Rigling, Andreas}, title = {Growth adjustments of conifers to drought and to century-long irrigation}, series = {Forest Ecology and Management}, volume = {2014}, journal = {Forest Ecology and Management}, number = {334}, publisher = {Elsevier}, address = {Amsterdam}, issn = {1872-7042 (Online)}, doi = {10.1016/j.foreco.2014.08.008}, pages = {96 -- 105}, year = {2014}, abstract = {Our knowledge on tree responses to drought is mainly based on short-term manipulation experiments which do not capture any possible long-term adjustments in this response. Therefore, historical water channels in inner-Alpine dry valleys were used as century-long irrigation experiments to investigate adjustments in tree growth to contrasting water supply. This involved quantifying the tree-ring growth of irrigated and non-irrigated (control) Scots pine (Pinus sylvestris L.) in Valais (Switzerland), as well as European larch (Larix decidua Mill.) and black pine (Pinus nigra Arnold) in Vinschgau (Italy). Furthermore, the adjustments in radial growth of Scots pine and European larch to an abrupt stop in irrigation were analyzed. Irrigation promoted the radial growth of all tree species investigated compared to the control: (1) directly through increased soil water availability, and (2) indirectly through increased soil nutrients and humus contents in the irrigated plots. Irrigation led to a full elimination of growth responses to climate for European larch and black pine, but not for Scots pine, which might become more sensitive to drought with increasing tree size in Valais. For the control trees, the response of the latewood increment to water availability in July/August has decreased in recent decades for all species, but increased in May for Scots pine only. The sudden irrigation stop caused a drop in radial growth to a lower level for Scots pine or similar level for larch compared to the control for up to ten years. However, both tree species were then able to adjust to the new conditions and subsequently grew with similar (Scots pine) or even higher growth rates (larch) than the control. To estimate the impact of climate change on future forest development, the duration of manipulation experiments should be on longer time scales in order to capture adjustment processes and feedback mechanisms of forest ecosystems.}, language = {en} } @article{FeichtingerEilmannBuchmannetal.2015, author = {Feichtinger, Linda M. and Eilmann, Britta and Buchmann, Nina and Rigling, Andreas}, title = {Trait-specific responses of Scots pine to irrigation on a short vs long time scale}, series = {Tree Physiology}, volume = {35}, journal = {Tree Physiology}, number = {00}, publisher = {Heron}, address = {Victoria, BC}, issn = {1758-4469 (Online)}, doi = {10.1093/treephys/tpu114}, pages = {1 -- 12}, year = {2015}, language = {en} } @article{FassbenderWedel1992, author = {Faßbender, Heinz and Wedel, Andrea}, title = {E-Unifikation mit macro tree transducer}, series = {2. Arbeitstreffen Effiziente Implementierung Funktionaler Programmiersprachen / Arbeitstreffen Effiziente Implementierung Funktionaler Programmiersprachen <2, 1992, Oberjoch>. Herbert Klaeren}, journal = {2. Arbeitstreffen Effiziente Implementierung Funktionaler Programmiersprachen / Arbeitstreffen Effiziente Implementierung Funktionaler Programmiersprachen <2, 1992, Oberjoch>. Herbert Klaeren}, publisher = {Wilhelm-Schickard-Inst. f{\"u}r Informatik, Univ.}, address = {T{\"u}bingen}, isbn = {0946-3852}, pages = {5 S.}, year = {1992}, language = {de} } @article{FassbenderVoglerWedel1993, author = {Faßbender, Heinz and Vogler, Heiko and Wedel, Andrea}, title = {An abstract machine for the E-Unification with macro tree transducer}, series = {7th International Workshop on Unification : 13. 06. - 14. 06. 93 / Franz Baader ... (eds.). [Boston University, Boston, USA]}, journal = {7th International Workshop on Unification : 13. 06. - 14. 06. 93 / Franz Baader ... (eds.). [Boston University, Boston, USA]}, year = {1993}, language = {en} } @article{FassbenderVogler1991, author = {Faßbender, Heinz and Vogler, Heiko}, title = {A narrowing machine for the functional logic language BABEL, restricted to primitive recursion : abstract}, series = {Granada Workshop on the Integration of Functional and Logic Programming / Granada Workshop on the Integration of Functional and Logic Programming <1990>. K. Indermark ... (ed.)}, journal = {Granada Workshop on the Integration of Functional and Logic Programming / Granada Workshop on the Integration of Functional and Logic Programming <1990>. K. Indermark ... (ed.)}, publisher = {RWTH, Fachgruppe Informatik}, address = {Aachen}, pages = {95 -- 96}, year = {1991}, language = {en} } @article{FassbenderVogler1994, author = {Faßbender, Heinz and Vogler, Heiko}, title = {Implementierung eines universellen Unifikationsalgorithmus f{\"u}r Macro Tree Transducer}, series = {Alternative Konzepte f{\"u}r Sprachen und Rechner : Bad Honnef 1993 / J. Ebert (Hrsg.)}, journal = {Alternative Konzepte f{\"u}r Sprachen und Rechner : Bad Honnef 1993 / J. Ebert (Hrsg.)}, publisher = {Univ., Inst. f{\"u}r Informatik}, address = {Koblenz}, pages = {151 S.}, year = {1994}, language = {de} } @article{FassbenderVogler1992, author = {Faßbender, Heinz and Vogler, Heiko}, title = {An implementation of syntax directed functional programming on nested-stack machines}, series = {Formal Aspects of Computing. 4 (1992), H. 4}, journal = {Formal Aspects of Computing. 4 (1992), H. 4}, isbn = {0934-5043}, pages = {341 -- 375}, year = {1992}, language = {en} } @article{FassbenderVogler1994, author = {Faßbender, Heinz and Vogler, Heiko}, title = {A universal unification algorithm based on unification-driven leftmost outermost narrowing}, series = {Acta Cybernetica. 11 (1994), H. 3}, journal = {Acta Cybernetica. 11 (1994), H. 3}, isbn = {0324-721x}, pages = {139 -- 167}, year = {1994}, language = {en} } @article{FassbenderMoessleVogler1996, author = {Faßbender, Heinz and M{\"o}ßle, Andrea and Vogler, Heiko}, title = {Implementation of a deterministic partial e-unification algorithm for macro tree transducers}, series = {Journal of functional and logic programming. 1996 (1996), H. 2}, journal = {Journal of functional and logic programming. 1996 (1996), H. 2}, isbn = {1080-5230}, year = {1996}, language = {en} } @article{FassbenderManeth1998, author = {Faßbender, Heinz and Maneth, Sebastian}, title = {A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian}, series = {Journal of functional and logic programming. 1998 (1998), H. 4}, journal = {Journal of functional and logic programming. 1998 (1998), H. 4}, isbn = {1080-5230}, year = {1998}, language = {en} } @article{FassbenderManeth1996, author = {Faßbender, Heinz and Maneth, Sebastian}, title = {A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian}, series = {Algebraic and logic programming : proceedings / 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Michael Hanus ... (ed.)}, journal = {Algebraic and logic programming : proceedings / 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Michael Hanus ... (ed.)}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-61735-3}, pages = {194 -- 208}, year = {1996}, language = {en} } @article{FassbenderBuehler1999, author = {Faßbender, Heinz and B{\"u}hler, Gerhard}, title = {Making a C2 information system platform independent by using internet and middleware technologies}, series = {Proceedings of the 1999 Command and Control Research and Technology Symposium, Juni 1999, Newport, USA}, journal = {Proceedings of the 1999 Command and Control Research and Technology Symposium, Juni 1999, Newport, USA}, pages = {1 -- 11}, year = {1999}, language = {en} } @article{FassbenderBuehler2000, author = {Faßbender, Heinz and B{\"u}hler, Gerhard}, title = {The join of a geographical situation display system and a platform independent C2 information system}, series = {Proceedings of the 2000 Command and Control Research and Technology Symposium, Juni 2000, Monterey, USA}, journal = {Proceedings of the 2000 Command and Control Research and Technology Symposium, Juni 2000, Monterey, USA}, pages = {1 -- 7}, year = {2000}, language = {en} } @article{FassbenderBuehler2001, author = {Faßbender, Heinz and B{\"u}hler, Gerhard}, title = {Modelling command and control information systems by UML}, series = {Proceedings of the Information Systems Technology Panel Symposium / Information Management Challenges in Achieving Coalition Interoperability, Mai 2001, Quebec City, Kanada}, journal = {Proceedings of the Information Systems Technology Panel Symposium / Information Management Challenges in Achieving Coalition Interoperability, Mai 2001, Quebec City, Kanada}, pages = {7-1 -- 7-9}, year = {2001}, language = {en} } @article{FassbenderBuehler2002, author = {Faßbender, Heinz and B{\"u}hler, Gerhard}, title = {An experimental command and control information system based on Enterprise Java bean technology}, series = {Proceedings of the 7th International Command and Control Research and Technology Symposium, September 2002, Quebec City, Kanada}, journal = {Proceedings of the 7th International Command and Control Research and Technology Symposium, September 2002, Quebec City, Kanada}, pages = {1 -- 8}, year = {2002}, language = {en} } @article{FassbenderBuehler2000, author = {Faßbender, Heinz and B{\"u}hler, Gerhard}, title = {Plattformunabh{\"a}ngige Verwendbarkeit eines F{\"u}hrungsinformationssystems durch den Einsatz von CORBA und Java}, series = {Proceedings zum Workshop}, journal = {Proceedings zum Workshop}, publisher = {Univ. der Bundeswehr, Fak. Informatik}, address = {Neubiberg}, year = {2000}, language = {de} } @article{FassbenderBuehler1999, author = {Faßbender, Heinz and B{\"u}hler, Gerhard}, title = {Applying Ada, Java and CORBA for making a command and control information system platform independent}, series = {Proceedings : (SIGAda '99) ; October 17 - 21, 1999 ; Crowne Plaza, Redondo Beach \& Marine Hotel, Redondo Beach, CA, USA / ACM SIGAda Annual International Conference}, journal = {Proceedings : (SIGAda '99) ; October 17 - 21, 1999 ; Crowne Plaza, Redondo Beach \& Marine Hotel, Redondo Beach, CA, USA / ACM SIGAda Annual International Conference}, publisher = {ACM}, address = {New York, NY}, isbn = {1-58113-127-5}, pages = {83 -- 88}, year = {1999}, language = {en} } @article{Fassbender2001, author = {Faßbender, Heinz}, title = {Reengineering an Ada95-programmed command and control information system by using UML}, series = {Proceedings : September 30 - October 4, 2001, Twin Cities, Best Western The Thunderbird Hotel \& Convention Center, Bloomington, MN, USA / ACM SIGAda Annual International Conference (SIGAda 2001)}, journal = {Proceedings : September 30 - October 4, 2001, Twin Cities, Best Western The Thunderbird Hotel \& Convention Center, Bloomington, MN, USA / ACM SIGAda Annual International Conference (SIGAda 2001)}, publisher = {ACM}, address = {New York, NY}, isbn = {1-58113-392-8}, pages = {53 -- 60}, year = {2001}, language = {en} } @article{Fassbender1993, author = {Faßbender, Heinz}, title = {Implementation of a universal unification algorithm for macro tree transducers}, series = {Fundamentals of computation theory : proceedings / 9th International Conference, FCT '93, Szeged, Hungary, August 23 - 27, 1993. Zolt{\´a}n {\´E}sik (ed.)}, journal = {Fundamentals of computation theory : proceedings / 9th International Conference, FCT '93, Szeged, Hungary, August 23 - 27, 1993. Zolt{\´a}n {\´E}sik (ed.)}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-57163-9}, pages = {222 -- 233}, year = {1993}, language = {en} } @article{Fassbender1995, author = {Faßbender, Heinz}, title = {Implementation of a UU-Algorithm for primitive recursive tree functions}, series = {Fundamentals of computation theory : proceedings / 10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Horst Reichel (ed.)}, journal = {Fundamentals of computation theory : proceedings / 10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Horst Reichel (ed.)}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-60249-6}, pages = {233 -- 242}, year = {1995}, language = {en} } @article{Fassbender1995, author = {Faßbender, Heinz}, title = {A verified implementation of narrowing}, series = {Programming languages: implementations, logics and programs : proceedings / 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ... (ed.)}, journal = {Programming languages: implementations, logics and programs : proceedings / 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ... (ed.)}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-60359-X}, pages = {63 -- 80}, year = {1995}, language = {en} } @article{FassbenderSchmittSchoeningetal.2000, author = {Faßbender, F. and Schmitt, G. and Sch{\"o}ning, Michael Josef and L{\"u}th, H. and Buß, G. and Schultze, J. W.}, title = {Optimization of passivation layers for corrosion protection of silicon-based microelectrode arrays}, series = {Sensors and Actuators B. 68 (2000), H. 1-3}, journal = {Sensors and Actuators B. 68 (2000), H. 1-3}, isbn = {0925-4005}, pages = {128 -- 133}, year = {2000}, language = {en} } @article{FassbenderSchmittSchoeningetal.1999, author = {Faßbender, F. and Schmitt, G. and Sch{\"o}ning, Michael Josef and L{\"u}th, H. and Buß, G. and Schultze, J. W.}, title = {Passivation and corrosion of microsensor devices exemplified at microelectrode arrays}, series = {Proceedings : The Hague, The Netherlands, September 12 - 15, 1999 / [ed. by M. Bartek]. Vol 1.}, journal = {Proceedings : The Hague, The Netherlands, September 12 - 15, 1999 / [ed. by M. Bartek]. Vol 1.}, address = {The Hague, The Netherlands}, isbn = {90-76699-02-X}, pages = {953 -- 956}, year = {1999}, language = {en} } @article{FayyaziSardarThomasetal.2023, author = {Fayyazi, Mojgan and Sardar, Paramjotsingh and Thomas, Sumit Infent and Daghigh, Roonak and Jamali, Ali and Esch, Thomas and Kemper, Hans and Langari, Reza and Khayyam, Hamid}, title = {Artificial intelligence/machine learning in energy management systems, control, and optimization of hydrogen fuel cell vehicles}, volume = {15}, number = {6}, publisher = {MDPI}, address = {Basel}, doi = {10.3390/su15065249}, pages = {38}, year = {2023}, abstract = {Environmental emissions, global warming, and energy-related concerns have accelerated the advancements in conventional vehicles that primarily use internal combustion engines. Among the existing technologies, hydrogen fuel cell electric vehicles and fuel cell hybrid electric vehicles may have minimal contributions to greenhouse gas emissions and thus are the prime choices for environmental concerns. However, energy management in fuel cell electric vehicles and fuel cell hybrid electric vehicles is a major challenge. Appropriate control strategies should be used for effective energy management in these vehicles. On the other hand, there has been significant progress in artificial intelligence, machine learning, and designing data-driven intelligent controllers. These techniques have found much attention within the community, and state-of-the-art energy management technologies have been developed based on them. This manuscript reviews the application of machine learning and intelligent controllers for prediction, control, energy management, and vehicle to everything (V2X) in hydrogen fuel cell vehicles. The effectiveness of data-driven control and optimization systems are investigated to evolve, classify, and compare, and future trends and directions for sustainability are discussed.}, language = {en} } @article{FateriHoetterGebhardt2012, author = {Fateri, Miranda and H{\"o}tter, Jan-Steffen and Gebhardt, Andreas}, title = {Experimental and Theoretical Investigation of Buckling Deformation of Fabricated Objects by Selective Laser Melting}, series = {Physics Procedia}, volume = {39}, journal = {Physics Procedia}, publisher = {Elsevier}, address = {Amsterdam}, issn = {1875-3892}, doi = {10.1016/j.phpro.2012.10.062}, pages = {464 -- 470}, year = {2012}, abstract = {Although Selective Laser Melting (SLM) process is an innovative manufacturing method, there are challenges such as inferior mechanical properties of fabricated objects. Regarding this, buckling deformation which is caused by thermal stress is one of the undesired mechanical properties which must be alleviated. As buckling deformation is more observable in hard to process materials, silver is selected to be studied theoretically and experimentally for this paper. Different scanning strategies are utilized and a Finite Element Method (FEM) is applied to calculate the temperature gradient in order to determine its effect on the buckling deformation of the objects from experiments.}, language = {en} } @article{FateriGebhardtThuemmleretal.2014, author = {Fateri, Miranda and Gebhardt, Andreas and Th{\"u}mmler, Stefan and Thurn, Laura}, title = {Experimental investigation on selective laser melting of glass}, series = {Physics procedia : 8th International Conference on Laser Assisted Net Shape Engineering LANE 2014}, volume = {56 (2014)}, journal = {Physics procedia : 8th International Conference on Laser Assisted Net Shape Engineering LANE 2014}, publisher = {Elsevier}, address = {Amsterdam}, issn = {1875-3892 (E-Journal); 1875-3884 (Print)}, doi = {10.1016/j.phpro.2014.08.118}, pages = {357 -- 364}, year = {2014}, language = {en} } @article{FateriGebhardt2015, author = {Fateri, Miranda and Gebhardt, Andreas}, title = {Additive manufactured mechanical disentanglement lock}, series = {RTejournal - Forum f{\"u}r Rapid Technologie}, volume = {12}, journal = {RTejournal - Forum f{\"u}r Rapid Technologie}, publisher = {Fachhochschule Aachen}, address = {Aachen}, issn = {1614-0923}, url = {http://nbn-resolving.de/urn:nbn:de:0009-2-42147}, year = {2015}, language = {en} }