Concept
Free monoid
Publications associées (8)
A Formal Model of Extended Tonal Harmony
Martin Alois Rohrmeier, Fabian Claude Moss
Extended tonality is a central system that characterizes the music from the 19th up to the 21st century, including styles like popular music, film music or Jazz. Developing from classical major-minor tonality, the harmonic language of extended tonality for ...
2021The algebra of Boolean matrices, correspondence functors, and simplicity
We determine the dimension of every simple module for the algebra of the monoid of all relations on a finite set (i.e. Boolean matrices). This is in fact the same question as the determination of the dimension of every evaluation of a simple correspondence ...
2020Laser-assisted morphing of complex three dimensional objects
Morphing commonly refers to the smooth transition from a specific shape into another one, in which the initial and final shapes can be significantly different. In this study, we show that the concept of morphing applied to laser micro-manufacturing offers ...
Spie-Int Soc Optical Engineering2016The algebra of essential relations on a finite set
Let X be a finite set and let k be a commutative ring. We consider the k-algebra of the monoid of all relations on X, modulo the ideal generated by the relations factorizing through a set of cardinality strictly smaller than Card(X), called inessential rel ...
Walter de Gruyter2016Computing in social networks
Rachid Guerraoui, Anne-Marie Kermarrec, Kévin Clément Huguenin, Andrei Giurgiu
This paper defines the problem of Scalable Secure computing in a Social network: we call it the S-3 problem. In short, nodes, directly reflecting on associated users, need to compute a symmetric function f : V-n -> U of their inputs in a set of constant si ...
Elsevier2014Deciding Conditional Termination
We address the problem of conditional termination, which is that of defining the set of initial configurations from which a given program always terminates. First we define the dual set, of initial configurations from which a non-terminating execution exis ...
Tech Univ Braunschweig2014Homogeneous number of free generators
We address two questions of Simon Thomas. First, we show that for any n >= 3 one can find a four-generated free subgroup of SLn (Z) which is profinitely dense. More generally, we show that an arithmetic group Gamma that admits the congruence subgroup prope ...
Walter De Gruyter Gmbh2014Order-adjoint monads and injective objects
Given a monad T on Set whose functor factors through the category of ordered sets with left adjoint maps, the category of Kleisli monoids is defined as the category of monoids in the hom-sets of the Kleisli category of T. The Eilenberg-Moore category of T ...
Elsevier2010