Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

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

Address James-Franck-Ring
89081 Ulm
Deutschland

GERiT This institution in GERiT

89081 Ulm

Projects

Research Grants
- Current projects
  - Complexity measures for solving propositional formulas.
    (Applicant Torán, Jacobo )
  - Pan-Genome Structures: Design, Construction, and Applications
    (Applicant Ohlebusch, Enno )
- Completed projects
  - Anwendungen von Ringen und diskreten Gittern beim Bestimmen der Komplexität von algebraischen Problemen
    (Applicant Hoang, Thanh Minh )
  - Basic investigations about aspects of entropy in algorithms and algorithmic processes
    (Applicant Schöning, Uwe )
  - CoCoNUT: Ein Software-System zum multiplen Genomvergleich
    (Applicant Ohlebusch, Enno )
  - Compressed Suffix Trees: Design, Construction, and Applications
    (Applicant Ohlebusch, Enno )
  - Derandomisierung von Polynomgleichungen
    (Applicant Schöning, Uwe )
  - New Algorithmic Complexity Bounds for Isomorphism Problems over Graphs and other Algebraic Structures
    (Applicant Torán, Jacobo )
  - Probabilistische Algorithmen und Methoden in der Logik
    (Applicant Schöning, Uwe )
  - Untersuchung der Komplexität des Graphenisomorphieproblems
    (Applicant Torán, Jacobo )
Priority Programmes
- Completed projects
  - Entwicklung eines Software-Systems zum multiplen Genomvergleich
    (Applicant Ohlebusch, Enno )
  - RNA Structures as Processing Signals and Sensors
    (Applicants Marchfelder, Anita ; Schöning, Uwe )
  - Stochastische Lokale Suche bei SAT-Solvern
    (Applicant Schöning, Uwe )

© 2024 DFG Disclaimer / Copyright / Privacy Policy