Treffer: Modélisation de réseaux biologiques discrets en programmation logique par contraintes : Modélisation et simulation pour la post-génomique
Title:
Modélisation de réseaux biologiques discrets en programmation logique par contraintes : Modélisation et simulation pour la post-génomique
Authors:
Source:
TSI. Technique et science informatiques. 26(1-2):73-98
Publisher Information:
Paris: Lavoisier, 2007.
Publication Year:
2007
Physical Description:
print, 1 p
Original Material:
INIST-CNRS
Subject Terms:
Computer science, Informatique, Sciences exactes et technologie, Exact sciences and technology, Sciences appliquees, Applied sciences, Informatique; automatique theorique; systemes, Computer science; control theory; systems, Logiciel, Software, Systèmes informatiques et systèmes répartis. Interface utilisateur, Computer systems and distributed systems. User interface, Sciences biologiques et medicales, Biological and medical sciences, Sciences biologiques fondamentales et appliquees. Psychologie, Fundamental and applied biological sciences. Psychology, Generalites, General aspects, Mathématiques biologiques. Statistiques. Modèles. Métrologie. Informatique en biologie (généralités), Mathematics in biology. Statistical analysis. Models. Metrology. Data processing in biology (general aspects), Biologie moleculaire et cellulaire, Molecular and cellular biology, Génétique moléculaire, Molecular genetics, Expression génique, Gene expression, Abstraction, Abstracción, Analyse comportementale, Behavioral analysis, Análisis conductual, Analyse qualitative, Qualitative analysis, Análisis cualitativo, Bioinformatique, Bioinformatics, Bioinformática, Biologie moléculaire, Molecular biology, Biología molecular, Fonction multivoque, Multivalued function, Función multívoca, Gène régulateur, Regulator gene, Gen regulador, Information incomplète, Incomplete information, Información incompleta, Inférence, Inference, Inferencia, Modèle donnée, Data models, Modélisation, Modeling, Modelización, Optimisation sous contrainte, Constrained optimization, Optimización con restricción, Plan expérience, Experimental design, Plan experiencia, Programmation logique avec contrainte, Constraint logic programming, Programación lógica con restricción, Programmation logique, Logical programming, Programación lógica, Système biologique, Biological system, Sistema biológico, Système réparti, Distributed system, Sistema repartido, Transmission asynchrone, Asynchronous transmission, Transmisión asincrónica, biological networks, constraint logic programming, discrete abstraction, inference, multivalued asynchronous logical networks, simulation
Document Type:
Fachzeitschrift
Article
File Description:
text
Language:
French
Author Affiliations:
Laboratoire TIMC-IMAG, UMR UJF/CNRS Pavillon Taillefer, Faculté de Médecine, 38706 La Tronche, France
ISSN:
0752-4072
Rights:
Copyright 2007 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
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:
Biological sciences. Generalities. Modelling. Methods
Computer science; theoretical automation; systems
Generalities in biological sciences
Molecular and cell biology
Computer science; theoretical automation; systems
Generalities in biological sciences
Molecular and cell biology
Accession Number:
edscal.18743663
Database:
PASCAL Archive
Weitere Informationen
Computer tools are needed in systems biology to explore the behavioral properties of interaction networks in a context of incomplete and qualitative knowledge. We propose here an approach based on Logic Constraint Programming (CLP), which is combined with a discrete ion of the dynamics of interaction networks (namely the Thomas-Snoussi formalism, extended by H. de Jong, 2004) in order to assist the biologist in his work of qualitative data modeling and experiment design. Then we illustrate the flexibility of the approach with two biological applications.