English
Related papers

Related papers: Two polygraphic presentations of Petri nets

200 papers

Quaternion contains one real part and three imaginary parts, which provided a more expressive hypercomplex space for learning knowledge graph. Existing quaternion embedding models measure the plausibility of a triplet either through…

Machine Learning · Computer Science 2024-12-13 Weihua Wang , Qiuyu Liang , Feilong Bao , Guanglai Gao

Graphs are a useful abstraction of image content. Not only can graphs represent details about individual objects in a scene but they can capture the interactions between pairs of objects. We present a method for training a convolutional…

Computer Vision and Pattern Recognition · Computer Science 2018-03-28 Alejandro Newell , Jia Deng

A new generalisation of the notion of space, called "vectoid", is suggested in this work. Basic definitions, examples and properties are presented, as well as a construction of direct product of vectoids. Proofs of more complicated…

Algebraic Geometry · Mathematics 2011-05-17 Nikolai Durov

Based on a reduction processing, we rewrite a hypergeometric term as the sum of the difference of a hypergeometric term and a reduced hypergeometric term (the reduced part, in short). We show that when the initial hypergeometric term has a…

Combinatorics · Mathematics 2019-07-23 Qing-Hu Hou , Yan-Ping Mu , Doron Zeilberger

Networks and their higher order generalizations, such as hypernetworks or multiplex networks are ever more popular models in the applied sciences. However, methods developed for the study of their structural properties go little beyond the…

Discrete Mathematics · Computer Science 2018-10-19 Emil Saucan , Melanie Weber

Starting from a real standard subspace of a Hilbert space and a representation of the translation group with natural properties, we construct and analyze for each endomorphism of this pair a local, translationally covariant net of standard…

Mathematical Physics · Physics 2015-06-19 Gandalf Lechner , Roberto Longo

We introduce a family of polytope exchange transformations (PETs) acting on parallelotopes in $\R^{2n}$ for $n=1,2,3...$. These PETs are constructed using a pair of lattices in $\R^{2n}$. The moduli space of these PETs is $GL_n(\R)$. We…

Dynamical Systems · Mathematics 2012-10-02 Richard Evan Schwartz

The representation of complex systems as networks is inappropriate for the study of certain problems. We show several examples of social, biological, ecological and technological systems where the use of complex networks gives very limited…

Physics and Society · Physics 2013-04-02 Ernesto Estrada , Juan A. Rodriguez-Velazquez

Transformer architectures show significant promise for natural language processing. Given that a single pretrained model can be fine-tuned to perform well on many different tasks, these networks appear to extract generally useful linguistic…

Machine Learning · Computer Science 2019-10-29 Andy Coenen , Emily Reif , Ann Yuan , Been Kim , Adam Pearce , Fernanda Viégas , Martin Wattenberg

We study the computational model of polygraphs. For that, we consider polygraphic programs, a subclass of these objects, as a formal description of first-order functional programs. We explain their semantics and prove that they form a…

Logic in Computer Science · Computer Science 2015-07-01 Guillaume Bonfante , Yves Guiraud

Phylogenetic networks are a generalization of phylogenetic trees that are used to represent reticulate evolution. Unrooted phylogenetic networks form a special class of such networks, which naturally generalize unrooted phylogenetic trees.…

Populations and Evolution · Quantitative Biology 2016-01-11 Katharina T. Huber , Vincent Moulton , Taoyang Wu

Symplectic vector spaces are the phase spaces of linear mechanical systems. The symplectic form describes, for example, the relation between position and momentum as well as current and voltage. The category of linear Lagrangian relations…

Logic in Computer Science · Computer Science 2022-11-04 Cole Comfort , Aleks Kissinger

String diagrams are a powerful and intuitive graphical syntax, originated in the study of symmetric monoidal categories. In the last few years, they have found application in the modelling of various computational structures, in fields as…

Logic in Computer Science · Computer Science 2022-02-04 Filippo Bonchi , Fabio Gadducci , Aleks Kissinger , Pawel Sobocinski , Fabio Zanasi

We describe an "interpretability illusion" that arises when analyzing the BERT model. Activations of individual neurons in the network may spuriously appear to encode a single, simple concept, when in fact they are encoding something far…

Computation and Language · Computer Science 2021-04-16 Tolga Bolukbasi , Adam Pearce , Ann Yuan , Andy Coenen , Emily Reif , Fernanda Viégas , Martin Wattenberg

We propose a new method for accelerating the computation of a concurrency relation, that is all pairs of places in a Petri net that can be marked together. Our approach relies on a state space abstraction, that involves a mix between…

Logic in Computer Science · Computer Science 2021-06-25 Nicolas Amat , Silvano Dal Zilio , Didier Le Botlan

We construct the quaternion algebra [10] "geometrically" by a three dimensional analogue of the classic two dimensional geometric description of the complex field. The algebraic description of the multiplication operation in three…

Rings and Algebras · Mathematics 2010-12-13 Bob Palais

Geometric modeling by constraints leads to large systems of algebraic equations. This paper studies bipartite graphs underlaid by systems of equations. It shows how these graphs make possible to polynomially decompose these systems into…

Discrete Mathematics · Computer Science 2014-05-26 Samy Ait-Aoudia , Roland Jegou , Dominique Michelucci

Petri nets provide accurate analogues to chemical reaction networks, with places representing individual molecules (the resources of the system) and transitions representing chemical reactions which convert educt molecules into product…

Discrete Mathematics · Computer Science 2025-09-03 Addie Jordon , Juri Kolčák , Daniel Merkle

We introduce the concepts of closed sets and closure operators as mathematical tools for the study of social networks. Dynamic networks are represented by transformations. It is shown that under continuous change/transformation, all…

Combinatorics · Mathematics 2012-12-13 John L. Pfaltz

It is well-known that in two dimensions Turing systems produce spots, stripes and labyrinthine patterns, and in three dimensions lamellar and spherical structures or their combinations are observed. We study transitions between these states…

Statistical Mechanics · Physics 2007-05-23 Teemu Leppanen , Mikko Karttunen , R. A. Barrio , Kimmo Kaski