TWAM: A Certifying Abstract Machine for Logic Programs

Type-preserving (or typed) compilation uses typing derivations to certify correctness properties of compilation. We have designed and implemented a type-preserving compiler for a simply-typed dialect of Prolog we call T-Prolog. The crux of our approach is a new certifying abstract machine which we call the Typed Warren Abstract Machine (TWAM). The TWAM has a dependent type system strong enough to specify the semantics of a logic program in the logical framework LF. We present a soundness metatheorem which constitutes a partial correctness guarantee: well-typed programs implement the logic program specified by their type. This metatheorem justifies our design and implementation of a certifying compiler from T-Prolog to TWAM.Comment: 41 pages, under submission to ACM Transactions on Computational Logi

Using Computer Simulation for Reducing the Appointment Lead-Time in a Public Pediatric Outpatient Department

Pediatric outpatient departments aim to provide a pleasant, effective and continuing care to children. However, a problem in these units is the long waiting time for children to receive an appointment. Prolonged appointment lead-time remains a global challenge since it results in delayed diagnosis and treatment causing increased morbidity and dissatisfaction. Additionally, it leads to an increased number of hospitalization and emergency department visits which augments the financial burden faced by healthcare systems. Despite these considerations, the studies directly concentrating on the reduction of appointment lead-time in these departments are largely limited. Therefore, this paper proposes the application of Discrete-event Simulation (DES) approach to evaluate potential improvement strategies aiming at reducing average appointment lead-time. Initially, the outpatient department is characterized to effectively identify the main activities, process variables, interactions, and system constraints. After data collection, input analysis is conducted through intra-variable independence, homogeneity and goodness-of-fit tests followed by the creation of a simulation model representing the real pediatric outpatient department. Then, Mann-Whitney tests are used to prove whether the model was statistically comparable with the real-world system. After this, the outpatient department performance is assessed in terms of average appointment lead-time and resource utilization. Finally, three improvement scenarios are assessed technically and financially, to determine if they are viable for implementation. A case study of a mixed-patient type environment in a public pediatric outpatient department has been explored to validate the proposed methodology. Statistical tests demonstrate that appointment lead-time in pediatric outpatient departments may be meaningfully minimized using this approach. © 2019, Springer Nature Switzerland AG

Ellagic acid, a phenolic compound, exerts anti-angiogenesis effects via VEGFR-2 signaling pathway in breast cancer

Anti-angiogenesis targeting VEGFR-2 has been considered as an important strategy for cancer therapy. Ellagic acid is a naturally existing polyphenol widely found in fruits and vegetables. It was reported that ellagic acid interfered with some angiogenesis-dependent pathologies. Yet the mechanisms involved were not fully understood. Thus, we analyzed its anti-angiogenesis effects and mechanisms on human breast cancer utilizing in-vitro and in-vivo methodologies. The in-silico analysis was also carried out to further analyze the structure-based interaction between ellagic acid and VEGFR-2. We found that ellagic acid significantly inhibited a series of VEGF-induced angiogenesis processes including proliferation, migration, and tube formation of endothelial cells. Besides, it directly inhibited VEGFR-2 tyrosine kinase activity and its downstream signaling pathways including MAPK and PI3K/Akt in endothelial cells. Ellagic acid also obviously inhibited neo-vessel formation in chick chorioallantoic membrane and sprouts formation of chicken aorta. Breast cancer xenografts study also revealed that ellagic acid significantly inhibited MDA-MB-231 cancer growth and P-VEGFR2 expression. Molecular docking simulation indicated that ellagic acid could form hydrogen bonds and aromatic interactions within the ATP-binding region of the VEGFR-2 kinase unit. Taken together, ellagic acid could exert anti-angiogenesis effects via VEGFR-2 signaling pathway in breast cancer. © 2012 The Author(s).published_or_final_versio

Ambipolar Field Effect in Topological Insulator Nanoplates of (BixSb1-x)2Te3

Topological insulators represent a new state of quantum matter attractive to both fundamental physics and technological applications such as spintronics and quantum information processing. In a topological insulator, the bulk energy gap is traversed by spin-momentum locked surface states forming an odd number of surface bands that possesses unique electronic properties. However, transport measurements have often been dominated by residual bulk carriers from crystal defects or environmental doping which mask the topological surface contribution. Here we demonstrate (BixSb1-x)2Te3 as a tunable topological insulator system to manipulate bulk conductivity by varying the Bi/Sb composition ratio. (BixSb1-x)2Te3 ternary compounds are confirmed as topological insulators for the entire composition range by angle resolved photoemission spectroscopy (ARPES) measurements and ab initio calculations. Additionally, we observe a clear ambipolar gating effect similar to that observed in graphene using nanoplates of (BixSb1-x)2Te3 in field-effect-transistor (FET) devices. The manipulation of carrier type and concentration in topological insulator nanostructures demonstrated in this study paves the way for implementation of topological insulators in nanoelectronics and spintronics.Comment: 7 pages, 4 figure

Multicomponent fractional quantum Hall effect in graphene

We report observation of the fractional quantum Hall effect (FQHE) in high mobility multi-terminal graphene devices, fabricated on a single crystal boron nitride substrate. We observe an unexpected hierarchy in the emergent FQHE states that may be explained by strongly interacting composite Fermions with full SU(4) symmetric underlying degrees of freedom. The FQHE gaps are measured from temperature dependent transport to be up 10 times larger than in any other semiconductor system. The remarkable strength and unusual hierarcy of the FQHE described here provides a unique opportunity to probe correlated behavior in the presence of expanded quantum degrees of freedom.Comment: 5 pages, 3 figure

Improving Coping Skills for Self-management of Treatment Side Effects Can Reduce Antiretroviral Medication Nonadherence among People Living with HIV

BackgroundHuman immunodeficiency virus (HIV) treatment side effects have a deleterious impact on treatment adherence, which is necessary to optimize treatment outcomes including morbidity and mortality.PurposeTo examine the effect of the Balance Project intervention, a five-session, individually delivered HIV treatment side effects coping skills intervention on antiretroviral medication adherence.MethodsHIV+ men and women (N = 249) on antiretroviral therapy (ART) with self-reported high levels of ART side effect distress were randomized to intervention or treatment as usual. The primary outcome was self-reported ART adherence as measured by a combined 3-day and 30-day adherence assessment.ResultsIntent-to-treat analyses revealed a significant difference in rates of nonadherence between intervention and control participants across the follow-up time points such that those in the intervention condition were less likely to report nonadherence. Secondary analyses revealed that intervention participants were more likely to seek information about side effects and social support in efforts to cope with side effects.ConclusionsInterventions focusing on skills related to ART side-effects management show promise for improving ART adherence among persons experiencing high levels of perceived ART side effects

Spin and valley quantum Hall ferromagnetism in graphene

In a graphene Landau level (LL), strong Coulomb interactions and the fourfold spin/valley degeneracy lead to an approximate SU(4) isospin symmetry. At partial filling, exchange interactions can spontaneously break this symmetry, manifesting as additional integer quantum Hall plateaus outside the normal sequence. Here we report the observation of a large number of these quantum Hall isospin ferromagnetic (QHIFM) states, which we classify according to their real spin structure using temperature-dependent tilted field magnetotransport. The large measured activation gaps confirm the Coulomb origin of the broken symmetry states, but the order is strongly dependent on LL index. In the high energy LLs, the Zeeman effect is the dominant aligning field, leading to real spin ferromagnets with Skyrmionic excitations at half filling, whereas in the `relativistic' zero energy LL, lattice scale anisotropies drive the system to a spin unpolarized state, likely a charge- or spin-density wave.Comment: Supplementary information available at http://pico.phys.columbia.ed

Observation of the Fractional Quantum Hall Effect in Graphene

When electrons are confined in two dimensions and subjected to strong magnetic fields, the Coulomb interactions between them become dominant and can lead to novel states of matter such as fractional quantum Hall liquids. In these liquids electrons linked to magnetic flux quanta form complex composite quasipartices, which are manifested in the quantization of the Hall conductivity as rational fractions of the conductance quantum. The recent experimental discovery of an anomalous integer quantum Hall effect in graphene has opened up a new avenue in the study of correlated 2D electronic systems, in which the interacting electron wavefunctions are those of massless chiral fermions. However, due to the prevailing disorder, graphene has thus far exhibited only weak signatures of correlated electron phenomena, despite concerted experimental efforts and intense theoretical interest. Here, we report the observation of the fractional quantum Hall effect in ultraclean suspended graphene, supporting the existence of strongly correlated electron states in the presence of a magnetic field. In addition, at low carrier density graphene becomes an insulator with an energy gap tunable by magnetic field. These newly discovered quantum states offer the opportunity to study a new state of matter of strongly correlated Dirac fermions in the presence of large magnetic fields

Early onset of treatment effects with oral risperidone

BACKGROUND: The dogma of a delayed onset of antipsychotic treatment effects has been maintained over the past decades. However, recent studies have challenged this concept. We therefore performed an analysis of the onset of antipsychotic treatment effects in a sample of acutely decompensated patients with schizophrenia. METHODS: In this observational study, 48 inpatients with acutely decompensated schizophrenia were offered antipsychotic treatment with oral risperidone. PANSS-ratings were obtained on day 0, day 1, day 3, day 7 and day 14. RESULTS: Significant effects of treatment were already present on day 1 and continued throughout the study. The PANSS positive subscore and the PANSS total score improved significantly more than the PANSS negative subscore. CONCLUSION: Our results are consistent with the growing number of studies suggesting an early onset of antipsychotic treatment effects. However, non-pharmacological effects of treatment also need to be taken into consideration