Sciweavers

3356 search results - page 533 / 672
» Thresholds and Expectation Thresholds
Sort
View
ENTCS
2006
174views more  ENTCS 2006»
15 years 6 months ago
Symbolic Reasoning with Weighted and Normalized Decision Diagrams
Several variants of Bryant's ordered binary decision diagrams have been suggested in the literature to reason about discrete functions. In this paper, we introduce a generic ...
Jörn Ossowski, Christel Baier
EOR
2006
104views more  EOR 2006»
15 years 6 months ago
A wavelet-based spectral procedure for steady-state simulation analysis
We develop WASSP, a wavelet-based spectral method for steady-state simulation analysis. First WASSP determines a batch size and a warm-up period beyond which the computed batch me...
Emily K. Lada, James R. Wilson
BMCBI
2007
123views more  BMCBI 2007»
15 years 6 months ago
GO for gene documents
Annotating genes and their products with Gene Ontology codes is an important area of research. One approach for doing this is to use the information available about these genes in...
Padmini Srinivasan, Xin Ying Qiu
FGCS
2006
61views more  FGCS 2006»
15 years 6 months ago
Long-range static directional stress transfer in a cracked, nonlinear elastic crust
Seeing the Earth crust as criss-crossed by faults filled with fluid at close to lithostatic pressures, we develop a model in which its elastic modulii are different in net tension...
Guy Ouillon, Didier Sornette
IOR
2008
137views more  IOR 2008»
15 years 6 months ago
Optimal Joint Inventory and Transshipment Control Under Uncertain Capacity
In this paper, we address the optimal joint control of inventory and transshipment for a firm that produces in two locations and faces capacity uncertainty. Capacity uncertainty (...
Xinxin Hu, Izak Duenyas, Roman Kapuscinski