3379 search results - page 332 / 676 » Combinators for Interaction Nets |
183
click to vote
HUC
2010
Springer
15 years 7 months ago
2010
Springer
An increasing number of real-world entities is currently being connected to the Internet and the World Wide Web. We argue that this development is the precursor of a Web of Things...
170
Voted
HAPTICS
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper presents a new actuation approach which combines the use of brakes, springs and mini motors to produce a safer and more energy efficient way to drive haptic devices. Th...
163
click to vote
CPHYSICS
2006
15 years 6 months ago
2006
Progress in adapting molecular dynamics algorithms for systems with short-range interactions to utilize the features of modern supercomputers is described. Efficient utilization o...
186
click to vote
JAR
2008
15 years 6 months ago
2008
Abstract. We propose to combine interactive proof construction with proof automation for a fragment of first-order logic called Coherent Logic (CL). CL allows enough existential qu...
152
click to vote
JCC
2008
15 years 6 months ago
2008
: An efficient method for calculating the free energy of solvation of a (macro)molecule embedded in a continuum solvent is presented. It is based on the fully analytical evaluation...