Analysing Gene Regulatory Networks by both Constraint Programming and Model-Checking.

Analysing Gene Regulatory Networks by both Constraint Programming and Model-Checking. Research Abstract Details 

Research Abstract Table of Contents

Jump to the:

Analysing Gene Regulatory Networks by both Constraint Programming and Model-Checking. Abstract Text:

Jonathan Fromentin,Jean-Paul Comet,Pascale Le Gall,Olivier Roux,

In this article, we propose a formal method to analyse gene regulatory networks (GRN). The dynamics of such systems is often described by an ordinary differential equation system, but has also been abstracted into a discrete transition system. This modeling depends on parameters for which different values are possible. Each instantiation of these parameters defines a possible dynamics and verification tools can be used to select the tuples of values which lead to dynamics consistent with known behaviours. GRN are so complex that their discrete modeling gives a number of possible dynamics exponential in function of the GRN's size (number of genes and interactions). In this paper, we propose to use constraint programming and CTL formal language to determine the set of all dynamics consistent with the known behavioral properties without enumerating all of them. This approach allows us therefore to minimize the computation time necessary for the research of these parameters.

Analysing Gene Regulatory Networks by both Constraint Programming and Model-Checking. Publishing Authors By Initials

J Fromentin,JP Comet,P Le Gall,O Roux,

For similar abstracts research abstracts see: abstracts research

PUBMED ID PMID:

MEDLINE DATE:

Analysing Gene Regulatory Networks by both Constraint Programming and Model-Checking. Journal Published:

PUBLICATION TYPE: Journal Article

Journal: Conference proceedings : ... Annual International

VOLUME: 1

Page Numbers: 4595-8

Journal Abbreviation:

ISSN: 1557-170X

DAY: 16

MONTH: 11

YEAR: 2007

Analysing Gene Regulatory Networks by both Constraint Programming and Model-Checking. Information

Number of References:

LANGUAGE: eng

NlmUniqueID: 101243413

Analysing Gene Regulatory Networks by both Constraint Programming and Model-Checking. Keywords Mesh Terms:

KEYWORDS:

MESH TERMS:

Chemical & Substance for Abstract: Analysing Gene Regulatory Networks by both Constraint Programming and Model-Checking. Information

Substance Name:

Registry Number:

Grant and Affiliation Information for Analysing Gene Regulatory Networks by both Constraint Programming and Model-Checking.

AFFILIATION: IRCCyN UMR 6597, CNRS & Ecole Centrale de Nantes, 1, rue de la Noë - BP 92 101 - 44321 Nantes CEDEX 03. jonathan.fromentin@irccyn.ec-nantes.fr.

Country: United States

AGENCY:

GRANT:

ACRONYM:

MEDLINETA: Conf Proc IEEE Eng Med Biol So

REFSOURCE:

DATABASENAME:

ACCESSION NUMBER:

Number Hits: 0

Analysing Gene Regulatory Networks by both Constraint Programming and Model-Checking Related Publications

• A new optimization approach for the calibration of an ultrasound probe using a 3D optical localizer.
• A proton-controlled check valve for sodium ion transport.
• A review of image watermarking applications in healthcare.
• Analysing Gene Regulatory Networks by both Constraint Programming and Model-Checking.
• Anatomy of a structural pathway for activation of the catalytic domain of Src kinase Hck.
• Characterization of conformational equilibria through Hamiltonian and temperature replica-exchange simulations: assessing entropic and environmental effects.
• Correction to "solvation and polarization of the N-methyl amine molecule in aqueous solution: a combined study of quantum mechanics and integral equation theory in three dimensions" by qishi du and dongqing wei.
• Detection of lesions in retina photographs based on the wavelet transform.
• Dynamics of the Kv1.2 voltage-gated K+ channel in a membrane environment.
• Ellipsoid-Constrained Robust Fitting of Quadrics with Application to the 3D Morphological Characterization of Articular Surfaces.
• Evaluation of 3D Anatomical Surfaces Indexing for Surgery Planning.
• Fluorescent TiO2 powders prepared using a new perylene diimide dye: applications in latent fingermark detection.
• Functional association of Sun1 with nuclear pore complexes.
• Importance of hydration and dynamics on the selectivity of the KcsA and NaK channels.
• In vivo 3D reconstruction of human vertebrae with the three-dimensional X-ray absorptiometry (3D-XA) method.
• Insertion of GPI-anchored alkaline phosphatase into supported membranes: a combined AFM and fluorescence microscopy study.
• Ion selectivity in potassium channels.
• Mixed Reversible and RONI Watermarking for Medical Image Reliability Protection.
• Modeling the structure of the StART domains of MLN64 and StAR proteins in complex with cholesterol.
• Molecular dynamics - potential of mean force calculations as a tool for understanding ion permeation and selectivity in narrow channels.
• Molecular dynamics study of hydration in ethanol-water mixtures using a polarizable force field.
• Multimedia medical case retrieval using decision trees.
• On the importance of a funneled energy landscape for the assembly and regulation of multidomain Src tyrosine kinases.
• Prevention of volatile fatty acids production and limitation of odours from winery wastewaters by denitrification.
• The free energy landscapes governing conformational changes in a glutamate receptor ligand-binding domain.
• [Hypersensitivity of the skin to picric acid; simulation of accident.]
• [In Process Citation]
• [Not Available.]
• [Not Available.]
• d-Gallocatechin from the bark of Casuarina equisetifolia Linn.