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
)
