Observed communication semantics for classical processes

Classical Linear Logic (CLL) has long inspired readings of its proofs as communicating processes. Wadler's CP calculus is one of these readings. Wadler gave CP an operational semantics by selecting a subset of the cut-elimination rules of CLL to use as reduction rules. This semantics has an appealing close connection to the logic, but does not resolve the status of the other cut-elimination rules, and does not admit an obvious notion of observational equivalence. We propose a new operational semantics for CP based on the idea of observing communication, and use this semantics to define an intuitively reasonable notion of observational equivalence. To reason about observational equivalence, we use the standard relational denotational semantics of CLL. We show that this denotational semantics is adequate for our operational semantics. This allows us to deduce that, for instance, all the cut-elimination rules of CLL are observational equivalences

Mine, Yours, Ours? Sharing Data on Human Genetic Variation

The achievement of a robust, effective and responsible form of data sharing is currently regarded as a priority for biological and bio-medical research. Empirical evaluations of data sharing may be regarded as an indispensable first step in the identification of critical aspects and the development of strategies aimed at increasing availability of research data for the scientific community as a whole. Research concerning human genetic variation represents a potential forerunner in the establishment of widespread sharing of primary datasets. However, no specific analysis has been conducted to date in order to ascertain whether the sharing of primary datasets is common-practice in this research field. To this aim, we analyzed a total of 543 mitochondrial and Y chromosomal datasets reported in 508 papers indexed in the Pubmed database from 2008 to 2011. A substantial portion of datasets (21.9%) was found to have been withheld, while neither strong editorial policies nor high impact factor proved to be effective in increasing the sharing rate beyond the current figure of 80.5%. Disaggregating datasets for research fields, we could observe a substantially lower sharing in medical than evolutionary and forensic genetics, more evident for whole mtDNA sequences (15.0% vs 99.6%). The low rate of positive responses to e-mail requests sent to corresponding authors of withheld datasets (28.6%) suggests that sharing should be regarded as a prerequisite for final paper acceptance, while making authors deposit their results in open online databases which provide data quality control seems to provide the best-practice standard. Finally, we estimated that 29.8% to 32.9% of total resources are used to generate withheld datasets, implying that an important portion of research funding does not produce shared knowledge. By making the scientific community and the public aware of this important aspect, we may help popularize a more effective culture of data sharing

The supernatural characters and powers of sacred trees in the Holy Land

This article surveys the beliefs concerning the supernatural characteristics and powers of sacred trees in Israel; it is based on a field study as well as a survey of the literature and includes 118 interviews with Muslims and Druze. Both the Muslims and Druze in this study attribute supernatural dimensions to sacred trees which are directly related to ancient, deep-rooted pagan traditions. The Muslims attribute similar divine powers to sacred trees as they do to the graves of their saints; the graves and the trees are both considered to be the abode of the soul of a saint which is the source of their miraculous powers. Any violation of a sacred tree would be strictly punished while leaving the opportunity for atonement and forgiveness. The Druze, who believe in the transmigration of souls, have similar traditions concerning sacred trees but with a different religious background. In polytheistic religions the sacred grove/forest is a centre of the community's official worship; any violation of the trees is regarded as a threat to the well being of the community. Punishments may thus be collective. In the monotheistic world (including Christianity, Islam and Druze) the pagan worship of trees was converted into the worship/adoration of saints/prophets; it is not a part of the official religion but rather a personal act and the punishments are exerted only on the violating individual

On the typology and the worship status of sacred trees with a special reference to the Middle East

This article contains the reasons for the establishment of sacred trees in Israel based on a field study. It includes 97 interviews with Muslim and Druze informants. While Muslims (Arabs and Bedouins) consider sacred trees especially as an abode of righteous figures' (Wellis') souls or as having a connection to their graves, the Druze relate sacred trees especially to the events or deeds in the lives of prophets and religious leaders. A literary review shows the existence of 24 known reasons for the establishment of sacred trees worldwide, 11 of which are known in Israel one of these is reported here for the first time. We found different trends in monotheistic and polytheistic religions concerning their current worship of sacred trees

Diabetic ketoacidosis

Diabetic ketoacidosis (DKA) is the most common acute hyperglycaemic emergency in people with diabetes mellitus. A diagnosis of DKA is confirmed when all of the three criteria are present — ‘D’, either elevated blood glucose levels or a family history of diabetes mellitus; ‘K’, the presence of high urinary or blood ketoacids; and ‘A’, a high anion gap metabolic acidosis. Early diagnosis and management are paramount to improve patient outcomes. The mainstays of treatment include restoration of circulating volume, insulin therapy, electrolyte replacement and treatment of any underlying precipitating event. Without optimal treatment, DKA remains a condition with appreciable, although largely preventable, morbidity and mortality. In this Primer, we discuss the epidemiology, pathogenesis, risk factors and diagnosis of DKA and provide practical recommendations for the management of DKA in adults and children

Stress-dilatancy based modelling of granular materials and extensions to soils with crushable grains

Stress-dilatancy relations have played a crucial role in the understanding of the mechanical behaviour of soils and in the development of realistic constitutive models for their response. Recent investigations on the mechanical behaviour of materials with crushable grains have called into question the validity of classical relations such as those used in critical state soil mechanics. In this paper, a method to construct thermodynamically consistent (isotropic, three-invariant) elastoplastic models based on a given stress-dilatancy relation is discussed. Extensions to cover the case of granular materials with crushable grains are also presented, based on the interpretation of some classical model parameters (e.g. the stress ratio at critical state) as internal variables that evolve according to suitable hardening laws