Lithofacies are the fundamental geological units for shale oil and gas exploration development, soluble organic matter (SOM) is most similar to crude in composition. Both aspects attract our attention interpretation of SOM different lithofacies, which can provide direct evidence predict “sweet spots”. Here, twenty-five samples were collected from Eocene Shahejie Formation Dongying Sag subjected...

The Sarliève marsh in the Limagne plain, in the heart of the French Massif Central, functioned as an endorheic lake during the Late Glacial and the Early and Middle Holocene. During the Late Boreal and the Atlantic it experienced drastic lowering of the water level as a result of dry and warm climatic episodes. Then, pre-evaporitic conditions triggered the deposition of sediment rich in organic...

Transforming text into executable code with a function such as JavaScript’s eval endows programmers with the ability to extend applications, at any time, and in almost any way they choose. But this expressive power comes at a price. Reasoning about the dynamic behavior of programs that use this features becomes difficult. Any ahead-of-time analysis, to remain sound, is forced to make pessimisti...

An exception compilation scheme that dynamically creates and removes exception handler entries on the stack. A formalization of an article of the same name by Hutton and Wright [1]. 1 Compiling exception handling theory Exceptions imports Main begin 1.1 The source language datatype expr = Val int | Add expr expr | Throw | Catch expr expr consts eval :: "expr ⇒ int option" primrec "eval (Val i) ...

Diatomites are sedimentary rocks rich in siliceous algae, mainly diatoms, and evident Greece Neogene successions. Despite their significance worldwide potential as source for hydrocarbons, little is known about them the wider area of Greece, limited biostratigraphic characteristics industrial use. This study assesses first time diatomites Western Crete focuses on rock quality hydrocarbon genera...

Transforming text into executable code with a function such as JavaScript’s eval endows programmers with the ability to extend applications, at any time, and in almost any way they choose. But, this expressive power comes at a price: reasoning about the dynamic behavior of programs that use this feature becomes challenging. Any ahead-of-time analysis, to remain sound, is forced to make pessimis...

The ever-increasing demand for oil and gas has driven its exploration in rather extreme conditions. In Lamu offshore, which is hitherto underexplored, most of the wells already drilled turned out dry save a few with hydrocarbon shows despite promising reservoir properties related geological structures. This, therefore, necessitated source rock evaluation study area to ascertain presence potenti...