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

Detailseite

Institution

Druckansicht

Universität Ulm
Fakultät Ingenieurwissenschaften, Informatik und Psychologie
Institut für Theoretische Informatik

Adresse James-Franck-Ring
89081 Ulm
Deutschland

GERiT Diese Institution in GERiT

89081 Ulm

Projekte

Sachbeihilfen
- laufende Projekte
  - Komplexitätsmaße für die Lösung von aussagenlogischen Formeln.
    (Antragsteller Torán, Jacobo )
  - Pan-Genome Structures: Design, Construction, and Applications
    (Antragsteller Ohlebusch, Enno )
- abgeschlossene Projekte
  - Anwendungen von Ringen und diskreten Gittern beim Bestimmen der Komplexität von algebraischen Problemen
    (Antragsteller Hoang, Thanh Minh )
  - CoCoNUT: Ein Software-System zum multiplen Genomvergleich
    (Antragsteller Ohlebusch, Enno )
  - Compressed Suffix Trees: Design, Construction, and Applications
    (Antragsteller Ohlebusch, Enno )
  - Derandomisierung von Polynomgleichungen
    (Antragsteller Schöning, Uwe )
  - Grundlagenuntersuchungen zu Aspekten der Entropie in Algorithmen und algorithmischen Prozessen
    (Antragsteller Schöning, Uwe )
  - Neue algorithmische Schranken für Isomorphieprobleme über Graphen und andere algebraische Strukturen
    (Antragsteller Torán, Jacobo )
  - Probabilistische Algorithmen und Methoden in der Logik
    (Antragsteller Schöning, Uwe )
  - Untersuchung der Komplexität des Graphenisomorphieproblems
    (Antragsteller Torán, Jacobo )
Schwerpunktprogramme
- abgeschlossene Projekte
  - Entwicklung eines Software-Systems zum multiplen Genomvergleich
    (Antragsteller Ohlebusch, Enno )
  - RNA Strukturen als Prozessierungssignale und Sensoren
    (Antragstellerinnen / Antragsteller Marchfelder, Anita ; Schöning, Uwe )
  - Stochastische Lokale Suche bei SAT-Solvern
    (Antragsteller Schöning, Uwe )

© 2024 DFG Kontakt / Impressum / Datenschutz