Sciweavers

6650 search results - page 287 / 1330
» models 2009
Sort
View
CMSB
2009
Springer
16 years 1 months ago
Modelling Biological Clocks with Bio-PEPA: Stochasticity and Robustness for the Neurospora crassa Circadian Network
Circadian clocks are biochemical networks, present in nearly all living organisms, whose function is to regulate the expression of specific mRNAs and proteins to synchronise rhyth...
Ozgur E. Akman, Federica Ciocchetta, Andrea Degasp...
221
Voted
IALP
2009
15 years 4 months ago
Improved Reordering Rules for Hierarchical Phrase-Based Translation
Hierarchical phrase-based translation model has been proven to be a simple and powerful machine translation model. However, due to the computational complexity constraints, the ext...
Shu Cai, Yajuan Lü, Qun Liu
MICCAI
2009
Springer
16 years 7 months ago
Modeling Adaptation Effects in fMRI Analysis
The standard general linear model (GLM) for rapid event-related fMRI design protocols typically ignores reduction in hemodynamic responses in successive stimuli in a train due to i...
Wanmei Ou, Tommi Raij, Fa-Hsuan Lin, Polina Gollan...
MICCAI
2009
Springer
16 years 7 months ago
Utero-Fetal Unit and Pregnant Woman Modeling Using a Computer Graphics Approach for Dosimetry Studies
Potential sanitary effects related to electromagnetic fields exposure raise public concerns, especially for fetuses during pregnancy. Human fetus exposure can only be assessed thro...
Jérémie Anquez, Tamy Boubekeur, Laza...
CADE
2009
Springer
16 years 7 months ago
Decidability Results for Saturation-Based Model Building
Abstract. Saturation-based calculi such as superposition can be successfully instantiated to decision procedures for many decidable fragments of first-order logic. In case of termi...
Matthias Horbach, Christoph Weidenbach