Related papers: Ore deposit exploration, geophysics and cutoff gra…
Formal methods for verification of programs are extended to testing of programs. Their combination is intended to lead to benefits in reliable program development, testing, and evolution. Our geometric theory of testing is intended to serve…
Energy distributions of decay products carry information on the kinematics of the decay in ways that are at the same time straightforward and quite hidden. I will review these properties and discuss their early historical applications as…
Several methods exist for surveying the dunes and estimate their migration rate. Among methods suitable for the macroscopic scale, the use of the satellite images available on Google Earth is a convenient resource, in particular because of…
The purpose of this note is twofold. First, we survey results on the construction of large class groups of number fields by specialization of finite covers of curves. Then we give examples of applications of these techniques.
Geophysical electromagnetics (EM) plays an important role in mineral exploration and is increasingly being used to help solve other problems of relevance to society. In this article we reflect, from our perspective at University of British…
Higher-dimensional scenarios allow for the formation of mini-black holes from TeV-scale particle collisions. The purpose of this paper is to review and compare different methods for the estimate of the total gravitational energy emitted in…
Predicting which crystalline modifications can be present in a chemical system requires the global exploration of its energy landscape. Due to the large computational effort involved, in the past this search for sufficiently stable minima…
The metal content of asteroids is of great interest, not only for theories of their origins and the evolution of the solar system but, in the case of near-Earth objects (NEOs), also for impact mitigation planning and endeavors in the field…
Physicists face major challenges in modelling multi-scale phenomena that are observed in geophysical flows (e.g. in the Earth's oceans and atmosphere, or liquid planetary cores). In particular, complexities arise because geophysical fluids…
Due to the availability of large molecular data-sets, covariance models are increasingly used to describe the structure of genetic variation as an alternative to more heavily parametrised biological models. We focus here on a class of…
In this work, we present an open access database for surface and vacancy-formation energies using classical force-fields (FFs). These quantities are essential in understanding diffusion behavior, nanoparticle formation and catalytic…
A number of current physics topics, including long-baseline neutrino physics, proton decay searches, and supernova neutrino searches, hope to someday construct huge (50 kiloton to megaton) particle detectors in shielded, underground sites.…
Integrating gridded weather and earth observation data into impact evaluations holds great promise. It allows researchers to capture environmental context, external shocks, and even to measure outcomes (e.g., land cover change, agricultural…
A better understanding of the relation between ore fragmentation and ore texture is a key to the energy efficient extraction of targeted minerals from low grade ore deposits. In this study, X-ray micro-computed tomography is employed to…
As a complement to experimental and theoretical approaches, numerical modeling has become an important component to study asteroid collisions and impact processes. In the last decade, there have been significant advances in both…
Geocoding systems are widely used in both scientific research for spatial analysis and everyday life through location-based services. The quality of geocoded data significantly impacts subsequent processes and applications, underscoring the…
The energy transition through increased electrification has put the worlds attention on critical mineral exploration Even with increased investments a decrease in new discoveries has taken place over the last two decades Here I propose a…
Orbital geophysical investigations of Enceladus are critical to understanding its energy balance. We identified key science questions for the geophysical exploration of Enceladus, answering which would support future assessment of…
The remote mapping of minerals and discrimination of ore and waste on surfaces are important tasks for geological applications such as those in mining. Such tasks have become possible using ground-based, close-range hyperspectral sensors…
Processes related to cloud physics constitute the largest remaining scientific uncertainty in climate models and projections. This uncertainty stems from the coarse nature of current climate models and relatedly the lack of understanding of…