Hochschulschrift - Master (599)
10161.
Hochschulschrift - Master
Combining Variational and Feature-based Methods for Motion Estimation. Master, Technische Universität München, München (2007)
10162.
Hochschulschrift - Master
Estimating the Local Variance of Protein Structure Models. Master, Universität des Saarlandes (2007)
10163.
Hochschulschrift - Master
Contextual Rewriting in SPASS. Master, Universität des Saarlandes, Saarbrücken (2007)
10164.
Hochschulschrift - Master
Efficient Representation and Processing of Incomplete Information. Master, Universität des Saarlandes, Saarbrücken (2006)
10165.
Hochschulschrift - Master
Topological Analysis of Biological Networks. Master, Universität des Saarlandes, Saarbrücken (2006)
10166.
Hochschulschrift - Master
Feature Prints: A new method for calculating molecular similarities. Master, Universität des Saarlandes, Saarbrücken (2006)
10167.
Hochschulschrift - Master
Predicting Component Failures at Early Design Time. Master, Universität des Saarlandes, Saarbrücken (2006)
10168.
Hochschulschrift - Master
Model Checking with Abstraction Refinement for Well-structured Systems. Master, 93 S., Universität des Saarlandes, Saarbrücken (2006)
10169.
Hochschulschrift - Master
Improving Fold Recognition Using Protein and Domain Interactions. Master, Universität des Saarlandes, Saarbrücken (2006)
10170.
Hochschulschrift - Master
EpiGRAPHregression: A toolkit for (epi-)genomic correlation analysis and prediction of quantitative attributes. Master, Universität des Saarlandes, Saarbrücken (2006)
10171.
Hochschulschrift - Master
Automatische Analyse von DHCP und höheren Infrasturkturdiensten mit SPASS. Master, Universität des Saarlandes, Saarbrücken (2006)
10172.
Hochschulschrift - Master
Flexible Backing-off Strategies for HMM based Named Entity Recognition. Master, Universität des Saarlandes, Saarbrücken (2006)
10173.
Hochschulschrift - Master
Sampling Rooted 3-Connected Planar Graphs in Deterministic Polynomial Time. Master, Humboldt-Universität zu Berlin, Saarbrücken (2006)
10174.
Hochschulschrift - Master
Automatische Analyse von Layer 3 Netzwerken mit SPASS. Master, Universität des Saarlandes, Saarbrücken (2006)
10175.
Hochschulschrift - Master
Automated conformational analysis of macrocyclic ring systems. Master, Universität des Saarlandes, Saarbrücken (2006)
10176.
Hochschulschrift - Master
Analysis of Real Algebraic Plane Curves. Master, Universität des Saarlandes, Saarbrücken (2006)
10177.
Hochschulschrift - Master
Extensions of the Knuth-Bendix Ordering with LPO-like Properties. Master, Universität des Saarlandes, Saarbrücken (2006)
10178.
Hochschulschrift - Master
A Goal-Directed Shortest Path Algorithm Using Precomputed Cluster Distances. Master, Universität des Saarlandes, Saarbrücken (2006)
10179.
Hochschulschrift - Master
A polynomial Time Randomized Parallel Approximation Algorithm for Finding Heavy Planar Subgraphs. Master, Universität des Saarlandes, Saarbrücken (2006)
10180.
Hochschulschrift - Master
Exact Integer Linear Programming with Bounded Variables in a Branch- and Cut Algorithm. Master, Universität des Saarlandes, Saarbrücken (2006)