Sciweavers

624 search results - page 35 / 125
» Physical constraints on hypercomputation
Sort
View
TROB
2002
106views more  TROB 2002»
15 years 4 months ago
A dual neural network for bi-criteria kinematic control of redundant manipulators
A dual neural network is presented for the bi-criteria kinematic control of redundant manipulators. To diminish the discontinuity of minimum infinity-norm solutions, the kinematicc...
Yunong Zhang, Jun Wang, Yangsheng Xu
HAPTICS
2007
IEEE
15 years 10 months ago
Time-Domain Passivity Control of Haptic Interfaces with Tunable Damping Hardware
We describe a time-domain passivity control methodology that uses programmable eddy current viscous dampers to prevent a user from extracting energy from a haptic interface. A pas...
Andrew H. C. Gosline, Vincent Hayward
ECAL
2007
Springer
15 years 10 months ago
Entropy Production in Ecosystems
We present an extremely minimal ecosystem model which takes account of thermodynamic constraints on the organisms’ metabolism. This suggests a way to test the application of a hy...
Nathaniel Virgo, Inman Harvey
AAECC
1999
Springer
82views Algorithms» more  AAECC 1999»
15 years 4 months ago
Reasoning over Networks by Symbolic Methods
Effective quantifier elimination procedures for the reals allow to solve problems that can be encoded into corresponding first-order formulas including ordering constraints. In con...
Thomas Sturm
DAC
2005
ACM
16 years 5 months ago
Physically-aware HW-SW partitioning for reconfigurable architectures with partial dynamic reconfiguration
Many reconfigurable architectures offer partial dynamic configurability, but current system-level tools cannot guarantee feasible implementations when exploiting this feature. We ...
Sudarshan Banerjee, Elaheh Bozorgzadeh, Nikil D. D...