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

Detailseite

Institution

Druckansicht

Hasso-Plattner-Institut für Digital Engineering gGmbH

Adresse Prof.-Dr.-Helmert-Straße 2-3
14482 Potsdam
Deutschland

GERiT Diese Institution in GERiT

14482 Potsdam

Projekte

Sachbeihilfen
- laufende Projekte
  - Approximation von Zustandssummen in geometrischen Räumen
    (Antragsteller Göbel, Andreas )
  - FC4MC: Modellierung und Einsatz flexibler Choreographien in Multi-Blockchain-Umgebungen
    (Antragsteller Weske, Mathias )
  - Geometrische Modelle zur eigennützigen Netzwerkerzeugung (GEONET)
    (Antragsteller Friedrich, Ph.D., Tobias ; Lenzner, Pascal )
  - MIDAS: Generierung großer und heterogener Testdaten zur Erkennung und Eliminierung von Duplikaten
    (Antragsteller Panse, Fabian )
  - Modulares und inkrementelles Globales Modell-Management II
    (Antragsteller Giese, Holger )
  - Quantitative Analyse von service-orientierten Echtzeit Systemen mit Strukturdynamik II (QUANTUM II)
    (Antragsteller Giese, Holger )
  - SWAVES: Bereitstellung softwarisierter Dienste in Wellen um mobile Nutzer
    (Antragsteller Karl, Holger )
  - Theorie der Estimation-of-Distribution-Algorithmen (TEDA)
    (Antragsteller Friedrich, Ph.D., Tobias )
- abgeschlossene Projekte
  - Analyse Diskreter Lastbalancierung auf Heterogenen Netzwerken (ADLON)
    (Antragsteller Friedrich, Ph.D., Tobias )
  - Average-Case Analyse von Parametrisierten Problemen und Algorithmen
    (Antragsteller Friedrich, Ph.D., Tobias ; Guo, Jiong )
  - Dekomposition von Signalflankengraphen zur Synthese asynchroner Steuerwerksverbünde
    (Antragsteller Vogler, Walter ; Wollowski, Ralf )
  - Die Hyperbolische Geometrie von Netzwerken
    (Antragsteller Friedrich, Ph.D., Tobias )
  - Die Struktur Algorithmischen Lernens
    (Antragsteller Kötzing, Timo )
  - Interagierende Geschäftsprozesse auf der Basis von datengetriebener Dienstkomposition
    (Antragsteller Weske, Mathias )
  - Korrekte Modelltransformationen III (KorMoran III)
    (Antragstellerinnen / Antragsteller Giese, Holger ; Glesner, Sabine )
  - Linear-Algebraische Berechnungsmodelle für Boolesche Funktionen und ihre Anwendung
    (Antragsteller Meinel, Christoph )
  - LIVE: Empirische Studien über die Auswirkungen von Liveness auf das Programmieren
    (Antragsteller Hirschfeld, Robert )
  - Optimierung hochsprachen-spezifizierter asynchroner Controller mittels STG-Dekomposition (Kennwort: Optacon)
    (Antragsteller Vogler, Walter ; Wollowski, Ralf )
  - Rendering und Usability von nichtphotorealistischen dreidimensionalen stadträumlichen virtuellen Umgebungen für mobile Geräte
    (Antragstellerinnen / Antragsteller Döllner, Jürgen ; Meng, Liqiu )
  - Skalenfreie Erfüllbarkeit
    (Antragsteller Friedrich, Ph.D., Tobias )
  - Spezies-Identifikation und Quantifizierung in der Metaproteogenomik
    (Antragsteller Renard, Bernhard )
  - Theoretische Grundlagen von Schwarmverfahren
    (Antragsteller Friedrich, Ph.D., Tobias ; Witt, Carsten )
  - Theorie von Schwarmverfahren und ihre Effektivität in unsicheren Umgebungen (TOSU)
    (Antragsteller Friedrich, Ph.D., Tobias )
Schwerpunktprogramme
- laufende Projekte
  - Memento: Energieeffiziente Speicherplatzierung
    (Antragsteller Hönig, Timo ; Polze, Andreas )
- abgeschlossene Projekte
  - Entwurf von Analyse von BDD-basierten Datenstrukturen zur Repräsentation und automatischen Bearbeitung sequentieller Schaltkreise und Systeme
    (Antragsteller Meinel, Christoph )
Emmy Noether-Nachwuchsgruppen (Aktionsplan Informatik)
- abgeschlossene Projekte
  - Aktionsplan-Informatik: Merging autonomous content für die effektive Integration autonomer, heterogener Informationssysteme
    (Antragsteller Naumann, Felix )
Forschungsgruppen
- laufende Projekte
  - Die Entstehung realistischer Netzwerke
    (Antragsteller Friedrich, Ph.D., Tobias )
  - FOR 2975: Algorithmen, Dynamik und Informationsfluss in Netzwerken
    (Sprecher Hoefer, Martin )
  - FOR 5363: KI-FOR Integration von Deep Learning und Statistik zum Verständnis strukturierter biomedizinischer Daten
    (Sprecherin Greven, Sonja )
  - Strukturierte Erklärbarkeit von Interaktionen in Deep Learning Modellen mit Anwendung auf Pathogenitätsprädiktion
    (Antragstellerinnen / Antragsteller Klein, Nadja ; Renard, Bernhard )
- abgeschlossene Projekte
  - A Library for Scalable Analytics and Mining in Stratosphere
    (Antragsteller Naumann, Felix )
  - Data Profiling and Data Cleansing on Stratosphere
    (Antragsteller Naumann, Felix )
  - FOR 2457: Akustische Sensornetze
    (Sprecher Häb-Umbach, Reinhold )
  - Uncertainty and Data Cleansing in the Stratosphere Cloud Data Management System
    (Antragsteller Naumann, Felix )
  - Verteilte akustische Signalverarbeitung über funkbasierte Sensornetzwerke
    (Antragsteller Karl, Holger ; Schmalenströer, Jörg )
Forschungsgroßgeräte
- abgeschlossene Projekte
  - HPC-Cluster-System
Forschungsdaten und Software
- abgeschlossene Projekte
  - MaMoDaR: Management Molekularer Daten im Research Data Life Cycle
    (Antragstellerinnen / Antragsteller Grabenhenrich, Linus ; Neuroth, Heike )
  - MetaProteomics Pipeline (MPP): Integration verschiedener Metaproteomics Datenanalyse-Tools in einen umfänglichen und nachhaltigen Bioinformatik-Workflow
    (Antragsteller Fuchs, Stephan ; Renard, Bernhard )
Sonderforschungsbereiche
- laufende Projekte
  - SFB 1404: FONDA – Grundlagen von Workflows für die Analyse großer naturwissenschaftlicher Daten
    (Sprecher Leser, Ulf )
- abgeschlossene Projekte
  - On-The-Fly Compute Centers II: Ausführung komponierter Dienste in konfigurierbaren Rechenzentren
    (Teilprojektleiter Karl, Holger ; Meyer auf der Heide, Friedhelm )
  - Realisierung und Optimierung von Overlays über physikalischen Netzen
    (Teilprojektleiter Frey, Hannes ; Karl, Holger )
Graduiertenkollegs
- abgeschlossene Projekte
  - GRK 1651: Service-orientierte Architekturen zur Integration Software-gestützter Prozesse am Beispiel des Gesundheitswesens und der Medizintechnik (SOAMED).
    (Sprecher Leser, Ulf )
Nationale Forschungsdateninfrastruktur Fach- und Methodenkonsortien
- laufende Projekte
  - NFDI4Health – Nationale Forschungsdateninfrastruktur für personenbezogene Gesundheitsdaten
    (Sprecherin Fluck, Juliane )

Untergeordnete Institutionen

© 2024 DFG Kontakt / Impressum / Datenschutz