Sciweavers

5754 search results - page 460 / 1151
» Multi-class Model M
Sort
View
MANSCI
2008
96views more  MANSCI 2008»
15 years 6 months ago
Staffing of Time-Varying Queues to Achieve Time-Stable Performance
Continuing research by Jennings, Mandelbaum, Massey and Whitt (1996), we investigate methods to perform time-dependent staffing for many-server queues. Our aim is to achieve time-...
Zohar Feldman, Avishai Mandelbaum, William A. Mass...
BMCBI
2010
122views more  BMCBI 2010»
15 years 7 months ago
An overview of the CellML API and its implementation
Background: CellML is an XML based language for representing mathematical models, in a machine-independent form which is suitable for their exchange between different authors, and...
Andrew K. Miller, Justin Marsh, Adam Reeve, Alan G...
BMCBI
2010
83views more  BMCBI 2010»
15 years 7 months ago
An effective approach for generating a three-Cys2His2 zinc-finger-DNA complex model by docking
Background: Determination of protein-DNA complex structures with both NMR and X-ray crystallography remains challenging in many cases. High Ambiguity-Driven DOCKing (HADDOCK) is a...
Chun-Chi Chou, M. Rajasekaran, Chinpan Chen
CAV
2010
Springer
282views Hardware» more  CAV 2010»
15 years 10 months ago
A NuSMV Extension for Graded-CTL Model Checking
Graded-CTL is an extension of CTL with graded quantifiers which allow to reason about either at least or all but any number of possible futures. In this paper we show an extension...
Alessandro Ferrante, Maurizio Memoli, Margherita N...
BMCBI
2006
156views more  BMCBI 2006»
15 years 7 months ago
Bayesian models for pooling microarray studies with multiple sources of replications
Background: Biologists often conduct multiple but different cDNA microarray studies that all target the same biological system or pathway. Within each study, replicate slides with...
Erin M. Conlon, Joon J. Song, Jun S. Liu