BEGIN:VCALENDAR VERSION:2.0 PRODID:-//wp-events-plugin.com//7.4.1//EN TZID:Europe/Paris X-WR-TIMEZONE:Europe/Paris BEGIN:VEVENT UID:0-59@lisn.upsaclay.fr DTSTART;TZID=Europe/Paris:20220929T140000 DTEND;TZID=Europe/Paris:20220929T170000 DTSTAMP:20220920T152836Z URL:https://www.lisn.upsaclay.fr/evenements/inference-logique-de-reseaux-b ooleens-a-partir-de-connaissances-et-dobservations-de-processus-de-differe nciation-cellulaire/ SUMMARY:Inférence logique de réseaux booléens à partir de connaissances et d’observations de processus de différenciation cellulaire DESCRIPTION:La soutenance aura lieu le jeudi 29 septembre à 14h\, dans la salle des thèses (salle 435) du bâtiment 650. Vous pouvez également y a ssister en visioconférence via le lien : https://eu.bbcollab.com/guest/71 58d4f5c7a64ef1bf65b2f399daa165La soutenance se déroulera en français.\nL e jury est composé de :\n \;• Simon DE GIVRY - Chargé de recherche \, INRAE\, MIAT - Rapporteur\n Élisabeth REMY - Directrice de recherche\ , CNRS\, I2M - Rapportrice Franck DELAPLACE - Professeur\, Université d ’Évry Paris-Saclay\, IBISC - Examinateur Carito GUZIOLOWSKI - Maîtres se de conférence\, Centrale Nantes\, LS2N - Examinatrice Fatiha SAÏS - Professeure\, Université Paris-Saclay\, LISN - ExaminatriceChristine FROI DEVAUX - Professeure émérite\, Université Paris-Saclay\, LISN - Directr ice de thèse Loïc PAULEVÉ - Chargé de recherche\, CNRS\, LaBRI - Co-e ncadrant\, membre invitéAndrei ZINOVYEV - Ingénieur de recherche\, Insti tut Curie\, U900 - Co-encadrant\, membre invité\nRésumé de la thèse \n 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 ont é té guidés par le besoin exprimé en cancérologie et embryologie d'infé rer automatiquement des réseaux booléens reproduisant des processus de d ifférenciation cellulaire. En considérant les observations et les connai ssances 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 comporte ment cellulaire en inférant l’ensemble des réseaux booléens compatibl es et qui passe à l’échelle des réseaux de régulation couramment con sidérés en biologie. Les travaux de thèse effectués dans le but de dé velopper cette méthode apportent trois contributions principales.\nLa pre miè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 co mportement cellulaire. La deuxième contribution porte sur l'encodage du p roblè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 de s réseaux booléens correspondant aux propriétés précédemment formali sées ont été implémentées en programmation logique. La dernière cont ribution est l’application à des problématiques biologiques réelles d e 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éparat ion des données biologiques à l’analyse des modèles inférés. CATEGORIES:AAC LOCATION:LISN Site Plaine\, 1 rue Raimond Castaing 91190 Gif-sur-Yvette\, France X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=1 rue Raimond Castaing 91 190 Gif-sur-Yvette\, France;X-APPLE-RADIUS=100;X-TITLE=LISN Site Plaine:ge o:0,0 END:VEVENT BEGIN:VTIMEZONE TZID:Europe/Paris X-LIC-LOCATION:Europe/Paris BEGIN:DAYLIGHT DTSTART:20220327T030000 TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST END:DAYLIGHT END:VTIMEZONE END:VCALENDAR