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

Activity profile of top-class association football referees in relation to fitness test performance and match standard

The aim of this study was to examine the kinematic activity profiles, cardiovascular responses and physical fitness of top-class football referees (n=11) during the FIFA Confederations Cup 2005. Computerised match-analyses (n=9) were performed with a two-dimensional photogrammetric video system, and the cardiovascular demand imposed on the referees (n=12) was measured using heart rate recordings. Total distance covered was 10,218, s=643 m of which 3531, s=510 m was covered at high intensities (>3.6 m.s(-1)). Both total distance covered (r2=0.59; P=0.02) and high-intensity activities (r2=0.44; P=0.05) were related to the distance covered by the ball in the same match. The referees ran at high speed 37% further (P=0.01) in the actual tournament than during under-17 top-level officiating. After the 5-min interval during which high-speed running peaked, in the following 5 min the performance was reduced by 19% (P=0.01) in relation to the mean of the game. Mean heart rate was 161, s=9 b.min(-1) (86, s=3% of maximal heart rate (HRmax)). Mean heart rate (expressed as percentage of HRmax) was related in part (r2=0.36; P5 m.s(-1)) best describes the physical performance of referees; (3) heart rate recording can be a useful tool to determine the most intense periods of a match and (4) the new fitness tests adopted by FIFA were poor predictors of match activities

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

Resolving Non-Determinism in Choreographies

Resolving non-deterministic choices of choreographies is a crucial task. We introduce a novel notion of realisability for choreographies –called whole-spectrum implementation– that rules out deterministic implementations of roles that, no matter which context they are placed in, will never follow one of the branches of a non-deterministic choice. We show that, under some conditions, it is decidable whether an implementation is whole-spectrum. As a case study, we analyse the POP protocol under the lens of whole-spectrum implementation

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 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

Contracts for Abstract Processes in Service Composition

Contracts are a well-established approach for describing and analyzing behavioral aspects of web service compositions. The theory of contracts comes equipped with a notion of compatibility between clients and servers that ensures that every possible interaction between compatible clients and servers will complete successfully. It is generally agreed that real applications often require the ability of exposing just partial descriptions of their behaviors, which are usually known as abstract processes. We propose a formal characterization of abstraction as an extension of the usual symbolic bisimulation and we recover the notion of abstraction in the context of contracts.Comment: In Proceedings FIT 2010, arXiv:1101.426

Territorial imbalances in Santa Fe province : evolution and impacts of the economic processes in recent years

El trabajo tiene como objetivo estudiar los desequilibrios territoriales de los departamentos que integran la provincia de Santa Fe y analizar los procesos económicos que han tendido a modificarlos o profundizarlos. Se utilizan datos provenientes del Censo Nacional Económico 2004 y del Censo Nacional de Población y Vivienda de 1991, 2001 y 2010 e información de diferentes organismos nacionales y provinciales. Las disparidades intraprovinciales se explican, en parte, por las ventajas económicas y la disponibilidad de recursos en determinadas localizaciones que atraen nuevas inversiones, generando procesos concentradores acumulativos que sin decisiones políticas adecuadas acrecientan las diferencias sociales y las condiciones de vida de sus habitantes. La crisis del 2001 y el posterior abandono de la convertibilidad generaron un cambio del régimen macroeconómico que contribuyó a la recuperación de la economía nacional y regional. En los territorios se produjeron modificaciones que aún no se han consolidado pero que mejoraron las condiciones de sostenibilidad económica y la calidad de vida de sus habitantes. En la provincia de Santa Fe, la situación no es igual en todo el territorio provincial. Las realidades locales son diferentes por sus recursos, por los perfiles productivos y por las situaciones heredades o construidas en períodos anteriores.The work aims to investigate the territorial imbalances of the departments that conform Santa Fe and analyze economic processes that have tended to modify or deepen. Using data from the 2004 Economic Census and the National Population and Housing Census of 1991, 2001 and 2010 and information from different national and provincial organism. Intraprovincial disparities are explained, in part, because of the economic benefits and the availability of resources in certain locations to attract new investments, generating concentrated processes of accumulation that without adequate political decisions heighten social differences and the living conditions of its habitants. The 2001 crisis and the subsequent abandonment of the convertibility model generated a change in macroeconomic regime that has contributed to the recovery of the national and regional economy. The territory has been modificated but those modifications have not yet been consolidated. However, they improved the conditions of economic sustainability and quality of life of its residents. In Santa Fe province, the situation is not the same all over its territory. Local realities are different by their resources, profiles and productive situations inherited or constructed in previous periodFil: Báscolo, Paula J.. Universidad Nacional de RosarioFil: Castagna, Alicia. Universidad Nacional de RosarioFil: Secreto, María Florencia. Universidad Nacional de RosarioFil: Véntola, Verónica A.. Universidad Nacional de Rosari

Prevention of mucositis in bone marrow transplantation: A double blind randomised controlled trial of sucralfate

Mucositis is still a leading side effect of high dose chemotherapy and irradiation delivered in autologous and allogeneic bone marrow transplantation. In this double blind randomised study, we tested the efficacy of sucralfate for the prevention of mucositis induced by such conditioning treatments. Treatment was started one day before conditioning regimen and patients were prospectively evaluated. The main endpoint was severe mucositis that was more frequent in the placebo group than in the sucralfate group (47% vs. 29%, P = 0.07). This trend was confirmed after adjustment on total body irradiation (TBI) (P = 0.06), the sole stratification parameter. Interestingly, patients receiving sucralfate showed a significant reduction of diarrhoea (25% vs. 53%, P = 0.005). Overall, the preventive administration of sucralfate appears to be an effective proce dure to diminish the occurrence of severe oral and intestinal mucositis in patients treated by high dose chemotherapy alone or combined with TBI before bone marrow transplantatio