321 search results - page 51 / 65 » Testing protocols modeled as FSMs with timing parameters |
96
Voted
RECONFIG
2009
IEEE
15 years 7 months ago
2009
IEEE
BLASTn is a ubiquitous tool used for large scale DNA analysis. Detailed profiling tests reveal that the most computationally intensive sections of the BLASTn algorithm are the sc...
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
ate Abstractions of Discrete-Time Controlled Stochastic Hybrid Systems Alessandro D’Innocenzo, Alessandro Abate, and Maria D. Di Benedetto — This work proposes a procedure to c...
105
Voted
BMCBI
2006
15 years 14 days ago
2006
Background: Various statistical scores have been proposed for evaluating the significance of genes that may exhibit differential expression between two or more controlled conditio...
95
Voted
WSDM
2010
ACM
15 years 9 months ago
2010
ACM
Recently, there has been tremendous interest in the phenomenon of influence propagation in social networks. The studies in this area assume they have as input to their problems a ...
100
Voted
WSC
2007
15 years 2 months ago
2007
We describe the spatial Agent-Based Computational Laboratory that we have developed to study the pandemic influenza risks of US cities. This research presented a series of interes...