Results 11 to 20 of about 2,732,155 (328)
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
Types in reductive p-adic groups: The Hecke algebra of a cover
, 2000 In this paper, F is a non-Archimedean local field and G is the group of F -points of a connected reductive algebraic group defined over F . Also, τ is an irreducible representation of a compact open subgroup J of G, the pair (J, τ) being a type in G. The
C. Bushnell, P. Kutzko
semanticscholar +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
Quotients of the Highwater algebra and its cover [PDF]
Journal of Algebra, 2022 46 ...
C. Franchi, J. McInroy, M. Mainardis
openaire +4 more sources
Multipliers and covers of perfect diassociative algebras [PDF]
Journal of Algebra and Its Applications, 2023 The paper concerns perfect diassociative algebras and their implications to the theory of central extensions. It is first established that perfect diassociative algebras have strong ties with universal central extensions. Then, using a known characterization of the multiplier in terms of a free presentation, we obtain a special cover for perfect ...
Erik Mainellis
openaire +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
Spectral resolutions in effect algebras [PDF]
Quantum, 2022 Effect algebras were introduced as an abstract algebraic model for Hilbert space effects representing quantum mechanical measurements. We study additional structures on an effect algebra $E$ that enable us to define spectrality and spectral resolutions ...
Anna Jenčová, Sylvia Pulmannová
doaj +1 more source
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 +1 more source
Mathematics, 2023 In this paper, a novel hyper-rectangle cover theory is developed. Two important concepts, the cover order and the cover length, are introduced. We construct a specific échelon form of the matrix in the same manner as that employed to determine the rank ...
Xiaoxuan Chu +3 more
doaj +1 more source