Dynamic Race Prediction in Linear Time

Writing reliable concurrent software remains a huge challenge for today's programmers. Programmers rarely reason about their code by explicitly considering different possible inter-leavings of its execution. We consider the problem of detecting data races from individual executions in a sound manner. The classical approach to solving this problem has been to use Lamport's happens-before (HB) relation. Until now HB remains the only approach that runs in linear time. Previous efforts in improving over HB such as causally-precedes (CP) and maximal causal models fall short due to the fact that they are not implementable efficiently and hence have to compromise on their race detecting ability by limiting their techniques to bounded sized fragments of the execution. We present a new relation weak-causally-precedes (WCP) that is provably better than CP in terms of being able to detect more races, while still remaining sound. Moreover it admits a linear time algorithm which works on the entire execution without having to fragment it.Comment: 22 pages, 8 figures, 1 algorithm, 1 tabl

Monocytes regulate the mechanism of T-cell death by inducing Fas-mediated apoptosis during bacterial infection.

Monocytes and T-cells are critical to the host response to acute bacterial infection but monocytes are primarily viewed as amplifying the inflammatory signal. The mechanisms of cell death regulating T-cell numbers at sites of infection are incompletely characterized. T-cell death in cultures of peripheral blood mononuclear cells (PBMC) showed 'classic' features of apoptosis following exposure to pneumococci. Conversely, purified CD3(+) T-cells cultured with pneumococci demonstrated necrosis with membrane permeabilization. The death of purified CD3(+) T-cells was not inhibited by necrostatin, but required the bacterial toxin pneumolysin. Apoptosis of CD3(+) T-cells in PBMC cultures required 'classical' CD14(+) monocytes, which enhanced T-cell activation. CD3(+) T-cell death was enhanced in HIV-seropositive individuals. Monocyte-mediated CD3(+) T-cell apoptotic death was Fas-dependent both in vitro and in vivo. In the early stages of the T-cell dependent host response to pneumococci reduced Fas ligand mediated T-cell apoptosis was associated with decreased bacterial clearance in the lung and increased bacteremia. In summary monocytes converted pathogen-associated necrosis into Fas-dependent apoptosis and regulated levels of activated T-cells at sites of acute bacterial infection. These changes were associated with enhanced bacterial clearance in the lung and reduced levels of invasive pneumococcal disease

«Золота» пора кооперації в умовах непу

Рецензія на книгу: Голець В.В. Кооперація і неп (20-і рр. XX ст.). - Чернігів: Просвіта, 2006. - 244 с

Pollution, habitat loss, fishing and climate change as critical threats to penguins

Cumulative human impacts across the world’s oceans are considerable. We therefore examined a single model taxonomic group, the penguins (Spheniscidae), to explore how marine species and communities might be at risk of decline or extinction in the southern hemisphere. We sought to determine the most important threats to penguins and to suggest means to mitigate these threats. Our review has relevance to other taxonomic groups in the southern hemisphere and in northern latitudes, where human impacts are greater. Our review was based on an expert assessment and literature review of all 18 penguin species; 49 scientists contributed to the process. For each penguin species, we considered their range and distribution, population trends, and main anthropogenic threats over the past approximately 250 years. These threats were harvesting adults for oil, skin, and feathers and as bait for crab and rock lobster fisheries; harvesting of eggs; terrestrial habitat degradation; marine pollution; fisheries bycatch and resource competition; environmental variability and climate change; and toxic algal poisoning and disease. Habitat loss, pollution, and fishing, all factors humans can readily mitigate, remain the primary threats for penguin species. Their future resilience to further climate change impacts will almost certainly depend on addressing current threats to existing habitat degradation on land and at sea. We suggest protection of breeding habitat, linked to the designation of appropriately scaled marine reserves, including in the High Seas, will be critical for the future conservation of penguins. However, large-scale conservation zones are not always practical or politically feasible and other ecosystem-based management methods that include spatial zoning, bycatch mitigation, and robust harvest control must be developed to maintain marine biodiversity and ensure that ecosystem functioning is maintained across a variety of scales.Los impactos humanos acumulativos a lo largo de los océanos del planeta son considerables. Por eso examinamos un solo modelo de grupo taxonómico, los pingüinos (Sphenischidae), para explorar cómo las especies y las comunidades marinas pueden estar en riesgo de disminuir o de extinguirse en el hemisferio sur. Buscamos determinar la amenaza más importante para los pingüinos y sugerir métodos para mitigar estas amenazas. Nuestra revisión tiene relevancia para otros grupos taxonómicos en el hemisferio sur y en las latitudes norteñas, donde los impactos humanos son mayores. Nuestra revisión se basó en una evaluación experta y una revisión de literaratura de las 18 especies de pingüinos; 49 científicos contribuyeron al proceso. Para cada especie de pingüino, consideramos su rango y distribución, tendencias poblacionales y las principales amenazas antropogénicas en aproximadamente los últimos 250 años. Estas amenazas fueron la captura de adultos para obtener aceite, piel y plumas y el uso como carnada para la pesca de cangrejos y langostas: la recolección de huevos; la degradación del hábitat terrestre; la contaminación marina; la pesca accesoria y la competencia por recursos; la variabilidad ambiental y el cambio climático; y el envenenamiento por algas tóxicas y enfermedades. La pérdida de hábitat, la contaminación y la pesca, todos factores que los humanos pueden mitigar, siguen siendo las amenazas principales para las especies de pingüinos. Su resiliencia futura a más impactos por cambio climático dependerá certeramente de que nos enfoquemos en las amenazas actuales a la degradación de hábitats existentes en tierra y en el mar. Sugerimos que la protección de hábitats de reproducción, en conjunto con la designación de reservas marinas de escala apropiada, incluyendo alta mar, será crítica para la conservación futura de los pingüinos. Sin embargo, las zonas de conservación a gran escala no son siempre prácticas o políticamente viables, y otros métodos de manejo basados en ecosistemas que incluyen la zonificación espacial, la mitigación de captura accesoria, y el control fuerte de captura deben desarrollarse para mantener la biodiversidad marina y asegurar que el funcionamiento de los ecosistemas se mantenga a lo largo de una variedad de escalas.Fil: Trathan, Phil N.. British Antartic Survey; Reino UnidoFil: Garcia Borboroglu, Jorge Pablo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Nacional Patagónico; ArgentinaFil: Boersma, P. Dee. University of Washington; Estados UnidosFil: Bost, Charles André. Centre d´Etudes Biologiques de Chizé; FranciaFil: Crawford, Robert J. M.. Department of Environmental Affairs; SudáfricaFil: Crossin, Glenn T.. Dalhousie University Halifax; CanadáFil: Cuthbert, Richard. Royal Society for the Protection of Birds; Reino UnidoFil: Dann, Peter. Phillip Island Nature Parks; AustraliaFil: Davis, Lloyd Spencer. University Of Otago; Nueva ZelandaFil: de la Puente, Santiago. Universidad Cayetano Heredia; PerúFil: Ellenberg, Ursula. University Of Otago; Nueva ZelandaFil: Lynch, Heather J.. Stony Brook University; Estados UnidosFil: Mattern, Thomas. University Of Otago; Nueva ZelandaFil: Pütz, Klemens. Antarctic Research Trust; AlemaniaFil: Seddon, Philip J.. University Of Otago; Nueva ZelandaFil: Trivelpiece, Wayne. Southwest Fisheries Science Center; Estados UnidosFil: Wienecke, Bárbara. Australian Antarctic Division; Australi

Wikipedia as informal self-education for clinical decision-making in medical practice

Background For almost any topic, a Wikipedia page will appear among the first ten items of a search online. Wikipedia is also a site whose quality and reliability has been called into question. Methods In this paper, we aim to discuss medical practitioners’ use of Wikipedia, what this consists of and what it might be. We consider the context and history of Wikipedia before discussing the relationship between Wikipedia and the medical profession. In so doing, we will consider Wikipedia as a means of informal self-education and the extent to which it might inform clinical decision-making. We compare with the existing literature results from our two small-scale empirical studies of Wikipedia and clinical decision-making. Results Notwithstanding issues over quality and reliability, Wikipedia’s rules on verifiability are such that its articles are very heavily referenced, and this is just as true of health-related articles. The Cochrane/Wikipedia Initiative in improving the quality and reliability of medical and health pages in Wikipedia is significant in increasing reliability. Our respondents largely concurred with the results from earlier studies on the use of Wikipedia by medical practitioners. Conclusion Perhaps the very doubt over Wikipedia’s accuracy is its greatest strength as a means of informal education of doctors. That medical and health articles on Wikipedia can be so fully referenced and still be doubted is arguably a good thing and one whose effects may be spread into other, more trusted, publications. Hence, one might envisage a future where no one source is taken automatically on trust. Keywords Wikipedia, informal education, continued professional development, medical education

Occupational Therapy Feeding and Eating Interventions for Autism Spectrum Disorders and Pervasive Developmental Disorders: A Systematic Review

Due to the limited evidence and lack of methodological rigor regarding feeding and issues in children with Autism Spectrum Disorders (ASD) and Pervasive Developmental Disorders (PDD), clinicians who treat children with these diagnoses rely on the limited amount of information and many are not aware of evidence-based interventions (Ahearn, Castine, Nault, & Green, 2001; Marshall, Hill, & Dodrill, 2013). The purpose of this scholarly project is to gather, critique, and determine efficacy of occupational therapy feeding and eating interventions for children with ASD and PDD. We systematically reviewed literature for higher-level evidence, as defined by Level III evidence or above, in regards to occupational therapy feeding and eating interventions for children with ASD and PDD in studies that were published between January 2000 and December 2015 and located in PubMed, OT Search, Cumulative Index of Nursing and Allied Health Literature (CINAHL), and the American Journal of Occupational Therapy (AJOT). Our search yielded a total of 7,189 titles and abstracts that were narrowed through the screening process to 27 articles for review. The secondary review resulted in 11 articles, which received a full-text review. A total of 9 articles were found to meet inclusion criteria and be appropriate for critical appraisal. The results of these articles were compiled in an evidence table and a systematic review manuscript was specifically written for the AJOT. Our scholarly project highlights the various discrepancies regarding research for occupational therapy feeding and eating interventions for children with ASD and PDD. Recommendations for future research and implications for occupational therapy practice include the need for higher-level evidence to support the practice of occupational therapy practitioners and the development of a specific protocol to standardize occupational therapy treatment for feeding and eating difficulties among children with ASD and PDD

Luminescence spectra of germanosilicate optical fibres I - radioluminescence and cathodoluminescence

Data are reported on the luminescence spectra generated by X-ray and electron irradiation of optical fibres, fibre preforms and silica. The impurities and imperfections in the fibre core have a higher luminescence efficiency than those in the substrate material. The core luminescence provides a major fraction of the total light emission, despite the fact that the core is a small fraction of the total fibre volume. A wide variety of overlapping emission bands are reported. The spectra are strongly temperature dependent but the component emission bands can generally be linked to either Ge impurities, giving the 400 nm band, exciton emission near 460 nm or other blue/UV bands linked to E'-type defects. Overall, the study of the fibre luminescence provides a sensitive technique for analysis d changes and repeatability of fibre fabrication