The recently developed technique of Bohrification associates to a (unital) C*-algebra A 1. the Kripke model, a presheaf topos, of its classical contexts; 2. in this Kripke model a commutative C*-algebra, called the Bohrification of A; 3. the spectrum of the Bohrification as a locale internal in the Kripke model. We propose this locale, the ‘state space’, as a (n intuitionistic) logic of the phy...

This paper studies the problem of sequence-to-sequence alignment, namely establishing correspondences in time and in space between two di erent video sequences of the same dynamic scene. The sequences are recorded by uncalibrated video cameras, which are either stationary or jointly moving, with xed (but unknown) internal parameters and relative inter-camera external parameters. Temporal variat...

motivating the perturbations of frames in hilbert and banach spaces, in this paper we introduce the invariance of fr'echet frames under perturbation. also we show that for any fr'echet spaces, there is a fr'echet frame and any element in these spaces  has a series expansion.

In previous work of D. Turaev, A. Winter and the author, the Law of Large Numbers for the local mass of certain superdiffusions was proved under an ergodicity assumption. In this paper we go beyond ergodicity, that is we consider cases when the scaling for the expectation of the local mass is not purely exponential. Inter alia, we prove the analog of the Watanabe–Biggins LLN for super-Brownian ...

Applying (enriched) categorical structures we define the notion of ordered sheaf on a quantaloid Q, which we call ‘Q-order’. This requires a theory of semicategories enriched in the quantaloid Q, that admit a suitable Cauchy completion. There is a quantaloid Idl(Q) of Q-orders and ideal relations, and a locally ordered category Ord(Q) of Q-orders and monotone maps; actually, Ord(Q) = Map(Idl(Q)...

Résumé. Cet article traite de la problématique de la classification recouvrante (overlapping clustering) et propose deux variantes de l’approche OKM : OKMED et WOKM. OKMED généralise k-médoïdes au cas recouvrant, il permet d’organiser un ensemble d’individus en classes non-disjointes, à partir d’une matrice de distances. La méthode WOKM (Weighted-OKM) étend OKM par une pondération locale des cl...