Results 21 to 30 of about 2,942,043 (344)
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
Galois coverings of selfinjective algebras by repetitive algebras [PDF]
Transactions of the American Mathematical Society, 1999 Let \(A\) be a basic and connected selfinjective Artin algebra. Then the right and the left socles of \(A\) coincide and are denoted by \(\text{soc }A\). Two selfinjective algebras \(A\) and \(A'\) are called socle-equivalent if the quotient algebras \(A/\text{soc} A\) and \(A'/\text{soc} A'\) are isomorphic.
Andrzej Skowroński, Kunio Yamagata
openaire +2 more sources
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
Lie algebras and coverings [PDF]
Commentarii Mathematici Helvetici, 1994 Let \(\Lambda\) be an associative unitary finite-dimensional \(\mathbb{C}\)-algebra which is representation finite. This means that the number of isomorphism classes of indecomposable finite-dimensional \(\Lambda\)-left modules is finite. Let us fix a set \(\mathcal F\) of representatives for these isomorphism classes. We showed [\textit{C. Riedtmann},
openaire +2 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 +1 more source
MONITORING OF AEROTECHNOGENIC IMPACT OF SYKTYVKAR TIMBER INDUSTRY COMPLEX
Известия Томского политехнического университета: Инжиниринг георесурсов, 2021 The relevance of the research is caused by the need to assess the level of impact of a large pulp and paper enterprise located north of the Ezhvinsky district of Syktyvkar on the basis of ecochemical analysis of winter precipitation (snow), to show the ...
Maria I. Vasilevich +5 more
doaj +1 more source
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
Koszulness, Krull Dimension and Other Properties of Graph-Related Algebras [PDF]
, 2010 The algebra of basic covers of a graph G, denoted by \A(G), was introduced by Juergen Herzog as a suitable quotient of the vertex cover algebra. In this paper we show that if the graph is bipartite then \A(G) is a homogeneous algebra with straightening ...
Constantinescu, Alexandru +1 more
core +2 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