Sciweavers

1954 search results - page 238 / 391
» Modelling Coordination in Biological Systems
Sort
View
CMSB
2009
Springer
16 years 1 months ago
Probabilistic Approximations of Signaling Pathway Dynamics
Systems of ordinary differential equations (ODEs) are often used to model the dynamics of complex biological pathways. We construct a discrete state model as a probabilistic appro...
Bing Liu, P. S. Thiagarajan, David Hsu
CMSB
2009
Springer
16 years 1 months ago
Equivalence and Discretisation in Bio-PEPA
Bio-PEPA is a process algebra for modelling biological systems. An important aspect of Bio-PEPA is the ability it provides to discretise concentrations resulting in a smaller, more...
Vashti Galpin, Jane Hillston
ICVS
2009
Springer
16 years 1 months ago
Saliency-Based Obstacle Detection and Ground-Plane Estimation for Off-Road Vehicles
Abstract. Due to stringing time constraints, saliency models are becoming popular tools for building situated robotic systems requiring, for instance, object recognition and vision...
Pedro Santana, Magno Guedes, Luís Correia, ...
ACRI
2006
Springer
15 years 10 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...
TASE
2008
IEEE
15 years 6 months ago
Perspectives in Probabilistic Verification
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
Joost-Pieter Katoen