Results 1  10
of
1,009
The πcalculus as a theory in linear logic: Preliminary results
 3rd Workshop on Extensions to Logic Programming, LNCS 660
, 1993
"... The agent expressions of the πcalculus can be translated into a theory of linear logic in such a way that the reflective and transitive closure of πcalculus (unlabeled) reduction is identified with “entailedby”. Under this translation, parallel composition is mapped to the multiplicative disjunct ..."
Abstract

Cited by 113 (18 self)
 Add to MetaCart
some testing equivalences for π0. If negationasfailuretoprove is permitted as a coagent combinator, then testing equivalence based on coagents yields observational equivalence for π0. This latter result follows from observing that coagents directly represent formulas in the HennessyMilner modal
The Coordination of Arm Movements: An Experimentally Confirmed Mathematical Model
 Journal of neuroscience
, 1985
"... This paper presents studies of the coordination of voluntary human arm movements. A mathematical model is formulated which is shown to predict both the qualitative features and the quantitative details observed experimentally in planar, multijoint arm movements. Coordination is modeled mathematic ..."
Abstract

Cited by 688 (18 self)
 Add to MetaCart
This paper presents studies of the coordination of voluntary human arm movements. A mathematical model is formulated which is shown to predict both the qualitative features and the quantitative details observed experimentally in planar, multijoint arm movements. Coordination is modeled
Stochastic relaxation, Gibbs distributions and the Bayesian restoration of images.
 IEEE Trans. Pattern Anal. Mach. Intell.
, 1984
"... AbstractWe make an analogy between images and statistical mechanics systems. Pixel gray levels and the presence and orientation of edges are viewed as states of atoms or molecules in a latticelike physical system. The assignment of an energy function in the physical system determines its Gibbs di ..."
Abstract

Cited by 5126 (1 self)
 Add to MetaCart
system isolates low energy states ("annealing"), or what is the same thing, the most probable states under the Gibbs distribution. The analogous operation under the posterior distribution yields the maximum a posteriori (MAP) estimate of the image given the degraded observations. The result
Loopy belief propagation for approximate inference: An empirical study. In:
 Proceedings of Uncertainty in AI,
, 1999
"... Abstract Recently, researchers have demonstrated that "loopy belief propagation" the use of Pearl's polytree algorithm in a Bayesian network with loops can perform well in the context of errorcorrecting codes. The most dramatic instance of this is the near Shannonlimit performanc ..."
Abstract

Cited by 676 (15 self)
 Add to MetaCart
limit performance of "Turbo Codes" codes whose decoding algorithm is equivalent to loopy belief propagation in a chainstructured Bayesian network. In this paper we ask: is there something spe cial about the errorcorrecting code context, or does loopy propagation work as an ap proximate inference scheme
Testing for Common Trends
 Journal of the American Statistical Association
, 1988
"... Cointegrated multiple time series share at least one common trend. Two tests are developed for the number of common stochastic trends (i.e., for the order of cointegration) in a multiple time series with and without drift. Both tests involve the roots of the ordinary least squares coefficient matrix ..."
Abstract

Cited by 464 (7 self)
 Add to MetaCart
matrix obtained by regressing the series onto its first lag. Critical values for the tests are tabulated, and their power is examined in a Monte Carlo study. Economic time series are often modeled as having a unit root in their autoregressive representation, or (equivalently) as containing a stochastic
The PiCalculus as a Theory in Linear Logic
, 1992
"... The agent expressions of the ßcalculus can be translated into a theory of linear logic in such a way that the reflective and transitive closure of ßcalculus (unlabeled) reduction is identified with "entailedby". Under this translation, parallel composition is mapped to the multiplicativ ..."
Abstract
 Add to MetaCart
and show that they can specify some testing equivalences for pi0. If negationasfailuretoprove is permitted as a coagent combinator, then testing equivalence based on coagents yields observational equivalence for pi0. This latter result follows from observing that coagents directly represent
Manysorted sets
 Journal of Formalized Mathematics
, 1993
"... Summary. The article deals with parameterized families of sets. When treated in a similar way as sets (due to systematic overloading notation used for sets) they are called many sorted sets. For instance, if x and X are two manysorted sets (with the same set of indices I) then relation x ∈ X is def ..."
Abstract

Cited by 189 (23 self)
 Add to MetaCart
the feasibility of such approach in Mizar. It works. Let us observe some peculiarities: empty set (i.e. the many sorted set with empty set of indices) belongs to itself (theorem 133), we get two different inclusions X ⊆ Y iff ∀i∈IXi ⊆ Yi and X ⊑ Y iff ∀xx ∈ X ⇒ x ∈ Y equivalent only for sets that yield non
A method for proving observational equivalence
"... Abstract—Formal methods have proved their usefulness for analyzing the security of protocols. Most existing results focus on trace properties like secrecy (expressed as a reachability property) or authentication. There are however several security properties, which cannot be defined (or cannot be na ..."
Abstract

Cited by 21 (9 self)
 Add to MetaCart
else branch, we reduce the decidability of trace equivalence to deciding an equivalence relation introduced by M. Baudet. Altogether, this yields the first decidability result of observational equivalence for a general class of equational theories. I.
Ramsey meets laibson in the neoclassical growth model
 QUARTERLY JOURNAL OF ECONOMICS
, 1999
"... The neoclassical growth model is modified to include a variable rate of time preference. With no commitment ability and log utility, the equilibrium features a constant effective rate of time preference and is observationally equivalent to the standard model. The extended framework yields testable l ..."
Abstract

Cited by 116 (2 self)
 Add to MetaCart
The neoclassical growth model is modified to include a variable rate of time preference. With no commitment ability and log utility, the equilibrium features a constant effective rate of time preference and is observationally equivalent to the standard model. The extended framework yields testable
A Syntactic Method for Proving Observational Equivalences
, 1993
"... We present a syntactic method for proving observational equivalences in reduction systems. The method is based on establishing a weak diamond property for critical pairs. It has been used successfully in proofs on the observational equivalence theories of var and . 1 Introduction Observational equ ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
We present a syntactic method for proving observational equivalences in reduction systems. The method is based on establishing a weak diamond property for critical pairs. It has been used successfully in proofs on the observational equivalence theories of var and . 1 Introduction Observational
Results 1  10
of
1,009