Muller C-element based Decoder (MCD): A Decoder Against Transient Faults

This work extends the analysis and application of a digital error correction method called Muller C-element Decoding (MCD), which has been proposed for fault masking in logic circuits comprised of unreliable elements. The proposed technique employs cascaded Muller C-elements and XOR gates to achieve efficient error-correction in the presence of internal upsets. The error-correction analysis of MCD architecture and the investigation of C-element’s robustness are first introduced. We demonstrate that the MCD is able to produce error-correction benefit in a high error-rate of internal faults. Significantly, for a (3,6) short-length LDPC code, when the decoding process is internally error-free the MCD achieves also a gain in terms of decoding performance by comparison to the well-known Gallager Bit-Flipping method. We further consider application of MCD to a general-purpose fault-tolerant model, coded Dual Modular Redundancy (cDMR), which offers low-redundancy error-resilience for contemporary logic systems as well as future nanoeletronic architectures

Empirical assessment of generating adversarial configurations for software product lines

Software product line (SPL) engineering allows the derivation of products tailored to stakeholders’ needs through the setting of a large number of configuration options. Unfortunately, options and their interactions create a huge configuration space which is either intractable or too costly to explore exhaustively. Instead of covering all products, machine learning (ML) approximates the set of acceptable products (e.g., successful builds, passing tests) out of a training set (a sample of configurations). However, ML techniques can make prediction errors yielding non-acceptable products wasting time, energy and other resources. We apply adversarial machine learning techniques to the world of SPLs and craft new configurations faking to be acceptable configurations but that are not and vice-versa. It allows to diagnose prediction errors and take appropriate actions. We develop two adversarial configuration generators on top of state-of-the-art attack algorithms and capable of synthesizing configurations that are both adversarial and conform to logical constraints. We empirically assess our generators within two case studies: an industrial video synthesizer (MOTIV) and an industry-strength, open-source Web-app configurator (JHipster). For the two cases, our attacks yield (up to) a 100% misclassification rate without sacrificing the logical validity of adversarial configurations. This work lays the foundations of a quality assurance framework for ML-based SPLs

ATLAS Distributed Data management Operations

ATLAS Distributed Data Management (DDM) service is developed for data transfer between ATLAS sites and for data cataloguing. The Data Management Software (SW) is based on DQ2 and end-users tools (aka dq2_get package). In this paper we address the issue of DDM day-by-day operation, DDM operations team organization, roles and responsibilities of Tier-1s and Tier-2s DDM coordinators

Electrical detection of spin accumulation in a p-type GaAs quantum well

We report on experiments in which a spin-polarized current is injected from a $GaMnAs$ ferromagnetic electrode into a $GaAs$ quantum well through an AlAs barrier. The resulting spin polarization in the GaAs well is detected by measuring how the current, tunneling to a second $GaMnAs$ ferromagnetic electrode, depends on the orientation of its magnetization. Our results can be accounted for the non-relaxed spin splitting of the chemical potential, that is spin accumulation, in the $GaAs$ well. We discuss the conditions on the hole spin relaxation time in GaAs that are required to obtain the large effects we observe.Comment: 4 pages - 2 figues; one added note; some numbers corrected on page

Center manifold and multivariable approximants applied to non-linear stability analysis

This paper presents a research devoted to the study of instability phenomena in non-linear model with a constant brake friction coefficient. This paper outlines the stability analysis and a procedure to reduce and simplify the non-linear system, in order to obtain limit cycle amplitudes. The center manifold approach, the multivariable approximants theory, and the alternate frequency/time domain (AFT) method are applied. Brake vibrations, and more specifically heavy trucks grabbing are concerned. The modelling introduces sprag-slip mechanism based on dynamic coupling due to buttressing. The non-linearity is expressed as a polynomial with quadratic and cubic terms. This model does not require the use of brake negative coefficient, in order to predict the instability phenomena. Finally, the center manifold approach, the multivariable approximants, and the AFT method are used in order to obtain equations for the limit cycle amplitudes. These methods allow the reduction of the number of equations of the original system in order to obtain a simplified system, without loosing the dynamics of the original system, as well as the contributions of non-linear terms. The goal is the validation of this procedure for a complex non-linear model by comparing results obtained by solving the full system and by using these methods. The brake friction coefficient is used as an unfolding parameter of the fundamental Hopf bifurcation point

Breakdown of Conformal Invariance at Strongly Random Critical Points

We consider the breakdown of conformal and scale invariance in random systems with strongly random critical points. Extending previous results on one-dimensional systems, we provide an example of a three-dimensional system which has a strongly random critical point. The average correlation functions of this system demonstrate a breakdown of conformal invariance, while the typical correlation functions demonstrate a breakdown of scale invariance. The breakdown of conformal invariance is due to the vanishing of the correlation functions at the infinite disorder fixed point, causing the critical correlation functions to be controlled by a dangerously irrelevant operator describing the approach to the fixed point. We relate the computation of average correlation functions to a problem of persistence in the RG flow.Comment: 9 page

Relationship Between Serum NMDA Receptor Antibodies and Response to Antipsychotic Treatment in First-Episode Psychosis

Background: When psychosis develops in NMDA receptor (NMDAR) antibody encephalitis, it usually has an acute or subacute onset, and antipsychotic treatment may be ineffective and associated with adverse effects. Serum NMDAR antibodies have been reported in a minority of patients with first-episode psychosis (FEP), but their role in psychosis onset and response to antipsychotic treatment is unclear. Methods: Sera from 387 patients with FEP (duration of psychosis <2 years, minimally or never treated with antipsychotics) undergoing initial treatment with amisulpride as part of the OPTiMiSE (Optimization of Treatment and Management of Schizophrenia in Europe) trial (ClinicalTrials.gov number NCT01248195) were tested for NMDAR IgG antibodies using a live cell–based assay. Symptom severity was assessed using the Positive and Negative Syndrome Scale and the Clinical Global Impressions Scale at baseline and again after 4 weeks of treatment with amisulpride. Results: At baseline, 15 patients were seropositive for NMDAR antibodies and 372 were seronegative. The seropositive patients had similar symptom profiles and demographic features to seronegative patients but a shorter duration of psychosis (median 1.5 vs. 4.0 months; p =.031). Eleven seropositive and 284 seronegative patients completed 4 weeks of amisulpride treatment: after treatment, there was no between-groups difference in improvement in Positive and Negative Syndrome Scale scores or in the frequency of adverse medication effects. Conclusions: These data suggest that in FEP, NMDAR antibody seropositivity alone is not an indication for using immunotherapy instead of antipsychotic medications. Further studies are required to establish what proportion of patients with FEP who are NMDAR antibody seropositive have coexisting cerebrospinal fluid inflammatory changes or other paraclinical evidence suggestive of a likely benefit from immunotherapy

Comparison of reconstruction methods used during liver transplantation in case of a graft with replaced or accessory right hepatic artery:A retrospective study

Variations in graft arterial anatomy can increase the risk of postoperative hepatic arterial thrombosis (HAT), especially in presence of a replaced or accessory right hepatic artery (RHA). We retrospectively analyzed 223 cases of liver transplantations with the presence of an RHA on the graft. Patient outcomes were compared according to the four different reconstruction methods used: (i) the re-implantation of the RHA into the splenic or gastroduodenal artery (n = 106); (ii) the interposition of the superior mesenteric artery (SMA) (n = 83); (iii) dual anastomosis (n = 24); (iv) use of an aortic patch including the origins of both the SMA and the coeliac trunk (n = 10). A competing risk analysis and Inverse Probability Weighting (IPW) were used. We found that the interposition of the SMA method was associated with a significantly lower incidence of HAT, at 4.8% compared to the re-implantation method at 17.9%, dual anastomosis at 12.5%, and aortic patch at 20%, p =.03. In the competing risk analysis with IPW, the only risk factor for RHA thrombosis was the type of reconstruction. Taking the SMA interposition group as the reference, the sub-hazard ratio (sHR) was 5.05 (CI 95 [1.72; 14.78], p &lt;.01) for the re-implantation group, sHR = 2.37 (CI 95 [0.51; 11.09], p =.27) for the dual anastomosis group and sHR = 2.24 (CI 95 [0.35; 14.33], p =.40) for the aortic patch group. There were no differences for intraoperative transfusion, hospitalization duration (p =.37) or incidence of severe complications (p =.1). The long-term graft (p =.69) and patient (p =.52) survival was not different. In conclusion, the SMA interposition method was associated with a lower incidence of RHA thrombosis.</p