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

I2PA, U-prove, and Idemix: An Evaluation of Memory Usage and Computing Time Efficiency in an IoT Context

The Internet of Things (IoT), in spite of its innumerable advantages, brings many challenges namely issues about users' privacy preservation and constraints about lightweight cryptography. Lightweight cryptography is of capital importance since IoT devices are qualified to be resource-constrained. To address these challenges, several Attribute-Based Credentials (ABC) schemes have been designed including I2PA, U-prove, and Idemix. Even though these schemes have very strong cryptographic bases, their performance in resource-constrained devices is a question that deserves special attention. This paper aims to conduct a performance evaluation of these schemes on issuance and verification protocols regarding memory usage and computing time. Recorded results show that both I2PA and U-prove present very interesting results regarding memory usage and computing time while Idemix presents very low performance with regard to computing time

Defects in SiO2 as the possible origin of near interface traps in the SiC∕SiO2 system: A systematic theoretical study

A systematic study of the level positions of intrinsic and carbon defects in SiO2 is presented, based on density functional calculations with a hybrid functional in an alpha-quartz supercell. The results are analyzed from the point of view of the near interface traps (NIT), observed in both SiC/SiO2 and Si/SiO2 systems, and assumed to have their origins in the oxide. It is shown that the vacancies and the oxygen interstitial can be excluded as the origin of such NIT, while the silicon interstitial and carbon dimers give rise to gap levels in the energy range inferred from experiments. The properties of these defects are discussed in light of the knowledge about the SiC/SiO2 interface

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

Cryptic complexity in felid vertebral evolution: shape differentiation and allometry of the axial skeleton

Members of the mammalian family Felidae (extant and extinct cats) are grossly phenotypically similar, but display a 300-fold range in body size, from less than 1 kg to more than 300 kg. In addition to differences in body mass, felid species show dietary and locomotory specializations that correlate to skull and limb osteological measurements, such as shape or cross-sectional area. However, ecological correlates to the axial skeleton are yet untested. Here, we build on previous studies of the biomechanical and morphological evolution of the felid appendicular skeleton by conducting a quantitative analysis of morphology and allometry in the presacral vertebral column across extant cats. Our results demonstrate that vertebral columns of arboreal, scansorial and terrestrial felids significantly differ in morphology, specifically in the lumbar region, while no distinction based on dietary specialization was found. Body size significantly influences vertebral morphology, with clear regionalization of allometry along the vertebral column, suggesting that anterior (cervicals and thoracics) and posterior (lumbar) vertebrae may be independently subjected to distinct selection pressures

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

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