Réseaux booléens : formalisme, sémantiques et complexité

Autor:	Paulevé, Loïc
Přispěvatelé:	Paulevé, Loïc, Ensembles de Réseaux Booléens Prédictifs - - BNeDiction2020 - ANR-20-CE45-0001 - AAPG2020 - VALID, Cédric Lhoussaine, Élisabeth Remy
Rok vydání:	2022
Předmět:	[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI] systèmes dynamiques réseaux booléens abstraction vérification complexité [INFO.INFO-BI] Computer Science [cs]/Bioinformatics [q-bio.QM] [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
DOI:	10.51926/iste.9029.ch5
Popis:	Ce chapitre présente le formalisme des réseaux booléens, leur relation avec d'autres modèles informatiques classiques, et leur adéquation pour la modélisation des systèmes biologiques. Le chapitre détaille la sémantique la plus permissive (MP) qui apporte une abstraction correcte des comportements quantitatifs, et conclut sur des aspects de complexité pour la vérification de propriétés dynamiques d'accessibilité et d'attracteurs.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::47d00f38e13b0bead430af4e81da7fbd https://doi.org/10.51926/iste.9029.ch5 Zobrazit plný text záznamu