15 research outputs found

    Probably Approximately Correct Learning of Regulatory Networks from Time-Series Data

    Get PDF
    International audienceAutomating the process of model building from experimental data is a very desirable goal to palliate the lack of modellers for many applications. However, despite the spectacular progress of machine learning techniques in data analytics, classification, clustering and prediction making, learning dynamical models from data time-series is still challenging. In this paper we investigate the use of the Probably Approximately Correct (PAC) learning framework of Leslie Valiant as a method for the automated discovery of influence models of biochemical processes from Boolean and stochastic traces. We show that Thomas' Boolean influence systems can be naturally represented by k-CNF formulae, and learned from time-series data with a number of Boolean activation samples per species quasi-linear in the precision of the learned model, and that positive Boolean influence systems can be represented by monotone DNF formulae and learned actively with both activation samples and oracle calls. We consider Boolean traces and Boolean abstractions of stochastic simulation traces, and study the space-time tradeoff there is between the diversity of initial states and the length of the time horizon, and its impact on the error bounds provided by the PAC learning algorithms. We evaluate the performance of this approach on a model of T-lymphocyte differentiation, with and without prior knowledge, and discuss its merits as well as its limitations with respect to realistic experiments

    Reinvestigation of <i>Protelytron permianum</i> (Insecta; Early Permian; USA) as an example for applying reflectance transformation imaging to insect imprint fossils

    Get PDF
    We reinvestigated the holotype of Protelytron permianum, one of the earliest putative stem-dermapteran (i.e. stem-earwig). We recurred to reflectance transformation imaging (RTI) to deliver exhaustive and interactive photographic data. We were able to ascertain the occurrence of broadenings located along veins of the hind wing vannus and forming an arc, as well as a series of radiating folds, alternatively concave and convex. Such an organization is diagnostic of Dermaptera, in which it is indicative of hind wing folding mechanisms, particularly elaborated in these insects. We provide a foldable, paper model of the hind wing. Based on the case presented herein we anticipate that RTI process will be a major upheaval in the documentation of fossil insects preserved as imprints

    Static Deadlock Detection in the Linux Kernel

    No full text

    What population reveals about individual cell identity: Single-cell parameter estimation of models of gene expression in yeast

    No full text
    Significant cell-to-cell heterogeneity is ubiquitously observed in isogenic cell populations. Consequently, parameters of models of intracellular processes, usually fitted to population-averaged data, should rather be fitted to individual cells to obtain a population of models of similar but non-identical individuals. Here, we propose a quantitative modeling framework that attributes specific parameter values to single cells for a standard model of gene expression. We combine high quality single-cell measurements of the response of yeast cells to repeated hyperosmotic shocks and state-of-the-art statistical inference approaches for mixed-effects models to infer multidimensional parameter distributions describing the population, and then derive specific parameters for individual cells. The analysis of single-cell parameters shows that single-cell identity (e.g. gene expression dynamics, cell size, growth rate, mother-daughter relationships) is, at least partially, captured by the parameter values of gene expression models (e.g. rates of transcription, translation and degradation). Our approach shows how to use the rich information contained into longitudinal single-cell data to infer parameters that can faithfully represent single-cell identit

    Long-term tracking of budding yeast cells in brightfield microscopy: CellStar and the Evaluation Platform

    Get PDF
    International audienceWith the continuous expansion of single cell biology, the observation of the behaviour of individual cells over extended durations and with high accuracy has become a problem of central importance. Surprisingly, even for yeast cells that have relatively regular shapes, no solution has been proposed that reaches the high quality required for long-term experiments for segmentation and tracking (S&T) based on brightfield images. Here, we present CellStar, a tool chain designed to achieve good performance in long-term experiments. The key features are the use of a new variant of parametrized active rays for seg-mentation, a neighbourhood-preserving criterion for tracking, and the use of an iterative approach that incrementally improves S&T quality. A graphical user interface enables manual corrections of S&T errors and their use for the automated correction of other, related errors and for parameter learning. We created a benchmark dataset with manually analysed images and compared CellStar with six other tools, showing its high performance, notably in long-term tracking. As a community effort, we set up a website, the Yeast Image Toolkit, with the benchmark and the Evaluation Platform to gather this and additional information provided by others
    corecore