generally, gravity anomaly is the difference between the observed acceleration of earth's gravity and a normal value. topography (all masses above geoid) plays a main role in definition of the gravity anomaly. based on modeling of the effect of topography, there are different models of gravity anomaly such as free-air and bouguer anomaly. the main goal of the bouguer anomaly is removing of...

Thepresentpaper reviews thecontemporary stateofdefinitionand theoryof thegeoid. Key features are: quasigeoid, externalgravitational field from satellites and its analytical downward continuation to the Earth's interior, data combination by least-squares collocation, and a new view of gravity reduction. This is done under the modern systematic perspective provided by the possibility of a purely ...

The distribution semantics is an approach for integrating logic programming and probability theory that underlies many languages and has been successfully applied in many domains. When the program has function symbols, the semantics was defined for special cases: either the program has to be definite or the queries must have a finite number of finite explanations. In this paper we show that it ...

Hawking’s zeta function regularization procedure is shown to be rigorously and uniquely defined, thus putting and end to the spreading lore about different difficulties associated with it. Basic misconceptions, misunderstandings and errors which keep appearing in important scientific journals when dealing with this beautiful regularization method —and other analytical procedures— are clarified ...

Despite its long history, there are many fundamental issues concerning random packings of spheres that remain elusive, including a precise definition of random close packing (RCP). We argue that the current picture of RCP cannot be made mathematically precise and support this conclusion via a molecular dynamics study of hard spheres using the Lubachevsky-Stillinger compression algorithm. We sug...