University Of Osnabrück

Institute Of Computer Science

Theoretical Computer Science
and Bioinformatics

Home

People

Research

Publications

Theses

Teaching

Materials

Available Theses

We always offer a lot of different bachelor and master theses in the area of bioinformatics. Feel free to ask us about it.

Current Theses

PhD Theses
Lena Scheubert Detection of pluripotency genes

Completed Theses

Bachelor Theses
Anna Hallerbach 2008 Metaheuristics and their Application in Bioinformatics
Sophie Schneiderbauer 2008 RNA Secondary Structure Prediction
Katharina von Carlowitz 2008 Hybrid Genetic Algorithm for Protein Folding Simulations in the 2D HP model
Bodo Runde 2007 Parallel Algorithms in Bioinformatics
Maria-Hendrike Peetz 2007 Using Suffix Trees for Text categorization in Computational Linguistics

Master Theses
Klaus Dalinghaus 2001 Realisierung und Optimierung eines Neuro-Fuzzy Systems zur Erkennung rhythmischer Muster
Garrit Jentsch 2001 Über temporale Kodierungsmechanismen und deren Relevanz für die Lösung des Bindungsproblems

Diploma Theses
Alexander Scholübbers 2007 NP-vollständige Probleme in der Bioinformatik
Christian Meyer 2002 Adaptive Kontrollarchitekturen für komplexe Systeme am Beispiel eines sechsbeinigen Roboters
Thorsten Bojer 2002 Maschinenüberwachung mit Methoden des maschinellen Lernens
Markus Weßjohann 2001 Modellierung des Verhaltens von Web-Nutzern mit Hilfe rekurrenter neuronaler Netze
Ottmar Bünnemeyer 2000 Schiffsdetektion mit neuronalen Netzen unter Verwendung automatischer Merkmals- und Klassifikatorbewertungsverfahren
Markus Hermes 1999 Klassifikation von Korrosionsstellen in der Pipelineauswertung unter der Verwendung von Ensembles modularer neuronaler Netze
Steffen Klamt 1998 Mustererkennung unter Echtzeit-Bedingungen mit deren Anwendung bei der Unterscheidung von Mais und Beikräutern
Joachim Löning 1997 Gradientenverfahren und Generalisierung bei vorwärtsgerichteten neuronalen Netzen
Stefan Lahrmann 1996 Operationale Aspekte und Implementationstechniken zur Default-Logik
Elmar Langetepe 1994 Betrachtung einzelner Default-Logik-Ansätze unter Verwendung eines operationalen Extensionenmodells
Armin Tischler 1994 Die Nadelöhridee in Mehragentensystemen
Holger Merkel 1994 Kalküle für logisches Programmieren mit Gleichheit
Peter Hüsener 1992 Spielprogrammierung in Prolog mit einer Lernkomponente
Wilfried Hötker 1990 Zur praktischen Verifikation von Modulen mit dem Hoare-Kalkül
Oliver Jack 1989 Fairer Austausch von Informationen – zahlentheoretische Grundlagen und Anwendungen
Ingrid Breymann 1987 Wohlkonzipiertheit von Datenstrukturen aus komplexitätstheoretischer Sicht
Guido Moerkotte 1986 Unwind Property
Thomas Kiefer 1986 Untere Komplexitätsschranken bei problemorientierten Programmiersprachen
Maritta Heisel 1984 Charakterisierbarkeit von Datenstrukturen in der Programmlogik
Grigorios Antoniou 1984 Vollständigkeit des Hoareschen Kalküls über verschiedenen Datenstrukturen
Martin Kummer 1984 Rekursiv aufzählbare Familien berechenbarer Funktionen
Heinrich Braun 1983 Beiträge zur Strukturtheorie von NP

PhD Theses
Timo Steffens 2006 Integration von unvollkommenem regelbasierten Hintergrundwissen in Ähnlichkeitsmaße (Enhancing Similarity Measures with Imperfect Rule-based Background Knowledge)
Barbara Hammer 1999 Learning with Recurrent Neural Networks
Ute Matecki 1998 Automatische Merkmalsauswahl für Neuronale Netze mit Anwendung in der pixelbezogenen Klassifikation von Bildern
Grigoris Antoniou 1989 Verification of modular programs