Sciweavers

1222 search results - page 86 / 245
» A Bayesian Approach to Model Checking Biological Systems
Sort
View
BIB
2010
89views more  BIB 2010»
15 years 2 months ago
Knowledge-based data analysis comes of age
The emergence of high-throughput technologies for measuring biological systems has introduced problems for data interpretation that must be addressed for proper inference. First, ...
Michael F. Ochs
182
Voted
BIBE
2009
IEEE
252views Bioinformatics» more  BIBE 2009»
15 years 10 months ago
Multi-Agents System to Model Cell Signalling by Using Fuzzy Cognitive Maps. Application to Computer Simulation of Multiple Myelo
—In order to simulate biological processes, we use multi-agents system. However, modelling cell behavior in systems biology is complex and may be based on intracellular biochemic...
Vincent Rodin, Gabriel Querrec, Pascal Ballet, Fra...
121
Voted
FLAIRS
2004
15 years 5 months ago
Computing Marginals with Hierarchical Acyclic Hypergraphs
How to compute marginals efficiently is one of major concerned problems in probabilistic reasoning systems. Traditional graphical models do not preserve all conditional independen...
S. K. Michael Wong, Tao Lin
129
Voted
ATVA
2008
Springer
144views Hardware» more  ATVA 2008»
15 years 6 months ago
Tests, Proofs and Refinements
1 : Logic in Specification and Verification (abstract) Natarajan Shankar (SRI) Session Chair : Sungdeok Cha 12 : 00 13 : 00 Lunch 13 : 00 15 : 00 2 : Boolean Modeling of Cell Biolo...
Sriram K. Rajamani
142
Voted
CSDA
2007
126views more  CSDA 2007»
15 years 3 months ago
A consistent nonparametric Bayesian procedure for estimating autoregressive conditional densities
This article proposes a Bayesian infinite mixture model for the estimation of the conditional density of an ergodic time series. A nonparametric prior on the conditional density ...
Yongqiang Tang, Subhashis Ghosal