Sciweavers

216 search results - page 9 / 44
» Additive envelopes of continuous functions
Sort
View
APLAS
2006
ACM
14 years 1 months ago
Automatic Testing of Higher Order Functions
This paper tackles a problem often overlooked in functional programming community: that of testing. Fully automatic test tools like Quickcheck and G∀ST can test first order func...
Pieter W. M. Koopman, Rinus Plasmeijer
CSB
2005
IEEE
139views Bioinformatics» more  CSB 2005»
14 years 1 months ago
Predicting gene function by combining expression and interaction data
In this study we combined the spurious protein interaction data from the Database of Interacting Proteins with the recently published gene expression data of S. cerevisiae grown w...
Rogier J. P. van Berlo, Lodewyk F. A. Wessels, S. ...
RC
2002
70views more  RC 2002»
13 years 7 months ago
On Existence and Uniqueness Verification for Non-Smooth Functions
Given an approximate solution to a nonlinear system of equations at which the Jacobi matrix is nonsingular, and given that the Jacobi matrix is continuous in a region about this ap...
R. Baker Kearfott
JUCS
2002
79views more  JUCS 2002»
13 years 7 months ago
Some Notes on Fine Computability
: A metric defined by Fine induces a topology on the unit interval which is strictly stronger than the ordinary Euclidean topology and which has some interesting applications in Wa...
Vasco Brattka
EJC
2007
13 years 7 months ago
Proof of the oval conjecture for planar partition functions
We prove that the translation plane and the shift plane defined by a planar partition function form an oval pair of projective planes in the sense that the planes share a line pe...
Nils Rosehr