Name-passing calculi and crypto-primitives: A survey

The paper surveys the literature on high-level name-passing process calculi, and their extensions with cryptographic primitives. The survey is by no means exhaustive, for essentially two reasons. First, in trying to provide a coherent presentation of different ideas and techniques, one inevitably ends up leaving out the approaches that do not fit the intended roadmap. Secondly, the literature on the subject has been growing at very high rate over the years. As a consequence, we decided to concentrate on few papers that introduce the main ideas, in the hope that discussing them in some detail will provide sufficient insight for further reading

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

Reconceptualizing Somatic Dysfunction in the Light of a Neuroaesthetic Enactive Paradigm

Background: Palpatory findings are considered a central element of osteopathic practice, especially when associated with a patient’s altered regulative functions than with named somatic dysfunctions. Although osteopathic theories for somatic dysfunction could be plausible, the clinical applicability of the concept is debated, especially because it is largely related to simple cause–effect models of osteopathic care. In contrast to a linear kind of diagnosis of a “tissue as a producer of symptoms”, this perspective article aims to provide a conceptual and operational framework in which the somatic dysfunction evaluation process is seen as a neuroaesthetic (en)active encounter between osteopath and patient. Subsections relevant to the subject: To summarize all concepts of the hypothesis, the enactive neuroaesthetics principles are proposed as a critical foundation for the osteopathic assessment and treatment of the person, specifically addressing a new paradigm for somatic dysfunction. Conclusions, and future directions: The present perspective article represents a proposition to blend technical rationality informed by neurocognitive and social sciences, and professional artistry clinical experience informed by traditional tenets, to overcome the controversy around somatic dysfunction, rather than dismissing the concept

Cor triatriatum sinister in a dog

This report describes the transthoracic and transesophageal echocardiographic features of cor triatriatum sinister in an asymptomatic 6-year-old male French bulldog. Although cor triatriatum sinister represents a well-known and widely described cardiac malformation in humans, its description in the canine population is rare. In this clinical case, non-invasive echocardiographic techniques were helpful in visualizing and characterizing the lesion, allowing a valuable assessment of the malformation, and its hemodynamic consequences

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

Chemical induction of spawning by serotonin in the ocean quahog Arctica islandica (Linne)

Serotonin injected into the anterior adductor muscle induced spawning in the ocean quahog Arcrica islandica (Linne) when using either individual or mass spawning techniques. This represents the fir st successful attempt to induce the release of gametes in this species which historically has been unresponsive to conventional spawning stimuli. The gametes released were competent and fertilization occurred without treating the encapsulated eggs with ammonium hydroxide or other chemicals. Larvae were reared through metamorphosis to early juvenile stage

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

Retrospective evaluation of the ST segment electrocardiographic features in 180 healthy dogs

Objectives Normal features of the ST segment are poorly characterised in dogs. This study aimed to describe ST segment characteristics in a population of healthy dogs. Materials and Methods Medical records were reviewed to identify healthy dogs that underwent an electrocardiogram. Several ST segment qualitative parameters were evaluated: presence/absence of deviation, type of deviation (depression/elevation) and morphological patterns of depression (horizontal, downsloping, upsloping and sagging) and elevation (horizontal, concave and convex). Moreover, the amplitude of ST segment depression/elevation was measured. The potential effect of sex, bodyweight, age and somatotype on the presence/absence of ST segment deviation was evaluated through binary logistic regression. Results One hundred and eighty dogs were enrolled. The deviation was evident in 43 of 180 dogs (23.9%), among which 36 showed depression and seven showed elevation. The median depression amplitude was 0.1 (range 0.05 to 0.3) mV. The mean elevation amplitude was 0.136 +/- 0.055 mV. Concerning depression morphology, the horizontal pattern was overrepresented, followed by the downsloping and upsloping ones. Concerning elevation morphology, all dogs showed a concave pattern. No meaningful effect of sex, bodyweight, age and somatotype on the presence/absence of ST segment deviation was documented. Clinical Significance Normal features of canine ST segment were described and made available for clinical use