Hochschulschrift - Master (492)

110041.
Hochschulschrift - Master
Alvarez Amaya, V.: Approximation of Minimum Spanning Trees of Set of Points in the Hausdorff Metric. Master, Universit├Ąt des Saarlandes (2007)
110042.
Hochschulschrift - Master
Elbassuoni, S.: Adaptive Personalization of Web Search. Master, Universit├Ąt des Saarlandes, Saarbr├╝cken (2007)
110043.
Hochschulschrift - Master
Horozal, F. F.: Towards a Natural Representation of Mathematics in Proof Assistants. Master, Universit├Ąt des Saarlandes, Saarbr├╝cken (2007)
110044.
Hochschulschrift - Master
Hritcu, C.: Step-indexed Semantic Model of Types for the Functional Object Calculus. Master, Universit├Ąt des Saarlandes, Saarbr├╝cken (2007)
110045.
Hochschulschrift - Master
Machablishvili, L.: Computing k-hop Broadcast Trees Exactly. Master, Universit├Ąt des Saarlandes, Saarbr├╝cken (2007)
110046.
Hochschulschrift - Master
Mileva, Y.: Invariance with Optic Flow. Master, Universit├Ąt des Saarlandes, Saarbr├╝cken (2007)
110047.
Hochschulschrift - Master
Nenova, S.: Extraction of Attack Signatures. Master, Universit├Ąt des Saarlandes, Saarbr├╝cken (2007)
110048.
Hochschulschrift - Master
Pool, D.: Pilot Control in Compensatory Roll Axis Tracking Tasks. Master, Delft University of Technology, Delft, The Netherlands (2007)
110049.
Hochschulschrift - Master
Strauss, M.: Realtime Generation of Multimodal Affective Sports Commentary for Embodied Agents. Master, Universit├Ąt des Saarlandes, Saarbr├╝cken (2007)
110050.
Hochschulschrift - Master
Valgaerts, L.: Combining Variational and Feature-based Methods for Motion Estimation. Master, Technische Universit├Ąt M├╝nchen, M├╝nchen (2007)
110051.
Hochschulschrift - Master
Ashfaq, A.: Numerical Solutions of Population Balance Models for Crystallization Porcesses. Master, Otto-von-Guericke-Universit├Ąt, Magdeburg (2006)
110052.
Hochschulschrift - Master
Antova, L.: Efficient Representation and Processing of Incomplete Information. Master, Universit├Ąt des Saarlandes, Saarbr├╝cken (2006)
110053.
Hochschulschrift - Master
Demir, M.: Predicting Component Failures at Early Design Time. Master, Universit├Ąt des Saarlandes, Saarbr├╝cken (2006)
110054.
Hochschulschrift - Master
Dimitrova, R.: Model Checking with Abstraction Refinement for Well-structured Systems. Master, 93 S., Universit├Ąt des Saarlandes, Saarbr├╝cken (2006)
110055.
Hochschulschrift - Master
Dingemanse, M.: The semantics of Bantu noun classification: A review and comparison of three approaches. Master, 25 S., Leiden University (2006)
110056.
Hochschulschrift - Master
Lennert, T.: Attentional Modulation Induced by Statistical Learning. Master, Eberhard-Karls-Universit├Ąt, T├╝bingen, Germany (2006)
110057.
Hochschulschrift - Master
Osipov, V.: A polynomial Time Randomized Parallel Approximation Algorithm for Finding Heavy Planar Subgraphs. Master, Universit├Ąt des Saarlandes, Saarbr├╝cken (2006)
110058.
Hochschulschrift - Master
Tolosi, L.: Analysis of Array CGH Data for the Estimation of Genetic Tumor Progression. Master, Universit├Ąt des Saarlandes, Saarbr├╝cken (2006)
110059.
Hochschulschrift - Master
Alexa, A.: Integrating the GO Graph Structure in Scoring the Significance of Gene Ontology Terms. Master, Universit├Ąt des Saarlandes, Saarbr├╝cken (2005)
110060.
Hochschulschrift - Master
Chernov, S.: Result Merging in a Peer-to-Peer Web Search Engine. Master, Universit├Ąt des Saarlandes, Saarbr├╝cken (2005)
Zur Redakteursansicht