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 - Heuermann, Holger T1 - A Synthesis Technique for Mono- and Mixed-Mode Symmetrical Filter JF - Conference proceedings : Tuesday 12th, Wednesday 13th and Thursday 14th October, [RAI International Exhibition and Congress Centre, Amsterdam ; part of European Microwave Week 2004] / EuMA, European Microwave Association . Vol. 1 Y1 - 2004 SN - 1-580-53992-0 N1 - European Microwave Conference ; (34, 2004, Amsterdam) ; European Microwave Week ; (7, 2004, Amsterdam) SP - 309 EP - 312 PB - Horizon House Publ CY - London ER - TY - CHAP A1 - Ferrein, Alexander A1 - Scholl, Ingrid A1 - Neumann, Tobias A1 - Krückel, Kai A1 - Schiffer, Stefan T1 - A system for continuous underground site mapping and exploration Y1 - 2019 U6 - http://dx.doi.org/10.5772/intechopen.85859 ER - TY - CHAP A1 - Schiffer, Stefan A1 - Ferrein, Alexander T1 - A System Layout for Cognitive Service Robots T2 - Cognitive Robot Architectures. Proceedings of EUCognition 2016 Y1 - 2017 SN - 1613-0073 N1 - CEUR-WS Vol-1855 SP - 44 EP - 45 ER - TY - JOUR A1 - Kraff, Oliver A1 - Bitz, Andreas A1 - Breyer, Tobias A1 - Kruszona, Stefan A1 - Maderwald, Stefan A1 - Brote, Irina A1 - Gizewski, Elke R. A1 - Ladd, Mark E. A1 - Quick, Harald H. T1 - A transmit/receive radiofrequency array for imaging the carotid arteries at 7 Tesla: coil design and first in vivo results JF - Investigative Radiology N2 - Objective: To develop a transmit/receive radiofrequency (RF) array for magnetic resonance imaging (MRI) of the carotid arteries at 7 T. The prototype is characterized in numerical simulations and bench measurements, and the feasibility of plaque imaging at 7 T is demonstrated in first in vivo images. Materials and Methods: The RF phased array coil consists of 8 surface loop coils. To allow imaging of both sides of the neck, the RF array is divided into 2 coil clusters, each with 4 overlapping loop elements. For safety validation, numerical computations of the RF field distribution and the corresponding specific absorption rate were performed on the basis of a heterogeneous human body model. To validate the coil model, maps of the transmit B1+ field were compared between simulation and measurement. In vivo images of a healthy volunteer and a patient (ulcerating plaque and a 50% stenosis of the right internal carotid artery) were acquired using a 3-dimensional FLASH sequence with a high isotropic spatial resolution of 0.54 mm as well as using pulse-triggered proton density (PD)/T2-weighted turbo spin echo sequences. Results: Measurements of the S-parameters yielded a reflection and isolation of the coil elements of better than −18 and −13 dB, respectively. Measurements of the g-factor indicated good image quality for parallel imaging acceleration factors up to 2.4. A similar distribution and a very good match of the absolute values were found between the measured and simulated B1+ transmit RF field for the validation of the coil model. In vivo images revealed good signal excitation of both sides of the neck and a high vessel-to-background image contrast for the noncontrast-enhanced 3-dimensional FLASH sequence. Imaging at 7 T could depict the extent of stenosis, and revealed the disruption and ulcer of the plaque. Conclusions: This study demonstrates that 2 four-channel transmit/receive RF arrays for each side of the neck is a suitable concept for in vivo MRI of the carotid arteries at 7 Tesla. Further studies are needed to explore and exploit the full potential of 7 T high-field MRI for carotid atherosclerotic plaque imaging. Y1 - 2011 U6 - http://dx.doi.org/10.1097/RLI.0b013e318206cee4 SN - 1536-0210 VL - 46 IS - 4 SP - 246 EP - 254 PB - Wolters Kluwer CY - Köln 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 - 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 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 - Alt, Helmut T1 - Ab 1975 Uranerz aus Rabbit-Lake JF - Energiewirtschaftliche Tagesfragen Y1 - 1974 SN - 0720-6240 VL - 24 IS - 1/2 SP - 34 PB - VDE-Verlag CY - Berlin ER - TY - JOUR A1 - Fuchs, Britta A1 - Ritz, Thomas T1 - Absatzkanäle kaum verknüpft JF - IT-Mittelstand : IT-Business im Mittelstand Y1 - 2011 VL - 2011 IS - 9 SP - 16 PB - Medienhaus-Verlag CY - Bergisch-Gladbach ER - TY - JOUR A1 - Hagemann, Hans-Jürgen A1 - Geittner, P. A1 - Schnittker, W. A1 - Warnier, J. T1 - Abscheidegeschwindigkeiten und Prozeßausbeuten im PCVD-Verfahren. Geittner, P.; Hagemann, H. J.; Schnittker, W.; Warnier, J.; Weling, F.; Wilson, H. JF - Philips - Unsere Forschung in Deutschland / Hrsg.: Philips Forschungslaboratorium GmbH Aachen und Hamburg. 4 (1989) Y1 - 1989 SP - 140 EP - 143 ER - TY - JOUR A1 - Siepmann, Thomas T1 - Abschlußbericht zum Vorhaben Nr. 22/IV JF - Forschungsvereinigung Antriebstechnik: Forschungsreport Y1 - 1986 PB - FVA CY - Frankfurt/M. ER - TY - CHAP A1 - Bitz, Andreas A1 - Alaydrus, M. A1 - Streckert, J. A1 - Hansen, V.W. T1 - Absorption rates inside human body due to radiated electro-magnetic fields of multi-band base station antennas. Boundary value problems with electrically large and high-resolution bodies T2 - 24th BEMS Annual Meeting, Quebec City, Quebec, Canada, 23 - 27 June 2002 Y1 - 2002 SP - 40 EP - 41 PB - Bioelectromagnetics Society CY - Frederick, MD ER - TY - JOUR A1 - Schiffer, Stefan A1 - Ferrein, Alexander A1 - Lakemeyer, Gerhard T1 - Abstracting Away Low-Level Details in Service Robotics with Fuzzy Fluents JF - Model-Driven Knowledge Engineering for Improved Software Modularity in Robotics and Automation. Workshop at European Robotics Forum 2015 Vienna, Austria, March 11-13, 2015. Y1 - 2015 SP - 1 EP - 4 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 - Steinbauer, Gerald A1 - Vassos, Stavros T1 - Action-Based Imperative Programming with YAGI N2 - Many tasks for autonomous agents or robots are best described by a specification of the environment and a specification of the available actions the agent or robot can perform. Combining such a specification with the possibility to imperatively program a robot or agent is what we call the actionbased imperative programming. One of the most successful such approaches is Golog. In this paper, we draft a proposal for a new robot programming language YAGI, which is based on the action-based imperative programming paradigm. Our goal is to design a small, portable stand-alone YAGI interpreter. We combine the benefits of a principled domain specification with a clean, small and simple programming language, which does not exploit any side-effects from the implementation language. We discuss general requirements of action-based programming languages and outline YAGI, our action-based language approach which particularly aims at embeddability. Y1 - 2012 N1 - Cognitive Robotics AAAI Technical Report WS-12-06 SP - 24 EP - 31 ER - TY - JOUR A1 - Ritz, Thomas A1 - Stender, Michael ED - Weisbecker, Anette T1 - Ad-hoc Anwendungsintegration mit mobilen CRM-Systement JF - Electronic Business : Innovationen, Anwendungen und Technologien Y1 - 2004 SN - 3-8167-6621-8 SP - 92 EP - 97 PB - Fraunhofer-IRB-Verl. CY - Stuttgart ER - TY - CHAP A1 - Damm, Sebastian A1 - Ritz, Thomas A1 - Strauch, Jakob T1 - Adaption of archetype patterns for mobile cloud-based business apps T2 - 2011 IEEE International Conference on Pervasive Computing and Communications workshops (PerCom workshops 2011) : Seattle, Washington, USA, 21 - 25 March 2011 Y1 - 2011 SN - 978-1-61284-938-6 (Print) SN - 978-1-61284-936-2 (E-Book) U6 - http://dx.doi.org/10.1109/PERCOMW.2011.5766849 SP - 100 EP - 105 PB - IEEE Service Center CY - Piscataway, NJ ER -