Separation of VUV/UV photons and reactive particles in the effluent of a He/O2 atmospheric pressure plasma jet

Cold atmospheric pressure plasmas can be used for treatment of living tissues or for inactivation of bacteria or biological macromolecules. The treatment is usually characterized by a combined effect of UV and VUV radiation, reactive species, and ions. This combination is usually beneficial for the effectiveness of the treatment but it makes the study of fundamental interaction mechanisms very difficult. Here we report on an effective separation of VUV/UV photons and heavy reactive species in the effluent of a micro scale atmospheric pressure plasma jet ($\mu$-APPJ). The separation is realized by an additional flow of helium gas under well-defined flow conditions, which deflects heavy particles in the effluent without affecting the VUV and UV photons. Both components of the effluent, the photons and the reactive species, can be used separately or in combination for sample treatment. The results of treatment of a model plasma polymer film and vegetative Bacillus subtilis and Escherichia coli cells are shown and discussed. A simple model of the He gas flow and reaction kinetics of oxygen atoms in the gas phase and at the surface is used to provide a better understanding of the processes in the plasma effluent. The new jet modification, called X-Jet for its appearance, will simplify the investigation of interaction mechanisms of atmospheric pressure plasmas with biological samples.Comment: 10 pages, 7 figures, submitted to Journal of Physics D: Applied Physic

Logics for Unranked Trees: An Overview

Labeled unranked trees are used as a model of XML documents, and logical languages for them have been studied actively over the past several years. Such logics have different purposes: some are better suited for extracting data, some for expressing navigational properties, and some make it easy to relate complex properties of trees to the existence of tree automata for those properties. Furthermore, logics differ significantly in their model-checking properties, their automata models, and their behavior on ordered and unordered trees. In this paper we present a survey of logics for unranked trees

FCC study: parameters and optics for hadron and lepton colliders

AbstractA new international study has just been launched to design a hadron collider with a centre-of-mass energy of the order of 100 TeV in a new 80–100 km tunnel as a long-term goal. The design study includes a 90–350 GeV lepton collider, seen as a potential intermediate step, and an ep option. This paper reports on the overall parameters and preliminary optics designs with special emphasis on the Interaction Regions and the constraints arising for having to host both the lepton and the hadron colliders. Preliminary hardware specifications, as magnetic field, gradient, lengths and aperture are also presented

Design of beam optics for the Future Circular Collider e+e- -collider rings

A beam optics scheme has been designed for the Future Circular Collider-e+e- (FCC-ee). The main characteristics of the design are: beam energy 45 to 175 GeV, 100 km circumference with two interaction points (IPs) per ring, horizontal crossing angle of 30 mrad at the IP and the crab-waist scheme [1] with local chromaticity correction. The crab-waist scheme is implemented within the local chromaticity correction system without additional sextupoles, by reducing the strength of one of the two sextupoles for vertical chromatic correction at each side of the IP. So-called "tapering" of the magnets is applied, which scales all fields of the magnets according to the local beam energy to compensate for the effect of synchrotron radiation (SR) loss along the ring. An asymmetric layout near the interaction region reduces the critical energy of SR photons on the incoming side of the IP to values below 100 keV, while matching the geometry to the beam line of the FCC proton collider (FCC-hh) [2] as closely as possible. Sufficient transverse/longitudinal dynamic aperture (DA) has been obtained, including major dynamical effects, to assure an adequate beam lifetime in the presence of beamstrahlung and top-up injection. In particular, a momentum acceptance larger than +/-2% has been obtained, which is better than the momentum acceptance of typical collider rings by about a factor of 2. The effects of the detector solenoids including their compensation elements are taken into account as well as synchrotron radiation in all magnets. The optics presented in this paper is a step toward a full conceptual design for the collider. A number of issues have been identified for further study

To what extent can headteachers be held to account in the practice of social justice leadership?

Internationally, leadership for social justice is gaining prominence as a global travelling theme. This article draws from the Scottish contribution to the International School Leadership Development Network (ISLDN) social justice strand and presents a case study of a relatively small education system similar in size to that of New Zealand, to explore one system's policy expectations and the practice realities of headteachers (principals) seeking to address issues around social justice. Scottish policy rhetoric places responsibility with headteachers to ensure socially just practices within their schools. However, those headteachers are working in schools located within unjust local, national and international contexts. The article explores briefly the emerging theoretical analyses of social justice and leadership. It then identifies the policy expectations, including those within the revised professional standards for headteachers in Scotland. The main focus is on the headteachers' perspectives of factors that help and hinder their practice of leadership for social justice. Macro systems-level data is used to contextualize equity and outcomes issues that headteachers are working to address. In the analysis of the dislocation between policy and reality, the article asks, 'to what extent can headteachers be held to account in the practice of social justice leadership?

Automatic Verification of Parameterized Data Structures

Abstract. Verifying correctness of programs operating on data structures has become an integral part of software verification. A method is a program that acts on an input data structure (modeled as a graph) and produces an output data structure. The parameterized correctness problem for such methods can be defined as follows: Given a method and a property of the input graphs, we wish to verify that for all input graphs, parameterized by their size, the output graphs also satisfy the property. We present an automated approach to verify that a given method preserves a given property for a large class of methods. Examples include reversals of linked lists, insertion, deletion and iterative modification of nodes in directed graphs. Our approach draws on machinery from automata theory and temporal logic. For a useful class of data structures and properties, our solution is polynomial in the size of the method and size of the property specification

Driving pressure during general anesthesia for open abdominal surgery (DESIGNATION) : study protocol of a randomized clinical trial

Background Intraoperative driving pressure (Delta P) is associated with development of postoperative pulmonary complications (PPC). When tidal volume (V-T) is kept constant, Delta P may change according to positive end-expiratory pressure (PEEP)-induced changes in lung aeration. Delta P may decrease if PEEP leads to a recruitment of collapsed lung tissue but will increase if PEEP mainly causes pulmonary overdistension. This study tests the hypothesis that individualized high PEEP, when compared to fixed low PEEP, protects against PPC in patients undergoing open abdominal surgery. Methods The "Driving prESsure durIng GeNeral AnesThesIa for Open abdomiNal surgery trial" (DESIGNATION) is an international, multicenter, two-group, double-blind randomized clinical superiority trial. A total of 1468 patients will be randomly assigned to one of the two intraoperative ventilation strategies. Investigators screen patients aged >= 18 years and with a body mass index <= 40 kg/m(2), scheduled for open abdominal surgery and at risk for PPC. Patients either receive an intraoperative ventilation strategy with individualized high PEEP with recruitment maneuvers (RM) ("individualized high PEEP") or one in which PEEP of 5 cm H2O without RM is used ("low PEEP"). In the "individualized high PEEP" group, PEEP is set at the level at which Delta P is lowest. In both groups of the trial, V-T is kept at 8 mL/kg predicted body weight. The primary endpoint is the occurrence of PPC, recorded as a collapsed composite of adverse pulmonary events. Discussion DESIGNATION will be the first randomized clinical trial that is adequately powered to compare the effects of individualized high PEEP with RM versus fixed low PEEP without RM on the occurrence of PPC after open abdominal surgery. The results of DESIGNATION will support anesthesiologists in their decisions regarding PEEP settings during open abdominal surgery

Fibroblast activation protein is induced by inflammation and degrades type I collagen in thin-cap fibroatheromata

Aims Collagen degradation in atherosclerotic plaques with thin fibrous caps renders them more prone to rupture. Fibroblast activation protein (FAP) plays a role in arthritis and tumour formation through its collagenase activity. However, the significance of FAP in thin-cap human fibroatheromata remains unknown. Methods and results We detected enhanced FAP expression in type IV-V human aortic atheromata (n = 12), compared with type II-III lesions (n = 9; P < 0.01) and healthy aortae (n = 8; P < 0.01) by immunostaining and western blot analyses. Fibroblast activation protein was also increased in thin-cap (<65 µm) vs. thick-cap (≥65 µm) human coronary fibroatheromata (n = 12; P < 0.01). Fibroblast activation protein was expressed by human aortic smooth muscle cells (HASMC) as shown by colocalization on immunofluorescent aortic plaque stainings (n = 10; P < 0.01) and by flow cytometry in cell culture. Although macrophages did not express FAP, macrophage burden in human aortic plaques correlated with FAP expression (n = 12; R2= 0.763; P < 0.05). Enzyme-linked immunosorbent assays showed a time- and dose-dependent up-regulation of FAP in response to human tumour necrosis factor α (TNFα) in HASMC (n = 6; P < 0.01). Moreover, supernatants from peripheral blood-derived macrophages induced FAP expression in cultured HASMC (n = 6; P < 0.01), an effect abolished by blocking TNFα (n = 6; P < 0.01). Fibroblast activation protein associated with collagen-poor regions in human coronary fibrous caps and digested type I collagen and gelatin in vitro (n = 6; P < 0.01). Zymography revealed that FAP-mediated collagenase activity was neutralized by an antibody directed against the FAP catalytic domain both in HASMC (n = 6; P < 0.01) and in fibrous caps of atherosclerotic plaques (n = 10; P < 0.01). Conclusion Fibroblast activation protein expression in HASMC is induced by macrophage-derived TNFα. Fibroblast activation protein associates with thin-cap human coronary fibroatheromata and contributes to type I collagen breakdown in fibrous cap

Fibroblast activation protein is induced by inflammation and degrades type I collagen in thin-cap fibroatheromata

Aims Collagen degradation in atherosclerotic plaques with thin fibrous caps renders them more prone to rupture. Fibroblast activation protein (FAP) plays a role in arthritis and tumour formation through its collagenase activity. However, the significance of FAP in thin-cap human fibroatheromata remains unknown. Methods and results We detected enhanced FAP expression in type IV-V human aortic atheromata (n = 12), compared with type II-III lesions (n = 9; P < 0.01) and healthy aortae (n = 8; P < 0.01) by immunostaining and western blot analyses. Fibroblast activation protein was also increased in thin-cap (<65 µm) vs. thick-cap (≥65 µm) human coronary fibroatheromata (n = 12; P < 0.01). Fibroblast activation protein was expressed by human aortic smooth muscle cells (HASMC) as shown by colocalization on immunofluorescent aortic plaque stainings (n = 10; P < 0.01) and by flow cytometry in cell culture. Although macrophages did not express FAP, macrophage burden in human aortic plaques correlated with FAP expression (n = 12; R(2)= 0.763; P < 0.05). Enzyme-linked immunosorbent assays showed a time- and dose-dependent up-regulation of FAP in response to human tumour necrosis factor α (TNFα) in HASMC (n = 6; P < 0.01). Moreover, supernatants from peripheral blood-derived macrophages induced FAP expression in cultured HASMC (n = 6; P < 0.01), an effect abolished by blocking TNFα (n = 6; P < 0.01). Fibroblast activation protein associated with collagen-poor regions in human coronary fibrous caps and digested type I collagen and gelatin in vitro (n = 6; P < 0.01). Zymography revealed that FAP-mediated collagenase activity was neutralized by an antibody directed against the FAP catalytic domain both in HASMC (n = 6; P < 0.01) and in fibrous caps of atherosclerotic plaques (n = 10; P < 0.01). Conclusion Fibroblast activation protein expression in HASMC is induced by macrophage-derived TNFα. Fibroblast activation protein associates with thin-cap human coronary fibroatheromata and contributes to type I collagen breakdown in fibrous caps