A Fully Abstract Symbolic Semantics for Psi-Calculi

We present a symbolic transition system and bisimulation equivalence for psi-calculi, and show that it is fully abstract with respect to bisimulation congruence in the non-symbolic semantics. A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted between processes and their names can be statically scoped using the standard pi-calculus mechanism to allow for scope migrations. Psi-calculi can be more general than other proposed extensions of the pi-calculus such as the applied pi-calculus, the spi-calculus, the fusion calculus, or the concurrent constraint pi-calculus. Symbolic semantics are necessary for an efficient implementation of the calculus in automated tools exploring state spaces, and the full abstraction property means the semantics of a process does not change from the original

The identification and management of ADHD offenders within the criminal justice system: a consensus statement from the UK Adult ADHD Network and criminal justice agencies.

The UK Adult ADHD Network (UKAAN) was founded by a group of mental health specialists who have experience delivering clinical services for adults with Attention Deficit Hyperactivity Disorder (ADHD) within the National Health Service (NHS). UKAAN aims to support mental health professionals in the development of services for adults with ADHD by the promotion of assessment and treatment protocols. One method of achieving these aims has been to sponsor conferences and workshops on adult ADHD.This consensus statement is the result of a Forensic Meeting held in November 2009, attended by senior representatives of the Department of Health (DoH), Forensic Mental Health, Prison, Probation, Courts and Metropolitan Police services. The objectives of the meeting were to discuss ways of raising awareness about adult ADHD, and its recognition, assessment, treatment and management within these respective services. Whilst the document draws on the UK experience, with some adaptations it can be used as a template for similar local actions in other countries. It was concluded that bringing together experts in adult ADHD and the Criminal Justice System (CJS) will be vital to raising awareness of the needs of ADHD offenders at every stage of the offender pathway. Joint working and commissioning within the CJS is needed to improve awareness and understanding of ADHD offenders to ensure that individuals are directed to appropriate care and rehabilitation. General Practitioners (GPs), whilst ideally placed for early intervention, should not be relied upon to provide this service as vulnerable offenders often have difficulty accessing primary care services. Moreover once this hurdle has been overcome and ADHD in offenders has been identified, a second challenge will be to provide treatment and ensure continuity of care. Future research must focus on proof of principle studies to demonstrate that identification and treatment confers health gain, safeguards individual's rights, improves engagement in offender rehabilitation programmes, reduces institutional behavioural disturbance and, ultimately, leads to crime reduction. In time this will provide better justice for both offenders and society.RIGHTS : This article is licensed under the BioMed Central licence at http://www.biomedcentral.com/about/license which is similar to the 'Creative Commons Attribution Licence'. In brief you may : copy, distribute, and display the work; make derivative works; or make commercial use of the work - under the following conditions: the original author must be given credit; for any reuse or distribution, it must be made clear to others what the license terms of this work are

Polycaprolactone-Based 3D-Printed Scaffolds as Potential Implant Materials for Tendon-Defect Repair

Chronic tendon ruptures are common disorders in orthopedics. The conventional surgical methods used to treat them often require the support of implants. Due to the non-availability of suitable materials, 3D-printed polycaprolactone (PCL) scaffolds were designed from two different starting materials as suitable candidates for tendon-implant applications. For the characterization, mechanical testing was performed. To increase their biocompatibility, the PCL-scaffolds were plasma-treated and coated with fibronectin and collagen I. Cytocompatibility testing was performed using L929 mouse fibroblasts and human-bone-marrow-derived mesenchymal stem cells. The mechanical testing showed that the design adaptions enhanced the mechanical stability. Cell attachment was increased in the plasma-treated specimens compared to the control specimens, although not significantly, in the viability tests. Coating with fibronectin significantly increased the cellular viability compared to the untreated controls. Collagen I treatment showed an increasing trend. The desired cell alignment and spread between the pores of the construct was most prominent on the collagen-I-coated specimens. In conclusion, 3D-printed scaffolds are possible candidates for the development of tendon implants. Enhanced cytocompatibility was achieved through surface modifications. Although adaptions in mechanical strength still require alterations in order to be applied to human-tendon ruptures, we are optimistic that a suitable implant can be designed

Psi-calculi: a framework for mobile processes with nominal data and logic

The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processes and their names can be statically scoped as in the standard pi-calculus. Psi-calculi can capture the same phenomena as other proposed extensions of the pi-calculus such as the applied pi-calculus, the spi-calculus, the fusion calculus, the concurrent constraint pi-calculus, and calculi with polyadic communication channels or pattern matching. Psi-calculi can be even more general, for example by allowing structured channels, higher-order formalisms such as the lambda calculus for data structures, and predicate logic for assertions. We provide ample comparisons to related calculi and discuss a few significant applications. Our labelled operational semantics and definition of bisimulation is straightforward, without a structural congruence. We establish minimal requirements on the nominal data and logic in order to prove general algebraic properties of psi-calculi, all of which have been checked in the interactive theorem prover Isabelle. Expressiveness of psi-calculi significantly exceeds that of other formalisms, while the purity of the semantics is on par with the original pi-calculus.Comment: 44 page

Reconciliation of essential process parameters for an enhanced predictability of Arctic stratospheric ozone loss and its climate interactions

Significant reductions in stratospheric ozone occur inside the polar vortices each spring when chlorine radicals produced by heterogeneous reactions on cold particle surfaces in winter destroy ozone mainly in two catalytic cycles, the ClO dimer cycle and the ClO/BrO cycle. Chlorofluorocarbons (CFCs), which are responsible for most of the chlorine currently present in the stratosphere, have been banned by the Montreal Protocol and its amendments, and the ozone layer is predicted to recover to 1980 levels within the next few decades. During the same period, however, climate change is expected to alter the temperature, circulation patterns and chemical composition in the stratosphere, and possible geo-engineering ventures to mitigate climate change may lead to additional changes. To realistically predict the response of the ozone layer to such influences requires the correct representation of all relevant processes. The European project RECONCILE has comprehensively addressed remaining questions in the context of polar ozone depletion, with the objective to quantify the rates of some of the most relevant, yet still uncertain physical and chemical processes. To this end RECONCILE used a broad approach of laboratory experiments, two field missions in the Arctic winter 2009/10 employing the high altitude research aircraft M55-Geophysica and an extensive match ozone sonde campaign, as well as microphysical and chemical transport modelling and data assimilation. Some of the main outcomes of RECONCILE are as follows: (1) vortex meteorology: the 2009/10 Arctic winter was unusually cold at stratospheric levels during the six-week period from mid-December 2009 until the end of January 2010, with reduced transport and mixing across the polar vortex edge; polar vortex stability and how it is influenced by dynamic processes in the troposphere has led to unprecedented, synoptic-scale stratospheric regions with temperatures below the frost point; in these regions stratospheric ice clouds have been observed, extending over >106km2 during more than 3 weeks. (2) Particle microphysics: heterogeneous nucleation of nitric acid trihydrate (NAT) particles in the absence of ice has been unambiguously demonstrated; conversely, the synoptic scale ice clouds also appear to nucleate heterogeneously; a variety of possible heterogeneous nuclei has been characterised by chemical analysis of the non-volatile fraction of the background aerosol; substantial formation of solid particles and denitrification via their sedimentation has been observed and model parameterizations have been improved. (3) Chemistry: strong evidence has been found for significant chlorine activation not only on polar stratospheric clouds (PSCs) but also on cold binary aerosol; laboratory experiments and field data on the ClOOCl photolysis rate and other kinetic parameters have been shown to be consistent with an adequate degree of certainty; no evidence has been found that would support the existence of yet unknown chemical mechanisms making a significant contribution to polar ozone loss. (4) Global modelling: results from process studies have been implemented in a prognostic chemistry climate model (CCM); simulations with improved parameterisations of processes relevant for polar ozone depletion are evaluated against satellite data and other long term records using data assimilation and detrended fluctuation analysis. Finally, measurements and process studies within RECONCILE were also applied to the winter 2010/11, when special meteorological conditions led to the highest chemical ozone loss ever observed in the Arctic. In addition to quantifying the 2010/11 ozone loss and to understand its causes including possible connections to climate change, its impacts were addressed, such as changes in surface ultraviolet (UV) radiation in the densely populated northern mid-latitudes

Reconciliation of essential process parameters for an enhanced predictability of Arctic stratospheric ozone loss and its climate interactions : (RECONCILE) ; activities and results

The international research project RECONCILE has addressed central questions regarding polar ozone depletion, with the objective to quantify some of the most relevant yet still uncertain physical and chemical processes and thereby improve prognostic modelling capabilities to realistically predict the response of the ozone layer to climate change. This overview paper outlines the scope and the general approach of RECONCILE, and it provides a summary of observations and modelling in 2010 and 2011 that have generated an in many respects unprecedented dataset to study processes in the Arctic winter stratosphere. Principally, it summarises important outcomes of RECONCILE including (i) better constraints and enhanced consistency on the set of parameters governing catalytic ozone destruction cycles, (ii) a better understanding of the role of cold binary aerosols in heterogeneous chlorine activation, (iii) an improved scheme of polar stratospheric cloud (PSC) processes that includes heterogeneous nucleation of nitric acid trihydrate (NAT) and ice on non-volatile background aerosol leading to better model parameterisations with respect to denitrification, and (iv) long transient simulations with a chemistry-climate model (CCM) updated based on the results of RECONCILE that better reproduce past ozone trends in Antarctica and are deemed to produce more reliable predictions of future ozone trends. The process studies and the global simulations conducted in RECONCILE show that in the Arctic, ozone depletion uncertainties in the chemical and microphysical processes are now clearly smaller than the sensitivity to dynamic variability

The state of the Martian climate

60°N was +2.0°C, relative to the 1981–2010 average value (Fig. 5.1). This marks a new high for the record. The average annual surface air temperature (SAT) anomaly for 2016 for land stations north of starting in 1900, and is a significant increase over the previous highest value of +1.2°C, which was observed in 2007, 2011, and 2015. Average global annual temperatures also showed record values in 2015 and 2016. Currently, the Arctic is warming at more than twice the rate of lower latitudes

Spectroscopic evidence of large aspherical β-NAT particles involved in denitrification in the December 2011 Arctic stratosphere

We analyze polar stratospheric cloud (PSC) signatures in airborne MIPAS-STR (Michelson Interferometer for Passive Atmospheric Sounding – STRatospheric aircraft) observations in the spectral regions from 725 to 990 and 1150 to 1350 cm−1 under conditions suitable for the existence of nitric acid trihydrate (NAT) above northern Scandinavia on 11 December 2011. The high-resolution infrared limb emission spectra of MIPAS-STR show a characteristic “shoulder-like” signature in the spectral region around 820 cm−1, which is attributed to the ν2 symmetric deformation mode of NO3− in β-NAT. Using radiative transfer calculations involving Mie and T-Matrix methods, the spectral signatures of spherical and aspherical particles are simulated. The simulations are constrained using collocated in situ particle measurements. Simulations assuming highly aspherical spheroids with aspect ratios (AR) of 0.1 or 10.0 and a lognormal particle mode with a mode radius of 4.8 µm reproduce the observed spectra to a high degree. A smaller lognormal mode with a mode radius of 2.0 µm, which is also taken into account, plays only a minor role. Within the scenarios analyzed, the best overall agreement is found for elongated spheroids with AR  =  0.1. Simulations of spherical particles and spheroids with AR  =  0.5 and 2.0 return results very similar to each other and do not allow us to reproduce the signature around 820 cm−1. The observed “shoulder-like” signature is explained by the combination of the absorption/emission and scattering characteristics of large highly aspherical β-NAT particles. The size distribution supported by our results corresponds to ∼ 9 ppbv of gas-phase equivalent HNO3 at the flight altitude of ∼ 18.5 km. The results are compared with the size distributions derived from the in situ observations, a corresponding Chemical Lagrangian Model of the Stratosphere (CLaMS) simulation, and excess gas-phase HNO3 observed in a nitrification layer directly below the observed PSC. The presented results suggest that large highly aspherical β-NAT particles involved in denitrification of the polar stratosphere can be identified by means of passive infrared limb emission measurements

Gastroesophageal reflux GWAS identifies risk loci that also associate with subsequent severe esophageal diseases

Funder: The Swedish Esophageal Cancer Study was funded by grants (R01 CA57947-03) from the National Cancer Institute he California Tobacco Related Research Program (3RT-0122; and; 10RT-0251) Marit Peterson Fund for Melanoma Research. CIDR is supported by contract HHSN268200782096CAbstract: Gastroesophageal reflux disease (GERD) is caused by gastric acid entering the esophagus. GERD has high prevalence and is the major risk factor for Barrett’s esophagus (BE) and esophageal adenocarcinoma (EA). We conduct a large GERD GWAS meta-analysis (80,265 cases, 305,011 controls), identifying 25 independent genome-wide significant loci for GERD. Several of the implicated genes are existing or putative drug targets. Loci discovery is greatest with a broad GERD definition (including cases defined by self-report or medication data). Further, 91% of the GERD risk-increasing alleles also increase BE and/or EA risk, greatly expanding gene discovery for these traits. Our results map genes for GERD and related traits and uncover potential new drug targets for these conditions