Thesis - Master (27)
341.
Thesis - Master
Feature Prints: A new method for calculating molecular similarities. Master, Universität des Saarlandes, Saarbrücken (2006)
342.
Thesis - Master
Predicting Component Failures at Early Design Time. Master, Universität des Saarlandes, Saarbrücken (2006)
343.
Thesis - Master
Model Checking with Abstraction Refinement for Well-structured Systems. Master, 93 pp., Universität des Saarlandes, Saarbrücken (2006)
344.
Thesis - Master
Improving Fold Recognition Using Protein and Domain Interactions. Master, Universität des Saarlandes, Saarbrücken (2006)
345.
Thesis - Master
EpiGRAPHregression: A toolkit for (epi-)genomic correlation analysis and prediction of quantitative attributes. Master, Universität des Saarlandes, Saarbrücken (2006)
346.
Thesis - Master
Automatische Analyse von DHCP und höheren Infrasturkturdiensten mit SPASS. Master, Universität des Saarlandes, Saarbrücken (2006)
347.
Thesis - Master
Flexible Backing-off Strategies for HMM based Named Entity Recognition. Master, Universität des Saarlandes, Saarbrücken (2006)
348.
Thesis - Master
Sampling Rooted 3-Connected Planar Graphs in Deterministic Polynomial Time. Master, Humboldt-Universität zu Berlin, Saarbrücken (2006)
349.
Thesis - Master
Automatische Analyse von Layer 3 Netzwerken mit SPASS. Master, Universität des Saarlandes, Saarbrücken (2006)
350.
Thesis - Master
Automated conformational analysis of macrocyclic ring systems. Master, Universität des Saarlandes, Saarbrücken (2006)
351.
Thesis - Master
Analysis of Real Algebraic Plane Curves. Master, Universität des Saarlandes, Saarbrücken (2006)
352.
Thesis - Master
Extensions of the Knuth-Bendix Ordering with LPO-like Properties. Master, Universität des Saarlandes, Saarbrücken (2006)
353.
Thesis - Master
A Goal-Directed Shortest Path Algorithm Using Precomputed Cluster Distances. Master, Universität des Saarlandes, Saarbrücken (2006)
354.
Thesis - Master
A polynomial Time Randomized Parallel Approximation Algorithm for Finding Heavy Planar Subgraphs. Master, Universität des Saarlandes, Saarbrücken (2006)
355.
Thesis - Master
Exact Integer Linear Programming with Bounded Variables in a Branch- and Cut Algorithm. Master, Universität des Saarlandes, Saarbrücken (2006)
356.
Thesis - Master
Sampling and Interpolation of the Plenoptic Function from Sparse Data. Master, Universität des Saarlandes, Saarbrücken (2006)
357.
Thesis - Master
Abstrakte Übergangsrelationen als Mittel zur Verifikation von Programmeigenschaften. Master, Universität des Saarlandes, Saarbrücken (2006)
358.
Thesis - Master
Dynamics in Large-Scale Peer-to-Peer-Networks. Master, Universität des Saarlandes, Saarbrücken (2006)
359.
Thesis - Master
Time-series Rule Discovery on Gene Expression Data. Master, Universität des Saarlandes, Saarbrücken (2006)
360.
Thesis - Master
An Asymptomic Approximation Scheme for Multigraph Edge Coloring. Master, Universität des Saarlandes, Saarbrücken (2006)