Search Sciweavers | Sciweavers

5863 search results - page 10 / 1173

» Calculating Functional Programs

click to vote

AIPRF
2007

74views Artificial Intelligence» more AIPRF 2007»

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

13 years 10 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 »

click to vote

CORR
2006
Springer

119views Education» more CORR 2006»

Calculating modules in contextual logic program refinement

13 years 8 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 »

click to vote

ISSTA
2010
ACM

190views Software Engineering» more ISSTA 2010»

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

13 years 10 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

13 years 8 months ago

Download bmir.stanford.edu

N. H. Shah, Nina V. Fedoroff

claim paper

Read More »