1285 search results - page 139 / 257 » Structural Operators for Modeling 3-Manifolds |
131
Voted
JODS
2007
15 years 20 days ago
2007
Abstract. For several reasons enterprises are frequently subject to organizational change. Respective adaptations may concern business processes, but also other components of an en...
143
Voted
BMCBI
2008
15 years 27 days ago
2008
Background: Identification of differentially expressed genes is a typical objective when analyzing gene expression data. Recently, Bayesian hierarchical models have become increas...
108
click to vote
SIAMSC
2008
15 years 21 days ago
2008
Model order reduction (MOR) is common in simulation, control and optimization of complex dynamical systems arising in modeling of physical processes and in the spatial discretizati...
95
Voted
BIRTHDAY
2009
Springer
15 years 7 months ago
2009
Springer
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...
103
click to vote
CPAIOR
2009
Springer
15 years 7 months ago
2009
Springer
In this abstract, we present a rule-based modelling language for constraint programming, called Rules2CP [1], and a library PKML for modelling packing problems. Unlike other modell...