Sciweavers

384 search results - page 54 / 77
» HYPE Applied to the Modelling of Hybrid Biological Systems
Sort
View
NC
2011
201views Neural Networks» more  NC 2011»
14 years 6 months ago
The computational power of membrane systems under tight uniformity conditions
We apply techniques from complexity theory to a model of biological cellular membranes known as membrane systems or P-systems. Like Boolean circuits, membrane systems are defined ...
Niall Murphy, Damien Woods
CLADE
2008
IEEE
15 years 6 months ago
SWARM: a scientific workflow for supporting bayesian approaches to improve metabolic models
With the exponential growth of complete genome sequences, the analysis of these sequences is becoming a powerful approach to build genome-scale metabolic models. These models can ...
Xinghua Shi, Rick Stevens
BMCBI
2008
86views more  BMCBI 2008»
14 years 12 months ago
Piecewise multivariate modelling of sequential metabolic profiling data
Background: Modelling the time-related behaviour of biological systems is essential for understanding their dynamic responses to perturbations. In metabolic profiling studies, the...
Mattias Rantalainen, Olivier Cloarec, Timothy M. D...
ICVS
2009
Springer
15 years 6 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, ...
TASE
2008
IEEE
14 years 11 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