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

Detailseite

Institution

Druckansicht

Humboldt-Universität zu Berlin
Institut für Informatik

Adresse Unter den Linden 6
10099 Berlin
Deutschland

GERiT Diese Institution in GERiT

10099 Berlin

Projekte

Sachbeihilfen
- laufende Projekte
  - 5G Realzeitkommunikation für das "Taktile Internet" (5G-Remote)
    (Antragsteller Grass, Eckhard ; Kraemer, Rolf )
  - Dynamische inexakte High-Performance Algorithmen für Netzwerkzentralitäten und Einbettungen von Graphen
    (Antragsteller Meyerhenke, Henning )
  - EMPEROR: Lernen der Ursachen von Programmverhalten
    (Antragsteller Grunske, Lars ; Zeller, Ph.D., Andreas )
  - Erweiterungen der Logik erster Stufe auf gewichteten Strukturen zum Beschreiben und Lernen von Aggregat-Anfragen
    (Antragstellerin Schweikardt, Nicole )
  - IDEFIX: Identifizierung und Behebung von wiederkehrenden Softwarefehlern
    (Antragsteller Beyer, Dirk ; Grunske, Lars )
  - Increasing eyewitness identification accuracy in lineups using 3D interactive virtual reality
    (Antragsteller Eisert, Peter ; Gaebler, Michael )
  - Mehr als Kernelisierung – Mehr Allgemeinheit für effiziente Vorverarbeitung
    (Antragsteller Kratsch, Stefan )
  - Übereinstimmungsprüfung von Prozessen im Kontext Unvollständiger Informationen
    (Antragsteller Grunske, Lars ; Weidlich, Matthias )
  - Verteilte Komplexität der stochastischen räumlichen Koordination
    (Antragsteller Rybicki, Joel )
- abgeschlossene Projekte
  - Ähnlichkeitssuche fuer Reichhaltig Annotierte Stukturierte Patientenfallakten
    (Antragsteller Starlinger, Johannes )
  - Aktuelle Herausforderungen beim Isomorphietest und bei der Kanonisierung von Graphen
    (Antragsteller Köbler, Johannes )
  - Aussagenlogische Beweiskomplexität und disjunkte NP-Paare
    (Antragsteller Köbler, Johannes )
  - Austauschbarkeit von Services
    (Antragsteller Reisig, Wolfgang )
  - Automatische Synthese von Verhaltensadaptern zwischen Services
    (Antragsteller Reisig, Wolfgang ; Wolf, Karsten )
  - Automatisierte, minimal-invasive Erkennung und Behebung von Fehlern in komplexen Softwaresystemen
    (Antragsteller Andrzejak, Artur )
  - Beschleunigung numerischer Berechnungen für die Analyse dynamischer komplexer Netzwerke
    (Antragsteller Meyerhenke, Henning )
  - Bild-basierte Repräsentation von Kleidung für virtuelle Anproben
    (Antragsteller Eisert, Peter )
  - Die Ausdruckskraft von Abstract State Machines
    (Antragsteller Reisig, Wolfgang )
  - DNA-computing
    (Antragsteller Reisig, Wolfgang )
  - Effizienzgrenzen für Graphisomorphie- und Homomorphie-Probleme
    (Antragsteller Verbitsky, Oleg )
  - Ein algorithmisches Framework zur Lastbalancierung künftiger Exascale-Anwendungen auf massiv parallelen NUMA-Architekturen
    (Antragsteller Meyerhenke, Henning )
  - Entwicklung robuster Algorithmen zur schnellen Strahlselektion und Demonstration von räumlichem Multiplexing mit hybrider Strahlformung bei mm-Wellen
    (Antragsteller Fettweis, Gerhard P. ; Grass, Eckhard ; Rave, Wolfgang )
  - Failure Prediction for Critical Infrastructures
    (Antragsteller Malek, Miroslaw )
  - Isomorphie und Ähnlichkeit von Graphen
    (Antragsteller Köbler, Johannes )
  - Kompositionale Verifikation von Netzwerkalgorithmen und reaktiven Systemen
    (Antragsteller Reisig, Wolfgang )
  - Konsens-Algorithmen für verteilte Systeme
    (Antragsteller Reisig, Wolfgang )
  - Lernen von Ähnlichkeitsfunktionen für Tabellen
    (Antragsteller Leser, Ulf )
  - Modellierung und Verifikation der Abarbeitungssteuerung von Funktionsblöcken nach IEC 1499 mit Signal-Ereignis-Netzen
    (Antragsteller Starke, Peter H. )
  - Polynomielle Fragekomplexität beim Algorithmischen Lernen
    (Antragsteller Köbler, Johannes )
  - Spezifikation, Verifikation und Sythese global asynchroner - lokal synchroner (GALS) Systeme und Schaltungen
    (Antragsteller Reisig, Wolfgang )
  - Theoretische Grundlagen der effizienten Anfrageauswertung über dynamischen Datensätzen
    (Antragstellerin Schweikardt, Nicole )
  - Theoretische Grundlagen der effizienten Aufzählung von Anfrageergebnissen
    (Antragstellerin Schweikardt, Nicole )
  - Untersuchung von Sicherheitsmodellen für IT-Sicherheitssysteme, die eine zuverlässige Evaluierung nach bestimmten Sicherheitskriterien erlauben.
    (Antragsteller Köbler, Johannes )
  - Zertifizierende Algorithmen für interaktive Komponenten und verteilte Systeme
    (Antragsteller Reisig, Wolfgang )
Schwerpunktprogramme
- laufende Projekte
  - An Embodied AI Approach to Measures of the Self
    (Antragstellerin Hafner, Verena V. )
  - Funktionelle Aspekte des minimalen Selbst – der Fall Schizophrenie
    (Antragstellerinnen / Antragsteller Kaltwasser, Laura ; Voss, Martin )
  - Informations-Integration in Prädiktiven Prozessen: Eine Mechanistische Verankerung des Selbst
    (Antragsteller Ay, Nihat )
- abgeschlossene Projekte
Forschungsgruppen
- laufende Projekte
  - AbstractMine: Privatheit in der Datenabstraktion für Process Mining in Verteilten Umgebungen
    (Antragsteller Weidlich, Matthias )
  - Ein umfassendes Verzeichnis regulatorischer Elemente und ihrer Rolle in menschlichen Krankheiten
    (Antragsteller Leser, Ulf ; Seelow, Dominik )
  - FOR 5495: SOURCED – Process Mining auf verteilten Ereignisquellen
    (Sprecherin Koschmider, Agnes )
- abgeschlossene Projekte
  - Bild, Schrift und Zahl in der Turing-Galaxis. Die technischen und sozialkulturellen Hintergründe geistigen Eigentums unter den Bedingungen multimedialer Digitalisierung und globaler Vernetzung
    (Antragsteller Coy, Wolfgang )
  - Continuous Query Re-Optimization in Stratosphere
    (Antragsteller Freytag, Ph.D., Johann-Christoph )
  - FOR 391: Bild, Schrift und Zahl
    (Sprecher Coy, Wolfgang )
  - FOR 2841: Jenseits des Exoms - Auffindung, Analyse und Vorhersage des Krankheitspotenzials nichtkodierender DNA Varianten.
    (Sprecher Schülke-Gerstenfeld, Markus )
  - Scalable Information Extraction in Stratosphere
    (Antragsteller Leser, Ulf )
  - Taxonomie, Konzeption und Bereitstellung anwendungsorientierter Petrienetz-Technologie
    (Antragsteller Reisig, Wolfgang )
  - Taxonomie, Konzeption und Bereitstellung anwendungsorientierter Petrinetz-Technologie
    (Antragsteller Weber, Herbert )
  - Visuelle Argumentationen: Erzeugung und Logik wissenschaftlicher Grafiken und Bilder unter digitalen Produktionsbedingungen
    (Antragsteller Coy, Wolfgang )
  - Web Data Analytics and Scientific Workflows
    (Antragsteller Leser, Ulf )
  - Zentralprojekt
    (Antragsteller Coy, Wolfgang )
Emmy Noether-Nachwuchsgruppen (Aktionsplan Informatik)
- abgeschlossene Projekte
  - Grundlagen der Verarbeitung von großen Datenmengen und Datenströmen
    (Antragstellerin Schweikardt, Nicole )
Emmy Noether-Nachwuchsgruppen
- abgeschlossene Projekte
  - Effiziente Vorverarbeitung für schwere Probleme: neue Techniken und präzise Modelle für Datenreduktion
    (Antragsteller Kratsch, Stefan )
  - Prozessorientierung in Ereignisgetriebenen Systemen: Model, Analyse und Optimierung
    (Antragsteller Weidlich, Matthias )
Sonderforschungsbereiche
- laufende Projekte
  - CO2 effizientes Scheduling verteilter Workflows mit Unsicherheiten
    (Teilprojektleiter Kao, Odej ; Meyerhenke, Henning )
  - Energie-Optimierung von Workflows in der Bioinformatik
    (Teilprojektleiter Leser, Ulf ; Reinert, Knut )
  - Frühphase des Workflow-Entwurfs: Von kollaborativer wissenschaftlicher Problemlösung zu DAW-Spezifikationen
    (Teilprojektleiterinnen / Teilprojektleiter Lamprecht, Anna-Lena ; Mendling, Jan ; Weidlich, Matthias )
  - Ganzheitliche Energieprofile für Datenanalyse-Workflows
    (Teilprojektleiter Böhm, Matthias ; Grunske, Lars ; Rabl, Tilmann )
  - Integriertes Graduiertenkolleg
    (Teilprojektleiter Grunske, Lars ; Mendling, Jan ; Reinert, Knut )
  - Kollaborative Entwicklung von explorativen DAWs im Neuroimaging
    (Teilprojektleiterinnen / Teilprojektleiter Deniz, Ph.D., Fatma ; Kehr, Birte ; Weidlich, Matthias )
  - Nutzerzentrierter Entwurf für Workflowsprachen
    (Teilprojektleiter Grunske, Lars ; Kosch, Thomas )
  - Semantische Erzeugung und Validierung interagierender Workflows in der computergestützten Materialwissenschaft
    (Teilprojektleiterinnen / Teilprojektleiter Grunske, Lars ; Hickel, Tilmann ; Lamprecht, Anna-Lena )
  - SFB 1404: FONDA – Grundlagen von Workflows für die Analyse großer naturwissenschaftlicher Daten
    (Sprecher Leser, Ulf )
  - Testsysteme und Repositorien
    (Teilprojektleiter Dreyer, Malte ; Kao, Odej ; Leser, Ulf )
  - Transparente Multi-Center Datenanalyseworkflows für die Erdbeobachtung
    (Teilprojektleiter Hostert, Patrick ; Leser, Ulf )
  - Validierung verteilter DAWs mittels Ereignisanfragen
    (Teilprojektleiterinnen / Teilprojektleiter Schweikardt, Nicole ; Weidlich, Matthias )
  - Verbesserung der Robustheit rechnergestützter Workflows in der Materialwissenschaft
    (Teilprojektleiterinnen / Teilprojektleiter Draxl, Claudia ; Grunske, Lars ; Pavone, Pasquale )
  - Zentrales Administrationsprojekt
    (Teilprojektleiter Leser, Ulf )
- abgeschlossene Projekte
  - Portierbare und adaptive Datenanalyseworkflows für echtzeitfähiges 3D Mikroskopie
    (Teilprojektleiter Eisert, Peter ; Koch, Christoph Tobias )
Transregios
- abgeschlossene Projekte
  - Integriertes Datenmanagement
    (Teilprojektleiter Leser, Ulf )
Forschungsdaten und Software
- abgeschlossene Projekte
  - Entwicklung und Etablierung eines Datenarchivs für die Erfassung, Systematisierung und Bereitstellung von Forschungsprimärdaten humaner Stammzellen für die regenerative Biologie und Medizin
    (Antragsteller Kurtz, Andreas ; Leser, Ulf )
Graduiertenkollegs
- laufende Projekte
  - GRK 2424: Computermethoden für personalisierte Therapien in der Onkologie
    (Sprecher Blüthgen, Nils )
- abgeschlossene Projekte
Graduiertenschulen
- abgeschlossene Projekte
  - GSC 1091: Berliner Graduiertenschule für Integrative Onkologie (BSIO)
    (Sprecherinnen / Sprecher Na, Il-Kang ; Schmitt, Clemens A. )
Exzellenzcluster (ExStra)
- laufende Projekte
  - EXC 2002: Science of Intelligence (SCIoI)
    (Sprecher Brock, Oliver )
Exzellenzcluster
- abgeschlossene Projekte
  - EXC 1027: Bild Wissen Gestaltung. Ein interdisziplinäres Labor
    (Sprecher Bredekamp, Horst ; Schäffner, Wolfgang )
Nationale Forschungsdateninfrastruktur Fach- und Methodenkonsortien
- laufende Projekte
  - Nationale Forschungsdateninfrastruktur für und mit Computer Science
    (Sprecher Goedicke, Michael )

© 2024 DFG Kontakt / Impressum / Datenschutz