Sciweavers

5009 search results - page 189 / 1002
» Value chain modelling using system dynamics
Sort
View
156
Voted
AAAI
2011
14 years 4 months ago
Policy Gradient Planning for Environmental Decision Making with Existing Simulators
In environmental and natural resource planning domains actions are taken at a large number of locations over multiple time periods. These problems have enormous state and action s...
Mark Crowley, David Poole
WISE
2002
Springer
15 years 9 months ago
UTML: Unified Transaction Modeling Language
Web transactions may be complex, composed of several sub-transactions accessing different resources including legacy systems. They may also have complex semantics. To deal with co...
Nektarios Gioldasis, Stavros Christodoulakis
CHARME
2005
Springer
94views Hardware» more  CHARME 2005»
15 years 9 months ago
Verifying Quantitative Properties Using Bound Functions
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
Arindam Chakrabarti, Krishnendu Chatterjee, Thomas...
NAR
2011
195views Computer Vision» more  NAR 2011»
14 years 7 months ago
MitoGenesisDB: an expression data mining tool to explore spatio-temporal dynamics of mitochondrial biogenesis
Mitochondria constitute complex and flexible cellular entities, which play crucial roles in normal and pathological cell conditions. The database MitoGenesisDB focuses on the dyna...
Jean-Christophe Gelly, Mickael Orgeur, Claude Jacq...
IROS
2007
IEEE
122views Robotics» more  IROS 2007»
15 years 10 months ago
Lagrangian dynamics of open multibody systems with generalized holonomic and nonholonomic joints
— Standard methods to model multibody systems are aimed at systems with configuration spaces isomorphic to Rn . This limitation leads to singularities and other artifacts in cas...
Vincent Duindam, Stefano Stramigioli