199 research outputs found
On Linear Information Systems
Scott's information systems provide a categorically equivalent, intensional
description of Scott domains and continuous functions. Following a well
established pattern in denotational semantics, we define a linear version of
information systems, providing a model of intuitionistic linear logic (a
new-Seely category), with a "set-theoretic" interpretation of exponentials that
recovers Scott continuous functions via the co-Kleisli construction. From a
domain theoretic point of view, linear information systems are equivalent to
prime algebraic Scott domains, which in turn generalize prime algebraic
lattices, already known to provide a model of classical linear logic
Predicate Transformers and Linear Logic, yet another denotational model
International audienceIn the refinement calculus, monotonic predicate transformers are used to model specifications for (imperative) programs. Together with a natural notion of simulation, they form a category enjoying many algebraic properties. We build on this structure to make predicate transformers into a de notational model of full linear logic: all the logical constructions have a natural interpretation in terms of predicate transformers (i.e. in terms of specifications). We then interpret proofs of a formula by a safety property for the corresponding specification
The Isospin Distribution of Fragments in Reactions 96Ru+96Ru, 96Ru+96Zr, 96Zr+96Ru, and 96Zr+96Zr at Beam Energy 400 AMeV
The isospin distribution of particles and fragments in collisions 96Ru+96Ru,
96Ru+96Zr, 96Zr+96Ru, and 96Zr+96Zr at beam energy 400 AMeV is studied with
isospin dependent QMD model. We find that the rapidity distribution of
differential neutron-proton counting in neutron rich nucleus-nucleus collisions
at intermediate energies is sensitive to the isospin dependent part of nuclear
potential. The study of the N/Z ratio of nucleons, light charged particles
(LCP) and intermediate mass fragments (IMF) shows that the isospin dependent
part of nuclear potential drives IMF to be more isospin symmetric and emitted
nucleons to be more neutron rich. From the study of the time evolution of the
isospin distribution in emitted nucleons, LCP and IMF we find that neutrons
diffuse much faster than protons at beginning and the final isospin
distribution is a result of dynamical balance of symmetry potential and Coulomb
force under the charge conservation.Comment: 10 pages, 5 figure
The stack calculus
We introduce a functional calculus with simple syntax and operational
semantics in which the calculi introduced so far in the Curry-Howard
correspondence for Classical Logic can be faithfully encoded. Our calculus
enjoys confluence without any restriction. Its type system enforces strong
normalization of expressions and it is a sound and complete system for full
implicational Classical Logic. We give a very simple denotational semantics
which allows easy calculations of the interpretation of expressions.Comment: In Proceedings LSFA 2012, arXiv:1303.713
Cattle-related trauma: a 10-year retrospective cohort study of patients admitted to a single tertiary trauma centre in Switzerland.
AIMS OF THE STUDY
Switzerland is traditionally an agricultural country with more than 50,000 farms and 1.5 million registered cows. However, contemporary literature on cattle-related trauma in Switzerland remain limited. The purpose of this study was to examine injury patterns and outcomes of patients who presented to a tertiary trauma centre in Switzerland following cattle-related trauma.
METHODS
Retrospective single-centre study over a 10-year period (2012-2021) including all patients experiencing cattle-related trauma. From retrieved charts demographics, injury data, and outcomes were collected and subsequently analysed.
RESULTS
A total of 94 patients with cattle-related injuries were identified. The median age was 52 years (interquartile range [IQR] 37-63) and 75% were male. Cattle-related injuries were most frequent among farmers (73%) and were most often caused by cows (86%), followed by bulls (10%). Blunt trauma (89%) was the leading mechanism of injury including headbutt (36%), kick (35%), physical contact (20%) and trampling injury (12%). Penetrating injury occurred in 11%, all caused by headbutt. Contusions (82%) and lacerations (45%) were the leading injuries, followed by face fractures (28%), closed head trauma (19%) and chest injuries (17%). Overall, 10% of all patients had a head abbreviated injury scale (AIS) score of ≥3 and 8% had a chest AIS of ≥3. The hospital admission rate was 49% for cow-related injury vs 90% for bull-related injuries, p = 0.023. Overall, in-hospital mortality was 3% and the median length of stay was 4.5 days (IQR 3-8) among patients admitted to the hospital.
CONCLUSIONS
Cattle-related injuries in Switzerland mainly affect farmers and are associated with considerable morbidity, especially when caused by bulls. Facial fractures, head injuries and chest injuries are common, and the latter two in particular can be severe. The results of the present study can be used for the implementation of data-driven prevention measures for the safe handling of cattle in Switzerland
- …