Sciweavers

13603 search results - page 215 / 2721
» On the Computational Complexity of Cut-Reduction
Sort
View
BIB
2007
108views more  BIB 2007»
15 years 6 months ago
Bayesian methods in bioinformatics and computational systems biology
Bayesian methods are valuable, inter alia, whenever there is a need to extract information from data that is uncertain or subject to any kind of error or noise (including measurem...
Darren J. Wilkinson
NAR
2006
98views more  NAR 2006»
15 years 6 months ago
oGNM: online computation of structural dynamics using the Gaussian Network Model
An assessment of the equilibrium dynamics of biomolecular systems, and in particular their most cooperativefluctuationsaccessibleundernativestate conditions, is a first step towar...
Lee-Wei Yang, A. J. Rader, Xiong Liu, Christopher ...
TSMC
2008
113views more  TSMC 2008»
15 years 6 months ago
Computational Methods for Verification of Stochastic Hybrid Systems
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
Xenofon D. Koutsoukos, Derek Riley
128
Voted
COMPLEX
2009
Springer
16 years 1 months ago
Emergence and Simulation
Alan Baker