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

Detailseite

Institution

Druckansicht

Karlsruher Institut für Technologie (KIT)
Institut für Theoretische Informatik

Adresse Am Fasanengarten 5
76131 Karlsruhe
Deutschland

GERiT Diese Institution in GERiT

76131 Karlsruhe

Projekte

Sachbeihilfen
- laufende Projekte
  - Approximation von Zustandssummen in geometrischen Räumen
    (Antragsteller Göbel, Andreas )
  - Cliquen in hyperbolischen und gewichteten geometrischen Graphen
    (Antragsteller Bläsius, Thomas )
  - KeY - Ein deduktives Software-Analyse-Werkzeug für die Forschungsgemeinschaft
    (Antragsteller Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Ulbrich, Mattias )
  - Produkt-Struktur von Graphen
    (Antragsteller Ueckerdt, Torsten )
  - Überdeckungszahlen in Theorie und Praxis
    (Antragsteller Ueckerdt, Torsten )
  - Verloren im Raum der Bäume (LITS)
    (Antragsteller Stamatakis, Alexandros )
- abgeschlossene Projekte
  - Algorithmen für die Interaktion im Graphenzeichnen
    (Antragstellerin Wagner, Dorothea )
  - Algorithm Engineering für Graphpartitionierung
    (Antragstellerinnen / Antragsteller Sanders, Peter ; Schulz, Christian ; Wagner, Dorothea )
  - Algorithm Engineering für Routenplanung
    (Antragstellerinnen / Antragsteller Sanders, Peter ; Wagner, Dorothea )
  - Compressed Suffix Trees: Design, Construction, and Applications
    (Antragsteller Ohlebusch, Enno )
  - Computational and mathematical approaches for statistical sequence alignment and phylogenetic inference on emerging parallel architectures
    (Antragsteller Metzler, Dirk ; Stamatakis, Alexandros )
  - Die Hyperbolische Geometrie von Netzwerken
    (Antragsteller Friedrich, Ph.D., Tobias )
  - Exakte Algorithmen zur Auswertung großer, schwach strukturierter Datenmengen für ein Fahrplanauskunftsystem
    (Antragstellerin Wagner, Dorothea )
  - Integrierte Entwicklung von Komitees neuronaler Netze
    (Antragsteller Menzel, Wolfram )
  - Reinforcement-Lernen auf unterschiedlichen Zeitskalen
    (Antragsteller Menzel, Wolfram )
  - Scalable Algorithms for Reconstruction of Plant Phylogenies in Conjunction with the NSF (National Science Foundation) iPlant Collaborative
    (Antragsteller Stamatakis, Alexandros )
  - Skalenfreie Erfüllbarkeit
    (Antragsteller Friedrich, Ph.D., Tobias )
Schwerpunktprogramme
- abgeschlossene Projekte
  - Abstraktionsunterstütztes Clustering in sozialen Online-Netzwerken und Interaktionsströmen
    (Antragstellerinnen / Antragsteller Brandes, Ulrik ; Wagner, Dorothea )
  - Analyse und Visualisierung Sozialer Netzwerke
    (Antragstellerinnen / Antragsteller Brandes, Ulrik ; Wagner, Dorothea )
  - Clusterung statischer und zeitbehafteter Graphen
    (Antragstellerin Wagner, Dorothea )
  - Koordinatorfond SPP 1126: Koordination und Infrastruktur, Präsentation der Ergebnisse des SPP auf internationalen Workshops und Tagungen, Unterstützung einer Datenbank mit großen und komplexen Graphen
    (Antragstellerin Wagner, Dorothea )
  - MASS-TEXT: Textindizes für massive Datenmengen
    (Antragsteller Fischer, Johannes Christian )
  - Regression Verification in a User-Centered Software Development Process for Evolving Automated Production Systems
    (Antragstellerinnen / Antragsteller Beckert, Bernhard ; Ulbrich, Mattias ; Vogel-Heuser, Birgit )
  - Robuste Algorithmen zur Auswertung, Rekonstruktion und Visualisierung von graphenbasierten Verkehrsdaten
    (Antragstellerin Wagner, Dorothea )
  - SPP 1126: Algorithmik großer und komplexer Netzwerke
    (Sprecherin Wagner, Dorothea )
  - Sprachbasierte Spezifikation und deduktive Verifikation von Sicherheitseigenschaften
    (Antragsteller Beckert, Bernhard )
Emmy Noether-Nachwuchsgruppen
- laufende Projekte
  - Strukturelle Komplexitätstheorie für Big Data - Von Klassifikationstheoremen bis Algorithm Engineering
    (Antragsteller Künnemann, Marvin )
- abgeschlossene Projekte
  - Models, Algorithms, and High Performance Computing for Phylogenetic Inference: Towards Simultaneous Alignment and Tree Building with Maximum Likelihood
    (Antragsteller Stamatakis, Alexandros )
Forschungsgruppen
- abgeschlossene Projekte
  - Algorithm Engineering für die integrierte multimodale Routenplanung
    (Antragstellerin Wagner, Dorothea )
  - FOR 2083: Integrierte Planung im öffentlichen Verkehr
    (Sprecherin Schöbel, Anita )
Sonderforschungsbereiche
- laufende Projekte
  - Komplexität von Konsistenz
    (Teilprojektleiter Atkinson, Colin ; Burger, Erik ; Ulbrich, Mattias )
  - Wiederherstellung nach vorübergehender Inkonsistenz
    (Teilprojektleiterinnen / Teilprojektleiter Koziolek, Anne ; Ulbrich, Mattias )
Graduiertenkollegs
- laufende Projekte
  - GRK 2153: Energiezustandsdaten - Informatik-Methoden zur Erfassung, Analyse und Nutzung
    (Sprecher Böhm, Klemens )
- abgeschlossene Projekte
  - GRK 1194: Selbstorganisierende Sensor-Aktor-Netzwerke
    (Sprecher Hanebeck, Uwe D. )

© 2024 DFG Kontakt / Impressum / Datenschutz