| Time | Tuesday May 10, 2011 |
|---|---|
| Multi-Day events |
| 9:00 | |
|---|---|
| 10:00 | |
| 11:00 | |
| 12:00 | |
| 13:00 | |
| 14:00 | |
| 15:00 | |
| 16:00 | |
| 17:00 | |
| 18:00 |
Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models (Statusvortrag)
Speaker Dipl.-Inf. Sascha KlüppelholzAffiliation Speaker Institut für Theoretische Informatik, Algebraische und logische Grundlagen der InformatikTime 1:00 PM - 2:00 PMLocation INF 1004 (Ratssaal) TUD Andreas-Pfitzmann-BauDescription Betreuer: Prof. Dr. rer. nat. C. Baier; Fachreferent: Prof. Dr.-Ing. habil. H. Vogler
Information and communication systems enter an increasing number of areas of daily life.…Interaction of electrons with DNA - from damage to spintronics
Speaker Ron NaamanAffiliation Speaker Weizmann Institute, RehovotTime 5:00 PM - 6:00 PMLocation Seminar Room E05, BIOTEC, Tatzberg 47/49 TUD Materials Science - HALDescription We investigated the interaction of electrons possessing well-defined energy, with monolayers of single- and double-stranded DNA oligomers adsorbed on a gold surface. By…
Legend
- Biology
- Chemistry
- Civil Eng., Architecture
- Computer Science
- Economics
- Electrical and Computer Eng.
- Environmental Sciences
- for Pupils
- Law
- Linguistics, Literature and Culture
- Materials
- Mathematics
- Mechanical Engineering
- Medicine
- Physics
- Psychology
- Society, Philosophy, Education
- Spin-off/Transfer
- Traffic
- Training
- Welcome