Related papers: Biracks: a notational proposal and applications
We introduce linear Dirac and generalized complex structures on Cartan geometries and give criteria for Dirac subalgebras of $\frkg\ltimes\frkg^*$ representing Dirac structures on a Cartan geometry. We prove that there is a bijection…
We define algebras of admissible functions associated to twisted Dirac structures, and we show that they are Poisson algebras. We study the standard cases associated to Dirac structures defined by graphs of non-degenerate 2-forms.
Implicative algebras have been recently introduced by Miquel in order to provide a unifying notion of model, encompassing the most relevant and used ones, such as realizability (both classical and intuitionistic), and forcing. In this work,…
We introduce a Hilbert $A$-module structure on the higher oscillatory module, where $A$ denotes the $C^*$-algebra of bounded endomorphisms of the basic oscillatory module. We also define the notion of an exterior covariant derivative in an…
Cracks in beams and shallow arches are modeled by massless rotational springs. First, we introduce a specially designed linear operator that "absorbs" the boundary conditions at the cracks. Then the equations of motion are derived from the…
Birack modules are modules over an algebra Z[X] associated to a finite birack X. In previous work, birack module structures on Z mod n were used to enhance the birack counting invariant. In this paper, we use birack modules over Laurent…
Dirac structures are geometric objects that generalize Poisson structures and presymplectic structures on manifolds. They naturally appear in the formulation of constrained mechanical systems and play an essential role in structuring a…
Both scientists and children make important structural discoveries, yet their computational underpinnings are not well understood. Structure discovery has previously been formalized as probabilistic inference about the right structural form…
In this review, we discuss approaches for learning causal structure from data, also called causal discovery. In particular, we focus on approaches for learning directed acyclic graphs (DAGs) and various generalizations which allow for some…
We define discrete Hamiltonian systems in the framework of discrete embeddings. An explicit comparison with previous attempts is given. We then solve the discrete Helmholtz's inverse problem for the discrete calculus of variation in the…
Although it is important both in theory as well as in applications, a theory of Birkhoff interpolation with main emphasis on the shape of the set of nodes is still missing. Although we will consider various shapes (e.g. we find all the…
Drawing inferences between open-domain natural language predicates is a necessity for true language understanding. There has been much progress in unsupervised learning of entailment graphs for this purpose. We make three contributions: (1)…
We expose (without proofs) a unified computational approach to integrable structures (including recursion, Hamiltonian, and symplectic operators) based on geometrical theory of partial differential equations. We adopt a coordinate based…
We address the conjectures left by the recent article by Ferreira et al. titled ``Commuting maps and identities with inverses on alternative division rings.'' We also present an example showing the necessity of the conditions of the results…
Motivated by the bijection between Schnyder labelings of a plane triangulation and partitions of its inner edges into three trees, we look for binary labelings for quadrangulations (whose edges can be partitioned into two trees). Our…
The purpose of this paper is to define the concept of multi-Dirac structures and to describe their role in the description of classical field theories. We begin by outlining a variational principle for field theories, referred to as the…
The correspondence between Poisson structures and symplectic groupoids, analogous to the one of Lie algebras and Lie groups, plays an important role in Poisson geometry; it offers, in particular, a unifying framework for the study of…
We present Bicoq3, a deep embedding of the B system in Coq, focusing on the technical aspects of the development. The main subjects discussed are related to the representation of sets and maps, the use of induction principles, and the…
Early experiments have suggested that program auralization can convey information about program structure [8]. Languages like Pascal contain classes of construct that are similar in nature allowing hierarchical classification of their…
Let $R$ be a commutative ring with identity and a fixed invertible element $q^{\frac{1}{2}}$, and suppose $q+q^{-1}$ is invertible in $R$. For each planar surface $\Sigma_{0,n+1}$, we present its Kauffman bracket skein algebra over $R$ by…