We present a class of relaxed memory models, defined in Coq, parameterised by the chosen permitted local reorderings of reads and writes, and by the visibility of interand intra-processor communications through memory (e.g. store atomicity relaxation). We prove results on the required behaviour and placement of memory fences to restore a given model (such as Sequential Consistency) from a weake...

Zhang Y., Feng M.M., Yang J.Y., Zhao T.N., Wu H.L., Shi C.Q., Shen Y. (2015): Effects of soil cover and protective measures on reducing runoff and soil loss under artificial rainfall. Soil & Water Res., 10: 198–205. The hazards from wind, sand, and soil erosion caused by human activities, such as residue slopes in abandoned urban mines, have resulted in a vicious circle of environmental degrada...

MEMORY MODEL SENSITIVE ANALYSIS OF CONCURRENT DATA TYPES Sebastian Burckhardt Rajeev Alur, Milo Martin Concurrency libraries can facilitate the development of multi-threaded programs by providing concurrent implementations of familiar data types such as queues and sets. Many optimized algorithms that use lock-free synchronization have been proposed for multiprocessors. Unfortunately, such algor...

What are the effects of snow fence variables on wind patterns, and geometry and volume of snow collected in drifts? This question arose from a need to capture winter’s blowing snow to improve water supply during a drought and to protect critical areas from blowing snow. Last year, during the first phase of this project, various powders were tested to find which would closely replicate snow in a...

INTRODUCTION Attractive Toxic Sugar Baits (ATSB) is a new vector control method that meets Integrated Vector Management (IVM) goals. In an experimental design, this study aimed to determine effects of ATSB on control of Phlebotomus papatasi, as a main vector of Zoonotic Cutaneous Leishmaniasis (ZCL), in Qom Province, center of Iran. METHODS In a cross-sectional design, boric acid was mixed wi...

Sm-Nd studies were carried out on Last Glacial and Holocene sediments from the Labrador Sea. Three grain-size fractions were analyzed for each sediment: the clay-size fraction (<2 μm), the fine cohesive silts (2-10 μm) and the coarse silts (10-63 μm). In most cases, Sm-Nd signatures are different from one grain-size to another. In addition, different Sm-Nd signatures are derived from the clay-s...

laboratory data, which relate the liquefaction resistance of firoozkooh sand and non-plastic silt mixtures to shear wave velocity are presented and compared to liquefaction criteria derived from seismic field measurements by andrus and stokoe [1]. in the work described herein, cyclic triaxial and resonant column tests were conducted on specimens of clean sand and sand-silt mixtures with silt co...

Sand fences made of punched steel plate (PSP) have recently been applied to control wind-blown sand in desertified and Gobi areas due their strong wind resistance convenient situ construction. However, few studies assessed the protective effect PSP fences, especially through field observations. This study analyzes effects double-row on using observations a computational fluid dynamics (CFD) num...

In central Washington, Heterodera schachtii Schmidt (the sugarbeet cyst nematode) is associated with sugarbeets (Beta vulgaris L.) growing in fine-textured soils, and Meloidogyne hapla Chitwood (the nor thern root-knot nematode) is associated with sugarbeets growing in coarse-textured soils. T h e opt imum soil temperature for reproduct ion on sugarbeets is between 21 and 30 C for H. schachtii ...