Sciweavers

1485 search results - page 219 / 297
» A System Dynamics Approach to Study Virtual Communities
Sort
View
FSEN
2007
Springer
14 years 2 months ago
Regulating Data Exchange in Service Oriented Applications
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
AUTOMATICA
2002
126views more  AUTOMATICA 2002»
13 years 8 months ago
Halo orbit mission correction maneuvers using optimal control
This paper addresses the computation of the required trajectory correction maneuvers (TCM) for a halo orbit space mission to compensate for the launch velocity errors introduced b...
Radu Serban, Wang Sang Koon, Martin W. Lo, Jerrold...
SIAMNUM
2011
102views more  SIAMNUM 2011»
12 years 11 months ago
Differential Equations for Roaming Pseudospectra: Paths to Extremal Points and Boundary Tracking
Abstract. When studying the ε-pseudospectrum of a matrix, one is often interested in computing the extremal points having maximum real part or modulus. This is a crucial step, for...
Nicola Guglielmi, Christian Lubich
CIBB
2009
13 years 9 months ago
On the Use of Temporal Formal Logic to Model Gene Regulatory Networks
Modelling activities in molecular biology face the difficulty of prediction to link molecular knowledge with cell phenotypes. Even when the interaction graph between molecules is k...
Gilles Bernot, Jean-Paul Comet
SIAMMA
2010
66views more  SIAMMA 2010»
13 years 3 months ago
On a Nonlocal Reaction-Diffusion Problem Arising from the Modeling of Phytoplankton Growth
In this paper we analyze a nonlocal reaction-diffusion model which arises from the modeling of competition of phytoplankton species with incomplete mixing in a water column. The no...
Yihong Du, Sze-Bi Hsu