Wintersemester 2017/2018
techniques have been proposed as a proper alternative – first in the area of verification. In the meantime, elaborated methods exploiting formal methods increasingly find application in industrial practice [...] e. By repeatedly taking samples of single cells after delivery of a light stimulus pulse, we quantitatively analyse differential gene expression to obtain a time series dataset for each cell. Computational [...] ions, whose propagation is in turn governed by the flow. We study this system by a combination of quantitative live-cell experiments and computational modeling to provide a complete characterization of the