Sciweavers

14071 search results - page 121 / 2815
» Fundamentals of simulation modeling
Sort
View
PADL
2004
Springer
14 years 3 months ago
Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell
Gentzen’s Hauptsatz – cut elimination theorem – in sequent calculi reveals a fundamental property on logic connectives in various logics such as classical logic and intuition...
Chiyan Chen, Dengping Zhu, Hongwei Xi
IAT
2009
IEEE
14 years 4 months ago
Simulation of the Rungis Wholesale Market: Lessons on the Calibration, Validation and Usage of a Cognitive Agent-Based Simulatio
—We present some methodological lessons and thoughts inferred from a research we are making on a simulation of the Rungis Wholesale Market (in France) using cognitive agents. The...
Philippe Caillou, Corentin Curchod, Tiago Baptista
RSP
1999
IEEE
128views Control Systems» more  RSP 1999»
14 years 2 months ago
3-D Floorplanning: Simulated Annealing and Greedy Placement Methods for Reconfigurable Computing Systems
The advances in the programmable hardware has lead to new architectures where the hardware can be dynamically adapted to the application to gain better performance. There are stil...
Kia Bazargan, Ryan Kastner, Majid Sarrafzadeh
VR
2002
IEEE
160views Virtual Reality» more  VR 2002»
13 years 9 months ago
Simulating Self-Motion II: A Virtual Reality Tricycle
: When simulating self-motion, virtual reality designers ignore non-visual cues at their peril. But providing non-visual cues presents significant challenges. One approach is to ac...
Robert S. Allison, Laurence R. Harris, A. R. Hogue...
CSE
2012
IEEE
12 years 5 months ago
Accelerating Quantum Monte Carlo Simulations of Real Materials on GPU Clusters
—Continuum quantum Monte Carlo (QMC) has proved to be an invaluable tool for predicting the properties of matter from fundamental principles. By solving the manybody Schr¨odinge...
Kenneth Esler, Jeongnim Kim, David M. Ceperley, Lu...