Results 1  10
of
5,464
The Mathematical Basis of Molecular Phylogenetics
, 1995
"... Contents 4 The Mathematical Basis of Molecular Phylogenetics 3 4.1 Sequences and the Concept of Information . . . . . . . . . . . 3 4.2 A Formal Universe for Sequentially Encoded Information . . . 5 4.3 Good Bookkeeping of Sequences . . . . . . . . . . . . . . . . . 5 4.4 Mutation Trees and Family ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
Contents 4 The Mathematical Basis of Molecular Phylogenetics 3 4.1 Sequences and the Concept of Information . . . . . . . . . . . 3 4.2 A Formal Universe for Sequentially Encoded Information . . . 5 4.3 Good Bookkeeping of Sequences . . . . . . . . . . . . . . . . . 5 4.4 Mutation Trees and Family
Mathematical Basis for Physical Inference
, 2000
"... While the axiomatic introduction of a probability distribution over a space is common, its use for making predictions, using physical theories and prior knowledge, suffers from a lack of formalization. We propose to introduce, in the space of all probability distributions, two operations, the or and ..."
An axiomatic basis for computer programming
 COMMUNICATIONS OF THE ACM
, 1969
"... In this paper an attempt is made to explore the logical foundations of computer programming by use of techniques which were first applied in the study of geometry and have later been extended to other branches of mathematics. This involves the elucidation of sets of axioms and rules of inference w ..."
Abstract

Cited by 1754 (4 self)
 Add to MetaCart
In this paper an attempt is made to explore the logical foundations of computer programming by use of techniques which were first applied in the study of geometry and have later been extended to other branches of mathematics. This involves the elucidation of sets of axioms and rules of inference
On The Mathematical Basis Of The Linear Sampling Method
"... . The linear sampling method is an algorithm for solving the inverse scattering problem for acoustic and electromagnetic waves. There are two versions of the linear sampling method. Although the second version is on a rm mathematical foundation, it is restricted to the case of nonabsorbing media, fu ..."
Abstract

Cited by 5 (4 self)
 Add to MetaCart
. The linear sampling method is an algorithm for solving the inverse scattering problem for acoustic and electromagnetic waves. There are two versions of the linear sampling method. Although the second version is on a rm mathematical foundation, it is restricted to the case of nonabsorbing media
On the mathematical basis of intertemporal optimization
 Department of Economics, University of Oxford
, 2010
"... Abstract Almost no economic time series is either weakly or strictly stationary: distributions of economic variables shift over time. Thus, the present treatment of expectations in economic theories of intertemporal optimization is inappropriate. It cannot be proved that conditional expectations ba ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Abstract Almost no economic time series is either weakly or strictly stationary: distributions of economic variables shift over time. Thus, the present treatment of expectations in economic theories of intertemporal optimization is inappropriate. It cannot be proved that conditional expectations based on the current distribution are minimum meansquare error 1step ahead predictors when unanticipated breaks occur, and consequentially, the law of iterated expectations then fails intertemporally. A second consequence is that dynamic stochastic general equilibrium models are intrinsically nonstructural. JEL classifications: C02, C22.
MATHEMATICAL BASIS OF THE CRITICAL PATH METHOD* by
, 1962
"... NOTICE: When government or other drawings, specifications or other data are used for any purpose other than in connection with a definitely related government procurement operation, the U. S. Government thereby incurs no responsibility, nor any obligation whatsoever; and the fact that the Gov ..."
Abstract
 Add to MetaCart
NOTICE: When government or other drawings, specifications or other data are used for any purpose other than in connection with a definitely related government procurement operation, the U. S. Government thereby incurs no responsibility, nor any obligation whatsoever; and the fact that the Government may have formulated, furnished, or in any way supplied the said drawings, specifications, or other data is not to be regarded by implication or otherwise as in any manner licensing the holder or any other person or corporation, or conveying any rights or permission to manufacture, use or sell any patented invention that may in any way be related thereto. oo
Mathematical Basis of Our Approach...........................3
"... In recent years wood strength researchers have begun to replace experimental unit allocation via random sampling with allocation via sorts based on nondestructive measurements of strength predictors such as modulus of elasticity and specific gravity. Although this procedure has the potential of grea ..."
Abstract
 Add to MetaCart
In recent years wood strength researchers have begun to replace experimental unit allocation via random sampling with allocation via sorts based on nondestructive measurements of strength predictors such as modulus of elasticity and specific gravity. Although this procedure has the potential of greatly increasing experimental sensitivity, as currently implemented it can easily reduce sensitivity. In this paper we discuss the problem and we present solutions. Given the existence of nondestructive measurements of strength predictors, our methods can be used to reduce sample sizes. We have written a public domain computer program that implements the methods.
Computational LambdaCalculus and Monads
, 1988
"... The λcalculus is considered an useful mathematical tool in the study of programming languages, since programs can be identified with λterms. However, if one goes further and uses fijconversion to prove equivalence of programs, then a gross simplification is introduced, that may jeopardise the ap ..."
Abstract

Cited by 501 (6 self)
 Add to MetaCart
The λcalculus is considered an useful mathematical tool in the study of programming languages, since programs can be identified with λterms. However, if one goes further and uses fijconversion to prove equivalence of programs, then a gross simplification is introduced, that may jeopardise
Notions of Computation and Monads
, 1991
"... The i.calculus is considered a useful mathematical tool in the study of programming languages, since programs can be identified with Iterms. However, if one goes further and uses bnconversion to prove equivalence of programs, then a gross simplification is introduced (programs are identified with ..."
Abstract

Cited by 867 (15 self)
 Add to MetaCart
The i.calculus is considered a useful mathematical tool in the study of programming languages, since programs can be identified with Iterms. However, if one goes further and uses bnconversion to prove equivalence of programs, then a gross simplification is introduced (programs are identified
Results 1  10
of
5,464