9595 search results - page 277 / 1919 » Functional programming in C |
151
click to vote
APPML
2008
15 years 6 months ago
2008
In this work, the authors consider the boundary value problem y + a(t)y = g(t) f (y), 0 t 2, y(0) = y(2), y (0) = y (2), and establish the existence of nonnegative solutions in ...
120
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
A lower bound on the minimum mean-squared error (MSE) in a Bayesian estimation problem is proposed in this paper. This bound utilizes a well-known connection to the deterministic e...
118
click to vote
AUTOMATICA
2002
15 years 6 months ago
2002
A solution is presented for the problem of realizing a discrete-time LTI state-space model of minimal McMillan degree such that its
145
click to vote
ESOP
2007
Springer
16 years 20 days ago
2007
Springer
In this paper, we describe the key principles of a dependent type system for low-level imperative languages. The major contributions of this work are (1) a sound type system that c...
186
click to vote
NAR
2002
2002
The Protein Information Resource: an integrated public resource of functional annotation of proteins
15 years 6 months ago
The Protein Information Resource (PIR) serves as an integrated public resource of functional annotation of protein data to support genomic/proteomic research and scientific discov...