Learn More
Today's wiki engines are not interoperable. This is an unfortunate consequence of the lack of rigorously specified standards. This technical report presents a complete and validated EBNF-based grammar for Wiki Creole, a community standard for wiki markup. Wiki Creole is also the only standard currently available. Wiki Creole is being specified using prose,(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)
The liver is innervated by sympathetic efferent, spinal afferent, vagal afferent and probably also vagal efferent fibres. To assess potential functional roles of the various neuronal subsets, data on transmitter systems are of crucial importance. This study was aimed at elucidating a possible opioidergic system in the mouse and rat liver. In particular(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)
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)