Search Sciweavers | Sciweavers

5863 search results - page 10 / 1173

» Calculating Functional Programs

109

click to vote

AIPRF
2007

74views Artificial Intelligence» more AIPRF 2007»

A New GP-evolved Formulation for the Relative Permittivity of Water and Steam

15 years 3 months ago

Download www.cs.uga.edu

The relative permittivity (or static dielectric constant) of water and steam has been experimentally calculated at a relatively wide range of temperatures and pressures. A single ...

Sergey V. Fogelson, Walter D. Potter

claim paper

Read More »

Voted

CORR
2006
Springer

119views Education» more CORR 2006»

Calculating modules in contextual logic program refinement

15 years 2 months ago

Download www.itee.uq.edu.au

The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specificat...

Robert Colvin, Ian J. Hayes, Paul A. Strooper

claim paper

Read More »

137

Voted

ISSTA
2010
ACM

190views Software Engineering» more ISSTA 2010»

Perturbing numerical calculations for statistical analysis of floating-point program (in)stability

15 years 4 months ago

Download www.cs.ucdavis.edu

Writing reliable software is difﬁcult. It becomes even more difﬁcult when writing scientiﬁc software involving ﬂoating-point numbers. Computers provide numbers with limite...

Enyi Tang, Earl T. Barr, Xuandong Li, Zhendong Su

claim paper

Read More »

click to vote

BIOINFORMATICS
2004

118views more BIOINFORMATICS 2004»

CLENCH: a program for calculating Cluster ENriCHment using the Gene Ontology

15 years 2 months ago

Download bmir.stanford.edu

N. H. Shah, Nina V. Fedoroff

claim paper

Read More »