scholarly journals Optimization of Parallel Particle-to-Grid Interpolation on Leading Multicore Platforms

2012 ◽  
Vol 23 (10) ◽  
pp. 1915-1922 ◽  
Author(s):  
Kamesh Madduri ◽  
Jimmy Su ◽  
Samuel Williams ◽  
Leonid Oliker ◽  
Ethier ◽  
...  
Keyword(s):  
Multicore Platforms ◽  
Grid Interpolation

scholarly journals On the uncertainty of height anomaly differences predicted by least-squares collocation

2020 ◽  
Vol 10 (1) ◽  
pp. 53-61
Author(s):  
E. Mysen
Keyword(s):  
Least Squares ◽  
Spatial Separation ◽  
Height Anomaly ◽  
Surface Model ◽  
Least Squares Collocation ◽  
Normal Heights ◽  
Gravimetric Quasigeoid ◽  
The Difference ◽  
Grid Interpolation ◽  
Gps Observations

AbstractA network of pointwise available height anomalies, derived from levelling and GPS observations, can be densified by adjusting a gravimetric quasigeoid using least-squares collocation. The resulting type of Corrector Surface Model (CSM) is applied by Norwegian surveyors to convert ellipsoidal heights to normal heights expressed in the official height system NN2000. In this work, the uncertainty related to the use of a CSM to predict differences in height anomaly was sought. As previously, the application of variograms to determine the local statistical properties of the adopted collocation model led to predictions that were consistent with their computed uncertainties. For the purpose of predicting height anomaly differences, the effect of collocation was seen to be moderate in general for the small spatial separations considered (< 10 km). However, the relative impact of collocation could be appreciable, and increasing with distance, near the network. At last, it was argued that conservative uncertainties of height anomaly differences may be obtained by rescaling output of a grid interpolation by \sqrt \Delta, where Δ is the spatial separation of the two locations for which the difference is sought.

Thread-based multi-engine model checking for multicore platforms

2013 ◽  
Vol 18 (3) ◽  
pp. 1-28
Author(s):  
Gianpiero Cabodi ◽  
Sergio Nocco ◽  
Stefano Quer
Keyword(s):  
Model Checking ◽  
Multicore Platforms ◽  
Engine Model
Sign in / Sign up

Export Citation Format

Share Document