Grosse, K.: An Approach for Ontological Pattern-based Summarization. Master, X, 84 pp., Universität des Saarlandes, Saarbrücken (2016)

Insafutdinov, E.: Dense-CNN: Fully Convolutional Neural Networks for Human Body Pose Estimation. Master, 43 pp., Universität des Saarlandes, Saarbrücken (2016)

Kalofolias, J.: Maximum Entropy Models for Redescription Mining. Master, III, 51 pp., Universität des Saarlandes, Saarbrücken (2016)

Karessli, N.: Gaze Embeddings for Fine-Grained Zero-Shot Image Classification. Master, 72 pp., Universität des Saarlandes, Saarbrücken (2016)

Keller, S.: Finding Common Substructures in Viral Proteins Using Frequent Subgraph Mining. Master, Universität des Saarlandes, Saarbrücken (2016)

Meyerheim, M.: Viral Haplotype Assembly from HIV Patient Data. Master, Universität des Saarlandes, Saarbrücken (2016)

Mokarian Forooshani, A.: Deep Learning for Filling Blanks in Image Captions. Master, 66 pp., Universität des Saarlandes, Saarbrücken (2016)

Mukuze, N.: Interactive Boolean Matrix Factorization. Master, III, 68 pp., Universität des Saarlandes, Saarbrücken (2016)

Pasha, S.: ScheduleMe: personal assistant. Master, 71 pp., Universität des Saarlandes, Saarbrücken (2016)

Salyaeva, M.: Summarising and Recommending with Skipisodes. Master, Universität des Saarlandes, Saarbrücken (2016)

Scherer, M.: Dissecting DNA Methylation in Human Aging. Master, Universität des Saarlandes, Saarbrücken (2016)

Shah, A.: Recognizing Visual Activities. Master, 56 pp., Universität des Saarlandes, Saarbrücken (2016)

Spanier, D.: An Incremental Approach to Distilling Named Events from News Streams. Master, XI, 58 pp., Universität des Saarlandes, Saarbrücken (2016)

Wand, D.: More SPASS with Isabelle - Superposition with Hard Sorts and Configurable Simplification. Master, 22 pp., Universität des Saarlandes, Saarbrücken (2016)

Wójciak, B. A.: Spaghetti: Finding Storylines in Large Collections of Documents. Master, Universität des Saarlandes, Saarbrücken (2016)

Zhang, H.: Diversified Social Media Retrieval for News Stories. Master, Universität des Saarlandes, Saarbrücken (2016)

Halbe, M.: Skim: Alternative Candidate Selections for Slim through Sketching. Bachelor, X, 52 pp., Universität des Saarlandes, Saarbrücken (2016)

Lüssem, H.: Identifying Structural Variants Using Variant Graphs. Bachelor, Universität des Saarlandes, Saarbrücken (2016)

Rommes, B.: Genome-Wide Association Studies on Simulated Bacterial Genomes. Bachelor, Universität des Saarlandes, Saarbrücken (2016)

Ábrahám, E.; Abbott, J.; Becker, B.; Bigatti, A. M.; Brain, M.; Buchberger, B.; Cimatti, A.; Davenport, J. H.; England, M.; Fontaine, P. et al.; Forrest, S.; Griggio, A.; Kroening, D.; Seiler, W. M.; Sturm, T.: Satisfiability Checking and Symbolic Computation. (2016), 3 pp.