3897 search results - page 622 / 780 » complexity 2010 |
173
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We consider two standard notions in formal security protocol analysis: message deducibility and static equivalence under equational theories. We present polynomial-time a...
212
click to vote
JAISE
2010
15 years 1 months ago
2010
Studying human activities has significant implication in human beneficial applications such as personal healthcare. This research has been facilitated by the development of sensor ...
142
click to vote
MBEC
2010
15 years 29 days ago
2010
Investigation of the homeostasis of red blood cells upon infection by Plasmodium falciparum poses complex experimental challenges. Changes in red cell shape, volume, protein, and i...
191
click to vote
MMAS
2010
Springer
15 years 29 days ago
2010
Springer
We propose a method for efficient solution of elliptic problems with multiscale features and randomly perturbed coefficients. We use the multiscale finite element method (MsFEM) as...
158
click to vote
NCA
2010
IEEE
15 years 28 days ago
2010
IEEE
Programmability is an increasingly important barrier to the deployment of multi-robot systems, as no prior approach allows routine composition and reuse of general aggregate behavi...