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 - 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 - 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 - 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 - JOUR A1 - Heuermann, Holger A1 - Rumiantsev, A. A1 - Schott, S. T1 - Advanced on-wafer multiport calibration methods for mono- and mixed-mode device characterization JF - On wafer characterization : 63rd ARFTG conference digest, spring 2004, 11 June 2004, Fort Worth, TX / Automatic RF Techniques Group. [Conference chair: John Cable. Publication chair: J. G. Burns] Y1 - 2004 SN - 0-7803-8371-0 N1 - Microwave Theory and Techniques Society. ; Automatic RF Techniques Group ; ARFTG conference ; (63 : ; 2004.06.11 : ; Fort Worth, Tex.) SP - 91 EP - 96 PB - IEEE Operations Center CY - Piscataway, NJ ER - TY - JOUR A1 - Deserno, Thomas M. A1 - Aach, Til A1 - Amunts, Katrin A1 - Hillen, Walter A1 - Kuhlen, Torsten A1 - Scholl, Ingrid T1 - Advances in medical image processing : A special Issue on the Workshop in Aachen, Germany, March 2010 JF - Computer Science - Research and Development. 26 (2011), H. 1-2 Y1 - 2011 SN - 1865-2042 SP - 1 EP - 3 PB - springer CY - Berlin ER - TY - JOUR A1 - Hartung, Frank A1 - Niebert, Norbert A1 - Schieder, Andreas A1 - Rembarz, René T1 - Advances in network-supported media delivery in next-generation mobile systems / Hartung, Frank ; Niebert, Norbert ; Schieder, Andreas ; Rembarz, René ; Schmid, Stefan ; Eggert, Lars JF - IEEE Communications Magazine. 44 (2006), H. 8 Y1 - 2006 SN - 0163-6804 SP - 82 EP - 89 ER - TY - JOUR A1 - Gligorevic, Snjezana T1 - Airport surface propagation channel in the C-Band: measurements and modeling JF - IEEE transactions on antennas and propagation Y1 - 2013 SN - 0018-926x VL - Vol. 61 IS - Iss. 9 SP - 4792 EP - 4802 PB - IEEE CY - New York ER - TY - JOUR A1 - Altherr, Lena A1 - Leise, Philipp A1 - Pfetsch, Marc E. A1 - Schmitt, Andreas T1 - Algorithmic design and resilience assessment of energy efficient high-rise water supply systems JF - Applied Mechanics and Materials N2 - High-rise water supply systems provide water flow and suitable pressure in all levels of tall buildings. To design such state-of-the-art systems, the consideration of energy efficiency and the anticipation of component failures are mandatory. In this paper, we use Mixed-Integer Nonlinear Programming to compute an optimal placement of pipes and pumps, as well as an optimal control strategy.Moreover, we consider the resilience of the system to pump failures. A resilient system is able to fulfill a predefined minimum functionality even though components fail or are restricted in their normal usage. We present models to measure and optimize the resilience. To demonstrate our approach, we design and analyze an optimal resilient decentralized water supply system inspired by a real-life hotel building. KW - MINLP KW - Buffering Capacity KW - Uncertainty KW - Water Supply Networks KW - Booster Stations Y1 - 2018 U6 - http://dx.doi.org/10.4028/www.scientific.net/AMM.885.211 SN - 1662-7482 VL - 885 SP - 211 EP - 223 PB - Trans Tech Publications CY - Bäch ER - TY - JOUR A1 - Vorst, Phillip A1 - Ferrein, Alexander A1 - Lakemeyer, Gerhard T1 - AllemaniACs3D team description Y1 - 2006 SP - 1 EP - 6 ER -