Aus dem Institut für Mikrobiologie und Hygiene (2009)
Medizinische Fakultät Charité, Gerlind Anders, Gutachter Prof, Dr. W. Presber
and the West Bank Development of a field applicable procedure useful for epidemiological studies zur Erlangung des akademischen Grades doctor medicinae (Dr. med.)
READYLOG AGENTS FOR THE ROBOCUP 3D SOCCER SIMULATION LEAGUE von (2009)
Im Fach Informatik, Gutachter Prof, Gerhard Lakemeyer, Ph. D, ...
Hiermit versichere ich, dass ich die Arbeit selbstständig verfasst und keine anderen als die
vorgelegt beim Fachbereich Informatik und Mathematik (2009)
David Sabel, Aus Schotten, Dekan Prof, Dr. Klaus Johannson, Gutachter Prof, Dr. Manfred Schmidt-schauß, ...
In this thesis we investigate the semantics of concurrent programming languages with respect to the correctness of program transformations which occur during compilation of programs. We investigate...
Die Deutsche, Bibliothek Cip-einheitsaufnahme, Wolters Carsten Hermann, Druck Sächsisches, Digitaldruck Zentrum, ...
angenommene
Gutachter Prof, Prof Dr. -ing, Johann Jäger, Promotionskolloquium Am, ...
Promotion colloquium on 11.02.2008 Thesis: Implementing an Expert System for protection system coordination knowledge domain is possible. Proposing, coordinating and optimizing protection devices...
genehmight durch die Fakultät für Naturwissenschaften (2009)
Gutachter Prof, Dr. Burkhart Schraven, Prof Dr, Thomas Brocker
and homeostasis
Geb Kinas, Gutachter Prof, Dr. Fritz Schütze
Ich erkläre an Eides Statt, dass ich die Dissertation selbständig verfasst, nicht schon als Dissertation, Diplom- oder ähnliche Prüfungsmittel verwendet habe. Die genutzten Hilfsmittel habe ich...
Elaboration and Erasure in Type Theory (2009)
Marko Luther, Marko Luther, Abteilung Künstliche Intelligenz, Leiter Prof, W. Henke, ...
This thesis contributes to the construction of a convenient specification language on top of a type theoretic substrate. The subject arose in the context of the Typelab project that aimed at...
zur Erlangung des akadamischen Grades (2009)
Gutachter Prof, Prof Joachim Röster, Praveen Goud Biragoni, Referees Prof, ...
Modelling the influence of microstructure on elastic properties and tensile damage behaviour of Mo-base silicide alloys
(akademischer Grad, Vorname, Name) (2009)
Gutachter Prof, Vladimir V, Prof Dr. Christoph Gerd
doctor rerum naturalium
Acknowledgments Acknowledgments (2009)
Vereinigte Arabische Emirate, Gutachter Prof, Dr. Regine Schneider-stock, Prof Dr, Arndt Hartmann
Function and regulation of Death-associated protein kinase1 (DAPK) in colon cancer cells and macrophage-like cell line Identification of p38 as a novel DAPK interacting partner during TNFα-mediated...
Aktivität Von, Multidomain-proteinen In, Lebenden Zellen, Mit Hilfe, Gutachter Prof, ...
doctor rerum naturalium
Gutachter Prof, Katharina Braun, Prof Dr, Hans-joachim Bischof
“Refinement of neuronal networks in the rodent prefrontal cortex and hippocampus: Critical impact of early and late social experiences”
Tag des Kolloquiums: 22.10.1999 (2009)
Florian Martin, Dekan Prof, Dr. W. J. Paul, Gutachter Prof, Dr. R. Wilhelm, ...
In this work the automatic generation of program analyzers from concise specifications is presented. It focuses on provably correct and complex interprocedural analyses for real world sized...
Naturwissenschaften Und Informatik, Doktor Der Naturwissenschaften, Martin Steeg, Gutachter Prof, ...
Technical Note. The document has been typeset using L ATEX2e and TEX3.14159. The RADD/raddstar system described here was developed under Linux, kernel version 1.1.53, 2.0.34, 2.1.127, 2.2.7, and...
Dekan Prof, Vorsitzender Prof, Dr. Gert Smolka, Akademischer Mitarbeiter, ...
Like other software engineering activities, formal modelling needs to deal with change: bugs and omissions need to be corrected, and changes from the outside need to be dealt with. In the context of...
Vorgelegt Von, Lei Mao, Prof Dr, Dr. Joachim Klose, Doktor Der Naturwissenschaften, ...
- Dr. rer.nat.-
Microstrip Detectors of HERA-B (2008)
Erlangung Der Doktorwürde, Aus Saarbrücken, Gutachter Prof, Dr. Karl-tasso Knöpfle, ...
der
der Mathematisch-Naturwissenschaftlichen Fakultät (2008)
Carsten O. Daub, Dekan Prof, Dr. Robert Seckler, Gutachter Prof, Dr. Hanspeter Herzel, Prof Dr, ...
Analysis of integrated transcriptomics and metabolomics data — a systems biology approach
Yi Yin, Vom Fakultät, Iv Elektrotechnik Informatik, Vorsitzender Prof, ...
First, I would like to acknowledge my advisor, Professor Heinrich Klar, for his guidance and support during my Ph.D. study. His insight into circuit design and ability to keep me focused on the big...
Martin Lotz, Den Mai, Gutachter Prof, Dr. Peter Bürgisser, Prof Dr, Felipe Cucker
A common theme in mathematics is the classification of mathematical objects by assigning numerical invariants to them. There are two ways in which such numerical invariants can appear in relation to...
Datum des Promotionskolloquiums: 27.10.2006 (2008)
Lutz Justen, Von Lutz Justen, Gutachter Prof, Dr. Peter Maaß
Einflüsse oder Fehler in der Messapparatur nicht hinreichend modelliert werden können. Das Themengebiet ist seit etwa vier Jahrzehnten Gegenstand naturwissenschaftlicher und mathematischer...
Computability and Fractal Dimension (2008)
Erlangung Der Doktorwürde, Gutachter Prof, Dr. Klaus Ambos-spies, Pd Dr, Wolfgang Merkle
zur
Erlangung Der Doktorwürde, Naturwissenschaftlich-mathematischen Gesamtfakultät, Gutachter Prof, ...
der
zur Erlangung des akademischen Grades (2008)
Wenge Guo, Gutachter Prof, Dr. Karl Leo, Prof Dr, Jörg Fink, ...
(Doctor rerum naturalium) vorgelegt
Skyline Query Processing (2008)
Naturwissenschaftlich-mathematischen Gesamtfakultät, Gutachter Prof, Dr. Donald Kossmann, Prof Dr, Gerhard Reinelt
der
Gutachter Prof, Heinz Hoffmann, Prof Dr, Michael Schreiber, Bibliographische Beschreibung, ...
doctor rerum naturalium
Tag der mündlichen Prüfung: 29.10.1999 (2008)
Doktors Der Naturwissenschaften, Torsten Polle, Dekan Prof, Dr. Heinrich Müller, Gutachter Prof, ...
Things in the real world, which surrounds us, do not come as singularity, rather we find them associated. These relationships occur in various forms, for example a person and a car owned by that very...
Boolean Hierarchies On Collapse Properties and Query Order (2008)
Harald Hempel, Gutachter Prof, Dr. Gerd Wechsung, Prof Edith, Hemaspaandra Prof, ...
vorgelegt dem Rat der Fakult"at f"ur Mathematik und Informatik
Generalisation and Inversion (2008)
Prof Dr, Jürgen Prestin, Nonequispaced Fft, Stefan Kunis, Aus Oelsnitz Vogtland, Vorsitzender Prof, ...
23.08.2006 Tag der mündlichen Prüfung
Solving Large Scale Crew Pairing Problems (2008)
Erlangung Der Doktorwürde, Naturwissenschaftlich-mathematischen Gesamtfakultät, Ingenieur-informatik Van, Hoai Tran, Gutachter Prof, Dr. Gerhard Reinelt, ...
der
Polyhedra and algorithms for the General Routing Problem (2008)
Naturwissenschaflich-mathematischen Gesamtfakultät, Diplom Mathematiker, Dirk Oliver Theis, Aus Schwalmstadt, Gutachter Prof, ...
der
der Universität des Saarlandes (2008)
Henrik Theiling, Dekan Prof, Vorsitzender Prof, Gutachter Prof, ...
Real-time systems have to complete their actions w.r.t. given timing constraints. In order to validate that these constraints are met, static timing analysis is usually performed to compute an upper...
SSP Framework for IMS Management Summary (2008)
Vorsitzender Prof, Gutachter Prof, Gutachter Prof, ...
Applikationen, netzwerkübergeifende Multimedia-Konferenzen und nahtlose Multimedia-Streming-
vom Fachbereich Mathematik der (2008)
Steffen Grossmann, Dekan Prof, Dr. J. Baumeister, Gutachter Prof, Dr. A. Wakolbinger, ...
This thesis has been motivated by the problem of assessing the statistical significance of the outcomes from sequence alignment algorithms. Finding similarities between sequences with entries from a...
audiosignalverarbeitende Echtzeitsysteme Promotionsausschuss: vorgelegt von Diplom-Ingenieur (2008)
Marco Beyer, Aus Hennigsdorf, Von Fakultät, Iv Elektrotechnik Informatik, Doktor Der Ingenieurwissenschaften, Gutachter Prof, ...
Eine FPGA/DSP-Entwicklungsplattform für eingebettete
Schedules for Dynamic Bidirectional Simulations on Parallel Computers (2008)
Gutachter Prof, Mark S. Gockenbach, Prof Andreas Griewank, Prof Wolfgang, E. Nagel, ...
zur Erlangung des akademischen Grades Doctor rerum naturalium (Dr. rer. nat.) vorgelegt der Fakultät Mathematik und Naturwissenschaften
Mitglieder der Promotionskommission: (2008)
Naturwissenschaftlichen Doktorgrades, Faisal Mohamed, Fadl El Mola, Vorsitzender Prof, Dr. Rainer Hedrich, ...
Bioinformatic and molecular approaches for the analysis of the retinal pigment epithelium (RPE) transcriptome Dissertation zur Erlangung des
vorgelegt von Caroline Sporleder (2008)
Gutachter Prof, Dr. Dafydd Gibbon, Prof Dr, Dieter Metzing
Abstract This work describes an approach to the automatic construction of lexical inheritence hierarchies. Top-Down Attribute-Selection is based on Top-Down Tree Induction methods. It shares with...
Belief Change in Reasoning Agents (2008)
Fakultät Informatik, Dipl Inf, Yi Jin, Gutachter Prof, Michael Thielscher, ...
Doktor rerum naturalium (Dr. rer. nat.)
Matthias Schäfer, Eingereicht Am, Vorsitzender Prof, Dr. Ulrich Scheer, ...
Molecular mechanisms of floor plate formation and neural patterning in zebrafish Kumulative Dissertation zur Erlangung des naturwissenschaftlichen Doktorgrades
Unterstützung Von Wissensflüssen, Thomas Schwotzer, Doktor Der Ingenieurwissenschaften, Gutachter Prof, Dr. Bernd Mahr
Das Schreiben einer Dissertation dauert lange. Rückblickend ist es unklar, wann die Arbeit begann. War es der Moment, an dem man den Entschluss fasste, zu promovieren? War es der Moment, an dem die...
Mohamed Hussein, Dekan Prof, Dr. Bernhard Steffen, Gutachter Prof, ...
In the classical scheduling problems, it has been assumed that complete knowledge of the problem was available when it was to be solved. However, scheduling problems in the real world face the...
Zuverlässiger verteilter Speicher mit (2008)
Transaktionaler Konsistenz, Stefan Martin Frenz, Amtierender Dekan, Prof Dr, Helmuth Partsch, Gutachter Prof, ...
mir stets fachlich sowie menschlich zur Seite stand und dadurch verlässlichen Halt bot. Ebenfalls
Abteilung Medieninformatik, Leiter Prof, Dr. Michael Weber, Engineering Lifecycle, Eduard Metzker, Aus Leninski, ...
der Universität Ulm
Gutachter Prof, Dr. Alfred Kobsa, Prof Dr, Rainer Unl
This thesis originated from research in several scientific environments. Basic ideas have been developed at the Universities of Konstanz and Essen within the BGP-MS project, which was funded by the...
Michael Borth, Aus Hannover, Gutachter Prof, Dr. Günther Palm, Gutachter Prof, Dr. Uwe Schöning, ...
„typischer “ Systeme zu identifizieren und charakterisieren, die sich aufgrund ihres Verhaltens oder der Ausprägung von System-Variablen unterscheiden.
ii Datum des Kolloquiums: 21.10.2002 (2008)
Ulrich Meyer, Dekan Prof, Gutachter Prof, Dr. Kurt Mehlhorn, Prof Dr, ...
Abstract. We study the performance of algorithms for the Single-Source Shortest-Paths (SSSP) problem on graphs with nodes ¡ and edges with nonnegative random weights. All previously known SSSP...
zur Erlangung des akademischen Grades Doktoringenieur (Dr.-Ing.) vorgelegt an der (2008)
Fakultät Informatik, Gutachter Prof, ...
Data stream processing in the industrial as well as in the academic field has gained more and more importance during the last years. Consider the monitoring of industrial processes as an example....
Tag der Promotion: 21.12.2005 (2008)
Abteilung Verteilte Systeme, Ralph Harry Göckelmann, Gutachter Prof, Dr. Peter Schulthess, Gutachter Prof, Dr. Franz Hauck, ...
die mich während der Entstehung dieser Arbeit unterstützt haben. Mein besonderer Dank gilt hierbei Herrn Professor Dr. Peter Schulthess für die langjährige intensive Betreuung dieser Arbeit....
von Diplom-Informatiker (2008)
Stephan Thesing, Tag Des Kolloquiums, Dekan Prof, Dr. Jörg Eschmeier, ...
Hiermit versichere ich an Eides statt, dass ich die vorliegende Arbeit selbstständig und ohne Benutzung anderer als der angegebenen Hilfmittel angefertigt habe. Die aus anderen Quellen oder indirekt...
Master of Science in Economics and Management (2008)
Wirtschaftswissenschaftlichen Fakultät, Dekan Prof, Dr. Joachim Schwalbach, Gutachter Prof, Dr. Christian Schade
An analysis of the diffusion and implications of e-business technologies zur Erlangung des akademischen Grades doctor rerum politicarum
Dekan Prof, Dr. Bodo Krause, Gutachter Prof, Dr. Joachim Fischer, Prof Dr. Egon Börger
There is nothing as practical as a good theory. Helmut Thiele Formal languages play an important role in mathematics and in computer science. In contrast to natural languages, formal languages have...
(Doktor der Wirtschaftswissenschaft) (2008)
Wirtschafswissenschaftlichen Fakultät, Herrn Diplom-ingenieur, Maximilian Teltzrow, Prof Dr, Jürgen Mlynek, ...
eingereicht an der
Computability and Fractal Dimension (2008)
Erlangung Der Doktorwürde, Gutachter Prof, Dr. Klaus Ambos-spies, Pd Dr, Wolfgang Merkle
zur
Von Der, Fakultät Iv, Elektrotechnik Und Informatik, Vorsitzender Prof, ...
There are two common data representations in intelligent data analysis, namely the vectorial representation and the pairwise representation. The translation of latter into the former is called...
Perspektiven des modernen ASIC-Designs (2008)
Lukas Bauer, Lukas Bauer, Vorsitzender Prof, Tu Berlin, ...
zur Erlangung des akademischen Grades „Doktor der Ingenieurwissenschaften “ – Dr.-Ing. – genehmigte Dissertation, verfasst in der Zeit vom 20.09.2000 bis 20.11.2001, eingereicht am...
ii Datum des Kolloquiums: 21.10.2002 (2008)
Ulrich Meyer, Dekan Prof, Gutachter Prof, Dr. Kurt Mehlhorn, Prof Dr, ...
Abstract. We study the performance of algorithms for the Single-Source Shortest-Paths (SSSP) problem on graphs withÒnodes andÑedges with nonnegative random weights. All previously known SSSP...
Approaches to Invariant Image Object Recognition (2008)
Lehrstuhl Informatik, Vi Mathematisch-naturwissenschaftliche, Prof Dr. -ing, H. Ney, ...
This work had not been possible without the many helpful suggestions, discussions and assistances it received from various of people. I would especially like to thank Prof. Dr.-Ing. Hermann Ney and...
ON THE SIMULATION ORDER OF PROOF SYSTEMS (2008)
Abteilung Theoretische Informatik, Leiter Prof, Dr. Uwe Schöning, Jochen Messner, Amtierender Dekan, Prof Dr, ...
vorgelegt von
der Otto-von-Guericke Universtät Magdeburg (2008)
Gutachter Prof, Dr. A. K. Engel, Prof Dr, H. Hinrichs, Pd Dr, A. Keil, ...
doctor rerum naturalium (Dr. rer. nat.) genehmigt durch die Fakultät für Naturwissenschaften
Geb Am, In Stary Oskol, Gutachter Prof, G. Reymann, ...
D i s s e r t a t i o n zur Erlangung des akademischen Grades doctor rerum naturalium (Dr. rer. nat.) genehmigt durch die Fakultät für Naturwissenschaften der Otto-von-Guericke-Universität...
zur Erlangung des akademischen Grades (2008)
Gutachter Prof, Dr. A. S. Omar, Prof Dr, B Michaelis, Doc Ing, ...
All gratitude is due to “ ALLAH ” who guides me to bring forth to light this thesis. Pursuing Ph.D in Microstrip antennas and DGS compact Microstrip filters is one of the most valuable and...
Acknowledgements Acknowledgements (2008)
Gutachter Prof, Dr. Thomas Muente
Neural processes underlying conceptualization
Geb Am, Gutachter Prof, Dr. Ulrich Tallarek
I am very grateful to • Professor Ulrich Tallarek for generally supervising of my work and related scientific discussions to deepen specific scientific understanding, • Professor Andreas...
Vorsitzender Prof, Dr. –ing Klaus Petermann, Gutachter Prof, Dr. –ing Peter Noll, Gutachter Prof, ...
vorgelegt von
genehmigt durch die Fakultät für Naturwissenschaften (2008)
Gutachter Prof, Dr. Alois Krost, Prof Dr, Andreas Waag
Eine neue Methode der metallorganischen Gasphasenepitaxie (MOVPE) für das Wachstum und die Dotierung von hochwertigen ZnO Schichten wurde in dieser Arbeit entwickelt. ZnO ist ein potenzielles...
der Otto-von-Guericke-Universität Magdeburg (2008)
Gutachter Prof, Dr. Stefan Wrobel, Prof Dr, Stefan Kramer, Prof Dr, Andreas Nürnberger, ...
In this thesis we lay the foundations to develop multirelational learning systems which can cope better with the challenges posed by structural and topological domains. Even though many interesting...
South West Bank, Ziad Qannam, Tu Bergakademie Freiberg, Ins Impressum, Management Ziad Qannam, Gutachter Prof, ...
A hydrogeological, hydrochemical and environmental
mathematischeren Beschreibung, die zumindest die Oberfäche des behandelten Problems ankratzt. (2008)
Der Naturwissenschaften, Matthias Mühlich, Gutachter Prof, R. Mester, Prof W. Förstner
(z.B. zur Roboternavigation) oder Bestimmung lokaler Orientierung in Bildern (z.B. zur computergestützten
Experimental Design for Mixed Models with Application to Population Pharmacokinetic Studies (2008)
Von Thomas Schmelter, Gutachter Prof, Dr. Rainer Schwabe, Dr. Barbara Bogacka
doctor rerum naturalium (Dr. rer. nat.) genehmigt durch die Fakultät für Mathematik der Otto-von-Guericke-Universität Magdeburg
Table of Contents Table of Contents iii (2008)
Gutachter Prof, Prof Dr, Georg Rose, Dr. W. Al-nuaimy, ...
genehmigt durch die Fakultät für Elektrotechnik und Informationstech-
• Sampling auf Kontingenztabellen in der Statistik [50], (2008)
Von Dr. Raymond Hemmecke, Gutachter Prof, Prof Dr, Peter Kleinschmidt, ...
doctor rerum naturalium habilitatus (Dr. rer. nat. habil.)
ADAPTIVE NUMERICAL SIMULATION OF REACTION- DIFFUSION SYSTEMS (2008)
Chamakuri Nagaiah, Gutachter Prof, Dr. Gerald Warnecke, Martin Falcke, ...
Doktor rerum naturalium
zur Erlangung des akademischen Grades (2008)
Gutachter Prof, Prof Dr. -ing, Günter Wollenberg, Promotionskolloquium Am
effects and uncertainties in assessing
1.2 Conditional characteristics and simplest models........ 11 (2008)
Gutachter Prof, Dr. Waltraud Kahle, Prof Dr, Gerd Christoph
zur Erlangung des akademischen Grades doctor rerum naturalium (Dr. rer. nat.), genehmigt durch
Textstruktur und Visualisierung Shaker Verlag (2008)
Textstruktur Und Visualisierung, Gutachter Prof, Dr. Dietmar Rösner, Prof Dr, Thomas Strothotte, Prof Dr, ...
angenommen durch die Fakultät für Informatik
genehmigt durch die Fakultät für Naturwissenschaften (2008)
Von Elena Selezneva, Gutachter Prof, Dr. Thomas Münte, Prof Dr, Henning Scheich, ...
Firing activities of auditory cortical neurons during categorical task performance in behaving monkeys Dissertation zur Erlangung des akademisches Grades doktor rerum naturallium (Dr. rer.nat.)
Flexible and Reconfigurable Support for Fault-Tolerant Object Replication (2008)
Hans Peter Reiser, Amtierender Dekan, Prof Dr, Helmuth Partsch, Gutachter Prof, ...
ii Using object-based middleware infrastructures is popular for the development of services in distributed systems. Active object replication is a suitable strategy to increase the availability of...
Gutachter Prof, Prof Dr. -ing, Achim Kienle, Promotionskolloquium Am
First of all, I want to thank God Almighty for seeing me through these days, no matter in the good times or bad times. His words of wisdom always encourage me when I suffered from the experimental...
Dedicated to my M.Sc mentor (2008)
Gutachter Prof, U. Frey, Prof Dr, ...
Functional plasticity in the hippocampal slices in vitro Dissertation
die Fakultät für Naturwissenschaften (2008)
Anatomisch Informierte Basisfunktionen, Gutachter Prof, Dr. Lutz Jäncke, Prof Dr, ...
genehmigt durch
Tiansi Dong, Gutachter Prof, Christian Freksa, Ph. D, Zweiter Gutachter, ...
To my parents ii Table of Contents Table of Contents iii Abstract xv Acknowledgements xvii
Multi-Agent Systems for Information Retrieval on the (2008)
Michael Bleyer, Gutachter Prof, H. W. Henke, Gutachter Dr, A. Uhrmacher
This Diploma thesis describes the implementation of a prototype multi-agent system. Thesystem consists of four different types of agents and is based on the Java Agent Template, an agent framework...
Abteilung Verteilte Systeme, Speicherverwaltung Und Kollissionsbehandlung, Stefan Traub, Amtierender Dekan, Gutachter Prof, ...
Zu Beginn möchte ich einige Worte des Dankes sagen, all den Menschen, die mir bei
Table of Contents Table of Contents iii (2008)
Gutachter Prof, Prof Dr. -ing, Bernd Michaelis, Zusammenfassung Xi
Promotionskolloquium am 07.11.2006 To my parents, my wife (Amira) and my children (Adham and Yahya). ii
Anisotropy Effects During Unstable Step Flow Growth (2008)
Gutachter Prof, Dr. Klaus Kassner, Dr. Chaouqi Misbah, Privatdozent Dr, Axel Voigt
doctor rerum naturalium
Gutachter Prof, Prof Dr. -ing, Roman Weber
Zusammenfassung Die Kosten des Kalkbrennprozesses werden in hohem Maße durch die Brennstoffkosten bestimmt. Die gestiegenen Brennstoffkosten stellen in diesem Industriezweig ein großes Problem dar....
Gutachter Prof, Uta Frey, Prof Dr, Martin Korte, Prof Dr, ...
Doctor rerum naturalium (Dr. rer. nat) genehmigt durch die Fakultät für Naturwissenschaften der Otto-Von-Guericke-Universität Magdeburg
Foundations of a Logic basc approach to Multimedia Document Retrieval Dissertation (2008)
Zur Erlangungdl Gradg, Doktors Der Naturwissenschaften, Umberto Straccia, Dekan Prof, Dr. Bernd Reusch, ...
this paper, ad;-Aq9)V-W logic,called Mirtl, has beendn9A; inordy to representstructured d cuments. Document retrieval has beendn9Afi in terms of logical entailment. The connection of this work to our...
Gutachter Prof, Dr. Claudia Eckert, Prof Dr, ...
Sie lassen sich zum Beispiel einfacher stehlen und die Gefahr von absichtlicher
On Some Promise Classes in Structural Complexity Theory (2007)
Jörg Rothe, J Org Rothe, Gutachter Prof, Dr. Gerd Wechsung, Prof Lane, A. Hemaspaandra, ...
this paper, as, e.g., UP, is not known to be closed under union, the distinction is nontrivial. 22 Chapter 3. UP: Boolean Hierarchies and Sparse Turing-Complete Sets Proof. The base case holds by...
Silicon Microstrip Detectors and the Measurement of Lifetimes of Charmed Hadrons (2007)
Erlangung Der Doktorwurde, Silvia Masciocchi, Silvia Masciocchi, Aus Mailand, ...
Contents Introduction 1 1 The physics of charmed baryons 3 1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.2 Charmed baryons . . . . . . . . . . . . . . . . ....
Oscillations of a Fluid in a Channel (2007)
Dipl Math, Simina Bodea, Gutachter Prof, Dr. Dr. H. C. Mult, Priv Doz, Dr. Ben Schweizer
zur
am Fachbereich Mathematik (2007)
Eike Kiltz, Hans Ulrich Simon, Dekan Prof, Dr. Lothar Gerritzen, Gutachter Prof, ...
ii
Development of a Prototype for a Security Platform for Mobile Devices (2007)
Betreuerin Prof, Dr. Birgit Ptzmann, Gutachter Prof, Dr. Joachim Biskup, ...
Ich mchte mich bei allen bedanken, die mich bei meiner Arbeit untersttzt haben!
Fakultät Informatik, Betreuender Hochschullehrer, Prof Dr, ...
In this thesis I present a pragmatic methodology for designing nonblocking real-time systems. My methodology uses a combination of lock-free and wait-free synchronization techniques and clearly...
Change management for software process evolution (2007)
Christian Schneider, Gutachter Prof, Dr. Volker Gruhn, Dipl Inf, Sami Beydeda, ...
This document is placed in the context of the PIE 2 project. This project was founded by the European Union and industrial partners and refines the project PIE 1, the precessor of this project. The...
zur Erlangung des Grades (2007)
Volker Priebe, Dekan Prof, Dr. Rainer Schulze-pillot-ziemen, Gutachter Prof, Dr. Kurt Mehlhorn, ...
ii Abstract. We study both upper and lower bounds on the average-case complexity of shortest-paths algorithms. It is proved that the all-pairs shortest-paths problem on n-vertex networks can be...
Combining Specification Methods for Distributed Systems (2007)
Doktors Der Naturwissenschaften, Martin Huber, Martin Huber, Gutachter Prof, H. Schmitt, ...
genehmigte
Panoramic Image Processing and Route Navigation Vom Fachbereich Mathematik und Informatik (2007)
Gutachter Prof, Dr. Bernd Krieg-br, Prof Dr. Gerhard Manteu#el, Kolloquium Januar
of Action in Autonomous Systems", an interdisciplinary cooperation of neurobiologists, neurophysicists, computer scientists and engineers funded by DFG (German Research Organization). In...
Finally, my personal thanks are extended to my family and friends for their support. (2007)
Seyed Saeed Fazel, Vorsitzender Prof, Gutachter Prof, ...
I would like to express my sincere gratitude to my supervisor, Professor Dr.-Ing. Steffen Bernet for his professional guidance, interesting discussion and encouragement throughout the period of this...
A Prolog Interpreter in Python (2007)
Carl Friedrich Bolz, Gutachter Prof, Dr. Michael Leuschel, Prof Dr, Stefan Conrad, ...
We provide a proof-of-concept for a new approach to flexible and portable implementation of programming languages. More precisely, we describe the implementation of a Prolog interpreter in RPython, a...
Diplomarbeit Robust Automatic Registration of Range Images with Reflectance (2007)
Marcel Körtgen, Gutachter Prof, Dr. Reinhard Klein, Prof Dr, Daniel Cremers, Betreuer Dipl. -inform, ...
Hiermit versichere ich, dass ich die Arbeit selbständig verfasst und keine anderen als die
Gutachter Prof, Dr. Karl Leo, Gutachter Prof, Dr. Thorvald Andersson, Gutachter Dr. Gunther Haas, Qiang Huang, ...
light-emitting diodes: Design and fabrication
Reihe C Dissertationen, Heft Nr, Alexandra Dorothee Hofmann, Deutsche Geodätische Kommission, ...
die Veröffentlichung oder Teile daraus auf photomechanischem Wege (Photokopie, Mikrokopie) zu vervielfältigen
and Simulation in Mechanobiology (2007)
Erlangung Der Doktorwürde, Naturwissenschaftlich-mathematischen Gesamtfakultät, Dirk Hartmann, Gutachter Prof, ...
zur
QUANTUM COMPLEXITY OF GRAPH AND ALGEBRAIC PROBLEMS (2007)
Amtierender Dekan, Prof Dr, Helmuth Partsch, Gutachter Prof, ...
guidance during my research on this work. I am grateful to Thomas Thierauf for refereeing my thesis. His invaluable discussions and suggestions have been reflected in many places in this research....
Gutachter Prof, D. Gundelfinger, Prof Dr, Fred S. Wouters, Prof Philip, ...
doctor rerum naturalium (Dr. rer. nat.) genehmigt durch die Fakultät für Naturwissenschaften der Otto-von-Guericke-Universität Magdeburg
Jan-david Quesel, Carl Ossietzky, Fakultät Ii, Gutachter Prof, ...
This thesis aims at the computer aided verification of hybrid systems using deductive techniques. We have developed an interactive verification tool on the basis of a sound sequent calculus for dL....
Ich bin damit einverstanden, dass ein Exemplar dieser Arbeit in der Bibliothek (2007)
Daniel Hein, Daniel Hein, Gutachter Prof, Dr. Hans-dieter Burkhard, Prof Dr, ...
Abstract. Controlling a biped robot with a high degree of freedom to achieve stable movement patterns is still an open and complex prob-lem. Thus, the development of control mechanisms for biped...
Naturwissenschaftlich-mathematischen Gesamtfakultät, Gutachter Prof, Dr. Klaus Ambos-spies, Wolfgang Merkle
der
ACKNOWLEDGEMENT Acknowledgement (2007)
Gutachter Prof, Dr. Burkhart Schraven, Prof Doreen Cantrell
association and its role in T-cell anergy
Datum des Promotionskolloquiums: 01.06.2007 (2006)
Von Olaf Bergmann, Gutachter Prof, Prof Dr. -ing, Jörg Ott
Presence systems are widely used to get aware of other users ’ availability and willingness to communicate before actually contacting them. While early presence services offered only textbased...
Management In Ghana, Supervisors Prof, Dr. Gerhard Wiegleb, Prof Dr, Günter Busch, ...
vorgelegt von
Abteilung Neuroinformatik, Abteilung Kognitive Humanpsychophysik, Amtierender Dekan, Prof Dr, Helmuth Partsch, ...
Preface xi Acknowledgements xiii Summary xv Scientific contribution of this thesis xxi
Gutachter Prof, Dr. Georg Reiser, Prof Dr, Uwe-karsten Hanisch
zur Erlangung des akademischen Grades (To the acquisition of the academic degree) doctor rerum naturalium (Dr. rer. nat.) genehmigt durch die Fakultät für Naturwissenschaften der...
Genehmigt durch die Fakultät für Verfahrens-und Systemtechnik (2006)
Gutachter Prof, T. Edelmann, Prof Dr, ...
Doctor rerum naturalium
Disk Storage and File Systems with Quality-of-Service Guarantees (2006)
Fakultät Informatik, Gutachter Prof, Dr. Hermann Härtig, ...
ii Modern disk-storage systems have to accomplish the requirements of a variety of application classes. Applications that process continuous-media data such as video and audio streams require the...
genehmigt durch die Fakultät für Mathematik (2006)
Gutachter Prof, Dr. A. Pott, Prof Dr, K. T. Arasu
doctor rerum naturalium
ii Datum des Kolloquiums: 14. 05. 2007 (2006)
Annamária Kovács, Dekan Prof, Dr. Thorsten Herfet, Vorsitzender Prof, Dr. Raimund Seidel, ...
iii Abstract. The thesis deals with problems from two distint areas of scheduling theory. In the first part we consider the preemptive Sum Multicoloring (pSMC) problem. In an instance of pSMC,...
Integration of the ProB model checker into Eclipse (2006)
Softwaretechnik Und Programmiersprachen, Jens Marco Bendisposto, Gutachter Prof, Dr. Michael Leuschel, Prof Dr, Stefan Conrad, ...
Hiermit versichere ich, dass ich diese Bachelorarbeit selbstständig verfasst habe. Ich habe dazu keine anderen als die angegebenen Quellen und Hilfsmittel verwendet.
Dekan: Prof. Dr. Josef Honerkamp (2006)
Gutachter Prof, Dr. Jörg Flum, Prof Dr, Martin Grohe
1.1 Tree decompositions of infinite graphs................. 3 1.2 Simplicial decompositions........................ 6
Professur Englische Sprachwissenschaft, Gutachter Prof, Dr. Josef Schmied, Dr. Christoph Haase
Contents Contents......................................................................................................... i
der Carl von Ossietzky Universität Oldenburg zur (2005)
Multi-dimensional Statistical, Gutachter Prof, Birger Kollmeier, Korreferent Prof, Dr. Alfred Mertins
Instructions for Binding this Document The layout of this document is designed for ISO B5 Format (176 x 250 millimeter). This electronic version is prepared for printing on ISO B5 paper without...
Dissertation zur Erlangung des akademischen Grades (2005)
Christoph Hammerschmidt, Aus Göttingen, Beda Christoph Hammerschmidt, Dekan Prof, Dr. Enno Hartmann, ...
I would like to thank my colleague Dr. Martin Kempa and my supervisor Prof. Dr. Volker Linnemann for the excellent cooperation, many helpful suggestions, and reviews. Special acknowledgments go to...
zur Erlangung des akademischen Grades (2005)
Gutachter Prof, Dr. Graham Horton, Doz Dr, Rüdiger Hohmann, Prof Dr, ...
The proxel-based method is an intuitive approach to analysing discrete stochastic models, such as are described by stochastic Petri nets or queuing systems for example. The approach analyses models...
Gutachter Prof, Dr. Rudolf Kruse, Prof Dr, Hans-joachim Lenz, Prof Dr, Olaf Wolkenhauer
angenommen durch die Fakultät für Informatik
Jan-david Quesel, Carl Ossietzky, Fakultät Ii, Gutachter Prof, ...
This thesis describes how a decidable fragment of the Shape Calculus, an extended Duration Calculus, can be translated into WS1S. WS1S is the monadic second order logic with one successor. We...
Dekan Dekanin, Prof Dr, Bernhard Steffen, Gutachter Prof, ...
1.1 Computer experiments............................ 10 1.2 Objectives of this work............................ 12
Michael Balser, Gutachter Prof, Dr. Wolfgang Reif, Prof Dr, Walter Vogler, ...
Symbolic execution is an intuitive strategy to verify sequential programs, which can be automated to a large extent. We have successfully carried over this method of proof to the interactive...
zur Erlangung des Doktorgrades Dr. rer. nat. (2005)
Kurt Stenzel, Amtierender Dekan, Prof Dr, Wolfgang Reif, Gutachter Prof, Dr. Wolfgang Reif, ...
Smart cards are used in security critical applications where money or private data is involved. Examples are the German Geldkarte or new passports with biometrical data. Design or programming errors...
Theoretical Bioinformatics Group (2005)
Abteilung Theoretische Informatik, Leiter Prof, Dr. Uwe Schöning, Amtierender Dekan, Prof Dr, H. Partsch, ...
vorgelegt von
aus Frankfurt Frankfurt 2005 (2005)
Matthias Mann, Dekan Prof, Gutachter Prof, Dr. Manfred Schmidt-schauß, ...
Kalkül mit call-by-need Auswertung. Lambda-Kalküle spielen im allgemeinen eine grundlegende Rolle in der theoretischen Informatik, sei es als Basis für Theorembeweiser im Bereich der Verifikation...
Algorithms and Analysis Online Problems and Two-Player Games: Algorithms and Analysis (2004)
Naveen Sivadasan, Naveen Sivadasan, Dekan Prof, Dr. Jörg Eschmeier, Gutachter Prof, ...
Dedicated to my parents. In this thesis we study three problems that are adversarial in nature. Such problems can be viewed as a game between an algorithm and an adversary, where the adversary always...
Gutachter Prof, Dr. Ulf Stahl, Gutachter Dr. Konrad Büssow, Thomas Faupel
Identification of protein-protein-interactions in vitro
sind Eigentum der jeweiligen Inhaber. Tag des Kolloquiums: 16.12.2004 (2004)
Sebastian Winkel, Dekan Prof, Dr. Jörg Eschmeier, Gutachter Prof, Dr. Reinhard Wilhelm, Vorsitzender Prof, ...
On the Itanium 2 processor, effective global instruction scheduling is crucial to high performance. At the same time, it poses a challenge to the compiler: This code generation subtask involves...
Rahul Ray, Rahul Ray, Dekan Prof, Gutachter Prof, ...
Dedicated to my parents
Rahul Ray, Rahul Ray, Dekan Prof, Gutachter Prof, ...
Dedicated to my parents
Zur Erlangung Der, Gutachter Prof, Dr. Peter Bastian, Prof Dr, Gabriel Wittum
Introduction 11 2. The Model of Fluid Flow in Fractured Porous Media 13 2.1. Material properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 2.1.1. Porous Media . . . . . . . ....
Grfwru Uhuxp Qdwxudolxp, Gutachter Prof, Dr. Henning Scheich, Prof Dr, Hans-jochen Heinze
Replacing lost sensory function with a cortical neuroprosthesis would be a promising alternative to interfacing earlier stages of the afferent sensory pathways, e.g. with cochlear or retinal...
der Otto-von-Guericke-Universität Magdeburg (2004)
Gutachter Prof, Dr. Stefan Wrobel, Prof Dr, Stefan Kramer, Prof Dr, Andreas Nürnberger
In this thesis we lay the foundations to develop multirelational learning systems which can cope better with the challenges posed by structural and topological domains. Even though many interesting...
Contributions to Multiple Postmen Problems (2004)
Erlangung Der Doktorwürde, Naturwissenschaflich-mathematischen Gesamtfakultät, Gutachter Prof, Dr. Gerhard Reinelt, Prof Dr, ...
der
To my parents Bibliographical description (2003)
Von Fakultät, Gutachter Prof, Dr. Gert Wanka, Prof Dr, ...
multiobjective optimization
The Evolution Of Genetic Representations And Modular Adaptation (2003)
Marc Toussaint, Gutachter Prof, Prof Dr, Klaus Goeke
Contents Introduction 7 1 Evolutionary adaptation 13 1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 1.2 A theory on the evolution of phenotypic...
Identifizierung und Charakterisierung von (2003)
Opioidrezeptor-interagierenden Proteinen, Gutachter Prof, Dr. Volker Höllt, Prof Dr, Eckart D. Gundelfinger, ...
zur Erlangung des akademischen Grades doctor rerum naturalium (Dr. rer. nat.) genehmigt durch die Fakultät für Naturwissenschaften der Otto-von-Guericke-Universität Magdeburg
Dissertationsort: Trier Contents (2002)
Doktor Der Naturwissenschaften, Stephan Weibelzahl, Graduate Programme Human, Machine Intelligence, Stephan Weibelzahl, Gutachter Prof, ...
Doktor Der Ingenieurwissenschaften, Henrik Theiling, Dekan Prof, Vorsitzender Prof, ...
Real-time systems have to complete their actions w.r.t. given timing constraints. In order to validate that these constraints are met, static timing analysis is usually performed to compute an upper...
Gutachter Prof, Dr. Thomas Strothotte, Prof Dr, Heinrich Müller, Dr. Vali Lalioti
This work would not have been possible without the support of other people. Prof. Dr. Thomas Strothotte had a lot of confidence in me and encouraged me throughout the past three and a half years to...
Semantics of Form-Oriented Analysis (2002)
Gerald Weber, Am Fachbereich, Mathematik Informatik, Tag Der Disputation, Gutachter Prof, ...
In this thesis we present Form-Oriented Analysis, a new analysis technique for an ubiquitous type of business applications. We define a precise semantic class of applications we call submit/response...
Christian W. Probst, Dekan Prof, Gutachter Prof, Dr. Reinhard Wilhelm, Prof Dr, ...
This thesis develops a demand driven solver for constraint based control flow analysis. Our approach is modular, flow-sensitive and scaling. It allows to efficiently construct the interprocedural...
Yanzi Chen Bernero, Aus Fuzhou, V. R. China, Von Der Fakultät, Für Prozesswissenschaften, Vorsitzender Prof, ...
hinsichtlich des Wirkungsgrades, der Stromgestehungskosten und der Emissionen unter vergleichbaren wirtschaftlichen und technischen Bedingungen zu bewerten. Betrachtet werden ein überkritisches...
Diplomarbeit Enhancing an Open Source UML Editor by Context-Based Constraints for Components (2001)
Martin Skinner, Betreuer Felix Bübl, Gutachter Prof, Dr. Herbert Weber, Dr. Ralf-detlef Kutsche
Hiermit erkläre ich an Eides Statt, dass ich die vorliegende Arbeit selbständig und ohne unerlaubte fremde Hilfe angefertigt, andere als die angegebenen Quellen und Hilfsmittel nicht benutzt und...
Jens Gerlach, Von Fakultät, Iv Elektrotechnik Informatik, Doktor Der Ingenieurwissenschaften, Gutachter Prof, ...
I want to express my gratitude to many people who supported me while I was working on this dissertation and developing the Janus framework. First of all I want to thank my advisors Professor Stefan...
Die Analyse dynamischer Prozesse in Sequenzen von Tiefenkarten (2001)
Hagen Spies, Erlangung Der Doktorwürde, Sequenzen Von Tiefenkarten, Gutachter Prof, Dr. Bernd Jähne, ...
In this thesis a technique to estimate dynamic processes in range data sequences is developed.
Boundary Layers in the Homogenization of Elliptic Problems (1999)
Maria Neuß-Radu, Gutachter Prof, Prof Dr, Gabriel Wittum
This paper is organized as follows. In the first part, we give a short introduction to the method of homogenization, starting from the elliptic boundary value problem
Complexity Theoretical Results for Randomized Branching Programs (1999)
Doktors Der Naturwissenschaften, Martin Sauerhoff, Gutachter Prof, Dr. Ingo Wegener, Prof Dr, ...
This work is settled in the area of complexity theory for restricted variants of branching programs. Today, branching programs can be considered one of the standard nonuniform models of computation....
An Adaptive Finite Element Method for Reactive Flow Problems (1998)
Malte Braack, Gutachter Prof, Dr. Rolf Rannacher
Contents Introduction 1 1 Equations 7 1.1 Navier-Stokes Equations for Reactive Flow . . . . . . . . . . . 8 1.2 Low-Mach-Number Limit . . . . . . . . . . . . . . . . . . . . . 10 1.3 Low-Mach-Number...
Representations, Hierarchies, and Graphs of Institutions (1996)
Till Mossakowski, Gutachter Prof, Dr. Hans-jorg Kreowski, Prof Dr, Andrzej Tarlecki, Amilcar Sernadas, ...
For the specification of abstract data types, quite a number of logical systems have been developed. In this work, we will try to give an overview over this variety. As a prerequisite, we first study...
Parallel and Adaptive Galerkin Methods for Radiative Transfer Problems (1996)
Guido Kanschat, Erlangung Der Doktorwurde, Aus Krefeld, Gutachter Prof, Dr. Rolf Rannacher, ...
Contents 1 Introduction 9 2 Physical Problem and Mathematical Model 14 2.1 Radiative Transfer : : : : : : : : : : : : : : : : : : : : : : : : 15 2.2 Analytical Results : : : : : : : : : : : : : : : :...
Randomness and Complexity (1996)
Erlangung Der Doktorwurde, Naturwissenschaftlich-mathematischen Gesamtfakultat, Yongge Wang, Gutachter Prof, Dr. Klaus Ambos-spies, Prof Dr, ...
The topic of this thesis is the study of randomness concepts and their applications in computational complexity theory. In Chapter 3, we discuss the classical notions of randomness. We give a...
Volker H. Schulz, Gutachter Prof, Georg Bock, Prof Dr, Gabriel Wittum
and loving encouragement. Contents 1 Introduction 3 1.1 The mathematical problem formulation : : : : : : : : : : : : : : : : : : : : 7 1.2 Notational conventions : : : : : : : : : : : : : : : : : : :...
Silicon Microstrip Detectors and the Measurement of Lifetimes of Charmed Hadrons (1996)
Erlangung Der Doktorwurde, Silvia Masciocchi, Silvia Masciocchi, Aus Mailand, ...
Contents Introduction 1 1 The physics of charmed baryons 3 1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.2 Charmed baryons . . . . . . . . . . . . . . . . ....
Analog Neural Networks in Autonomous Systems (1996)
Andreas Bühlmeier, Andreas Buhlmeier, Ag Prof, B. Krieg-bruckner, Zentrum Fur Kognitionswissenschaften, Gutachter Prof, ...
in use rely on a numerical accuracy that is typically not provided by analog hardware implementations. Natural nervous systems demonstrate high robustness, as required for an analog hardware...
Fast Recursive SQP Methods for Large-Scale Optimal Control Problems (1995)
Marc Steinbach, Gutachter Prof, Georg Bock, Prof Dr, Gerhard Reinelt
Direct boundary value problem methods in combination with SQP iteration have proved to be very successful in solving nonlinear optimal control problems. Such methods use parameterized control...
Hadronic Weak Decays of the Charmed Doubly-Strange Baryon (1995)
Erlangung Der Doktorwurde, Zhongliang Ren, Gutachter Prof, Dr. Bogdan Povh, Prof Dr, Jurgen Krogh
This thesis work has been performed in the context of the fixed target experiment WA89 using the 330 GeV/c momentum \Sigma \Gamma hyperon beam at the CERN West Hall. The experiment used the forward...
Predicate Classes, Promise Classes, and the Acceptance Power of Regular Languages (1994)
Bernd Borchert, Gutachter Prof, Dr. Klaus Ambos-spies, Thomas Schwentick, ...
this paper were shown in the preceeding Chapters 3 and 4. In this chapter some other models of nondeterministic computation will be considered. For each model the notion of a predicate class is...
genehmigt durch die Fakultät für Verfahrens- und Systemtechnik (1976)
Systemorientierte Analyse Der, Gutachter Prof, Prof Dr, Mihai Christov, ...
opportunity to carry out this research at the Max Planck Institute. I am also particularly grateful to him for showing me his systematic approach of analysing and modelling physical and chemical...
Sebastian Rudolph, Gutachter Prof, Dr. Bernhard Ganter, Prof Dr, Gerd Stumme, ...
vorgelegt
Gutachter Prof, Schriftliche Erklärung
fachlichen Anregungen, die Diskussionsbereitschaft und seine jederzeit freundliche
Robert T. Firla, Gutachter Prof, Dr. Robert Weismantel, Prof Dr, Alexander Martin, Prof Dr, ...
doctor rerum naturalium
der Otto-von-Guericke-Universität Magdeburg (1970)
Tt Von, Gutachter Prof, Prof Dr, Mihai Christov
genehmigt durch die Fakultät für Verfahrens- und Systemtechik
Fakultät für Mathematik und Informatik der Friedrich-Schiller-Universität Jena (1966)
Jörg Rothe, Gutachter Prof, Dr. Gerd Wechsung, Prof Lane, A. Hemaspaandra, Prof Dr, ...
doctor rerum naturalium (Dr. rer. nat.) vorgelegt dem Rat der