Keywords:
Electronic books.
Description / Table of Contents:
La biologie des systèmes, ou biologie systémique, est une approche de la biologie qui consiste à englober la complexité des interactions entre les entités biologiques dans un tout systémique. Le but étant de comprendre l'émergence de propriétés physiologiques ou fonctionnelles.Approches symboliques de la modélisation et de l'analyse des systèmes biologiques présente les apports de méthodes formelles issues de l'informatique pour la modélisation de la dynamique des systèmes biologiques. Il traite plus spécifiquement des méthodes symboliques, c'est-à-dire qui peuvent établir des propriétés qualitatives des modèles.Cet ouvrage expose différentes approches liées à la sémantique, au langage, à la modélisation et à leur lien avec les données, et nous permet d'examiner des problèmes fondamentaux et des défis auxquels nous confronte la biologie des systèmes. Une première partie regroupe des travaux qui s'appuient sur les diverses données accessibles pour construire des modèles alors que la seconde présente des contributions autour des questions de la sémantique et des méthodes formelles.
Type of Medium:
Online Resource
Pages:
1 online resource (418 pages)
Edition:
1st ed.
ISBN:
9781789490299
Series Statement:
Sciences Series
URL:
https://ebookcentral.proquest.com/lib/geomar/detail.action?docID=29375957
Language:
French
Note:
Front Cover Page -- Table des matières -- Avant-propos -- PARTIE 1: Modèles et données -- Chapitre 1: Inférence de réseauxde régulation de gènes à partirde données dynamiquesmulti-échelles -- Chapitre 2: Problèmes d'optimisationcombinatoire pour l'étudedu métabolisme -- Chapitre 3: Les enjeux de l'inférencede modèles dynamiquesà partir de séries temporelles -- Chapitre 4: Connecter les modèles logiquesaux données omiques -- PARTIE 2: Méthodes formelleset sémantique -- Chapitre 5: Réseaux booléens : formalisme,sémantiques et complexité -- Chapitre 6: Logique calculatoirepour la biomédecineet les neurosciences -- Chapitre 7: La cellule, un calculateuranalogique chimique -- Chapitre 8: Méthodes de vérificationformelle pour la modélisationen biologie : le cas des réseauxde régulation biologique -- Chapitre 9: Analyses des motifs accessiblesdans les modèles Kappa -- Liste des auteurs -- Index -- Back Cover Page.
Permalink
