1582 search results - page 96 / 317 » Mathematical Tools for Physics |
JUCS
2002
13 years 8 months ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
DAC
2006
ACM
14 years 9 months ago
2006
ACM
DNA self-assembly is an emerging technology with potential as a future replacement of conventional lithographic fabrication. A key challenge is the specification of appropriate DN...
CHI
1997
ACM
14 years 1 months ago
1997
ACM
We present an experiment on cooperative bimanual action. Right-handed subjects manipulated a pair of physical objects, a tool and a target object, so that the tool would touch a t...
ENTCS
2007
13 years 8 months ago
2007
Due to increasing demands in processing power on the one hand, but the physical limit on CPU clock speed on the other hand, multi-threaded programming is becoming more important i...
SMI
2008
IEEE
14 years 3 months ago
2008
IEEE
Motivated by the ability of living cells to form into specific shapes and structures, we present a new approach to shape modeling based on self-organizing primitives whose behavi...