Results 1 to 10 of about 1,687 (73)
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
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
, 2014 We show that the non-commutative geometric approach to the Riemann zeta function has an algebraic geometric incarnation: the "Arithmetic Site".
Connes, Alain, Consani, Caterina
core +3 more sources
Discussiones Mathematicae - General Algebra and Applications, 2018 In this paper, we introduce the notion of k-ideal, m−k ideal, prime ideal, maximal ideal, filter, irreducible ideal, strongly irreducible ideal in ordered Γ-semirings, study the properties of ideals in ordered Γ-semirings and the relations between them ...
Rao Marapureddy Murali Krishna
doaj +1 more source
The moduli space of matroids [PDF]
, 2018 In the first part of the paper, we clarify the connections between several algebraic objects appearing in matroid theory: both partial fields and hyperfields are fuzzy rings, fuzzy rings are tracts, and these relations are compatible with the respective ...
Baker, Matthew, Lorscheid, Oliver
core +2 more sources
Ordered Quasi(BI)-Γ-Ideals in Ordered Γ-Semirings
Journal of Mathematics, 2019 In this paper, we have defined ordered quasi-Γ-ideals and ordered bi-Γ-ideals in ordered Γ-semirings by defining the relation “≤” in ordered Γ semiring S as a≤b if a+x=b for any a,b,x∈S.
Ali N. A. Koam +2 more
doaj +1 more source
Stable states of perturbed Markov chains [PDF]
, 2016 Given an infinitesimal perturbation of a discrete-time finite Markov chain, we seek the states that are stable despite the perturbation, \textit{i.e.} the states whose weights in the stationary distributions can be bounded away from $0$ as the noise ...
Betz, Volker, Roux, Stephane Le
core +2 more sources
(f, g)-derivation of ordered Γ-semirings [PDF]
Mathematica Moravica, 2018 In this paper, we introduce the concept of (f, g)-derivation, which is a generalization of f- derivation and derivation of ordered Γ-semiring and study some properties of (f, g)-derivation of ordered Γ-semirings.
Krishna Rao Marapureddy Murali +3 more
doaj
Provenance Circuits for Trees and Treelike Instances (Extended Version) [PDF]
, 2015 Query evaluation in monadic second-order logic (MSO) is tractable on trees and treelike instances, even though it is hard for arbitrary instances. This tractability result has been extended to several tasks related to query evaluation, such as counting ...
B Kimelfeld +3 more
core +2 more sources
Tensor products and regularity properties of Cuntz semigroups
, 2014 The Cuntz semigroup of a C*-algebra is an important invariant in the structure and classification theory of C*-algebras. It captures more information than K-theory but is often more delicate to handle.
Antoine, Ramon +2 more
core +1 more source