@incollection{FerreinNikolovskiLimpertetal.2023, author = {Ferrein, Alexander and Nikolovski, Gjorgji and Limpert, Nicolas and Reke, Michael and Schiffer, Stefan and Scholl, Ingrid}, title = {Controlling a Fleet of Autonomous LHD Vehicles in Mining Operation}, series = {Multi-Robot Systems - New Advances}, booktitle = {Multi-Robot Systems - New Advances}, editor = {K{\"u}{\c{c}}{\"u}k, Serdar}, publisher = {Intech Open}, address = {London}, isbn = {978-1-83768-290-4}, doi = {10.5772/intechopen.113044}, pages = {21 Seiten}, year = {2023}, abstract = {In this chapter, we report on our activities to create and maintain a fleet of autonomous load haul dump (LHD) vehicles for mining operations. The ever increasing demand for sustainable solutions and economic pressure causes innovation in the mining industry just like in any other branch. In this chapter, we present our approach to create a fleet of autonomous special purpose vehicles and to control these vehicles in mining operations. After an initial exploration of the site we deploy the fleet. Every vehicle is running an instance of our ROS 2-based architecture. The fleet is then controlled with a dedicated planning module. We also use continuous environment monitoring to implement a life-long mapping approach. In our experiments, we show that a combination of synthetic, augmented and real training data improves our classifier based on the deep learning network Yolo v5 to detect our vehicles, persons and navigation beacons. The classifier was successfully installed on the NVidia AGX-Drive platform, so that the abovementioned objects can be recognised during the dumper drive. The 3D poses of the detected beacons are assigned to lanelets and transferred to an existing map.}, language = {de} } @article{FerreinNiemuellerSteinbauer2010, author = {Ferrein, Alexander and Niem{\"u}ller, Tim and Steinbauer, Gerald}, title = {Team Zadeat 2010 : application for participation}, pages = {5 Seiten}, year = {2010}, language = {en} } @inproceedings{FerreinNiemuellerSchifferetal.2013, author = {Ferrein, Alexander and Niem{\"u}ller, Tim and Schiffer, Stefan and Lakemeyer, Gerhard}, title = {Lessons learnt from developing the embodied AI platform CAESAR for domestic service robotics}, series = {Designing intelligent robots : reintegrating AI II ; papers from the AAAI spring symposium ; [held March 25 - 27, 2013 in Palo Alto, California, USA, on the campus of Stanford University]. (Technical Report / Association for the Advancement of Artificial Intelligence ; 2013,4)}, booktitle = {Designing intelligent robots : reintegrating AI II ; papers from the AAAI spring symposium ; [held March 25 - 27, 2013 in Palo Alto, California, USA, on the campus of Stanford University]. (Technical Report / Association for the Advancement of Artificial Intelligence ; 2013,4)}, editor = {Boots, Byron}, organization = {American Association for Artificial Intelligence}, isbn = {9781577356011}, pages = {21 -- 26}, year = {2013}, language = {en} } @article{FerreinMiesLakemeyer2008, author = {Ferrein, Alexander and Mies, Christoph and Lakemeyer, Gerhard}, title = {Repairing Decision-Theoretic Policies Using Goal-Oriented Planning / Mies, Christoph ; Ferrein, Alexander ; Lakemeyer, Gerhard}, series = {KI 2008: Advances in Artificial Intelligence : 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings}, journal = {KI 2008: Advances in Artificial Intelligence : 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-540-85844-7}, pages = {267 -- 275}, year = {2008}, language = {en} } @article{FerreinMeyer2012, author = {Ferrein, Alexander and Meyer, Thomas}, title = {A Brief Overview of Artificial Intelligence in South Africa}, series = {AI Magazine}, volume = {33}, journal = {AI Magazine}, number = {1}, publisher = {AAAI}, address = {Menlo Park}, issn = {0738-4602}, doi = {10.1609/aimag.v33i1.2357}, pages = {99 -- 101}, year = {2012}, abstract = {South Africa in recent years is the establishment of a number of research hubs involved in AI activities ranging from mobile robotics and computational intelligence, to knowledge representation and reasoning, and human language technologies. In this survey we take the reader through a quick tour of the research being conducted at these hubs, and touch on an initiative to maintain and extend the current level of interest in AI research in the country.}, language = {en} } @inproceedings{FerreinMeessenLimpertetal.2021, author = {Ferrein, Alexander and Meeßen, Marcus and Limpert, Nicolas and Schiffer, Stefan}, title = {Compiling ROS schooling curricula via contentual taxonomies}, series = {Robotics in Education}, booktitle = {Robotics in Education}, editor = {Lepuschitz, Wilfried}, publisher = {Springer}, address = {Cham}, isbn = {978-3-030-67411-3}, doi = {10.1007/978-3-030-67411-3_5}, pages = {49 -- 60}, year = {2021}, abstract = {The Robot Operating System (ROS) is the current de-facto standard in robot middlewares. The steadily increasing size of the user base results in a greater demand for training as well. User groups range from students in academia to industry professionals with a broad spectrum of developers in between. To deliver high quality training and education to any of these audiences, educators need to tailor individual curricula for any such training. In this paper, we present an approach to ease compiling curricula for ROS trainings based on a taxonomy of the teaching contents. The instructor can select a set of dedicated learning units and the system will automatically compile the teaching material based on the dependencies of the units selected and a set of parameters for a particular training. We walk through an example training to illustrate our work.}, language = {en} } @article{FerreinMaraisPotgieteretal.2011, author = {Ferrein, Alexander and Marais, Stephen and Potgieter, Anet and Steinbauer, Gerald}, title = {RoboCup Junior: A vehicle for S\&T education in Africa?}, publisher = {IEEE}, address = {New York}, isbn = {978-1-61284-992-8}, pages = {1 -- 6}, year = {2011}, language = {en} } @inproceedings{FerreinMaierMuehlbacheretal.2016, author = {Ferrein, Alexander and Maier, Christopher and M{\"u}hlbacher, Clemens and Niem{\"u}ller, Tim and Steinbauer, Gerald and Vassos, Stravros}, title = {Controlling logistics robots with the action-based language YAGI}, series = {Intelligent Robotics and Applications: 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, Proceedings, Part I}, volume = {9834}, booktitle = {Intelligent Robotics and Applications: 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, Proceedings, Part I}, publisher = {Springer}, isbn = {978-3-319-43505-3 (Print)}, doi = {10.1007/978-3-319-43506-0_46}, pages = {525 -- 537}, year = {2016}, language = {en} } @inproceedings{FerreinMaierMuehlbacheretal.2015, author = {Ferrein, Alexander and Maier, Christopher and M{\"u}hlbacher, Clemens and Niemueller, Tim and Steinbauer, Gerald and Vassos, Stravros}, title = {Controlling Logistics Robots with the Action-based Language YAGI}, series = {Proceedings of the 2015 IROS Workshop on Workshop on Task Planning for Intelligent Robots in Service and Manufacturing}, booktitle = {Proceedings of the 2015 IROS Workshop on Workshop on Task Planning for Intelligent Robots in Service and Manufacturing}, year = {2015}, language = {en} } @inproceedings{FerreinLakemeyerSchiffer2006, author = {Ferrein, Alexander and Lakemeyer, Gerhard and Schiffer, Stefan}, title = {AllemaniACs@ home 2006 team description}, pages = {1 -- 6}, year = {2006}, language = {en} } @article{FerreinLakemeyer2005, author = {Ferrein, Alexander and Lakemeyer, Gerhard}, title = {Wie Roboter die Welt sehen : Roboterfußball im Dienst der Wissenschaft / Ferrein, Alexander ; Lakemeyer, Gerhard}, series = {Bild und Erkenntnis : Formen und Funktionen des Bildes in Wissenschaft und Technik / RWTH. Andreas Beyer ; Markus Lohoff (Hrsg.)}, journal = {Bild und Erkenntnis : Formen und Funktionen des Bildes in Wissenschaft und Technik / RWTH. Andreas Beyer ; Markus Lohoff (Hrsg.)}, publisher = {Deutscher Kunstverlag}, address = {M{\"u}nchen}, isbn = {3-422-06463-X}, pages = {360 -- 361}, year = {2005}, language = {de} } @article{FerreinLakemeyer2006, author = {Ferrein, Alexander and Lakemeyer, Gerhard}, title = {Roboterfußball - Wissenschaft, die auch Spass macht / Ferrein, Alexander ; Lakemeyer, Gerhard}, series = {RWTH Themen (2006)}, journal = {RWTH Themen (2006)}, isbn = {0179-079X}, pages = {36 -- 39}, year = {2006}, language = {de} } @article{FerreinKonurLakemeyer2004, author = {Ferrein, Alexander and Konur, Savas and Lakemeyer, Gerhard}, title = {Learning Decision Trees for Action Selection in Soccer Agents / Konur, Savas ; Ferrein, Alexander ; Lakemeyer, Gerhard}, pages = {1 -- 7}, year = {2004}, language = {en} } @inproceedings{FerreinKallweitLautermann2012, author = {Ferrein, Alexander and Kallweit, Stephan and Lautermann, Mark}, title = {Towards an autonomous pilot system for a tunnel boring machine}, series = {5th Robotics and Mechatronics Conference of South Africa (ROBMECH) : 26 - 27 November 2012 ; CSIR International Conference Centre Gauteng South Africa}, booktitle = {5th Robotics and Mechatronics Conference of South Africa (ROBMECH) : 26 - 27 November 2012 ; CSIR International Conference Centre Gauteng South Africa}, publisher = {IEEE}, address = {Piscataway, NJ}, isbn = {978-1-4673-5183-6}, year = {2012}, language = {en} } @article{FerreinJacobsSchifferetal.2009, author = {Ferrein, Alexander and Jacobs, Stefan and Schiffer, Stefan and Beck, Daniel}, title = {Robust Collision Avoidance in Unknown Domestic Environments / Jacobs, Stefan ; Ferrein, Alexander ; Schiffer, Stefan ; Beck, Daniel ; Lakemeyer, Gerhard}, series = {ROBOCUP 2009: ROBOT SOCCER WORLD CUP XIII}, journal = {ROBOCUP 2009: ROBOT SOCCER WORLD CUP XIII}, publisher = {Springer}, address = {Berlin}, pages = {116 -- 127}, year = {2009}, language = {en} } @article{FerreinJacobsLakemeyer2005, author = {Ferrein, Alexander and Jacobs, Stefan and Lakemeyer, Gerhard}, title = {Controlling Unreal Tournament 2004 Bots with the logic-based action language Golog / Jacobs, Stefan ; Ferrein, Alexander ; Lakemeyer, Gerhard}, series = {Proceedings of the First AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE).}, journal = {Proceedings of the First AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE).}, pages = {151 -- 152}, year = {2005}, language = {en} } @article{FerreinJacobsLakemeyer2005, author = {Ferrein, Alexander and Jacobs, Stefan and Lakemeyer, Gerhard}, title = {Unreal Golog Bots / Jacobs, Stefan ; Ferrein, Alexander ; Lakemeyer, Gerhard}, series = {IJCAI-05 Workshop on Reasoning, Representation, and Learning in Computer Games}, journal = {IJCAI-05 Workshop on Reasoning, Representation, and Learning in Computer Games}, pages = {31 -- 36}, year = {2005}, language = {en} } @article{FerreinHermannsLakemeyer2006, author = {Ferrein, Alexander and Hermanns, Lutz and Lakemeyer, Gerhard}, title = {Comparing Sensor Fusion Techniques for Ball Position Estimation / Ferrein, Alexander ; Hermanns, Lutz ; Lakemeyer, Gerhard}, series = {RoboCup 2005: Robot Soccer World Cup IX}, journal = {RoboCup 2005: Robot Soccer World Cup IX}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-540-35437-6}, pages = {154 -- 165}, year = {2006}, language = {en} } @article{FerreinFritzLakemeyer2005, author = {Ferrein, Alexander and Fritz, Christian and Lakemeyer, Gerhard}, title = {Using Golog for Deliberation and Team Coordination in Robotic Soccer / Ferrein, Alexander ; Fritz, Christian ; Lakemeyer, Gerhard}, series = {K{\"u}nstliche Intelligenz : KI. 19 (2005), H. 1}, journal = {K{\"u}nstliche Intelligenz : KI. 19 (2005), H. 1}, isbn = {0933-1875}, pages = {24 -- 30}, year = {2005}, language = {en} } @article{FerreinFritzLakemeyer2004, author = {Ferrein, Alexander and Fritz, Christian and Lakemeyer, Gerhard}, title = {On-Line Decision-Theoretic Golog for Unpredictable Domains / Ferrein, Alexander ; Fritz, Christian ; Lakemeyer, Gerhard}, series = {KI 2004: Advances in Artificial Intelligence : 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004. Proceedings}, journal = {KI 2004: Advances in Artificial Intelligence : 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004. Proceedings}, publisher = {Springer}, address = {Berlin}, pages = {322 -- 336}, year = {2004}, language = {en} } @article{FerreinFritzLakemeyer2003, author = {Ferrein, Alexander and Fritz, Christian and Lakemeyer, Gerhard}, title = {Extending DTGOLOG with Options / Ferrein, Alexander ; Fritz, Christian ; Lakemeyer, Gerhard}, series = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003}, journal = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003}, pages = {1391 -- 1393}, year = {2003}, language = {en} } @article{FerreinDyllaLakemeyeretal.2008, author = {Ferrein, Alexander and Dylla, Frank and Lakemeyer, Gerhard and Murray, Jan}, title = {Approaching a formal soccer theory from behaviour specifications in robotic soccer / Dylla, Frank ; Ferrein, Alexander ; Lakemeyer, Gerhard ; Murray, Jan ; Obst, Oliver ; R{\"o}fer, Thomas ; Schiffer, Stefan ; Stolzenburg, Frieder ; Visser, Ubbo ; Wagner, Tho}, series = {Computers in sport / editors: P Dabnichki}, journal = {Computers in sport / editors: P Dabnichki}, publisher = {WIT Press}, address = {Southampton}, isbn = {978-1-8456-4064-4}, pages = {161 -- 185}, year = {2008}, language = {en} } @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} } @inproceedings{FerreinBharatheeshaSchifferetal.2019, author = {Ferrein, Alexander and Bharatheesha, Mukunda and Schiffer, Stefan and Corbato, Carlos Hernandez}, title = {TRROS 2018 : Teaching Robotics with ROS Workshop at ERF 2018; Proceedings of the Workshop on Teaching Robotics with ROS (held at ERF 2018), co-located with European Robotics Forum 2018 (ERF 2018), Tampere, Finland, March 15th, 2018}, series = {CEUR Workshop Proceedings}, booktitle = {CEUR Workshop Proceedings}, number = {Vol-2329}, issn = {1613-0073}, pages = {68 Seiten}, year = {2019}, 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{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} } @inproceedings{Ferrein2015, author = {Ferrein, Alexander}, title = {3D-Mapping von Straßentunneln}, series = {16. Geokinematischer Tag, 07. und 08. Mai 2015 : Tagungsband / Technische Universit{\"a}t Bergakademie Freiberg}, booktitle = {16. Geokinematischer Tag, 07. und 08. Mai 2015 : Tagungsband / Technische Universit{\"a}t Bergakademie Freiberg}, pages = {31 -- 40}, year = {2015}, language = {de} } @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} } @book{Ferrein2008, author = {Ferrein, Alexander}, title = {Robot controllers for highly dynamic environments with real-time constraints}, pages = {XVI; 247 S. : Ill., graph. Darst}, 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} } @inproceedings{Ferrein2010, author = {Ferrein, Alexander}, title = {golog.lua: Towards a non-prolog implementation of Golog for embedded systems}, series = {Dagstuhl Seminar Proceedings, Volume 10081}, booktitle = {Dagstuhl Seminar Proceedings, Volume 10081}, doi = {10.4230/DagSemProc.10081.9}, pages = {1 -- 15}, year = {2010}, abstract = {Among many approaches to address the high-level decision making problem for autonomous robots and agents, the robot program¬ming and plan language Golog follows a logic-based deliberative approach, and its successors were successfully deployed in a number of robotics applications over the past ten years. Usually, Golog interpreter are implemented in Prolog, which is not available for our target plat¬form, the bi-ped robot platform Nao. In this paper we sketch our first approach towards a prototype implementation of a Golog interpreter in the scripting language Lua. With the example of the elevator domain we discuss how the basic action theory is specified and how we implemented fluent regression in Lua. One possible advantage of the availability of a Non-Prolog implementation of Golog could be that Golog becomes avail¬able on a larger number of platforms, and also becomes more attractive for roboticists outside the Cognitive Robotics community.}, language = {en} } @article{Ferrein2010, author = {Ferrein, Alexander}, title = {Robot controllers for highly dynamic environments with real-time constraints}, series = {K{\"u}nstliche Intelligenz : KI}, volume = {24}, journal = {K{\"u}nstliche Intelligenz : KI}, number = {2}, publisher = {Springer}, address = {Heidelberg}, issn = {1610-1987}, doi = {10.1007/s13218-010-0041-3}, pages = {175 -- 178}, year = {2010}, abstract = {In this extended abstract we describe the robot programming and planning language READYLOG, a GOLOG dialect which was developed to support the decision making of robots acting in dynamic real-time domains like robotic soccer. The formal framework of READYLOG, which is based on the situation calculus, features imperative control structures like loops and procedures, allows for decision-theoretic planning, and accounts for a continuously changing world. We developed high-level controllers in READYLOG for our soccer robots in RoboCup's Middle-size league, but also for service robots and for autonomous agents in interactive computer games.}, language = {en} } @article{Ferrein2010, author = {Ferrein, Alexander}, title = {golog.lua: Towards a Non-Prolog Implementation of Golog for Embedded Systems}, publisher = {AAAI}, address = {Menlo Park}, pages = {20 -- 28}, year = {2010}, language = {en} } @incollection{Ferger2024, author = {Ferger, Martin}, title = {Arbeitsvorbereitung und Ablaufplanung}, series = {Zahlentafeln f{\"u}r den Baubetrieb}, booktitle = {Zahlentafeln f{\"u}r den Baubetrieb}, editor = {Krause, Thomas and Ulke, Bernd and Ferger, Martin}, publisher = {Springer Vieweg}, address = {Wiesbaden}, isbn = {978-3-658-41329-3 (Print)}, doi = {10.1007/978-3-658-41330-9_6}, pages = {299 -- 332}, year = {2024}, abstract = {Die Arbeitsvorbereitung, als ein wesentliches Aufgabengebiet des Baubetriebswesens, ist von enormer Bedeutung f{\"u}r den Erfolg eines Bauprojektes. Die Arbeitsvorbereitung l{\"a}sst sich zeitlich sowohl in der Angebotsphase (kalkulationsbegleitende Arbeitsvorbereitung), in der Vorbereitungsphase der Baustelle (von Auftragsvergabe bis Baubeginn) als auch baubegleitend einordnen.}, 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} } @inproceedings{FendHoffschmidtReutteretal.2006, author = {Fend, Thomas and Hoffschmidt, Bernhard and Reutter, Oliver and Sauerhering, J{\"o}rg and Pitz-Paal, Robert}, title = {Gas flow in hot porous materials: the solar air receiver and spin-off applications}, series = {Proceedings of the 4th Nanochannels, Microchannels and Minichannels - 2006 : presented at 4th Nanochannels, Microchannels and Minichannels, June 19 - 21, 2006, Limerick, Ireland}, booktitle = {Proceedings of the 4th Nanochannels, Microchannels and Minichannels - 2006 : presented at 4th Nanochannels, Microchannels and Minichannels, June 19 - 21, 2006, Limerick, Ireland}, publisher = {ASME}, address = {New York, NY}, organization = {International Conference on Nanochannels, Microchannels and Minichannels <4, 2006, Limerick>}, isbn = {0-7918-4760-8}, pages = {507 -- 514}, year = {2006}, language = {en} } @inproceedings{FellinKingKirschetal.2009, author = {Fellin, Wolfgang and King, Julian and Kirsch, Ansgar and Oberguggenberger, Michael}, title = {Uncertainty modelling and sensitivity analysis of tunnel face stability}, series = {Safety, reliability and risk of structures, infrastructures and engineering systems : proceedings of the tenth International Conference on Structural Safety and Reliability (ICOSSAR 2009), Osaka, Japan, 13-17 September 2009 / ed.: Hitoshi Furuta ...}, booktitle = {Safety, reliability and risk of structures, infrastructures and engineering systems : proceedings of the tenth International Conference on Structural Safety and Reliability (ICOSSAR 2009), Osaka, Japan, 13-17 September 2009 / ed.: Hitoshi Furuta ...}, publisher = {CRC Pr.}, address = {Boca Raton, Fla. [u.a.]}, organization = {International Conference on Structural Safety and Reliability <10, 2009, Osaka>}, isbn = {978-0-415-47557-0}, pages = {112 -- 114}, year = {2009}, 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} } @inproceedings{FeldmannPyschnyDoeringetal.2012, author = {Feldmann, Markus and Pyschny, D. and D{\"o}ring, Bernd and Kuhnhenne, Markus}, title = {Life cycle assessment of steel constructions}, series = {Life-cycle and sustainability of civil infrastructure systems : proceedings of the Third International Symposium on Life-Cycle Civil Engineering (IALCCE'12) : Vienna, Austria, October 3-6, 2012}, booktitle = {Life-cycle and sustainability of civil infrastructure systems : proceedings of the Third International Symposium on Life-Cycle Civil Engineering (IALCCE'12) : Vienna, Austria, October 3-6, 2012}, publisher = {Taylor and Francis}, address = {Hoboken}, organization = {International Symposium on Life-Cycle Civil Engineering <3, 2012, Wien>}, isbn = {978-0-203-10336-4}, pages = {321}, year = {2012}, 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} } @techreport{FeldmannKuhnhenneDoeringetal.2013, author = {Feldmann, Marco and Kuhnhenne, M. and D{\"o}ring, Bernd and Pyschny, D. and Lawson, R.M. and Chuter, R.D. and Boudjabeur, S. and Lecomte-Labory, F. and Airaksinen, M. and Heikkinen, J. and Laamanen, J. and Albart, P. and D'Haeyer, R. and Chica, J.A. and Maseda, J.M. and Amundarain, A. and Rips, M.O. and Nu{\~n}ez, J.A. and Mac{\´i}as, O. and Beguin, P. and Ben Larbi, A.}, title = {Energy and thermal improvements for construction in steel (ETHICS) - EUR 26010}, publisher = {Publications Office of the European Union}, address = {Luxembourg}, organization = {European Commission}, isbn = {978-92-79-30789-8}, issn = {1831-9424}, doi = {10.2777/17106}, pages = {136 Seiten}, year = {2013}, abstract = {ETHICS is concerned with evaluating, measuring and making improvements in the thermal and energy performance of steel-clad and steel-framed buildings. It addresses basic building physics performance at a laboratory and full-scale level, and the preparation of design guidance for commercial, industrial and residential buildings. It includes the development of design tools to assist users in assessing whole-building performance, and calibrates these tools against whole-building measurements, which will be obtained from this research. Opportunities for renewable energy and other energy-saving features will be assessed. This project focuses on objectives that are of particular interest for the design of new steel constructions regarding energy efficiency. ETHICS investigates the as-built performance by on-site tests regarding air tightness and heat transfer properties of the building envelope and by monitoring the energy consumption and thermal comfort of selected up-to-date steel buildings. As energy efficiency is a key requirement for design and construction of buildings in the future, this project provides well-founded scientific data, which prove the high energy performance of current steel constructions and work out details for further improvements to maintain and extend the position of steel products in the construction sector.}, language = {en} } @misc{FeldmannFranckeEspeetal.2022, author = {Feldmann, Marco and Francke, Gero and Espe, Clemes and Chen, Qian and Baader, Fabian and Boxberg, Marc S. and Sustrate, Anna-Marie and Kowalski, Julia and Dachwald, Bernd}, title = {Performance data of an ice-melting probe from field tests in two different ice environments}, doi = {10.5281/zenodo.6094866}, year = {2022}, abstract = {This dataset was acquired at field tests of the steerable ice-melting probe "EnEx-IceMole" (Dachwald et al., 2014). A field test in summer 2014 was used to test the melting probe's system, before the probe was shipped to Antarctica, where, in international cooperation with the MIDGE project, the objective of a sampling mission in the southern hemisphere summer 2014/2015 was to return a clean englacial sample from the subglacial brine reservoir supplying the Blood Falls at Taylor Glacier (Badgeley et al., 2017, German et al., 2021). The standardized log-files generated by the IceMole during melting operation include more than 100 operational parameters, housekeeping information, and error states, which are reported to the base station in intervals of 4 s. Occasional packet loss in data transmission resulted in a sparse number of increased sampling intervals, which where compensated for by linear interpolation during post processing. The presented dataset is based on a subset of this data: The penetration distance is calculated based on the ice screw drive encoder signal, providing the rate of rotation, and the screw's thread pitch. The melting speed is calculated from the same data, assuming the rate of rotation to be constant over one sampling interval. The contact force is calculated from the longitudinal screw force, which es measured by strain gauges. The used heating power is calculated from binary states of all heating elements, which can only be either switched on or off. Temperatures are measured at each heating element and averaged for three zones (melting head, side-wall heaters and back-plate heaters).}, language = {en} } @incollection{FeldmannDoeringPyschny2016, author = {Feldmann, Marco and D{\"o}ring, Bernd and Pyschny, D.}, title = {Floor systems; Sustainabilty analyses and assessments of steel bridges}, series = {Sustainable steel buildings : a practical guide for structures and envelopes}, booktitle = {Sustainable steel buildings : a practical guide for structures and envelopes}, publisher = {Wiley Blackwell}, address = {Chichester, West Sussex}, isbn = {978-1-118-74079-8 (PDF)}, pages = {198 -- 223}, year = {2016}, language = {en} } @inproceedings{FeldhusenBrezingPuetzetal.2010, author = {Feldhusen, J{\"o}rg and Brezing, Alexander Nikolaus and P{\"u}tz, Claus and W{\"a}hlisch, Georg}, title = {Multi-system CAD-teaching in large classes}, series = {When design education and design research meet : proceedings of the 12th International Conference on Engineering and Product Design Education, Norwegian University of Science and Technology (NTNU) Trondheim, Norway, 2nd - 3rd September 2010 ; [E\&PDE]}, booktitle = {When design education and design research meet : proceedings of the 12th International Conference on Engineering and Product Design Education, Norwegian University of Science and Technology (NTNU) Trondheim, Norway, 2nd - 3rd September 2010 ; [E\&PDE]}, publisher = {Design Society}, address = {Glasgow}, organization = {International Conference on Engineering and Product Design Education <12, 2010, Trondheim>}, isbn = {978-1-904670-19-3}, pages = {204 -- 209}, year = {2010}, language = {en} } @book{Feiser1988, author = {Feiser, Johannes}, title = {Mechanisches Verhalten eines Sedimentgesteins mit tongef{\"u}llten Schichtfugen und offenen Kl{\"u}ften}, address = {Aachen}, pages = {XIV, 226 S. : Ill., graph. Darst.}, year = {1988}, 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} } @incollection{Feiser2012, author = {Feiser, Johannes}, title = {Geotechnik}, series = {Wendehorst Bautechnische Zahlentafeln}, booktitle = {Wendehorst Bautechnische Zahlentafeln}, editor = {Vismann, Ulrich}, edition = {34}, publisher = {Vieweg + Teubner}, address = {Wiesbaden}, isbn = {978-3-8348-0960-5}, doi = {10.1007/978-3-8348-8613-2_17}, pages = {1221 -- 1332}, year = {2012}, abstract = {In der nationalen und der europ{\"a}ischen Normung werden die geotechnischen Aufgaben zwecks Mindestanforderungen an Baugrunduntersuchung, rechnerische Nachweise und {\"U}berwachung der Ausf{\"u}hrung in drei Klassen (Kategorien) eingeteilt. Sie richten sich nach der zu erwartenden Reaktion des Baugrundes, nach dem geotechnischen Schwierigkeitsgrad des Tragwerks und seiner Einfl{\"u}sse auf dieUmgebung.}, 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} } @incollection{Feiser2015, author = {Feiser, Johannes}, title = {Geotechnik}, series = {Wendehorst Bautechnische Zahlentafeln / 35. Auflage}, booktitle = {Wendehorst Bautechnische Zahlentafeln / 35. Auflage}, editor = {Vismann, Ulrich}, publisher = {Springer Vieweg}, address = {Wiesbaden}, isbn = {978-3-658-01688-3 (Print)}, doi = {10.1007/978-3-658-01689-0_17}, pages = {1019 -- 1101}, year = {2015}, abstract = {In der nationalen und der europ{\"a}ischen Normung werden die geotechnischen Aufgaben zwecks Mindestanforderungen an Baugrunduntersuchung, rechnerische Nachweise und {\"U}berwachung der Ausf{\"u}hrung in drei Klassen (Kategorien) eingeteilt. Sie richten sich nach der zu erwartenden Reaktion des Baugrundes, nach dem geotechnischen Schwierigkeitsgrad des Tragwerks und seiner Einfl{\"u}sse auf die Umgebung. In DIN 4020 wurde die Einteilung bez{\"u}glich Art und Umfang der geotechnischen Untersuchungen bereits verbindlich eingef{\"u}hrt.}, language = {de} } @incollection{Feiser2012, author = {Feiser, Johannes}, title = {Geotechnik}, series = {Wendehorst Beispiele aus der Baupraxis. - 4. Aufl.}, booktitle = {Wendehorst Beispiele aus der Baupraxis. - 4. Aufl.}, publisher = {Springer Vieweg}, address = {Wiesbaden}, isbn = {978-3-8348-0999-5 ; 978-3-8348-8229-5}, doi = {10.1007/978-3-8348-8229-5_14}, pages = {453 -- 495}, year = {2012}, language = {de} } @incollection{Feiser2009, author = {Feiser, Johannes}, title = {Geotechnik}, series = {Wendehorst Beispiele aus der Baupraxis. - 3. Aufl.}, booktitle = {Wendehorst Beispiele aus der Baupraxis. - 3. Aufl.}, publisher = {Springer Vieweg}, address = {Wiesbaden}, isbn = {978-3-8348-0684-0 ; 978-3-8348-9997-2}, doi = {10.1007/978-3-8348-9997-2_13}, pages = {351 -- 392}, year = {2009}, language = {de} } @incollection{Feiser2005, author = {Feiser, Johannes}, title = {Geotechnik}, series = {Wendehorst Beispiele aus der Baupraxis. - 1. Aufl.}, booktitle = {Wendehorst Beispiele aus der Baupraxis. - 1. Aufl.}, publisher = {Teubner}, address = {Stuttgart}, isbn = {3-519-00489-5 ; 978-3-519-00489-9}, pages = {195 -- 220}, year = {2005}, language = {de} } @incollection{Feiser2015, author = {Feiser, Johannes}, title = {Geotechnik}, series = {Wendehorst Beispiele aus der Baupraxis. / 5. Auflage}, booktitle = {Wendehorst Beispiele aus der Baupraxis. / 5. Auflage}, publisher = {Springer Vieweg}, address = {Wiesbaden}, isbn = {978-3-658-01689-0 ; 978-3-410-24199-7}, doi = {10.1007/978-3-658-01681-4_14}, pages = {547 -- 598}, year = {2015}, 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} } @book{FassbenderVoglerWedel1994, author = {Faßbender, Heinz and Vogler, Heiko and Wedel, Andrea}, title = {Implementation of a deterministic partial E-unification algorithm for macro tree transducers}, publisher = {Univ. Ulm, Fak. f{\"u}r Informatik}, address = {Ulm}, pages = {62 S.}, year = {1994}, 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} } @book{FassbenderVogler1992, author = {Faßbender, Heinz and Vogler, Heiko}, title = {A universal unification algorithm based on unification driven leftmost outermost narrowing}, publisher = {Univ. Ulm, Fak. f{\"u}r Informatik}, address = {Ulm}, pages = {47 S. : graph. Darst.}, year = {1992}, language = {en} } @book{FassbenderVogler1990, author = {Faßbender, Heinz and Vogler, Heiko}, title = {A call-by-need implementation of syntax directed functional programming}, publisher = {RWTH, Fachgruppe Informatik}, address = {Aachen}, pages = {44 S. : graph. Darst.}, year = {1990}, 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} } @book{FassbenderManeth1996, author = {Faßbender, Heinz and Maneth, Sebastian}, title = {A strict border for the decidability of e-unification for recursive functions}, publisher = {TU, Fak. Informatik}, address = {Dresden}, pages = {27 S. : graph. Darst.}, year = {1996}, language = {en} } @book{FassbenderGladtzVogler1991, author = {Faßbender, Heinz and Gladtz, Katia and Vogler, Heiko}, title = {Compiler based implementation of syntax directed functional programming}, publisher = {RWTH, Fachgruppe Informatik}, address = {Aachen}, pages = {37 S.}, year = {1991}, language = {en} } @book{FassbenderBuehlerMarkmannetal.2001, author = {Faßbender, Heinz and B{\"u}hler, Gerhard and Markmann, G. and Wunder, M.}, title = {Protokolle zur Replikation verteilter Daten}, publisher = {FGAN-FKIE}, address = {Wachtberg}, year = {2001}, language = {de} } @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} } @book{Fassbender1989, author = {Faßbender, Heinz}, title = {Implementierung der Call-by-Need Auswertungsstrategie f{\"u}r Macro Tree-to-String Transducer auf Nested-Stack Maschinen mit geschachtelten Ausgabeb{\"a}ndern}, address = {Aachen}, year = {1989}, language = {de} } @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} } @book{Fassbender1995, author = {Faßbender, Heinz}, title = {E-Unifikation f{\"u}r primitiv-rekursive Baumfunktionen : Semantik und Implementierung. - Als Ms. gedr.}, publisher = {Shaker}, address = {Aachen}, isbn = {3-8265-0917-X}, pages = {IX, 272 S. : graph. Darst.}, year = {1995}, language = {de} } @book{Fassbender2003, author = {Faßbender, Heinz}, title = {Architektur eines F{\"u}hrungsinformationssystems unter Verwendung von Enterprise Java Beans}, publisher = {FGAN-FKIE}, address = {Wachtberg}, year = {2003}, language = {de} } @book{Fassbender1999, author = {Faßbender, Heinz}, title = {Architektur eines plattformunabh{\"a}ngigen verteilten F{\"u}hrungsinformationssystems}, publisher = {FGAN-FKIE}, address = {Wachtberg}, year = {1999}, language = {de} } @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} } @inproceedings{FateriGebhardtRenftle2015, author = {Fateri, Miranda and Gebhardt, Andreas and Renftle, Georg}, title = {Additive Manufacturing of Drainage Segments for Cooling System of Crucibles Melting Furnaces}, series = {International Conference and Expo on Advanced Ceramics and Composites, (ICACC). January 2015, Florida, USA}, booktitle = {International Conference and Expo on Advanced Ceramics and Composites, (ICACC). January 2015, Florida, USA}, pages = {9 S.}, year = {2015}, abstract = {The cooling process in induction based crucible melting furnaces for Industrial applications is one of the important and challenging factors in production and safety engineering. Accordingly, proper implementation of the cooling system of the furnace using optimum cooling guides and fail-safe features are critical in order to improve the safety of the process. Regarding this, manufacturing of porous material with high electrical isolation for the drainage segments of the cooling channels is examined in this study. Consequently, various geometries with different porosities using glass and ceramic powder are fabricated using Selective Laser Sintering (SLS) process. The manufactured parts are examined in a prototype furnace testing and the feasibility of the SLS manufacturing of parts for this application is discussed.}, language = {en} }