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

Detailseite

Institution

Druckansicht

Universität des Saarlandes
Saarland Informatics Campus

Adresse Campus, Geb. E1 3
66123 Saarbrücken
Deutschland

GERiT Diese Institution in GERiT

66123 Saarbrücken

Projekte

Sachbeihilfen
- laufende Projekte
  - Erforschung von Fingerprinting und CPU Angriffen und Gegenmaßnahmen über Browserskripte
    (Antragsteller Hack, Sebastian ; Reineke, Jan ; Rossow, Christian ; Schwarz, Michael )
  - Potenziale der Zertifizierung von KI-Systemen bei der Regulierung von Künstlicher Intelligenz
    (Antragsteller Borges, Georg ; Hermanns, Holger )
- abgeschlossene Projekte
  - Anisotrope Bildverarbeitung: Modellierung jenseits von Orthogonalität und Symmetrie
    (Antragsteller Weickert, Joachim )
  - Eine Ray-Tracing Hardware-Architektur für realistische Bildsynthese und Beleuchtungsberechnung in Echtzeit
    (Antragsteller Slusallek, Philipp )
  - Entwicklung einer Theorie der "Smoothes Analysis" für diskrete Probleme sowie die Anwendung von "Smoothed Analysis" auf andere Konzepte wie z.B. Approximierbarkeit
    (Antragsteller Bläser, Markus )
  - Exact lower bounds for algebraic problems
    (Antragsteller Bläser, Markus )
  - Gekoppelte Korrespondenzberechnung und Statistische Analyse von geometrischen Modellen menschlicher Gesichter und Koerper
    (Antragsteller Weickert, Joachim )
  - Generische invarianten-basierte Visualisierung für die Algorithmenerklärung
    (Antragsteller Wilhelm, Reinhard )
  - Hochgenaue und echtzeitnahe 3D Rekonstruktion aus Stereobildpaaren und Stereobildfolgen
    (Antragsteller Weickert, Joachim )
  - Hochoptimierende, retargierbare Compiler für 3D-Graphikprozessoren mit programmierbaren Vertex- und Pixel-Shadern
    (Antragsteller Wilhelm, Reinhard )
  - Leistungsfähige Diffusionsalgorithmen zur Verarbeitung digitaler Bildfolgen auf Rechnerclustern unter einer SAN-Architektur
    (Antragsteller Schnörr, Christoph )
  - Leistungsfähige Diffusionsalgorithmen zur Verarbeitung digitaler Bildfolgen auf Rechnerclustern unter einer SAN-Architektur
    (Antragsteller Weickert, Joachim )
  - MULTIMODE: Methoden und Werkzeuge für die Analyse und den Entwurf multimodaler stochastischer Systeme
    (Antragstellerin Wolf, Verena )
  - Nichtlokale Bildanalyse mit Integro-Differentialgleichungen
    (Antragsteller Weickert, Joachim )
  - Parallel Iterative Methods with A Priori Information for Robust Computed Laminography of Low Contrast, Difficult-To-Measure Objects / Entwicklung von 3D tomografischen Rekonstruktionsverfahren
    (Antragsteller Louis, Alfred Karl ; Maisl, Michael ; Slusallek, Philipp )
  - RigorOus dependability analysis using model ChecKing techniques for Stochastic systems (ROCKS)
    (Antragstellerinnen / Antragsteller Baier, Christel ; Hermanns, Holger ; Siegle, Markus ; Ábrahám, Erika )
  - Validation of Stochastic Systems 2
    (Antragsteller Hermanns, Holger )
  - Verknüpfung von 3D-Formenwissen und Lageschätzung mit Bildsegmentierung
    (Antragsteller Sommer, Gerald ; Weickert, Joachim )
  - Zur Konstruktion neuer Differenzenverfahren durch nichtlineare Viskositäten der Bildverarbeitung
    (Antragsteller Weickert, Joachim )
Emmy Noether-Nachwuchsgruppen (Aktionsplan Informatik)
- abgeschlossene Projekte
  - Aktionsplan-Informatik: Strategisches Verhalten im Internet - Algorithmen und spieltheoretische Analyse
    (Antragsteller Bläser, Markus )
Heisenberg-Stipendien
- abgeschlossene Projekte
  - Informatik
    (Antragsteller Padberg, Frank )
Schwerpunktprogramme
- laufende Projekte
  - Privatsphäre-wahrende Interaktion mit am Körper getragenen Computergeräten
    (Antragstellerinnen / Antragsteller Krombholz, Katharina ; Krüger, Antonio ; Steimle, Jürgen )
  - SKIRIM: Selbstgesteuerte kinetische Interaktion mit reichhaltigen interaktiven Materialien
    (Antragstellerinnen / Antragsteller Boll, Susanne ; Borchers, Jan ; Steimle, Jürgen )
- abgeschlossene Projekte
  - Beziehungen zwischen nichtlinearen Filtern in der digitalen Bildverarbeitung
    (Antragsteller Weickert, Joachim )
  - RIME: Reichhaltige interaktive Materialien für Alltagsgegenstände im Wohnumfeld
    (Antragstellerinnen / Antragsteller Boll, Susanne ; Borchers, Jan ; Steimle, Jürgen )
Sonderforschungsbereiche
- abgeschlossene Projekte
  - Beleuchtungssimulation in nicht-diffusen Umgebungen
    (Teilprojektleiter Seidel, Hans-Peter ; Slusallek, Philipp )
  - DNA-Methylierungs-Muster-Bildung: mechanistische Analyse und mathematische Modellierung epigenetischer Kontrolle
    (Teilprojektleiterinnen / Teilprojektleiter Walter, Jörn E. ; Wolf, Verena )
Transregios
- laufende Projekte
  - Komposition und Abstraktion mit Erklärungen
    (Teilprojektleiterinnen / Teilprojektleiter Apel, Sven ; Baier, Christel ; Gaggl, Sarah Alice ; Hermanns, Holger )
  - TRR 248: Grundlagen verständlicher Software-Systeme - für eine nachvollziehbare cyber-physische Welt
    (Sprecher Dachselt, Raimund ; Hermanns, Holger )
  - Überwachung dynamischer verlässlicher Systeme
    (Teilprojektleiter Fetzer, Christof ; Hermanns, Holger ; Hoffmann, Jörg )
  - Verständlichkeit und gesellschaftliche Risiken
    (Teilprojektleiterinnen / Teilprojektleiter Hermanns, Holger ; Lauber-Rönsberg, Anne )
- abgeschlossene Projekte
  - Automatische Stabilitätsbeweisführung für Hybride Systeme
    (Teilprojektleiterinnen / Teilprojektleiter Fränzle, Martin ; Hermanns, Holger ; Podelski, Andreas ; Theel, Oliver ; Wolf, Verena )
  - Dynamische Kommunikationssysteme
    (Teilprojektleiter Damm, Werner ; Finkbeiner, Bernd ; Hermanns, Holger ; Podelski, Andreas ; Weidenbach, Christoph )
  - Verifikation von Verlässlichkeitseigenschaften
    (Teilprojektleiterinnen / Teilprojektleiter Becker, Bernd ; Hermanns, Holger ; Theel, Oliver ; Wolf, Verena )
  - Zeitanalyse, Scheduling und Verteilung von Echtzeittasks
    (Teilprojektleiter Althaus, Ernst ; Damm, Werner ; Hack, Sebastian ; Reineke, Jan ; Wilhelm, Reinhard )
Graduiertenkollegs
- laufende Projekte
  - GRK 2853: Neuroexplizite Modelle für Sprachverarbeitung, Bilderkennung und Aktionsentscheidungen
    (Sprecher Koller, Alexander )
- abgeschlossene Projekte
  - GRK 623: Leistungsgarantien für Rechnersysteme
    (Sprecher Seidel, Raimund )
Großgeräteinitiative
- abgeschlossene Projekte
  - Beyond 3D - Tomographische Methodenentwicklung, Datenanalyse und Anwendungen in der Materialwissenschaft als integrierter Ansatz für dynamische und Hochdurchsatz-Mikroskopie (Beyond 3D)
    (Antragsteller Herrmann, Hans-Georg )
Graduiertenschulen
- abgeschlossene Projekte
  - GSC 209: Saarbrücker Graduiertenschule für Informatik
    (Sprecher Seidel, Raimund )
Exzellenzcluster
- abgeschlossene Projekte
  - EXC 284: Multimodal Computing and Interaction. Robust, Efficient and Intelligent Processing of Text, Speech, Visual Data and High Dimensional Representations
    (Sprecher Seidel, Hans-Peter )
Nationale Forschungsdateninfrastruktur Fach- und Methodenkonsortien
- laufende Projekte

© 2025 DFG Kontakt / Impressum / Datenschutz