276 search results - page 6 / 56 » Proving Properties of Dynamic Process Networks |
JCNS
2006
14 years 9 months ago
2006
The spike-diffuse-spike (SDS) model describes a passive dendritic tree with active dendritic spines. Spine-head dynamics is modeled with a simple integrate-and-fire process, whils...
109
click to vote
BIBE
2005
IEEE
15 years 3 months ago
2005
IEEE
In this article we present novel preprocessing techniques, based on topological measures of the network, to identify clusters of proteins from Protein-protein interaction (PPI) ne...
SACMAT
2003
ACM
15 years 2 months ago
2003
ACM
We investigate the cost of changing access control policies dynamically as a response action in computer network defense. We compare and contrast the use of access lists and capab...
ISTA
2004
14 years 11 months ago
2004
Abstract: This paper presents the evidential paradigm of computer-supported mathematical assistance in "doing" mathematics and in reasoning activity. At present, the evid...
DSN
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper provides a technique, based on partially observable Markov decision processes (POMDPs), for building automatic recovery controllers to guide distributed system recovery...