721 search results - page 115 / 145 » Biological Network Inference Using Redundancy Analysis |
ATVA
2008
Springer
14 years 11 months ago
2008
Springer
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
ESCIENCE
2006
IEEE
15 years 3 months ago
2006
IEEE
We have designed a maximum likelihood fitter using the actor model to distribute the computation over a heterogeneous network. The prototype implementation uses the SALSA program...
108
click to vote
AB
2007
Springer
15 years 3 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
WWW
2010
ACM
15 years 4 months ago
2010
ACM
We propose a novel method, based on concepts from expander graphs, to sample communities in networks. We show that our sampling method, unlike previous techniques, produces subgra...
84
Voted
MINENET
2006
ACM
15 years 3 months ago
2006
ACM
We examine the ability to exploit the hierarchical structure of Internet addresses in order to endow network agents with predictive capabilities. Specifically, we consider Suppor...