276 search results - page 6 / 56 » Proving Properties of Dynamic Process Networks |
89
Voted
JCNS
2006
15 years 17 days 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...
133
click to vote
BIBE
2005
IEEE
15 years 6 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...
94
Voted
SACMAT
2003
ACM
15 years 5 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...
99
Voted
ISTA
2004
15 years 2 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...
93
Voted
DSN
2006
IEEE
15 years 6 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...