the kuhshah ultramafic complex is located in the south-east of sanandaj-sirjan metamorphic zone, near the probable remnants of neotethys plate in iran. it consists of highly depleted harzburgites, dunites, chromitite bands and altered gabbros. the ultramafic parts have been intruded by numerous clinopyroxenite dykes and veins. in the harzburgites, there are different generations of olivine, ort...

In this research, petrographic and geochemical (major and trace elements) characteristics of siliciclastic rocks of the Mozduran Formation in the eastern Kopet-Dagh Basin have been carried out in order to reveal their provenance such as source area paleoweathering, parent rock composition and tectonic setting. Mozduran Formation is mainly composed of limestone and dolomite, with minor amounts o...

Raman-based geobarometry has recently become increasingly popular because it is an elegant way to obtain information on peak metamorphic conditions or the entire pressure-temperature-time (P-T-t) path of metamorphic rocks, especially those formed under ultrahigh-pressure (UHP) conditions. However, several problems need to be solved to get reliable estimates of metamorphic conditions. In this pa...

Metamorphic testing is a well known approach to tackle the oracle problem in software testing. This technique requires the use of source test cases that serve as seeds for the generation of follow-up test cases. Systematic design of test cases is crucial for the test quality. Thus, source test case generation strategy can make a big impact on the fault detection effectiveness of metamorphic tes...

Detecting Metamorphic Viruses using Profile Hidden Markov Models By Srilatha Attaluri Metamorphic computer viruses “mutate” by changing their structure every time they propagate. Unlike other viruses, they use code obfuscation techniques on the body of the virus and do not exhibit a common signature. With the advent of construction kits, it is easy to generate various metamorphic strains of a v...

It is often difficult to verify the solutions of computationally intensive mathematical optimization problems. Metamorphic testing is a technique to verify software test output even when a complete testing oracle is not present. We apply metamorphic testing to a classic optimization problem, the quadratic assignment problem (QAP). A number of metamorphic relations for the QAP are described in d...

[1] Steady increases in the mineral physical property database, new methods of calculating the physical properties of rocks, and the growing understanding of ultrahigh-pressure rocks [e.g., Liou et al., 2000] has stimulated considerable effort in recent years to calculate rock physical properties at high to ultrahigh pressure. One approach [e.g., Hacker et al., 2003] is to use the mineral abund...