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  - 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  - 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  - 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  - 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  - 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
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  - 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  - 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  - https://doi.org/10.1002/jmri.27319
SN  - 1522-2586
VL  - 53
IS  - 2
SP  - 333
EP  - 346
PB  - Wiley
CY  - Weinheim
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  - 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  - 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  - 
TY  - JOUR
A1  - Elsen, Ingo
A1  - Hartung, Frank
A1  - Horn, Uwe
A1  - Kampmann, Markus
A1  - Peters, Liliane
ED  - Voas, Jeffrey
T1  - Streaming technology in 3G mobile communication systems
JF  - Computer : innovative technology for computer professionals
N2  - Third-generation mobile communication systems will combine standardized streaming with a range of unique services to provide high-quality Internet content that meets the specific needs of the rapidly growing mobile market.
Y1  - 2001
SN  - 0018-9162
SN  - 1558-0814
VL  - 34
IS  - 9 Seiten
SP  - 46
EP  - 52
PB  - IEEE
CY  - New York
ER  -