17,363 research outputs found
An Editor for Helping Novices to Learn Standard ML
This paper describes a novel editor intended as an aid in the learning of the functional programming language Standard ML. A common technique used by novices is programming by analogy whereby students refer to similar programs that they have written before or have seen in the course literature and use these programs as a basis to write a new program. We present a novel editor for ML which supports programming by analogy by providing a collection of editing commands that transform old programs into new ones. Each command makes changes to an isolated part of the program. These changes are propagated to the rest of the program using analogical techniques. We observed a group of novice ML students to determine the most common programming errors in learning ML and restrict our editor such that it is impossible to commit these errors. In this way, students encounter fewer bugs and so their rate of learning increases. Our editor, C Y NTHIA, has been implemented and is due to be tested on st..
Recommended from our members
Isoprenoids determine Th1/Th2 fate in pathogenic T cells, providing a mechanism of modulation of autoimmunity by atorvastatin.
3-hydroxy-3-methylglutaryl-coenzyme A (HMG-CoA) reductase is a critical enzyme in the mevalonate pathway that regulates the biosynthesis of cholesterol as well as isoprenoids that mediate the membrane association of certain GTPases. Blockade of this enzyme by atorvastatin (AT) inhibits the destructive proinflammatory T helper cell (Th)1 response during experimental autoimmune encephalomyelitis and may be beneficial in the treatment of multiple sclerosis and other Th1-mediated autoimmune diseases. Here we present evidence linking specific isoprenoid intermediates of the mevalonate pathway to signaling pathways that regulate T cell autoimmunity. We demonstrate that the isoprenoid geranylgeranyl-pyrophosphate (GGPP) mediates proliferation, whereas both GGPP and its precursor, farnesyl-PP, regulate the Th1 differentiation of myelin-reactive T cells. Depletion of these isoprenoid intermediates in vivo via oral AT administration hindered these T cell responses by decreasing geranylgeranylated RhoA and farnesylated Ras at the plasma membrane. This was associated with reduced extracellular signal-regulated kinase (ERK) and p38 phosphorylation and DNA binding of their cotarget c-fos in response to T cell receptor activation. Inhibition of ERK and p38 mimicked the effects of AT and induced a Th2 cytokine shift. Thus, by connecting isoprenoid availability to regulation of Th1/Th2 fate, we have elucidated a mechanism by which AT may suppress Th1-mediated central nervous system autoimmune disease
The role of antibodies in multiple sclerosis
AbstractB cells, plasma cells, and antibodies are commonly found in active central nervous system (CNS) lesions in patients with multiple sclerosis (MS). B cells isolated from CNS lesions as well as from the cerebrospinal fluid (CSF) show signs of clonal expansion and hypermutation, suggesting their local activation. Plasma blasts and plasma cells maturating from these B cells were recently identified to contribute to the development of oligoclonal antibodies produced within the CSF, which remain a diagnostic hallmark finding in MS. Within the CNS, antibody deposition is associated with complement activation and demyelination, indicating antigen recognition-associated effector function. While some studies indeed implied a disease-intrinsic and possibly pathogenic role of antibodies directed against components of the myelin sheath, no unequivocal results on a decisive target antigen within the CNS persisted to date. The notion of a pathogenic role for antibodies in MS is nevertheless empirically supported by the clinical benefit of plasma exchange in patients with histologic signs of antibody deposition within the CNS. Further, such evidence derives from the animal model of MS, experimental autoimmune encephalomyelitis (EAE). In transgenic mice endogenously producing myelin-specific antibodies, EAE severity was substantially increased accompanied by enhanced CNS demyelination. Further, genetic engineering in mice adding T cells that recognize the same myelin antigen resulted in spontaneous EAE development, indicating that the coexistence of myelin-specific B cells, T cells, and antibodies was sufficient to trigger CNS autoimmune disease. In conclusion, various pathological, clinical, immunological, and experimental findings collectively indicate a pathogenic role of antibodies in MS, whereas several conceptual challenges, above all uncovering potential target antigens of the antibody response within the CNS, remain to be overcome
Light-induced switching between singlet and triplet superconducting states
While the search for topological triplet-pairing superconductivity has
remained a challenge, recent developments in optically stabilizing metastable
superconducting states suggest a new route to realizing this elusive phase.
Here, we devise a testable theory of competing superconducting orders that
permits ultrafast switching to an opposite-parity superconducting phase in
centrosymmetric crystals with strong spin-orbit coupling. Using both
microscopic and phenomenological models, we show that dynamical inversion
symmetry breaking with a tailored light pulse can induce odd-parity (spin
triplet) order parameter oscillations in a conventional even-parity (spin
singlet) superconductor, which when driven strongly can send the system to a
competing minimum in its free energy landscape. Our results provide new guiding
principles for engineering unconventional electronic phases using light,
suggesting a fundamentally non-equilibrium route toward realizing topological
superconductivity
Recommended from our members
Functional characterization of reappearing B cells after anti-CD20 treatment of CNS autoimmune disease.
The anti-CD20 antibody ocrelizumab, approved for treatment of multiple sclerosis, leads to rapid elimination of B cells from the blood. The extent of B cell depletion and kinetics of their recovery in different immune compartments is largely unknown. Here, we studied how anti-CD20 treatment influences B cells in bone marrow, blood, lymph nodes, and spleen in models of experimental autoimmune encephalomyelitis (EAE). Anti-CD20 reduced mature B cells in all compartments examined, although a subpopulation of antigen-experienced B cells persisted in splenic follicles. Upon treatment cessation, CD20+ B cells simultaneously repopulated in bone marrow and spleen before their reappearance in blood. In EAE induced by native myelin oligodendrocyte glycoprotein (MOG), a model in which B cells are activated, B cell recovery was characterized by expansion of mature, differentiated cells containing a high frequency of myelin-reactive B cells with restricted B cell receptor gene diversity. Those B cells served as efficient antigen-presenting cells (APCs) for activation of myelin-specific T cells. In MOG peptide-induced EAE, a purely T cell-mediated model that does not require B cells, in contrast, reconstituting B cells exhibited a naive phenotype without efficient APC capacity. Our results demonstrate that distinct subpopulations of B cells differ in their sensitivity to anti-CD20 treatment and suggest that differentiated B cells persisting in secondary lymphoid organs contribute to the recovering B cell pool
Resistance scaling at the Kosterlitz-Thouless transition
We study the linear resistance at the Kosterlitz-Thouless transition by Monte
Carlo simulation of vortex dynamics. Finite size scaling analysis of our data
show excellent agreement with scaling properties of the Kosterlitz-Thouless
transition. We also compare our results for the linear resistance with
experiments. By adjusting the vortex chemical potential to an optimum value,
the resistance at temperatures above the transition temperature agrees well
with experiments over many decades.Comment: 7 pages, 4 postscript figures included, LATEX, KTH-CMT-94-00
Recommended from our members
Pre-clinical development of a lentiviral vector expressing the anti-sickling beta AS3 globin for gene therapy for sickle-cell disease
Metaphoric coherence: Distinguishing verbal metaphor from `anomaly\u27
Theories and computational models of metaphor comprehension generally circumvent the question of metaphor versus âanomalyâ in favor of a treatment of metaphor versus literal language. Making the distinction between metaphoric and âanomalousâ expressions is subject to wide variation in judgment, yet humans agree that some potentially metaphoric expressions are much more comprehensible than others. In the context of a program which interprets simple isolated sentences that are potential instances of crossâmodal and other verbal metaphor, I consider some possible coherence criteria which must be satisfied for an expression to be âconceivableâ metaphorically. Metaphoric constraints on object nominals are represented as abstracted or extended along with the invariant structural components of the verb meaning in a metaphor. This approach distinguishes what is preserved in metaphoric extension from that which is âviolatedâ, thus referring to both âsimilarityâ and âdissimilarityâ views of metaphor. The role and potential limits of represented abstracted properties and constraints is discussed as they relate to the recognition of incoherent semantic combinations and the rejection or adjustment of metaphoric interpretations
Immunological consequences of using three different clinical/laboratory techniques of emulsifying peptide-based vaccines in incomplete Freund's adjuvant
Incomplete Freund's adjuvant (IFA) serves as a carrier for water-in-oil emulsion (W/O) vaccines. The stability of such emulsions greatly affects vaccine safety and efficacy since continued presence of antigen depots at lymphoid organs releasing low-level antigens is known to stimulate a potent immune response and high-level systemic release of antigens can lead to tolerance. W/O emulsions for the purpose of clinical and laboratory peptide-based vaccinations have been prepared using the techniques of syringe extrusion, vortex or high-speed homogenization. There is no consensus in the field over which technique would be best to use and no immunological data are available that compare the three techniques. In this study, we compared the immune responses induced by a peptide-based vaccine prepared using vortex, syringe-extrusion and homogenization. The vaccination led to tumor rejection by mice vaccinated with the peptide-based vaccine prepared using all three techniques. The immunological data from the in vivo cytotoxicity assay showed a trend for lower responses and a higher variability and greater range in the immune responses induced by a vaccine that was emulsified by the vortex or homogenizer techniques as compared to the syringe-extrusion technique. There were statistically significant lower numbers of IFNÎł-secreting cells induced when the mice were vaccinated with a peptide-based vaccine emulsion prepared using the vortex compared to the syringe-extrusion technique. At a suboptimal vaccine dose, the mice vaccinated with a peptide-based vaccine emulsion prepared using the vortex technique had the largest tumors compared to the syringe-extrusion or the homogenizer technique. In the setting of a busy pharmacy that prepares peptide-based vaccine emulsions for clinical studies, the vortex technique can still be used but we urge investigators to take special care in their choice of mixing vessels for the vortex technique as that can influence the stability of the emulsion. However, in instances where the optimal dose is unknown, we caution investigators against using the vortex technique to prepare the peptide-based vaccine emulsions. Overall, we report that all three techniques can be used to prepare peptide-based vaccine emulsions under optimal dose conditions and we discuss important details regarding the proper preparation of the emulsions
- âŠ