| 9:00 | |
|---|---|
| 10:00 | |
| 11:00 | |
| 12:00 | |
| 13:00 | |
| 14:00 | |
| 15:00 | |
| 16:00 | |
| 17:00 | |
| 18:00 |
Model checking timed constraint automata within Vereofy
Sprecher David MüllerZeit 09:30 - 10:30Veranstaltungsort INF 3027 TUD Andreas-Pfitzmann-BauBeschreibung Formal verification becomes more important for software and hardware engineering. Model checking provides an algorithmic technique to examine whether a system fulfills a…FWO-Institutskolloquium "Researches developed at CEA in the field of speciation applied to environment and biology"
Sprecher Eric AnsoborloZeit 10:00 - 11:00Veranstaltungsort 801/P244 - Seminarraum FWO HZDRBeschreibung The knowledge of the speciation of elements at trace and ultra-trace level, in biological and envi-ronmental media is essential to acquire a better understanding of the mechanisms…Integrative modeling in developmental systems biology
Sprecher Walter de BackZugehörigkeit Sprecher Dept. of Innovative Methods of Computing (IMC), Center for Information Services and High Performance Computing (ZIH), Technische Universität DresdenZeit 14:30 - 15:30Serie IMB - SeminarVeranstaltungsort 3rd floor, room 3.465 Institut für Medizinische Informatik und Biometrie (IMB)Beschreibung Cells in a developing tissue simultaneously differentiate, signal, move and divide and do not necessarily conform to our conceptual distinction between gene regulation, signaling…Modelling, Simulating and Analysing Structure Formation in Tissue and in Cellular Automata
Sprecher Andreas DressZugehörigkeit Sprecher BielefeldZeit 15:00 - 16:00Serie TUD ZIH KolloquiumVeranstaltungsort Willersbau A317 TUDBeschreibung Structure formation has fascinated mankind ever since antiquity. And, after the introduction of infinitesimal calculus, partial differential equations appeared for a long time to…
Legende
- Ausgründung/Transfer
- Bauing., Architektur
- Biologie
- Chemie
- Elektro- u. Informationstechnik
- für Schüler:innen
- Gesellschaft, Philos., Erzieh.
- Informatik
- Jura
- Maschinenwesen
- Materialien
- Mathematik
- Medizin
- Physik
- Psychologie
- Sprache, Literatur und Kultur
- Umwelt
- Verkehr
- Weiterbildung
- Willkommen
- Wirtschaft