52 research outputs found
Recommended from our members
Containment and equivalence of weighted automata: Probabilistic and max-plus cases
This paper surveys some results regarding decision problems for probabilistic and max-plus automata, such as containment and equivalence. Probabilistic and max-plus automata are part of the general family of weighted automata, whose semantics are maps from words to real values. Given two weighted automata, the equivalence problem asks whether their semantics are the same, and the containment problem whether one is point-wise smaller than the other one. These problems have been studied intensively and this paper will review some techniques used to show (un)decidability and state a list of open questions that still remain
Completeness and Incompleteness of Synchronous Kleene Algebra
Synchronous Kleene algebra (SKA), an extension of Kleene algebra (KA), was
proposed by Prisacariu as a tool for reasoning about programs that may execute
synchronously, i.e., in lock-step. We provide a countermodel witnessing that
the axioms of SKA are incomplete w.r.t. its language semantics, by exploiting a
lack of interaction between the synchronous product operator and the Kleene
star. We then propose an alternative set of axioms for SKA, based on Salomaa's
axiomatisation of regular languages, and show that these provide a sound and
complete characterisation w.r.t. the original language semantics.Comment: Accepted at MPC 201
Combinatorial Hopf algebras and Towers of Algebras
Bergeron and Li have introduced a set of axioms which guarantee that the
Grothendieck groups of a tower of algebras can be
endowed with the structure of graded dual Hopf algebras. Hivert and Nzeutzhap,
and independently Lam and Shimozono constructed dual graded graphs from
primitive elements in Hopf algebras. In this paper we apply the composition of
these constructions to towers of algebras. We show that if a tower
gives rise to graded dual Hopf algebras then we must
have where .Comment: 7 page
Contribution of southern Brazil to the climate and biodiversity conservation agenda
We highlight the importance of the South Brazilian grasslands and the Araucaria Forest formations located in the Pampa and Atlantic Forest Biomes and their associated coastal and estuarine environments for the conservation of biodiversity, carbon storage and maintenance of significant ecosystem services. We reinforce the need to strengthen research institutions on the environment and the broad participation of different segments of society in the southern region of Brazil to change the course of environmental policies, highlighting the potential of the states of Rio Grande do Sul, Santa Catarina and Paraná on national and international agendas on biodiversity and climate
The [Het-s] Prion, an Amyloid Fold as a Cell Death Activation Trigger
International audienc
The Equational Theory of Fixed Points with Applications to Generalized Language Theory
We review the rudiments of the equational logic of (least) fixed points and provide some of its applications for axiomatization problems with respect to regular languages, tree languages, and synchronization trees
Untyping Typed Algebras and Colouring Cyclic Linear Logic
We prove "untyping" theorems: in some typed theories (semirings, Kleene
algebras, residuated lattices, involutive residuated lattices), typed equations
can be derived from the underlying untyped equations. As a consequence, the
corresponding untyped decision procedures can be extended for free to the typed
settings. Some of these theorems are obtained via a detour through fragments of
cyclic linear logic, and give rise to a substantial optimisation of standard
proof search algorithms.Comment: 21
- …