AUSGeoid09 is the new Australia-wide gravimetric quasigeoid model that has been a posteriori fitted to the Australian Height Datum (AHD) so as to provide a product that is practically useful for the more direct determination of AHD heights from Global Navigation Satellite Systems (GNSS). This approach is necessary because the AHD is predominantly a third-order vertical datum that contains a ~1 ...

The Iwasawa decomposition of a connected semisimple complex Lie group or a connected semisimple split real Lie group is one of the most fundamental observations of classical Lie theory. It implies that the geometry of a connected semisimple complex resp. split real Lie group G is controlled by any maximal compact subgroup K. Examples are Weyl’s unitarian trick in the representation theory of Li...

A modified mountain clustering algorithm based on the hill valley function is proposed. Firstly, the mountain function is constructed on the data space, with estimating the parameter by a correlation self-comparison method, and database’s mountain function values are computed. Secondly, the hill valley function is introduced to partition the data distributed on each peak. If the hill valley fun...

The problem of clustering a real s-dimensional data set X={x(1 ),,,,,x(n)} subset R(s) is considered. Usually, each observation (or datum) consists of numerical values for all s features (such as height, length, etc.), but sometimes data sets can contain vectors that are missing one or more of the feature values. For example, a particular datum x(k) might be incomplete, having the form x(k)=(25...

The two-dimensional (2D) quasi-geostrophic (QG) equation is a 2D model of the 3D incompressible Euler equations, and its dissipative version includes an extra term bearing the operator (−∆)α with α ∈ [0, 1]. Existing research appears to indicate the criticality of α = 1 2 in the sense that the issue of global existence for the 2D dissipative QG equation becomes extremely difficult when α ≤ 1 2 ...

Functional data analysis and artificial neural networks are the building blocks of the proposed methodology that distinguishes the movement patterns among c's patients on different stages of the disease and classifies new patients to their appropriate stage of the disease. The movement patterns are obtained by the accelerometer device of android smartphones that the patients carry while moving ...

We consider two discrete models for the Euler equation describing incompressible fluid dynamics. These models are infinite coupled systems of ODEs for the functions uj which can be thought of as wavelet coefficients of the fluid velocity. The first model has been proposed and studied by Katz and Pavlović. The second has been recently discussed by Waleffe and goes back to Obukhov studies of the ...

This paper presents a type-inference system for Scheme that is designed to be used by students in an introductory programming course. The major goal of the work is to present a simple type inference system that can be used by beginning students, yet is powerful enough to express the ideas of types, polymorphism, abstract data types (ADTs), and higher-order procedures. The system also performs s...

A Bayesian treatment of latent directed graph structure for non-iid data is provided where each child datum is sampled with a directed conditional dependence on a single unknown parent datum. The latent graph structure is assumed to lie in the family of directed out-tree graphs which leads to efficient Bayesian inference. The latent likelihood of the data and its gradients are computable in clo...

With the implementation of India’s new map policy user community is looking towards a transformation in the spatial database (from Everest 1830 ellipsoid, Polyconic projection system to WGS 84 ellipsoid, UTM projection system). To bring them on same platform, problem of existence of different transformation parameters has to be dealt with, since due to unavailability of such data from Survey of...