Efficient Runtime Detection and Toleration of Asymmetric Races

We introduce ToleRace, a runtime system that allows programs to detect and even tolerate asymmetric data races. Asymmetric races are race conditions where one thread correctly acquires and releases a lock for a shared variable while another thread improperly accesses the same variable. ToleRace provides approximate isolation in the critical sections of lock-based parallel programs by creating a local copy of each shared variable when entering a critical section, operating on the local copies, and propagating the appropriate copies upon leaving the critical section. We start by characterizing all possible interleavings that can cause races and precisely describe the effect of ToleRace in each case. Then, we study the theoretical aspects of an oracle that knows exactly what type of interleaving has occurred. Finally, we present software implementations of ToleRace and evaluate them on multithreaded applications from the SPLASH2 and PARSEC suites.

Averting biodiversity collapse in tropical forest protected areas

The rapid disruption of tropical forests probably imperils global biodiversity more than any other contemporary phenomenon(1-3). With deforestation advancing quickly, protected areas are increasingly becoming final refuges for threatened species and natural ecosystem processes. However, many protected areas in the tropics are themselves vulnerable to human encroachment and other environmental stresses(4-9). As pressures mount, it is vital to know whether existing reserves can sustain their biodiversity. A critical constraint in addressing this question has been that data describing a broad array of biodiversity groups have been unavailable for a sufficiently large and representative sample of reserves. Here we present a uniquely comprehensive data set on changes over the past 20 to 30 years in 31 functional groups of species and 21 potential drivers of environmental change, for 60 protected areas stratified across the world's major tropical regions. Our analysis reveals great variation in reserve `health': about half of all reserves have been effective or performed passably, but the rest are experiencing an erosion of biodiversity that is often alarmingly widespread taxonomically and functionally. Habitat disruption, hunting and forest-product exploitation were the strongest predictors of declining reserve health. Crucially, environmental changes immediately outside reserves seemed nearly as important as those inside in determining their ecological fate, with changes inside reserves strongly mirroring those occurring around them. These findings suggest that tropical protected areas are often intimately linked ecologically to their surrounding habitats, and that a failure to stem broad-scale loss and degradation of such habitats could sharply increase the likelihood of serious biodiversity declines.

Metabolites of PPI-2458, a selective, irreversible inhibitor of methionine aminopeptidase-2: structure determination and In vivo activity

The natural product fumagillin exhibits potent antiproliferative and antiangiogenic properties. The semisynthetic analog PPI-2458, (3R,4S,5S,6R)-5-methoxy-4-(2R,3R)-2-methyl-3-(3-methylbut-2-enyl) oxiran-2-yl]-1-oxaspiro2.5]octan-6-yl] N-(2R)-1-amino-3-methyl-1-oxobutan-2-yl]carbamate, demonstrates rapid inactivation of its molecular target, methionine aminopeptidase-2 (MetAP2), and good efficacy in several rodent models of cancer and inflammation with oral dosing despite low apparent oral bioavailability. To probe the basis of its in vivo efficacy, the metabolism of PPI-2458 was studied in detail. Reaction phenotyping identified CYP3A4/5 as the major source of metabolism in humans. Six metabolites were isolated from liver microsomes and characterized by mass spectrometry and nuclear resonance spectroscopy, and their structures were confirmed by chemical synthesis. The synthetic metabolites showed correlated inhibition of MetAP2 enzymatic activity and vascular endothelial cell growth. In an ex vivo experiment, MetAP2 inhibition in white blood cells, thymus, and lymph nodes in rats after single dosing with PPI-2458 and the isolated metabolites was found to correlate with the in vitro activity of the individual species. In a phase 1 clinical study, PPI-2458 was administered to patients with non-Hodgkin lymphoma. At 15 mg administered orally every other day, MetAP2 in whole blood was 80% inactivated for up to 48 hours, although the exposure of the parent compound was only similar to 10% that of the summed cytochrome P450 metabolites. Taken together, the data confirm the participation of active metabolites in the in vivo efficacy of PPI-2458. The structures define a metabolic pathway for PPI-2458 that is distinct from that of TNP-470 ((3R, 4S, 5S, 6R)-5-methoxy-4-(2R, 3R)-2-methyl-3-(3-methylbut-2-enyl)oxiran-2-yl]-1-oxaspiro2.5]octan-6 -yl] N-(2-chloroacetyl)carbamate). The high level of MetAP2 inhibition achieved in vivo supports the value of fumagillin-derived therapeutics for angiogenic diseases.

Field Emission with Ultra low Turn On Voltage from Metal Decorated Carbon Nanotubes

A simple and scalable method of decorating 3D-carbon nanotube (CNT) forest with metal particles has been developed. The results observed in aluminum (AI) decorated CNTs and copper (Cu) decorated CNTs on silicon (Si) and Inconel are compared with undecorated samples. A significant improvement in the field emission characteristics of the cold cathode was observed with ultralow turn on voltage (E-to similar to 0.1 V/mu m) due to decoration of CNTs with metal nanoparticles. Contact resistance between the CNTs and the substrate has also been reduced to a large extent, allowing us to get stable emission for longer duration without any current degradation, thereby providing a possibility of their use in vacuum microelectronic devices.

CTFS-ForestGEO: a worldwide network monitoring forests in an era of global change

Global change is impacting forests worldwide, threatening biodiversity and ecosystem services including climate regulation. Understanding how forests respond is critical to forest conservation and climate protection. This review describes an international network of 59 long-term forest dynamics research sites (CTFS-ForestGEO) useful for characterizing forest responses to global change. Within very large plots (median size 25ha), all stems 1cm diameter are identified to species, mapped, and regularly recensused according to standardized protocols. CTFS-ForestGEO spans 25 degrees S-61 degrees N latitude, is generally representative of the range of bioclimatic, edaphic, and topographic conditions experienced by forests worldwide, and is the only forest monitoring network that applies a standardized protocol to each of the world's major forest biomes. Supplementary standardized measurements at subsets of the sites provide additional information on plants, animals, and ecosystem and environmental variables. CTFS-ForestGEO sites are experiencing multifaceted anthropogenic global change pressures including warming (average 0.61 degrees C), changes in precipitation (up to +/- 30% change), atmospheric deposition of nitrogen and sulfur compounds (up to 3.8g Nm(-2)yr(-1) and 3.1g Sm(-2)yr(-1)), and forest fragmentation in the surrounding landscape (up to 88% reduced tree cover within 5km). The broad suite of measurements made at CTFS-ForestGEO sites makes it possible to investigate the complex ways in which global change is impacting forest dynamics. Ongoing research across the CTFS-ForestGEO network is yielding insights into how and why the forests are changing, and continued monitoring will provide vital contributions to understanding worldwide forest diversity and dynamics in an era of global change.

Directed Nonabelian Sandpile Models on Trees

We define two general classes of nonabelian sandpile models on directed trees (or arborescences), as models of nonequilibrium statistical physics. Unlike usual applications of the well-known abelian sandpile model, these models have the property that sand grains can enter only through specified reservoirs. In the Trickle-down sandpile model, sand grains are allowed to move one at a time. For this model, we show that the stationary distribution is of product form. In the Landslide sandpile model, all the grains at a vertex topple at once, and here we prove formulas for all eigenvalues, their multiplicities, and the rate of convergence to stationarity. The proofs use wreath products and the representation theory of monoids.

Markov chains, R-trivial monoids and representation theory

We develop a general theory of Markov chains realizable as random walks on R-trivial monoids. It provides explicit and simple formulas for the eigenvalues of the transition matrix, for multiplicities of the eigenvalues via Mobius inversion along a lattice, a condition for diagonalizability of the transition matrix and some techniques for bounding the mixing time. In addition, we discuss several examples, such as Toom-Tsetlin models, an exchange walk for finite Coxeter groups, as well as examples previously studied by the authors, such as nonabelian sandpile models and the promotion Markov chain on posets. Many of these examples can be viewed as random walks on quotients of free tree monoids, a new class of monoids whose combinatorics we develop.

A sleep-inducing peptide from the venom of the Indian cone snail Conus araneosus

The marine snail Conus araneosus has unusual significance due to its confined distribution to coastal regions of southeast India and Sri Lanka. Due to its relative scarceness, this species has been poorly studied. In this work, we characterized the venom of C. araneosus to identify new venom peptides. We identified 14 novel compounds. We determined amino acid sequences from chemically-modified and unmodified crude venom using liquid chromatography-electrospray ionization mass spectrometry and matrix assisted laser desorption ionization time-of-flight mass spectrometry. Ten sequences showed six Cys residues arranged in a pattern that is most commonly associated with the M-superfamily of conotoxins. Four other sequences had four Cys residues in a pattern that is most commonly associated with the T-superfamily of conotoxins. The post-translationally modified residue (pyroglutamate) was determined at the N-terminus of two sequences, ar3h and ar3i respectively. In addition, two sequences, ar3g and ar3h were C-terminally amidated. At a dose of 2 nmol, peptide ar3j elicited sleep when injected intraperitoneally into mice. To our knowledge, this is the first report of a peptide from a molluscivorous cone snail with sleep-inducing effects in mice. The novel peptides characterized herein extend the repertoire of unique peptides derived from cone snails and may add value to the therapeutic promise of conotoxins. (C) 2015 Elsevier Ltd. All rights reserved.

Numerical study of laminar, standing hydraulic jumps in a planar geometry

We solve the two-dimensional, planar Navier-Stokes equations to simulate a laminar, standing hydraulic jump using a Volume-of-Fluid method. The geometry downstream of the jump has been designed to be similar to experimental conditions by including a pit at the edge of the platform over which liquid film flows. We obtain jumps with and without separation. Increasing the inlet Froude number pushes the jump downstream and makes the slope of the jump weaker, consistent with experimental observations of circular jumps, and decreasing the Reynolds number brings the jump upstream while making it steeper. We study the effect of the length of the domain and that of a downstream obstacle on the structure and location of the jump. The transient flow which leads to a final steady jump is described for the first time to our knowledge. In the moderate Reynolds number regime, we obtain steady undular jumps with a separated bubble underneath the first few undulations. Interestingly, surface tension leads to shortening of wavelength of these undulations. We show that the undulations can be explained using the inviscid theory of Benjamin and Lighthill (Proc. R. Soc. London, Ser. A, 1954). We hope this new finding will motivate experimental verification.

Separation index of graphs and stacked 2-spheres

In 1987, Kalai proved that stacked spheres of dimension d >= 3 are characterised by the fact that they attain equality in Barnette's celebrated Lower Bound Theorem. This result does not extend to dimension d = 2. In this article, we give a characterisation of stacked 2-spheres using what we call the separation index. Namely, we show that the separation index of a triangulated 2-sphere is maximal if and only if it is stacked. In addition, we prove that, amongst all n-vertex triangulated 2-spheres, the separation index is minimised by some n-vertex flag sphere for n >= 6. Furthermore, we apply this characterisation of stacked 2-spheres to settle the outstanding 3-dimensional case of the Lutz-Sulanke-Swartz conjecture that ``tight-neighbourly triangulated manifolds are tight''. For dimension d >= 4, the conjecture has already been proved by Effenberger following a result of Novik and Swartz. (C) 2015 Elsevier Inc. All rights reserved.

Benjamín de Tudela y los motivos del viaje : la educación del judío y el encuentro con la propia identidad a través del otro

Resumen: El presente trabajo aborda un tema concreto: el motivo u objeto con que el maestro y erudito español Benjamín de Tudela (1130-1173) abandona momentáneamente su país, España, para realizar un viaje de más de diez años por el Mediterráneo, el Asia Menor, el Medio Oriente y, aunque es menos probable, el Lejano Oriente. El corpus a considerar es su Libro de viajes (1160-1173), uno de los más completos y didácticos cuadernos de bitácora de la literatura occidental. Esta obra, que ha tenido grandes incidencias en la educación judía de siglos posteriores, es considerada hasta hoy como uno de los primeros documentos demográficos de las comunidades judías de la diáspora. Una vez identificados los motivos que impulsaron un periplo de tal calibre, procederé a analizar básicamente dos. Por un lado, la misión didáctica que él mismo se ha atribuido en consonancia con el precepto que ordena la transmisión intergeneracional de la fe y sus valores. Por otro lado, infiero un motivo que califico como de origen divino o sobrenatural, y que comparo con el viaje de Abraham desde Ur de Caldea hasta la Tierra Prometida. Para desarrollar este punto parto de un fragmento de la Biblia denominado en la tradición judía Lej lejá (Génesis XII:1-XVII:27), del que tomo los dos versículos iniciales, y aplico un análisis hecho por la licenciada y rabina Silvina Chemen con motivo del diálogo interreligioso.

Efecto de aplicaciones de NPK sobre el crecimiento, desarrollo y rendimiento agroindustrial de la caña de azucar (Saccharum sp híbrido) variedad C87-51 en caña planta en el IBZ-CASUR S.A., Potosí, Rivas

El presente estudio se realizó en áreas de la finca "San Fernando" perteneciente al Ingenio Benjamin Zeledón (IBZ) de la Compañía Azucarera del Sur (CASUR, S.A.) ubicado en Potosí, departamento de Rivas (11005' LN y 86001' LO, a 70 msnm) con el objetivo de contribuir al incremento del rendimiento agroindustrial de la caña de azúcar se evaluaron el efecto de niveles de NPK: Nitrógeno (0, 80, 120 y 160 kg ha-1), Fósforo (0 y 60 kg ha-1) y Potasio (0, 60, 90 y 120 kg ha-1) sobre el crecimiento, desarrollo y rendimiento agroindustrial de la variedad C87-51. Los 32 tratamientos fueron distribuidos en un diseño de Bloques Completamente al Azar (BCA) con arreglo en Parcelas Subdivididas con tres réplicas. Se inició y estableció en la segunda semana de abril del 2003 y se cosechó en marzo del 2004. A los resultados de campo se les aplicó un análisis de varianza (ANDEVA) y separación de medias (Tukey ∞=0.05) sobre 13 variables cuantitativas. Asimismo, se utilizó un modelo estadístico de tendencia (lineal, cuadrática y cúbica) en el rendimiento agroindustrial para evaluar los niveles de N y K, y modelos de regresión múltiple en rendimiento. Se otuvieron efecto significativo en las variables de desarrollo y rendimiento, en el caso del P su efecto no fue significativo en el rendimiento. El mayor rendimiento agroindustrial se alcanzó en la combinación de 160–0–120 (9.34 Ton ha-1) y 160–60–120 (9.42 Ton ha-1), y presentó significancia estadística para una respuesta lineal y cúbica en N; para el caso del K la respuesta a los tres modelos establecidos fue significativa, pero con mayor significancia estadística la función lineal. La relación del rendimiento industrial a partir de rendimiento agrícola fue significativa con un ajuste cuadrático determinada por un R2 de 0.8671.

有基本流动的渠道中的孤立波

<正> 迄今为止,大多数关于渠道中的孤立波的研究都作了静水的假定,从而避免了波与流相互作用的难题。但在自然界的江河中大都有基本流动,这就要求我们研究有基本流动情况下渠道中的孤立波。Benjamin,Peters,Turpin等人先后在这方面做了一些工作。 我们研究无粘、不可压缩流体的运动,基本流动沿着渠道方向,渠道断面及坐标如图