Sciweavers

175 search results - page 17 / 35
» BetaWB: modelling and simulating biological processes
Sort
View
QEST
2007
IEEE
14 years 4 months ago
Probabilistic Model Checking Modulo Theories
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
Björn Wachter, Lijun Zhang, Holger Hermanns
ACRI
2006
Springer
14 years 1 months ago
Merging Cellular Automata for Simulating Surface Effects
This paper describes a model of three-dimensional cellular automata allowing to simulate different phenomena in the fields of computer graphics or image processing. Our method allo...
Stéphane Gobron, Denis Finck, Philippe Even...
CF
2006
ACM
14 years 3 months ago
Morphogenesis as an amorphous computation
In this paper, we present a programming language viewpoint for morphogenesis, the process of shape formation during embryological development. Specifically, we model morphogenesi...
Arnab Bhattacharyya
JIB
2007
136views more  JIB 2007»
13 years 9 months ago
SABIO-RK: A data warehouse for biochemical reactions and their kinetics
Systems biology is an emerging field that aims at obtaining a system-level understanding of biological processes. The modelling and simulation of networks of biochemical reactions...
Olga Krebs, Martin Golebiewski, Renate Kania, Saqi...
CIBCB
2008
IEEE
14 years 4 months ago
Discovering novel cancer therapies: A computational modeling and search approach
— Solid tumors must recruit new blood vessels for growth and maintenance. Discovering drugs that block this tumor-induced development of new blood vessels (angiogenesis) is an im...
Arthur W. Mahoney, Brian G. Smith, Nicholas S. Fla...