Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides
Identifieur interne : 000206 ( PascalFrancis/Curation ); précédent : 000205; suivant : 000207Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides
Auteurs : Alexander Bockmayr [France] ; Arnaud Courtois [France]Source :
Descripteurs français
- Pascal (Inist)
- Wicri :
- topic : Langage de programmation.
English descriptors
- KwdEn :
Abstract
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.
| pA |
|
|---|
Links toward previous steps (curation, corpus...)
- to stream PascalFrancis, to step Corpus: Pour aller vers cette notice dans l'étape Curation :000846
Links to Exploration step
Pascal:02-0579741Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="fr" level="a">Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides</title><author><name sortKey="Bockmayr, Alexander" sort="Bockmayr, Alexander" uniqKey="Bockmayr A" first="Alexander" last="Bockmayr">Alexander Bockmayr</name><affiliation wicri:level="1"><inist:fA14 i1="01"><s1>Université Henri Poincaré, LORIA, B.P. 239</s1><s2>54506 Vandœuvre-lès-Nancy</s2><s3>FRA</s3><sZ>1 aut.</sZ><sZ>2 aut.</sZ></inist:fA14><country>France</country></affiliation></author><author><name sortKey="Courtois, Arnaud" sort="Courtois, Arnaud" uniqKey="Courtois A" first="Arnaud" last="Courtois">Arnaud Courtois</name><affiliation wicri:level="1"><inist:fA14 i1="01"><s1>Université Henri Poincaré, LORIA, B.P. 239</s1><s2>54506 Vandœuvre-lès-Nancy</s2><s3>FRA</s3><sZ>1 aut.</sZ><sZ>2 aut.</sZ></inist:fA14><country>France</country></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">INIST</idno><idno type="inist">02-0579741</idno><date when="2002">2002</date><idno type="stanalyst">PASCAL 02-0579741 INIST</idno><idno type="RBID">Pascal:02-0579741</idno><idno type="wicri:Area/PascalFrancis/Corpus">000846</idno><idno type="wicri:Area/PascalFrancis/Curation">000206</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="fr" level="a">Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides</title><author><name sortKey="Bockmayr, Alexander" sort="Bockmayr, Alexander" uniqKey="Bockmayr A" first="Alexander" last="Bockmayr">Alexander Bockmayr</name><affiliation wicri:level="1"><inist:fA14 i1="01"><s1>Université Henri Poincaré, LORIA, B.P. 239</s1><s2>54506 Vandœuvre-lès-Nancy</s2><s3>FRA</s3><sZ>1 aut.</sZ><sZ>2 aut.</sZ></inist:fA14><country>France</country></affiliation></author><author><name sortKey="Courtois, Arnaud" sort="Courtois, Arnaud" uniqKey="Courtois A" first="Arnaud" last="Courtois">Arnaud Courtois</name><affiliation wicri:level="1"><inist:fA14 i1="01"><s1>Université Henri Poincaré, LORIA, B.P. 239</s1><s2>54506 Vandœuvre-lès-Nancy</s2><s3>FRA</s3><sZ>1 aut.</sZ><sZ>2 aut.</sZ></inist:fA14><country>France</country></affiliation></author></analytic></biblStruct></sourceDesc></fileDesc><profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Biological system</term><term>Complex function</term><term>Comprehension</term><term>Concurrency</term><term>Concurrent constraint programming</term><term>Dynamical system</term><term>Hybrid system</term><term>Logical programming</term><term>Molecular biology</term><term>Programming language</term></keywords><keywords scheme="Pascal" xml:lang="fr"><term>Système dynamique</term><term>Système hybride</term><term>Langage programmation</term><term>Fonction complexe</term><term>Système biologique</term><term>Compréhension</term><term>Programmation logique</term><term>Biologie moléculaire</term><term>Simultanéité informatique</term><term>Programmation concurrente par contrainte</term></keywords><keywords scheme="Wicri" type="topic" xml:lang="fr"><term>Langage de programmation</term></keywords></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="fr">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.</div></front></TEI><inist><standard h6="B"><pA><fA08 i1="01" i2="1" l="FRE"><s1>Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides</s1></fA08><fA09 i1="01" i2="1" l="FRE"><s1>Programmation en logique avec contraintes : Sophia Antipolis, 27-30 mai 2002</s1></fA09><fA11 i1="01" i2="1"><s1>BOCKMAYR (Alexander)</s1></fA11><fA11 i1="02" i2="1"><s1>COURTOIS (Arnaud)</s1></fA11><fA12 i1="01" i2="1"><s1>RUEHER (Michel)</s1><s9>ed.</s9></fA12><fA14 i1="01"><s1>Université Henri Poincaré, LORIA, B.P. 239</s1><s2>54506 Vandœuvre-lès-Nancy</s2><s3>FRA</s3><sZ>1 aut.</sZ><sZ>2 aut.</sZ></fA14><fA18 i1="01" i2="1"><s1>INRIA. Centre de Sophia Antipolis</s1><s2>Valbonne</s2><s3>FRA</s3><s9>patr.</s9></fA18><fA18 i1="02" i2="1"><s1>Association française pour la programmation en logique et la programmation par contraintes</s1><s3>FRA</s3><s9>patr.</s9></fA18><fA18 i1="03" i2="1"><s1>Université de Nice Sophia Antipolis</s1><s2>Valbonne</s2><s3>FRA</s3><s9>patr.</s9></fA18><fA20><s1>167-180</s1></fA20><fA21><s1>2002</s1></fA21><fA23 i1="01"><s0>FRE</s0></fA23><fA24 i1="01"><s0>eng</s0></fA24><fA25 i1="01"><s1>Hermès Sciences Publications</s1><s2>Paris</s2></fA25><fA26 i1="01"><s0>2-7462-0477-0</s0></fA26><fA30 i1="01" i2="1" l="FRE"><s1>JFPLC'2002 : journées francophones de programmation en logique et de programmation par contraintes</s1><s2>11</s2><s3>Valbonne FRA</s3><s4>2002-05-27</s4></fA30><fA43 i1="01"><s1>INIST</s1><s2>Y 34138</s2><s5>354000108440590120</s5></fA43><fA44><s0>0000</s0><s1>© 2002 INIST-CNRS. All rights reserved.</s1></fA44><fA45><s0>1 p.1/4</s0></fA45><fA47 i1="01" i2="1"><s0>02-0579741</s0></fA47><fA60><s1>C</s1></fA60><fA61><s0>A</s0></fA61><fA66 i1="01"><s0>FRA</s0></fA66><fA68 i1="01" i2="1" l="ENG"><s1>Modelling of biological system with Concurrent hybrid constraint programming</s1></fA68><fC01 i1="01" l="FRE"><s0>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.</s0></fC01><fC02 i1="01" i2="X"><s0>001D02A07</s0></fC02><fC02 i1="02" i2="X"><s0>002B28B</s0></fC02><fC03 i1="01" i2="X" l="FRE"><s0>Système dynamique</s0><s5>01</s5></fC03><fC03 i1="01" i2="X" l="ENG"><s0>Dynamical system</s0><s5>01</s5></fC03><fC03 i1="01" i2="X" l="SPA"><s0>Sistema dinámico</s0><s5>01</s5></fC03><fC03 i1="02" i2="X" l="FRE"><s0>Système hybride</s0><s5>02</s5></fC03><fC03 i1="02" i2="X" l="ENG"><s0>Hybrid system</s0><s5>02</s5></fC03><fC03 i1="02" i2="X" l="SPA"><s0>Sistema híbrido</s0><s5>02</s5></fC03><fC03 i1="03" i2="X" l="FRE"><s0>Langage programmation</s0><s5>03</s5></fC03><fC03 i1="03" i2="X" l="ENG"><s0>Programming language</s0><s5>03</s5></fC03><fC03 i1="03" i2="X" l="SPA"><s0>Lenguaje programación</s0><s5>03</s5></fC03><fC03 i1="04" i2="X" l="FRE"><s0>Fonction complexe</s0><s5>04</s5></fC03><fC03 i1="04" i2="X" l="ENG"><s0>Complex function</s0><s5>04</s5></fC03><fC03 i1="04" i2="X" l="SPA"><s0>Función compleja</s0><s5>04</s5></fC03><fC03 i1="05" i2="X" l="FRE"><s0>Système biologique</s0><s5>05</s5></fC03><fC03 i1="05" i2="X" l="ENG"><s0>Biological system</s0><s5>05</s5></fC03><fC03 i1="05" i2="X" l="SPA"><s0>Sistema biológico</s0><s5>05</s5></fC03><fC03 i1="06" i2="X" l="FRE"><s0>Compréhension</s0><s5>06</s5></fC03><fC03 i1="06" i2="X" l="ENG"><s0>Comprehension</s0><s5>06</s5></fC03><fC03 i1="06" i2="X" l="SPA"><s0>Comprensión</s0><s5>06</s5></fC03><fC03 i1="07" i2="X" l="FRE"><s0>Programmation logique</s0><s5>07</s5></fC03><fC03 i1="07" i2="X" l="ENG"><s0>Logical programming</s0><s5>07</s5></fC03><fC03 i1="07" i2="X" l="SPA"><s0>Programación lógica</s0><s5>07</s5></fC03><fC03 i1="08" i2="X" l="FRE"><s0>Biologie moléculaire</s0><s5>08</s5></fC03><fC03 i1="08" i2="X" l="ENG"><s0>Molecular biology</s0><s5>08</s5></fC03><fC03 i1="08" i2="X" l="SPA"><s0>Biología molecular</s0><s5>08</s5></fC03><fC03 i1="09" i2="X" l="FRE"><s0>Simultanéité informatique</s0><s5>09</s5></fC03><fC03 i1="09" i2="X" l="ENG"><s0>Concurrency</s0><s5>09</s5></fC03><fC03 i1="09" i2="X" l="SPA"><s0>Simultaneidad informatica</s0><s5>09</s5></fC03><fC03 i1="10" i2="X" l="FRE"><s0>Programmation concurrente par contrainte</s0><s4>CD</s4><s5>96</s5></fC03><fC03 i1="10" i2="X" l="ENG"><s0>Concurrent constraint programming</s0><s4>CD</s4><s5>96</s5></fC03><fN21><s1>343</s1></fN21><fN82><s1>PSI</s1></fN82></pA></standard></inist></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Curation
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000206 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/PascalFrancis/Curation/biblio.hfd -nk 000206 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= PascalFrancis
|étape= Curation
|type= RBID
|clé= Pascal:02-0579741
|texte= Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides
}}
| This area was generated with Dilib version V0.6.33. |  |