15 search results - page 2 / 3 » Preliminary results using scale-down to explore worm dynamic... |
BICOB
2009
Springer
13 years 11 months ago
2009
Springer
Atomistic molecular dynamics (MD) simulations are a vital tool in chemical research, as they are able to provide a view of chemical systems and processes that is not obtainable thr...
IFM
2009
Springer
13 years 11 months ago
2009
Springer
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...
SPIN
2007
Springer
13 years 11 months ago
2007
Springer
Verifying concurrent programs is challenging since the number of thread interleavings that need to be explored can be huge even for moderate programs. We present a cartesian semant...
ICRA
2007
IEEE
13 years 11 months ago
2007
IEEE
— Skid-steered mobile robots have been widely used for terrain exploration and navigation. In this paper, we present an adaptive trajectory control design for a skid-steered whee...
MABS
2004
Springer
13 years 10 months ago
2004
Springer
Anthropologists have yet to adequately investigate the evolution of food sharing despite its prevalence among contemporary human societies. As an initial step toward rectifying thi...