Using hybrid concurrent constraint programming to model dynamic biological systems
Identifieur interne : 003289 ( Crin/Curation ); précédent : 003288; suivant : 003290Using hybrid concurrent constraint programming to model dynamic biological systems
Auteurs : Alexander Bockmayr ; Arnaud CourtoisSource :
English descriptors
Abstract
Systems biology is a new area in biology that aims at achieving a systems-level understanding of biological systems. While current genome projects provide a huge amount of data on genes or proteins, lots of research is still necessary to understand how the different parts of a biological system interact in order to perform complex biological functions. Computational models that help to analyze, explain or predict the behavior of biological systems play a crucial role in systems biology. The goal of this paper is to show that hybrid concurrent constraint programming (Gupta/Jagadeesan/Saraswat 98) may be a promising alternative to existing modeling approaches in systems biology. Hybrid cc is a declarative compositional programming language with a well-defined semantics. It allows one to model and simulate the dynamics of hybrid systems, which exhibit both discrete and continuous change. We show that Hybrid cc can be used naturally to model a variety of biological phenomena, such as reaching thresholds, kinetics, gene interaction or biological pathways.
Links toward previous steps (curation, corpus...)
- to stream Crin, to step Corpus: Pour aller vers cette notice dans l'étape Curation :003289
Links to Exploration step
CRIN:bockmayr02cLe document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="555">Using hybrid concurrent constraint programming to model dynamic biological systems</title></titleStmt><publicationStmt><idno type="RBID">CRIN:bockmayr02c</idno><date when="2002" year="2002">2002</date><idno type="wicri:Area/Crin/Corpus">003289</idno><idno type="wicri:Area/Crin/Curation">003289</idno><idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">003289</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="en">Using hybrid concurrent constraint programming to model dynamic biological systems</title><author><name sortKey="Bockmayr, Alexander" sort="Bockmayr, Alexander" uniqKey="Bockmayr A" first="Alexander" last="Bockmayr">Alexander Bockmayr</name></author><author><name sortKey="Courtois, Arnaud" sort="Courtois, Arnaud" uniqKey="Courtois A" first="Arnaud" last="Courtois">Arnaud Courtois</name></author></analytic></biblStruct></sourceDesc></fileDesc><profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>concurrency</term><term>constraints</term><term>hybrid systems</term><term>logic programming</term><term>molecular biology</term></keywords></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en" wicri:score="4463">Systems biology is a new area in biology that aims at achieving a systems-level understanding of biological systems. While current genome projects provide a huge amount of data on genes or proteins, lots of research is still necessary to understand how the different parts of a biological system interact in order to perform complex biological functions. Computational models that help to analyze, explain or predict the behavior of biological systems play a crucial role in systems biology. The goal of this paper is to show that hybrid concurrent constraint programming (Gupta/Jagadeesan/Saraswat 98) may be a promising alternative to existing modeling approaches in systems biology. Hybrid cc is a declarative compositional programming language with a well-defined semantics. It allows one to model and simulate the dynamics of hybrid systems, which exhibit both discrete and continuous change. We show that Hybrid cc can be used naturally to model a variety of biological phenomena, such as reaching thresholds, kinetics, gene interaction or biological pathways.</div></front></TEI><BibTex type="inproceedings"><ref>bockmayr02c</ref><crinnumber>A02-R-106</crinnumber><category>3</category><equipe>MODBIO</equipe><author><e>Bockmayr, Alexander</e><e>Courtois, Arnaud</e></author><title>Using hybrid concurrent constraint programming to model dynamic biological systems</title><booktitle>{18th International Conference on Logic programming - ICLP'02, Copenhagen, Denmark}</booktitle><year>2002</year><editor>P. J. Stuckey</editor><volume>2401</volume><series>Lecture Notes in Computer Science</series><pages>85-99</pages><month>Jul</month><publisher>Springer</publisher><keywords><e>logic programming</e><e>constraints</e><e>concurrency</e><e>hybrid systems</e><e>molecular biology</e></keywords><abstract>Systems biology is a new area in biology that aims at achieving a systems-level understanding of biological systems. While current genome projects provide a huge amount of data on genes or proteins, lots of research is still necessary to understand how the different parts of a biological system interact in order to perform complex biological functions. Computational models that help to analyze, explain or predict the behavior of biological systems play a crucial role in systems biology. The goal of this paper is to show that hybrid concurrent constraint programming (Gupta/Jagadeesan/Saraswat 98) may be a promising alternative to existing modeling approaches in systems biology. Hybrid cc is a declarative compositional programming language with a well-defined semantics. It allows one to model and simulate the dynamics of hybrid systems, which exhibit both discrete and continuous change. We show that Hybrid cc can be used naturally to model a variety of biological phenomena, such as reaching thresholds, kinetics, gene interaction or biological pathways.</abstract></BibTex></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Curation
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 003289 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Crin/Curation/biblio.hfd -nk 003289 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Crin
|étape= Curation
|type= RBID
|clé= CRIN:bockmayr02c
|texte= Using hybrid concurrent constraint programming to model dynamic biological systems
}}
| This area was generated with Dilib version V0.6.33. |  |