English
Related papers

Related papers: Modelling Concurrency with Comtraces and Generaliz…

200 papers

Graphs can be associated with a matrix according to some rule and we can find the spectrum of a graph with respect to that matrix. Two graphs are cospectral if they have the same spectrum. Constructions of cospectral graphs help us…

Combinatorics · Mathematics 2020-06-02 Kate Lorenzen

The theme of the first two sections, is to prepare the framework of how from a ``complicated'' family of so called index models $I \in K_1$ we build many and/or complicated structures in a class $K_2$. The index models are…

Logic · Mathematics 2023-05-19 Saharon Shelah

In a multi-modeling based approach, the system under development is described by several models that represent various perspectives and concerns. Obviously, these partial representations are less complex than the global model, but they need…

Software Engineering · Computer Science 2015-12-24 Youness Laghouaouta , Adil Anwar , Mahmoud Nassar

We introduce a generalization of the notion of operad that we call a contractad, whose set of operations is indexed by connected graphs and whose composition rules are numbered by contractions of connected subgraphs. We show that many…

Algebraic Topology · Mathematics 2024-07-24 Denis Lyskov

We introduce Hopf algebroid covariance on Woronowicz's differential calculus. Using it, we develop quite a general framework of noncommutative complex geometry that subsumes the one in [2]. We present transverse complex and K\"ahler…

Quantum Algebra · Mathematics 2021-05-11 Suvrajit Bhattacharjee , Indranil Biswas , Debashish Goswami

Stacked generalization is a general method of using a high-level model to combine lower-level models to achieve greater predictive accuracy. In this paper we address two crucial issues which have been considered to be a `black art' in…

Artificial Intelligence · Computer Science 2011-05-30 K. M. Ting , I. H. Witten

Generalized geometry finds many applications in the mathematical description of some aspects of string theory. In a nutshell, it explores various structures on a generalized tangent bundle associated to a given manifold. In particular,…

Differential Geometry · Mathematics 2023-03-14 Jan Vysoky

We introduce and study a generalized Parikh matrix mapping based on tracking the occurrence counts of special types of subsequences. These matrices retain more information about a word than the original Parikh matrix mapping while…

Formal Languages and Automata Theory · Computer Science 2024-07-08 Szilárd Zsolt Fazekas , Xinhao Huang

We investigate the interplay of generalized global symmetries in 2+1 dimensions in a lattice model that couples a $\mathbb{Z}_N$ clock model to a $\mathbb{Z}_N$ gauge theory via a topological interaction. This coupling binds the charges of…

Strongly Correlated Electrons · Physics 2025-05-16 Benjamin Moy , Eduardo Fradkin

We review some definitions and basic notions relating to generalised spin structures and introduce the notion of reducibility. We discuss connections on these structures, define a covariant Lie derivative for associated bundles and develop…

Differential Geometry · Mathematics 2025-11-06 Andrew D. K. Beckett

We introduce a class of non-commutative algebras that carry a non-commutative (geometric) cluster structure which are generated by identical copies of generalized Weyl algebras. Equivalent conditions for the finiteness of the set of the…

Representation Theory · Mathematics 2016-05-13 Ibrahim Saleh

This thesis deals with the enumerative study of combinatorial maps, and its application to the enumeration of other combinatorial objects. Combinatorial maps, or simply maps, form a rich combinatorial model. They have an intuitive and…

Combinatorics · Mathematics 2016-10-03 Wenjie Fang

Despite the remarkable success of large large-scale neural networks, we still lack unified notation for thinking about and describing their representational spaces. We lack methods to reliably describe how their representations are…

Machine Learning · Computer Science 2025-06-02 Henry Conklin

Representing a proof tree by a combinator term that reduces to the tree lets subtle forms of duplication within the tree materialize as duplicated subterms of the combinator term. In a DAG representation of the combinator term these…

Logic in Computer Science · Computer Science 2022-09-27 Christoph Wernhard

In this Note, we propose a line bundle approach to odd-dimensional analogues of generalized complex structures. This new approach has three main advantages: (1) it encompasses all existing ones; (2) it elucidates the geometric meaning of…

Differential Geometry · Mathematics 2016-03-10 Luca Vitagliano , Aïssa Wade

We present a lattice of distributed program specifications, whose ordering represents implementability/refinement. Specifications are modelled by families of subsets of relative execution traces, which encode the local orderings of state…

Logic in Computer Science · Computer Science 2023-04-25 Nasos Evangelou-Oost , Callum Bannister , Ian J. Hayes

Framed combinatorial topology is a novel theory describing combinatorial phenomena arising at the intersection of stratified topology, singularity theory, and higher algebra. The theory synthesizes elements of classical combinatorial…

Geometric Topology · Mathematics 2021-12-30 Christoph Dorn , Christopher L. Douglas

We present a universal approach to the investigation of the dynamics in generalized models. In these models the processes that are taken into account are not restricted to specific functional forms. Therefore a single generalized models can…

Chaotic Dynamics · Physics 2007-05-23 Thilo Gross , Ulrike Feudel

In this work, we will introduce the notion of generalized topological groups using generalized topological structure and generalized continuity defined by ?A. Cs?asz?ar [2]. We will discuss some basic properties of this kind of structures…

General Topology · Mathematics 2016-11-11 Murad Hussain , Moiz Ud Din Khan , Cenap Özel

Compositional representations are thought to enable humans to generalize across combinatorially vast state spaces. Models with learnable object slots, which encode information about objects in separate latent codes, have shown promise for…

Machine Learning · Computer Science 2024-10-08 Tankred Saanum , Luca M. Schulze Buschoff , Peter Dayan , Eric Schulz