Sciweavers

4110 search results - page 159 / 822
» Performance modeling using Monte Carlo simulation
Sort
View
CMSB
2008
Springer
15 years 5 months ago
A Model Checking Approach to the Parameter Estimation of Biochemical Pathways
Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed `acceptable&...
Robin Donaldson, David Gilbert
BMCBI
2010
174views more  BMCBI 2010»
15 years 4 months ago
The effect of prior assumptions over the weights in BayesPI with application to study protein-DNA interactions from ChIP-based h
Background: To further understand the implementation of hyperparameters re-estimation technique in Bayesian hierarchical model, we added two more prior assumptions over the weight...
Junbai Wang
EMSOFT
2004
Springer
15 years 9 months ago
Model based estimation and verification of mobile device performance
Performance is an important quality attribute that needs to be and managed proactively. Abstract models of the system are not very useful if they do not produce reasonably accurat...
Gopalakrishna Raghavan, Ari Salomaki, Raimondas Le...
IPPS
2007
IEEE
15 years 10 months ago
Constant Time Simulation of an R-Mesh on an LR-Mesh
Recently, many parallel computing models using dynamically reconfigurable electrical buses have been proposed in the literature. The underlying characteristics are similar among ...
Carlos Alberto Córdova-Flores, José ...
MICCAI
2004
Springer
16 years 4 months ago
3D Bayesian Regularization of Diffusion Tensor MRI Using Multivariate Gaussian Markov Random Fields
3D Bayesian regularization applied to diffusion tensor MRI is presented here. The approach uses Markov Random Field ideas and is based upon the definition of a 3D neighborhood syst...
Marcos Martín-Fernández, Carl-Fredri...