Sciweavers

384 search results - page 35 / 77
» HYPE Applied to the Modelling of Hybrid Biological Systems
Sort
View
CDC
2010
IEEE
141views Control Systems» more  CDC 2010»
14 years 6 months ago
Hybrid moment computation algorithm for biochemical reaction networks
Moment computation is essential to the analysis of stochastic kinetic models of biochemical reaction networks. It is often the case that the moment evolution, usually the first and...
Yun-Bo Zhao, Jongrae Kim, João Pedro Hespan...
TCS
2008
14 years 11 months ago
On temporal logic constraint solving for analyzing numerical data time series
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...
François Fages, Aurélien Rizk
LREC
2008
84views Education» more  LREC 2008»
15 years 1 months ago
A Hybrid Approach to Extracting and Classifying Verb+Noun Constructions
We present the main findings and preliminary results of an ongoing project aimed at developing a system for collocation extraction based on contextual morpho-syntactic properties....
Amalia Todirascu, Dan Tufis, Ulrich Heid, Christop...
SAC
2008
ACM
14 years 11 months ago
Bayesian inference for a discretely observed stochastic kinetic model
The ability to infer parameters of gene regulatory networks is emerging as a key problem in systems biology. The biochemical data are intrinsically stochastic and tend to be observ...
Richard J. Boys, Darren J. Wilkinson, Thomas B. L....
AAAI
2007
15 years 2 months ago
Hybrid Inference for Sensor Network Localization Using a Mobile Robot
In this paper, we consider a hybrid solution to the sensor network position inference problem, which combines a real-time filtering system with information from a more expensive,...
Dimitri Marinakis, David Meger, Ioannis M. Rekleit...