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

Search for Neutron Flux Generation in a Plasma Discharge Electrolytic Cell

Following some recent unexpected hints of neutron production in setups like high-voltage atmospheric discharges and plasma discharges in electrolytic cells, we present a measurement of the neutron flux in a configuration similar to the latter. We use two different types of neutron detectors, poly-allyl-diglicol-carbonate (PADC, aka CR-39) tracers and Indium disks. At 95% C.L. we provide an upper limit of 1.5 neutrons cm^-2 s^-1 for the thermal neutron flux at ~5 cm from the center of the cell. Allowing for a higher energy neutron component the largest allowed flux is 64 neutrons cm^-2 s^-1. This upper limit is two orders of magnitude smaller than what previously claimed in an electrolytic cell plasma discharge experiment. Furthermore the behavior of the CR-39 is discussed to point our possible sources of spurious signals.Comment: 4 pages, 3 figure

Arthroscopic biceps tendon tenodesis: the anchorage technical note

Treatment of long head biceps (LHB) tendon pathology has become an area of renewed interest and debate among orthopaedic surgeons in recent years. The background of this manuscript is a description of biceps tenodesis which ensure continual dynamic action of the tendon which depresses the head and impedes lateral translation. A new technique has been developed in order to treat LHB tendon irreversible structural abnormalities associated with cuff rotator lesions. This technique entails the construction of a biological anchor between the LHB and supraspinatus and/or infraspinatus tendons according to arthroscopic findings. The rationale, although not supported by biomechanical studies is to obtain a triple, biomechanical effect. The first of these biomechanical effects which we try to promote through the procedure of transposition is the elimination of the deviation and oblique angle which occurs as the LHB completes its intra-articular course prior to reaching the bicipital groove. Furthermore, we have found this technique extremely useful in the presence of large ruptures of the rotator cuff with muscle retraction. The most common complication associated to this particular method, observed in less than 3%, is failed biological fixation which manifests as subsidence of the tenodesis and consequent descent of the tendon with evident aesthetic deformit

Ground-Penetrating Radar Theory and Application of Thin-Bed Offset-Dependent Reflectivity

Offset-dependent reflectivity or amplitude-variationwith- offset (AVO) analysis of ground-penetrating radar (GPR) data may improve the resolution of subsurface dielectric permittivity estimates. A horizontally stratified medium has a limiting layer thickness below which thin-bed AVO analysis is necessary. For a typical GPR signal, this limit is approximately 0.75 of the characteristic wavelength of the signal. Our approach to modeling the GPR thin-bed response is a broadband, frequency-dependent computation that utilizes an analytical solution to the three-interface reflectivity and is easy to implement for either transverse electric (TE) or transverse magnetic (TM) polarizations. The AVO curves for TE and TM modes differ significantly. In some cases, constraining the interpretation using both TE and TM data is critical. In two field examples taken from contaminated-site characterization data, we find quantitative thin-bed modeling agrees with the GPR field data and available characterization data

A room temperature 19-channel magnetic field mapping device for cardiac signals

We present a multichannel cardiac magnetic field imaging system built in Fribourg from optical double-resonance Cs vapor magnetometers. It consists of 25 individual sensors designed to record magnetic field maps of the beating human heart by simultaneous measurements on a grid of 19 points over the chest. The system is operated as an array of second order gradiometers using sophisticated digitally controlled feedback loops.Comment: 3 pages, 3 figures, submitted to Applied Physics Letter

Optimizing HIV therapy. A consensus project on differences between cytidine analogues and regime compactness

The identification of the most effective HAART regimens in different clinical settings is still an issue. The aim of the study was to analyze how the compactness of HAART regimens is perceived and if differences between lamivudine (3TC) and emtricitabine (FTC) do exist according to a panel of Italian HIV/AIDS clinicians, using the Delphi method

Deriving Bisimulation Congruences: 2-categories vs precategories

G-relative pushouts (GRPOs) have recently been proposed by the authors as a new foundation for Leifer and Milner’s approach to deriving labelled bisimulation congruences from reduction systems. This paper develops the theory of GRPOs further, arguing that they provide a simple and powerful basis towards a comprehensive solution. As an example, we construct GRPOs in a category of ‘bunches and wirings.’ We then examine the approach based on Milner’s precategories and Leifer’s functorial reactive systems, and show that it can be recast in a much simpler way into the 2-categorical theory of GRPOs

A large sample study of spin relaxation and magnetometric sensitivity of paraffin-coated Cs vapor cells

We have manufactured more than 250 nominally identical paraffin-coated Cs vapor cells (28mm inner diameter bulbs) for multi-channel atomic magnetometer applications. We describe our dedicated cell characterization apparatus. For each cell we have determined the intrinsic longitudinal, Γ 01, and transverse, Γ 02, relaxation rates. Our best cell shows Γ 01/2π≈0.5Hz, and Γ 02/2π≈2Hz. We find a strong correlation of both relaxation rates which we explain in terms of reservoir and spin exchange relaxation. For each cell we have determined the optimal combination of rf and laser powers which yield the highest sensitivity to magnetic field changes. Out of all produced cells, 90% are found to have magnetometric sensitivities in the range of 9to 30fT $\sqrt{\mathrm{Hz}}$ . Noise analysis shows that the magnetometers operated with such cells have a sensitivity close to the fundamental photon shot noise limi