Results 11 to 20 of about 1,209 (211)
VALIDATING THE EUROPEAN GROUND MOTION SERVICE: AN ASSESSMENT OF MEASUREMENT POINT DENSITY [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2023 The European Ground Motion Service (EGMS) is an operational data service that uses interferometric analysis of Sentinel-1 radar images to provide high-resolution monitoring of ground deformation.
A. Vradi +3 more
doaj +1 more source
Rigidity of Complete Gradient Shrinkers with Pointwise Pinching Riemannian Curvature [PDF]
Advances in Mathematical Physics, 2021 Let M n
Yawei Chu, Dehe Li, Jundong Zhou
openaire +3 more sources
ISPRS Open Journal of Photogrammetry and Remote Sensing, 2022 In this paper, we compared five crack detection algorithms using terrestrial laser scanner (TLS) point clouds. The methods are developed based on common point cloud processing knowledge in along- and across-track profiles, surface fitting or local ...
Ziyi Feng +8 more
doaj +1 more source
IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing, 2021 Nowadays, laser scanning technology has provided an effective andnondestructive approach to reveal the forest's developmental process and physiological properties.
Sheng Xu, Kai Zhou, Yuan Sun, Ting Yun
doaj +1 more source
Weak Completeness of Coalgebraic Dynamic Logics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 We present a coalgebraic generalisation of Fischer and Ladner's Propositional Dynamic Logic (PDL) and Parikh's Game Logic (GL). In earlier work, we proved a generic strong completeness result for coalgebraic dynamic logics without iteration.
Helle Hvid Hansen, Clemens Kupke
doaj +1 more source
Pointwise Bounds for Joint Eigenfunctions of Quantum Completely Integrable Systems [PDF]
Communications in Mathematical Physics, 2020 AbstractLet (M, g) be a compact Riemannian manifold of dimensionnand$$P_1:=-h^2\Delta _g+V(x)-E_1$$P1:=-h2Δg+V(x)-E1so that$$dp_1\ne 0$$dp1≠0on$$p_1=0$$p1=0. We assume that$$P_1$$P1is quantum completely integrable (ACI) in the sense that there exist functionally independent pseuodifferential operators$$P_2,\dots P_n$$P2,⋯Pnwith$$[P_i,P_j]=0$$[Pi,Pj]=0,$
Galkowski, J, Toth, JA
openaire +4 more sources
Inductive Definition and Domain Theoretic Properties of Fully Abstract [PDF]
Logical Methods in Computer Science, 2007 A construction of fully abstract typed models for PCF and PCF^+ (i.e., PCF + "parallel conditional function"), respectively, is presented. It is based on general notions of sequential computational strategies and wittingly consistent non-deterministic ...
Vladimir Sazonov
doaj +1 more source
Pointwise approximation by elementary complete contractions [PDF]
Proceedings of the American Mathematical Society, 2009 A complete contraction on a C*-algebra A, which preserves all closed two sided ideals J, can be approximated pointwise by elementary complete contractions if and only if the induced map on the tensor product of B with A/J is contractive for every C*-algebra B, ideal J in A and C*-tensor norm on the tensor product.
openaire +3 more sources
When is an ultracomplete space almost locally compact?
Applied General Topology, 2006 We study spaces X which have a countable outer base in βX; they are called ultracomplete in the most recent terminology. Ultracompleteness implies Cech-completeness and is implied by almost local compactness (≡having all points of non-local compactness ...
Daniel Jardón Arcos +1 more
doaj +1 more source