نتایج جستجو برای: multiplicative discrete calculus

تعداد نتایج: 232179  

Journal: :Sampling Theory, Signal Processing, and Data Analysis 2011

2006
Enrique Bendito Ángeles Carmona Andrés M. Encinas

We present here a vector calculus on weighted networks following the guidelines of Differential Geometry. The key to develop an efficient calculus on weighted networks which mimetizes the calculus in the smooth case is an adequate construction of the tangent space at each vertex. This allows to consider discrete vector fields, inner products and general metrics. Then, we obtain discrete version...

2008
Paolo Tranquilli

We give a graph theoretical criterion on Multiplicative Additive Linear Logic (MALL) cut-free proof structures that exactly characterizes those whose interpretation is a hyperclique in Ehrhard’s hypercoherent spaces. This criterion is strictly weaker than the one given by Hughes and van Glabbeek characterizing proof nets (i.e. desequentialized sequent calculus proofs). We thus also give the fir...

2008
Paolo Tranquilli

We give a graph theoretical criterion on multiplicative additive linear logic (MALL) cut-free proof structures that exactly characterizes those whose interpretation is a hyperclique in Ehrhard’s hypercoherent spaces. This criterion is strictly weaker than the one given by Hughes and van Glabbeek characterizing proof nets (i.e. desequentialized sequent calculus proofs). We thus also give the fir...

2008
Ke Wu Wei-Zhong Zhao Han-Ying Guo

In a way similar to the continuous case formally, we define in different but equivalent manners the difference discrete connection and curvature on discrete vector bundle over the regular lattice as base space. We deal with the difference operators as the discrete counterparts of the derivatives based upon the differential calculus on the lattice. One of the definitions can be extended to the c...

2016
Lawrence Dunn Jamie Vicary

Multiplicative linear logic [6, 7] is a formal calculus for reasoning about resources, which is similar to traditional logic, except that resources cannot be duplicated or neglected in the way that propositions can. A central problem in logic is determining when two proofs should be considered equivalent. In this paper, we describe a scheme for interpreting proofs in multiplicative linear logic...

2006
Mogens Fosgerau Michel Bierlaire

We propose a multiplicative speci cation of a discrete choice model that renders choice probabilities independent of the scale of the utility. The scale can thus be random with unspeci ed distribution. The model mostly outperforms the classical additive formulation over a range of stated choice data sets. In some cases, the improvement in likelihood is greater than that obtained from adding obs...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید