Sciweavers

1323 search results - page 246 / 265
» Moment-Linear Stochastic Systems
Sort
View
CCE
2008
14 years 9 months ago
Global optimization of multiscenario mixed integer nonlinear programming models arising in the synthesis of integrated water net
The problem of optimal synthesis of an integrated water system is addressed in this work, where water using processes and water treatment operations are combined into a single net...
Ramkumar Karuppiah, Ignacio E. Grossmann
ENTCS
2008
110views more  ENTCS 2008»
14 years 9 months ago
Game-Based Probabilistic Predicate Abstraction in PRISM
ion in PRISM1 Mark Kattenbelt Marta Kwiatkowska Gethin Norman David Parker Oxford University Computing Laboratory, Oxford, UK Modelling and verification of systems such as communi...
Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norm...
JCP
2008
114views more  JCP 2008»
14 years 9 months ago
Statistical Analysis and Data Analysis of Stock Market by Interacting Particle Models
The statistical analysis of Chinese stock market fluctuations modeled by the interacting particle systems has been done in this paper. The contact model and voter model of the inte...
Jun Wang, Bingli Fan, Tiansong Wang
JCSS
2008
159views more  JCSS 2008»
14 years 9 months ago
Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models
Internet worms are classically described using SIR models and simulations, to capture the massive dynamics of the system. Here we are able to generate a differential equation-base...
Jeremy T. Bradley, Stephen T. Gilmore, Jane Hillst...
CPHYSICS
2007
114views more  CPHYSICS 2007»
14 years 9 months ago
GDF v2.0, an enhanced version of GDF
An improved version of the function estimation program GDF is presented. The main enhancements of the new version include: multi-output function estimation, capability of definin...
Ioannis G. Tsoulos, Dimitris Gavrilis, Evangelos D...