Results 21 to 30 of about 3,009,670 (368)
The periplectic Brauer algebra [PDF]
, 2016 We study the periplectic Brauer algebra introduced by Moon in the study of invariant theory for periplectic Lie superalgebras. We determine when the algebra is quasi‐hereditary, when it admits a quasi‐hereditary 1‐cover and, for fields of characteristic ...
K. Coulembier
semanticscholar +1 more source
Completeness for the coalgebraic cover modality [PDF]
Logical Methods in Computer Science, 2012 We study the finitary version of the coalgebraic logic introduced by L. Moss. The syntax of this logic, which is introduced uniformly with respect to a coalgebraic type functor, required to preserve weak pullbacks, extends that of classical propositional
Clemens Kupke +2 more
doaj +1 more source
A Blended Learning Approach for an Introductory Computer Science Course
Education Sciences, 2021 In this paper, we present our experience with redesigning an introductory computer science course for (electrical) engineers with blended learning concepts.
Anna Förster +9 more
doaj +1 more source
Digital Image Watermarking using Singular Value Decomposition [PDF]
Al-Rafidain Journal of Computer Sciences and Mathematics, 2010 This paper presents a digital image watermarking that applied theory of linear algebra called “Singular Value Decomposition (SVD)” to digital image watermarking .SVD watermarking scheme, which successfully embeds watermarks into images imperceptible ...
Sura Sheriff
doaj +1 more source
Annales de Didactique et de Sciences Cognitives, 2016 This first article of a series of two presents on teaching elementary algebra different standpoints, not always easy to reconcile with each other; a second article will cover activities to promote the learning of algebra.
Raymond Duval, François Pluvinage
doaj +1 more source
Exel's crossed product for non-unital C*-algebras [PDF]
, 2009 We consider a family of dynamical systems (A,alpha,L) in which alpha is an endomorphism of a C*-algebra A and L is a transfer operator for \alpha. We extend Exel's construction of a crossed product to cover non-unital algebras A, and show that the C ...
Adji +12 more
core +3 more sources
Carrollian and celestial spaces at infinity
Journal of High Energy Physics, 2022 We show that the geometry of the asymptotic infinities of Minkowski spacetime (in d + 1 dimensions) is captured by homogeneous spaces of the Poincaré group: the blow-ups of spatial (Spi) and timelike (Ti) infinities in the sense of Ashtekar-Hansen and a ...
José Figueroa-O’Farrill +3 more
doaj +1 more source
Covering Algebras I. Extended Affine Lie Algebras
Journal of Algebra, 2002 Covering Algebras of extended affine Lie algebras(EALA's) relative to finite order automorphisms are studied. Conditions are given for when the resulting algebra is again an EALA. This paper deals with affinizations of EALA's relative to finite order automorphisms and these algebras are generalizations of the affine Kac-Moody Lie algebras.
Allison, Bruce +2 more
openaire +2 more sources
LAND COVER CHANGE DETECTION BASED ON GENETICALLY FEATURE AELECTION AND IMAGE ALGEBRA USING HYPERION HYPERSPECTRAL IMAGERY [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2015 The Earth has always been under the influence of population growth and human activities. This process causes the changes in land use. Thus, for optimal management of the use of resources, it is necessary to be aware of these changes.
S. T. Seydi, M. Hasanlou
doaj +1 more source
A Survey of Satisfiability Modulo Theory [PDF]
, 2016 Satisfiability modulo theory (SMT) consists in testing the satisfiability of first-order formulas over linear integer or real arithmetic, or other theories.
A Albarghouthi +37 more
core +2 more sources