Set-Theoretic Types for Polymorphic Variants

Polymorphic variants are a useful feature of the OCaml language whose current definition and implementation rely on kinding constraints to simulate a subtyping relation via unification. This yields an awkward formalization and results in a type system whose behaviour is in some cases unintuitive and/or unduly restrictive. In this work, we present an alternative formalization of poly-morphic variants, based on set-theoretic types and subtyping, that yields a cleaner and more streamlined system. Our formalization is more expressive than the current one (it types more programs while preserving type safety), it can internalize some meta-theoretic properties, and it removes some pathological cases of the current implementation resulting in a more intuitive and, thus, predictable type system. More generally, this work shows how to add full-fledged union types to functional languages of the ML family that usually rely on the Hindley-Milner type system. As an aside, our system also improves the theory of semantic subtyping, notably by proving completeness for the type reconstruction algorithm.Comment: ACM SIGPLAN International Conference on Functional Programming, Sep 2016, Nara, Japan. ICFP 16, 21st ACM SIGPLAN International Conference on Functional Programming, 201

Long-Term Recovery After Endothelial Colony-Forming Cells or Human Umbilical Cord Blood Cells Administration in a Rat Model of Neonatal Hypoxic-Ischemic Encephalopathy.

Neonatal hypoxic-ischemic encephalopathy (NHIE) is a dramatic perinatal complication, associated with poor neurological prognosis despite neuroprotection by therapeutic hypothermia, in the absence of an available curative therapy. We evaluated and compared ready-to-use human umbilical cord blood cells (HUCBC) and bankable but allogeneic endothelial progenitors (ECFC) as cell therapy candidate for NHIE. We compared benefits of HUCBC and ECFC transplantation 48 hours after injury in male rat NHIE model, based on the Rice-Vannucci approach. Based on behavioral tests, immune-histological assessment and metabolic imaging of brain perfusion using single photon emission computed tomography (SPECT), HUCBC, or ECFC administration provided equally early and sustained functional benefits, up to 8 weeks after injury. These results were associated with total normalization of injured hemisphere cerebral blood flow assessed by SPECT/CT imaging. In conclusion, even if ECFC represent an efficient candidate, HUCBC autologous criteria and easier availability make them the ideal candidate for hypoxic-ischemic cell therapy. Stem Cells Translational Medicine 2017;6:1987-1996

Experimental study of a liquid Xenon PET prototype module

A detector using liquid Xenon in the scintillation mode is studied for Positron Emission Tomography (PET). The specific design aims at taking full advantage of the liquid Xenon properties. It does feature a promising insensitive to any parallax effect. This work reports on the performances of the first LXe prototype module, equipped with a position sensitive PMT operating in the VUV range (178 nm).Comment: Proc. of the 7th International Workshops on Radiation Imaging Detectors (IWORID-7), Grenoble, France 4-7 July 200

Demographic and physiological signals of reproductive events in humpback whales on a southwest pacific breeding ground

The field of marine mammal conservation has dramatically benefited from the rapid advancement of methods to assess the reproductive physiology of individuals and populations from steroid hormones isolated from minimally invasive skin-blubber biopsy samples. Historically, this vital information was only available from complete anatomical and physiological investigations of samples collected during commercial or indigenous whaling. Humpback whales (Megaptera novaeangliae) are a migratory, cosmopolitan species that reproduce in warm, low-latitude breeding grounds. New Caledonia is seasonally visited by a small breeding sub-stock of humpback whales, forming part of the endangered Oceania subpopulation. To better understand the demographic and seasonal patterns of reproductive physiology in humpback whales, we quantified baseline measurements of reproductive hormones (progesterone – P4, testosterone - T, and 17β-estradiol – E2) using an extensive archive of skin-blubber biopsy samples collected from female humpback whales in New Caledonia waters between 2016-2019 (n = 194). We observed significant differences in the P4, T, and E2 concentrations across different demographic groups of female humpback whales, and we described some of the first evidence of the endocrine patterns of estrus in live free-ranging baleen whales. This study is fundamental in its methodological approach to a wild species that has a global distribution, with seasonally distinct life histories. This information will assist in monitoring, managing, and conserving this population as global ecological changes continue to occur unhindered.Peer reviewe

Theoretical study and experimental result of the RF coupler prototypes of Spiral2

JACoW web site THPCH160International audienceSpiral2 is a 40 MeV-5mA deuterons and a 14.5 MeV/u-1mA heavy ions superconducting linac under construction at GANIL. The RF couplers have to provide 12 kW CW power to the cavities at 88 MHz for an accelerating field of 6.5 MV/m. Two solutions corresponding to two different technologies have been designed and two prototypes have been built. We present the technical proposals ans issues as well as the results (manufacturing, test at low and high power, multipacting...) leading to the final choice

Handling polymorphic algebraic effects

Algebraic effects and handlers are a powerful abstraction mechanism to represent and implement control effects. In this work, we study their extension with parametric polymorphism that allows abstracting not only expressions but also effects and handlers. Although polymorphism makes it possible to reuse and reason about effect implementations more effectively, it has long been known that a naive combination of polymorphic effects and let-polymorphism breaks type safety. Although type safety can often be gained by restricting let-bound expressions---e.g., by adopting value restriction or weak polymorphism---we propose a complementary approach that restricts handlers instead of let-bound expressions. Our key observation is that, informally speaking, a handler is safe if resumptions from the handler do not interfere with each other. To formalize our idea, we define a call-by-value lambda calculus that supports let-polymorphism and polymorphic algebraic effects and handlers, design a type system that rejects interfering handlers, and prove type safety of our calculus.Comment: Added the errata for the ESOP'19 paper (page 28

Effects of Vagus Nerve Stimulation on Sleep-related Breathing in Epilepsy Patients

Purpose: To describe the effects of vagus nerve stimulation (VNS) on sleep-related breathing in a sample of 16 epilepsy patients. Methods: Sixteen adults with medically refractory epilepsy (nine men, seven women, ages 21–58 years) underwent baseline polysomnograms (PSGs). Three months after VNS therapy was initiated, PSGs were repeated. In addition, patient 7 had a study with esophageal pressure monitoring, and patient 1 had a continuous positive airway pressure (CPAP) trial. Results: Baseline PSGs: One of 16 patients had an apnea–hypopnea index (AHI) >5 (6.8). Treatment PSGs: Five of 16 patients had treatment AHIs >5. Respiratory events were more frequent during periods with VNS activation (on-time) than without VNS activation (off-time; p = 0.016 ). Follow-up studies: Esophageal pressure monitoring in patient 7 showed crescendos in esophageal pressure during VNS activation, supporting an obstructive pattern. The CPAP trial of patient 1 showed that all respiratory events were associated with VNS stimulation at low CPAP levels. They were resolved at higher CPAP levels. Conclusions: Treatment with VNS affects respiration during sleep and should be used with care, particularly in patients with preexisting obstructive sleep apnea. The AHI after VNS treatment remained <5 in the majority of patients and was only mildly elevated (<12) in five patients. In one patient, CPAP resolved VNS-related respiratory events.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/66447/1/j.1528-1157.2003.56202.x.pd

Interaction between APOE4 and herpes simplex virus type 1 in Alzheimer's disease

Introduction: Numerous results suggest the implication of infectious agents in the onset of Alzheimer's disease (AD).Methods: In the Bordeaux‐3C prospective cohort, we assessed the impact of herpes simplex virus type 1 (HSV‐1) infection on the incidence of AD according to apolipoprotein E (APOE) status, a genetic susceptibility factor. Cox models were performed to estimate the 10‐year risk of AD associated with anti‐HSV antibodies in 1037 participants according to APOE4 status.Results: Among APOE4 carriers, subjects for whom the frequency of HSV‐1 reactivation is supposed to be high, that is, immunoglobulin M (IgM) positive or elevated levels of IgG, had an increased risk of AD with adjusted hazard ratios (HRs) of 3.68 (1.08–12.55) and 3.28 (1.19–9.03), respectively. No significant association was found in APOE4‐negative subjects.Discussion: These results, in accordance with a solid pathophysiological rationale, suggest a role for HSV‐1 in AD development among subjects with a genetic susceptibility factor, the APOE4 allele

Thermal Conversion of Guanylurea Dicyanamide into Graphitic Carbon Nitride via Prototype CNx Precursors

Guanylurea dicyanamide, [(H2N)C(-O)NHC(NH2)2][N(CN)2], has been synthesized by ion exchange reaction in aqueous solution and structurally characterized by single-crystal X-ray diffraction (C2/c, a = 2249.0(5) pm, b = 483.9(1) pm, c = 1382.4(3) pm, β = 99.49(3)°, V = 1483.8(5) × 106 pm3, T = 130 K). The thermal behavior of the molecular salt has been studied by thermal analysis, temperature-programmed X-ray powder diffraction, FTIR spectroscopy, and mass spectrometry between room temperature and 823 K. The results were interpreted on a molecular level in terms of a sequence of thermally induced addition, cyclization, and elimination reactions. As a consequence, melamine (2,4,6-triamino-1,3,5-triazine) is formed with concomitant loss of HNCO. Further condensation of melamine yields the prototypic CNx precursor melem (2,6,10-triamino-s-heptazine, C6N7(NH2)3), which alongside varying amounts of directly formed CNxHy material transforms into layered CNxHy phases without significant integration of oxygen into the core framework owing to the evaporation of HNCO. Thus, further evidence can be added to melamine and its condensation product melem acting as “key intermediates” in the synthetic pathway toward graphitic CNxHy materials, whose exact constitution is still a point at issue. Due to the characteristic formation process and hydrogen content a close relationship with the polymer melon is evident. In particular, the thermal transformation of guanylurea dicyanamide clearly demonstrates that the formation of volatile compounds such as HNCO during thermal decomposition may render a large variety of previously not considered molecular compounds suitable CNx precursors despite the presence of oxygen in the starting material