Results 81 to 90 of about 3,252 (226)
Journal of Algebra and Its Applications, 2018 The main scope of this paper is to introduce the valuation semirings in general and discrete valuation semirings in particular. In order to do that, first, we define valuation maps and investigate them. Then we define valuation semirings with the help of valuation maps and prove that a multiplicatively cancellative semiring is a valuation semiring if ...
openaire +2 more sources
Synchronizing weighted automata [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We introduce two generalizations of synchronizability to automata with transitions weighted in an arbitrary semiring K=(K,+,*,0,1). (or equivalently, to finite sets of matrices in K^nxn.) Let us call a matrix A location-synchronizing if there exists a ...
Szabolcs Iván
doaj +1 more source
Moments, sums of squares, and tropicalization
Journal of the London Mathematical Society, Volume 112, Issue 4, October 2025.Abstract We use tropicalization to study the duals to cones of nonnegative polynomials and sums of squares on a semialgebraic set S$S$. The truncated cones of moments of measures supported on the set S$S$ are dual to nonnegative polynomials on S$S$, while “pseudomoments” are dual to sums of squares approximations to nonnegative polynomials.
Grigoriy Blekherman +4 more
wiley +1 more source
Semiring Provenance for B\"uchi Games: Strategy Analysis with Absorptive Polynomials [PDF]
Logical Methods in Computer ScienceThis paper presents a case study for the application of semiring semantics for fixed-point formulae to the analysis of strategies in B\"uchi games. Semiring semantics generalizes the classical Boolean semantics by permitting multiple truth values from ...
Erich Grädel +2 more
doaj +1 more source
Weighted omega-Restricted One Counter Automata [PDF]
Logical Methods in Computer Science, 2018 Let $S$ be a complete star-omega semiring and $\Sigma$ be an alphabet. For a weighted $\omega$-restricted one-counter automaton $\mathcal{C}$ with set of states $\{1, \dots, n\}$, $n \geq 1$, we show that there exists a mixed algebraic system over a ...
Manfred Droste, Werner Kuich
doaj +1 more source
Geometric realizations of the s‐weak order and its lattice quotients
Journal of the London Mathematical Society, Volume 112, Issue 3, September 2025.Abstract For an n$n$‐tuple s${\bm{s}}$ of nonnegative integers, the s${\bm{s}}$‐weak order is a lattice structure on s${\bm{s}}$‐trees, generalizing the weak order on permutations. We first describe the join irreducible elements, the canonical join representations, and the forcing order of the s${\bm{s}}$‐weak order in terms of combinatorial objects ...
Eva Philippe, Vincent Pilaud
wiley +1 more source
Ideal Prima dan Ideal Semiprima dari T-Semiring [PDF]
, 2010 Konsep -semiring telah diperkenalkan oleh Rao (1995). Skripsi ini memperkenalkan konsep ideal prima dan ideal semiprima dari -semiring yang dipelajari melalui semiring operator kiri dari semiring.
SyaifulAmin
core
Semiring Reguler dan Sifat-Sifatnya [PDF]
, 2021 Skripsi ini membahas contoh semiring reguler dan sifat-sifatnya. Salah satu contoh semiring reguler adalah himpunan yang beranggotakan 0, 1, dan 2 serta dilengkapi dengan operasi penjumlahan dan perkalian yang didefinisikan sebagai berikut.
Ramadhani, Affan
core
Derivation dα,β of ordered G-semirings [PDF]
Mathematica Moravica, 2018 In this paper, we introduce the concept of derivation dα,β of ordered G-semiring. We study some of the properties of derivation dα,β of ordered G-semirings.
Murali Krishna Rao Marapureddy +3 more
doaj
Left Zeroid and Right Zeroid Elements of Γ-Semirings
Discussiones Mathematicae - General Algebra and Applications, 2017 In this paper we introduce the notion of a left zeroid and a right zeroid of Γ -semirings. We prove that, a left zeroid of a simple Γ-semiring M is regular if and only if M is a regular Γ -semiring.
Rao M. Murali Krishna, Kumar K.R.
doaj +1 more source