Français Anglais
Accueil Annuaire Plan du site
Accueil > Evenements > Séminaires
Comprehensive and Formal Modelling Platform for Biological Processes
David Safranek

02 February 2017, 14h30
Salle/Bat : 465/PCRI-N
Contact :

Activités de recherche : Biologie des systèmes

Résumé :
The goal of computational systems biology is to develop models that can
predict and explain uknown facts about the dynamics of biological systems,
especially, non-trivial behaviour emerging from the interplay among the
enormous number of individual biochemical components. Models are typically
based on known first principles, wet-lab measurements, and existing hypotheses
available in literature. An important precondition of a successful systems
biology project is compilation of known and hypothesised knowledge about the
system in the form of a formal specification understandable to experts from
different disciplines. Such a specification then allows to rigorously
integrate the models with experimental data and advanced analysis techniques.
In this fashion, we develop the online modelling platform for cyanobacteria
processes called e-cyanobacterium.org. In this presentation, we will give an
overview of the platform and related technologies: the biochemical space
language for compact representation of biological processes with relations to
existing ontologies, formal methods for exploration of models with uncertain
parameters, and related high-performance tools developed in our laboratory.
Finally, an overview of case studies and ongoing applications will be given.

Pour en savoir plus :
Séminaires
Programmation mathématique multi-objectif pour la
Thursday 13 December 2018 - 14h30
Salle : unknown - unknown
Audrey Legendre .............................................

Redundancy in Distributed Proofs
Algorithmique distribuée
Tuesday 04 December 2018 - 00h00
Salle : 465 - PCRI-N
Ami Paz .............................................

Some recent results on the integer linear programm
Théorie des graphes
Friday 30 November 2018 - 00h00
Salle : 445 - PCRI-N
Hung Nguyen .............................................

Scalable and exhaustive screening of metabolic fun
Wednesday 28 November 2018 - 11h00
Salle : 465 - PCRI-N
Clémence Frioux .............................................

Studying the three-dimensional structure of DNA fr
Thursday 22 November 2018 - 15h00
Salle : unknown - unknown
Nelle Varoquaux .............................................