Sciweavers

27913 search results - page 672 / 5583
» Simulation
Sort
View
ICCABS
2011
14 years 10 months ago
High-performance biocomputing for simulating the spread of contagion over large contact networks
Abstract—Many important biological problems can be modeled as contagion diffusion processes over interaction networks. This paper shows how the EpiSimdemics interaction-based sim...
Keith R. Bisset, Ashwin M. Aji, Madhav V. Marathe,...
FLAIRS
2011
14 years 10 months ago
Simulating Human Ratings on Word Concreteness
Psychological measures of concreteness of words are generally estimated by having humans provide ratings of words on a concreteness scale. Due to the limits of this technique, con...
Shi Feng, Zhiqiang Cai, Scott A. Crossley, Daniell...
HCI
2011
14 years 10 months ago
Proposal of BCM Evaluation Method Based on Disaster Scenario Simulation
Almost 20% of big earthquakes in the world occur in Japan. It becomes impossible for private companies and governments to carry out their business if they suffer from severe damage...
Ryuhei Kaneko, Yoshio Nakatani
CCSECIS
2011
47views more  CCSECIS 2011»
14 years 7 months ago
A Simulation System of Social Economic
Macro-control is an important system of regulation in the body of socialist market economy; it plays a significant role in the social economy. To make it come into play, it is nec...
Zhao MingXia, Qiuyan He
DAC
2001
ACM
16 years 8 months ago
Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines
roperty Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines Dong Wang , Pei-Hsin Ho , Jiang Long , James Kukula Yunshan Zhu , Tony Ma , Robert D...
Dong Wang, Pei-Hsin Ho, Jiang Long, James H. Kukul...