Threads Shuvendu K. Lahiri, Alexander Malkis, and Shaz Qadeer 1 MSR Redmond 2 University of Freiburg Abstract. Verification of large multithreaded programs is challenging. Automatic approaches cannot overcome the state explosion in the number of threads; semi-automatic methods require expensive human time for finding global inductive invariants. Ideally, automatic methods should not deal with t...

This article presents an analysis of plant species richness and diversity, concerning some climatic variables along a 1500-m elevation gradient on the Binalood Mountain in Heydari Wildlife Refuge (HWR), northeastern Iran.  Two hundred and thirteen nested-sampling quadrats were established and the abundance of the plants was recorded. Vegetation sampling was carried out from 2014 till 2016, foll...

Edge-effects greatly extend the area of tropical forests degraded through human activities. At Pasoh, Peninsular Malaysia, it has been suggested that soil disturbance by highly abundant wild pigs (Sus scrofa), which feed in adjacent Oil Palm plantations, may have mediated the invasion of Clidemia hirta (Melastomataceae) into the diverse tropical lowland rain forest. To investigate this hypothes...

An instantaneous rigid force model for prediction of cutting forces in ball-end milling of  sculptured surfaces is presented in this paper. A commercially available geometric engine is used to represent the cutting edge, cutter and updated part geometries. The cutter used in this work is an insert type ball-end mill. Intersecting an inclined plane with the cutter ball nose generates the cutting...

An understanding of how communities are organized is a fundamental goal of ecology but one which has historically been elusive for microbial systems. We used a bar-coded pyrosequencing approach targeting the V3 region of the bacterial small-subunit rRNA gene to address the factors that structure communities along the thermal gradients of two alkaline hot springs in the Lower Geyser Basin of Yel...

Avena ventricosa Balansa ex Coss. is considered the C-genome donor of the cultivated hexaploid oat and is a 'priority' species for conservation, since it has limited geographic distribution and the only recorded populations in Europe are present in Cyprus. The current study attempts to characterize the genetic structure and fragmentation of the species via the application of genotypic markers. ...