Electron-induced proton knockout from neutron rich nuclei

We study the evolution of the \eep cross section on nuclei with increasing asymmetry between the number of neutrons and protons. The calculations are done within the framework of the nonrelativistic and relativistic distorted-wave impulse approximation. In the nonrelativistic model phenomenological Woods-Saxon and Hartree-Fock wave functions are used for the proton bound-state wave functions, in the relativistic model the wave functions are solutions of Dirac-Hartree equations. The models are first tested against experimental data on $^{40}$Ca and $^{48}$Ca nuclei, and then they are applied to a set of spherical calcium isotopes.Comment: 5 pages, 2 figures. contribution to the XIX International School on Nuclear Physics, Neutron Physics and Applications, Varna (Bulgaria) September 19-25, 201

SAT-based Explicit LTL Reasoning

We present here a new explicit reasoning framework for linear temporal logic (LTL), which is built on top of propositional satisfiability (SAT) solving. As a proof-of-concept of this framework, we describe a new LTL satisfiability tool, Aalta\_v2.0, which is built on top of the MiniSAT SAT solver. We test the effectiveness of this approach by demonnstrating that Aalta\_v2.0 significantly outperforms all existing LTL satisfiability solvers. Furthermore, we show that the framework can be extended from propositional LTL to assertional LTL (where we allow theory atoms), by replacing MiniSAT with the Z3 SMT solver, and demonstrating that this can yield an exponential improvement in performance

Erratum to: 36th International Symposium on Intensive Care and Emergency Medicine: Brussels, Belgium. 15-18 March 2016.

[This corrects the article DOI: 10.1186/s13054-016-1208-6.]

The s Process: Nuclear Physics, Stellar Models, Observations

Nucleosynthesis in the s process takes place in the He burning layers of low mass AGB stars and during the He and C burning phases of massive stars. The s process contributes about half of the element abundances between Cu and Bi in solar system material. Depending on stellar mass and metallicity the resulting s-abundance patterns exhibit characteristic features, which provide comprehensive information for our understanding of the stellar life cycle and for the chemical evolution of galaxies. The rapidly growing body of detailed abundance observations, in particular for AGB and post-AGB stars, for objects in binary systems, and for the very faint metal-poor population represents exciting challenges and constraints for stellar model calculations. Based on updated and improved nuclear physics data for the s-process reaction network, current models are aiming at ab initio solution for the stellar physics related to convection and mixing processes. Progress in the intimately related areas of observations, nuclear and atomic physics, and stellar modeling is reviewed and the corresponding interplay is illustrated by the general abundance patterns of the elements beyond iron and by the effect of sensitive branching points along the s-process path. The strong variations of the s-process efficiency with metallicity bear also interesting consequences for Galactic chemical evolution.Comment: 53 pages, 20 figures, 3 tables; Reviews of Modern Physics, accepte