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

Detailseite

Institution

Druckansicht

Eberhard Karls Universität Tübingen
Fachbereich IV: Informatik

Adresse Sand 14
72076 Tübingen
Deutschland

GERiT Diese Institution in GERiT

72076 Tübingen

Projekte

Sachbeihilfen
- laufende Projekte
  - Effiziente Übersetzung von Kontrolleffekten
    (Antragsteller Brachthäuser, Jonathan Immanuel ; Ostermann, Klaus )
  - LOGISCH SEIN: ÜBER MÖGLICHE WEGE ZUR ERWEITERUNG UNSERES VERSTÄNDNISSES VON LOGIZITÄT
    (Antragsteller Pailos, Ph.D., Federico )
  - PriRare: Erforschung datenschutzfreundlicher Lösungen für die Analyse seltener Krankheiten
    (Antragsteller Akgün, Ph.D., Mete )
  - Ressourcenschonende Neuronale Netze für mobiles Eye Tracking
    (Antragsteller Fuhl, Wolfgang )
- abgeschlossene Projekte
  - Acquisition of Large 3D Scenes - Dealing with Complexity and Incompleteness
    (Antragsteller Straßer, Wolfgang )
  - ALIEN: Abstraktionen, Sprachen und Implementierungstechniken, die die Kluft zwischen Programmier- und Anfragesprachen überwinden
    (Antragsteller Grust, Torsten ; Ostermann, Klaus )
  - Analytische probabilistische Bestrahlungsplanung
    (Antragsteller Bangert, Mark ; Hennig, Philipp )
  - Code-modulierte evozierte Potentiale zur Steuerung eines Brain-Computer Interface
    (Antragsteller Spüler, Martin )
  - Communication analysis for Network-on-Chip
    (Antragsteller Bringmann, Oliver )
  - Dialogical Foundations of Semantics (DiFoS)
    (Antragsteller Schroeder-Heister, Peter )
  - Dualität und Schaltkreiskomplexität
    (Antragsteller Lange, Klaus-Jörn )
  - Echtzeitsimulation flexibler Materialien durch Einsatz programmierbarer Hardware
    (Antragsteller Straßer, Wolfgang )
  - Efficient Distributed Bounded Property Checking
    (Antragsteller Rosenstiel, Wolfgang )
  - Erforschung der Methoden zur Entwicklung eines Trainers für endovaskuläre Eingriffe in der Neuroradiologie mit Methoden der virtuellen Medizin und der taktilen Rückkopplung
    (Antragsteller Straßer, Wolfgang )
  - Ergänzung fehlender Informationen bei der Erstellung von 3D-Modellen durch Inferenz in einem Markov-Zufallsfeld
    (Antragsteller Straßer, Wolfgang )
  - Graphen und Hypergraphen in der Beweistheorie
    (Antragsteller Arndt, Michael )
  - Graphenzeichnen für Geschäftsprozesse
    (Antragsteller Kaufmann, Ph.D., Michael )
  - Graphenzeichnen in der Anwendung
    (Antragsteller Kaufmann, Ph.D., Michael )
  - Hypothetical reasoning: Its proof-theoretic analysis
    (Antragsteller Schroeder-Heister, Peter )
  - Inference of phylogenetic networks in the presence of hybridization, horizontal transfer or recombination.
    (Antragsteller Huson, Daniel H. )
  - Jenseits der Logik: Hypothetisches Schließen in Wissenschaftstheorie, Informatik und Recht
    (Antragsteller Schroeder-Heister, Peter )
  - Jenseits von Planarität: Eine Verallgemeinerung des Konzepts "Planarität" im Graphenzeichnen
    (Antragsteller Kaufmann, Ph.D., Michael )
  - Kombination formaler und semiformaler Techniken zur Verifikation von C-basierten Systembeschreibungen
    (Antragsteller Kropf, Thomas )
  - Kopplungsmerkmale zur Klassifikation von MEG-Signalen für Gehirn-Computer-Kommunikationssysteme
    (Antragsteller Birbaumer, Niels ; Rosenstiel, Wolfgang )
  - Language Recognition by Algebra and Topology
    (Antragsteller Krebs, Andreas )
  - Lokale Divisoren in Halbgruppen und Formalen Sprachen
    (Antragsteller Diekert, Volker ; Kufleitner, Manfred )
  - MAIRA - Hoch effiziente und genaue Algorithmen für die mobile Analyse von Mikroben
    (Antragsteller Huson, Daniel H. )
  - Maschinelles Lernen zur automatisierten Merkmalsextraktion und Klassifikation von EEG-Signalen für Gehirn-Computer-Kommunikationssysteme
    (Antragsteller Rosenstiel, Wolfgang )
  - Modellbasiertes Opportunistisches Roboterplanen für Mensch-Roboter-Kollaboration
    (Antragstellerin Kirsch, Alexandra )
  - Moderne Komplexitätsaspekte formaler Sprachen
    (Antragsteller Fernau, Henning )
  - Neue Modelle und Methoden zum effektiven orthogonalen Layout von Graphen
    (Antragsteller Kaufmann, Ph.D., Michael )
  - Objektorientierter Entwurf hochkomplexer Hardware/Software-Probleme
    (Antragsteller Rosenstiel, Wolfgang )
  - Optimale Lösungen harter Probleme der algorithmischen Biologie
    (Antragsteller Niedermeier, Rolf )
  - Parametrisierte Komplexität und exakte Algorithmen
    (Antragsteller Niedermeier, Rolf )
  - Paul Hertz und seine Grundlegung der strukturellen Beweistheorie
    (Antragsteller Arndt, Michael )
  - Physikalische Modellierung und Visualisierung von Textilien
    (Antragsteller Straßer, Wolfgang )
  - Registrierung von 3D-Tiefenbildern mittels analytischer Strukturapproximation
    (Antragsteller Straßer, Wolfgang )
  - Rekonstruktion von 3D-Modellen aus zweidimensionalen Laserscans unterschiedlicher Ausrichtung
    (Antragsteller Schilling, Andreas )
  - Simulation elastodynamischer Eigenschaften von Humangewebe für VR-basiertes Training in der endoskopischen Chirurgie
    (Antragsteller Straßer, Wolfgang )
  - Simulation von Materialeigenschaften textiler Mehrschichtstrukuren und Nähte bei der virtuellen Passformkontrolle von Bekleidungstextilien
    (Antragsteller Rödel, Hartmut ; Straßer, Wolfgang )
  - The recognition and simulation of conversational facial expressions at various levels of photorealism
    (Antragsteller Straßer, Wolfgang )
  - Tiefe Integration domänenspezifischer Sprachen
    (Antragsteller Ostermann, Klaus )
Schwerpunktprogramme
- laufende Projekte
  - Deep Learning aus der Perspektive von Wahrscheinlichkeit und Geometrie
    (Antragsteller Hennig, Philipp )
- abgeschlossene Projekte
Emmy Noether-Nachwuchsgruppen
- abgeschlossene Projekte
  - Extreme Uniformität
    (Antragsteller Krebs, Andreas )
  - Probabilistische Numerische Methoden - Probabilistisches Programmieren für Autonome Maschinen
    (Antragsteller Hennig, Philipp )
Transferbereiche
- abgeschlossene Projekte
  - Volumenrekonstruktion und -visualisierung mittels Hardwarebeschleunigung
    (Teilprojektleiter Straßer, Wolfgang )
Sonderforschungsbereiche
- abgeschlossene Projekte
  - Argumentlinking und erweiterte Lokalität. Eine framebasierte Implementierung
    (Teilprojektleiterinnen / Teilprojektleiter Kallmeyer, Laura ; Lichte, Timm )
  - Automatisierte Synthese fuer parallele Rechnerstrukturen
    (Teilprojektleiter Rosenstiel, Wolfgang )
  - Hardware/Software Partitionierung und Entwurfs-Transformationen
    (Teilprojektleiter Rosenstiel, Wolfgang )
  - Konzept und Realisierung objektorientierter Graphik
    (Teilprojektleiter Straßer, Wolfgang )
  - Simulations- und Visualisierungsbeschleuniger
    (Teilprojektleiter Straßer, Wolfgang )
  - Verfahren zur Parallelisierung der Simulation physikalischer Prozesse mit Objektorientierten Methoden
    (Teilprojektleiter Rosenstiel, Wolfgang ; Ruder, Hanns ; Yserentant, Harry )
  - Volumenvisualisierung mit Hardwarebeschleunigung
    (Teilprojektleiter Straßer, Wolfgang )
  - Volumenvisualisierung mit Hardware-Beschleunigung
    (Teilprojektleiter Straßer, Wolfgang )
Forschungsgroßgeräte
- abgeschlossene Projekte
  - Tübingen Machine Learning-Cloud
Graduiertenkollegs
- abgeschlossene Projekte
  - GRK 441: Chemie in Interphasen - Synthese, Dynamik und Anwendung polymerfixierter aktiver Zentren
    (Sprecher Albert, Klaus )
Forschungsgruppen
- abgeschlossene Projekte
  - Kohärenztheorien der Erkenntnis
    (Antragsteller Spohn, Wolfgang )
  - Logik in der Philosophie
    (Antragsteller Schroeder-Heister, Peter )
  - Logik in der Philosophie - Kohärenztheorien der Erkenntnis
    (Antragsteller Spohn, Wolfgang )
  - Zentralprojekt - Konstanz
    (Antragsteller Spohn, Wolfgang )
Graduiertenschulen
- abgeschlossene Projekte
  - GSC 1028: Lernen, Leistung und lebenslange Entwicklung: Ein integriertes Forschungs- und Ausbildungsprogramm
    (Sprecher Trautwein, Ulrich )
Exzellenzcluster (ExStra)
- laufende Projekte
  - EXC 2064: Maschinelles Lernen: Neue Perspektiven für die Wissenschaft
    (Sprecherinnen / Sprecher Berens, Philipp ; von Luxburg, Ulrike )
  - EXC 2124: Kontrolle von Mikroorganismen zur Bekämpfung von Infektionen (CMFI)
    (Sprecherinnen / Sprecher Brötz-Oesterhelt, Heike ; Ley, Ph.D., Ruth ; Peschel, Andreas )
  - EXC 3057: Vernünftige Künstliche Intelligenz
    (Sprecherinnen / Sprecher Kersting, Kristian ; Mezini, Mira ; Rohrbach, Marcus )
  - EXC 3101: HUMAN ORIGINS – Exzellenzcluster für die Integrative Erforschung Menschlicher Ursprünge
    (Sprecherinnen / Sprecher Conard, Nicholas J. ; Harvati-Papatheodorou, Katerina ; Miller, Christopher E. )
  - EXC 3121: TERRA: Terrestrische Geo-Biosphären Wechselwirkungen in einer Welt im Wandel
    (Sprecherinnen / Sprecher Cirpka, Olaf A. ; Dippold, Michaela ; Rehfeld, Kira )
Exzellenzcluster
- abgeschlossene Projekte
  - EXC 142: Kognition für technische Systeme - CoTeSys
    (Sprecher Buss, Martin )

© 2026 DFG Kontakt / Impressum / Datenschutz