Deutsch | English
     Übersicht     Suche Erweiterte Suche     Impressum   
{$naviAltText}
Home
Kontakt
Mitarbeiter
 
Lehrveranstaltungen Sommersemester 2010
Lehrveranstaltungen Wintersemester 2009/2010
Lehrveranstaltungen Sommersemester 2009
Lehrveranstaltungen Wintersemester 2008/2009
Lehrveranstaltungen Sommersemester 2008
Lehrveranstaltungen Wintersemester 2007/2008
Frühere Lehrveranstaltungen
 
Prüfungstermine
Klausurergebnisse
 
Theorietag
Projekte
Forschungsseminar
Publikationen
Links
 
Fakultätskolloquium
WebQuiz
 
Home AFS
Institut TI
 
ITI News

Hinweis: Diese Seiten sind nur noch bis Ende Juni 2012 online.
FAKULTÄT FÜR INFORMATIK UND AUTOMATISIERUNG
Fachgebiet Komplexitätstheorie und Effiziente Algorithmen


Forschungsseminar des Instituts für Theoretische Informatik

Herzlich Willkommen auf der Homepage des Forschungsseminares des Institutes für Theoretische Informatik (ITI) der Technischen Universität Ilmenau.

Im Forschungsseminar finden Vorträge zu Themen statt ,die für die Forschung am Institut von Interesse sind. Hierbei tragen sowohl die Mitglieder und Studenten des Instituts als auch unsere Gäste vor. Sowohl Teilnehmer als auch Zuhörer sind jederzeit willkommen, mit Hinweisen, Anfragen, Vorschlägen für Vorträge u.ä. wenden Sie sich bitte an Prof. Kuske.

Es findet am Donnerstag in den ungeraden Kalenderwochen, 11:00- 13:00 Uhr im Zusebau, Raum 2073 statt. Es bietet ein Forum für

  • Forschungsberichte
  • Diplomverteidigungen
  • Studienarbeitsbereichte.
Mit Hinweisen, Anfragen, Vorschlägen für Vorträge u.ä. wenden Sie sich bitte an Prof. D. Kuske
.

Nächster Vortrag

Zur Zeit sind leider keine Vorträge geplant!

Frühere Vorträge

Thu
19
Apr 12
Ehrenfeucht-Fraïssé goes elementarily automatic for structures of bounded degreeAntoine Durand-Gasselin http://www.liafa.jussieu.fr/~adg/Vortrag
Fri
10
Feb 12
Analysis of the Linear Probing Variant of Cuckoo Hashing Stephan BeyerTU IlmenauDiplomarbeit
Thu
15
Dec 11
Experimenteller Vergleich exakter Algorithmen für ein AngreiferproblemWolfgang GummlichTU IlmenauVortrag zur Studienarbeit
Thu
8
Dec 11
Strong Randomness Properties of (Hyper-)Graphs Generated by Simple Hash FunctionsMartin AumüllerTU IlmenauVortrag
Thu
17
Nov 11
Model Checking the Quantitative mu-Calculus on Infinite Transition SystemsLukasz KaiserLIAFA ParisVortrag
Thu
20
Oct 11
Model Checking Languages of Data WordsBenedikt BolligENS Cachan, FrankreichVortrag
Wed
31
Aug 11
Theoretische und experimentelle Untersuchungen zu modernen Priority-Queue-RealisierungenBenjamin ZapfTU IlmenauDiplomverteidigung
Thu
4
Aug 11
Zufall impliziert SymmetrieManfred DrosteUni Leipzig
Thu
7
Jul 11
Efficient algorithms on some classes of infinite gamesJiamou Liu Auckland University of Technology, Auckland, New Zealand
Thu
23
Jun 11
Modelle quantitativer verteilter Systeme und mehrwertiger LogikM.Sc. Martin HuschenbettTU Ilmenau
Thu
16
Jun 11
On the Dependencies between Source Neighbors in Optimally DoS-stable P2P Streaming Topologies Dipl.-Inf. S. Grau TU Ilmenau, Raumänderung: HU 012 !!
Thu
26
May 11
Combining non-stationary prediction, optimization and mixing for data compression Dipl.-Ing. Christopher MatternTU Ilmenau
Thu
12
May 11
Lernverfahren in wiederholten SpielenDr. Jens SchreyerTU Ilmenau
Thu
28
Apr 11
 (Nicht)effektive und (über)abzählbare Versionen des Satzes von Ramsey Prof. Dr. D. KuskeTU Ilmenau
Thu
14
Apr 11
Tight Thresholds for Cuckoo Hashing via XORSATProf.Dr. M. DietzfelbingerTU Ilmenau
Wed
17
Nov 10
Shellsort: Analyse und Bewertung eines einfachen dateninvarianten randomisierten Sortierverfahrens Ralf RothenbergerTU IlmenauBachelorarbeit
Wed
3
Nov 10
Datenkompression mit wahlfreiem Zugriff in konstanter ZeitStephan BeyerTU IlmenauStudienarbeit
Wed
19
May 10
Untersuchung eines bandbreitenbasierten Angriffsmodells für P2P-Streaming-SystemeVincent HollubaTU IlmenauBachelorverteidigung
Tue
30
Mar 10
Optimierung von Peer-To-Peer Streamingtopologien bezüglich ihrer Robustheit bei Ausfall randomisiert gewählter KnotenmengenJohannes RöckertTU IlmenauDiplomverteidigung
Fri
26
Mar 10
An Alternative Analysis of Cuckoo Hashing with a Stash and Realistic Hash FunctionsMartin AumüllerTU IlmenauDiplomverteidigung
Wed
13
Jan 10
Moderne Konstruktionen von ExpandergraphenManuel OsdobaTU IlmenauBachelorverteidigung
Tue
24
Nov 09
Algorithmen für Datenströme: Ein extrem platzeffizienter Algorithmus für das Finden von DuplikatenHendrik PeilkeTU IlmenauBachelorverteidigung
Wed
20
May 09
Cycle, Paths, Connectivity and Diameter in Distance GraphsLucia Draque PensoTU IlmenauFachvortrag
Wed
13
May 09
Über einen O(log n)-Approximationsalgorithmus für das Minimum-Linear   Arrangement-ProblemMarco ShadeTU IlmenauVorstellung eines Diplomthemas
Fri
16
Jan 09
Klassifikation optimal stabiler Live-Streaming-TopologienAndreas BriegTU IlmenauDiplomverteidigung
Thu
20
Nov 08
Algorithmen für das Minimum Linear Arrangement ProblemChristian FlammTU IlmenauDiplomverteidigung
Fri
10
Oct 08
Häufige Objekte und Häufigkeitsanalyse in Datenströmen Marco SchadeTU IlmenauStudienarbeit
Tue
16
Sep 08
Algorithmen und Modelle für das kostenoptimale Design von KommunikationsnetzenThomas KreylingTU IlmenauDiplomverteidigung
Thu
24
Jul 08
Die Conditional Expectation Inequality als Alternative zur Second Moment MethodStephan BaumannTU IlmenauStudienarbeit
Fri
18
Jul 08
Kontextfreie Grammatiken als strukturelle Grundlage für XMLStephan BohneTU IlmenauStudienarbeit
Wed
16
Jul 08
Über die RMR-Komplexität von Mutual Exclusion und anderen fundamentalen ProblemenPhilipp WoelfelUniversity of CalgaryFakultätskolloqium
Mon
14
Jul 08
Die Approximierbarkeit des Set Cover-ProblemsMartin AumüllerTU IlmenauStudienarbeit
Thu
26
Jun 08
Untersuchung zu Algorithmen für k-Orientierung von zufälligen Graphen Samuel PlentzTU IlmenauStudienarbeit
Thu
29
May 08
Theoretische und praktische Untersuchungen von Verfahren zur Konstruktion extrem platzeffizienter perfekter Hash-FunktionenMarcel FugmannTU IlmenauDiplomverteidigung
Fri
25
Apr 08
Grundlegende Angriffe auf Live-Streaming TopologienAndreas BriegTU IlmenauStudienarbeit
Thu
24
Apr 08
Experimenteller Vergleich zweier Verfahren zur Konstruktion minimaler perfekter Hashfunktionen Johannes RöckertTU IlmenauStudienarbeit
Wed
19
Mar 08
High Failure Probability for Cuckoo Hashing with too Simple Hash Functions IIUlf SchellbachTU IlmenauForschungsbericht
Tue
18
Mar 08
High Failure Probability for Cuckoo Hashing with too Simple Hash Functions IUlf SchellbachTU IlmenauForschungsbericht
Thu
28
Feb 08
Algorithm Engineering in der VerifikationPriv.-Doz. Dr. Stefan EdelkampTechnische Universität DortmundFachvortrag
Thu
22
Nov 07
Ähnlichkeitsmaße für ClusteringsChristian FlammTU IlmenauStudienarbeit
Tue
20
Nov 07
Untersuchungen zu neueren Bloom-Filter-Varianten und d-left-HashingMichael RinkTU IlmenauDiplomverteidigung
Thu
25
Oct 07
History Independent Data Structures Kerstin MathajTU IlmenauStudienarbeit
Thu
11
Oct 07
Tight bounds for blind search on the integersMartin DietzfelbingerTU IlmenauForschungsbericht
Wed
10
Oct 07
Techniken zur schnelleren Berechnung von Gomory-Hu-BäumenSascha GrauTU IlmenauDiplomverteidigung
Mon
8
Oct 07
Statische Analyse der Komplexität von ProgrammenFolke EisterlehnerTU IlmenauDiplomverteidigung
Fri
27
Apr 07
Kohäsive Gruppen in HypergraphenJeremias WernerTU IlmenauDiplomverteidigung
Fri
16
Mar 07
Ein kombinatorischer Beweis für das PCP-TheoremStefan SenitschTU Ilmenau Fachvortrag
Tue
19
Dec 06
Analyse von Quotienting bei Cuckoo Hashing anhand verschiedener VerfahrenUwe WernerTU IlmenauStudienarbeit
Fri
15
Dec 06
Experimentelle Analyse der Asymptotischen Laufzeit: Möglichkeiten und Grenzen Ulf SchellbachTU Ilmenau
Tue
28
Nov 06
Algorithmen in der Dokumenten-Clusterung - Assoziationsregeln und Hypergraph-PartitionierungSascha GrauTU IlmenauStudienarbeit
Tue
21
Nov 06
Datenfluss und Komplexität - Zertifizierung polynomiell größenbeschränkter Programme Folke EisterlehnerTU IlmenauStudienarbeit
Tue
7
Nov 06
Äquivalenzbetrachtungen zu den Klassen N und NCBjörn Elmar MacekTU IlmenauStudienarbeit
Fri
21
Jul 06
Eine Charakterisierung der average case KommunikationskomplexitätHenning WunderlichTU IlmenauForschungsbericht
Fri
14
Jul 06
Communities in natürlichen GraphenJeremias WernerTU IlmenauStudienarbeit
Tue
11
Jul 06
Eine obere Schranke für "Pure Greedy" Hot-Potato Routing auf n x n Gittern Prof. Dr. Manfred Kunde TU IlmenauForschungsbericht
Fri
5
May 06
Bildsegmentierung mit Communities Sven RecknagelTU IlmenauStudienarbeit
Fri
21
Apr 06
Einführung in die Informationstheorie (I)Henning WunderlichTU IlmenauForschungsbericht
Thu
23
Mar 06
Andersson Bäume - Eine balancierte Suchbaumstruktur mit knappem, korrektem CodeJörg IgnatziTU IlmenauStudienjahresarbeit
Tue
7
Mar 06
Zertifizierung von Laufzeit- und Speicherplatzbedarf für imperative ProgrammeJan MehlerTU IlmenauDiplomarbeitsverteidigung
Mon
19
Dec 05
Ein Matroidansatz zur Bestimmung des Kantenzusammenhangs und Möglichkeiten für die Erweiterung zur Berechnung von CommunitiesSebastian MüllerDiplomarbeitsverteidigung
Fri
9
Dec 05
Speicherplatzeffiziente perfekte HashfunktionenLars Dietzel TU IlmenauDiplomarbeitsverteidigung
Fri
18
Nov 05
Effiziente Algorithmen für kürzeste Wege in NetzwerkenAndrea OttTU IlmenauDiplomverteidigung
Thu
18
Aug 05
Entwicklung von Routing-Algorithmen für Wireless Sensor Networks mit beschränkten RessourcenJan BurkhardtTU IlmenauDiplomarbeitsverteidigung
 
  
  Zuletzt geändert:  13.10.2009
 SEITE DRUCKEN © TU Ilmenau 2004-2012