A History of BlockingQueues

This paper describes a way to formally specify the behaviour of concurrent data structures. When specifying concurrent data structures, the main challenge is to make specifications stable, i.e., to ensure that they cannot be invalidated by other threads. To this end, we propose to use history-based specifications: instead of describing method behaviour in terms of the object's state, we specify it in terms of the object's state history. A history is defined as a list of state updates, which at all points can be related to the actual object's state. We illustrate the approach on the BlockingQueue hierarchy from the java.util.concurrent library. We show how the behaviour of the interface BlockingQueue is specified, leaving a few decisions open to descendant classes. The classes implementing the interface correctly inherit the specifications. As a specification language, we use a combination of JML and permission-based separation logic, including abstract predicates. This results in an abstract, modular and natural way to specify the behaviour of concurrent queues. The specifications can be used to derive high-level properties about queues, for example to show that the order of elements is preserved. Moreover, the approach can be easily adapted to other concurrent data structures.Comment: In Proceedings FLACOS 2012, arXiv:1209.169

Beta defensin-2 is reduced in central but not in distal airways of smoker COPD patients

Background: Altered pulmonary defenses in chronic obstructive pulmonary disease (COPD) may promote distal airways bacterial colonization. The expression/activation of Toll Like receptors (TLR) and beta 2 defensin (HBD2) release by epithelial cells crucially affect pulmonary defence mechanisms. Methods: The epithelial expression of TLR4 and of HBD2 was assessed in surgical specimens from current smokers COPD (s-COPD; n = 17), ex-smokers COPD (ex-s-COPD; n = 8), smokers without COPD (S; n = 12), and from non-smoker non-COPD subjects (C; n = 13). Results: In distal airways, s-COPD highly expressed TLR4 and HBD2. In central airways, S and s-COPD showed increased TLR4 expression. Lower HBD2 expression was observed in central airways of s-COPD when compared to S and to ex-s-COPD. s-COPD had a reduced HBD2 gene expression as demonstrated by real-time PCR on micro-dissected bronchial epithelial cells. Furthermore, HBD2 expression positively correlated with FEV1/FVC ratio and inversely correlated with the cigarette smoke exposure. In a bronchial epithelial cell line (16 HBE) IL-1β significantly induced the HBD2 mRNA expression and cigarette smoke extracts significantly counteracted this IL-1 mediated effect reducing both the activation of NFkB pathway and the interaction between NFkB and HBD2 promoter. Conclusions: This study provides new insights on the possible mechanisms involved in the alteration of innate immunity mechanisms in COPD. © 2012 Pace et al

Prevalence and Antimicrobial Resistance of Enteropathogenic Bacteria in Yellow-Legged Gulls (Larus michahellis) in Southern Italy.

Wild birds may host and spread pathogens, integrating the epidemiology of infectious diseases. Particularly, Larus spp. have been described as responsible for the spread of many enteric diseases, primarily because of their large populations at landfill sites. The aim of this study was to examine the role of yellow-legged gulls as a source of enteropathogenic bacteria such as Campylobacter spp., Salmonella spp., Shiga toxin-producing Escherichia coli and Yersinia spp., with particular attention to antibiotic-resistant strains. Enteropathogenic bacteria were isolated from 93/225 yellow-legged gulls examined from April to July, during a four-year period (2016-2019). Specifically, Campylobacter spp. was isolated from 60/225 samples (26.7%), and identified as C. coli (36/60) and as C. jejuni (24/60). Salmonella spp. was isolated from 3/225 samples (1.3%), and identified as Salmonella arizonae. Shiga toxin-producing E. coli were isolated from 30/225 samples (13.3%) samples, and serotyped as E. coli O128 (12/30) O26 (9/30), O157 (6/30) and O11 (3/30); Yersinia spp. was never detected. Isolated strains exhibited multidrug resistance, including vitally important antibiotics for human medicine (i.e., fluoroquinolones, tetracyclines). Our study emphasizes the importance of yellow-legged gulls as potential reservoirs of pathogenic and resistant strains and their involvement in the dissemination of these bacteria across different environments, with resulting public health concerns

Prevalence and Phenotypic Antimicrobial Resistance among ESKAPE Bacteria and Enterobacterales Strains in Wild Birds

Antimicrobial resistance (AMR) is a current public health issue globally. To counter this phenomenon and prioritize AMR in the health sector, the World Health Organization (WHO) published a list of bacterial pathogens against which the development of new antimicrobial agents is urgently needed, designating the ESKAPE pathogens (i.e., Enterococcus faecium, Staphylococcus aureus, Klebsiella pneumoniae, Acinetobacter baumannii, Pseudomonas aeruginosa, and Enterobacter species) with a 'priority status'. Moreover, the One Health High Level Expert Panel (OHHLEP) states that human health is closely linked to animal and environmental health, thus promoting a holistic One Health approach in order to be prepared to address possible emerging health threats from the human-animal-environment interface. Wild birds may host and spread pathogens, integrating the epidemiology of infectious diseases. The aim of this study was to examine the role of wild birds as a source of ESKAPE bacteria and other antibiotic-resistant enterobacterales. A total of fifty strains within the ESKAPE group were detected in 40/163 cloacal samples of examined birds (24.5%). Additionally, different strains of enterobacterales were detected in 88/163 cloacal samples (53.9%). Isolated strains exhibited antimicrobial resistance, including towards critically important antibiotics (e.g., third, fourth, fifth generation cephalosporins, fluoroquinolones) for human medicine. Our results confirm that wild birds are potential reservoirs of several pathogens and antimicrobial-resistant bacteria and that they could be involved in the dissemination of those bacteria across different environments, with resulting public health concerns

A case of nodular sclerosis Hodgkin’s lymphoma repeatedly relapsing in the context of composite plasma cell-hyaline vascular Castleman’s disease: successful response to rituximab and radiotherapy

We report the case of an Epstein-Barr virus (EBV)- and human immunodeficiency virus-serum negative patient suffering from repeatedly relapsing classical Hodgkin’s Lymphoma (cHL) associated with a histological picture of plasma cell-hyaline vascular (PC-HV) form of Castleman’s disease (CD). The CD30- and CD15- positive, Reed-Sternberg/Hodgkin cells, only occasionally expressed the CD20 molecule, but not leukocyte common antigen and latent membrane protein-1. Single-strand polymerase chain reaction failed to detect human herpesvirus 8 or EBV in the involved tissues. At the time of second relapse in July 2005, the clinical picture was characterized by a palpable right hypogastric mass, disclosed at physical exam, in the absence of other enlarged peripheral lymph nodes, subjective symptoms or laboratory profile alterations. Combined hybrid-(18)F-fluorodeoxyglucose positron emission-computerized tomography (18F-FDG PET/CT) showed increased radionuclide uptake in multiple external iliac lymph nodes [standardized uptake value (SUV) of 7.4] and non-palpable left supraclavicular lymph nodes (SUV of 5.8). Relapsing cHL in the context of mixed PC-HV CD was documented in two of three surgically excised abdominal lymph nodes never previously enlarged or involved by any lymphoproliferative disease. Because of the limited disease extension and failure to induce continuous remission with previous conventional chemoradiotherapy, the patient was treated with six rituximab injections. This immunotherapy induced significant reduction in size of supraclavicular lymph nodes as evident at ultrasound (US) scan (<1 vs. 2.5 cm, post- vs. pretherapy), which was confirmed by the 18F-FDG PET/CT in October 2005, despite no modification in SUV of 4.2. 18F-FDG PET/CT also disclosed no radionuclide uptake by abdominal lymph nodes. Thus, a second course of four additional rituximab injections was given and subsequent 18F-FDG PET/CT indicated persistent, but reduced incorporation of radionuclide compared to the pretherapy value (SUV of 2.7) in the supraclavicular area and confirmed a normal metabolic activity in the iliac external lymph nodes. Because of uncertain persistent disease in the supraclavicular nodal site, involved-field radiotherapy (RT) was delivered in that area as consolidation treatment. After completion of rituximab and RT for 16 and 14 months respectively, US and 18F-FDG PET/CT exams were indicative of complete remission. This case is in concordance with previously published data suggesting that rituximab immunotherapy might be a valid option in the treatment of CD and also have a role in the management of relapsing cHL

Influence of the volume of restorative material on the concentration of stresses in the restorative interface

To evaluate the microtensile strength in the adhesive interface depending on the volume of the composite resin used to restore class I cavities. Forty-eight human third molars received a standardized class I cavity preparation and they were separated i

The atypical 'hippocampal' glutamate receptor coupled to phospholipase D that controls stretch-sensitivity in primary mechanosensory nerve endings is homomeric purely metabotropic GluK2

ACKNOWLEDGEMENTS We would like to thank: Prof. Christophe Mulle, University of Bordeaux, France for the generous donation of the GluK2-Neo mice; Prof. Roberto Pellicciari and Prof. Maura Marinozzi, University of Perugia, Italy for the generous gift of PCCG-13; the Microscopy and Histology core facility at the Institute of Medical Sciences, University of Aberdeen for their support and assistance in some of the imaging in this work. We would also like to thank Prof. Gernot Riedel, University of Aberdeen UK and Prof. David Jane, University of Bristol UK for helpful comments during the work and discussion about drafts of this manuscript.Peer reviewedPublisher PD

17.6% stabilized efficiency in low-temperature processed planar perovskite solar cells

We present here a planar perovskite solar cell with a stabilized power conversion efficiency (PCE) of 17.6% at the maximum power point and a PCE of 17% extracted from quasi-static J–V with an open-circuit voltage of 1.11 V. Such excellent figures of merit can be achieved by engineering a solution-processed electron buffer layer that does not require high temperature steps. A compact thin film of perovskite absorber is grown onto a PCBM-based electron extraction layer by implementing a novel two-step procedure which preserves the soluble organic interlayer during the deposition of successive layers. We demonstrate that efficient charge extraction is the key for high steady state efficiency in perovskite solar cells with a highly integrable architecture

The detector control unit of the fine guidance sensor instrument on-board the ARIEL mission: design status

ARIEL is an ESA mission whose scientific goal is to investigate exoplanetary atmospheres. The payload is composed by two instruments: AIRS (ARIEL IR Spectrometer) and FGS (Fine Guidance System). The FGS detection chain is composed by two HgCdTe detectors and by the cold Front End Electronics (SIDECAR), kept at cryogenic temperatures, interfacing with the F-DCU (FGS Detector Control Unit) boards that we will describe thoroughly in this paper. The F-DCU are situated in the warm side of the payload in a box called FCU (FGS Control Unit) and contribute to the FGS VIS/NIR imaging and NIR spectroscopy. The F-DCU performs several tasks: drives the detectors, processes science data and housekeeping telemetries, manages the commands exchange between the FGS/DPU (Data Processing Unit) and the SIDECARs and provides high quality voltages to the detectors. This paper reports the F-DCU status, describing its architecture, the operation and the activities, past and future necessary for its development