Robert Aichner, Dekan Prof, ...
I wish to express my sincere gratitude to my advisor Prof. Dr.-Ing. Walter Kellermann
Ich danke Professor Dr. Rainer Schrader und Dr. Wolfgang Trier für die (2009)
Martin Horneffer, Berichterstatter Prof, Dr. R. Schrader, Prof Dr, ...
gegeben und mich bei meinen Vorhaben immer wieder in die richtige Richtung gelenkt. Dr. Trier hat mir etliche Reisen zu internationalen Tagungen ermöglicht, auf denen ich Anschluss an die weltweit...
Berichterstatter Prof, Dr. Rainer Schrader, Prof Dr, Dietrich Stauffer
Tag der mündlichen Prüfung: 15.05.2001 “For the things we have to learn before we can do them, we learn by doing them.” Aristotle (384- 322 BC), Nichomachean Ethics “First you guess. Don’t...
A Compositional Approach to Embedded System Design (2008)
Bei Gemeinsamen, Fakultät Maschinenbau Elektrotechnik, Berichterstatter Prof, Prof Dr. -ing, Lothar Thiele
An important observable trend in embedded system design is the growing system complexity. Fueled by increasing device integration capabilities of semiconductor technology, more functions can be...
To Katja Acknowledgements (2008)
Vorsitzender Prof, Dr. Klaus Schneider, Berichterstatter Prof, Dr. Jürgen Avenhaus, ...
I would like to thank Jürgen Avenhaus for giving me the opportunity to work in his research group and supporting me in finishing this thesis. His comments and suggestions helped to improve the...
Prof Dr, Reinhard Gotzhein, Vorsitzender Prof, ...
“I have to thank you for a good deal, ” said he. “Perhaps I’ll pay my debt some day.” (The Adventure of the Norwood Builder) This thesis is the result of my work in the Databases and...
Dekan Prof, Berichterstatter Prof, ...
Qualitätswahrnehmung bei komprimierten und unkomprimierten hochauflösenden Videoübertragungen) Der Technischen Fakultät der Universität Erlangen-Nürnberg
Herschel Satellite Mission, Erlangung Des Doktorgrades, Csaba Gál, Berichterstatter Prof, Dr. R. Schieder, ...
Tag der letzten mündlichen Prüfung: 20.07.2005 In memory of my father József Gál (1945-1999) “I’m here. I’m overwhelmed with my desire to be allowed to see into the works of nature, to...
Dekan Prof, Dr. Reinhard Gotzhein, Vorsitzender Prof, ...
und wird sich so verhalten, daß Du Dich wundern wirst,
Approximability of Cycle Covers and Smoothed Analysis of Binary Search Trees (2008)
Bodo Manthey, Zur Erlangung Der, Bodo Manthey, Berichterstatter Prof, Dr. Rüdiger Reischuk, ...
the years. I also thank the current and former members of the Institut für Theoretische Informatik at the Universität zu Lübeck for many valuable discussions, not only about computer science. In...
Vom Fachbereich, Dekan Fachbereichs, Informatik Prof, Dr. Jürgen Avenhaus, Vorsitzender Prof, ...
ii
Doktor-Ingenieur vorgelegt von (2008)
Jörg Barner, Dekan Prof, ...
First of all, I would like to thank Prof. Dr. Fridolin Hofmann for supervising this dissertation and for the open environment he created together with Prof. Dr.-Ing. Wolfgang Schröder-Preikschat in...
Der Philosophischen Fakultäten, Dekan Prof, Dr. Ulrike Demske, Berichterstatter Prof, ...
Models of human sentence processing have paid much attention to three key characteristics of the sentence processor: Its robust and accurate processing of unseen input (wide coverage), its immediate,...
vorgelegt von Olga Uryupina (2008)
Der Philosophischen Fakultäten, Aus Moskau, Dekan Prof, Dr. Ulrike Demske, Berichterstatter Prof, Dr. Manfred Pinkal, ...
This thesis addresses the problem of statistical coreference resolution. Theoretical studies describe coreference as a complex linguistic phenomenon, affected by various different factors....
The Structure of a Type-Safe Operating System (2008)
Michael Golm, Dekan Prof, Dr. A. Winnacker, Berichterstatter Prof, ...
The architecture of traditional operating systems relies on address-based memory protection. To achieve flexibility at a low cost operating system research has recently started to explore alternative...
Volker Barthelmann, Dekan Prof, Dr. Albrecht Winnacker, ...
Jahren wurde eine steigende Anzahl kleiner eingebetteter Systeme in hohen Stückzahlen eingesetzt. Beispielsweise in der Automobilindustrie, wo annähernd 100 elektronische Steuergeräte (ECUs) in...
zur Erlangung des akademischen Grades des (2008)
Doktors Der Naturwissenschaften, Berichterstatter Prof, Dr. Martin Wirsing, Prof Dr, Fred Kröger
tomyfatherVictorino, toLuis. Acknowledgments This work was only possible due to the help of many people. I would like to express my sincere thanks to some of them. My parents initiated me to doubt...
Termination and Confluence Properties of Structured Rewrite Systems (2008)
Dekan Prof, Dr. Hans Hagen, Vorsitzender Prof, Dr. Jürgen Nehmer, ...
Abstract Termination and confluence properties of term rewriting systems are of fundamental importance, both from a theoretical point of view and also concerning many practical applications in...
Doktors Der Philosophie, Der Philosophischen Fakultäten, Marc Schröder, Dekan Prof, Martin Girardet, ...
mit Hilfe von Emotionsdimensionen. Wie es in einem kürzlich abgehaltenen ISCA-Workshop (Cowie et al., 2000b) deutlich geworden ist, tut ein konzeptueller Unterbau für die Forschung an Sprache und...
Dekan Prof, Dr. Rainer Schulze-pillot-ziemen, Berichterstatter Prof, Dr. Harald Ganzinger, Prof Dr, Christopher Lynch
der Naturwissenschaftlich{Technischen Fakultat I
Anzhela Pavlovska, Anzhela Pavlovska, Berichterstatter Dr. S. Werner, Berichterstatter Prof, W. Moritz
Structure determination of piezoelectric materials at extreme conditions
Tag des Kolloquiums: 18.12.2003 (2007)
Andreas Eberhart, Vorsitzender Prof, Dr. Andreas Zeller, Berichterstatter Prof, Dr. Wolfgang Wahlster, ...
Logical Tree Matching with Complete AnswerAggregates for Retrieving Structured Documents (2007)
Doktors Der Naturwissenschaften, Tag Der Einreichung, Holger Meuss, Holger Meuss, Berichterstatter Prof, Dr. Francois Bry, ...
von
Dekan der Naturwissenschaftlich-Technischen (2007)
Sebastian Michel, Fakultät I, Prof Dr. -ing, Thorsten Herfet, ...
Hiermit versichere ich an Eides statt, dass ich die vorliegende Arbeit selbständig
Thilo Streichert, Berichterstatter Prof
I would like to express my sincere gratitude to my advisor, Prof. Dr.-Ing. Jürgen Teich, for his support, patience, and encouragement throughout my graduate studies. His scientific, technical, and...
Katrin Meisinger, Dekan Prof, Berichterstatter Prof, ...
meiner Arbeit, das er durch die Begleitung meiner Dissertation und die Übernahme des Zweitgutachtens zum Ausdruck gebracht hat. Die Zeit am Lehrstuhl war für mich eine angenehme Zeit, sowohl...
Dekan der Naturwissenschaftlich-Technischen (2007)
Sebastian Michel, Fakultät I, Prof Dr. -ing, Thorsten Herfet, ...
Hiermit versichere ich an Eides statt, dass ich die vorliegende Arbeit selbständig
Modelling Quantitative Composition Activity Relationships (QCARs) for Heterogeneous Catalysts (2007)
Simone Christine Sieg, Dekan Prof, Dr. U. Müller, Berichterstatter Prof, Dr. W. F. Maier, Prof Dr, ...
First of all, I want to express my gratitude to Prof. Dr. W. F. Maier for giving me the opportunity to join his team and to start my work in a field being completely new to me. I am very thankful for...
der Naturwissenschaftlich-Technischen Fakultät III (2007)
Dekan Prof, Dr. Uli Müller, Berichterstatter Prof, Dr. Volkhard Helms, ...
2
aus der Technisch-Naturwissenschaftlichen Fakultät (2006)
Jan Arpe, Jan Arpe, Berichterstatter Prof, Dr. Rüdiger Reischuk, Prof Dr, ...
In the first place, I would like to thank my Doktorvater Rüdiger Reischuk for giving me the opportunity to work and to carry out my research at the Institut für Theoretische Informatik of the...
der Universität des Saarlandes (2006)
Doktors Der Philosophie, Der Philosophischen Fakultäten, Dalei Wu, Berichterstatter Prof, Dr. William Barry, Prof Dr, ...
iii
Large Eddy Simulation in the Scalar Field (2005)
Dem Fachbereich Maschinenbau, Berichterstatter Prof, Mitberichterstatter Prof, ...
vorgelegt von
Fabian Küch, Prof Dr. -ing, A. Leipertz, Berichterstatter Prof, ...
daher an dieser Stelle die Gelegenheit nutzen, einigen von ihnen namentlich meinen Dank auszusprechen. An erster Stelle bedanke ich mich bei Herrn Prof. Dr.-Ing. Kellermann, der es mir ermöglicht...
Sequential Matching Problem Inaugural-Dissertation zur (2004)
Erlangung Des Doktorgrades, Sureshan Karichery, Berichterstatter Prof, Dr. Rainer Schrader, Prof Dr, ...
Graphen, die die Anzahl der gemeinsamen Kanten aufeinanderfolgender Matchings maximiert. Eine Anwendungsbeispiel ist das Problem, Arbeitern über einen gewissen Zeitraum Jobs zuzuweisen und dabei die...
zur Erlangung des Grades (2004)
Doktor Ingenieur, Dekan Prof, Dr. A. Winnacker, Berichterstatter Prof, ...
Universität Erlangen–Nürnberg
Erlangung Des Doktorgrades, Anju Vasudevan, Berichterstatter Prof, Dr. M. Paulsson, Prof Dr, ...
Neurological changes as a consequence of basement membrane defects – studies in the nidogen knockout mouse
Datenlokalitätsoptimierungen Für, Iterative Numerische Algorithmen, Dekan Prof, ...
In order to mitigate the impact of the constantly widening gap between processor speed and main memory performance on the runtimes of application codes, today’s computer architectures com-monly...
Zeitsynchrone Kommunikation, Falko Dreßler, Dekan Prof, Dr. A. Winnacker, ...
Primarily I would like to thank Bettina Krüger. Without her continuous support, her helping hand and the love she showed me the work would have probably never been completed. I want to thank Prof....
Architektur/Raum- und Umweltplanung/Bauingenieurwesen (2001)
Vom Fachbereich, Aus Indonesien, Dekan Prof, ...
genehmigte
Surveillance System, Michael Greiffenhagen, Dekan Prof, Dr. A. Winnacker, ...
Das Werk einschließlich aller seiner Teile ist urheberrechtlich geschützt. Jede Verwertung außerhalb der engen Grenzen des Urheberrechtsgesetzes ist ohne Zustimmung des Verlages unzulässig und...
Peter Eisert, Dekan Prof, Dr. H. Meerkamm, Berichterstatter Prof, ...
I would like to thank my supervisor, Prof. Dr.–Ing. Bernd Girod, who gave me the opportunity to join his group and to work in a stimulative and supportive atmosphere. I would also like to thank...
der Universität des Saarlandes (1999)
Ullrich Hustadt, Dekan Prof, Dr. Wolfgang Paul, Berichterstatter Prof, Dr. Harald Ganzinger, ...
This thesis studies decidable fragments of first-order logic which are relevant to the field of nonclassical logic and knowledge representation. We show that refinements of resolution based on...
Program Verification in Synthetic Domain Theory (1995)
Doktors Der Naturwissenschaften, Bernhard Reus, Berichterstatter Prof, Dr. Martin Wirsing, Prof Dr, Thomas Streicher
Synthetic Domain Theory provides a setting to consider domains as sets with certain closure properties for computing suprema of ascending chains. As a consequence the notion of domain can be...
Bernhard Reus, Berichterstatter Prof, Dr. Martin Wirsing, Prof Dr, Thomas Streicher
Synthetic Domain Theory provides a setting to consider domains as sets with certain closure properties for computing suprema of ascending chains. As a consequence the notion of domain can be...
A Uniform Computational Model for Natural Language Parsing and Generation (1994)
Günter Neumann, Dekan Prof, Berichterstatter Prof, ...
this paper is that neither has been implemented." ( [ Vaughan and McDonald, 1986 ] , page 95). Although Meteer [ 1990 ] gives a detail description of the relationship between text structure and...
Human Oriented Proof Presentation: A Reconstructive Approach (1994)
Xiaorong Huang, Xiaorong Huang, Dekan Prof, Dr. Gunter Hotz, Berichterstatter Prof, ...
ion Module : : : : : : : : : : : : : : : : : : : : : : : : : : : : 124 13.3 The Text Planner : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 127 13.3.1 Heuristics Simulating Proof...