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

Detailseite

Institution

Druckansicht

Goethe-Universität Frankfurt am Main
Fachbereich 12: Informatik und Mathematik
Institut für Informatik

Adresse Robert-Mayer-Straße 11-15
60325 Frankfurt am Main
Deutschland

GERiT Diese Institution in GERiT

60325 Frankfurt am Main

Projekte

Schwerpunktprogramme
- abgeschlossene Projekte
  - Ausbau des Konstruktionswerkzeugs KANDIS für das Rapid Prototyping gemischt analog/digitaler (hybrider) Systeme
    (Antragsteller Waldschmidt, Klaus )
  - Bewertung und Analyse hybrider Systeme
    (Antragsteller Waldschmidt, Klaus )
  - Entwicklung von Mechanismen für eine größenunabhängige, inhaltsbezogene Kodierung und Kompression von Bildern
    (Antragsteller Brause, Rüdiger )
  - ExaSolvers - Extreme scale solvers for coupled systems
    (Antragsteller Grasedyck, Lars ; Resch, Ph.D., Michael M. ; Schulz, Volker ; Wittum, Gabriel )
  - MixedCoreSoC - A Highly Dependable Self-Adaptive Mixed-Signal Multi-Core System-on-Chip
    (Antragsteller Brinkschulte, Uwe ; Hedrich, Lars )
Sachbeihilfen
- laufende Projekte
  - De retibus nummorum. Die Vernetzung der spätkeltischen Welt am Beispiel der Münzwirtschaft
    (Antragstellerinnen / Antragsteller von Nicolai, Caroline ; Tolle, Karsten )
  - Formale Verifikation von analoger AI-Hardware (FAI)
    (Antragsteller Althoff, Matthias ; Hedrich, Lars ; Olbrich, Markus )
- abgeschlossene Projekte
  - Algorithmic mechanism design with a focus on scheduling mechanisms
    (Antragstellerin Kovács, Annamária )
  - Algorithms resilient to memory corruptions
    (Antragsteller Moruz, Ph.D., Gabriel )
  - Analyse septischer Krankheitsbilder mittels Neuronaler Netze - Einfluß auf Therapie und Prognose
    (Antragsteller Hanisch, Ernst )
  - Approximationsalgorithmen für Geometrische Optimierungsprobleme
    (Antragsteller Monemizadeh, Morteza )
  - Automatischer Korrektheitsnachweis von Programmtransformationen
    (Antragsteller Schmidt-Schauß, Manfred )
  - CloudDBGuard: Umsetzung kryptographie-basierter Verfahren zur sicheren Datenverwaltung in Cloud-Datenbanken
    (Antragstellerin Wiese, Lena )
  - Die Graphstruktur boolescher Funktionen
    (Antragsteller Schnitger, Georg )
  - Die Stärke probabilistischer Berechnungen im Vergleich mit nichtdeterministischen und deterministischen Berechnungen
    (Antragsteller Schnitger, Georg )
  - Ein automatisches Parallelisierungsverfahren für konfigurierbare COMA-Architekturen
    (Antragsteller Waldschmidt, Klaus )
  - Grenzen der dynamischen Programmierung
    (Antragsteller Schnitger, Georg )
  - Grenzen von Algorithmenparadigmen
    (Antragsteller Schnitger, Georg )
  - Improvements für nebenläufige call-by-need funktionale Programmiersprachen.
    (Antragsteller Schmidt-Schauß, Manfred )
Forschungsgruppen
- laufende Projekte
  - Entstehung von abstrakten Repräsentationen in kontextualisierten multimodalen Modellen
    (Antragstellerin Roig, Gemma )
  - FOR 5368: KI-FOR Abstrakte Repräsentationen in neuronalen Architekturen (ARENA)
    (Sprecher Fiebach, Christian )
Infrastruktur-Schwerpunktprogramme
- laufende Projekte
  - Lernen von der Umgebung aus der Perspektive des Kindes
    (Antragstellerinnen Roig, Gemma ; Shing, Yee Lee )
Forschungsdaten und Software
- laufende Projekte
  - Datenqualität für Numismatik basierend auf Natural Language Processing und Neuronalen Netzen - D4N4
    (Antragsteller Markschies, Christoph ; Tolle, Karsten ; Weisser, Bernhard )
- abgeschlossene Projekte
  - Corpus Nummorum Thracorum. Klassifizierung der Münztypen und semantische Vernetzung über Nomisma.org
    (Antragsteller Markschies, Christoph ; Tolle, Karsten ; Weisser, Bernhard )
Nationale Forschungsdateninfrastruktur Fach- und Methodenkonsortien
- laufende Projekte
  - Forschungsdateninfrastruktur für die materiellen Hinterlassenschaften der Menschheitsgeschichte
    (Sprecher Freiherr von Rummel, Philipp )

© 2024 DFG Kontakt / Impressum / Datenschutz