25.10. 14:00 - Abschlussarbeitsvortrag "Algorithmic Applications of the Lov谩sz Local Lemma"
Algorithmic Applications of the Lov谩sz Local Lemma.
Institut f眉r Theoretische Informatik
Willkommen auf der Webseite des Instituts f眉r theoretische Informatik. Unser Institut befasst sich mit den theoretischen Grundlagen der Informatik, dabei stehen haupts盲chlich die folgenden Themen im Vordergrund:
- Berechenbarkeit und 碍辞尘辫濒别虫颈迟盲迟蝉迟丑别辞谤颈别
- Graphentheorie
- Algorithmik und Datenstrukturen
- Logik, speziell SAT-Solving
- Sequenzanalyse und Datenkompression
- Bioinformatik
- Quantum Computing
- Kryptologie
Neben diesen Schwerpunkten sind wir nat眉rlich auch an anderen Aspekten der theoretischen Informatik interessiert. Einen ersten Eindruck des Instituts kann man anhand des Institutsposters oder der nebenstehenden Gallerie gewinnen - unsere Forschung in Bildern.
痴辞谤迟谤盲驳别
Nachfolgend sind vergangene und anstehende 痴辞谤迟谤盲驳别 aufgelistet. Sofern nicht anderst angegeben finden die 痴辞谤迟谤盲驳别 im Raum O27/531 statt.
25.10. 13:30 - Bachelorarbeitsvortrag "Performance Guarantee for Approximate Graph Coloring Algorithms"
Performance Guarantee for Approximate Graph Coloring Algorithms.
18.10. 14:15 - Masterarbeitsvortrag "Read Mapping auf Pangenomen mit approximativer BWT-R眉ckw盲rtssuche"
Read Mapping auf Pangenomen mit approximativer BWT-R眉ckw盲rtssuche.
11.10. 13:30 - Masterarbeitsvortrag "Cops and Robber games on graphs and treewidth"
Cops and Robber games on graphs and treewidth.
18.10. 13:30 - Masterarbeitsvortrag "Algorithmen f眉r das 脛quivalenzproblem monotoner boolescher Formeln in Normalform"
Algorithmen f眉r das 脛quivalenzproblem monotoner boolescher Formeln in Normalform.
02.08. 14:40 - Bachelorarbeitsvortrag "Getunnelte komprimierte DeBruijn - Graphen"
Getunnelte komprimierte DeBruijn - Graphen.
02.08. 14:05 - Bachelorarbeitsvortrag "Patternsuche in einer getunnelten Burrows-Wheeler-Transformation"
Patternsuche in einer getunnelten Burrows-Wheeler-Transformation
02.08. 13:30 - Bachelorarbeitsvortrag "Implementierung und Analyse eines Algorithmus zur Berechnung aller k眉rzesten eindeutigen Teilstrings"
Implementierung und Analyse eines Algorithmus zur Berechnung aller k眉rzesten eindeutigen Teilstrings.
25.7. 15:00 - Algebraic algorithms for special submodular function minimization
Vortrag "Algebraic algorithms for special submodular
function minimization" gehalten von Herr Prof. Dr. Rohit Gurjar
26.7. 13:30 - Bachelorarbeitsvortrag "Exakte Suche mithilfe von Kindtabellen"
Exakte Suche mithilfe von Kindtabellen.
Kontakt
Institut f眉r Theoretische Informatik
Universit盲t Ulm
D-89069 Ulm
Telefon: +49 (0)731 50 24101
Telefax: +49 (0)731 50 1224101
Sekretariat
Raum: O27/537