EOR
2011
12 years 11 months ago
2011
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...
BMCBI
2010
12 years 11 months ago
2010
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...
CGF
2010
13 years 1 months ago
2010
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...
ISBMS
2010
Springer
13 years 1 months ago
2010
Springer
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...
FAC
2010
13 years 1 months ago
2010
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...
COMSIS
2010
13 years 2 months ago
2010
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...
ICUMT
2009
13 years 2 months ago
2009
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...
FSMNLP
2009
Springer
13 years 2 months ago
2009
Springer
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...
DSRT
2009
IEEE
13 years 2 months ago
2009
IEEE
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...
TRIDENTCOM
2010
IEEE
13 years 2 months ago
2010
IEEE
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. ...