On the Formation of Copper Linear Atomic Suspended Chains

We report high resolution transmission electron microscopy and classical molecular dynamics simulation results of mechanically stretching copper nanowires conducting to linear atomic suspended chains (LACs) formation. In contrast with some previous experimental and theoretical work in literature that stated that the formation of LACs for copper should not exist our results showed the existence of LAC for the [111], [110], and [100] crystallographic directions, being thus the sequence of most probable occurence.Comment: 4 pages, 3 figure

A New Linear Logic for Deadlock-Free Session-Typed Processes

The π -calculus, viewed as a core concurrent programming language, has been used as the target of much research on type systems for concurrency. In this paper we propose a new type system for deadlock-free session-typed π -calculus processes, by integrating two separate lines of work. The first is the propositions-as-types approach by Caires and Pfenning, which provides a linear logic foundation for session types and guarantees deadlock-freedom by forbidding cyclic process connections. The second is Kobayashi’s approach in which types are annotated with priorities so that the type system can check whether or not processes contain genuine cyclic dependencies between communication operations. We combine these two techniques for the first time, and define a new and more expressive variant of classical linear logic with a proof assignment that gives a session type system with Kobayashi-style priorities. This can be seen in three ways: (i) as a new linear logic in which cyclic structures can be derived and a CYCLE -elimination theorem generalises CUT -elimination; (ii) as a logically-based session type system, which is more expressive than Caires and Pfenning’s; (iii) as a logical foundation for Kobayashi’s system, bringing it into the sphere of the propositions-as-types paradigm

Early growth response gene-2 (Egr-2) regulates the development of B and T cells

The study was supported by Arthritis Research UK. Copyright @ 2011 Li et al.BACKGROUND: Understanding of how transcription factors are involved in lymphocyte development still remains a challenge. It has been shown that Egr-2 deficiency results in impaired NKT cell development and defective positive selection of T cells. Here we investigated the development of T, B and NKT cells in Egr-2 transgenic mice and the roles in the regulation of distinct stages of B and T cell development. METHODS AND FINDINGS: The expression of Egr1, 2 and 3 were analysed at different stages of T and B cell development by RT-PCT and results showed that the expression was strictly regulated at different stages. Forced expression of Egr-2 in CD2+ lymphocytes resulted in a severe reduction of CD4+CD8+ (DP) cells in thymus and pro-B cells in bone marrow, which was associated with reduced expression of Notch1 in ISP thymocytes and Pax5 in pro-B cells, suggesting that retraction of Egr-2 at the ISP and pro-B cell stages is important for the activation of lineage differentiation programs. In contrast to reduction of DP and pro-B cells, Egr-2 enhanced the maturation of DP cells into single positive (SP) T and NKT cells in thymus, and immature B cells into mature B cells in bone marrow. CONCLUSIONS: Our results demonstrate that Egr-2 expressed in restricted stages of lymphocyte development plays a dynamic, but similar role for the development of T, NKT and B cells.This article is provided by the Brunel Open Access publishing fund

Desing and Validation of a Light Inference System to Support Embedded Context Reasoning

Embedded context management in resource-constrained devices (e.g. mobile phones, autonomous sensors or smart objects) imposes special requirements in terms of lightness for data modelling and reasoning. In this paper, we explore the state-of-the-art on data representation and reasoning tools for embedded mobile reasoning and propose a light inference system (LIS) aiming at simplifying embedded inference processes offering a set of functionalities to avoid redundancy in context management operations. The system is part of a service-oriented mobile software framework, conceived to facilitate the creation of context-aware applications—it decouples sensor data acquisition and context processing from the application logic. LIS, composed of several modules, encapsulates existing lightweight tools for ontology data management and rule-based reasoning, and it is ready to run on Java-enabled handheld devices. Data management and reasoning processes are designed to handle a general ontology that enables communication among framework components. Both the applications running on top of the framework and the framework components themselves can configure the rule and query sets in order to retrieve the information they need from LIS. In order to test LIS features in a real application scenario, an ‘Activity Monitor’ has been designed and implemented: a personal health-persuasive application that provides feedback on the user’s lifestyle, combining data from physical and virtual sensors. In this case of use, LIS is used to timely evaluate the user’s activity level, to decide on the convenience of triggering notifications and to determine the best interface or channel to deliver these context-aware alerts.

Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion

We present the first session typing system guaranteeing request-response liveness properties for possibly non-terminating communicating processes. The types augment the branch and select types of the standard binary session types with a set of required responses, indicating that whenever a particular label is selected, a set of other labels, its responses, must eventually also be selected. We prove that these extended types are strictly more expressive than standard session types. We provide a type system for a process calculus similar to a subset of collaborative BPMN processes with internal (data-based) and external (event-based) branching, message passing, bounded and unbounded looping. We prove that this type system is sound, i.e., it guarantees request-response liveness for dead-lock free processes. We exemplify the use of the calculus and type system on a concrete example of an infinite state system.Comment: Accepted for publication in Logical Methods in Computer Scienc

High prevalence and early occurrence of skeletal complications in EGFR mutated NSCLC patients with bone metastases

Objectives: The prevalence of Skeletal Related Adverse Events (SREs) in EGFR mutated non-small cell lung cancer (NSCLC) patients with bone metastases, treated with modern tyrosine kinase inhibitors (TKIs), has been scarcely investigated. Materials and Methods: We retrospectively evaluated the data of EGFR mutated NSCLC patients with bone metastases treated with TKIs in 12 Italian centers from 2014 to 2019, with the primary aim to explore type and frequency of SREs. Results: Seventy-seven out of 274 patients enrolled (28%) developed at least one major SRE: 55/274 (20%) bone fractures, 30/274 (11%) spinal cord compression, 5/274 (2%) hypercalcemia. Median time to the onset of SRE was 3.63 months. Nine patients (3%) underwent bone surgery and 150 (55%) radiation therapy on bone. SREs were more frequently observed within the 12 months from TKI start than afterwards (71 vs 29%, p 0.000). Patient Performance Status and liver metastases where independently associated with the risk of developing SREs. Median TKI exposure and overall survival were 11 and 28 months, respectively. Bone resorption inhibitors were associated with a lower risk of death (HR 0.722, 95% CI: 0.504–1.033, p = 0.075) although not statistically significant at multivariate analysis. Conclusion: Bone metastatic NSCLC patients with EGFR mutated disease, treated with EGFR TKIs, have a relatively long survival expectancy and are at high risk to develop SREs. The early SRE occurrence after the TKI start provides the rationale to administer bone resorption inhibitors

Single-arm, open label prospective trial to assess prediction of the role of ERCC1/XPF complex in the response of advanced NSCLC patients to platinum-based chemotherapy

Background: Platinum-based therapy, combined or not with immune checkpoint inhibitors, represents a front-line choice for patients with non-small-cell lung cancer (NSCLC). Despite the improved outcomes in the last years for this malignancy, only a sub-group of patients have long-term benefit. Excision repair cross-complementation group 1 (ERCC1) has been considered a potential biomarker to predict the outcome of platinum-based chemotherapy in NSCLC. However, the ERCC1 gene is transcribed in four splice variants where the isoform 202 was described as the only one active and able to complex Xeroderma pigmentosum group F-complementing protein (XPF). Here, we prospectively investigated if the active form of ERCC1, as assessed by the ERCC1/XPF complex (ERCC1/XPF), could predict the sensitivity to platinum compounds.Patients and methods: Prospectively enrolled, patients with advanced NSCLC treated with a first-line regimen containing platinum were centrally evaluated for ERCC1/XPF by a proximity ligation assay. Overall survival (OS), progression-free survival (PFS) and objective response rate (ORR) were analyzed.Results: The absence of the ERCC1/XPF in the tumor suggested a trend of worst outcomes in terms of both OS [hazard ratio (HR) 1.41, 95% confidence interval (CI) 0.67-2.94, P 0.373] and PFS (HR 1.61, 95% CI 0.88-3.03, P = 0.123). ORR was marginally influenced in ERCC1/XPF-negative and -positive groups [odds ratio (stable disease progressive disease versus complete response partial response) 0.87, 95% a 0.25-3.07, P = 0.832].Conclusion: The lack of ERCC1/XPF complex in NSCLC tumor cells might delineate a group of patients with poor outcomes when treated with platinum compounds. ERCC1/XPF absence might well identify patients for whom a different therapeutic approach could be necessary

Flux Modulations seen by the Muon Veto of the GERDA Experiment

The GERDA experiment at LNGS of INFN is equipped with an active muon veto. The main part of the system is a water Cherenkov veto with 66~PMTs in the water tank surrounding the GERDA cryostat. The muon flux recorded by this veto shows a seasonal modulation. Two effects have been identified which are caused by secondary muons from the CNGS neutrino beam (2.2 %) and a temperature modulation of the atmosphere (1.4 %). A mean cosmic muon rate of $I^0_{\mu} = (3.477 \pm 0.002_{\textrm{stat}} \pm 0.067_{\textrm{sys}}) \times 10^{-4}$/(s$\cdot$m$^2$) was found in good agreement with other experiments at LNGS at a depth of 3500~meter water equivalent.Comment: 7 pages, 6 figure

Overview of progress in European medium sized tokamaks towards an integrated plasma-edge/wall solution

Integrating the plasma core performance with an edge and scrape-off layer (SOL) that leads to tolerable heat and particle loads on the wall is a major challenge. The new European medium size tokamak task force (EU-MST) coordinates research on ASDEX Upgrade (AUG), MAST and TCV. This multi-machine approach within EU-MST, covering a wide parameter range, is instrumental to progress in the field, as ITER and DEMO core/pedestal and SOL parameters are not achievable simultaneously in present day devices. A two prong approach is adopted. On the one hand, scenarios with tolerable transient heat and particle loads, including active edge localised mode (ELM) control are developed. On the other hand, divertor solutions including advanced magnetic configurations are studied. Considerable progress has been made on both approaches, in particular in the fields of: ELM control with resonant magnetic perturbations (RMP), small ELM regimes, detachment onset and control, as well as filamentary scrape-off-layer transport. For example full ELM suppression has now been achieved on AUG at low collisionality with n  =  2 RMP maintaining good confinement HH(98,y2)≈0.95. Advances have been made with respect to detachment onset and control. Studies in advanced divertor configurations (Snowflake, Super-X and X-point target divertor) shed new light on SOL physics. Cross field filamentary transport has been characterised in a wide parameter regime on AUG, MAST and TCV progressing the theoretical and experimental understanding crucial for predicting first wall loads in ITER and DEMO. Conditions in the SOL also play a crucial role for ELM stability and access to small ELM regimes.Integrating the plasma core performance with an edge and scrape-off layer (SOL) that leads to tolerable heat and particle loads on the wall is a major challenge. The new European medium size tokamak task force (EU-MST) coordinates research on ASDEX Upgrade (AUG), MAST and TCV. This multi-machine approach within EU-MST, covering a wide parameter range, is instrumental to progress in the field, as ITER and DEMO core/pedestal and SOL parameters are not achievable simultaneously in present day devices. A two prong approach is adopted. On the one hand, scenarios with tolerable transient heat and particle loads, including active edge localised mode (ELM) control are developed. On the other hand, divertor solutions including advanced magnetic configurations are studied. Considerable progress has been made on both approaches, in particular in the fields of: ELM control with resonant magnetic perturbations (RMP), small ELM regimes, detachment onset and control, as well as filamentary scrape-off-layer transport. For example full ELM suppression has now been achieved on AUG at low collisionality with n = 2 RMP maintaining good confinement H-H(98,H-y2) approximate to 0.95. Advances have been made with respect to detachment onset and control. Studies in advanced divertor configurations (Snowflake, Super-X and X-point target divertor) shed new light on SOL physics. Cross field filamentary transport has been characterised in a wide parameter regime on AUG, MAST and TCV progressing the theoretical and experimental understanding crucial for predicting first wall loads in ITER and DEMO. Conditions in the SOL also play a crucial role for ELM stability and access to small ELM regimes.Peer reviewe