Matthias Kaiser

Learn More
Bacteria swim by means of rotating flagella that are powered by ion influx through membrane-spanning motor complexes. Escherichia coli and related species harness a chemosensory and signal transduction machinery that governs the direction of flagellar rotation and allows them to navigate in chemical gradients. Here, we show that Escherichia coli can also(More)
We introduce a graphical model for the joint segmentation and tracking of E. coli cells from time lapse videos. In our setup cells are grown in narrow columns (growth channels) in a so-called " Mother Machine " [1]. In these growth channels, cells are vertically aligned, grow and divide over time, and eventually leave the channel at the top. The model is(More)
We reuse here the framework, the setting, and the semantic modelling for the automated synthesis of the SWS Challenge Mediator presented in the companion paper [5], and show how to exchange the synthesis paradigm from a linear-time-logic proof based algorithm to a runtime, abductive synthesis implemented in Prolog, that responds directly to situational(More)
Experience after the Chernobyl accident has shown that restoration strategies need to consider a wide range of different issues to ensure the long-term sustainability of large and varied contaminated areas. Thus, the criteria by which we evaluate countermeasures need to be extended from simple cost-benefit effectiveness and radiological protection standards(More)
Today's wiki engines are not interoperable. The rendering engine is tied to the processing tools which are tied to the wiki editors. This is an unfortunate consequence of the lack of rigorously specified standards. This paper discusses an EBNF-based grammar for Wiki Creole 1.0, a community standard for wiki markup, and demonstrates its benefits. Wiki Creole(More)
Service-oriented architectures have brought significant progress for more flexible realization of business processes integrating functionality from heterogeneous sources. While more and more businesses adopt the new technology it becomes obvious that many questions are still not addressed to make it keep its promises, especially in the area of human efforts(More)