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 - 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 - 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 - BOOK A1 - Altherr, Lena T1 - Algorithmic System Design under Consideration of Dynamic Processes N2 - Nach Stand von Wissenschaft und Technik werden Komponenten hinsichtlich ihrer Eigenschaften, wie Lebensdauer oder Energieeffizienz, optimiert. Allerdings können selbst hervorragende Komponenten zu ineffizienten oder instabilen Systemen führen, wenn ihr Zusammenspiel nur unzureichend berücksichtigt wird. Eine Systembetrachtung schafft ein größeres Optimierungspotential - dem erhöhten Potential steht jedoch auch ein erhöhter Komplexitätsgrad gegenüber. Die vorliegende Arbeit ist im Rahmen des Sonderforschungsbereichs 805 entstanden, dessen Ziel die Beherrschung von Unsicherheit in Systemen des Maschinenbaus ist. Die Arbeit zeigt anhand eines realen Systems aus dem Bereich der Hydraulik, wie Unsicherheit in der Entwicklungsphase beherrscht werden kann. Hierbei ist neu, dass die durch den späteren Betrieb zu erwartende Systemdegradation eines jeden möglichen Systemvorschlags antizipiert werden kann. Dadurch können Betriebs- und Wartungskosten vorausgesagt und minimiert werden und durch eine optimale Betriebs- und Wartungsstrategie die Verfügbarkeit des Systems garantiert werden. Wesentliche Fragen bei der optimalen Auslegung des betrachteten hydrostatischen Getriebes sind dessen physikalische Modellierung, die Darstellung des Optimierungsproblems als gemischt-ganzzahliges lineares Programm, und dessen algorithmische Behandlung zur Lösungsfindung. Hierzu werden Heuristiken zum schnelleren Auffinden sinnvoller Systemtopologien vorgestellt und mittels mathematischer Dekomposition eine Bewertung des dynamischen Verschleiß- und Wartungsverlaufs möglicher Systemvorschläge vorgenommen. Die Arbeit stellt die Optimierung technischer Systeme an der Schnittstelle von Mathematik, Informatik und Ingenieurwesen sowohl gründlich als auch anschaulich und nachvollziehbar dar. KW - Mixed Integer Programming KW - Technical Operations Research KW - Optimization KW - System Design Y1 - 2016 SN - 978-3-8440-4848-3 PB - Shaker CY - Aachen ER - TY - BOOK A1 - Mayer, Claudia T1 - Art : from prehistoric art to modernism / [Text: Claudia Mayer-Iswandy] Y1 - 2001 SN - 3-7701-7048-2 N1 - (Flipguide) PB - DuMont CY - Köln 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 - Benkner, Thorsten A1 - David, Klaus T1 - Digital Mobile Radio Systems (Nicht erschienen?) Y1 - 2005 SN - 0-471-97591-5 N1 - Erscheinungstermin 30.10.2005 PB - Wiley ER - TY - BOOK A1 - Benkner, Thorsten A1 - David, Klaus T1 - Digitale Mobilfunksysteme : Grundlagen und aktuelle Systeme. - 2., aktualis. u. erw. Aufl. Y1 - 1999 SN - 3-519-16181-8 PB - Teubner CY - Stuttgart ER - TY - BOOK A1 - Hüning, Felix T1 - Embedded Design For IoT With Renesas Synergy Y1 - 2018 N1 - gedruckt in der Bereichsbibliothek Eupener Str. vorhanden; Document No. R01PF0164ED0100 PB - Renesas Electronics CY - Düsseldorf ER - TY - BOOK A1 - Wosnitza, Franz A1 - Hilgers, Hans Gerd T1 - Energieeffizienz und Energiemanagement : ein Überblick heutiger Möglichkeiten und Notwendigkeiten Y1 - 2012 SN - 978-3-8348-1941-3 N1 - eISBN 978-3-8348-8671-2 PB - Springer Spektrum CY - Wiesbaden ER - TY - BOOK A1 - Samm, Doris A1 - Faissner, H. A1 - Henrigs, W. A1 - Preussger, A. T1 - Further evidence for the radiative decay of a light, penetrating particle / Faissner, H. ; Heinrigs, W. ; Preussger, A. ; Samm, D. Y1 - 1982 N1 - Also published in INIS-mf--9311 PB - Technische Hochschule CY - Aachen ER - TY - BOOK A1 - Ferrein, Alexander A1 - Pauli, J. A1 - Siebel, N. T. A1 - Steinbauer, Gerald T1 - Hybrid control for autonomous systems : [... 1st Workshop on Hybrid Control of Autonomous Systems - Integrating Learning, Deliberation and Reactive Control with the 21st International Joint Conference on Artificial Intelligence (IJCAI-09), held in Pasadena, CA, in July 2009] / ed. by Alexander Ferrein ... Y1 - 2009 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 - BOOK A1 - Wolf, Martin A1 - Foltz, Christian A1 - Killich, S. T1 - K3 User Guide Y1 - 2000 SP - 1 EP - 13 PB - RWTH CY - Aachen ER - TY - BOOK A1 - Hüning, Felix T1 - Magnetische Eigenschaften niederdimensionaler Chrom-, Ruthenium- und Niobhalogenide Y1 - 2001 SN - 3-8265-8551-8 N1 - zugl.: Techn. Hochsch., Diss. Aachen 2000 PB - Shaker CY - Aachen ER - TY - BOOK A1 - Ritz, Thomas A1 - Benz, Axel A1 - Stender, Michael T1 - Marktstudie mobile CRM-Systeme Y1 - 2003 SN - 3-8167-6361-8 PB - Fraunhofer-IRB-Verl. CY - Stuttgart ER - TY - BOOK A1 - Siepmann, Thomas T1 - Modeller for Value Systems Y1 - 1997 PB - Erasmus Universiteit Rotterdam CY - Rotterdam ER - TY - BOOK A1 - Bochmann, Sandra A1 - Ritz, Thomas T1 - Prototyping tools for mobile applications Y1 - 2013 SN - 978-3-943356-45-8 PB - Steinbeis-Ed. CY - Stuttgart ER - TY - BOOK A1 - Czarnecki, Christian A1 - Dietze, Christian T1 - Reference architecture for the telecommunications industry: Transformation of strategy, organization, processes, data, and applications N2 - This book reflects the tremendous changes in the telecommunications industry in the course of the past few decades – shorter innovation cycles, stiffer competition and new communication products. It analyzes the transformation of processes, applications and network technologies that are now expected to take place under enormous time pressure. The International Telecommunication Union (ITU) and the TM Forum have provided reference solutions that are broadly recognized and used throughout the value chain of the telecommunications industry, and which can be considered the de facto standard. The book describes how these reference solutions can be used in a practical context: it presents the latest insights into their development, highlights lessons learned from numerous international projects and combines them with well-founded research results in enterprise architecture management and reference modeling. The complete architectural transformation is explained, from the planning and set-up stage to the implementation. Featuring a wealth of examples and illustrations, the book offers a valuable resource for telecommunication professionals, enterprise architects and project managers alike. KW - Enterprise architecture KW - Enterprise transformation KW - Reference modelling KW - TM Forum KW - Telecommunication Y1 - 2017 SN - 978-3-319-46755-9 (Print) SN - 978-3-319-83578-5 (Print) SN - 978-3-319-46757-3 (PDF) U6 - http://dx.doi.org/10.1007/978-3-319-46757-3 PB - Springer CY - Cham 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 -