Boolean models of biosurfactants production in Pseudomonas fluorescens.

Autor: Adrien Richard, Gaelle Rossignol, Jean-Paul Comet, Gilles Bernot, Jannine Guespin-Michel, Annabelle Merieau

Publikováno v: PLoS ONE, Vol 7, Iss 1, p e24651 (2012)

Cyclolipopeptides (CLPs) are biosurfactants produced by numerous Pseudomonas fluorescens strains. CLP production is known to be regulated at least by the GacA/GacS two-component pathway, but the full regulatory network is yet largely unknown. In the

Externí odkaz: https://doaj.org/article/6e586ebc292a446da8eaef4dea830b5d

Modeling of the development of the fetus cognitive map from the sensorimotor system

Autor: Alexandre Muzy, Reda A. El Khoribi, Gamal Darwish, Gilles Bernot, Eman M. Ahmed

Publikováno v: Egyptian Informatics Journal, Vol 21, Iss 4, Pp 191-199 (2020)

The human cognitive map formation is still an open question. Based on biological facts, the cognitive map origin goes back to the age of the fetus human. In this paper, our aim is to provide a possible answer to that question. Accordingly, we present

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::942a070839eea5e8fba1a5cfdcf351d7
https://doi.org/10.1016/j.eij.2020.01.002

A genetically modified Hoare logic

Autor: Adrien Richard, Zohra Khalis, Gilles Bernot, Jean-Paul Comet, Olivier Roux

Publikováno v: Theoretical Computer Science
Theoretical Computer Science, Elsevier, 2018

An important problem when modelling gene networks lies in the identification of parameters, even when using a discrete framework such as the one of Rene Thomas. We present in this article a new approach based on Hoare logic to generate constraints on

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c64e10f8ef913bc3d02e73152ac71b9a
https://doi.org/10.1016/j.tcs.2018.02.003

What is a Cell Cycle Checkpoint? The TotemBioNet Answer

Autor: Gilles Bernot, Déborah Boyenval, Jean-Paul Comet, Hélène Collavizza

Publikováno v: Computational Methods in Systems Biology
Computational Methods in Systems Biology, 12314, Springer International Publishing, pp.362-372, 2020, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-60327-4_21⟩
Computational Methods in Systems Biology ISBN: 9783030603267
CMSB

TotemBioNet is a new software platform to assist the design of qualitative regulatory network models by combining “genetically modified Hoare logic”, temporal logic model checking and optimized enumeration techniques. TotemBioNet is particularly

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8be615a9924982f51732783717eb3ac1
https://hal.archives-ouvertes.fr/hal-03390461

Formal Neuron Models: Delays Offer a Simplified Dendritic Integration for Free

Autor: Gilles Bernot, Ophélie Guinaudeau, Alexandre Muzy, Daniel Gaffé, Franck Grammont

Publikováno v: Biomedical Engineering Systems and Technologies ISBN: 9783030291952
BIOSTEC (Selected Papers)
Communications in Computer and Information Science book series, extended selected paper from Biomedical Engineering Systems and Technologies conference (BIOSTEC 2018)
SPRINGER. Communications in Computer and Information Science book series, extended selected paper from Biomedical Engineering Systems and Technologies conference (BIOSTEC 2018), pp.167-191, 2019, ⟨10.1007/978-3-030-29196-9_10⟩

International audience; We firstly define an improved version of the spiking neuron model with dendrites introduced in [8] and we focus here on the fundamental mathematical properties of the framework. Our main result is that, under few simplificatio

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::da3c23c0ec07eaae5a9d8f149fb0c29b
https://doi.org/10.1007/978-3-030-29196-9_10