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

Detailseite

Institution

Druckansicht

Universität Bremen
Fachbereich 03: Mathematik und Informatik

Adresse Bibliothekstraße 5
28359 Bremen
Deutschland

GERiT Diese Institution in GERiT

28359 Bremen

Projekte

Publikationsbeihilfen
- abgeschlossene Projekte
  - Die Inszenierung der Geschlechter in den Naturwissenschaften
    (Antragstellerin Wiesner, Heike )
Sachbeihilfen
- abgeschlossene Projekte
  - Abstraktion und Wiederverwendung von formalen Programmentwicklungen
    (Antragsteller Lüth, Christoph )
  - Diffusion auf irregulären Mengen
    (Antragsteller Keßeböhmer, Marc )
  - Ergodentheorie nichtlinearer Wellen in diskreten und kontinuierlichen anregbaren Medien
    (Antragsteller Rademacher, Jens )
  - Formale Fehlerbaumanalyse, Spezifikation und Testen von hybriden Echtzeitsystemen in Anwendung auf die Servicerobotik
    (Antragsteller Krieg-Brückner, Bernd )
  - Harold Cohen & Leslie Mezei: Aus der Pionierzeit der Algorithmischen Kunst. Zwei Buch-Vorhaben
    (Antragsteller Nake, Frieder )
  - Kombination von algebraischer Spezifikation und funktionaler Programmierung als Umgebung für formale Softwareentwicklung
    (Antragsteller Krieg-Brückner, Bernd )
  - Konservative Erweiterungen in Onologiesprachen: Jenseits von Beschreibungslogik
    (Antragsteller Lutz, Carsten ; Schneider, Thomas )
  - Multi-Logik-Systeme als Basis für heterogene Spezifikation und Entwicklung
    (Antragsteller Krieg-Brückner, Bernd )
  - Renewal theory and statistics of rare events in infinite ergodic theory
    (Antragsteller Keßeböhmer, Marc )
  - Tropical Geometry at MSRI (Forschungssemester)
    (Antragstellerin Feichtner, Eva Maria )
Schwerpunktprogramme
- abgeschlossene Projekte
  - Bildfolgenbasierte semilokale 3D Landmarken zur Navigation in dynamischen Umgebungen
    (Antragsteller Krieg-Brückner, Bernd )
Transregios
- laufende Projekte
  - Meso- bis submesoskalige Turbulenz im Ozean
    (Teilprojektleiterinnen / Teilprojektleiter Griesel, Alexa ; Keßeböhmer, Marc ; Walter, Maren )
- abgeschlossene Projekte
  - A Safe Wheelchair with Driving Assistance
    (Teilprojektleiter Frese, Udo ; Krieg-Brückner, Bernd ; Röfer, Thomas )
  - [DiaSpace] Flexible Dialogführung für intuitive räumliche Kommunikation
    (Teilprojektleiterinnen / Teilprojektleiter Bateman, Ph.D., John ; Shi, Hui ; Tenbrink, Thora )
  - Maps for Robot Navigation
    (Teilprojektleiter Krieg-Brückner, Bernd ; Röfer, Thomas )
  - [Q-Shape] Qualitatives Schließen über Pfade, Formen und Anordnungen
    (Teilprojektleiter Dylla, Frank ; Freksa, Ph.D., Christian ; Wolter, Diedrich )
  - Shared-Control Interaction
    (Teilprojektleiterinnen / Teilprojektleiter Krieg-Brückner, Bernd ; Schill, Kerstin ; Shi, Hui )
  - Specification for the Integration of Spatial Concepts
    (Teilprojektleiter Krieg-Brückner, Bernd ; Mossakowski, Till )
Internationale Graduiertenkollegs
- abgeschlossene Projekte
  - GRK 1498: Semantische Integration raumbezogener Information
    (Sprecher Kuhn, Werner )

© 2025 DFG Kontakt / Impressum / Datenschutz