Sciweavers

1209 search results - page 96 / 242
» Universal Algebra and Computer Science
Sort
View
139
Voted
EUROPAR
2011
Springer
14 years 2 months ago
A Fully Empirical Autotuned Dense QR Factorization for Multicore Architectures
: Tuning numerical libraries has become more difficult over time, as systems get more sophisticated. In particular, modern multicore machines make the behaviour of algorithms hard ...
Emmanuel Agullo, Jack Dongarra, Rajib Nath, Stanim...
ACMSE
2005
ACM
15 years 8 months ago
Heuristics for dependency conjectures in proteomic signaling pathways
A key issue in the study of protein signaling networks is understanding the relationships among proteins in the network. Understanding these relationships in the context of a netw...
Edward E. Allen, Jacquelyn S. Fetrow, David J. Joh...
115
Voted
CTRS
1987
15 years 6 months ago
Confluence of Conditional Rewrite Systems
Conditional rewriting has been studied both from the point of view of algebraic data type specifications and as a computational paradigm combining logic and functional programming...
Nachum Dershowitz, Mitsuhiro Okada, G. Sivakumar
142
Voted
DAM
2011
14 years 9 months ago
Noisy colored point set matching
In this paper we tackle the problem of matching two colored point sets in R3 under the bottleneck distance. First we present an exact matching algorithm that requires the computat...
Yago Diez, Joan Antoni Sellarès
BIOINFORMATICS
2006
101views more  BIOINFORMATICS 2006»
15 years 2 months ago
A lock-and-key model for protein-protein interactions
Motivation: Protein-protein interaction networks are one of the major post-genomic data sources available to molecular biologists. They provide a comprehensive view of the global ...
Julie L. Morrison, Rainer Breitling, Desmond J. Hi...