1997
|
Name, Vorname | Thema der Arbeit | Betreuer |
Brauer, E. | MHEG2-Engine für Multimedia unter AIX und LINUX | Dr. Hänßgen |
Brümmer, F. | Entwurf und Implementation einer Patienten-Datenbank
zur Repräsentierung onkologischer Behandlungsverläufe | R. Müller |
Grübsch, Marco |
Objektorientierte Modellierung von Geo-Datenbanken für
ATKIS
(Amtliches Topographisch-Kartographisches Informationssystem) | Dr. Sosna |
Hemmecke, Ralf | Untersuchung verschiedener Dekompositionsverfahren für polynomiale Gleichungssysteme | Dr. Gräbe |
Michaelsen, N. | Beschreibung eines Einfach-Prozessors in VHDL, Verifikation und Implementierung
| Dr. Herrmann |
Mönch, Andrea | Spezifikation von Übersetzungsbedingungen und strukturellen
Änderungen durch Anwender automatischer Übersetzer | Prof. Heyer |
Mühlstein, H. | Theorie und Praxis analytischer Partitionierungsalgorithmen
| Prof. Günther Dr. Haupt Dr. K. Hering |
Prey, B. | Lernende zelluläre Automaten für die Realisierung eines intelligenten Systems zur Ozonprognose
| Dr. Der |
Reichel, A. | Frames zur Darstellung semantischen Wissens aus Lexika und deren Auswertung mit Hilfe von PROLOG
| Prof. Heyer |
Rogler, F. | Untersuchungen zur modellbasierten Diagnose
| Prof. Herre |
Schenk, Uwe |
Dynamische Lastverteilung bei Parallelisierung
eine s 2-dimensionalen Chemie Transport Modells
| Prof. Spruth |
Sieber, Ulrike |
Objekt-orientierte Client-Server-Programmierung unter OS2-VisualAge-C++ und DB2-Datenbank-Systeme
| Dr. Hänßgen |
Speer, R. | Modellierung und Realisierung einer
Client/Server-Datenbank zur Erfassung und Auswertung
medizinischer Studien | Prof. Rahm Prof. Löffler |
1996
|
Name, Vorname | Thema der Arbeit | Betreuer |
Beese, Holger |
Performanceanalyse von ATM-Netzwerken in Form von Durchsatzmessungen
unter "Classical IP over ATM" und "LAN Emulation over ATM"
| Dr. Hänßgen |
Braun, Steffen | Untersuchung von Möglichkeiten des Einsatzes dezentraler Intelligenz
an einer Spritzgußmaschine | Dr. Herrman |
Bublys, Frank |
Modellierung von Zugriffsberechtigungen - Konzepte und Verfahren
| Prof. Spruth |
Hebisch, Torsten | Eine generische Workflow-Architektur zur Integration von
Vorgangssteuerungssystemen und Groupware-Plattformen | Prof. Heyer Dr. Quasthof |
Heider, Uwe-Karsten | Nutzung der Derivationsmorphologie zur Entwicklung eines
Werkzeugs für die morpho-syntaktische Vervollständigung eines
allgemeinsprach-lichen deutschen Lexikons | Prof. Heyer |
Kieling, Björn |
Leistungsuntersuchung von Multimedia-Anwendungen in
ATM-Netzwerken
| Dr. Lieske |
Knotek, Olaf |
Leistungsanalyse in Rechnernetzen - Untersuchungen an
Novell- und TCP/IP-Netzen unter DOS, WINDOWS und OS2
| Dr. Hänßgen |
Könnecke, Nico | Entwicklung eines Verfahrens zur inhaltlichen Analyse von Texten auf
dere Grundlage einer oberflächen-orientierten Semantik | Prof. Heyer |
Maneira, Esperanca | Die closed-World-Asumption in der modularen Expertensystem-Architektur DESIRE | Prof. Herre |
Misraoui, Samira | Automatische Planung mit negativer Information | Prof. Herre |
Mochalski, Klaus |
Entwurf und Implementierung eines Protokolldekoders
| Dr. Hänßgen |
Müller, Silke |
Untersuchungen zur perspektivischen Gestaltung des
Kommunikationssystems der R+V Versicherung unter
Berücksichtigung von Lotus Notes
| Dr. Hering |
Pohlack, Jana | Kapitalmarktanalyse und Zeitreihenprognose mit Methoden der Neuroinformatik | Dr. Der |
Sachs, Andrea | Automatische Erkennung morhpa-syntaktischer Merkmale unbekannter
Wörter im Kontexte | Prof. Heyer |
Schmalzried, Dirk | Evolutionäre Algorithmen für planungsoptimierende Systeme
autonomer Agenten | Dr. Der |
Schöbe, Ingo | Erstellung einer CSCW Kooperationsarchitektur unter Verwendung einer
Klassifikation von Groupware Basisdiensten | Prof. Heyer |
Sträuber, Peter |
Entwicklung eines Konzeptes und Implementierung eines
Software-Werkzeuges zur Analyse von ATM Verbindungen
| Dr. Hänßgen |
Tittel, Carsten | Entwicklung und Implementierung eines Signalsicherungs-Testtools zur
Evalierung von ATM-Komponenten | Prof. Spruth |
Trautzsch, Sascha | Entwicklung einer Methode zur Durchführung von Induktionsexperimenten
für die Erstellung von Entscheidungsbäumen u.Regelsätzen | Dr. Der |
Walther, Lars | Evolutionäre Algorithmen für planungsoptimierende Systeme autonomer Agenten | Dr. Der |
Weigenand, Dirk | Analyse des Zeitverhaltens und der Ressourcennutzung von Protkollstacks | Prof. Spruth |
Wellner, Jörg | Verteilte aktive Medien in der neuronalen Informationsverarbeitung | Dr. Schierwagen |
Wittig, Thomas | Überlegungen zu einer Integration von Wissensrepresentation und
Semantik unter Ausnutzung der Grundzüge der Montagesemantik | Prof. Heyer |
Mathematisches Institut |
Döhler, Denis |
Entwurf und Implementierung eine parallelen Logiksimulators
auf Basis von TEXSIM
| Dr. Hering |
1995
|
Name, Vorname | Thema der Arbeit | Betreuer |
Biedermann, Sven | Objektbauelemente u. Objektbaugruppen für die Wiederverwendung von
Software | Prof. Herre |
Hartmann, Knut | Konzeption und prototypische Implementierung eines Abstraktionsbeweises | Prof. Herre |
Kasimir, Thomas | Verfikation paralleler SDL Prozesse (gemäß Anlage) | Prof. Herre |
Meckelburg, Nanette | Projektorientierte Analyse beim Business Reengineering | Prof. Herre |
Mathematisches Institut |
Apel, Ralf | Untersuchungen zum Resolventenkalkül | Prof. Herre |
Eisele, Christian | Gröbnerbasen von ein - und zweiseitigen Moduln über
nichtkommentativen Algebren | Dr. Apel |
Haase, Martina | Topographische Vektorquantisierung für restringierte Optimierungsprobleme | Dr. Der |
Rigo, Zoltan | Untersuchung zum automatischen Beweisen für ??? | Prof. Herre |
Stanek, Hagen | Ein Steuerungsansatz für eine 6-beinige Laufmaschine | Dr. Schierwagen |
Vogel, R. | Transformation von Metadaten eines
SQL-Datenbanksystems in den SQL92-Standard | (Abt. DB) |
1994
|
Name, Vorname | Thema der Arbeit | Betreuer |
Mathematisches Institut |
Schlünz, Uwe | Die Anwendung von Kompressionsalgorithmen in Bilddateiformaten | Dr. Sosna |
Zschöttge, Steffen | Zellulare Automaten und ihre Anwendung bei der Erzeugung graphischer
Muster, insbesondere bei der Modelierung von Wellenerscheinungen | Prof. Gerber |