1,814 research outputs found
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 Study of the Commercial and Recreational Fisheries of the Eastern Shore of Virginia, Accomack, and Northampton Counties: History Review and Recommendations for Improvements
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
- ā¦