Textured MoS 2 Thin Films Obtained on Tungsten: Electrical Properties of the W/MoS 2 Contact

Textured films of molybdenum disulfide have been obtained by solid state reaction between the constituents in thin films form when a (200) oriented tungsten sheet is used as substrate. The crystallites have their c axis perpendicular to the plane of the substrate. The annealing conditions are T=1073K and t=30 min. The films are stoichoimetric and p type. Such highly textured films are achieved without foreign atom addition (Ni, Co...). It appears, as shown by x-ray photoelectron spectroscopy, that a thin WS2 layer is present at the interface W/MoS2. The crystallization process is discussed by a van der Waals texturation (pseudoepitaxy) onto dangling bond sulfur terminated surfaces, these surfaces being ordered. After characterization of the W/MoS2 structure by x-ray diffraction and x-ray photoelectron spectroscopy, an upper electrode of tungsten was deposited by sputtering. The electrical properties of these W/MoS2/W structures have been investigated by analyzing the behavior of the current–voltage characteristics as a function of the measuring temperature. It is shown that an ohmic contact is obtained with a contact resistance smaller than the resistance of the MoS2 film

Programming Languages For Hard Real-Time Embedded Systems

International audienceHard real-time embedded systems have traditionally been implemented using low level programming languages (such as ADA or C) at a level very close to the underlying operating system. However, for several years now the industry has started using higher level modelling languages, at least for early simulation and verification steps. The objective of this paper is to study existing formal languages including high level real-time primitives. Our review is built on the case study of an aerospace automated transfer vehicle, the particularity of which is to be composed of several multi-periodic communicating processes. In this paper, we emphasize the strengths and weaknesses of existing programming approaches when implementing this kind of system. As a result, the choice of the base rate of the program appears to have a major influence, not only on the difficulty to program the system correctly but also on the execution platform required to execute the program (operating system, scheduler, ...)

Absence of system xc⁻ on immune cells invading the central nervous system alleviates experimental autoimmune encephalitis

Background: Multiple sclerosis (MS) is an autoimmune demyelinating disease that affects the central nervous system (CNS), leading to neurodegeneration and chronic disability. Accumulating evidence points to a key role for neuroinflammation, oxidative stress, and excitotoxicity in this degenerative process. System x(c)- or the cystine/glutamate antiporter could tie these pathological mechanisms together: its activity is enhanced by reactive oxygen species and inflammatory stimuli, and its enhancement might lead to the release of toxic amounts of glutamate, thereby triggering excitotoxicity and neurodegeneration. Methods: Semi-quantitative Western blotting served to study protein expression of xCT, the specific subunit of system x(c)-, as well as of regulators of xCT transcription, in the normal appearing white matter (NAWM) of MS patients and in the CNS and spleen of mice exposed to experimental autoimmune encephalomyelitis (EAE), an accepted mouse model of MS. We next compared the clinical course of the EAE disease, the extent of demyelination, the infiltration of immune cells and microglial activation in xCT-knockout (xCT(-/-)) mice and irradiated mice reconstituted in xCT(-/-) bone marrow (BM), to their proper wild type (xCT(+/+)) controls. Results: xCT protein expression levels were upregulated in the NAWM of MS patients and in the brain, spinal cord, and spleen of EAE mice. The pathways involved in this upregulation in NAWM of MS patients remain unresolved. Compared to xCT(+/+) mice, xCT(-/-) mice were equally susceptible to EAE, whereas mice transplanted with xCT(-/-) BM, and as such only exhibiting loss of xCT in their immune cells, were less susceptible to EAE. In none of the above-described conditions, demyelination, microglial activation, or infiltration of immune cells were affected. Conclusions: Our findings demonstrate enhancement of xCT protein expression in MS pathology and suggest that system x(c)- on immune cells invading the CNS participates to EAE. Since a total loss of system x(c)- had no net beneficial effects, these results have important implications for targeting system x(c)- for treatment of MS

CNS-targeted glucocorticoid reduces pathology in mouse model of amyotrophic lateral sclerosis

Hallmarks of CNS inflammation, including microglial and astrocyte activation, are prominent features in post-mortem tissue from amyotrophic lateral sclerosis (ALS) patients and in mice overexpressing mutant superoxide dismutase-1 (SOD1 G93A ). Administration of non-targeted glucocorticoids does not significantly alter disease progression, but this may reflect poor CNS delivery. Here, we sought to discover whether CNS-targeted, liposomal encapsulated glucocorticoid would inhibit the CNS inflammatory response and reduce motor neuron loss. SOD1 G93A mice were treated with saline, free methylprednisolone (MP, 10 mg/kg/week) or glutathione PEGylated liposomal MP (2B3-201, 10 mg/kg/week) and compared to saline treated wild-type animals. Animals were treated weekly with intravenous injections for 9 weeks from 60 days of age. Weights and motor performance were monitored during this period. At the end of the experimental period (116 days) mice were imaged using T 2-weighted MRI for brainstem pathology; brain and spinal cord tissue were then collected for histological analysis

Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach

International audienceSynchronous Programming (SP) is a universal computational principle that provides deterministic concurrency. The same input sequence with the same timing always results in the same externally observable output sequence, even if the internal behaviour generates uncertainty in the scheduling of concurrent memory accesses. Consequently, SP languages have always been strongly founded on mathematical semantics that support formal program analysis. So far, however, communication has been constrained to a set of primitive clock-synchronised shared memory (csm) data types, such as data-flow registers, streams and signals with restricted read and write accesses that limit modularity and behavioural abstractions. This paper proposes an extension to the SP theory which retains the advantages of deterministic concurrency, but allows communication to occur at higher levels of abstraction than currently supported by SP data types. Our approach is as follows. To avoid data races, each csm type publishes a policy interface for specifying the admissibility and precedence of its access methods. Each instance of the csm type has to be policy-coherent, meaning it must behave deterministically under its own policy-a natural requirement if the goal is to build deterministic systems that use these types. In a policy-constructive system, all access methods can be scheduled in a policy-conformant way for all the types without deadlocking. In this paper, we show that a policy-constructive program exhibits deterministic concurrency in the sense that all policy-conformant interleavings produce the same input-output behaviour. Policies are conservative and support the csm types existing in current SP languages. Technically, we introduce a kernel SP language that uses arbitrary policy-driven csm types. A big-step fixed-point semantics for this language is developed for which we prove determinism and termination of constructive programs

Distinct endocrine effects of chronic haloperidol or risperidone administration in male rats

Antipsychotic drugs have been used effectively for the treatment of schizophrenia symptoms, but they are often associated with metabolic side effects such as weight gain and endocrine disruptions. To investigate the possible mechanisms of antipsychotic-induced metabolic effects, we studied the impact of chronic administration of a typical antipsychotic drug (haloperidol) and an atypical antipsychotic (risperidone) to male rats on food intake, body weight, adiposity, and the circulating concentrations of hormones and metabolites that can influence energy homeostasis. Chronic (28 days) haloperidol administration had no effect on food intake, weight gain or adiposity in male rats, whereas risperidone treatment resulted in a transient reduction in food intake and significantly reduced body weight gain compared to vehicle-treated control rats. Whereas neither antipsychotic had any effect on serum lipid profiles, glucose tolerance or the circulating concentrations of hormones controlled by the hypothalamo-pituitary-thyroid (free T4), -adrenal (corticosterone), -somatotropic (IGF-1), or -gonadotropic axes (testosterone), haloperidol increased circulating insulin levels and risperidone increased serum glucagon levels. This finding suggests that haloperidol or risperidone induce distinct metabolic effects. Since metabolic disorders such as obesity and type 2 diabetes mellitus represent serious health issues, understanding antipsychotic-induced endocrine and metabolic effects may ultimately allow better control of these side effects

Olanzapine-Induced Hyperphagia and Weight Gain Associate with Orexigenic Hypothalamic Neuropeptide Signaling without Concomitant AMPK Phosphorylation

The success of antipsychotic drug treatment in patients with schizophrenia is limited by the propensity of these drugs to induce hyperphagia, weight gain and other metabolic disturbances, particularly evident for olanzapine and clozapine. However, the molecular mechanisms involved in antipsychotic-induced hyperphagia remain unclear. Here, we investigate the effect of olanzapine administration on the regulation of hypothalamic mechanisms controlling food intake, namely neuropeptide expression and AMP-activated protein kinase (AMPK) phosphorylation in rats. Our results show that subchronic exposure to olanzapine upregulates neuropeptide Y (NPY) and agouti related protein (AgRP) and downregulates proopiomelanocortin (POMC) in the arcuate nucleus of the hypothalamus (ARC). This effect was evident both in rats fed ad libitum and in pair-fed rats. Of note, despite weight gain and increased expression of orexigenic neuropeptides, subchronic administration of olanzapine decreased AMPK phosphorylation levels. This reduction in AMPK was not observed after acute administration of either olanzapine or clozapine. Overall, our data suggest that olanzapine-induced hyperphagia is mediated through appropriate changes in hypothalamic neuropeptides, and that this effect does not require concomitant AMPK activation. Our data shed new light on the hypothalamic mechanism underlying antipsychotic-induced hyperphagia and weight gain, and provide the basis for alternative targets to control energy balance

Autoacetylation of the Ralstonia solanacearum Effector PopP2 Targets a Lysine Residue Essential for RRS1-R-Mediated Immunity in Arabidopsis

Type III effector proteins from bacterial pathogens manipulate components of host immunity to suppress defence responses and promote pathogen development. In plants, host proteins targeted by some effectors called avirulence proteins are surveyed by plant disease resistance proteins referred to as “guards”. The Ralstonia solanacearum effector protein PopP2 triggers immunity in Arabidopsis following its perception by the RRS1-R resistance protein. Here, we show that PopP2 interacts with RRS1-R in the nucleus of living plant cells. PopP2 belongs to the YopJ-like family of cysteine proteases, which share a conserved catalytic triad that includes a highly conserved cysteine residue. The catalytic cysteine mutant PopP2-C321A is impaired in its avirulence activity although it is still able to interact with RRS1-R. In addition, PopP2 prevents proteasomal degradation of RRS1-R, independent of the presence of an integral PopP2 catalytic core. A liquid chromatography/tandem mass spectrometry analysis showed that PopP2 displays acetyl-transferase activity leading to its autoacetylation on a particular lysine residue, which is well conserved among all members of the YopJ family. These data suggest that this lysine residue may correspond to a key binding site for acetyl-coenzyme A required for protein activity. Indeed, mutation of this lysine in PopP2 abolishes RRS1-R-mediated immunity. In agreement with the guard hypothesis, our results favour the idea that activation of the plant immune response by RRS1-R depends not only on the physical interaction between the two proteins but also on its perception of PopP2 enzymatic activity

Implantation of Mouse Embryonic Stem Cell-Derived Cardiac Progenitor Cells Preserves Function of Infarcted Murine Hearts

Stem cell transplantation holds great promise for the treatment of myocardial infarction injury. We recently described the embryonic stem cell-derived cardiac progenitor cells (CPCs) capable of differentiating into cardiomyocytes, vascular endothelium, and smooth muscle. In this study, we hypothesized that transplanted CPCs will preserve function of the infarcted heart by participating in both muscle replacement and neovascularization. Differentiated CPCs formed functional electromechanical junctions with cardiomyocytes in vitro and conducted action potentials over cm-scale distances. When transplanted into infarcted mouse hearts, CPCs engrafted long-term in the infarct zone and surrounding myocardium without causing teratomas or arrhythmias. The grafted cells differentiated into cross-striated cardiomyocytes forming gap junctions with the host cells, while also contributing to neovascularization. Serial echocardiography and pressure-volume catheterization demonstrated attenuated ventricular dilatation and preserved left ventricular fractional shortening, systolic and diastolic function. Our results demonstrate that CPCs can engraft, differentiate, and preserve the functional output of the infarcted heart