Learn More
Uncertainty often becomes problematic when science is used to support decision making in the policy process. Scientists can contribute to a more constructive approach to uncertainty by making their uncertainties transparent. In this article, an approach to systematic uncertainty diagnosis is demonstrated on the case study of transgene silencing and GMO risk(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)
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 CARMEN (Code Analysis, Repository and Modelling for e-Neuroscience) project aims to apply e-Science technology to Neurophysiology to enable the sharing of data resources and the services for processing this data. This paper describes the application oriented services: the companion paper [1] describes the technology underpinning this application.(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)
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)