3,150 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
Responses of the hard clam Mercenaria mercenaria (Linne) to induction of spawning by serotonin.
lam size, sex of clam, concentration of serotonin, and site of administration of serotonin were found to influence the mduction of spawning in the hard clam Mercenaria mercenaria (Linne). Overall, male clams greater than 36.4 mm thickness were ~ore likely_ to spawn in response to ser~ton~n i_njection at concentrations of 0.2 or 2.0-mM. Administration of serotonin by injection m the antenor adductor muscle resulted m sJgmficantly more spawnings than intragonadal injection or dispersal in water surrounding the incurrent siphon
Larval development of the pelecypod Lyonsia hyalina
L)1011sia hyalina (Conrad) is a small ( 1/2 to 3/4 inch) odd shaped clarn (FigĀ·. I) common along the Atlantic Coast from Nova Scotia to South Carolina (Abbott, 1954). It is usually found in sand in shallow water with a coating of small sand grains attached to the periostracurn. (...
Effects Of Large Predators On The Field Culture Of The Hard Clam, Mercenaria mercenaria
Individuals in the clam industry h ave used fences to keep the cownose ray, Rhirioptera bonasus, out of planted areas (Lewis 2 ; Burton3 ). Tiller et al. ( 1952) indicated losses due to skates in planted holding areas and stated that One man reported the loss of 600 bushels of small clams in two nights during 1948 .... Merriner and Smith4 stated that cownose ray predation is a serious problem on oyster and clam grounds in Chesapeake Bay. From these observations it is clear that such large predators could be a significant deterrent to the culture of clams from Delaware Bay southward along the Atlantic coast.
The present study continues a program designed tv evaluate methods of protecting areas seeded with young Mercenaria mercenari
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
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
Factors influencing referees' ratings of perceived exertion during competitive soccer matches
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
- ā¦