TUD Logo

TUD Home » ... » Faculty of Computer Science » Research » Academic Talks

Faculty of Computer Science

Academic Talks

From Linear Temporal Logic to Unambigious Büchi Automata

Presentation of the Master thesis by Simon Jantsch

22nd Jun 2018, 1.45 PM, APB 1096


Designing Accessible User Interfaces for All by Means of Adaptive Systems

PhD defence by Dipl.-Medieninf. Claudia Loitsch (Institut für Angewandte Informatik, Professur Mensch-Computer Interaktion)

25th Jun 2018, 10.15 AM, APB 1096


Proposal of a Hybrid Algorithm for Burst Transmission in Wireless Sensor Networks

PhD defence by M. Sc. Zeeshan Ansar (Institut für Systemarchitektur, Lehrstuhl Rechnernetze)

25th Jun 2018, 1.00 PM, APB 3105


Formal Methods for Probabilistic Energy Models

PhD defence by Dipl.-Inf. Marcus Daum (Institut für Theoretische Informatik, Algebraische und logische Grundlagen der Informatik)

27th Jun 2018, 2.15 PM, APB 1096


A C++ based MPI-enabled Tasking Framework to Efficiently Parallelize Fast Multipole Methods for Molecular Dynamics

PhD defence by Dipl.-Math. David Haensel (Institut für Technische Informatik, Professur Rechnerarchitektur)

2nd Jul 2018, 9.45 AM, APB 1004 (Ratssaal)


Erweiterte mathematische Methodenzur Simulation von turbulenten Strömungsvorgängen auf parallelen Rechnern

PhD defence by Dipl.-Math. Lars Haupt (Institut für Technische Informatik, Professur Rechnerarchitektur)

2nd Jul 2018, 12.30 PM, APB 1004 (Ratssaal)


Focus and Context Methods for Particle-Based Data

PhD defence by Dipl.-Medieninf. Joachim Staib (Institut für Software und Multimediatechnik; Professur für Computergraphik und Visualisierung)

2nd Jul 2018, 3.00 PM, APB 2101



search in announcement archive


Subscribe to the talk announcements news feed: RSS

Last modified: 18th Jun 2018, 8.54 PM
Author: Webmaster