Sciweavers

Share
EOR
2011
127views more  EOR 2011»
8 years 6 months ago
Methodology for determining the acceptability of system designs in uncertain environments
In practice, managers often wish to ascertain that a particular engineering design of a production system meets their requirements. The future environment of this design is likely...
Jack P. C. Kleijnen, Henri Pierreval, Jin Zhang
BMCBI
2010
259views more  BMCBI 2010»
8 years 6 months ago
Rule-based spatial modeling with diffusing, geometrically constrained molecules
Background: We suggest a new type of modeling approach for the coarse grained, particle-based spatial simulation of combinatorially complex chemical reaction systems. In our appro...
Gerd Gruenert, Bashar Ibrahim, Thorsten Lenser, Ma...
CGF
2010
165views more  CGF 2010»
8 years 8 months ago
Fast Particle-based Visual Simulation of Ice Melting
The visual simulation of natural phenomena has been widely studied. Although several methods have been proposed to simulate melting, the flows of meltwater drops on the surfaces o...
Kei Iwasaki, H. Uchida, Yoshinori Dobashi, Tomoyuk...
ISBMS
2010
Springer
8 years 8 months ago
Six Degree-of Freedom Haptic Rendering for Dental Implantology Simulation
Abstract. Dental implantology procedures are among the most complex surgical procedures executed by dentists. During the critical part of the procedure, the jawbone is drilled at t...
Cédric Syllebranque, Christian Duriez
FAC
2010
121views more  FAC 2010»
8 years 8 months ago
Blaming the client: on data refinement in the presence of pointers
Data refinement is a common approach to reasoning about programs, based on establishing that te program indeed satisfies all the required properties imposed by an intended abstract...
Ivana Filipovic, Peter W. O'Hearn, Noah Torp-Smith...
COMSIS
2010
8 years 8 months ago
Modeling and simulation of a spherical mobile robot
Spherical mobile robot (SMR) has been studied analytically and experimentally in this paper, a novel design with an internal propulsion mechanism and mathematical models of the rob...
Shengju Sang, Jichao Zhao, Hao Wu, Shoujun Chen, Q...
ICUMT
2009
8 years 9 months ago
Epidemic information diffusion in realistic vehicular network mobility scenarios
Epidemic or gossip-based algorithms have been proposed for data dissemination in vehicular networks. Due to the unfeasibility of deploying large size vehicular networks, the perfor...
Claudia Barberis, Giovanni Malnati
FSMNLP
2009
Springer
8 years 9 months ago
Minimizing Weighted Tree Grammars Using Simulation
Weighted tree grammars (for short: WTG) are an extension of weighted context-free grammars that generate trees instead of strings. They can be used in natural language parsing to d...
Andreas Maletti
DSRT
2009
IEEE
8 years 9 months ago
An Aspect-Oriented Approach for Disaster Prevention Simulation Workflows on Supercomputers, Clusters, and Grids
Computer simulation is an important factor in today's disaster prevention procedures. Simulation codes assess the evolution and impact of various physical phenomena in domains...
Tudor B. Ionescu, Andreas Piater, Walter Scheuerma...
TRIDENTCOM
2010
IEEE
8 years 9 months ago
Polymorphic Ubiquitous Network Testbed RUBIQ
In this paper we present RUBIQ, a polymorphic ubiquitous network testbed. RUBIQ works on StarBED, which is a network testbed consisting of hundreds of PCs connected to each other. ...
Junya Nakata, Razvan Beuran, Takashi Okada, Ken-ic...
books