757 search results - page 81 / 152 » Monte Carlo Model Checking |
130
Voted
WSC
2004
15 years 4 months ago
2004
This paper develops a variant of Simulated Annealing (SA) algorithm for solving discrete stochastic optimization problems where the objective function is stochastic and can be eva...
WSC
1997
15 years 3 months ago
1997
We investigate the problem of deriving precision estimates for bootstrap quantities. The one major stipulation is that no further bootstrapping will be allowed. In 1992, Efron der...
100
Voted
JCC
2006
15 years 2 months ago
2006
: We present a computational protein design algorithm for finding low-energy sequences of fixed amino acid composition. The search algorithms used in protein design typically do no...
113
Voted
NAR
2008
15 years 2 months ago
2008
Given an input Protein Data Bank file (PDB) for a protein or RNA molecule, LocalMove is a web server that determines an on-lattice representation for the input biomolecule. The we...
128
click to vote
NCA
2006
IEEE
15 years 2 months ago
2006
IEEE
The goal of this paper is to design a new control algorithm for open-loop control of complex systems. This control approach is based on a genealogical decision tree for both regula...