1847 search results - page 136 / 370 » Hybrid Functional Interpretations |
180
click to vote
BMCBI
2006
15 years 5 months ago
2006
Background: The incorporation of statistical models that account for experimental variability provides a necessary framework for the interpretation of microarray data. A robust ex...
282
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
A method is presented for computing all higher-order partial derivatives of a multivariate function Rn R. This method works by evaluating the function under a nonstandard interpre...
147
Voted
ISIPTA
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper studies the possibility of representing lower previsions by continuous linear functionals. We prove the existence of a linear isomorphism between the linear space spann...
134
click to vote
CIE
2010
Springer
15 years 10 months ago
2010
Springer
We develop applications of selection functions to proof theory and computational extraction of witnesses from proofs in classical analysis. The main novelty is a translation of cla...
156
click to vote
ISMIS
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. This paper presents a framework for reasoning using intervals. Two interpretations of intervals are examined, one treats intervals as bounds of a truth evaluation functio...