1368 search results - page 10 / 274 » Perfect Local Computability and Computable Simulations |
169
click to vote
CCECE
2011
IEEE
13 years 11 months ago
2011
IEEE
Models for the local anodic oxidation of silicon using scanning tunneling microscopy and non-contact atomic force microscopy are implemented in a generic process simulator, using ...
ATAL
2005
Springer
15 years 4 months ago
2005
Springer
In distributed scenarios the robustness of a reputation mechanism depends on the data available for computation. Especially in ad-hoc networks the amount of available data is rest...
AUTOMATICA
2008
14 years 11 months ago
2008
The problem of computing bounds on the region-of-attraction for systems with polynomial vector fields is considered. Invariant subsets of the region-of-attraction are characterize...
AAAI
2010
15 years 19 days ago
2010
We consider settings in which voters vote in sequence, each voter knows the votes of the earlier voters and the preferences of the later voters, and voters are strategic. This can...
90
Voted
CF
2006
ACM
15 years 5 months ago
2006
ACM
In this paper, we present a programming language viewpoint for morphogenesis, the process of shape formation during embryological development. Specifically, we model morphogenesi...