1902 search results - page 270 / 381 » Differential Dynamic Logics |
173
click to vote
RSS
2007
15 years 7 months ago
2007
— In this paper we present an implicit time-stepping scheme for multibody systems with intermittent contact by incorporating the contact constraints as a set of complementarity a...
152
Voted
CN
2006
15 years 5 months ago
2006
Peer-to-peer are popular environments for exchanging services. A reputation mechanism is a proper means of discovering low-performing peers that fail to provide their services. In...
166
click to vote
BMCBI
2007
15 years 5 months ago
2007
Background: Software tools that model and simulate the dynamics of biological processes and systems are becoming increasingly important. Some of these tools offer sophisticated gr...
143
click to vote
JCNS
1998
15 years 5 months ago
1998
Action potentials evoke calcium transients in dendrites of neocortical pyramidal neurons with time constants of <100 ms at physiological temperature. This time period may not be...
160
click to vote
CASES
2010
ACM
15 years 3 months ago
2010
ACM
Mobile computing platforms in the form of smart phones, netbooks, and personal digital assistants have become an integral part of our everyday lives. Moving ahead to the future, m...