Results 11 to 20 of about 5,484 (263)
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
Covering and gluing of algebras and differential algebras [PDF]
Journal of Geometry and Physics, 2000 Extending work of Budzynski and Kondracki, we investigate coverings and gluings of algebras and differential algebras. We describe in detail the gluing of two quantum discs along their classical subspace, giving a C*-algebra isomorphic to a certain Podles sphere, as well as the gluing of U_{\sqrt{q}}(sl_2)-covariant differential calculi on the discs.
Calow, Dirk, Matthes, Rainer
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
Homogeneous orthocomplete effect algebras are covered by MV-algebras [PDF]
Fuzzy Sets and Systems, 2013 The aim of our paper is twofold. First, we thoroughly study the set of meager elements Mea(E) and the set of hypermeager elements HMea(E) in the setting of homogeneous effect algebras E. Second, we study the property (W+) and the maximality property introduced by Tkadlec as common generalizations of orthocomplete and lattice effect algebras.
Josef Niederle, Jan Paseka
openaire +2 more sources
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
𝐶*-algebras associated with branched coverings [PDF]
Proceedings of the American Mathematical Society, 2000 In this note we analyze the C ∗
Deaconu, Valentin, Muhly, Paul S.
openaire +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
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
Covering Morphisms in Categories of Relational Algebras [PDF]
Applied Categorical Structures, 2013 Professor George Janelidze posed the problem whether the study of classical topological coverings via categorical Galois Theory could be extended to the setting of relational algebras (see, e.g., [\textit{G. Dzhanelidze}, J. Algebra 132, No. 2, 270--286 (1990; Zbl 0702.18006)].
Maria Manuel Clementino +2 more
openaire +3 more sources