Results 1 to 10 of about 95,959 (316)
LANDSLIDE DETECTION IN CENTRAL AMERICA USING THE DIFFERENTIAL BARE SOIL INDEX [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2021 The increasing availability of EO data from the Copernicus program through its Sentinel satellites of the medium spatial and spectral resolution has generated new applications for risk management and disaster management.
A. Ariza +3 more
doaj +1 more source
Evolution of GIS-based rural electrification planning models and an application of OnSSET in Nigeria
Renewable and Sustainable Energy Transition, 2022 This study carries out an in-dept overview of GIS-based rural electrification planning models with a trace to their historical evolutions. The study focuses on web-based and desktop-based models that have been developed and used extensively in rural ...
Salisu Isihak +2 more
doaj +1 more source
Reasoning with Spider Diagrams [PDF]
, 1999 Spider diagrams combine and extend Venn diagrams and Euler circles to express constraints on sets and their relationships with other sets. These diagrams can usefully be used in conjunction with object-oriented modelling notations such as the Unified ...
Howse, John +7 more
core +1 more source
On the Completeness of Spider Diagrams Augmented with Constants [PDF]
, 2013 Diagrammatic reasoning can be described formally by a number of diagrammatic logics; spider diagrams are one of these, and are used for expressing logical statements about set membership and containment. Here, existing work on spider diagrams is extended
Howse, John +9 more
core +1 more source
The expressiveness of spider diagrams augmented with constants [PDF]
, 2009 Spider diagrams are a visual language for expressing logical statements or constraints. Several sound and complete spider diagram systems have been developed and it has been shown that they are equivalent in expressive power to monadic first order logic ...
Howse, John +3 more
core +1 more source
Spider Diagrams: A Diagrammatic Reasoning System [PDF]
, 2001 Spider diagrams combine and extend Venn diagrams and Euler circles to express constraints on sets and their relationships with other sets. These diagrams can be used in conjunction with object-oriented modelling notations such as the Unified Modeling ...
Howse, John +7 more
core +1 more source
Fragments of Spider Diagrams of Order and their Relative Expressiveness [PDF]
, 2010 Investigating the expressiveness of a diagrammatic logic provides insight into how its syntactic elements interact at the semantic level. Moreover, it allows for comparisons with other notations. Various expressiveness results for diagrammatic logics are
Simon Thompson +7 more
core +1 more source
On the expressiveness of spider diagrams and commutative star-free regular languages [PDF]
, 2013 Spider diagrams provide a visual logic to express relations between sets and their elements, extending the expressiveness of Venn diagrams. Sound and complete inference systems for spider diagrams have been developed and it is known that they are ...
Taylor, John +3 more
core +1 more source
A normal form for spider diagrams of order [PDF]
, 2014 We develop a reasoning system for an Euler diagram based visual logic, called spider diagrams of order. We de- fine a normal form for spider diagrams of order and provide an algorithm, based on the reasoning system, for producing diagrams in our normal ...
Simon Thompson +7 more
core +1 more source
The SPIDER CMB Polarimeter [PDF]
, 2012 SPIDER is a balloon-borne millimeter-wave telescope designed to study the polarization of the Cosmic Microwave Background (CMB). SPIDER will map 10% of the full sky with degree-scale beams to search for the distinctive inflationary gravitational wave ...
Trangsrud, Amy Ruth
core +1 more source