Robert Aichner, Dekan Prof, ...
I wish to express my sincere gratitude to my advisor Prof. Dr.-Ing. Walter Kellermann
zur Erlangung des Grades (2009)
Andreas Rossberg, Dekan Prof, Dr. Thorsten Herfet, Vorsitzender Prfungsausschusses, ...
In this dissertation we develop an approach for reconciling open programming – the development of programs that support dynamic exchange of higher-order values with other processes – with strong...
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...
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...
Tübingen zur Erlangung des Grades eines (2009)
Doktors Der Naturwissenschaften, Jan M. Wiener, Dekan Prof, Dr. H. U. Schnitzler
zusammenfassung Die Fähigkeit sich im Raum zu orientieren ist für die meisten Tiere von entscheidender Bedeutung. Die Orientierungsleistungen reichen von einfachem, stereotypen
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...
Dekan Prof, Dr. Ulrich Güntzer, Zusammenfassung Der Arbeit
Hiermit erkläre ich, dass ich die Arbeit selbständig und nur mit den angegebenen
Nationalbibliografie; detaillierte bibliografische Daten sind im Internet über (2009)
Dominikus Heckmann, Deutsches Forschungszentrum, Dekan Prof, Dr. Jörg Eschmeier, Vorsitzender Prof, ...
All rights reserved. No part of this publication may be reproduced, stored in a retrieval system, or transmitted, in any form or by any means, electronic, mechanical, photocopying, recording, or...
Shu-kai Hsieh, Hauptberichterstatter Prof, W. Hinrichs, Dekan Prof, ...
There are many people to whom I owe a debt of thanks for their support, for the completion of my thesis and supported me in science as well in privacy during this time. First, I would like to...
Anatomical Constraints for the Propagation of Synchronous Activity in Cortical Networks (2009)
Fakultät Für Biologie, Freiburg Im Breisgau, Ulrich Hehl, Dekan Prof, Dr. Hans Kleinig, Referent Prof, ...
Chapters 2-4 of this study will be published with contributions of single coauthors as follows: Chapter 2 was submitted to Biological Cybernetics as
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
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...
zur Erlangung des Doktorgrades (Dr. rer. nat.) (2008)
Mathematisch-naturwissenschaftlichen Fakultät, Angefertigt Genehmigung, Mathematisch-naturwissenschaftlichen Fakultät, Dekan Prof, ...
online elektronisch publiziert. Erscheinungsjahr: 2007 This work is dedicated to my parents Ingrid and Bernd-Uwe for all their love & support.
Geschäftsführender Direktor, Prof Dr, Jan Koolman, Leiter Prof, Dr. Klaus-heinrich Röhm, Dem Fachbereich Humanmedizin, ...
der
zur Erlangung des Grades eines (2008)
Doktors Der Naturwissenschaften, Dekan Prof, Dr. Ulrich Güntzer, Meinen Eltern
A framework for processing and presenting parallel text corpora
Dekan Prof, Berichterstatter Prof, ...
Qualitätswahrnehmung bei komprimierten und unkomprimierten hochauflösenden Videoübertragungen) Der Technischen Fakultät der Universität Erlangen-Nürnberg
Kai Matthias Lampka, Erlangen März, Dekan Prof
A symbolic approach to the state graph based analysis of high-level Markov reward models Ein symbolischer Ansatz für die Zustandsgraph-basierte Analyse von
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...
zur Erlangung des Grades eines (2008)
Doktors Der Naturwissenschaften, Dekan Prof, Dr. Michael Diehl
Compiler-compilers are tools that generate substitutes for hand-written compiler components from high-level formal specifications. Such tools exist for lexical, syntactic and semantic analysis,...
Learning Dynamic Shape Models for Bayesian Tracking (2008)
Dekan Prof, Dr. M. Krause, Referent Prof, Dr. C. Schnörr, ...
This Thesis addresses appearance-based techniques for modelling complex deformable objects in order to support a detection and tracking process. As example application it considers pedestrian...
Dekan Prof, Dr. Reinhard Gotzhein, Vorsitzender Prof, ...
und wird sich so verhalten, daß Du Dich wundern wirst,
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...
Dekan Prof, Dr. Ulrich Güntzer, Zusammenfassung Der Arbeit
Hiermit erkläre ich, dass ich die Arbeit selbständig und nur mit den angegebenen
Verläßlichkeitsanalyse Von Rechnersystemen, Axel Hein, Dekan Prof, Dr. H. Stoyan, ...
Computer systems are becoming more and more a part of our daily life; business and industry rely on their service, and the health of human beings depends on their correct functioning. Computer...
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...
Dekan Prof, Dr. Jörg Eschmeier, Prüfungsausschuss Prof, ...
This thesis develops the theory of dominance constraints, a family of logical languages that describe trees, and applies them as a formalism for the underspecified description of scope ambiguities in...
Doktors Der Naturwissenschaften, W. Tangermann, Dekan Prof, Dr. Michael Diehl
vorgelegt von
der Universität des Saarlandes (2008)
Yevgeny Kazakov, Verfasser Yevgeny Kazakov, Dekan Prof, Dr. Jörg Eschmeier, Prüfungsausschuss Prof, ...
We apply the framework of Bachmair and Ganzinger for saturation-based theorem proving to derive a range of decision procedures for logical formalisms, starting with a simple terminological language...
Direktor Pd, Dr. Richard Lenz, Ort Marburg, Rainer Blaser, Angenommen Fachbereich, ...
evolutionären IT-Konzepts für ein
Management in Software Organisations (2008)
Dietmar Pfahl, Dr. Dieter Rombach, Prof Dr, Dieter Rombach, ...
zur Verleihung des akademischen Grades
Michael Lutz, Dekan Prof, Dr. Hans Kerp, Erster Gutachter, ...
(wird nach der Prüfung handschriftlich eingesetzt)
Bernhard E. Riecke, Dekan Prof, Dr. Herbert Müther
How far can we get with just visual information?
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...
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...
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,...
Doktors Der Naturwissenschaften, Dekan Prof, Dr. Ulrich Güntzer
Test-Driven Development (TDD) is a style of agile software development that has received much attention recently in the software development community. Agile software development methods stress the...
Doktors Der Naturwissenschaften, Alexander Würz-wessel, Dekan Prof, Dr. Herbert Müther
who took the time for extensive discussions, gave valuable advice, and offered ample guidance. Beyond that, he provided an optimal work environment for this thesis with regard to all aspects, and the...
zur Erlangung des Grades (2008)
Elena Petrova, Saarbrücken Mai, Dekan Prof, ...
anderer als der angegebenen Hilfsmittel angefertigt habe. Die aus anderen
zur Erlangung des Grades eines (2008)
Doktors Der Naturwissenschaften, Katharina A. Zweig, Geb Lehmann, Dekan Prof, Dr. Michael Diehl
(Dr. rer. nat.) vorgelegt von
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....
der Universität des Saarlandes von (2008)
Andrey Rybalchenko, Dekan Prof, Dr. Jörg Eschmeier, Prüfungsausschuss Prof, Dr. Reinhard Wilhelm, ...
ii Program verification increases the degree of confidence that a program will perform correctly. Manual verification is an error-prone and tedious task. Its automation is highly desirable. The...
zur Erlangung des Grades eines (2008)
Dekan Prof, Dr. Ulrich Güntzer
Generic programming has evolved at fast pace in recent years. There now exist numerous programming languages that support genericity, and generic libraries were developed that range from small...
ii Tag des Kolloquiums: 13. Juni 2005 (2008)
Mark Hillebrand, Saarbrücken Juni, Dekan Prof, Dr. Jörg Eschmeier, Vorsitzender Prüfungsausschusses, ...
und ohne Benutzung anderer als der angegebenen Hilfsmittel angefertigt habe. Die aus anderen Quellen oder indirekt übernommenen Daten und Konzepte sind unter Angabe der Quelle gekennzeichnet. Die...
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...
Dekan Prof, Dr. Jan Korvink, Referenten Prof, Dr. Georg Lausen, Prof Dr, ...
geboren am 28.11.1977 in Würzburg
der Fakultät für Mathematik und Physik (2008)
Yijia Chen, Dekan Prof, Rolf Schneider, Zweiter Referent, ...
Anna Ertelt, Dekan Prof, Jürgen Bengel, ...
vorgelegt von
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...
Doktors der Naturwissenschaften (Dr. rer. nat.) vorgelegt von (2008)
Dekan Prof, Dr. Klaus-jörn Lange
usw. In dieser Arbeit wird das Verfahren der Cut-Border Machine beschrieben. Die Cut-Border Machine kodiert Netze, indem ein Teilbereich durch das Netz wächst (region growing). Kodiert wird die Art...
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...
der Universität des Saarlandes (2008)
Georg Rock, Saarbrücken Januar, Vorsitz Prof, Dr. Harald Ganzinger, Prof Dr, ...
von
COMPLEXITY REDUCTION TECHNIQUES FOR ADVANCED MEMS ACTUATORS SIMULATION (2008)
Vorgelegt Von, Dekan Prof, Dr. Bernhard Nebel, Prof Dr, ...
To my parents Erklärung nach S5(2) der Promotionsordnung Ich erkläre hiermit, dass ich die vorliegende Arbeit ohne unzulässige Hilfe Dritter und ohne Benutzung anderer als der angegebenen...
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...
Sau Dan Lee, Dekan Prof, G. Korvink, ...
oder Promotionsberater oder anderer Personen) in Anspruch genommen. Niemand hat von mir unmittelbar oder mittelbar geldwerte Leistungen für Arbeiten erhalten, die im Zusammenhang mit dem Inhalt der...
zur Erlangung des Grades eines (2008)
This dissertation shows that computer-based lighting control systems can support the lighting design process considerably better than traditional consoles. It describes the Lula Project, a new...
Doktors der Naturwissenschaften (Dr. rer. nat.) vorgelegt von Dipl.-Math. Olaf Etzmuß (2008)
Aus Gehrden, Dekan Prof, Dr. Andreas Zell
haben sich stetig erhöht. Daher reichen geometrische Modelle in einigen Anwendungsgebieten nicht mehr aus. Textilsimulation ist eine dieser Anwendungen, in denen die Modelle durch ihr physikalisches...
der Universität des Saarlandes (2008)
In this dissertation, I describe a virtual head model with anatomical structure. The model is animated in a physics-based manner by use of muscle contractions that in turn cause skin deformations;...
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...
der Rechts- und Wirtschaftswissenschaftlichen Fakultät der Universität des Saarlandes (2008)
Rahmenkonzept Koordinationsmodelle, Vorgelegt Von, Markus Nüttgens, Tag Der Disputation, Dekan Prof, ...
(doctor rerum oeconomicarum)
Doktors Der Naturwissenschaften, Uwe Schauz, Dekan Prof, Dr. N. Schopohl
Christoph Hering, der mich zur Ausarbeitung des vorliegenden Teils meiner Forschungen überredet hat, für seine erfahrenen Ratschläge und seine Unterstützung herzlich danken. Besonders möchte ich...
Ezekiel F. Adebiyi Pattern Discovery and Strings Sorting (2008)
Dipl Mathematiker, Ezekiel Femi Adebiyi, Dekan Prof, Dr. Andreas Zell
ii
Doktors Der Wirtschaftswissenschaften, Vorgelegt Von, Dekan Prof, Dr. Wolfgang Berens, ...
aus Haltern am See
zur Erlangung des Grades eines (2008)
Doktors Der Naturwissenschaften, Martin Gasbichler, Dekan Prof, Dr. Michael Diehl
(Dr. rer. nat.) vorgelegt von
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...
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...
Vasil Diemand, Dekan Prof, Dr. Michael Diehl
Many people have influenced this work in various ways. I want to thank those unnamed ones that have provided feedback over the Internet and their feature requests have especially shaped the...
Tag der mündlichen Prüfung: 25.4.2007 (2008)
Doktors Der Naturwissenschaften, Martin Scholz, Dekan Prof, Dr. Peter Buchholz, Dr. Katharina Morik, ...
Ich möchte mich an dieser Stelle bei den vielen Menschen bedanken, die zu dieser Arbeit, jede(r)
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...
Dekan Prof, Dr. Rainer Schulze-pillot-ziemen, Berichterstatter Prof, Dr. Harald Ganzinger, Prof Dr, Christopher Lynch
der Naturwissenschaftlich{Technischen Fakultat I
am Fachbereich Mathematik (2007)
Eike Kiltz, Hans Ulrich Simon, Dekan Prof, Dr. Lothar Gerritzen, Gutachter Prof, ...
ii
an der Albert-Ludwigs-Universität Freiburg im Breisgau von (2007)
Dekan Prof, Dr. Thomas Ottmann, Prof Dr, Thomas Ottmann, Bernard Haasdonk, ...
under the supervision of Professor Hans Burkhardt. I would like to express my deep gratitude for his support and suggestions. I would also like to thank Professor James L. Crowley from the Institut...
Das Promotionskolloquium fand am 23. Februar 2001 statt. (2007)
Christian Schulte, Vorsitzender Prof, Erstgutachter Prof, Dr. Gert Smolka, ...
This thesis presents design, application, implementation, and evaluation of computation spaces as abstractions for programming constraint services at a high level. Spaces are seamlessly integrated...
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...
Der Mathematischen Fakultat, Freiburg Im Breisgau, Ralph Neininger, Dekan Prof, Dr. W. Soergel
vorgelegt von
zur Erlangung des Grades eines (2007)
Doktors Der Naturwissenschaften, Angenommen Vom Fachbereich, Dekan Prof, Dr. Franz-jurgen Delvos
The aim of this thesis is to give a new understanding of sequential computations in higher types. We present a new computation model for higher types based on a game describing the interaction...
Alberto Lluch Lafuente, Dekan Prof, Erstgutachter Prof, Dr. Thomas Ottmann, Dr. Thomas Ottmann, Zweitgutachter Prof, ...
The present document is the author's PhD thesis. The major subject of the thesis is the application of directed search strategies in the automated verification of systems. Minor subjects include...
zur Erlangung des Grades Doktor der (2007)
Renate A. Schmidt, Dekan Prof, Er Koch, ...
This thesis studies the optimised functional translation of propositional modal logics to first-order logic, and first-order resolution as a means for realising modal reasoning. The optimised...
Jens Brandt A Layered Approach to Polygon Processing for Safety-Critical Embedded Systems (2007)
Vom Fachbereich, Dekan Prof, Dr. Reinhard Gotzhein, Vorsitzender Prüfungskommission, ...
Mein Dank gilt allen, die auf ihre Weise zum Gelingen meiner Promotion beigetragen haben.
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...
Selbstverlegt von: G. Schönherr (2007)
Doktors Der Naturwissenschaften, Gabriele Schönherr, Aus Düsseldorf, Dekan Prof, Dr. N. Schopohl, ...
Strong magnetic fields of accreting neutron stars
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
Datum der Promotion: 4.12.2006 (2006)
Dekan Prof, Dr. Bernhard Nebel, Referenten Prof, Dr. Rolf Backofen, ...
Die Sekundärstruktur einer RNA ist definiert als eine Menge von Basenpaaren,
Computational Approaches for Analyzing the Role of Protein-DNA Interactions in (2006)
Gene Regulation, Doktors Der Naturwissenschaften, Dekan Prof, Dr. Michael Diehl
Standing here with a nice feeling inside, there are several people I want to acknowledge. First and foremost, I want to thank Prof. Oliver Kohlbacher and Prof. Hans-Peter Lenhof for giving me the...
Tag der mündlichen Qualifikation: (2006)
Doktors Der Naturwissenschaften, Mohan Peranandam, Dekan Prof, Dr. Michael Diehl
Interdependence is a higher value than independence.- Stephen R. Covey. It is indeed hard to justice and acknowledge the help and contribution of all the people, without whose encouragement and...
Doktors Der Naturwissenschaften, Dekan Prof, Dr. Friedrich Schöffl
Exploring protein domain evolution by designing new TPR-like domains der Fakultät für Biologie
Tag der mündlichen Qualifikation: 14.06.2006 (2006)
Doktors Der Naturwissenschaften, Dekan Prof, Dr. Michael Diehl
Hiermit erkläre ich, dass ich die Arbeit selbständig und nur mit den angegebenen Hilfsmitteln
Dekan Prof, Dr. Thorsten Herfet, Prüfungsausschuss Prof, ...
This thesis develops Extensible Dependency Grammar (XDG), a new grammar formalism combining dependency grammar, model-theoretic syntax, and Jackendoff’s parallel grammar architecture. The design of...
Learning Interpretable Models (2006)
Dissertation Zur Erlangung, Doktors Der Naturwissenschaften, Stefan Rüping, Dekan Prof, Dr. Bernhard Steffen, ...
Contents 1 Introduction 11 1.1 Interpretability . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 1.1.1 Interpretability as Part of the Data Mining Process . . . . 13 1.1.2 Interpretability...
ALERT CLASSIFICATION TO REDUCE FALSE POSITIVES IN INTRUSION DETECTION (2006)
Tadeusz Pietraszek, Dekan Prof, G. Korvink, Erstreferent Prof, ...
“A new star has been discovered, which doesn’t mean that things have gotten brighter or that something we’ve been missing has appeared. Wis̷lawa Szymborska, “Surplus ” [Szy00]
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,...
Minimum cycle basis: algorithms and applications (2006)
Dimitrios Michail, Dekan Prof, Dr. René Beier, Στην Κανέλα
We consider the problem of computing a minimum cycle basis of an undirected edge-weighted graph G with m edges and n vertices. In this problem, a {0, 1} incidence vector is associated with each cycle...
ALERT CLASSIFICATION TO REDUCE FALSE POSITIVES IN INTRUSION DETECTION (2006)
Tadeusz Pietraszek, Dekan Prof, G. Korvink, Erstreferent Prof, ...
“A new star has been discovered, which doesn’t mean that things have gotten brighter or that something we’ve been missing has appeared. Wis̷lawa Szymborska, “Surplus ” [Szy00]
der Naturwissenschaftlich-Technischen Fakultäten (2006)
Leif Tobias Kornstädt, Leif Tobias Kornstädt, Dekan Prof, Dr. Thorsten Herfet, ...
Implementation
Verfasser Ralph Debusmann, Dekan Prof, Dr. Thorsten Herfet, Prüfungsausschuss Prof, ...
This thesis develops Extensible Dependency Grammar (XDG), a new grammar formalism combining dependency grammar, model-theoretic syntax, and Jackendoff’s parallel grammar architecture. The design of...
Doktors Der Naturwissenschaften, Dekan Prof, Dr. Michael Diehl
Improving hand motor functions in patients with chronic stroke: Modulation of somatosensory input into non-affected hemisphere
Am Fachbereich, Johannes Gutenberg, Andreas Heinz Nicol, Dekan Prof, Dr. P. Langguth
Polymerforschung in Mainz angefertigt. i Meinen Eltern gewidmet, die mich in guten wie in schlechten Zeiten unterstützt haben. Dedicated to my parents, who have supported me at all times, both good...
Doktors Der Naturwissenschaften, Aus Nürtingen, Dekan Prof, Dr. M. Diehl
To my mother who taught me never to give up iv
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...
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...
Web-based Courseware, Doktors Der Naturwissenschaften, Dekan Prof, Dr. Martin Hautzinger
Zukünftige Lehr-/Lernprogramme sollen als vernetzte Systeme die Lernenden
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...
zur Erlangung des Grades (2004)
Doktor Ingenieur, Dekan Prof, Dr. A. Winnacker, Berichterstatter Prof, ...
Universität Erlangen–Nürnberg
Rahul Ray, Rahul Ray, Dekan Prof, Gutachter Prof, ...
Dedicated to my parents
Rahul Ray, Rahul Ray, Dekan Prof, Gutachter Prof, ...
Dedicated to my parents
der Naturwissenschaftlich-Technischen Fakultäten (2004)
René Beier, Dekan Prof, Dr. Jörg Eschmeier, Vorsitzender Prof, Dr. Raimund Seidel, Erstgutachter Prof, ...
We investigate the performance of exact algorithms for hard optimization problems under random inputs. In particular, we prove various structural properties that lead to two general average-case...
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...
Tag der mündlichen Qualifikation: (2004)
Dekan Prof, Dr. Ulrich Güntzer, Meinen Eltern
A framework for processing and presenting parallel text corpora
Frank Jochen Dieterle, Dekan Prof, Dr. H. Probst
Integration von künstlichen neuronalen Netzen,
zur Erlangung des Grades eines Doktors (2003)
Jörg Ostrowski, Dekan Prof, Dr. H. Müther
This study deals with the simulation of inductive hardening of conducting workpieces made of steel. The aim is to calculate the propagation of heat in the workpiece. Based on this knowledge, the...
Norbert Hilf, Meinen Eltern Gewidmet, Dekan Prof, Dr. H. Probst
der Eberhard-Karls-Universität Tübingen
Tag der mündlichen Qualifikation: 29.10.2003 (2003)
Doktors Der Naturwissenschaften, Dekan Prof, Dr. Martin Hautzinger
Es gibt Momente im Leben, in denen man wichtige und richtungweisende Entscheidungen treffen muss. Man sollte sich glücklich schätzen, wenn man rechtzeitig bemerkt, dass ein solcher Moment vorliegt....
Surface Modification by Plasma Polymerization and Application of Plasma Polymers as (2003)
Zhihong Zhang, Dekan Prof, Dr. R. Zentel
To my parents and daughter The work described in this thesis concerns the plasma polymers used for immobilization and adsorption of biomolecules. In particular, thin polymeric films bearing ether,...
der Eberhard-Karls-Universität Tübingen (2003)
Doktors Der Naturwissenschaften, Dekan Prof, Dr. Martin Hautzinger, Zusammenfassung Der Arbeit
hochqualitativer Zeichnungen von UML Klassendiagrammen vorgestellt.
Hierarchical Contextual Reasoning (2003)
Serge Autexier, Dekan Prof, Vorsitzender Prof, Dr. Reinhard Wilhelm, Kurzzusammenfassung V
VII Zusammenfassung IX Extended Abstract XI Acknowledgements XIII I
Vom Fachbereich, Doktor Der Naturwissenschaften, Dekan Prof, Hagen Berichterstatter, ...
Abstract With supervisory control theory it is possible to describe controllers that influence the behaviour of a discrete event system by disabling certain events. This thesis considers the design...
zur Erlangung des Grades (2003)
Dekan Prof, Erstgutachter Prof, ...
habe. Die aus anderen Quellen oder indirekt übernommenen Daten und Konzepte sind unter Angabe der Quelle gekennzeichnet. Die Arbeit wurde bisher weder im In- noch im Ausland in gleicher oder...
Thorsten Hansen, Thorsten Hansen, Dekan Prof, Dr. Günther Palm, Erster Gutachter, Prof Dr, ...
The thesis is concerned with the functional modeling of information processing in early and midlevel vision. The mechanisms can be subdivided into two systems, a system for the processing of...
Thorsten Hansen, Thorsten Hansen, Dekan Prof, Dr. Günther Palm, Erster Gutachter, Prof Dr, ...
The thesis is concerned with the functional modeling of information processing in early and midlevel vision. The mechanisms can be subdivided into two systems, a system for the processing of...
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....
Simon Helsen, Dekan Prof, Dr. Thomas Ottmann, Erstreferent Prof, Dr. Peter Thiemann, ...
des Quellprogramms statisch, also wenig veränderlich ist; denn partielle Auswerter spezialisieren Programme, indem sie möglichst viele Operationen durch das aggressive Weiterleiten von Konstanten...
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...
Christian Jacobi, Dekan Prof, Erstgutachter Prof, ...
und ohne Benutzung anderer als der angegebenen Hilfsmittel angefertigt habe. Die
Christian Jacobi, Dekan Prof, Erstgutachter Prof, ...
und ohne Benutzung anderer als der angegebenen Hilfsmittel angefertigt habe. Die
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...
Discrete Measured Groupoids Inaugural-Dissertation (2002)
Reine Mathematik, Roman Sauer, Dekan Prof, Dr. F. Natterer, ...
and
Tag der mündlichen Qualifikation: 22.05.2002 (2002)
Aus Reutlingen, Dekan Prof, Dr. A. Zell, Wolfgang Blochinger
für Informatik an der Universität Tübingen.
Architektur/Raum- und Umweltplanung/Bauingenieurwesen (2001)
Vom Fachbereich, Aus Indonesien, Dekan Prof, ...
genehmigte
Doktors Der Naturwissenschaften, Sebastian Wedeniwski, Dekan Prof, Dr. C. Lubich
An dieser Stelle möchte ich mich bei all denen bedanken, die mir bei der Fertigstellung dieser Arbeit geholfen haben. Zunächst gilt mein besonderer Dank meinem Betreuer Prof. Dr. W. Knapp für...
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...
zur Erlangung des Grades (2001)
Christian Schulte, Vorsitzender Prof, Erstgutachter Prof, Dr. Gert Smolka, ...
This thesis presents design, application, implementation, and evaluation of computation spaces as abstractions for programming constraint services at a high level. Spaces are seamlessly integrated...
zur Erlangung des Grades eines Doktors (2000)
Prof Dr, Anette Preiss, Fachgebiet Allgemeine Genetik, Der Naturwissenschaften, ...
Computational prediction of gene structure and regulation in the genome of Drosophila melanogaster
1.2 Linguistic Analyses........................ 10 (2000)
Frank Richter, Hauptberichterstatter Prof, W. Hinrichs, Dekan Prof, ...
am 23. Juni 2000
Thilo Gotz, Haupberichterstatter Prof, Dr. Erhard Hinrichs, Mitberichterstatter Prof, Dr. Uwe Monnich, Mitberichterstatter Priv, ...
angenommen von der Neuphilologischen Fakultat
Credit Risk Modelling and Credit Derivatives (2000)
Philipp J. Schönbucher, Dekan Prof, Dr. Rüdiger Breuer, Erstreferent Prof, Dr. Dieter Sondermann, ...
Contents Notation ii 1 Introduction 1 1.1 Firm's Value Models . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.1.1 Modelling Approach . . . . . . . . . . . . . . . . . . . . . . ....
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...
Lexical Generalizations in the Syntax of German Non-Finite Constructions (1999)
Walt Detmar Meurers, Hauptberichterstatter Prof, W. Hinrichs, Dekan Prof, Dr. Bernd Engler, ...
angenommen von der Neuphilologischen Fakultät
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...
Integrating Twofold Case Retrieval and Complete Decision Replay in CAPLAN/CBC (1998)
Héctor Muñoz-Avila, Vom Fachbereich, Berichtstatter Prof, Prof Dr, Manuela Veloso, ...
In this thesis, different techniques for performing retrieval, adaptation and learning will be presented and integrated in the case-based planner CAPlan/CbC. The main purpose of this thesis is to...
Tag der mundlichen Qualifikation: 17.12.1997 (1997)
Dipl Inform, Christoph Schwarzweller, Dekan Prof, Dr. Ulrich Guntzer
Although generic programming founds more and more attention--- nowadays generic programming languages as well as generic libraries exist--- there are hardly approaches for the verification of generic...
des Fachbereichs Mathematik und Informatik der Mathematisch-Naturwissenschaftlichen Fakultt (1997)
Andreas Voigtmann, Andreas Voigtmann, Dekan Prof, ...
I would like to thank Prof. Dr. Klaus H. Hinrichs for his constant support and advice which made this work possible. I am grateful for his willingness to discuss the work at any time and his...
Preconditioners for Indefinite Problems (1995)
Axel Klawonn, Dekan Prof, Erster Gutachter, ...
Problem . . . . . . . . . . . . . . . . . . . . . . 7 1.2 The Petrov-Galerkin Method . . . . . . . . . . . . . . . . . . . 8 2 Iterative Methods and Preconditioners 11 2.1 Iterative Methods for...
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...
Type Systems for Computer Algebra (1993)
Doktors Der Naturwissenschaften, Andreas Weber, Dekan Prof, Dr. H. Klaeren
I Zusammenfassung III 1 Introduction 1 2 Prelude 7 2.1 Terminology : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 7 2.1.1 Abstract Data Types : : : : : : : : : : : : : : : : : : : :...
Type Systems for Computer Algebra (1993)
Andreas Weber, Dekan Prof, Dr. H. Klaeren
I Zusammenfassung III 1 Introduction 1 2 Prelude 7 2.1 Terminology : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 7 2.1.1 Abstract Data Types : : : : : : : : : : : : : : : : : : : :...