Recherche

tel-00924445v1 Thèse
Faten Nabli. Approches de programmation par contraintes pour l'analyse des propriétés structurelles des réseaux de Petri et application aux réseaux biochimiques
Bioinformatics [q-bio.QM]. Université Paris-Diderot - Paris VII, 2013. English

pastel-00924232v1 Thèse
Emanuele Leoncini. Towards a global and systemic understanding of protein production in prokaryotes
Quantitative Methods [q-bio.QM]. Ecole Polytechnique X, 2013. English

tel-00929785v1 HDR
Patrick Amar. Contributions à l'étude de la dynamique des systèmes biologiques et aux systèmes de calcul en biologie synthétique
Bio-informatique [q-bio.QM]. Université Paris Sud - Paris XI, 2013

tel-01417700v1 Thèse
Jean-Baptiste Lugagne. Contrôle temps-réel d'une bascule génétique
Bio-Informatique, Biologie Systémique [q-bio.QM]. Université Paris 7, 2016. Français

tel-00111653v2 Thèse
Celine Kuttler. Modélisation de l'expression génétique bactérienne dans un pi-calcul stochastique à objets concurrents
Modélisation et simulation. Université des Sciences et Technologie de Lille - Lille I, 2007. Français

tel-01237638v1 Thèse
Katherine Chiang. Biomolecular System Design: Architecture, Synthesis, and Simulation
Programming Languages [cs.PL]. National Taiwan University, 2015. English

tel-01253235v1 Thèse
Artémis Llamosi. Effects of repeated osmotic stress on gene expression and growth: from cell-to-cell variability to cellular individuality in the budding yeast Saccharomyces cerevisiae
Quantitative Methods [q-bio.QM]. Université Paris Diderot, 2015. English

tel-01403712v1 HDR
Sylvain Soliman. A structural perspective on the dynamics of biochemical systems
Bioinformatics [q-bio.QM]. Université Paris Sud - Orsay, 2016

tel-01404060v1 Thèse
Pauline Traynard. Model Building by Temporal Logic Constraint Solving: Investigation of the Coupling between the Cell Cycle and the Circadian Clock
Quantitative Methods [q-bio.QM]. Université Paris Diderot, 2016. English

tel-01236291v1 Thèse
Steven Gay. Subgraph Epimorphisms: Theory and Application to Model Reductions in Systems Biology
Programming Languages [cs.PL]. Université Paris Diderot, 2015. English

tel-01094091v2 Thèse
Alfonso Carta. Modelling, analysis and control for systems biology : application to bacterial growth models
Other. Université Nice Sophia Antipolis, 2014. English. < NNT : 2014NICE4024 >

tel-00958566v1 HDR
Gregory Batt. Design, optimization and control in systems and synthetic biology
Quantitative Methods [q-bio.QM]. Université Paris-Diderot - Paris VII, 2014

tel-00185895v3 Thèse
Philippe Veber. Modélisation grande échelle de réseaux biologiques : vérification par contraintes booléennes de la cohérence des données
Génie logiciel [cs.SE]. Université Rennes 1, 2007. Français

tel-00380505v1 Thèse
Samuel Drulhe. Identification de réseaux de régulation génique à partir de données d'expression : une approche basée sur les modèles affines par morceaux.
Biophysique [physics.bio-ph]. Université Joseph-Fourier - Grenoble I, 2008. Français

tel-00807737v1 Thèse
Vincent Noël. Modèles réduits et hybrides de réseaux de réactions biochimiques : applications à la modélisation du cycle cellulaire
Bio-Informatique, Biologie Systémique [q-bio.QM]. Université Rennes 1, 2012. Français. < NNT : 2012REN1S152 >

tel-00628629v1 Thèse
Annabelle Ballesta. Approche combinée expérimentale et mathématique pour la personnalisation sur base moléculaire des thérapies anticancéreuses standards et chronomodulées
Mathématiques générales [math.GM]. Université Paris Sud - Paris XI, 2011. Français. < NNT : 2011PA114810 >

tel-01549014v1 Thèse
Diana Stefan. Structural and parametric identification of bacterial regulatory networks
Artificial Intelligence [cs.AI]. Université de Grenoble, 2014. English. <NNT : 2014GRENM019>

tel-00833766v1 Thèse
Pedro Tiago Gonçalves Monteiro. Towards an integrative approach for the modeling and formal verification of biological regulatory networks
Agricultural sciences. Université Claude Bernard - Lyon I, 2010. English. <NNT : 2010LYO10239>

tel-00988255v1 Thèse
Andrés Octavio Aravena Duarte. Probabilistic and constraint based modelling to determine regulation events from heterogeneous biological data
Other [cs.OH]. Université Rennes 1, 2013. English. < NNT : 2013REN1S151 >

tel-01070436v1 Thèse
Santiago Videla. Reasoning on the response of logical signaling networks with answer set programming
Bioinformatics [q-bio.QM]. Université Rennes 1, 2014. English. < NNT : 2014REN1S035 >

tel-01246180v2 Thèse
Vincent Picard. Réseaux de réactions : de l’analyse probabiliste à la réfutation
Bio-informatique [q-bio.QM]. Université Rennes 1, 2015. Français. < NNT : 2015REN1S093 >

tel-00926487v1 Thèse
Geoffroy Andrieux. Modélisation dynamique de la signalisation cellulaire : aspects différentiels et discrets; application à la signalisation du facteur de croissance TGF-beta dans le cancer
Bio-Informatique, Biologie Systémique [q-bio.QM]. Université Rennes 1, 2013. Français

tel-00541903v1 Thèse
Carito Guziolowski. Analysis of Large-Scale Biological Networks with Constraint-Based Approaches over Static Models
Other [cs.OH]. Université Rennes 1, 2010. English

tel-00358996v1 HDR
Anne Siegel. Analyse de systèmes dynamiques par discrétisation. Exemples d'applications en théorie des nombres et en biologie moléculaire
Mathématiques [math]. Université Rennes 1, 2008

Type de document

Auteur

Domaine

Laboratoire

Langue

Mot-clé

Type de dépôt

Année

Contact