Approches Symboliques de la Modélisation et de l'analyse des Systèmes Biologiques.

Format:

Book

Author/Creator:

Lhoussaine, Cédric.

Contributor:

Rémy, Elisabeth.

Series:

Sciences

Language:

French

Subjects (All):

Systems biology.

Biological models.

Physical Description:

1 online resource (418 pages)

Edition:

1st ed.

Place of Publication:

London : ISTE Editions Ltd., 2022.

Summary:

This book, 'Approches symboliques de la modélisation et de l’analyse des systèmes biologiques', explores the field of systems biology with a focus on symbolic methods for modeling and analyzing biological systems. It delves into the complexity of interactions within biological entities and aims to understand the emergence of systemic properties. The work is structured into two main parts: the first part discusses the use of various data sources for constructing models, while the second part addresses semantic issues and formal methods. The book highlights significant contributions related to semantics, language, modeling, and their connection to data, presenting fundamental problems and challenges in systems biology. This scholarly work is directed by Cédric Lhoussaine and Élisabeth Remy, featuring contributions from experts in the field. It is intended for researchers and professionals involved in computational biology, systems biology, and related fields. Generated by AI.

Contents:

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.

Notes:

Description based on publisher supplied metadata and other sources.

Part of the metadata in this record was created by AI, based on the text of the resource.

Other Format:

Print version: Lhoussaine, Cédric Approches Symboliques de la Modélisation et de l'analyse des Systèmes Biologiques

ISBN:

9781789490299

1789490294

OCLC:

1336990331