Sciweavers

22588 search results - page 404 / 4518
» On simulation model complexity
Sort
View
ICCS
2005
Springer
16 years 1 months ago
Simulation of Nonlinear Thermomechanical Waves with an Empirical Low Dimensional Model
Abstract. In this paper we analyse the performance of a low dimensional model for the nonlinear thermo-mechanical waves. The model has been obtained by using proper orthogonal deco...
Linxiang X. Wang, Roderick V. N. Melnik
MDA
1999
Springer
107views Communications» more  MDA 1999»
15 years 12 months ago
On Simulation Modeling of Information Dissemination Systems in Mobile Environments
Abstract. In this paper, we propose dynamic discrete-event based models for information dissemination systems in both single cell and multiple cell mobile environments. We demonstr...
Wang-Chien Lee, Johnson Lee, Karen E. Huff
VVEIS
2008
15 years 9 months ago
An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving
This paper presents an executable semantics of OO models. We made it possible to conduct both simulation and theorem proving on the semantics by implementing its underlying heap me...
Kenro Yatake, Takuya Katayama
SODA
2004
ACM
74views Algorithms» more  SODA 2004»
15 years 9 months ago
Torpid mixing of simulated tempering on the Potts model
Simulated tempering and swapping are two families of sampling algorithms in which a parameter representing temperature varies during the simulation. The hope is that this will ove...
Nayantara Bhatnagar, Dana Randall
CEEMAS
2007
Springer
16 years 1 months ago
Simulating a Human Cooperative Problem Solving
Abstract. We are interested in understanding and simulating how humans elaborate plans in situations where knowledge is incomplete and how they interact to obtain missing informati...
Alexandre Pauchet, Amal El Fallah-Seghrouchni, Nat...