Propylene and acetylene are released to mine air with the increase in the temperature of self-heating coal. Concentrations of these gases in mine air are applied as indicators of the progress of the self-heating process. Hydrocarbons emitted from the self-ignition center are sorbed on coal, while migrating through the mine workings. Coal crushed during the mining process is characterized by a h...

Zircon (ZrSiO4) is the most commonly used geochronometer, preserving age and geochemical information through a wide range of geological processes. However, zircon U-Pb geochronology can be affected by redistribution of radiogenic Pb, which is incompatible in the crystal structure. This phenomenon is particularly common in zircon that has experienced ultra-high temperature metamorphism, where io...

The trace element compositions of igneous augite preserved in metamorphosed komatiite samples from the lower Komati Formation, Barberton Mountainland, South Africa (3.49 Ga), were analyzed in order to estimate the pre-metamorphic bulk composition of the samples. The chemical effects of metamorphism are evaluated by calculating the trace element (TE) composition of a hypothetical augite in equil...

Integrated pseudosection modeling and monazite petrochronology of paragneiss from the Kanchenjunga region of northeastern Nepal reveal the presence of cryptic tectonometamorphic discontinuities within the Himalayan metamorphic core. These new data outline a series of thrust-sense structures that juxtapose rocks that generally record a protracted history of early Eocene to latest Oligocene–early...

Metamorphic malware apply semantics-preserving transformations to their own code in order to foil detection systems based on signature matching. In this paper we consider the problem of automatically extract metamorphic signatures from these malware. We introduce a semantics for self-modifying code, later called phase semantics, and prove its correctness by showing that it is an abstract interp...