Hochschulschrift - Master (597)
9921.
Hochschulschrift - Master
Binned kd-tree Construction with SAH on the GPU. Master, Universität des Saarlandes, Saarbrücken (2009)
9922.
Hochschulschrift - Master
Analysis and Reconstruction of Protein Complex Topology. Master, Universität des Saarlandes, Saarbrücken (2009)
9923.
Hochschulschrift - Master
On the Translation of Timed Automata into First-order Logic. Master, Universität des Saarlandes, Saarbrücken (2009)
9924.
Hochschulschrift - Master
Analysis and Visualization of Residue Interaction Networks. Master, Universität des Saarlandes, Saarbrücken (2009)
9925.
Hochschulschrift - Master
Automatic Analysis of Tree-Based Feature Models with SPASS. Master, Universität des Saarlandes, Saarbrücken (2009)
9926.
Hochschulschrift - Master
Assessing the Conservation of Protein Function on Evolutionary Defined Patches. Master, Universität des Saarlandes, Saarbrücken (2009)
9927.
Hochschulschrift - Master
Static Detection of Parametric Loop Bounds on C Code. Master, Universität des Saarlandes, Saarbrücken (2009)
9928.
Hochschulschrift - Master
Quality in Phrase Mining. Master, Universität des Saarlandes, Saarbrücken (2009)
9929.
Hochschulschrift - Master
Parallel and Lazy Construction of Grids for Ray Tracing on Graphics Hardware. Master, Universität des Saarlandes, Saarbrücken (2009)
9930.
Hochschulschrift - Master
Message Passing Algorithms. Master, Universität des Saarlandes, Saarbrücken (2009)
9931.
Hochschulschrift - Master
Assessing Antibody Neutralization of HIV-1 as an Initial Step in the Search for gp160-based Immunogens. Master, XIV, 95 S., Universität des Saarlandes, Saarbrücken (2009)
9932.
Hochschulschrift - Master
Probabilistic Disease Gene Prioritization. Master, Universität des Saarlandes, Saarbrücken (2009)
9933.
Hochschulschrift - Master
Modeling Bug Reporter Reputation. Master, Universität des Saarlandes, Saarbrücken (2009)
9934.
Hochschulschrift - Master
A Useful Resource for Defect Prediction Models. Master, Universität des Saarlandes, Saarbrücken (2009)
9935.
Hochschulschrift - Master
Proof Representations for Higher-Order Logic. Master, Universität des Saarlandes, Saarbrücken (2009)
9936.
Hochschulschrift - Master
Time-aware Link Prediction in Evolving Social Networks. Master, Universität des Saarlandes, Saarbrücken (2009)
9937.
Hochschulschrift - Master
Pricing Information Goods in an Agent-based Information Filtering System. Master, Universität des Saarlandes, Saarbrücken (2008)
9938.
Hochschulschrift - Master
Efficient lont-term Secure Universally Composable Commitments. Master, Universität des Saarlandes, Saarbrücken (2008)
9939.
Hochschulschrift - Master
Molecular Dynamics Based Prediction of HIV-1 Drug Resistance. Master, Universität des Saarlandes, Saarbrücken (2008)
9940.
Hochschulschrift - Master
Personalization of Search on Structured Data. Master, Universität des Saarlandes, Saarbrücken (2008)