Montag, 27. Mai 2013, 14:00 Uhr, Raum 025, Mies-van-der-Rohe-Str. 15
Dipl.-Inform. Lars Krecklau
The Algorithmic Beauty of Cities
Freitag, 24. Mai 2013, 10:00 Uhr, Seminarraum 2222, Ahornstraße 55 (Altbau)
Dipl.-Inform. Thorsten Karrer
Semantic Navigation in Digital Media
Donnerstag, 16. Mai 2013, 15.15 Uhr, Raum 5056, Ahornstr. 55
Dipl.-Inform. Raimondas Sasnauskas
Symbolic Execution of Distributed Systems
Dienstag, 30. April 2013, 16.00 Uhr, Raum 4017, Ahornstr. 55, E1
Dipl.-Inform. Marcel Ochel
Approximation and Online Algorithms for Selected Network Optimization Problems
Freitag, 26. April 2013, 13:00 Uhr, Raum 5053.2, Ahornstr. 55
Dipl.-Inform. Jens Claßen
Planning and Verification in the Agent Language Golog
Dienstag, 23. April 2013, 16.00 Uhr, AH III, Ahornstr. 55
Dipl.-Inform. Diana Fischer
The Quantitative mu-Calculus
Freitag, 22. März 2013, 15.00 Uhr, Seminarraum 5053.2, Ahornstr. 55
Manh Cuong Pham, M. Sc.
Dynamic Social Network Analysis and Recommender Technologies In Scientific Communities: The Case of Computer Science
Donnerstag, 21. März 2013, 14:00 Uhr, Seminarraum 5053.2, Ahornstr. 55
Dipl.-Inform. Christian Prause, DLR
Improving the Internal Quality of Software through Reputation-based Gamification
Donnerstag, 21. März 2013, 10.00 Uhr, Raum 5052, Ahornstr. 55
Dipl.-Inform. Daniel Herding
The Tutor-in-the-Loop Model for Formative Assessment
Montag, 4. März 2013, 13.00 Uhr, AH I, Ahornstr. 55
Dipl.-Inform. Haidi Yue
Analyzing Energy Consumption of
Wireless Networks: A Model-based Approach
Freitag, 1. März 2013, 14.00 Uhr, Hörsaal AH I, Ahornstr. 55
Dipl.-Inform. Georg Kunz
Exploiting Multi-core Systems for Parallel Network Simulation
Dienstag, 19. Februar 2013, 16:00 Uhr, AH 1, Ahornstr. 55
Dipl.-Inform. Roman Rabinovich
Graph Complexity Measures and Monotonicity
Montag, 18. Februar 2013, 16.00 Uhr, Seminarraum I1 (4017), Ahornstr. 55
Dipl.-Inform. Alexander Langer
Fast Algorithms for Decomposable
Graphs
Dienstag, 29. Januar 2013, 16:15 Uhr, AH 3, Ahornstr. 55
Dipl.-Inform. Wladimir Fridman
A Study of Pushdown Games
Montag, 28. Januar 2013, 15:00 Uhr, AH 3, Ahornstr. 55
Dipl.-Inform. Alexandra Spelten
Paths in Infinite Trees: Logics and Automata
Freitag, 25. Januar 2013, 11:15 Uhr, AH 3, Ahornstr. 55
Dipl.-Inform. Jörg Olschewski
Languages and Strategies: A Study of Regular Infinite Games
Donnerstag, 20. Dezember 2012, 16:00 Uhr, Seminarraum 5053.1, Ahornstr. 55
Khaled Rashed, M. Sc.
Community-Centered Semantics
for the Detection of Fake Multimedia
Dienstag, 4. Dezember 2012, 14:30 Uhr, AH 3,
Ahornstr. 55
Viet Yen Nguyen, M.Sc.
Trustworthy Spacecraft Design Using Formal Methods
Mittwoch, 28. November 2012, 10:00 Uhr, Raum 5055,
Ahornstr. 55
M.Comp.Sc. Yuqi Zhang
The Application of Source Language
Information in Chinese-English Statistical Machine Translation
Mittwoch, 24. Oktober 2012, 09:00 Uhr, Raum 6317, E2, 3. Etage, Ahornstr. 55
Dipl.-Inform. Arne Schmitz
Ray Tracing for Light and Radio Wave Simulations
Dienstag, 23. Oktober 2012, 16:00 Uhr, Raum 5056,
Ahornstr. 55
Xiang Li, M. Sc.
Constraint Driven Schema Merging
Mittwoch, 17. Oktober 2012, 10.00 Uhr, AH IV,
Ahornstr. 55
Dipl.-Inform. Patrick Stalljohann
A generic platform for Open Assessment Management in Higher Education
Donnerstag, 11. Oktober 2012, 10:00 Uhr, Raum 6317, E2, 3. Etage, Ahornstr. 55
Dipl.-Inform. David Bommes
Quadrilateral Surface Mesh Generation for Animation and Simulation
Dienstag, 18. September 2012, 10:00 Uhr, Seminarraum 5056, Ahornstraße 55 (E2)
Dipl.-Inform. Ralf Mitsching
Applied Timed Testing - Testautomatisierung in industriellen Testprozessen von Eingebetteten Systemen
Montag, 6. August 2012, 14.00 Uhr, Raum 5056, Ahornstr. 55
Dipl.-Inform. Thomas Kesselheim
Approximation Algorithms for Spectrum Allocation and Power Control in Wireless Networks
Dienstag, 3. Juli 2012, 11:00 Uhr, Raum 5056, Ahornstr. 55
Dipl.-Ing. Michael Reke
Modellbasierte Entwicklung automobiler Steuerungssysteme in kleinen und mittelständischen Unternehmen
Dienstag, 26. Juni 2012, 8:30 Uhr, Raum 5052, Ahornstr. 55
Dipl.-Inform. Cem Mengi
Automotive Software – Prozesse, Modelle und Variabilität
Mittwoch, 20. Juni 2012, 15:00 Uhr, Raum 5055, Ahornstr. 55
Dipl.-Inform. Benjamin Schleinzer
A File System for Wireless Mesh Networks
Freitag, 8. Juni 2012, 10:00 Uhr, Raum 5053.2, Ahornstr. 55
Vaishak Belle, M. Sc.
On the Projection Problem in Active
Knowledge Bases with Incomplete Information
Freitag, 11. Mai 2012, 09:00 Uhr, Hörsaal AH IV
Dipl.-Inform. Ingo Weisemöller
Generierung
domänenspezifischer Transformationssprachen
Mitwoch, 9. Mai 2012, 16.00 Uhr, Konferenzraum E.11, Seffenter Weg 23
Dipl.-Inform. Tobias Rick
Interactive Tracing of Radio Waves and Neuronal Fiber Pathways for Exploratory Visualization in Virtual Reality
Freitag, 27. April 2012, 13.30 Uhr, Raum 5052, Ahornstr. 55
Dipl.-Inform. Philippe Dreuw
Probabilistic Sequence Models
for Image Sequence Processing and Recognition
Mittwoch, 18. April 2012, 14:00 Uhr, Raum 6317, Ahornstr. 55
Dipl.-Inform. Martin Habbecke
Interactive Image-Based 3D Reconstruction Techniques
for Application Scenarios at Different Scales
Donnerstag, 5. April 2012, 14.30 Uhr, Seminarraum
004, Rechen- und Kommunikationszentrum, Kopernikusstr. 6
Dipl.-Inform. Michael Lülfesmann
Vollständige und partielle Berechnung von Jacobi-Matrizen mittels Graphfärbung: Algorithmen und Anwendungen
Donnerstag, 22. März 2012, 14:00 Uhr, Raum 5053.2, Ahornstr. 55
Dipl.-Inform. Yiwei Cao
Uncertainty Handling in Mobile Community Information Systems
Donnerstag, 15. März 2012, 15:00 Uhr, Raum 5056,
Dipl.-Inform. Stephan Günnemann
Subspace Clustering for Complex Data
Mittwoch, 7. März 2012, 09:00 Uhr, Raum 5056,
Muhammad Hamad Alizai, M.Sc.
Exploiting Wireless Link
Dynamics
Montag, 27. Februar 2012, 11:15 Uhr, Hörsaal AH I,
Dipl.-Inform. Martin Zimmermann
Solving Infinite Games with
Bounds
Freitag, 24. Februar 2012, 14.00 Uhr, Hörsaal AH I,
Dipl.-Inform. Frank Radmacher
Games on Dynamic Networks:
Routing and Connectivity
Donnerstag, 23. Februar 2012, 14:00 Uhr, Raum 5056, Ahornstr. 55
Dipl.-Inform. Stefan Götz
Supporting Diversity and Evolvability
in Communication Protocols
Freitag, 10. Februar 2012, 09:30 Uhr, Raum 5053.2, Ahornstr. 55
Dipl.-Inform. Jessica Huster
Prozessanalyse und
Ontologieevolution in kreativen, dynamischen Domänen
Mittwoch, 18. Januar 2012, 10:00 Uhr, Hörsaal AH VI,
Dipl.-Informatiker Daniel Stein
Soft Features for Statistical Machine Translation of Spoken and Signed Languages
Freitag, 23. Dezember 2011, 10:30 Uhr, Hörsaal AH VI,
Dipl.-Inform. Martin Schindler
Eine Werkzeuginfrastruktur zur agilen Entwicklung mit der UML/P
Mittwoch, 21. Dezember 2011, 14:15 Uhr, Hörsaal AH III,
Dipl.-Inform. Carsten Fuhs
SAT Encodings: From Constraint-Based
Termination Analysis to Circuit Synthesis
Mittwoch, 14. Dezember 2011, 17 Uhr, Raum 5055,
Dipl.-Inform. Tobias Heer
Direct End-to-Middle Authentication in Cooperative Networks
Dienstag, 29. November 2011, 12 Uhr, Hörsaal AH III,
Dipl.-Inform. David Vilar Torres
Investigations on Hierarchical Phrase-based Machine Translation
Freitag, 25. November 2011, 10 Uhr, Hörsaal AH II,
Dipl.-Inform. Sasa Hasan
Triplet Lexicon Models for Statistical Machine Translation
Mittwoch, 23. November 2011, 15 Uhr, Hörsaal AH III,
Dipl.-Inform. Michaela Slaats
Infinite Regular Games in the Higher-Order Pushdown and the Parametrized Setting
Donnerstag, 17. November 2011, 16 Uhr, Seminarraum 4, Kopernikusstraße 6,
Dipl.-Math. Oliver Fortmeier
Algorithmen zur parallelen Simulation von Zweiphasenströmungen
Mittwoch, 14. September 2011, 15 Uhr, Raum 5056,
Dipl.-Inform. Philipp Kranen
Anytime Algorithms for Stream Data Mining
Dienstag, 19. Juli 2011, 10 Uhr, Raum 5052,
Dipl.-Inform. Thomas Heer
Controlling von Entwicklungsprozessen
Montag, 18. Juli 2011, 13 Uhr, Raum 5055,
Dipl.-Inform. Björn Hoffmeister
Bayes Risk Decoding and its Application to System Combination
Montag, 4. Juli 2011, 8 Uhr, Konferenzraum RZ,
Dipl.-Ing. Monika Petera
Bestimmung von Ableitungen aus Hochsprachenmodellen der Verfahrenstechnik mit Hilfe des automatischen Differenzierens
Dienstag, 28. Juni 2011, 13 Uhr, Raum 2010,
Dipl.-Inform. Daniel Spelmezan
A Language of Tactile Motion Instructions for Physical Activities
Mittwoch, 22. Juni 2011, 15 Uhr, Raum 5055,
Dipl.-Inform. M.Sc. Fahad Samad
Securing Wireless Mesh Networks – A Three Dimensional Perspective
Freitag, 10. Juni 2011, 9:30 Uhr, Konferenzraum RZ,
Dipl.-Inform. Andreas Wolf
Ein Softwarekonzept zur hierarchischen Parallelisierung von stochastischen und deterministischen Inversionsproblemen auf modernen ccNUMA-Plattformen unter Nutzung automatischer Programmtransformation
Montag, 9. Mai 2011, 10 Uhr, Hörsaal AH VI,
Dipl.-Inform. Michael Holtmann
Memory and Delay in Regular Infinite Games
Montag, 2. Mai 2011, 14 Uhr, Hörsaal AH V,
M.Sc. Alexandru Mereacre
Verification of Continuous-Space Stochastic Systems
Donnerstag, 10. März 2011, 16:30 Uhr, Raum 5056,
Dipl.-Inform. Erhard Weinell
Ein Rahmenwerk für operationale Spezifikationssprachen
Mittwoch, 9. März 2011, 16:00 Uhr, Raum 5052,
M.Sc. Oscar Garcia-Morchon
Security for Pervasive Healthcare
Dienstag, 22. Februar 2011, 10:00 Uhr, Raum 5056,
Dipl.-Inform. Tobias Ganzow
Definability and Model Checking:
The Role of Orders and Compositionality
Montag, 20. Dezember 2010, 13:00 Uhr, Raum 5052,
Dipl.-Inform. Dominik Schmitz
Managing Dynamic Requirements Knowledge – An Agent-Based Approach
Dienstag, 7. Dezember 2010, 14:00 Uhr, Raum 4017,
Dipl.-Inf. Alexander Fanghänel
Scheduling in Wireless Networks with
Oblivious Power Assignments
Dienstag, 2. November 2010, 14:00 Uhr, Raum 5056,
Dipl.-Inform. David Kensche
Generic Modeling and Mapping Languages for Model Management
Dienstag, 12. Oktober 2010, 16:30 Uhr, Raum 5056,
Dipl.-Inform. Marc Wichterich
Adaptable Transformation-Based Similarity Search in Multimedia Databases
Dienstag, 5. Oktober 2010, 10:00 Uhr, Raum 5056,
Dipl.-Inform. Mohamed Amine Chatti
Personalization in Technology Enhanced
Learning: A Social Software Perspective
Freitag, 10. September 2010, 14:00 Uhr, Raum 5052,
Dipl.-Inform. Jia Xu
Sequence Segmentation for Statistical Machine Translation
Montag, 19. Juli 2010, 15:30 Uhr, Raum 5055,
Dipl.-Wirt.-Inf. Christian Berger
Sicherstellung der Software-Qualität für autonome Fahrzeuge
Freitag, 9. Juli 2010, 14:00 Uhr, Hörsaal AH VI,
Andriy Panchenko, M.Sc.
Anonymous Communication in the Age of the Internet
Donnerstag, 8. Juli 2010, 14:30 Uhr, Raum 5052,
Juan Miguel Espinosa Carlín, M.Sc.
Context-Aware Service Provisioning in Converging Networks
Dienstag, 6. Juli 2010, 10:00 Uhr, Raum 5056,
Dipl.-Inform. Ibrahim Armac
Personalisierte eHomes: Mobilität, Privatsphäre und Sicherheit
Dienstag, 29. Juni 2010, 16:00 Uhr, Raum 5055,
Dipl.-Phys. Georg Heigold
A Log-linear Discriminative Modelling Framework for Speech Recognition
Freitag, 25. Juni 2010, 14:00 Uhr, Raum 5052,
M.Sc. Thitinan Tantidham
Energy-Efficient Design for Portable Storage on Battery-Powered Computers
Dienstag, 22. Juni 2010, 10:15 Uhr, Raum 5056,
Dipl.-Inform. Karianto Wong
Finite Automata on Unranked Trees: Extensions by Arithmetical and Equality Constraints
Mittwoch, 16. Juni 2010, 16:15 Uhr, Raum 5054,
Dipl.-Inform. Hans Grönniger
Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten
Dienstag, 15. Juni 2010, 11:30 Uhr, Hörsaal AH III,
Dipl.-Inform. Ashraf Armoush
Design Patterns for Safety-Critical Embedded Systems
Montag, 14. Juni 2010, 16:00 Uhr, Raum 6202,
Dipl.-Inform. Alexander Kort
Metadatengeleitete Navigation in bildbasierten wissenschaftlichen Experimentaldaten
Mittwoch, 9. Juni 2010, 16:15 Uhr, Raum 5056,
Dipl.-Inform. Emmanuel Müller
Efficient Knowledge Discovery in Subspaces of High Dimensional Databases
Freitag, 28. Mai 2010, 14:30 Uhr, Raum 5056,
MSc.-Ing. Sadeq Ali Makram
Channel Assignment and Security in Multi-Channel Multi-RadioWireless Mesh Networks
Donnerstag, 27. Mai 2010, 10:30 Uhr, Raum 5052,
Dipl.-Inform. Martin Krebs
Adaptive Dienstsuche in Wireless-Mesh-Netzwerken
Donnerstag, 6. Mai 2010, 14:00 Uhr, Raum 5056,
Dipl.-Inform. Holger Schackmann
Metrik-basierte Auswertung von Software-Entwicklungsarchiven zur Prozessbewertung
Montag, 22. März 2010, 15:00 Uhr, Raum 5052,
M.S. Comp.Sci. (USA) Olaf Landsiedel
Mechanisms, Models, and Tools for Flexible Protocol Development and Accurate Network Experimentation
Mittwoch, 17. März 2010, 16:00 Uhr, Konferenzraum E.11, Rechen- und Kommunikationszentrum,
Dipl.-Inform. Marc Wolter
Navigation in Time-Varying Scientific Data
Donnerstag, 11. März 2010, 14:00 Uhr, Raum 5052,
Dipl.-Inform. Oliver Bender
Robust Machine Translation for Multi-Domain Tasks
Donnerstag, 11. März 2010, 11:00 Uhr, Hörsaal AH VI,
Dipl.-Inform. Daniel Klink
Three-Valued Abstraction for Stochastic Systems
Dienstag, 9. März 2010, 16:30 Uhr, Raum 5052,
Dipl.-Inform. Wolfgang Macherey
Discriminative Training and Acoustic Modeling for Automatic Speech Recognition
Montag, 22. Februar 2010, 10:00 Uhr, Seminarraum 4017 (i1),
Dipl.-Math. Lars Olbrich
Aspects of Wardrop Equilibria
Mittwoch, 27. Januar 2010, 15:00 Uhr, Raum 5052,
Dipl.-Inform. Michael Ummels
Stochastic Multiplayer Games - Theory and Algorithms
Montag, 25. Januar 2010, 13:05 Uhr, Hörsaal AH III,
Dipl.-Inform. Martin Neuhäußer
Model Checking Nondeterministic and Randomly Timed Systems
Mittwoch, 20. Januar 2010, 10:00 Uhr, Raum 5052,
Dipl.-Inform. Tim Seipold
Einsatz von Middleware über drahtlose Zugangsnetze
Mittwoch, 13. Januar 2010, 15:00 Uhr, Raum 5052,
Dipl.-Inform. Daniel Retkowitz
Softwareunterstützung für adaptive eHome-Systeme
Montag, 11. Januar 2010, 14:00 Uhr, Raum 5056,
Dipl.-Inform. René Wörzberger
Management dynamischer Geschäftsprozesse auf Basis statischer Prozessmanagementsysteme
Mittwoch, 23. Dezember 2009, 10:15 Uhr, Raum 5052,
Dipl.-Inform. Laurent Calmes
Biologically Inspired Directional Hearing and Sound Source Tracking for Mobile Robots
Dienstag, 22. Dezember 2009, 13:00 Uhr, Raum 5052,
Dipl.-Inform. Andreas Lorenz
The Separated User Interface in Ambient Computing Environments - A holistic Framework-based Approach for Design, Infrastructures and Tools
Freitag, 18. Dezember 2009, 13:00 Uhr, Hörsaal AH VI,
Dipl.-Inform. Holger Krahn
MontiCore: Agile Entwicklung von domänenspezifischen Sprachen im Software-Engineering
Freitag, 11. Dezember 2009, 14:00 Uhr, Konferenzraum (E.11) des Rechen- und Kommunikationszentrums
Dipl.-Inform. Bernd Hentschel
Interaktive Merkmalsanalyse in virtuellen Umgebungen
Freitag, 11. Dezember 2009, 9:00 Uhr, Hörsaal AH II,
Dipl.-Inform. Jan Altenbernd
Reachability over Word Rewriting Systems
Donnerstag, 10. Dezember 2009, 10:00 Uhr, Raum 2002
Dipl.-Inform. Evgeny Matusov
Combining Natural Language Processing Systems to Improve Machine Translation of Speech
Donnerstag, 10. Dezember 2009, 10:00 Uhr, GRS Gebäude, Schinkelstrasse 2a, Raum 001
Dipl.-Ing. Daniel Becker
Timestamp synchronization of concurrent events
Dienstag, 8. Dezember 2009, 13:30 Uhr, Hörsaal AH III
Dipl.-Inform. Dominik Lübbers
Adaptive multimodale Exploration von Musiksammlungen
Montag, 30. November 2009, 14:00 Uhr, Seminarraum 4017
Dipl.-Math. George B. Mertzios
Combinatorial Optimization and Recognition of Graph Classes with Applications to Related Models
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