TY - JOUR A1 - Ferrein, Alexander A1 - Fritz, Christian A1 - Lakemeyer, Gerhard T1 - On-Line Decision-Theoretic Golog for Unpredictable Domains / Ferrein, Alexander ; Fritz, Christian ; Lakemeyer, Gerhard JF - KI 2004: Advances in Artificial Intelligence : 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004. Proceedings Y1 - 2004 N1 - Lecture Notes in Computer Science ; 3238 SP - 322 EP - 336 PB - Springer CY - Berlin ER - TY - JOUR A1 - Ferrein, Alexander A1 - Fritz, Christian A1 - Lakemeyer, Gerhard T1 - Extending DTGOLOG with Options / Ferrein, Alexander ; Fritz, Christian ; Lakemeyer, Gerhard JF - IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003 Y1 - 2003 SP - 1391 EP - 1393 ER - TY - JOUR A1 - Ferrein, Alexander A1 - Dylla, Frank A1 - Lakemeyer, Gerhard A1 - Murray, Jan T1 - Approaching a formal soccer theory from behaviour specifications in robotic soccer / Dylla, Frank ; Ferrein, Alexander ; Lakemeyer, Gerhard ; Murray, Jan ; Obst, Oliver ; Röfer, Thomas ; Schiffer, Stefan ; Stolzenburg, Frieder ; Visser, Ubbo ; Wagner, Tho JF - Computers in sport / editors: P Dabnichki Y1 - 2008 SN - 978-1-8456-4064-4 SP - 161 EP - 185 PB - WIT Press CY - Southampton ER - TY - JOUR A1 - Ferrein, Alexander A1 - Dylla, Frank A1 - Lakemeyer, Gerhard A1 - Murray, Jan T1 - Towards a League-Independent Qualitative Soccer Theory for RoboCup / Dylla, Frank ; Ferrein, Alexander ; Lakemeyer, Gerhard ; Murray, Jan ; Obst, Oliver ; Röfer, Thomas ; Stolzenburg, Frieder ; Visser, Ubbo JF - RoboCup 2004: Robot Soccer World Cup VIII / Daniele Nardi ... (ed.). Y1 - 2005 SN - 978-3-540-25046-8 N1 - Lecture Notes in Computer Science ; 3276 SP - 611 EP - 618 PB - Springer CY - Berlin ER - TY - JOUR A1 - Ferrein, Alexander A1 - Dylla, Frank A1 - Lakemeyer, Gerhard T1 - Specifying Multirobot Coordination in ICPGolog - From Simulation towards Real Robots / Dylla, Frank ; Ferrein, Alexander ; Lakemeyer, Gerhard Y1 - 2003 N1 - AOS-4 at IJCAI-03 SP - 1 EP - 10 ER - TY - JOUR A1 - Ferrein, Alexander A1 - Dylla, Frank A1 - Lakemeyer, Gerhard T1 - Acting and Deliberating using Golog in Robotic Soccer - A Hybrid Architecture / Dylla, Frank ; Ferrein, Alexander ; Lakemeyer, Gerhard JF - Proc. 3rd International Cognitive Robotics Workshop (CogRob 2002) Y1 - 2002 SP - 1 EP - 7 ER - TY - JOUR A1 - Ferrein, Alexander A1 - Böhnstedt, Lutz A1 - Lakemeyer, Gerhard T1 - Options in readylog reloaded -- generating decision-theoretic plan libraries in golog / Böhnstedt, Lutz ; Ferrein, Alexander ; Lakemeyer, Gerhard JF - KI 2007: advances in artificial intelligence : 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10 - 13, 2007 ; proceedings Y1 - 2007 SN - 978-3-540-74564-8 N1 - Lecture Notes in Computer Science ; 4667 SP - 352 EP - 366 PB - Springer CY - Berlin ER - TY - CHAP A1 - Ferrein, Alexander A1 - Bharatheesha, Mukunda A1 - Schiffer, Stefan A1 - Corbato, Carlos Hernandez T1 - 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 T2 - CEUR Workshop Proceedings Y1 - 2019 SN - 1613-0073 IS - Vol-2329 ER - TY - JOUR A1 - Ferrein, Alexander A1 - Beck, Daniel A1 - Lakemeyer, Gerhard T1 - Landmark-Based Representations for Navigating Holonomic Soccer Robots / Beck, Daniel ; Ferrein, Alexander ; Lakemeyer, Gerhard JF - RoboCup 2008 : robot soccer world cup XII / Luca Iocchi ... (eds.) Y1 - 2009 SN - 978-3-642-02921-9 N1 - Lecture Notes in Computer Science ; 5399 SP - 25 EP - 36 PB - Springer CY - Heidelberg ER - TY - JOUR A1 - Ferrein, Alexander A1 - Beck, Daniel A1 - Lakemeyer, Gerhard T1 - A Simulation Environment for Middle-Size Robots with Multi-level Abstraction / Beck, Daniel ; Ferrein, Alexander ; Lakemeyer, Gerhard JF - RoboCup 2007: Robot Soccer World Cup XI Y1 - 2007 SN - 978-3-540-68846-4 N1 - Lecture Notes in Computer Science ; 5001 SP - 136 EP - 147 PB - Springer CY - Berlin ER - TY - BOOK A1 - Ferrein, Alexander T1 - Robot controllers for highly dynamic environments with real-time constraints Y1 - 2008 N1 - Aachen, Techn. Hochsch., Diss., 2007 ER - TY - JOUR A1 - Ferrein, Alexander T1 - Logic-based robot control in highly dynamic domains / Ferrein, Alexander ; Lakemeyer, Gerhard JF - Robotics and Autonomous Systems. 56 (2008), H. 11 Y1 - 2008 SN - 0921-8890 SP - 980 EP - 991 ER - TY - JOUR A1 - Ferrein, Alexander T1 - Robot controllers for highly dynamic environments with real-time constraints JF - Künstliche Intelligenz : KI. 24 (2010), H. 2 Y1 - 2010 SN - 1610-1987 SP - 175 EP - 178 ER - TY - JOUR A1 - Ferrein, Alexander T1 - golog.lua: Towards a Non-Prolog Implementation of Golog for Embedded Systems Y1 - 2010 SP - 20 EP - 28 ER - TY - JOUR A1 - Ferrein, Alexander T1 - Specifying Soccer Moves with Golog JF - Book of abstracts : Cologne, 15 - 17 September 2004 / 1st International Working Conference IT and Sport & 5th conference DVS-Section Computer Science in Sport Y1 - 2005 SN - 3-00-014576-1 N1 - International Working Conference IT and Sport 1, 2004, Köln ; Deutsche Vereinigung für Sportwissenschaft SP - 161 EP - 165 PB - German Sport Univ. CY - Köln ER - TY - JOUR A1 - Ferrein, Alexander T1 - golog.lua: Towards a Non-Prolog Implementation of Golog for Embedded Systems JF - Cognitive Robotics / Lakemeyer, Gerhard (ed.) Y1 - 2010 N1 - Dagstuhl Seminar Proceedings ; 10081 SP - 1 EP - 15 ER - TY - JOUR A1 - Ferrein, Alexander T1 - Towards applying soccer moves in the RoboCup Standard Platform League JF - ÖGAI-Journal Y1 - 2008 SN - 0254-4326 VL - Bd. 27 IS - H. 3 SP - 4 EP - 9 ER - TY - BOOK A1 - Faßbender, Heinz A1 - Vogler, Heiko A1 - Wedel, Andrea T1 - Implementation of a deterministic partial E-unification algorithm for macro tree transducers Y1 - 1994 N1 - (Ulmer Informatik-Berichte ; 94,4) PB - Univ. Ulm, Fak. für Informatik CY - Ulm ER - TY - JOUR A1 - Faßbender, Heinz A1 - Vogler, Heiko A1 - Wedel, Andrea T1 - An abstract machine for the E-Unification with macro tree transducer JF - 7th International Workshop on Unification : 13. 06. - 14. 06. 93 / Franz Baader ... (eds.). [Boston University, Boston, USA] Y1 - 1993 ER - TY - BOOK A1 - Faßbender, Heinz A1 - Vogler, Heiko T1 - A universal unification algorithm based on unification driven leftmost outermost narrowing Y1 - 1992 N1 - (Ulmer Informatik-Berichte ; 92,7) PB - Univ. Ulm, Fak. für Informatik CY - Ulm ER - TY - JOUR A1 - Faßbender, Heinz A1 - Vogler, Heiko T1 - An implementation of syntax directed functional programming on nested-stack machines JF - Formal Aspects of Computing. 4 (1992), H. 4 Y1 - 1992 SN - 0934-5043 SP - 341 EP - 375 ER - TY - JOUR A1 - Faßbender, Heinz A1 - Vogler, Heiko T1 - A universal unification algorithm based on unification-driven leftmost outermost narrowing JF - Acta Cybernetica. 11 (1994), H. 3 Y1 - 1994 SN - 0324-721x SP - 139 EP - 167 ER - TY - BOOK A1 - Faßbender, Heinz A1 - Vogler, Heiko T1 - A call-by-need implementation of syntax directed functional programming Y1 - 1990 N1 - (Aachener Informatik-Berichte ; 90,22) PB - RWTH, Fachgruppe Informatik CY - Aachen ER - TY - JOUR A1 - Faßbender, Heinz A1 - Vogler, Heiko T1 - A narrowing machine for the functional logic language BABEL, restricted to primitive recursion : abstract JF - Granada Workshop on the Integration of Functional and Logic Programming / Granada Workshop on the Integration of Functional and Logic Programming <1990>. K. Indermark ... (ed.) Y1 - 1991 SP - 95 EP - 96 PB - RWTH, Fachgruppe Informatik CY - Aachen ER - TY - JOUR A1 - Faßbender, Heinz A1 - Mößle, Andrea A1 - Vogler, Heiko T1 - Implementation of a deterministic partial e-unification algorithm for macro tree transducers JF - Journal of functional and logic programming. 1996 (1996), H. 2 Y1 - 1996 SN - 1080-5230 ER - TY - BOOK A1 - Faßbender, Heinz A1 - Maneth, Sebastian T1 - A strict border for the decidability of e-unification for recursive functions Y1 - 1996 N1 - (Technische Berichte ; 96,21) PB - TU, Fak. Informatik CY - Dresden ER - TY - JOUR A1 - Faßbender, Heinz A1 - Maneth, Sebastian T1 - A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian JF - Algebraic and logic programming : proceedings / 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Michael Hanus ... (ed.) Y1 - 1996 SN - 3-540-61735-3 N1 - (Lecture notes in computer science ; 1139) SP - 194 EP - 208 PB - Springer CY - Berlin [u.a.] ER - TY - JOUR A1 - Faßbender, Heinz A1 - Maneth, Sebastian T1 - A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian JF - Journal of functional and logic programming. 1998 (1998), H. 4 Y1 - 1998 SN - 1080-5230 ER - TY - BOOK A1 - Faßbender, Heinz A1 - Gladtz, Katia A1 - Vogler, Heiko T1 - Compiler based implementation of syntax directed functional programming Y1 - 1991 N1 - (Aachener Informatik-Berichte ; 91,10) PB - RWTH, Fachgruppe Informatik CY - Aachen ER - TY - JOUR A1 - Faßbender, Heinz A1 - Bühler, Gerhard T1 - Applying Ada, Java and CORBA for making a command and control information system platform independent JF - Proceedings : (SIGAda '99) ; October 17 - 21, 1999 ; Crowne Plaza, Redondo Beach & Marine Hotel, Redondo Beach, CA, USA / ACM SIGAda Annual International Conference Y1 - 1999 SN - 1-58113-127-5 N1 - (Ada letters ; 19,3) SP - 83 EP - 88 PB - ACM CY - New York, NY ER - TY - JOUR A1 - Faßbender, Heinz A1 - Bühler, Gerhard T1 - Making a C2 information system platform independent by using internet and middleware technologies JF - Proceedings of the 1999 Command and Control Research and Technology Symposium, Juni 1999, Newport, USA Y1 - 1999 SP - 1 EP - 11 ER - TY - JOUR A1 - Faßbender, Heinz A1 - Bühler, Gerhard T1 - The join of a geographical situation display system and a platform independent C2 information system JF - Proceedings of the 2000 Command and Control Research and Technology Symposium, Juni 2000, Monterey, USA Y1 - 2000 SP - 1 EP - 7 ER - TY - JOUR A1 - Faßbender, Heinz A1 - Bühler, Gerhard T1 - Modelling command and control information systems by UML JF - Proceedings of the Information Systems Technology Panel Symposium / Information Management Challenges in Achieving Coalition Interoperability, Mai 2001, Quebec City, Kanada Y1 - 2001 SP - 7-1 EP - 7-9 ER - TY - JOUR A1 - Faßbender, Heinz A1 - Bühler, Gerhard T1 - An experimental command and control information system based on Enterprise Java bean technology JF - Proceedings of the 7th International Command and Control Research and Technology Symposium, September 2002, Quebec City, Kanada Y1 - 2002 SP - 1 EP - 8 ER - TY - JOUR A1 - Faßbender, Heinz T1 - Implementation of a universal unification algorithm for macro tree transducers JF - Fundamentals of computation theory : proceedings / 9th International Conference, FCT '93, Szeged, Hungary, August 23 - 27, 1993. Zoltán Ésik (ed.) Y1 - 1993 SN - 3-540-57163-9 N1 - (Lecture notes in computer science ; 710) SP - 222 EP - 233 PB - Springer CY - Berlin [u.a.] ER - TY - JOUR A1 - Faßbender, Heinz T1 - Implementation of a UU-Algorithm for primitive recursive tree functions JF - Fundamentals of computation theory : proceedings / 10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Horst Reichel (ed.) Y1 - 1995 SN - 3-540-60249-6 N1 - (Lecture notes in computer science ; 965) SP - 233 EP - 242 PB - Springer CY - Berlin [u.a.] ER - TY - JOUR A1 - Faßbender, Heinz T1 - A verified implementation of narrowing JF - Programming languages: implementations, logics and programs : proceedings / 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ... (ed.) Y1 - 1995 SN - 3-540-60359-X N1 - (Lecture notes in computer science ; 982) SP - 63 EP - 80 PB - Springer CY - Berlin [u.a.] ER - TY - JOUR A1 - Faßbender, Heinz T1 - Reengineering an Ada95-programmed command and control information system by using UML JF - 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) Y1 - 2001 SN - 1-58113-392-8 N1 - (Ada letters ; 21,4) SP - 53 EP - 60 PB - ACM CY - New York, NY ER - TY - JOUR A1 - Fagan, Andrew J. A1 - Bitz, Andreas A1 - Björkman-Burtscher, Isabella M. A1 - Collins, Christopher M. A1 - Kimbrell, Vera A1 - Raaijmakers, Alexander J. E. T1 - 7T MR Safety JF - Journal of Magnetic Resonance Imaging (JMRI) Y1 - 2021 U6 - http://dx.doi.org/10.1002/jmri.27319 SN - 1522-2586 VL - 53 IS - 2 SP - 333 EP - 346 PB - Wiley CY - Weinheim ER - TY - CHAP A1 - Essingholt, Felix A1 - Meyer, Frederic A1 - Kuhn, Peter A1 - Schmidt, Philip A1 - Benkner, Thorsten A1 - Grabmaier, Anton T1 - Non-invasive heart beat measurement using microwave resonators T2 - Proceedings, Vol. 2, Eurosensors 2018 Conference, Graz, Austria, 9–12 September 2018 Y1 - 2018 U6 - http://dx.doi.org/10.3390/proceedings2131002 SN - 2504-3900 SP - 1002 PB - MDPI CY - Basel ER - TY - CHAP A1 - Epple, U. A1 - Brandes, Sinja A1 - Gligorevic, Snjezana A1 - Schnell, Michael T1 - Receiver optimization for L-DACS1 T2 - IEEE/AIAA 28th Digital Avionics Systems Conference : 23-29 Oct. 2009 : Orlando, Fla. Y1 - 2009 SN - 978-1-4244-4078-8 SP - 4B1-1 EP - 4B1-12 ER - TY - CHAP A1 - Engels, Elmar A1 - Schnabel, Holger T1 - Rapid-control-prototyping of industrial drives for the sercos automation bus T2 - 13th International Workshop on Mechatronics (MECATRONICS), 2012 9th France-Japan & 7th Europe-Asia Congress on and Research and Education in Mechatronics (REM) N2 - This article describes the functionality of a MATLAB® library that can be used to develop motion-logic applications in MATLAB programming language for industrial drive and control systems using the well known sercos automation bus. Therewith MATLAB's functionality is extended to designing automation applications from single axis machines up to multi-kinematic robots. KW - MATLAB , MLPI , Motion control , Open Core , industrial drives , rapid control prototypin , sercos automation bus Y1 - 2012 UR - http://dx.doi.org/10.1109/MECATRONICS.2012.6451005 SN - 978-1-4673-4771-6 SP - 177 EP - 181 ER - TY - JOUR A1 - Engels, Elmar A1 - Krauskopf, S. T1 - Innovation in Motion-Logic programming - a versatile interface JF - Proceedings to the 12th International Workshop on Research and Education in Mechatronics, REM 2011, Kocaeli, Turkey, 15.09.-16.09.2011 Y1 - 2011 SN - 978-975-8047-96-3 PB - - ER - TY - JOUR A1 - Engels, Elmar A1 - Doege, E. T1 - Optimizing the number of strokes for punching machines using a fuzzy controlled electrohydraulic damping system / Doege, E. ; Engels, E. JF - ICME 98, CIRP International Seminar on Intelligent Computation in Manufacturing Engineering, Proceedings, Capri, IT, Jul 1-3, 1998 Y1 - 1998 SP - 471 EP - 478 CY - Capri ER - TY - CHAP A1 - Engels, Elmar T1 - A field bus library for MATLAB based on open core engineering T2 - Proceedings to the 14th International Workshop on Research and Education in Mechatronics, REM 2013, Wien, 05.06.-06.06.2013. Y1 - 2013 SN - 978-3-90275-907-8 ER - TY - CHAP A1 - Endress, Tim A1 - Bragard, Michael T1 - Recording of efficiency-maps of low-power electric drive systems using a flexible matlab-based test bench T2 - 2017 IEEE 58th International Scientific Conference on Power and Electrical Engineering of Riga Technical University (RTUCON) N2 - This paper introduces a hardware setup to measure efficiency maps of low-power electric motors and their associated inverters. Here, the power of the device under test (DUT) ranges from some Watts to a few hundred Watts. The torque and speed of the DUT are measured independent of voltage and current in multiple load points. A Matlab-based software approach in combination with an open Texas-Instruments (TI) hardware setup ensures flexibility. Exemplarily, the efficiency field of a Permanent Magnet Synchronous Machine (PMSM) is measured to proof the concept. Brushless-DC (BLDC) motors can be tested as well. The nomenclature in this paper is based on the new European standard DIN EN 50598. Special attention is paid to the calculation of the measurement error. Y1 - 2017 SN - 978-1-5386-3846-0 U6 - http://dx.doi.org/10.1109/RTUCON.2017.8124775 PB - IEEE CY - New York ER - TY - CHAP A1 - Eltester, Niklas Sebastian A1 - Ferrein, Alexander A1 - Schiffer, Stefan T1 - A smart factory setup based on the RoboCup logistics league T2 - 2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS) N2 - In this paper we present SMART-FACTORY, a setup for a research and teaching facility in industrial robotics that is based on the RoboCup Logistics League. It is driven by the need for developing and applying solutions for digital production. Digitization receives constantly increasing attention in many areas, especially in industry. The common theme is to make things smart by using intelligent computer technology. Especially in the last decade there have been many attempts to improve existing processes in factories, for example, in production logistics, also with deploying cyber-physical systems. An initiative that explores challenges and opportunities for robots in such a setting is the RoboCup Logistics League. Since its foundation in 2012 it is an international effort for research and education in an intra-warehouse logistics scenario. During seven years of competition a lot of knowledge and experience regarding autonomous robots was gained. This knowledge and experience shall provide the basis for further research in challenges of future production. The focus of our SMART-FACTORY is to create a stimulating environment for research on logistics robotics, for teaching activities in computer science and electrical engineering programmes as well as for industrial users to study and explore the feasibility of future technologies. Building on a very successful history in the RoboCup Logistics League we aim to provide stakeholders with a dedicated facility oriented at their individual needs. Y1 - 2020 U6 - http://dx.doi.org/10.1109/ICPS48405.2020.9274766 N1 - 2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS), 10-12 June 2020, Tampere, Finland. SP - 297 EP - 302 PB - IEEE ER - TY - JOUR A1 - Elsen, Ingo A1 - Kraiss, Karl-Friedrich A1 - Krumbiegel, Dirk A1 - Walter, Peter A1 - Wickel, Jochen T1 - Visual information retrieval for 3D product identification: a midterm report JF - KI - Künstliche Intelligenz Y1 - 1999 SN - 1610-1987 SN - 0933-1875 VL - 13 IS - 1 SP - 64 EP - 67 PB - Springer CY - Berlin ER - TY - CHAP A1 - Elsen, Ingo A1 - Kraiss, Karl-Friedrich A1 - Krumbiegel, Dirk T1 - Pixel based 3D object recognition with bidirectional associative memories T2 - International Conference on Neural Networks 1997 N2 - This paper addresses the pixel based recognition of 3D objects with bidirectional associative memories. Computational power and memory requirements for this approach are identified and compared to the performance of current computer architectures by benchmarking different processors. It is shown, that the performance of special purpose hardware, like neurocomputers, is between one and two orders of magnitude higher than the performance of mainstream hardware. On the other hand, the calculation of small neural networks is performed more efficiently on mainstream processors. Based on these results a novel concept is developed, which is tailored for the efficient calculation of bidirectional associative memories. The computational efficiency is further enhanced by the application of algorithms and storage techniques which are matched to characteristics of the application at hand. Y1 - 1997 SN - 0-7803-4122-8 N1 - June 9 - 12, 1997, Westin Galleria Hotel Houston, Texas, USA. SP - 1679 EP - 1684 PB - IEEE CY - New York ER - TY - JOUR A1 - Elsen, Ingo A1 - Kraiss, Karl-Friedrich T1 - System concept and realization of a scalable neurocomputing architecture JF - Systems Analysis Modelling Simulation N2 - This paper describes the realization of a novel neurocomputer which is based on the concepts of a coprocessor. In contrast to existing neurocomputers the main interest was the realization of a scalable, flexible system, which is capable of computing neural networks of arbitrary topology and scale, with full independence of special hardware from the software's point of view. On the other hand, computational power should be added, whenever needed and flexibly adapted to the requirements of the application. Hardware independence is achieved by a run time system which is capable of using all available computing power, including multiple host CPUs and an arbitrary number of neural coprocessors autonomously. The realization of arbitrary neural topologies is provided through the implementation of the elementary operations which can be found in most neural topologies. Y1 - 1999 SN - 0232-9298 SN - 1029-4902 VL - 35 IS - 4 SP - 399 EP - 419 PB - Gordon and Breach Science Publishers CY - Amsterdam ER -