Thesis - PhD (12)
281.
Thesis - PhD
Die XXL-Suchmaschine zur ontologiebasierten Ähnlichkeitssuche in XML-Dokumenten. Dissertation, Universität des Saarlandes, Saarbrücken (2004)
282.
Thesis - PhD
Efficient Algorithms for Constraint Propagation and for Processing Tree Descriptions. Dissertation, Universität des Saarlandes, Saarbrücken (2004)
283.
Thesis - PhD
Realtime Ray Tracing and Interactive Global Illumination. Dissertation, Universität des Saarlandes, Saarbrücken (2004)
284.
Thesis - PhD
Collision detection for Curved Rigid Objects in the Context of Dynamics Simulations. Dissertation, Universität des Saarlandes, Saarbrücken (2004)
285.
Thesis - PhD
Optimal Global Instruction Scheduling for the Itanium® Processor Architecture. Dissertation, Universität des Saarlandes, Saarbrücken (2004)
Thesis - Habilitation (1)
286.
Thesis - Habilitation
Algebraic and logical methods in automated theorem proving and in the study of concurrency. Habilitation, Universität des Saarlandes, Saarbrücken (2004)
Thesis - Diploma (12)
287.
Thesis - Diploma
Entwurf und Implementierung eines Mobile-Access-Servers. Diploma, Universität des Saarlandes, Saarbrücken (2004)
288.
Thesis - Diploma
Time-aware and Trend-based Authority Ranking. Diploma, Universität des Saarlandes, Saarbrücken (2004)
289.
Thesis - Diploma
Advanced Divide-and-Conquer Algorithms for Computing Two-Hop Covers for Large Collections of XML Documents. Diploma, Universität des Saarlandes, Saarbrücken (2004)
290.
Thesis - Diploma
Generische Anbindung von Datenhaltungssystemen mit Web Services am Beispiel von SAP R/3. Diploma, Universität des Saarlandes, Saarbrücken (2004)
291.
Thesis - Diploma
Reflectance of Human Faces: Image-Based Measurement and Modeling. Diploma, Universität des Saarlandes, Saarbrücken (2004)
292.
Thesis - Diploma
Ein automatisches Annotationswerkzeug für HTML- und XML-Daten unter Verwendung von Hidden Markov Models und Named Entity Recognition. Diploma, Universität des Saarlandes, Saarbrücken (2004)
293.
Thesis - Diploma
Instance Generation Methods for Automated Reasoning. Diploma, Universität des Saarlandes, Saarbrücken, Saarland (2004)
294.
Thesis - Diploma
Query-Log-based Authority Analysis for Web Information Search. Diploma, Universität des Saarlandes, Saarbrücken (2004)
295.
Thesis - Diploma
Query-log based Authority Analysis for Web Information Search. Diploma, Universität des Saarlandes, Saarbrücken (2004)
296.
Thesis - Diploma
External Memory Suffix Array Construction. Diploma, Universität des Saarlandes, Saarbrücken (2004)
297.
Thesis - Diploma
Local sequence-structure relationships in proteins. Diploma, Friedrich-Alexander-Universität Erlangen-Nürnberg, Erlangen-Nürnberg (2004)
298.
Thesis - Diploma
Symbolic Shape Analysis. Diploma, Universität des Saarlandes, Saarbrücken (2004)
Thesis - Master (26)
299.
Thesis - Master
A Linear Time Algorithm for Integer Programming in the Plane. Master, Universität des Saarlandes, Saarbrücken (2004)
300.
Thesis - Master
BRDF Reconstruction from Video Streams of Multi-View Recordings. Master, Universität des Saarlandes, Saarbrücken (2004)