The impact of electron probe microanalysis on the study of geological and planetary materials has been tremendous. Electron microprobes evolved into routine analytical instruments in geological research laboratories as instrument capabilities improved and applications to geologic/planetary materials expanded. The contributions of electron probe microanalysis to the characterization of minerals,...

Prominent eroded volcanic features often dominate landscapes and stimulate interest in the geological processes that formed these landscapes. Trimble SketchUp (formerly Google SketchUp and hereinafter simply SketchUp) can be used by educators as a comprehensive geological teaching tool to model the complex processes, stages of formation, and key features of a volcanic region. This study outline...

In this paper, we investigate the convergence of a novel simulation scheme to the target diffusion process. This scheme, the Quasi-EA, is closely related to the Exact Algorithm (EA) for diffusion processes, as it is obtained by neglecting the rejection step in EA. We prove the existence of a myopic coupling between the QuasiEA and the diffusion. Moreover, an upper bound for the coupling probabi...

The multidimensional multiple-choice knapsack problem (MMKP) is an extension of the 0-1 knapsack problem. The core concept has been used to design efficient algorithms for the knapsack problem but the core has not been developed for the MMKP so far. In this paper, we develop an approximate core for the MMKP and utilize it to solve the problem exactly. Computational results show that the algorit...

In the Dial-a-Ride Problem (DARP), a fleet of vehicles must serve transportation requests made by users that need to be transported from an origin to a destination. In this paper we develop the first exact algorithm which is able to either efficiently prove the infeasibility or to provide a feasible solution. Such an algorithm could be used in a dynamic setting for determining whether it is pos...

Recent advances in algorithms for the multidimensional multiple choice knapsack problems have enabled us to solve rather large problem instances. However, these algorithms are evaluated with very limited benchmark instances. In this study, we propose new methods to systematically generate comprehensive benchmark instances. Some instances with special correlation properties between parameters ar...

We present a simple exact algorithm for counting bicliques of given size in a bipartite graph on n vertices. We achieve running time of O(1.2491), improving upon known exact algorithms for finding and counting bipartite cliques.

The validity of subsurface flow simulations strongly depends on the accuracy of relevant rock property values and their distribution in space. In realistic simulations, this spatial distribution is based on two geological considerations: (1) the subsurface structural setting, and (2) smaller-scale heterogeneity within a hydrostratigraphic unit. Both aspects are subject to uncertainty, whereas t...