Cutting out continuations

In the field of program transformation, one often transforms programs into continuation-passing style to make their flow of control explicit, and then immediately removes the resulting continuations using defunctionalisation to make the programs first-order. In this article, we show how these two transformations can be fused together into a single transformation step that cuts out the need to first introduce and then eliminate continuations. Our approach is calculational, uses standard equational reasoning techniques, and is widely applicable

Exciton and negative trion dissociation by an external electric field in vertically coupled quantum dots

We study the Stark effect for an exciton confined in a pair of vertically coupled quantum dots. A single-band approximation for the hole and a parabolic lateral confinement potential are adopted which allows for the separation of the lateral center-of-mass motion and consequently for an exact numerical solution of the Schr\"odinger equation. We show that for intermediate tunnel coupling the external electric field leads to the dissociation of the exciton via an avoided crossing of bright and dark exciton energy levels which results in an atypical form of the Stark shift. The electric-field-induced dissociation of the negative trion is studied using the approximation of frozen lateral degrees of freedom. It is shown that in a symmetric system of coupled dots the trion is more stable against dissociation than the exciton. For an asymmetric system of coupled dots the trion dissociation is accompanied by a positive curvature of the recombination energy line as a function of the electric field.Comment: PRB - in prin

A photometric and spectroscopic investigation of star formation in the very young open cluster NGC6383

The very young open cluster NGC 6383 centered on the O-star binary HD 159176 is an interesting place for studying the impact of early-type stars with strong radiation fields and powerful winds on the formation processes of low-mass stars. To investigate this process, it is necessary to determine the characteristics (age, presence, or absence of circumstellar material) of the population of low-mass pre-main-sequence (PMS) stars in the cluster. We obtained deep U B V (R I)_c H-alpha photometric data of the entire cluster as well as medium-resolution optical spectroscopy of a subsample of X-ray selected objects. Our spectroscopic data reveal only very weak H-alpha emission lines in a few X-ray selected PMS candidates. We photometrically identify a number of H-alpha emission candidates but their cluster membership is uncertain. We find that the fainter objects in the field of view have a wide range of extinction (up to A_V = 20), one X-ray selected OB star having A_V ~ 8. Our investigation uncovers a population of PMS stars in NGC 6383 that are probably coeval with HD 159176. In addition, we detect a population of reddened objects that are probably located at different depths within the natal molecular cloud of the cluster. Finally, we identify a rather complex spatial distribution of H-alpha emitters, which is probably indicative of a severe contamination by foreground and background stars.Comment: Accepted for publication in Astronomy & Astrophysic

Time-resolved spectroscopy of multi-excitonic decay in an InAs quantum dot

The multi-excitonic decay process in a single InAs quantum dot is studied through high-resolution time-resolved spectroscopy. A cascaded emission sequence involving three spectral lines is seen that is described well over a wide range of pump powers by a simple model. The measured biexcitonic decay rate is about 1.5 times the single-exciton decay rate. This ratio suggests the presence of selection rules, as well as a significant effect of the Coulomb interaction on the biexcitonic wavefunction.Comment: one typo fixe

Antibodies to the Mr 64,000 (64K) protein in islet cell antibody positive non-diabetic individuals indicate high risk for impaired Beta-cell function

A prospective study of a normal childhood population identified 44 islet cell antibody positive individuals. These subjects were typed for HLA DR and DQ alleles and investigated for the presence of antibodies to the Mr 64,000 (64K) islet cell antigen, complement-fixing islet cell antibodies and radiobinding insulin autoantibodies to determine their potency in detecting subjects with impaired Beta-cell function. At initial testing 64K antibodies were found in six of 44 islet cell antibody positive subjects (13.6%). The same sera were also positive for complement-fixing islet cell antibodies and five of them had insulin autoantibodies. During the follow-up at 18 months, islet cell antibodies remained detectable in 50% of the subjects studied. In all six cases who were originally positive, 64K antibodies were persistently detectable, whereas complement-fixing islet cell antibodies became negative in two of six and insulin autoantibodies in one of five individuals. HLA DR4 (p < 0.005) and absence of asparic acid (Asp) at position 57 of the HLA DQ chain (p < 0.05) were significantly increased in subjects with 64K antibodies compared with control subjects. Of 40 individuals tested in the intravenous glucose tolerance test, three had a first phase insulin response below the first percentile of normal control subjects. Two children developed Type 1 (insulin-dependent) diabetes mellitus after 18 and 26 months, respectively. Each of these subjects was non-Asp homozygous and had persistent islet cell and 64K antibodies. We conclude that 64K antibodies, complement-fixing islet cell antibodies and insulin autoantibodies represent sensitive serological markers in assessing high risk for a progression to Type 1 diabetes in islet cell antibody positive non-diabetic individuals

Continuation-Passing C: compiling threads to events through continuations

In this paper, we introduce Continuation Passing C (CPC), a programming language for concurrent systems in which native and cooperative threads are unified and presented to the programmer as a single abstraction. The CPC compiler uses a compilation technique, based on the CPS transform, that yields efficient code and an extremely lightweight representation for contexts. We provide a proof of the correctness of our compilation scheme. We show in particular that lambda-lifting, a common compilation technique for functional languages, is also correct in an imperative language like C, under some conditions enforced by the CPC compiler. The current CPC compiler is mature enough to write substantial programs such as Hekate, a highly concurrent BitTorrent seeder. Our benchmark results show that CPC is as efficient, while using significantly less space, as the most efficient thread libraries available.Comment: Higher-Order and Symbolic Computation (2012). arXiv admin note: substantial text overlap with arXiv:1202.324

Accessible Business Instruction (ABI): A New Model for Business Education

Students who attend college in the hopes of earning a business degree assume a financial risk. Of undergraduate students who attend college, approximately 60,000 report having a Specific Learning Disorder, Attention-Deficit/Hyperactivity Disorder, or Autism Spectrum Disorder. These three conditions comprise a population known as students with learning differences. The introduction of a business instruction model that includes the best elements of traditional business education with Universal Design and LD instructional principles could improve the education for students with learning differences. The Accessible Business Instruction (ABI) model combines these best elements and promotes flexibility and innovation in classroom instructio

Excellence in Lesson Planning: The Purpose and Use of a Micro-uniting Template

For college professors, student engagement is the pinnacle of the teaching experience. The competition with external influences such as social media and internal issues such as interest in the subject being studied can cause students to disengage from classroom sessions and reduce the ability to learn the material. The use of Micro-Uniting as a classroom preparation tool is a key to improve student engagement, to maintain student focus, and to maintain both academic rigor and flexibility. An example of a Micro-United lesson plan and suggestions for use is included

Optical excitations of a self assembled artificial ion

By use of magneto-photoluminescence spectroscopy we demonstrate bias controlled single-electron charging of a single quantum dot. Neutral, single, and double charged excitons are identified in the optical spectra. At high magnetic fields one Zeeman component of the single charged exciton is found to be quenched, which is attributed to the competing effects of tunneling and spin-flip processes. Our experimental data are in good agreement with theoretical model calculations for situations where the spatial extent of the hole wave functions is smaller as compared to the electron wave functions.Comment: to be published in Physical Review B (rapid communication

Behavioral-variant frontotemporal dementia: Distinct phenotypes with unique functional profiles

Objective: To identify distinct behavioral phenotypes of behavioral variant frontotemporal dementia (bvFTD), and elucidate differences in functional, neuroimaging, and progression to residential care placement. Methods: Eighty-eight patients with bvFTD were included in a cluster analysis applying levels of disinhibition and apathy (Cambridge Behavioural Inventory-Revised) to identify phenotypic subgroups. Between-group (Kruskal-Wallis; Mann-Whitney U) functional differences (Disability Assessment for Dementia), and time to residential care placement (survival analyses) were examined. Cortical thickness differences (whole brain MRI) were analyzed in bvFTD patients versus healthy controls (n=30) and between phenotypic subgroups. Results: Four phenotypic subgroups were identified: “Primary severe apathy” (n=26), “Severe apathy and disinhibition” (n=26), “Mild apathy and disinhibition” (n=27), “Primary severe disinhibition” (n= 9). Severely apathetic phenotypes were more functionally impaired and had more extensive brain atrophy than those with mild apathy or severe disinhibition alone. Further imaging analyses indicated that the right middle temporal region is critical for the development of disinhibition, an association that remains with disease progression and in the context of severe apathy. Finally, no difference in time to residential care admission was found between phenotypes. Conclusions: This study reveals that different clinical behavioral phenotypes of bvFTD have differing profiles of functional decline and distinct patterns of associated cortical changes. These findings emphasize the importance of apathy in functional impairment, highlight the role of the right temporal region in disinhibition and suggest that disability may be a sensitive outcome measure for treatments targeting reduction of apathy. These phenotypes could also support understanding of prognosis and clinical management