Sciweavers

983 search results - page 87 / 197
» Circuit Complexity and Multiplicative Complexity of Boolean ...
Sort
View
PPDP
2009
Springer
14 years 4 months ago
Session types for linear multithreaded functional programming
The construction of reliable concurrent and distributed systems is an extremely difficult endeavour. For complex systems, it requires modular development strategies based on prec...
Vasco Thudichum Vasconcelos
IHI
2012
370views Healthcare» more  IHI 2012»
12 years 5 months ago
FUSE: a system for data-driven multi-level functional summarization of protein interaction networks
Despite recent progress in high-throughput experimental studies, systems level visualization and analysis of large protein interaction networks (ppi) remains a challenging task, g...
Boon-Siew Seah, Sourav S. Bhowmick, Charles Forbes...
SIGMOD
2007
ACM
181views Database» more  SIGMOD 2007»
14 years 10 months ago
Progressive and selective merge: computing top-k with ad-hoc ranking functions
The family of threshold algorithm (i.e., TA) has been widely studied for efficiently computing top-k queries. TA uses a sort-merge framework that assumes data lists are pre-sorted...
Dong Xin, Jiawei Han, Kevin Chen-Chuan Chang
APPROX
2008
Springer
88views Algorithms» more  APPROX 2008»
14 years 8 days ago
Limitations of Hardness vs. Randomness under Uniform Reductions
We consider (uniform) reductions from computing a function f to the task of distinguishing the output of some pseudorandom generator G from uniform. Impagliazzo and Wigderson [IW]...
Dan Gutfreund, Salil P. Vadhan
CEC
2010
IEEE
13 years 11 months ago
Functionalization of microarray devices: Process optimization using a multiobjective PSO and multiresponse MARS modeling
An evolutionary approach for the optimization of microarray coatings produced via sol-gel chemistry is presented. The aim of the methodology is to face the challenging aspects of t...
Laura Villanova, Paolo Falcaro, Davide Carta, Iren...