Sciweavers

88 search results - page 11 / 18
» Structural Analysis of Boolean Equation Systems
Sort
View
HICSS
2003
IEEE
201views Biometrics» more  HICSS 2003»
14 years 1 months ago
Critical Success Factors of Enterprise Resource Planning Systems Implementation Success in China
ERP implementation issues have been given much attention since two decades ago due to its low implementation success. Nearly 90 percent of ERP implementations are late or over bud...
Liang Zhang, Matthew K. O. Lee, Zhe Zhang, Probir ...
GCB
2004
Springer
101views Biometrics» more  GCB 2004»
14 years 1 months ago
Kleene's Theorem and the Solution of Metabolic Carbon Labeling Systems
: Carbon Labeling Systems (CLS) are large equation systems that describe the dynamics of labeled carbon atoms in a metabolic network. The rapid solution of these systems is the alg...
Nicole Isermann, Michael Weitzel, Wolfgang Wiecher...
PPDP
2009
Springer
14 years 2 months ago
Relational semantics for effect-based program transformations: higher-order store
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reï...
Nick Benton, Andrew Kennedy, Lennart Beringer, Mar...
BMCBI
2007
161views more  BMCBI 2007»
13 years 7 months ago
Efficient classification of complete parameter regions based on semidefinite programming
Background: Current approaches to parameter estimation are often inappropriate or inconvenient for the modelling of complex biological systems. For systems described by nonlinear ...
Lars Kuepfer, Uwe Sauer, Pablo A. Parrilo
ICRA
2006
IEEE
112views Robotics» more  ICRA 2006»
14 years 1 months ago
Generic Differential Kinematic Modeling of Articulated Multi-monocycle Mobile Robots
— This paper presents a generic kinematic modeling approach for articulated multi-monocycle mobile robots. The formulation proposed to deduce the input/output velocity equations ...
Frederic Le Menn, Philippe Bidaud, Faïz Ben A...