Go directly to content
Go directly to font size and contrast
Servicenavigation
DFG Homepage
Disclaimer / Copyright
|
Help
|
Data Monitor
Deutsch
Hauptnavigation
Search
Catalogue
People Index
Location Index
About GEPRIS
Project Details
Back
Institution
Eberhard Karls Universität Tübingen
Fachbereich IV: Informatik
Address
Sand 14
72076 Tübingen
Deutschland
GERiT
This institution in GERiT
72076 Tübingen
Projects
Research Grants
Current projects
BEING LOGICAL: ON POSSIBLE WAYS TO EXPAND OUR UNDERSTANDING OF LOGICALITY
(Applicant
Pailos, Ph.D., Federico
)
Beyond-planarity: A generalization of the planarity concept in graph drawing
(Applicant
Kaufmann, Ph.D., Michael
)
Efficient Compilation of Control-Effects
(Applicants
Brachthäuser, Jonathan Immanuel
;
Ostermann, Klaus
)
PriRare: Exploring Privacy-Preserving Solutions for Rare Disease Analysis
(Applicant
Akgün, Ph.D., Mete
)
Resource-efficient neural networks for mobile eye tracking
(Applicant
Fuhl, Wolfgang
)
Completed projects
Acquisition of Large 3D Scenes - Dealing with Complexity and Incompleteness
(Applicant
Straßer, Wolfgang
)
ALIEN: Abstractions, Languages, and Implementation Techniques That Cross the Program/Query Divide
(Applicants
Grust, Torsten
;
Ostermann, Klaus
)
Analytical probabilistic treatment planning
(Applicants
Bangert, Mark
;
Hennig, Philipp
)
Applied graph drawing
(Applicant
Kaufmann, Ph.D., Michael
)
Beyond Logic: Hypothetical Reasoning in Philosophy of Science, Informatics, and Law
(Applicant
Schroeder-Heister, Peter
)
Code-modulated evoked potentials for control of Brain-Computer Interfaces
(Applicant
Spüler, Martin
)
Communication analysis for Network-on-Chip
(Applicant
Bringmann, Oliver
)
Deep Integration of Domain-Specific Languages
(Applicant
Ostermann, Klaus
)
Dialogical Foundations of Semantics (DiFoS)
(Applicant
Schroeder-Heister, Peter
)
Duality in Circuit Complexity
(Applicant
Lange, Klaus-Jörn
)
Echtzeitsimulation flexibler Materialien durch Einsatz programmierbarer Hardware
(Applicant
Straßer, Wolfgang
)
Efficient Distributed Bounded Property Checking
(Applicant
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
(Applicant
Straßer, Wolfgang
)
Ergänzung fehlender Informationen bei der Erstellung von 3D-Modellen durch Inferenz in einem Markov-Zufallsfeld
(Applicant
Straßer, Wolfgang
)
Graphenzeichnen für Geschäftsprozesse
(Applicant
Kaufmann, Ph.D., Michael
)
Graphs and Hypergraphs in Proof Theory
(Applicant
Arndt, Michael
)
Hypothetical reasoning: Its proof-theoretic analysis
(Applicant
Schroeder-Heister, Peter
)
Illustrative Visualization of Uncertainty in Dynamic Molecular Structures
(Applicants
Krone, Michael
;
Lawonn, Kai
)
Inference of phylogenetic networks in the presence of hybridization, horizontal transfer or recombination.
(Applicant
Huson, Daniel H.
)
Kombination formaler und semiformaler Techniken zur Verifikation von C-basierten Systembeschreibungen
(Applicant
Kropf, Thomas
)
Kopplungsmerkmale zur Klassifikation von MEG-Signalen für Gehirn-Computer-Kommunikationssysteme
(Applicants
Birbaumer, Niels
;
Rosenstiel, Wolfgang
)
Language Recognition by Algebra and Topology
(Applicant
Krebs, Andreas
)
Local Divisors in Semigroups and Formal Languages
(Applicants
Diekert, Volker
;
Kufleitner, Manfred
)
MAIRA - Highly efficient and accurate algorithms for mobile analysis of microbes
(Applicant
Huson, Daniel H.
)
Maschinelles Lernen zur automatisierten Merkmalsextraktion und Klassifikation von EEG-Signalen für Gehirn-Computer-Kommunikationssysteme
(Applicant
Rosenstiel, Wolfgang
)
Model-based Opportunistic Robot Planning for Human-Robot Collaboration (MORPH)
(Applicant
Kirsch, Alexandra
)
Modern Aspects of Complexity of Formal Languages
(Applicant
Fernau, Henning
)
New Models and Methods for the Effective Orthogonal Layout of Graphs
(Applicant
Kaufmann, Ph.D., Michael
)
Objektorientierter Entwurf hochkomplexer Hardware/Software-Probleme
(Applicant
Rosenstiel, Wolfgang
)
Optimal solutions for hard problems in computational biology
(Applicant
Niedermeier, Rolf
)
Parameterized complexity and exact algorithms
(Applicant
Niedermeier, Rolf
)
Paul Hertz and his Foundation of Structural Proof Theory
(Applicant
Arndt, Michael
)
Physikalische Modellierung und Visualisierung von Textilien
(Applicant
Straßer, Wolfgang
)
Registrierung von 3D-Tiefenbildern mittels analytischer Strukturapproximation
(Applicant
Straßer, Wolfgang
)
Rekonstruktion von 3D-Modellen aus zweidimensionalen Laserscans unterschiedlicher Ausrichtung
(Applicant
Schilling, Andreas
)
Simulation elastodynamischer Eigenschaften von Humangewebe für VR-basiertes Training in der endoskopischen Chirurgie
(Applicant
Straßer, Wolfgang
)
Simulation von Materialeigenschaften textiler Mehrschichtstrukuren und Nähte bei der virtuellen Passformkontrolle von Bekleidungstextilien
(Applicants
Rödel, Hartmut
;
Straßer, Wolfgang
)
The recognition and simulation of conversational facial expressions at various levels of photorealism
(Applicant
Straßer, Wolfgang
)
Visual Analysis of Protein-Ligand Interactions
(Applicants
Krone, Michael
;
Ropinski, Timo
)
Priority Programmes
Current projects
Enriching Deep Learning with Probability and Geometry
(Applicant
Hennig, Philipp
)
Multi-Phase Probabilistic Optimizers for Deep Learning
(Applicant
Hennig, Philipp
)
Completed projects
Architecture and Design Methodology for Autonomic Systems on Chip
(Applicants
Herkersdorf, Andreas
;
Rosenstiel, Wolfgang
)
Assessment and Design Techniques for Processor-Like Reconfigurable Architectures
(Applicant
Rosenstiel, Wolfgang
)
Auto-Tune: Structural Optimization of Machine Learning Frameworks for Large Datasets
(Applicants
Brox, Thomas
;
Hennig, Philipp
;
Hutter, Ph.D., Frank
)
Combination of virtual and optical / navigated endoscopy for marillo-facial and new surgery.
(Applicants
Freudenstein, Dirk
;
Hoffmann, Jürgen
;
Straßer, Wolfgang
)
Construction of Riemannian manifolds with scalar curvature constraints and applications to general relativity
(Applicant
Cabrera Pacheco, Armando
)
Entwicklung einer Architektur für das Prototyping von Realzeitsystemen mit Unterstützung von High-Level Debugging-Methoden
(Applicant
Rosenstiel, Wolfgang
)
Entwurf einer universellen rekonfigurierbaren Architektur für Visual Computing
(Applicant
Straßer, Wolfgang
)
Evolutionary dynamics and phylogenetic inference of CRISPR systems in prokaryotic populations
(Applicant
Baumdicker, Franz
)
Evolutionstheorien für natürliche und technische Netzwerke
(Applicant
Kaufmann, Ph.D., Michael
)
Hierarchische Synthese für anwendungsspezifische Prototypenimplementierungen
(Applicant
Rosenstiel, Wolfgang
)
Hybride Szenenrepräsentationen für die effiziente Darstellung hoch komplexer animierter Szenen in digitalen Dokumenten
(Applicant
Straßer, Wolfgang
)
Interaction between Yersinia enterocolitica, the intestinal microbiota, and the host: from molecular analysis to therapeutic intervention
(Applicants
Autenrieth, Ingo Birger
;
Huson, Daniel H.
)
Modellierung und Bewertung eingebetteter Software mit statischen Analyseverfahren
(Applicant
Rosenstiel, Wolfgang
)
Resilience Evaluation of Recognition and Planning Approaches in Cooperative Interacting Vehicles with Respect to Unexpected Disturbances (RESIST)
(Applicant
Bringmann, Oliver
)
Self-adaptive Coarse-Grained Reconfigurable Architectures as Reliability Enhancers in Embedded Systems
(Applicant
Rosenstiel, Wolfgang
)
SPP 1040: Entwurf und Entwurfsmethodik eingebetteter Systeme
(Spokesperson
Rosenstiel, Wolfgang
)
Structure-based Algorithm Engineering for SAT-Solving
(Applicant
Kaufmann, Ph.D., Michael
)
The project develops new techniques for the interactive navigtion, visualization, and analysis of heterogeneous biological networks
(Applicants
Kaufmann, Ph.D., Michael
;
Kohlbacher, Oliver
;
Lenhof, Hans-Peter
)
Use of digital CT data for improvement of dental implantations
(Applicant
Maassen, Marcus Matthias
)
WWW - Visualisierung und Analyse
(Applicant
Kaufmann, Ph.D., Michael
)
Independent Junior Research Groups
Completed projects
Extreme Uniformity
(Applicant
Krebs, Andreas
)
Probabilistic Numerics - Probabilistic Programming for Autonomous Systems
(Applicant
Hennig, Philipp
)
CRC/Transfer Units
Completed projects
Volumenrekonstruktion und -visualisierung mittels Hardwarebeschleunigung
(Project Head
Straßer, Wolfgang
)
Collaborative Research Centres
Completed projects
Argument linking and extended locality. A frame-based implementation
(Project Heads
Kallmeyer, Laura
;
Lichte, Timm
)
Automatisierte Synthese fuer parallele Rechnerstrukturen
(Project Head
Rosenstiel, Wolfgang
)
Hardware/Software Partitionierung und Entwurfs-Transformationen
(Project Head
Rosenstiel, Wolfgang
)
Konzept und Realisierung objektorientierter Graphik
(Project Head
Straßer, Wolfgang
)
Simulations- und Visualisierungsbeschleuniger
(Project Head
Straßer, Wolfgang
)
Verfahren zur Parallelisierung der Simulation physikalischer Prozesse mit Objektorientierten Methoden
(Project Heads
Rosenstiel, Wolfgang
;
Ruder, Hanns
;
Yserentant, Harry
)
Volumenvisualisierung mit Hardwarebeschleunigung
(Project Head
Straßer, Wolfgang
)
Volumenvisualisierung mit Hardware-Beschleunigung
(Project Head
Straßer, Wolfgang
)
Major Research Instrumentation
Completed projects
Tübingen Machine Learning Cloud
Research Training Groups
Completed projects
GRK 441: Chemistry in Interphases - Synthesis, Dynamics, and Application of Polymer-Anchored Active Centers
(Spokesperson
Albert, Klaus
)
Research Units
Completed projects
Kohärenztheorien der Erkenntnis
(Applicant
Spohn, Wolfgang
)
Logik in der Philosophie
(Applicant
Schroeder-Heister, Peter
)
Logik in der Philosophie - Kohärenztheorien der Erkenntnis
(Applicant
Spohn, Wolfgang
)
Zentralprojekt - Konstanz
(Applicant
Spohn, Wolfgang
)
Graduate Schools
Completed projects
GSC 1028: Learning, Educational Achievement and Life Course Development: An Integrated Research and Training Programme
(Spokesperson
Trautwein, Ulrich
)
Clusters of Excellence
Completed projects
EXC 142: Cognition for Technical Systems (CoTeSys)
(Spokesperson
Buss, Martin
)
Clusters of Excellence (ExStra)
Current projects
EXC 2064: Machine Learning: New Perspectives for Science
(Spokespersons
Berens, Philipp
;
von Luxburg, Ulrike
)
EXC 2124: Controlling Microbes to Fight Infections (CMFI)
(Spokespersons
Brötz-Oesterhelt, Heike
;
Ley, Ruth E.
;
Peschel, Andreas
)
Additional Information
© 2024
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung
