Absence of nonhematopoietic MHC class II expression protects mice from experimental autoimmune myocarditis.

Experimental autoimmune myocarditis (EAM) is a CD4(+) T-cell-mediated model of human inflammatory dilated cardiomyopathies. Heart-specific CD4(+) T-cell activation is dependent on autoantigens presented by MHC class II (MHCII) molecules expressed on professional APCs. In this study, we addressed the role of inflammation-induced MHCII expression by cardiac nonhematopoietic cells on EAM development. EAM was induced in susceptible mice lacking inducible expression of MHCII molecules on all nonhematopoietic cells (pIV-/- K14 class II transactivator (CIITA) transgenic (Tg) mice) by immunization with α-myosin heavy chain peptide in CFA. Lack of inducible nonhematopoietic MHCII expression in pIV-/- K14 CIITA Tg mice conferred EAM resistance. In contrast, cardiac pathology was induced in WT and heterozygous mice, and correlated with elevated cardiac endothelial MHCII expression. Control mice with myocarditis displayed an increase in infiltrating CD4(+) T cells and in expression of IFN-γ, which is the major driver of nonhematopoietic MHCII expression. Mechanistically, IFN-γ neutralization in WT mice shortly before disease onset resulted in reduced cardiac MHCII expression and pathology. These findings reveal a previously overlooked contribution of IFN-γ to induce endothelial MHCII expression in the heart and to progress cardiac pathology during myocarditis.

T Cell Priming by Activated Nlrc5-Deficient Dendritic Cells Is Unaffected despite Partially Reduced MHC Class I Levels.

NLRC5, a member of the NOD-like receptor (NLR) protein family, has recently been characterized as the master transcriptional regulator of MHCI molecules in lymphocytes, in which it is highly expressed. However, its role in activated dendritic cells (DCs), which are instrumental to initiate T cell responses, remained elusive. We show in this study that, following stimulation of DCs with inflammatory stimuli, not only did NLRC5 level increase, but also its importance in directing MHCI transcription. Despite markedly reduced mRNA and intracellular H2-K levels, we unexpectedly observed nearly normal H2-K surface display in Nlrc5(-/-) DCs. Importantly, this discrepancy between a strong intracellular and a mild surface defect in H2-K levels was observed also in DCs with H2-K transcription defects independent of Nlrc5. Hence, alongside with demonstrating the importance of NLRC5 in MHCI transcription in activated DCs, we uncover a general mechanism counteracting low MHCI surface expression. In agreement with the decreased amount of neosynthesized MHCI, Nlrc5(-/-) DCs exhibited a defective capacity to display endogenous Ags. However, neither T cell priming by endogenous Ags nor cross-priming ability was substantially affected in activated Nlrc5(-/-) DCs. Altogether, these data show that Nlrc5 deficiency, despite significantly affecting MHCI transcription and Ag display, is not sufficient to hinder T cell activation, underlining the robustness of the T cell priming process by activated DCs.

Direct Interrogation of Viral Peptides Presented by the Class I HLA of HIV-Infected T Cells

Identification of CD8+ cytotoxic T lymphocyte (CTL) epitopes has traditionally relied upon testing of overlapping peptide libraries for their reactivity with T cells in vitro. Here, we pursued deep ligand sequencing (DLS) as an alternative method of directly identifying those ligands that are epitopes presented to CTLs by the class I human leukocyte antigens (HLA) of infected cells. Soluble class I HLA-A*11:01 (sHLA) was gathered from HIV-1 NL4-3-infected human CD4+ SUP-T1 cells. HLA-A*11:01 harvested from infected cells was immunoaffinity purified and acid boiled to release heavy and light chains from peptide ligands that were then recovered by size-exclusion filtration. The ligands were first fractionated by high-pH high-pressure liquid chromatography and then subjected to separation by nano-liquid chromatography (nano-LC)–mass spectrometry (MS) at low pH. Approximately 10 million ions were selected for sequencing by tandem mass spectrometry (MS/MS). HLA-A*11:01 ligand sequences were determined with PEAKS software and confirmed by comparison to spectra generated from synthetic peptides. DLS identified 42 viral ligands presented by HLA-A*11:01, and 37 of these were previously undetected. These data demonstrate that (i) HIV-1 Gag and Nef are extensively sampled, (ii) ligand length variants are prevalent, particularly within Gag and Nef hot spots where ligand sequences overlap, (iii) noncanonical ligands are T cell reactive, and (iv) HIV-1 ligands are derived from de novo synthesis rather than endocytic sampling. Next-generation immunotherapies must factor these nascent HIV-1 ligand length variants and the finding that CTL-reactive epitopes may be absent during infection of CD4+ T cells into strategies designed to enhance T cell immunity.

SMRT-mediated co-shuttling enables export of class IIa HDACs independent of their CaM kinase phosphorylation sites

The Class IIa histone deacetylases (HDAC)4 and HDAC5 play a role in neuronal survival and behavioral adaptation in the CNS. Phosphorylation at 2/3 N-terminal sites promote their nuclear export. We investigated whether non-canonical signaling routes to Class IIa HDAC export exist because of their association with the co-repressor Silencing Mediator Of Retinoic And Thyroid Hormone Receptors (SMRT). We found that, while HDAC5 and HDAC4 mutants lacking their N-terminal phosphorylation sites (HDAC4(MUT), HDAC5(MUT)) are constitutively nuclear, co-expression with SMRT renders them exportable by signals that trigger SMRT export, such as synaptic activity, HDAC inhibition, and Brain Derived Neurotrophic Factor (BDNF) signaling. We found that SMRT's repression domain 3 (RD3) is critical for co-shuttling of HDAC5(MUT), consistent with the role for this domain in Class IIa HDAC association. In the context of BDNF signaling, we found that HDAC5(WT), which was more cytoplasmic than HDAC5(MUT), accumulated in the nucleus after BDNF treatment. However, co-expression of SMRT blocked BDNF-induced HDAC5(WT) import in a RD3-dependent manner. In effect, SMRT-mediated HDAC5(WT) export was opposing the BDNF-induced HDAC5 nuclear accumulation observed in SMRT's absence. Thus, SMRT's presence may render Class IIa HDACs exportable by a wider range of signals than those which simply

Receiver operating characteristic (ROC) curve for classification of18F-NaF uptake on PET/CT

Abstract Objective: To assess the cutoff values established by ROC curves to classify18F-NaF uptake as normal or malignant. Materials and Methods: PET/CT images were acquired 1 hour after administration of 185 MBq of18F-NaF. Volumes of interest (VOIs) were drawn on three regions of the skeleton as follows: proximal right humerus diaphysis (HD), proximal right femoral diaphysis (FD) and first vertebral body (VB1), in a total of 254 patients, totalling 762 VOIs. The uptake in the VOIs was classified as normal or malignant on the basis of the radiopharmaceutical distribution pattern and of the CT images. A total of 675 volumes were classified as normal and 52 were classified as malignant. Thirty-five VOIs classified as indeterminate or nonmalignant lesions were excluded from analysis. The standardized uptake value (SUV) measured on the VOIs were plotted on an ROC curve for each one of the three regions. The area under the ROC (AUC) as well as the best cutoff SUVs to classify the VOIs were calculated. The best cutoff values were established as the ones with higher result of the sum of sensitivity and specificity. Results: The AUCs were 0.933, 0.889 and 0.975 for UD, FD and VB1, respectively. The best SUV cutoffs were 9.0 (sensitivity: 73%; specificity: 99%), 8.4 (sensitivity: 79%; specificity: 94%) and 21.0 (sensitivity: 93%; specificity: 95%) for UD, FD and VB1, respectively. Conclusion: The best cutoff value varies according to bone region of analysis and it is not possible to establish one value for the whole body.

Semantic domain and grammatical class effects in the picture-word interference paradigm

The role of grammatical class in lexical access and representation is still not well understood. Grammatical effects obtained in picture-word interference experiments have been argued to show the operation of grammatical constraints during lexicalization when syntactic integration is required by the task. Alternative views hold that the ostensibly grammatical effects actually derive from the coincidence of semantic and grammatical differences between lexical candidates. We present three picture-word interference experiments conducted in Spanish. In the first two, the semantic relatedness (related or unrelated) and the grammatical class (nouns or verbs) of the target and the distracter were manipulated in an infinitive form action naming task in order to disentangle their contributions to verb lexical access. In the third experiment, a possible confound between grammatical class and semantic domain (objects or actions) was eliminated by using action-nouns as distracters. A condition in which participants were asked to name the action pictures using an inflected form of the verb was also included to explore whether the need of syntactic integration modulated the appearance of grammatical effects. Whereas action-words (nouns or verbs), but not object-nouns, produced longer reaction times irrespective of their grammatical class in the infinitive condition, only verbs slowed latencies in the inflected form condition. Our results suggest that speech production relies on the exclusion of candidate responses that do not fulfil task-pertinent criteria like membership in the appropriate semantic domain or grammatical class. Taken together, these findings are explained by a response-exclusion account of speech output. This and alternative hypotheses are discussed.

Espectroscopia óptica de vidros fluoroindatos dopados com íons Er3+ e Yb3+

Optical spectroscopy in the 400-1700nm wavelength range was performed on rare earth doped heavy metal fluoride (HMF) glasses. In the present work In-based fluoride glasses with a fixed 2 mol % YbF3 concentration and an ErF3 content ranging from 0 to 8 mol % were investigated. According to the experimental spectroscopic data a dependence in the absorption coefficient, the photoluminescence intensity and in the radiative lifetime could be verified as a function of the ErF3 content. In addition, at liquid nitrogen temperature, light emission corresponding to indirect transitions in the infrared energy range could be easily observed as a consequence of the low phonon frequency characteristic of this class of fluoride glasses. For all the studied compositions, strong upconversion to the green and red light was observed by pumping these Er3+- and Yb3+-doped HMF glasses with 790 and 980nm photon sources.

Developing of AC magnetometer and investigation of magnetic properties of LSMO

In this work AC magnetometer was developed and primary test measurements were performed for temperature range from 77 K up to 350 K in frequency range from 1 kHz up to 20 kHz. In the course of the present work dependencies of magnetization on temperature for Lao7Sr03Mni _yFeyO3 with y = 0.15, 0.20, 0.25 were obtained in DC magnetic field using SQUID magnetometer and in AC magnetic field using the developed AC magnetometer. Lai.XSrXMnO3 (LSMO) compounds belong to the class of Mn perovskites, which demonstrate very high degree of spin polarization. These materials are of great importance for nowadays applications in spintronics, where spin polarized electron transport is used. Spin glass like behavior was found as a characteristic feature of these solid solutions with the freezing temperature in the range 65 — 210 K.

Synthesis of angiotensin-converting enzyme (ACE) inhibitors: an important class of antihypertensive drugs

This report outlines the discovery, the design and development of new compounds, and, structure-activity relationships for this drug category. Updated approaches to planned syntheses of new worthy ACE-inhibitors are also exploited.

Occlusal and dentofacial characteristics of the deciduous dentition and treatment effects of the eruption guidance appliance in the early mixed dentition

The aim of this investigation was to analyze the dental occlusion in the deciduous dentition, and the effects of orthodontic treatment carried out in the early mixed dentition with the eruption guidance appliance. The deciduous occlusion and craniofacial morphology of 486 children (244 girls and 242 boys) were investigated at the onset of the mixed dentition period (mean age 5.1 years, range 4.0-7.8 years). Treatment in the treatment group and follow-up in the control group were started when the first deciduous incisor was exfoliated (T1) and ended when all permanent incisors and first molars were fully erupted (T2). The mean age of the children was 5.1 years (SD 0.5) at T1 and 8.4 years (SD 0.5) at T2. Treatment was carried out with the eruption guidance appliance. Occlusal changes that took place in 167 children were compared with those of 104 untreated control children. Pre- and post-treatment cephalometric radiographs were taken, and the craniofacial morphology of 115 consecutively treated children was compared with that of 104 control children. The prevalence of malocclusion in the deciduous dentition was 68% or 93% depending on how the cut-off value between the acceptable and non-acceptable occlusal characteristic was defined. The early dentofacial features of children with distal occlusion, large overjet and deepbite differed from those with normal occlusion. However, the skeletal pattern of these three malocclusions showed considerable similarity each being characterized by a retrusive mandible, small maxillo-mandibular difference, convex profile, retrusive lower incisors, and large interincisal angle. In the treatment group, overjet and overbite decreased significantly from T1 to T2. Following treatment, a tooth-to-tooth contact was found in 99% of the treated children but only in 24% of the controls. A Class I molar relationship was observed in 90% of the children in the treatment group, and in 48% in the control group. Good alignment of the incisors was observed in 98% of the treated children, whereas upper crowding was found in 32% and lower crowding in 47% of the controls. A significant difference between the groups was found in the mandibular length, midfacial length and maxillo-mandibular differential. The occlusal correction, brought about by the eruption guidance appliance, was achieved mainly through changes in the dentoalveolar region of the mandible. In addition, the appliance seemed to enhance the growth of the mandible. Treatment in the early mixed dentition using the eruption guidance appliance is an effective method to normalize occlusion and reduce further need of orthodontic treatment. Only few spontaneous corrective changes can be expected without active intervention.

The performance and the characteristic field of a centrifugal compressor

Tässä työssä tarkastellaan radiaalikompressorin puristusprosessiin liittyvä peruslaskenta. Ilmankosteuden vaikutukset laskentaan huomioidaan ja kompressorin tunnuskenttä esitellään tässä työssä. Esimerkkinä lasketaan pisteitä kompressorin tunnuskentästä.

Synthesis, characterization, and biological activity of a new class of dialkylphosphorylhydrazone derivatives of isatin

Sixteen dialkylphosphorylhydrazones were synthesized by condensation of phosphorylhydrazines with substituted isatins. Products were characterized by FTIR, ¹H-NMR, 13C-NMR, and 31P-NMR. Fungicidal activities of these compounds against Rhizoctonia solani and Fusarium oxysporum were also evaluated. Some compounds inhibited the growth of Rhizoctonia solani and Fusarium oxysporum by 43% and 51%, respectively. These compounds exhibited no effects on germination of lettuce seeds (Lactuca sativa L).

Tool-supported invariant-based programming

The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to put into practice. One hurdle is deriving the loop invariants and proving that the code maintains them. So called correct-by-construction methods aim to alleviate this issue by integrating verification into the programming workflow. Invariant-based programming is a practical correct-by-construction method in which the programmer first establishes the invariant structure, and then incrementally extends the program in steps of adding code and proving after each addition that the code is consistent with the invariants. In this way, the program is kept internally consistent throughout its development, and the construction of the correctness arguments (proofs) becomes an integral part of the programming workflow. A characteristic of the approach is that programs are described as invariant diagrams, a graphical notation similar to the state charts familiar to programmers. Invariant-based programming is a new method that has not been evaluated in large scale studies yet. The most important prerequisite for feasibility on a larger scale is a high degree of automation. The goal of the Socos project has been to build tools to assist the construction and verification of programs using the method. This thesis describes the implementation and evaluation of a prototype tool in the context of the Socos project. The tool supports the drawing of the diagrams, automatic derivation and discharging of verification conditions, and interactive proofs. It is used to develop programs that are correct by construction. The tool consists of a diagrammatic environment connected to a verification condition generator and an existing state-of-the-art theorem prover. Its core is a semantics for translating diagrams into verification conditions, which are sent to the underlying theorem prover. We describe a concrete method for 1) deriving sufficient conditions for total correctness of an invariant diagram; 2) sending the conditions to the theorem prover for simplification; and 3) reporting the results of the simplification to the programmer in a way that is consistent with the invariantbased programming workflow and that allows errors in the program specification to be efficiently detected. The tool uses an efficient automatic proof strategy to prove as many conditions as possible automatically and lets the remaining conditions be proved interactively. The tool is based on the verification system PVS and i uses the SMT (Satisfiability Modulo Theories) solver Yices as a catch-all decision procedure. Conditions that were not discharged automatically may be proved interactively using the PVS proof assistant. The programming workflow is very similar to the process by which a mathematical theory is developed inside a computer supported theorem prover environment such as PVS. The programmer reduces a large verification problem with the aid of the tool into a set of smaller problems (lemmas), and he can substantially improve the degree of proof automation by developing specialized background theories and proof strategies to support the specification and verification of a specific class of programs. We demonstrate this workflow by describing in detail the construction of a verified sorting algorithm. Tool-supported verification often has little to no presence in computer science (CS) curricula. Furthermore, program verification is frequently introduced as an advanced and purely theoretical topic that is not connected to the workflow taught in the early and practically oriented programming courses. Our hypothesis is that verification could be introduced early in the CS education, and that verification tools could be used in the classroom to support the teaching of formal methods. A prototype of Socos has been used in a course at Åbo Akademi University targeted at first and second year undergraduate students. We evaluate the use of Socos in the course as part of a case study carried out in 2007.

Performance characteristic of moving average trading rules in the Finnish stock market

The thesis examines the profitability of DMAC trading rules in the Finnish stock market over the 1996-2012 period. It contributes to the existing technical analysis literature by comparing for the first time the performance of DMAC strategies based on individual stock trading portfolios to the performance of index trading strategies based on the trading on the index (OMX Helsinki 25) that consists of the same stocks. Besides, the market frictions including transaction costs and taxes are taken into account, and the results are reported from both institutional and individual investor’s perspective. Performance characteristic of DMAC rules are evaluated by simulating 19,900 different trading strategies in total for two non- overlapping 8-year sub-periods, and decomposing the full-sample-period performance of DMAC trading strategies into distinct bullish- and bearish-period performances. The results show that the best DMAC rules have predictive power on future price trends, and these rules are able to outperform buy-and-hold strategy. Although the performance of the DMAC strategies is highly dependent on the combination of moving average lengths, the best DMAC rules of the first sub-period have also performed well during the latter sub-period in the case of individual stock trading strategies. According to the results, the outperformance of DMAC trading rules over buy-and-hold strategy is mostly attributed to their superiority during the bearish periods, and particularly, during stock market crashes.