Universität Bremen
Fachbereich 03: Mathematik und Informatik
Address
Bibliothekstraße 5
28359 Bremen
Deutschland
GERiT
This institution in GERiT
28359 Bremen
Projects
Publication Grants
Completed projects
Die Inszenierung der Geschlechter in den Naturwissenschaften
(Applicant
Wiesner, Heike
)
Research Grants
Completed projects
Abstraktion und Wiederverwendung von formalen Programmentwicklungen
(Applicant
Lüth, Christoph
)
Conservative Extensions in Ontology Languages: Beyond Description Logics
(Applicants
Lutz, Carsten
;
Schneider, Thomas
)
Diffusion on irregular sets
(Applicant
Keßeböhmer, Marc
)
Ergodic theory of nonlinear waves in discrete and continuous excitable media
(Applicant
Rademacher, Jens
)
Formal hazard analysis, specification and testing of hybrid real-time systems in application to service robotics
(Applicant
Krieg-Brückner, Bernd
)
Harold Cohen & Leslie Mezei: Pioneering Times of Algorithmic Art.Two Book Projects
(Applicant
Nake, Frieder
)
Kombination von algebraischer Spezifikation und funktionaler Programmierung als Umgebung für formale Softwareentwicklung
(Applicant
Krieg-Brückner, Bernd
)
Multi-Logik-Systeme als Basis für heterogene Spezifikation und Entwicklung
(Applicant
Krieg-Brückner, Bernd
)
Renewal theory and statistics of rare events in infinite ergodic theory
(Applicant
Keßeböhmer, Marc
)
Tropical Geometry at MSRI (Forschungssemester)
(Applicant
Feichtner, Eva Maria
)
Priority Programmes
Completed projects
Bildfolgenbasierte semilokale 3D Landmarken zur Navigation in dynamischen Umgebungen
(Applicant
Krieg-Brückner, Bernd
)
CRC/Transregios
Current projects
Meso- to Submesoscale Turbulence in the Ocean
(Project Heads
Griesel, Alexa
;
Keßeböhmer, Marc
;
Walter, Maren
)
Completed projects
A Safe Wheelchair with Driving Assistance
(Project Heads
Frese, Udo
;
Krieg-Brückner, Bernd
;
Röfer, Thomas
)
[DiaSpace] Flexible Dialogue Control for Intuitive Spatial Communication
(Project Heads
Bateman, Ph.D., John
;
Shi, Hui
;
Tenbrink, Thora
)
Maps for Robot Navigation
(Project Heads
Krieg-Brückner, Bernd
;
Röfer, Thomas
)
[Q-Shape] Reasoning about Paths, Shapes, and Configurations
(Project Heads
Dylla, Frank
;
Freksa, Ph.D., Christian
;
Wolter, Diedrich
)
Shared-Control Interaction
(Project Heads
Krieg-Brückner, Bernd
;
Schill, Kerstin
;
Shi, Hui
)
Specification for the Integration of Spatial Concepts
(Project Heads
Krieg-Brückner, Bernd
;
Mossakowski, Till
)
International Research Training Groups
Completed projects
GRK 1498: Semantic Integration of Geospatial Information
(Spokesperson
Kuhn, Werner
)
