1888 search results - page 124 / 378 » Proof theory and computational analysis |
125
click to vote
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
Predictable allocations of security resources such as police officers, canine units, or checkpoints are vulnerable to exploitation by attackers. Recent work has applied game-theo...
108
click to vote
DNA
2006
Springer
15 years 4 months ago
2006
Springer
We study the times to grow structures within the tile self-assembly model proposed by Winfree, and the possible shapes that can be achieved. Our earlier work was confined to the g...
112
Voted
VIROLOGY
2008
15 years 14 days ago
2008
We present a novel classification of computer viruses using a formalised notion of reproductive models based on Gibson's theory of affordances. A computer virus reproduction ...
118
Voted
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
The integration of clusters of computers into computational grids has recently gained the attention of many computational scientists. While considerable progress has been made in ...
CANDC
2005
ACM
15 years 2 months ago
2005
ACM
The Exhibition Cybernetic Serendipity (London 1968) is often considered to be the first major exhibition of computer art. Nearly forgotten, is an exhibition in Zagreb that also to...