Donnerstag, 12. November 2009, 15:00 Uhr, Seminarraum i1
Dipl.-Inform. Stefan Richter
World Libraries - towards efficiently
sharing large data volumes in open untrusted environments while
preserving privacy
Dienstag, 27. Oktober 2009, 14:00 Uhr, Hörsaal AH I
Dipl.-Inform. Jan Kritzner
Tunable Video Streaming for Wireless Access Networks
Freitag, 16. Oktober 2009, 11:00 Uhr, Hörsaal AH III
Dipl.-Inform. Tingting Han
Diagnosis, Synthesis and Analysis of Probabilistic Models
Mittwoch, 23. September 2009, 14:00 Uhr, Hörsaal AH I
Dipl.-Inform. Stefan Rieger
Verification of Pointer Programs
Montag, 31. August 2009, 14:00 Uhr, Hörsaal AH I
Dipl.-Inform. Carsten Kern
Learning Communicating and Nondeterministic
Automata
Donnerstag, 23. Juli 2009, 14:30 Uhr, Seminarraum 4017 (i1)
Dipl.-Inform. Joachim Kneis
Intuitive Algorithmen
Donnerstag, 25. Juni 2009, 15:30 Uhr, Seminarraum 5052
Dipl.-Inform. Anne-Therese Körtgen
Modellierung von Konsistenzsicherungswerkzeugen für simultane Dokumentenentwicklung
Donnerstag, 30. April 2009, 12:30 Uhr, Hörsaal AH V
Dipl.-Ing. Maja Popovic
Machine translation: statistical approach with additional linguistic knowledge
Freitag, 17. April 2009, 14 Uhr, Seminarraum 5056
Dipl.-Inform. Christof Mosler
Graphbasiertes Reengineering von Telekommunikationssystemen
Donnerstag, 12. Februar 2009, 17 Uhr, Seminarraum 5052
Dipl.-Inform. Stefan Penz
Konfigurationsfreie Diensteverwaltung
in dynamischen Netzwerken
Dienstag, 10. Februar 2009, 10 Uhr, Seminarraum 5056
Dipl.-Inform. Lexi Pimenidis
Holistische Sicherheit in offenen Netzwerken
Donnerstag, 5. Februar 2009, 9 Uhr, Seminarraum E.11
Dipl.-Inform. Ingo Assenmacher
Low Latency Technology for Virtual Environments
Dienstag, 3. Februar 2009, 12 Uhr, Seminarraum 2323
Dipl.-Inform. Daniel Klünder
Entwurf eingebetteter Software mit abstrakten Zustandsmaschinen und Business Object Notation
Mittwoch, 28. Januar 2009, 15 Uhr, AH III
Dipl.-Inform. Alexander Nyßen
Model-Based Construction of Embedded & Real-Time Software – A
Methodology for Small Devices
Dienstag, 27. Januar 2009, 15 Uhr, Seminarraum 5054
Dipl.-Inform. Stefan Diepolder
Service Management für nomadische Benutzer in konvergierenden Netzen
Freitag, 9. Januar 2009, 15 Uhr, Seminarraum 4017
Dipl.-Inform. Heiner Ackermann
Nash-Gleichgewichte und Verbesserungsdynamiken in Congestion-Spielen
Mittwoch, 7. Januar 2009, 16 Uhr, Seminarraum des Rechen- und Kommunkationszentrums, Dienstgebäude Seffenter Weg 23
Dipl.-Inf. Andre Vehreschild
Automatisches Differenzieren für MATLAB
Dienstag, 23. Dezember 2008, 11 Uhr, Seminarraum 6317
Dipl.-Inform. Alexander Hornung
Shape Representations for Image-Based Applications
Montag, 8. Dezember 2008, 12 Uhr, Seminarraum 5052
Dipl.-Inform. Karl-Heinz Krempels
Agentenbasierte Ablaufplanung
Montag, 8. Dezember 2008, 8:15 Uhr, Hörsaal AH I
Dipl.-Inform. Jan Peter Schneider-Kamp
Static Termination Analysis for Prolog using Term
Rewriting and SAT Solving
Dienstag, 2. Dezember 2008, 16 Uhr, Seminarraum 5056
Dipl.-Inform. Thomas Deselaers
Image Retrieval, Object Recognition, and Discriminative Models
Mittwoch, 12. November 2008, 9 Uhr, Seminarraum 2323
Dipl.-Inform. Dirk Wilking
Empirische Untersuchungen zur Anwendbarkeit agiler Methoden bei eingebetteten Systemen
Mittwoch, 29. Oktober 2008, 16 Uhr, Hörsaal AH III
Florian Horn, M. Sc.
Random Games
Mittwoch, 8. Oktober 2008, 11:00 Uhr, Hörsaal AH III
Dipl.-Ing. Falk Salewski
Empirische Untersuchungen sicherheitskritischer eingebetteter Systeme
(Empirical Evaluatinos if Safety-Critical Embedded Systems)
Freitag, 5. September 2008, 14:00 Uhr, Raum 5052
Dipl.-Inform. Martin Sedlmayr
Proaktive Assistenz zur kontextabhängigen und zielorientierten Unterstützung bei der
Indikationsstellung und Anwendung von Behandlungsmaßnahmen in der Intensivmedizin
Dienstag, 2. September 2008, 14:00 Uhr, Raum 5052
Dipl.-Wirt.-Math. Gertraud Peinel
Planung und Umsetzung von Geschäftsmodellen für eGovernmentdienste in Public Privat Partnerships
Donnerstag, 10. Juli 2008, 13:45 Uhr, Hörsaal AH V
Shahram Khadivi, M. Sc. Comp. Eng.
Statistical Computer-Assisted Translation
Donnerstag, 26. Juni 2008, 11 Uhr, Hörsaal AH V
Dipl.-Math. Dipl.-Inform. Łukasz Kaiser
Logic and Games on Automatic Structures
Dienstag, 24. Juni 2008, 10 Uhr, Raum 5056
Dipl.-Inform. Christoph Brochhaus
Efficient Indexing and View-dependent Ranking in CFD Databases
Montag, 16. Juni 2008, 14 Uhr, Raum 4017
Dipl.-Inf. Ulrike Ranger
Modellgetriebene Entwicklung verteilter Systeme mit Graphersetzungssprachen
Mittwoch, 4. Juni 2008, 10 Uhr, Hörsaal AH III
Dipl.-Inform. Bastian Schlich
Model Checking of Software for Microcontrollers
Freitag, 30. Mai 2008, 16 Uhr, Raum 4017
Dipl.-Inform. Matthias Englert
Online Scheduling-Algorithmen zur Verwaltung von Puffern
Donnerstag, 10. April 2008, 14 Uhr, Raum 4017
Dipl.-Inform. Heiko Röglin
Die Komplexität von Nash-Gleichgewichten, lokalen Optima und Pareto-optimalen Lösungen
Freitag, 29. Februar 2008, 10 Uhr, Raum 5056
Dipl.-Inform. Richard Zens
Phrase-based Statistical Machine Translation: Models, Search, Training
Dienstag, 26. Februar 2008, 10 Uhr, Raum 5052
Dipl.-Inform. Ira Assent
Efficient Adaptive Retrieval and Mining in Large Multimedia Databases
Mittwoch, 6. Februar 2008, 15 Uhr, Raum 5056
Dipl.-Inform. Markus Heller
Dezentralisiertes sichtenbasiertes Management organisationsübergreifender Entwicklungsprozesse
Donnerstag, 20. Januar 2008, 14 Uhr, Raum 5054
Dipl.-Inform. Emmanuel Kwami Nayo
Monitoring-Datenbank-Konzepte für Kreditinstitute
in der Dritten Welt am Beispiel Togo
Donnerstag, 20. Dezember 2007, 11:30 Uhr, Raum 5052
Dipl.-Inform. Alexander Ferrein
Robot Controllers for Highly Dynamic Environments With
Real-time Constraints
Mittwoch, 28. November 2007, 15:00 Uhr, Raum 5056
Dipl.-Inform. Christian Seeling
MultiView-Systeme zur explorativen Analyse unstrukturierter Information
Mittwoch, 24. Oktober 2007, 15:00 Uhr, Hörsaal AH III
Dipl.-Inform. René Thiemann
The DP Framework for Proving Termination of Term Rewriting
Dienstag, 23. Oktober 2007, 15:00 Uhr, Seminarraum Informatik 1 (Raum 4017)
Dipl.-Inform. Daniel Mölle
Exact Algorithms Based on Specific Complexity Measures for Hard Problems