Towards a Formal Verification Methodology for Collective Robotic Systems

We introduce a UML-based notation for graphically modeling systems’ security aspects in a simple and intuitive way and a model-driven process that transforms graphical specifications of access control policies in XACML. These XACML policies are then translated in FACPL, a policy language with a formal semantics, and the resulting policies are evaluated by means of a Java-based software tool

Structure of 12Be: intruder d-wave strength at N=8

The breaking of the N=8 shell-model magic number in the 12Be ground state has been determined to include significant occupancy of the intruder d-wave orbital. This is in marked contrast with all other N=8 isotones, both more and less exotic than 12Be. The occupancies of the 0 hbar omega neutron p1/2-orbital and the 1 hbar omega, neutron d5/2 intruder orbital were deduced from a measurement of neutron removal from a high-energy 12Be beam leading to bound and unbound states in 11Be.Comment: 5 pages, 2 figure

B(E1) Strengths from Coulomb Excitation of 11Be

The $B$(E1;$1/2^+\to1/2^-$) strength for $^{11}$Be has been extracted from intermediate energy Coulomb excitation measurements, over a range of beam energies using a new reaction model, the extended continuum discretized coupled channels (XCDCC) method. In addition, a measurement of the excitation cross section for $^{11}$Be+$^{208}$Pb at 38.6 MeV/nucleon is reported. The $B$(E1) strength of 0.105(12) e$^2$fm$^2$ derived from this measurement is consistent with those made previously at 60 and 64 MeV/nucleon, i n contrast to an anomalously low result obtained at 43 MeV/nucleon. By coupling a multi-configuration description of the projectile structure with realistic reaction theory, the XCDCC model provides for the first time a fully quantum mechanical description of Coulomb excitation. The XCDCC calculations reveal that the excitation process involves significant contributions from nuclear, continuum, and higher-order effects. An analysis of the present and two earlier intermediate energy measurements yields a combined B(E1) strength of 0.105(7) e$^2$fm$^2$. This value is in good agreement with the value deduced independently from the lifetime of the $1/2^-$ state in $^{11}$Be, and has a comparable p recision.Comment: 5 pages, 2 figures, accepted for publication in Phys. Lett.

\b{eta}-delayed three-proton decay of 31Ar

The beta decay of 31Ar, produced by fragmentation of a 36Ar beam at 880 MeV/nucleon, was investigated. Identified ions of 31Ar were stopped in a gaseous time projection chamber with optical readout allowing to record decay events with emission of protons. In addition to \b{eta}-delayed emission of one and two protons we have clearly observed the beta-delayed three-proton branch. The branching ratio for this channel in 31Ar is found to be 0.07(2)%.Comment: 5 pages, 3 figures, submitted to Physical Rev.

CerealsDB 3.0:Expansion of resources and data integration

BACKGROUND: The increase in human populations around the world has put pressure on resources, and as a consequence food security has become an important challenge for the 21st century. Wheat (Triticum aestivum) is one of the most important crops in human and livestock diets, and the development of wheat varieties that produce higher yields, combined with increased resistance to pests and resilience to changes in climate, has meant that wheat breeding has become an important focus of scientific research. In an attempt to facilitate these improvements in wheat, plant breeders have employed molecular tools to help them identify genes for important agronomic traits that can be bred into new varieties. Modern molecular techniques have ensured that the rapid and inexpensive characterisation of SNP markers and their validation with modern genotyping methods has produced a valuable resource that can be used in marker assisted selection. CerealsDB was created as a means of quickly disseminating this information to breeders and researchers around the globe. DESCRIPTION: CerealsDB version 3.0 is an online resource that contains a wide range of genomic datasets for wheat that will assist plant breeders and scientists to select the most appropriate markers for use in marker assisted selection. CerealsDB includes a database which currently contains in excess of a million putative varietal SNPs, of which several hundreds of thousands have been experimentally validated. In addition, CerealsDB also contains new data on functional SNPs predicted to have a major effect on protein function and we have constructed a web service to encourage data integration and high-throughput programmatic access. CONCLUSION: CerealsDB is an open access website that hosts information on SNPs that are considered useful for both plant breeders and research scientists. The recent inclusion of web services designed to federate genomic data resources allows the information on CerealsDB to be more fully integrated with the WheatIS network and other biological databases. ELECTRONIC SUPPLEMENTARY MATERIAL: The online version of this article (doi:10.1186/s12859-016-1139-x) contains supplementary material, which is available to authorized users

Empowerment or Engagement? Digital Health Technologies for Mental Healthcare

We argue that while digital health technologies (e.g. artificial intelligence, smartphones, and virtual reality) present significant opportunities for improving the delivery of healthcare, key concepts that are used to evaluate and understand their impact can obscure significant ethical issues related to patient engagement and experience. Specifically, we focus on the concept of empowerment and ask whether it is adequate for addressing some significant ethical concerns that relate to digital health technologies for mental healthcare. We frame these concerns using five key ethical principles for AI ethics (i.e. autonomy, beneficence, non-maleficence, justice, and explicability), which have their roots in the bioethical literature, in order to critically evaluate the role that digital health technologies will have in the future of digital healthcare

Epistemic policy networks in the European Union’s CBRN risk mitigation policy

This paper offers insights into an innovative and currently flagship approach of the European Union (EU) to the mitigation of chemical, biological, radiological, and nuclear (CBRN) risks. Building on its long-time experience in the CBRN field, the EU has incorporated methods familiar to the students of international security governance: it is establishing regional networks of experts and expertise. CBRN Centers of Excellence, as they are officially called, aim to contribute to the security and safety culture in different parts of Africa, the Middle East, South East Asia, and South East Europe, in the broadly construed CBRN area. These regional networks represent a modern form of security cooperation, which can be conceptualized as an epistemic policy networks approach. It offers flexibility to the participating states, which have different incentives to get involved. At the same, however, the paper identifies potential limitations and challenges of epistemic policy networks in this form

The solvation and dissociation of 4-benzylaniline hydrochloride in chlorobenzene

A reaction scheme is proposed to account for the liberation of 4-benzylaniline from 4-benzylaniline hydrochloride, using chlorobenzene as a solvent at a temperature of 373 K. Two operational regimes are explored: “closed” reaction conditions correspond to the retention of evolved hydrogen chloride gas within the reaction medium, whereas an “open” system permits gaseous hydrogen chloride to be released from the reaction medium. The solution phase chemistry is analyzed by 1H NMR spectroscopy. Complete liberation of solvated 4-benzylaniline from solid 4-benzylaniline hydrochloride is possible under “open” conditions, with the entropically favored conversion of solvated hydrogen chloride to the gaseous phase thought to be the thermodynamic driver that effectively controls a series of interconnecting equilibria. A kinetic model is proposed to account for the observations of the open system

One-neutron removal reactions on light neutron-rich nuclei

A study of high energy (43--68 MeV/nucleon) one-neutron removal reactions on a range of neutron-rich psd-shell nuclei (Z = 5--9, A = 12--25) has been undertaken. The inclusive longitudinal and transverse momentum distributions for the core fragments, together with the cross sections have been measured for breakup on a carbon target. Momentum distributions for reactions on tantalum were also measured for a subset of nuclei. An extended version of the Glauber model incorporating second order noneikonal corrections to the JLM parametrisation of the optical potential has been used to describe the nuclear breakup, whilst the Coulomb dissociation is treated within first order perturbation theory. The projectile structure has been taken into account via shell model calculations employing the psd-interaction of Warburton and Brown. Both the longitudinal and transverse momentum distributions, together with the integrated cross sections were well reproduced by these calculations and spin-parity assignments are thus proposed for $^{15}$B, $^{17}$C, $^{19-21}$N, $^{21,23}$O, $^{23-25}$F. In addition to the large spectroscopic amplitudes for the $\nu2$s$_{1/2}$ intruder configuration in the N=9 isotones,$^{14}$B and $^{15}$C, significant $\nu2$s$_{1/2}^2$ admixtures appear to occur in the ground state of the neighbouring N=10 nuclei $^{15}$B and $^{16}$C. Similarly, crossing the N=14 subshell, the occupation of the $\nu2$s$_{1/2}$ orbital is observed for $^{23}$O, $^{24,25}$F. Analysis of the longitudinal and transverse momentum distributions reveals that both carry spectroscopic information, often of a complementary nature. The general utility of high energy nucleon removal reactions as a spectroscopic tool is also examined.Comment: 50 pages, 19 figures, submitted to Phys. Rev.