6432 search results - page 1139 / 1287 » Classic Mechanism Design |
122
click to vote
CORR
2010
Springer
15 years 26 days ago
2010
Springer
We investigate Monte Carlo Markov Chain (MCMC) procedures for the random sampling of some one-dimensional lattice paths with constraints, for various constraints. We will see that...
130
Voted
IANDC
2008
15 years 25 days ago
2008
We are interested in the design of automated procedures for analyzing the (in)security of cryptographic protocols in the Dolev-Yao model for a bounded number of sessions when we t...
117
Voted
BMCBI
2006
15 years 25 days ago
2006
Background: Signal transduction pathways are usually modelled using classical quantitative methods, which are based on ordinary differential equations (ODEs). However, some diffic...
141
click to vote
BMCBI
2006
15 years 25 days ago
2006
Background: Genome annotation can be viewed as an incremental, cooperative, data-driven, knowledge-based process that involves multiple methods to predict gene locations and struc...
CSDA
2006
15 years 24 days ago
2006
The Hurst parameter H characterizes the degree of long-range dependence (and asymptotic selfsimilarity) in stationary time series. Many methods have been developed for the estimat...