Treffer: Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides / Modelling of biological system with Concurrent hybrid constraint programming

Title:
Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides / Modelling of biological system with Concurrent hybrid constraint programming
Authors:
BOCKMAYR, Alexander, COURTOIS, Arnaud
Source:
Programmation en logique avec contraintes (Sophia Antipolis, 27-30 mai 2002). :167-180
Publisher Information:
Paris: Hermès Sciences Publications, 2002.
Publication Year:
2002
Physical Description:
print, 1 p.1/4
Original Material:
INIST-CNRS
Subject Terms:
Control theory, operational research, Automatique, recherche opérationnelle, Computer science, Informatique, Sciences exactes et technologie, Exact sciences and technology, Sciences appliquees, Applied sciences, Informatique; automatique theorique; systemes, Computer science; control theory; systems, Informatique théorique, Theoretical computing, Théorie programmation, Programming theory, Sciences biologiques et medicales, Biological and medical sciences, Sciences medicales, Medical sciences, Informatique, statistique et modelisations biomedicales, Computerized, statistical medical data processing and models in biomedicine, Modèles et simulation, Models and simulation, Biologie moléculaire, Molecular biology, Biología molecular, Compréhension, Comprehension, Comprensión, Fonction complexe, Complex function, Función compleja, Langage programmation, Programming language, Lenguaje programación, Programmation logique, Logical programming, Programación lógica, Simultanéité informatique, Concurrency, Simultaneidad informatica, Système biologique, Biological system, Sistema biológico, Système dynamique, Dynamical system, Sistema dinámico, Système hybride, Hybrid system, Sistema híbrido, Programmation concurrente par contrainte, Concurrent constraint programming
Document Type:
Konferenz Conference Paper
File Description:
text
Language:
French
Author Affiliations:
Université Henri Poincaré, LORIA, B.P. 239, 54506 Vandœuvre-lès-Nancy, France
Access URL:
http://pascal-francis.inist.fr/vibad/index.php?action=search&terms=14195176
Rights:
Copyright 2002 INIST-CNRS
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
Notes:
Computer science; theoretical automation; systems

Public health. Hygiene-occupational medicine. Information processing
Accession Number:
edscal.14195176
Database:
PASCAL Archive

Weitere Informationen

La biologie des systèmes représente un nouveau domaine qui vise à la compréhension des systèmes biologiques à différents niveaux. Nombre de recherches ont démarré, ayant pour but de comprendre comment les différentes parties d'un système biologique interagissent pour constituer des fonctions complexes. Les modèles informatiques, qui peuvent aider à analyser ou prédire le devenir temporel d'un système, jouent un rôle crucial en biologie. L'objectif de cet article est de montrer que la programmation concurrente par contraintes hybrides [GUP 98] peut être une alternative prometteuse aux approches de modélisations existantes en biologie systémique. Hybrid cc est un langage de programmation déclaratif, compositionnel, qui permet de modéliser et simuler la dynamique de systèmes hybrides, c.-à-d des systèmes pouvant changer d'état de façon discrète ou continue. Nous montrons que Hybrid cc peut modéliser de façon naturelle une grande variété de phénomènes biologiques comme l'atteinte de seuil, la cinétique, les interactions génétiques, ou les voies de régulation biologiques.