Hochschulschrift - Master (487)

107421.
Hochschulschrift - Master
Hritcu, C.: Step-indexed Semantic Model of Types for the Functional Object Calculus. Master, Universität des Saarlandes, Saarbrücken (2007)
107422.
Hochschulschrift - Master
Machablishvili, L.: Computing k-hop Broadcast Trees Exactly. Master, Universität des Saarlandes, Saarbrücken (2007)
107423.
Hochschulschrift - Master
Mileva, Y.: Invariance with Optic Flow. Master, Universität des Saarlandes, Saarbrücken (2007)
107424.
Hochschulschrift - Master
Nenova, S.: Extraction of Attack Signatures. Master, Universität des Saarlandes, Saarbrücken (2007)
107425.
Hochschulschrift - Master
Pool, D.: Pilot Control in Compensatory Roll Axis Tracking Tasks. Master, Delft University of Technology, Delft, The Netherlands (2007)
107426.
Hochschulschrift - Master
Strauss, M.: Realtime Generation of Multimodal Affective Sports Commentary for Embodied Agents. Master, Universität des Saarlandes, Saarbrücken (2007)
107427.
Hochschulschrift - Master
Valgaerts, L.: Combining Variational and Feature-based Methods for Motion Estimation. Master, Technische Universität München, München (2007)
107428.
Hochschulschrift - Master
Ashfaq, A.: Numerical Solutions of Population Balance Models for Crystallization Porcesses. Master, Otto-von-Guericke-Universität, Magdeburg (2006)
107429.
Hochschulschrift - Master
Antova, L.: Efficient Representation and Processing of Incomplete Information. Master, Universität des Saarlandes, Saarbrücken (2006)
107430.
Hochschulschrift - Master
Demir, M.: Predicting Component Failures at Early Design Time. Master, Universität des Saarlandes, Saarbrücken (2006)
107431.
Hochschulschrift - Master
Dimitrova, R.: Model Checking with Abstraction Refinement for Well-structured Systems. Master, 93 S., Universität des Saarlandes, Saarbrücken (2006)
107432.
Hochschulschrift - Master
Dingemanse, M.: The semantics of Bantu noun classification: A review and comparison of three approaches. Master, 25 S., Leiden University (2006)
107433.
Hochschulschrift - Master
Lennert, T.: Attentional Modulation Induced by Statistical Learning. Master, Eberhard-Karls-Universität, Tübingen, Germany (2006)
107434.
Hochschulschrift - Master
Osipov, V.: A polynomial Time Randomized Parallel Approximation Algorithm for Finding Heavy Planar Subgraphs. Master, Universität des Saarlandes, Saarbrücken (2006)
107435.
Hochschulschrift - Master
Tolosi, L.: Analysis of Array CGH Data for the Estimation of Genetic Tumor Progression. Master, Universität des Saarlandes, Saarbrücken (2006)
107436.
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)
107437.
Hochschulschrift - Master
Chernov, S.: Result Merging in a Peer-to-Peer Web Search Engine. Master, Universität des Saarlandes, Saarbrücken (2005)
107438.
Hochschulschrift - Master
Cotton, S.: Satisfiability Checking with Difference Constraints. Master, Universität des Saarlandes, Saarbrücken (2005)
107439.
Hochschulschrift - Master
Dong, Z.: Relevant Technology Study on Programmable Graphics Hardware. Master, 65 S., Zhejiang University, Zheijang (2005)
107440.
Hochschulschrift - Master
Hussain, S. S.: Enconding a Hierarchical Proof Data Structure for Contextual Reasoning in a Logical Framework. Master, Universität des Saarlandes, Saarbrücken (2005)
Zur Redakteursansicht