TY - JOUR A1 - Engels, Elmar A1 - Wiendahl, H.-P. A1 - Doege, E. T1 - Universelle hydraulische Try-Out Presse / Teilprojekt A6 / Wiendahl, H.-P. ; Doege, E. ; Engels, E. JF - Tagungsband : 12. Oktober 1999, Leibnizhaus Hannover / Sonderforschungsbereich 384 Verfügbarkeitssicherung Reaktionsschneller Produktionssysteme, Universität Hannover. Hrsg.: H.-P. Wiendahl ; M. Röhrig Y1 - 1999 SN - 3-00-005495-2 N1 - Industriekolloquium Verfügbarkeit <1999, Hannover> ; Sonderforschungsbereich Verfügbarkeitssicherung Reaktionsschneller Produktionssysteme CY - Hannover ER - TY - CHAP A1 - Engländer, Jacques A1 - Kaminski, Lars A1 - Schuba, Marko T1 - Informationssicherheitsmanagement T2 - Digitalisierungs- und Informationsmanagement N2 - Daten und Informationen sind die wichtigsten Ressourcen vieler Unternehmen und müssen daher entsprechend geschützt werden. Getrieben durch die erhöhte Vernetzung von Informationstechnologie, die höhere Offenheit infolge datengetriebener Dienstleistungen und eine starke Zunahme an Datenquellen, rücken die Gefahren von Informationsdiebstahl, -manipulation und -verlust in den Fokus von produzierenden Unternehmen. Auf dem Weg zum lern- und wandlungsfähigen Unternehmen kann dies zu einem großen Hindernis werden, da einerseits zu hohe Sicherheitsanforderungen neue Entwicklungen beschränken, andererseits wegen des Mangels an ausreichenden Informationssicherheitskonzepten Unternehmen weniger Innovationen wagen. Deshalb bedarf es individuell angepasster Konzepte für die Bereiche IT-Security, IT-Safety und Datenschutz für vernetzte Produkte, Produktion und Arbeitsplätze. Bei der Entwicklung und Durchsetzung dieser Konzepte steht der Faktor Mensch im Zentrum aller Überlegungen. In diesem Kapitel wird dargestellt, wie der Faktor Mensch bei der Erstellung von Informationssicherheitskonzepten in verschiedenen Phasen zu beachten ist. Beginnend mit der Integration von Informationssystemen und damit verbundenen Sicherheitsmaßnahmen, über die Administration, bis hin zur Anwendung durch den Endnutzer, werden Methoden beschrieben, die den Menschen, verbunden mit seinem Mehrwert wie auch den Risiken, einschließen. Dabei werden sowohl Grundlagen aufgezeigt als auch Konzepte vorgestellt, mit denen Entscheider in der Unternehmens-IT Leitlinien für die Informationssicherheit festlegen können. KW - Informationssicherheitsmanagement KW - Cybersicherheit KW - Cybersecurity KW - Informationssicherheit KW - IT-Sicherheit Y1 - 2022 SN - 978-3-662-63757-9 SN - 978-3-662-63758-6 U6 - http://dx.doi.org/10.1007/978-3-662-63758-6_15 SP - 373 EP - 398 PB - Springer Vieweg CY - Berlin 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 - 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 - 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 - BOOK A1 - Faßbender, Heinz T1 - E-Unifikation für primitiv-rekursive Baumfunktionen : Semantik und Implementierung. - Als Ms. gedr. Y1 - 1995 SN - 3-8265-0917-X N1 - (Berichte aus der Informatik) ; Zugl.: Ulm, Univ., Diss., 1995 PB - Shaker CY - Aachen ER - TY - BOOK A1 - Faßbender, Heinz T1 - Implementierung der Call-by-Need Auswertungsstrategie für Macro Tree-to-String Transducer auf Nested-Stack Maschinen mit geschachtelten Ausgabebändern Y1 - 1989 N1 - Diplomarbeit CY - Aachen 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 - BOOK A1 - Faßbender, Heinz T1 - Architektur eines Führungsinformationssystems unter Verwendung von Enterprise Java Beans Y1 - 2003 N1 - (FKIE-Bericht ; 59) PB - FGAN-FKIE CY - Wachtberg ER - TY - BOOK A1 - Faßbender, Heinz T1 - Architektur eines plattformunabhängigen verteilten Führungsinformationssystems Y1 - 1999 N1 - (FKIE-Bericht ; 8) PB - FGAN-FKIE CY - Wachtberg 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 A1 - Bühler, Gerhard T1 - Plattformunabhängige Verwendbarkeit eines Führungsinformationssystems durch den Einsatz von CORBA und Java JF - Proceedings zum Workshop Y1 - 2000 N1 - (Institut für Angewandte Systemforschung und Operations-Research <Neubiberg>: Bericht ; S0006) PB - Univ. der Bundeswehr, Fak. Informatik CY - Neubiberg ER - TY - BOOK A1 - Faßbender, Heinz A1 - Bühler, Gerhard A1 - Markmann, G. A1 - Wunder, M. T1 - Protokolle zur Replikation verteilter Daten Y1 - 2001 N1 - (FKIE-Bericht ; 27) PB - FGAN-FKIE CY - Wachtberg 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 - 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 - 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 - 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 - Vogler, Heiko T1 - Implementierung eines universellen Unifikationsalgorithmus für Macro Tree Transducer JF - Alternative Konzepte für Sprachen und Rechner : Bad Honnef 1993 / J. Ebert (Hrsg.) Y1 - 1994 N1 - (Fachberichte Informatik ; 94,4) PB - Univ., Inst. für Informatik CY - Koblenz 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 - JOUR A1 - Faßbender, Heinz A1 - Wedel, Andrea T1 - E-Unifikation mit macro tree transducer JF - 2. Arbeitstreffen Effiziente Implementierung Funktionaler Programmiersprachen / Arbeitstreffen Effiziente Implementierung Funktionaler Programmiersprachen <2, 1992, Oberjoch>. Herbert Klaeren Y1 - 1992 SN - 0946-3852 N1 - (WSI / Wilhelm-Schickard-Institut für Informatik ; 92,9) PB - Wilhelm-Schickard-Inst. für Informatik, Univ. CY - Tübingen 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 - Planwirtschaft JF - Linux Magazin (2004) Y1 - 2004 SN - 1432-640X SP - 50 EP - 53 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 - JOUR A1 - Ferrein, Alexander T1 - Autonome Entscheidungsfindung bei Robotern : Planwirtschaft JF - Linux-Magazin Y1 - 2004 SN - 1432-640X (Print) IS - 7 SP - 50 EP - 53 ER - TY - CHAP A1 - Ferrein, Alexander T1 - Robots: challenges, chances and risks for solving 21st century problems T2 - President’s Invitation Lecture / South African Institute of Electrical Engineers : May 21 & 22, 2015, University of Johannesburg Y1 - 2015 SP - 1 EP - 45 ER - TY - CHAP A1 - Ferrein, Alexander T1 - 3D-Mapping von Straßentunneln T2 - 16. Geokinematischer Tag, 07. und 08. Mai 2015 : Tagungsband / Technische Universität Bergakademie Freiberg Y1 - 2015 N1 - Schriftenreihe des Instituts für Markscheidewesen und Geodsäsie an der Technischen Universität Bergakademie Freiberg SP - 31 EP - 40 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 - 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 - 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 - JOUR A1 - Ferrein, Alexander A1 - Calmes, Laurent A1 - Lakemeyer, Gerhard A1 - Wagner, Hermann T1 - Von Schleiereulen und fussballspielenden Robotern / Calmes, Laurent ; Ferrein, Alexander ; Lakemeyer, Gerhard ; Wagner, Hermann JF - RWTH Themen (2006) Y1 - 2006 SN - 0179-079X SP - 30 EP - 33 ER -