412 search results - page 82 / 83 » Completion for Multiple Reduction Orderings |
119
Voted
BMCBI
2004
15 years 28 days ago
2004
Background: Research involving expressed sequence tags (ESTs) is intricately coupled to the existence of large, well-annotated sequence repositories. Comparatively complete and sa...
129
click to vote
MSCS
2007
15 years 17 days ago
2007
It is well-known that weakening and contraction cause na¨ıve categorical models of the classical sequent calculus to collapse to Boolean lattices. In previous work, summarized b...
107
Voted
ICDCS
2010
IEEE
14 years 11 months ago
2010
IEEE
—Networks based on Ethernet bridging scale poorly as bridges flood the entire network repeatedly, and several schemes have been proposed to mitigate this flooding problem; howe...
126
Voted
IPPS
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--The lag of parallel programming models and languages behind the advance of heterogeneous many-core processors has left a gap between the computational capability of moder...
122
Voted
BMCBI
2011
14 years 8 months ago
2011
Background: Time course microarray profiles examine the expression of genes over a time domain. They are necessary in order to determine the complete set of genes that are dynamic...