Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
MONOIDS AND COMPUTATIONS
View through CrossRef
This contribution wishes to argue in favor of increased interaction between experts on finite monoids and specialists of theory of computation. Developing the algebraic approach to formal computations as well as the computational point of view on monoids will prove to be beneficial to both communities. We give examples of this two-way relationship coming from temporal logic, communication complexity and Boolean circuits. Although mostly expository in nature, our paper proves some new results along the way.
World Scientific Pub Co Pte Lt
Title: MONOIDS AND COMPUTATIONS
Description:
This contribution wishes to argue in favor of increased interaction between experts on finite monoids and specialists of theory of computation.
Developing the algebraic approach to formal computations as well as the computational point of view on monoids will prove to be beneficial to both communities.
We give examples of this two-way relationship coming from temporal logic, communication complexity and Boolean circuits.
Although mostly expository in nature, our paper proves some new results along the way.
Related Results
Ramsey monoids
Ramsey monoids
Recently, Solecki [Forum Math. Sigma 7 (2019), p. 40] introduced the notion of Ramsey monoid to produce a common generalization to theorems such as Hindman’s theorem, Carlson’s the...
BiHom Hopf algebras viewed as Hopf monoids
BiHom Hopf algebras viewed as Hopf monoids
We introduce monoidal categories whose monoidal products of any positive number of factors are lax coherent and whose nullary products are oplax coherent. We call them
...
Coherent Monoids
Coherent Monoids
AbstractThis paper is concerned with a new notion of coherency for monoids. A monoid S is right coherent if the first order theory of right S-sets is coherent; this is equivalent t...
Geometry of population activity in spiking networks with low-rank structure
Geometry of population activity in spiking networks with low-rank structure
AbstractRecurrent network models are instrumental in investigating how behaviorally-relevant computations emerge from collective neural dynamics. A recently developed class of mode...
Interpretable modelling of input-output computations in cortex
Interpretable modelling of input-output computations in cortex
AbstractNeurons receive input from thousands of synapses, which they transform into action potentials (APs) via their complex dendrites. How the dendritic location of these inputs,...
The timing of confidence computations in human prefrontal cortex
The timing of confidence computations in human prefrontal cortex
AbstractKnowing when confidence computations take place is critical for building mechanistic understanding of the neural and computational bases of metacognition. Yet, even though ...
Epsilon-removal constructions of fuzzy finite automata based on fuzzy matrices
Epsilon-removal constructions of fuzzy finite automata based on fuzzy matrices
Abstract
The equivalence of different forms of automata provides a lot of convenience for us to solve practical problems. Sometimes, for efficient use of a fuzzy finite aut...
Identities of the Jones monoid ????5
Identities of the Jones monoid ????5
Jones monoids [Formula: see text], for [Formula: see text], is a family of monoids relevant in knot theory. The purpose of this paper is to characterize the identities satisfied by...