Results 21 to 30 of about 213,067 (334)
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
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
The Continuum Between Temperament and Mental Illness as Dynamical Phases and Transitions
Frontiers in Psychiatry, 2021 The full range of biopsychosocial complexity is mind-boggling, spanning a vast range of spatiotemporal scales with complicated vertical, horizontal, and diagonal feedback interactions between contributing systems.
William Sulis
doaj +1 more source
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 +1 more source
Spatial-temporal evolution of landscape degradation on the Guamá River Basin, Brazil
Revista Brasileira de Ciências Ambientais, 2021 The goal of this study was to determine the anthropization evolution of the Guamá river basin in the years 2000, 2008 and 2018 by means of the Anthropic Transformation Index.
Tatiane Camila Martins Silva +2 more
doaj +1 more source
Multicriteria analysis for sources of renewable energy using data from remote sensing [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2015 Renewable energy sources are major components of the strategy to reduce harmful emissions and to replace depleting fossil energy resources. Data from remote sensing can provide information for multicriteria analysis for sources of renewable energy ...
L. Matejicek
doaj +1 more source
International Journal of Applied Mathematics and Computer Science, 2021 The paper proposes an algorithm for safeness verification of a Petri net-based specification of the control part of cyber-physical systems. The method involves a linear algebra technique and is based on the computation of the state machine cover of a ...
Wojnakowski Marcin +3 more
doaj +1 more source
Remote Sensing, 2023 This paper presents a multi-temporal comparison of high-resolution 3D digital models from two urban areas susceptible to landslides in three time periods. The study areas belong to the São Paulo landslide risk mapping database and are named “CEU Paz” (CP)
Amanda Mendes de Sousa +3 more
doaj +1 more source
Covering Numbers for Simple Algebraic Groups
Vietnam Journal of Mathematics, 2023 AbstractLet G be a simple algebraic group over an algebraically closed field, and let C be a noncentral conjugacy class of G. The covering number cn(G,C) is defined to be the minimal k such that G = Ck, where Ck = {c1c2⋯ck : ci ∈ C}. We prove that $cn(G,C) \le c \frac {\dim G}{\dim C}$ c n (
Liebeck, M, Simion, I
openaire +3 more sources