Thesis - PhD (22)
361.
Thesis - PhD
Saturation-based Decision Procedures for Fixed Domain and Minimal Model Semantics. Dissertation, Universität des Saarlandes, Saarbrücken (2010)
362.
Thesis - PhD
Randomized Rounding and Rumor Spreading with Stochastic Dependencies. Dissertation, Universität des Saarlandes, Saarbrücken (2010)
363.
Thesis - PhD
Reconsidering Light Transport: Acquisition and Display of Real-World Reflectance and Geometry. Dissertation, Universität des Saarlandes, Saarbrücken (2010)
364.
Thesis - PhD
Reasoning in Combinations of Theories. Dissertation, Universität des Saarlandes, Saarbrücken (2010)
365.
Thesis - PhD
Hierarchic Decision Procedures for Verification. Dissertation, 121 pp., Universität des Saarlandes, Saarbrücken (2010)
366.
Thesis - PhD
Random combinatorial structures and randomized search heuristics. Dissertation, Universität des Saarlandes, Saarbrücken (2010)
367.
Thesis - PhD
Kernelization of generic problems: upper and lower bounds. Dissertation, Universität des Saarlandes, Saarbrücken (2010)
368.
Thesis - PhD
Algorithmic Game Theory and Networks. Dissertation, Universität des Saarlandes, Saarbrücken (2010)
369.
Thesis - PhD
Digital Processing and Management Tools for 2D and 3D Shape Repositories. Dissertation, XIV, 137 pp., Universität des Saarlandes, Saarbrücken (2010)
370.
Thesis - PhD
Ontology-based Similarity Measures and their Application in Bioinformatics. Dissertation, Universität des Saarlandes, Saarbrücken (2010)
371.
Thesis - PhD
Formal Verification of Demand Paging. Dissertation, Universität des Saarlandes, Saarbrücken (2010)
372.
Thesis - PhD
Monocular Visual Scene Understanding from Mobile Platforms. Dissertation, XI, 158 pp., Technische Universität, Darmstadt (2010)
373.
Thesis - PhD
Characterization, Classification and Alignment of Protein-protein Interfaces. Dissertation, Universität des Saarlandes, Saarbrücken (2010)
Thesis - Master (17)
374.
Thesis - Master
Uniformization for Time-Inhomogeneous Markov Population Models. Master, Universität des Saarlandes, Saarbrücken (2010)
375.
Thesis - Master
Image-based Bilateral Symmetry Estimation. Master, VII, 61 pp., Universität des Saarlandes, Saarbrücken (2010)
376.
Thesis - Master
Automated Classification of Trampoline Motions Based on Inertial Sensor Input. Master, Universität des Saarlandes, Saarbrücken (2010)
377.
Thesis - Master
Construction of Virtual Worlds with Web 2.0 Technology. Master, Universität des Saarlandes, Saarbrücken (2010)
378.
Thesis - Master
Implementation and evaluation of an efficient, distributed replication algorithm in a real network. Master, Universität des Saarlandes, Saarbrücken (2010)
379.
Thesis - Master
Symmetry Detection in Images Using Belief Propagation. Master, X, 51 pp., Universität des Saarlandes, Saarbrücken (2010)
380.
Thesis - Master
A probabilistic algorithm for matching protein structures - and its application to detecting functionally relevant patterns. Master, Universität des Saarlandes, Saabrücken (2010)