4757 search results - page 710 / 952 » Monads for Functional Programming |
149
click to vote
CCE
2005
15 years 4 months ago
2005
Phenotype phase plane analysis is a linear optimization procedure which can be used to study the value of the objective function (a desired phenotype) as two variables (external s...
153
click to vote
ARTMED
2002
15 years 4 months ago
2002
This paper presents an evolutionary artificial neural network approach based on the pareto differential evolution algorithm augmented with local search for the prediction of breas...
141
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
ACL2 was used to prove properties of two simplification procedures. The procedures differ in complexity but solve the same programming problem that arises in the context of a reso...
151
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
We present a polymorphic type system for lambda calculus ensuring that welltyped programs can be executed in polynomial time: dual light affine logic (DLAL). DLAL has a simple typ...
120
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
It is well-known that freeness and linearity information positively interact with aliasing information, allowing both the precision and the efficiency of the sharing analysis of l...