Français Anglais
Accueil Annuaire Plan du site
Accueil > Evenements > Séminaires
Séminaire d'équipe(s) BioInfo
Handling large logical models: the role of model reduction
Aurélien Naldi

19 March 2015, 14h30 - 19 March 2015, 15h30
Salle/Bat : 475/PCRI-N
Contact :

Activités de recherche : Biologie des systèmes

Résumé :
Logical (discrete) models have been used to study numerous biological
regulatory networks over the last 40 years.
The increasing size of the networks of interest calls for formal methods for
their dynamical analysis. Model reduction aims at constructing "simpler"
version of the models by taking out selected components while preserving
important dynamical properties.
Here we will discuss the effect of model reduction on the dynamical behaviour
of logical models, in particular the attractors and their reachability, as
well as its connections with other formal methods.

Pour en savoir plus :
Séminaires
Quantum at LRI
Calcul quantique
Tuesday 04 February 2020 - 09h00
Salle : 465 - PCRI-N
.............................................

Progressive Data Analysis: a new computation parad
Gestion de données du Web
Friday 24 January 2020 - 14h00
Salle : 435 - PCRI-N
Jean-Daniel Fekete .............................................

Jeux d’instructions : des extensions SIMD aux exte
Architectures parallèles
Tuesday 21 January 2020 - 10h30
Salle : 465 - PCRI-N
Daniel Etiemble .............................................

Forum dev-LRI
Tuesday 14 January 2020 - 14h00
Salle : 445 - PCRI-N
Erik Bray .............................................

La transformation du travail, un analyseur des tra
Wednesday 18 December 2019 - 10h00
Salle : 475 - PCRI-N
Raquel Becerril-Ortega .............................................