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
Resilient PDE solving approaches for exascale comp
Calcul à haute performance
Tuesday 29 May 2018 - 10h30
Salle : 465 - PCRI-N
Paul Mycek .............................................

Binary pattern of length greater than 14 are abeli
Combinatoire
Friday 25 May 2018 - 14h30
Salle : 445 - PCRI-N
Matthieu Rosenfeld .............................................

TBA
Algorithmique distribuée
Wednesday 02 May 2018 - 10h30
Salle : 465 - PCRI-N
Evangelos Bampas .............................................

Mariage stable auto-stabilisant et distribué
Théorie des graphes
Friday 13 April 2018 - 14h30
Salle : 445 - PCRI-N
Marie Laveau .............................................

Modélisation et implémentation du produit de matri
Calcul à haute performance
Wednesday 11 April 2018 - 10h30
Salle : 465 - PCRI-N
Thomas Lambert .............................................