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

Detailseite

Institution

Druckansicht

KAIST
School of Computing

Adresse 291 Daehak-ro, Yuseong-gu
Daejeon 34141
Südkorea

Daejeon 34141

Projekte

Sachbeihilfen
- abgeschlossene Projekte
  - Quantitative uniforme Komplexitätstheorie mehrwertiger reeller Funktionen und Operatoren in Analysis
    (Antragsteller Streicher, Thomas )
  - Real Hypercomputation: Berechenbarkeitstheorie reeller Funktionen jenseits der Church-Turing Hypothese
    (Antragsteller Ziegler, Martin )
  - Wrapping-Darstellungen in Exakter Reeller Arithmetik (WERA)
    (Antragsteller Müller, Norbert )
Heisenberg-Stipendien
- abgeschlossene Projekte
  - Berechenbarkeit und Berechnungskomplexität physikalischer Theorien
    (Antragsteller Ziegler, Martin )
Internationale Graduiertenkollegs
- abgeschlossene Projekte
  - GRK 1529: Mathematical Fluid Dynamics
    (Sprecher Hieber, Matthias )

© 2024 DFG Kontakt / Impressum / Datenschutz