Results 1 to 10 of about 213,067 (334)
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
Special triple covers of algebraic surfaces
Documenta Mathematica, 2022 We study special triple covers f:T\to S of algebraic surfaces, where the Tschirnhausen bundle \mathcal{E}=\left(f_*\mathcal{O}_T/\mathcal{O}_S\right)^\vee is a ...
Nicolina Istrati +2 more
openalex +4 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
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
Covering algebras II: Isomorphism of loop algebras [PDF]
Journal für die reine und angewandte Mathematik (Crelles Journal), 2004 This paper studies the loop algebras that arise from pairs consisting of a symmetrizable Kac-Moody Lie algebra $\g$ and a finite order automorphism $ $ of $\g$. We obtain necessary and sufficient conditions for two such loop algebras to be isomorphic.
Allison, Bruce +2 more
openaire +2 more sources
Squarefree Vertex Cover Algebras [PDF]
Communications in Algebra, 2013 In this paper we introduce squarefree vertex cover algebras. We study the question when these algebras coincide with the ordinary vertex cover algebras and when these algebras are standard graded. In this context we exhibit a duality theorem for squarefree vertex cover algebras.
Bayati, Shamila, Rahmati, Farhad
openaire +2 more sources
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
مجلة اداب ذي قار, 2022 In this research, there is an approach to estimating the quality of soils in an arid environment, as it has an arid and semi-arid climate in southern Iraq, which is Al-Suwayr district of Al-Muthanna Governorate.
م.د قدس اسامة قوام الكليدار الكليدار
doaj +1 more source
Digital Circuit Design Utilizing Equation Solving over ‘Big’ Boolean Algebras [PDF]
International Journal of Mathematical, Engineering and Management Sciences, 2018 A task frequently encountered in digital circuit design is the solution of a two-valued Boolean equation of the form h(X,Y,Z)=1, where h: B_2^(k+m+n)→ B_2 and X,Y, and Z are binary vectors of lengths k, m, and n, representing inputs, intermediary values,
Ali Muhammad Ali Rushdi, Waleed Ahmad
doaj +1 more source