<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of tel-03917566</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-04T12:48:27+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Logical inference of Boolean networks from knowledge and observations of cellular differentiation processes</title>
            <title xml:lang="fr">Inférence logique de réseaux booléens à partir de connaissances et d'observations de processus de différenciation cellulaire</title>
            <author role="aut">
              <persName>
                <forename type="first">Stéphanie</forename>
                <surname>Chevalier</surname>
              </persName>
              <email type="md5">893d57acf2a9b7d93a5e5917aed2fa97</email>
              <email type="domain">lri.fr</email>
              <idno type="idhal" notation="string">stephanie-chevalier</idno>
              <idno type="idhal" notation="numeric">177445</idno>
              <idno type="halauthorid" notation="string">46035-177445</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-9060-6863</idno>
              <idno type="IDREF">https://www.idref.fr/266361358</idno>
              <affiliation ref="#struct-1061259"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>ABES</forename>
                <surname>STAR</surname>
              </persName>
              <email type="md5">f5aa7f563b02bb6adbba7496989af39a</email>
              <email type="domain">abes.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2023-01-02 01:42:14</date>
              <date type="whenModified">2026-04-07 08:41:08</date>
              <date type="whenReleased">2023-01-02 01:42:20</date>
              <date type="whenProduced">2022-09-29</date>
              <date type="whenEndEmbargoed">2023-01-02</date>
              <ref type="file" target="https://theses.hal.science/tel-03917566v1/document">
                <date notBefore="2023-01-02"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://theses.hal.science/tel-03917566v1/file/106218_CHEVALIER_2022_archivage.pdf" id="file-3917566-3424431">
                <date notBefore="2023-01-02"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="131274">
                <persName>
                  <forename>ABES</forename>
                  <surname>STAR</surname>
                </persName>
                <email type="md5">f5aa7f563b02bb6adbba7496989af39a</email>
                <email type="domain">abes.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">tel-03917566</idno>
            <idno type="halUri">https://theses.hal.science/tel-03917566</idno>
            <idno type="halBibtex">chevalier:tel-03917566</idno>
            <idno type="halRefHtml">Bio-informatique [q-bio.QM]. Université Paris-Saclay, 2022. Français. &lt;a target="_blank" href="https://www.theses.fr/2022UPASG061"&gt;&amp;#x27E8;NNT : 2022UPASG061&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Bio-informatique [q-bio.QM]. Université Paris-Saclay, 2022. Français. &amp;#x27E8;NNT : 2022UPASG061&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-3917566-3424431"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="STAR">STAR - Dépôt national des thèses électroniques</idno>
            <idno type="stamp" n="CENTRALESUPELEC">Ecole CentraleSupélec</idno>
            <idno type="stamp" n="TDS-MACS">Réseau de recherche en Théorie des Systèmes Distribués, Modélisation, Analyse et Contrôle des Systèmes</idno>
            <idno type="stamp" n="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="UNIVERSITE-PARIS-SACLAY" corresp="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="LISN">Laboratoire Interdisciplinaire des Sciences du Numérique</idno>
            <idno type="stamp" n="GS-COMPUTER-SCIENCE">Graduate School Computer Science</idno>
            <idno type="stamp" n="LISN-BIOINFO" corresp="LISN">BioInformatique </idno>
          </seriesStmt>
          <notesStmt/>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Logical inference of Boolean networks from knowledge and observations of cellular differentiation processes</title>
                <title xml:lang="fr">Inférence logique de réseaux booléens à partir de connaissances et d'observations de processus de différenciation cellulaire</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Stéphanie</forename>
                    <surname>Chevalier</surname>
                  </persName>
                  <email type="md5">893d57acf2a9b7d93a5e5917aed2fa97</email>
                  <email type="domain">lri.fr</email>
                  <idno type="idhal" notation="string">stephanie-chevalier</idno>
                  <idno type="idhal" notation="numeric">177445</idno>
                  <idno type="halauthorid" notation="string">46035-177445</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-9060-6863</idno>
                  <idno type="IDREF">https://www.idref.fr/266361358</idno>
                  <affiliation ref="#struct-1061259"/>
                </author>
              </analytic>
              <monogr>
                <idno type="nnt">2022UPASG061</idno>
                <imprint>
                  <date type="dateDefended">2022-09-29</date>
                </imprint>
                <authority type="institution">Université Paris-Saclay</authority>
                <authority type="school">École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....)</authority>
                <authority type="supervisor">Christine Froidevaux</authority>
                <authority type="supervisor">Loïc Paulevé</authority>
                <authority type="jury">Fatiha Saïs [Président]</authority>
                <authority type="jury">Simon de Givry [Rapporteur]</authority>
                <authority type="jury">Élisabeth Rémy [Rapporteur]</authority>
                <authority type="jury">Franck Delaplace</authority>
                <authority type="jury">Carito Guziolowski</authority>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="fr">French</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Dynamical model inference</term>
                <term xml:lang="en">Answer set programming</term>
                <term xml:lang="en">Gene regulatory network</term>
                <term xml:lang="en">Cell differentiation</term>
                <term xml:lang="en">Boolean network</term>
                <term xml:lang="en">Systems biology</term>
                <term xml:lang="fr">Answer set programming</term>
                <term xml:lang="fr">Réseau de régulation génique</term>
                <term xml:lang="fr">Différenciation cellulaire</term>
                <term xml:lang="fr">Réseau booléen</term>
                <term xml:lang="fr">Inférence de modèles dynamiques</term>
                <term xml:lang="fr">Biologie des systèmes</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-bi">Computer Science [cs]/Bioinformatics [q-bio.QM]</classCode>
              <classCode scheme="halDomain" n="math.math-ds">Mathematics [math]/Dynamical Systems [math.DS]</classCode>
              <classCode scheme="halDomain" n="info.info-lo">Computer Science [cs]/Logic in Computer Science [cs.LO]</classCode>
              <classCode scheme="halDomain" n="sdv.bibs">Life Sciences [q-bio]/Quantitative Methods [q-bio.QM]</classCode>
              <classCode scheme="halDomain" n="info.info-mo">Computer Science [cs]/Modeling and Simulation</classCode>
              <classCode scheme="halTypology" n="THESE">Theses</classCode>
              <classCode scheme="halOldTypology" n="THESE">Theses</classCode>
              <classCode scheme="halTreeTypology" n="THESE">Theses</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Dynamic models are essential tools for exploring regulatory mechanisms in biology. This thesis was guided by the need expressed in oncology and developmental biology to automatically infer Boolean networks reproducing cellular differentiation processes.By considering observations and knowledge that the modelers have at their disposal, this thesis presents an approach that allows to model the richness of this cellular behavior by inferring all the compatible Boolean networks at that scale of the regulatory networks commonly considered in biology.To develop this method, three main contributions are presented.The first contribution is a formal framework of the properties of data collected to study cellular differentiation. This framework allows reasoning about the desired dynamic properties within Boolean networks to be consistent with this cellular behavior.The second contribution concerns the encoding of the model inference problem as a Boolean satisfiability problem whose solutions are the Boolean networks compatible with the biological data. For this, constraints on the dynamics of Boolean networks corresponding to the previously formalized properties have been implemented in logic programming.The last contribution was to apply to real biological problems the model inference method, named BoNesis, which was developed thanks to the constraints. These applications showed the benefit of inferring a set of models for the process analysis and illustrated the modeling methodology, from the preparation of biological data to the analysis of the inferred models.</p>
            </abstract>
            <abstract xml:lang="fr">
              <p>Les modèles dynamiques sont des outils importants pour l'exploration des mécanismes de régulation en biologie.Les travaux de cette thèse sont guidés par le besoin exprimé en biologie du développement et en cancérologie d'inférer automatiquement des réseaux booléens reproduisant des processus de différenciation cellulaire.En considérant les observations et les connaissances que les modélisateurs ont à disposition, ce mémoire de thèse présente une approche qui permet de modéliser la richesse de ce comportement cellulaire en inférant l’ensemble des réseaux booléens compatibles tout en passant à l’échelle des réseaux de régulation couramment considérés en biologie.Afin de développer cette méthode, les travaux présentés se décomposent en trois contributions principales.La première contribution est la proposition d'un cadre formel sur les propriétés des données collectées pour étudier la différenciation cellulaire. Ce cadre permet de raisonner sur les propriétés dynamiques souhaitées au sein des réseaux booléens pour qu’ils soient compatibles avec ce comportement cellulaire.La deuxième contribution porte sur l'encodage du problème d’inférence de modèles comme un problème de satisfiabilité booléenne dont les solutions sont les réseaux booléens compatibles avec les données biologiques. Pour cela, des contraintes sur la dynamique des réseaux booléens correspondant aux propriétés précédemment formalisées ont été implémentées en programmation logique.La dernière contribution est l’application à des problématiques biologiques réelles de la méthode d’inférence de modèles, nommée BoNesis, qui a été développée grâce aux contraintes créées. Ces applications ont montré l’apport de l’inférence d’ensemble de modèles pour l’analyse de processus et illustré la méthodologie de modélisation, de la préparation des données biologiques à l’analyse des modèles inférés.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-1061259" status="VALID">
          <idno type="IdRef">253160316</idno>
          <idno type="RNSR">202123711L</idno>
          <idno type="ROR">https://ror.org/00rd81916</idno>
          <idno type="Wikidata">Q109620676</idno>
          <orgName>Laboratoire Interdisciplinaire des Sciences du Numérique</orgName>
          <orgName type="acronym">LISN</orgName>
          <date type="start">2021-01-01</date>
          <desc>
            <address>
              <addrLine>Campus Universitaire bât 507Rue du Belvédère91405 Orsay cedexet Campus Universitaire bât 6401 rue Raimond Castaing91190 Gif-sur-Yvette</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.lisn.upsaclay.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
            <relation active="#struct-411575" type="direct"/>
            <relation active="#struct-419361" type="direct"/>
            <relation name="UMR9015" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-411575" status="VALID">
          <idno type="IdRef">184443237</idno>
          <idno type="ROR">https://ror.org/019tcpt25</idno>
          <orgName>CentraleSupélec</orgName>
          <desc>
            <address>
              <addrLine>3, rue Joliot Curie,Plateau de Moulon,91192 GIF-SUR-YVETTE Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.centralesupelec.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-419361" status="VALID">
          <idno type="IdRef">241345251</idno>
          <idno type="ROR">https://ror.org/03xjwb503</idno>
          <orgName>Université Paris-Saclay</orgName>
          <desc>
            <address>
              <addrLine>Bâtiment Bréguet, 3 Rue Joliot Curie 2e ét, 91190 Gif-sur-Yvette</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.universite-paris-saclay.fr/fr</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>