1663 search results - page 272 / 333 » Validation and Verification of Simulation Models |
108
Voted
CMSB
2008
Springer
15 years 5 months ago
2008
Springer
We present the Piecewise Linear Approximation Model of Ion Channel contribution (PLAMIC) to cardiac excitation. We use the PLAMIC model to conduct formal analysis of cardiac arrhyt...
114
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
An encounter-based network is a frequently-disconnected wireless ad-hoc network requiring nearby neighbors to store and forward data utilizing mobility and encounters over time. U...
110
click to vote
TOG
2008
15 years 3 months ago
2008
We present a discrete treatment of adapted framed curves, parallel transport, and holonomy, thus establishing the language for a discrete geometric model of thin flexible rods wit...
132
click to vote
WIAS
2008
15 years 3 months ago
2008
This paper explores delegation decisions predicated on models of trust and autonomy among agents. In socially rich environments, trust and autonomy of artificial agents are key att...
143
Voted
TC
2002
15 years 3 months ago
2002
Abstract--Personal communication service (PCS) networks offer mobile users multimedia applications with different quality-ofservice (QoS) and bandwidth requirements. This paper pro...