Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

Czech Technical University in Prague
Faculty of Electrical Engineering
Department of Computer Science

Adresse Karlovo námestí 13
120 00 Praha 2
Tschechische Republik

120 00 Praha 2

Projekte

Sachbeihilfen
- abgeschlossene Projekte
  - Gerichtete Modellprüfung mit Explorationsverfahren der Künstlichen Intelligenz
    (Antragsteller Edelkamp, Stefan )
  - Modellprüfung auf Flashspeicher-Festplatte und Grafikkarte (Model Checking on SSD and GPU)
    (Antragsteller Edelkamp, Stefan )
  - Planungsverfahren für das Allgemeine Spiel
    (Antragsteller Lawo, Michael )
  - Sterntopologie-entkoppelte Zustandsraumsuche
    (Antragsteller Hoffmann, Jörg )
Emmy Noether-Nachwuchsgruppen (Aktionsplan Informatik)
- abgeschlossene Projekte
  - Aktionsplan Informatik: Heuristische Suche
    (Antragsteller Edelkamp, Stefan )
Schwerpunktprogramme
- abgeschlossene Projekte
  - Externe zielgerichtete Suche in impliziten Graphen
    (Antragsteller Steffen, Bernhard )

© 2024 DFG Kontakt / Impressum / Datenschutz