A conceptual model is proposed for the generation of low-angle normal faults in Metamorphic Core Complexes. The model is based on three assumptions: (1) the isostatic response to normal fault motion is of regional extent; (2) when a fault segment is significantly rotated from the optimum angle of slip, relative to the crustal stress field, it is replaced by a new planar fault oriented in the op...

Challenges arise in assuring the quality of applications that do not have test oracles, i.e., for which it is impossible to know what the correct output should be for arbitrary input. Metamorphic testing has been shown to be a simple yet effective technique in addressing the quality assurance of these “non-testable programs”. In metamorphic testing, if test input x produces output f (x), specif...

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...

The core of detrital zircons from the southern Meiganga gold-bearing placers were analyzed by Laser Ablation Split Stream analytical techniques to determine their trace element abundances and U-Pb ages. obtained data used characterize each grain, its formation condition, try provenance. Hf (5980 12,010 ppm), Y (27–1650 U (25–954 Th (8–674 Ti (2–256 Ta, Nb, Sr (mainly <5 Th/U (0.06–2.35), zir...

Several relatively thin tectono-metamorphic slices have been recognized in the Cycladic eclogite– blueschist belt, through detailed studies on Ios, Sifnos, Syros, and Tinos. A sequence of distinct metamorphic mineral growth events has been documented. These recur in each tectonic slice, although individual slices are dominated by different events. To constrain the timing of these processes, the...