Sciweavers

292 search results - page 57 / 59
» Inference and enforcement of data structure consistency spec...
Sort
View
BMCBI
2010
178views more  BMCBI 2010»
13 years 7 months ago
Applications of a formal approach to decipher discrete genetic networks
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...
Fabien Corblin, Eric Fanchon, Laurent Trilling
BMCBI
2008
242views more  BMCBI 2008»
13 years 7 months ago
New time-scale criteria for model simplification of bio-reaction systems
Background: Quasi-steady state approximation (QSSA) based on time-scale analysis is known to be an effective method for simplifying metabolic reaction system, but the conventional...
Junwon Choi, Kyung-won Yang, Tai-yong Lee, Sang Yu...
IPMI
2009
Springer
14 years 8 months ago
A Unified Framework for MR Based Disease Classification
In this paper, we employ an anatomical parameterization of spatial warps to reveal structural differences between medical images of healthy control subjects and disease patients. T...
Kilian M. Pohl, Mert R. Sabuncu
BMCBI
2005
97views more  BMCBI 2005»
13 years 7 months ago
Modelling the correlation between the activities of adjacent genes in drosophila
Background: Correlation between the expression levels of genes which are located close to each other on the genome has been found in various organisms, including yeast, drosophila...
Helene H. Thygesen, Aeilko H. Zwinderman
ICFP
2006
ACM
14 years 7 months ago
biXid: a bidirectional transformation language for XML
Often, independent organizations define and advocate different XML formats for a similar purpose and, as a result, application programs need to mutually convert between such forma...
Shinya Kawanaka, Haruo Hosoya