Sciweavers

7890 search results - page 393 / 1578
» The MathSAT 3 System
Sort
View
CIDR
2009
125views Algorithms» more  CIDR 2009»
15 years 7 months ago
Towards Eco-friendly Database Management Systems
Database management systems (DBMSs) have largely ignored the task of managing the energy consumed during query processing. Both economical and environmental factors now require th...
Willis Lang, Jignesh M. Patel
BMCBI
2008
131views more  BMCBI 2008»
15 years 6 months ago
CoCoNUT: an efficient system for the comparison and analysis of genomes
Background: Comparative genomics is the analysis and comparison of genomes from different species. This area of research is driven by the large number of sequenced genomes and hea...
Mohamed Ibrahim Abouelhoda, Stefan Kurtz, Enno Ohl...
CORR
2010
Springer
98views Education» more  CORR 2010»
15 years 6 months ago
Electrical Flows, Laplacian Systems, and Faster Approximation of Maximum Flow in Undirected Graphs
We introduce a new approach to computing an approximately maximum s-t flow in a capacitated, undirected graph. This flow is computed by solving a sequence of electrical flow probl...
Paul Christiano, Jonathan A. Kelner, Aleksander Ma...
ENTCS
2006
134views more  ENTCS 2006»
15 years 6 months ago
Anonymity in Probabilistic and Nondeterministic Systems
Anonymity means that the identity of the user performing a certain action is maintained secret. The protocols for ensuring anonymity often use random mechanisms which can be descr...
Catuscia Palamidessi
BMCBI
2007
198views more  BMCBI 2007»
15 years 6 months ago
Correlation analysis reveals the emergence of coherence in the gene expression dynamics following system perturbation
Time course gene expression experiments are a popular means to infer co-expression. Many methods have been proposed to cluster genes or to build networks based on similarity measu...
Nicola Neretti, Daniel Remondini, Marc Tatar, John...