Results 1 to 10 of about 3,009,670 (368)
On Max-Plus Algebra and Its Application on Image Steganography
The Scientific World Journal, 2018 We propose a new steganography method to hide an image into another image using matrix multiplication operations on max-plus algebra. This is especially interesting because the matrix used in encoding or information disguises generally has an inverse ...
Kiswara Agung Santoso +2 more
doaj +2 more sources
Probabilistic Thread Algebra [PDF]
Scientific Annals of Computer Science, 2015 We add probabilistic features to basic thread algebra and its extensions with thread-service interaction and strategic interleaving. Here, threads represent the behaviours produced by instruction sequences under execution and services represent the ...
J.A. Bergstra, C.A. Middelburg
doaj +6 more sources
LAND COVER CHANGES DETECTION IN POLARIMETRIC SAR DATA USING ALGEBRA, SIMILARITY AND DISTANCE BASED METHODS [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2017 Monitoring and surveillance changes around the world need powerful methods, so detection, visualization, and assessment of significant changes are essential for planning and management.
A. Najafi, M. Hasanlou, V. Akbari
doaj +2 more sources
The Center Of A Generalized Effect Algebra
Demonstratio Mathematica, 2014 In this article, we study the center of a generalized effect algebra (GEA), relate it to the exocenter, and in case the GEA is centrally orthocomplete (a COGEA), relate it to the exocentral cover system. Our main results are that the center of a COGEA is
Foulis D. J., Pulmannová S.
doaj +2 more sources
The universal cover of an algebra without double bypass [PDF]
, 2006 Let A be a basic finite dimensional and connected algebra over an algebraically closed field k with zero characteristic. If the ordinary quiver of A has no double bypasses, we show that A admits a Galois covering which satisfies a universal property with
Adams +21 more
core +4 more sources
Quotients of the Highwater algebra and its cover [PDF]
Journal of Algebra, 2022 Clara Franchi +2 more
openalex +3 more sources
Very Well-Covered Graphs via the Rees Algebra [PDF]
Mediterranean Journal of Mathematics, 2023 A very well-covered graph is a well-covered graph without isolated vertices such that the size of its minimal vertex covers is half of the number of vertices.
M. Crupi, A. Ficarra
semanticscholar +1 more source
Asymptotic invariants of ideals with Noetherian symbolic Rees algebra and applications to cover ideals [PDF]
, 2019 Benjamin Drabkin, Lorenzo Guerrieri
openalex +3 more sources
Reticulation of Quasi-commutative Algebras [PDF]
Journal of Mahani Mathematical Research, 2023 The commutator theory, developed by Fresee and McKenzie in the framework of a congruence-modular variety $\mathcal{V}$, allows us to define the prime congruences of any algebra $A\in \mathcal{V}$ and the prime spectrum $Spec(A)$ of $A$.
G. Georgescu
doaj +1 more source
ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics [PDF]
arXiv.org, 2023 We introduce ProofNet, a benchmark for autoformalization and formal proving of undergraduate-level mathematics. The ProofNet benchmarks consists of 371 examples, each consisting of a formal theorem statement in Lean 3, a natural language theorem ...
Zhangir Azerbayev +5 more
semanticscholar +1 more source