Sciweavers

9787 search results - page 1936 / 1958
» A Utile Function Optimizer
Sort
View
CORR
2008
Springer
105views Education» more  CORR 2008»
13 years 8 months ago
Certifying floating-point implementations using Gappa
High confidence in floating-point programs requires proving numerical properties of final and intermediate values. One may need to guarantee that a value stays within some range, ...
Florent de Dinechin, Christoph Quirin Lauter, Guil...
CORR
2008
Springer
148views Education» more  CORR 2008»
13 years 8 months ago
Copper Electrodeposition for 3D Integration
Abstract-Two dimensional (2D) integration has been the traditional approach for IC integration. Increasing demands for providing electronic devices with superior performance and fu...
Rozalia Beica, Charles Sharbono, Tom Ritzdorf
CORR
2008
Springer
128views Education» more  CORR 2008»
13 years 8 months ago
A Fast Generic Sequence Matching Algorithm
A string matching--and more generally, sequence matching--algorithm is presented that has a linear worst-case computing time bound, a low worst-case bound on the number of compari...
David R. Musser, Gor V. Nishanov
BMCBI
2006
115views more  BMCBI 2006»
13 years 8 months ago
MitoRes: a resource of nuclear-encoded mitochondrial genes and their products in Metazoa
Background: Mitochondria are sub-cellular organelles that have a central role in energy production and in other metabolic pathways of all eukaryotic respiring cells. In the last f...
Domenico Catalano, Flavio Licciulli, Antonio Turi,...
BMCBI
2006
123views more  BMCBI 2006»
13 years 8 months ago
Characterizing disease states from topological properties of transcriptional regulatory networks
Background: High throughput gene expression experiments yield large amounts of data that can augment our understanding of disease processes, in addition to classifying samples. He...
David Tuck, Harriet Kluger, Yuval Kluger
« Prev « First page 1936 / 1958 Last » Next »