Results 31 to 40 of about 8,458 (195)
Lobachevskii Journal of Mathematics, 2022 A semiring is said to be centrally essential if for every non-zero element $x$, there exist two non-zero central elements $y, z$ with $xy = z$. We give some examples of non-commutative centrally essential semirings and describe some properties of additively cancellative centrally essential semirings.
Lyubimtsev, O. V., Tuganbaev, A. A.
openaire +3 more sources
Weighted Pushdown Systems with Indexed Weight Domains [PDF]
, 2016 The reachability analysis of weighted pushdown systems is a very powerful technique in verification and analysis of recursive programs. Each transition rule of a weighted pushdown system is associated with an element of a bounded semiring representing ...
Minamide, Yasuhiko
core +1 more source
Bi-Interior Ideals of Γ-Semirings
Discussiones Mathematicae - General Algebra and Applications, 2018 In this paper, as a further generalization of ideals, we introduce the notion of bi-interior ideal as a generalization of quasi ideal, bi-ideal and interior ideal of Γ-semiring and study the properties of bi-interior ideals of Γ-semiring.
Rao Marapureddy Murali Krishna +1 more
doaj +1 more source
Towards a generalisation of formal concept analysis for data mining purposes [PDF]
, 2006 In this paper we justify the need for a generalisation of Formal Concept Analysis for the purpose of data mining and begin the synthesis of such theory.
A. Burusco +8 more
core +3 more sources
PAWS: A Tool for the Analysis of Weighted Systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 PAWS is a tool to analyse the behaviour of weighted automata and conditional transition systems. At its core PAWS is based on a generic implementation of algorithms for checking language equivalence in weighted automata and bisimulation in conditional ...
Barbara König +2 more
doaj +1 more source
Discussiones Mathematicae - General Algebra and Applications, 2002 Let \((S,+)\) be a semigroup and \(p>0\) an integer. If for any \(x\in S\) there exists some \(y\in S\) such that \(x+py+x=y\) and \(py+x+py=x\) then \((S,+)\) is called a \(p\)-semigroup. Near at hand examples are idempotent semigroups and groups which satisfy \(x+x=0\) for all \(x\in S\). A semiring \((S,+,\cdot)\) is called a \(p\)-semiring if \((S,+
Budimirovic, Branka +2 more
openaire +2 more sources
The asymptotic spectrum of LOCC transformations [PDF]
, 2018 We study exact, non-deterministic conversion of multipartite pure quantum states into one-another via local operations and classical communication (LOCC) and asymptotic entanglement transformation under such channels.
Jensen, Asger Kjærulff, Vrana, Péter
core +2 more sources
Fuzzy soft k−ideals over semiring and fuzzy soft semiring homomorphism [PDF]
Journal of Hyperstructures, 2015 In this paper, we introduce the notion of fuzzy soft semirings, fuzzy soft ideals, fuzzy soft k− ideals , k−fuzzy soft ideals over semirings and fuzzy soft semiring homomorphism. We study some of their algebraical properties and properties of homomorphic
Marapureddy Murali Krishna Rao +1 more
doaj +1 more source
Positivstellensätze for semirings
Mathematische Annalen, 2023 AbstractIn this paper we develop a number of results and notions concerning Positivstellensätze for semirings (preprimes) of commutative unital real algebras. First we reduce the Archimedean Positivstellensatz for semirings to the corresponding result for quadratic modules.
Schmüdgen, Konrad, Schötz, Matthias
openaire +2 more sources
New Representations of Matroids and Generalizations [PDF]
, 2011 We extend the notion of matroid representations by matrices over fields and consider new representations of matroids by matrices over finite semirings, more precisely over the boolean and the superboolean semirings.
Izhakian, Zur, Rhodes, John
core +3 more sources