Sciweavers

1554 search results - page 91 / 311
» A New Simulation Tool for the Modeling and Control of Distri...
Sort
View
ERCIM
2007
124views more  ERCIM 2007»
13 years 8 months ago
Cancer Treatment Planning with Grid-Based Technology
sented by abstract mathematical structures, and visualization is used to convert these into pictures. At the core of every simulation is a mathematical model that is evaluated by a...
Robert G. Belleman, Michael Scarpa, Bram Stolk
MMAS
2004
Springer
14 years 1 months ago
Multiagent-Based Demand Bus Simulation for Shanghai
Demand Bus System, a new public transportation system, is expected to be a convenient service for special transportation demands to solve more and more serious traffic problems con...
Zhiqiang Liu, Toru Ishida, Huanye Sheng
CSL
2010
Springer
13 years 9 months ago
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
André Platzer
SIMULATION
1998
177views more  SIMULATION 1998»
13 years 7 months ago
Simulation and Planning of an Intermodal Container Terminal
A decision support system for the management of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on t...
Luca Maria Gambardella, Andrea Emilio Rizzoli, Mar...
ISQED
2003
IEEE
119views Hardware» more  ISQED 2003»
14 years 1 months ago
System and Framework for QA of Process Design Kits
In this paper, we evaluate the dependencies between tools, data and environment in process design kits, and present a framework for systematically analyzing the quality of the des...
M. C. Scott, M. O. Peralta, Jo Dale Carothers