The reaction $p + d \rightarrow p + d + X$ was studied at 0.8-2.0 GeV proton beam energies with the ANKE magnetic spectrometer at the COSY synchrotron storage ring. The proton-deuteron pairs emerging with high momenta, 0.6-1.8 GeV/$c$, were detected at small angles with respect to the proton beam. Distribution over the reaction missing mass $M_x$ reveals a local enhancement near the threshold of the pion pair production specific for the so-called ABC effect. The enhancement has a structure of a narrow bump placed above a smooth continuum. The invariant mass of the $d\pi\pi$ system in this enhancement region exhibits a resonance-like peak at $M_{d\pi\pi} \approx 2.36$ GeV/$c^2$ with the width $\Gamma \approx 0.10$ GeV/$c^2$. A possible interpretation of these features is discussed.

There is currently a lot of activity in R\&D for future collider experiments. Multiple detector prototypes are being tested, each one with slightly different requirements regarding the format of the data to be analysed. This has generated a variety of ad-hoc solutions for data acquisition and online data monitoring. We present a generic C++11 online monitoring framework called DQM4HEP, which is designed for use as a generic online monitor for particle physics experiments, ranging from small tabletop experiments to large multi-detector testbeams, such as those currently ongoing/planned at the DESY II or CERN SPS beamlines. We present results obtained using DQM4HEP at several testbeams where the CALICE AHCAL, SDHCAL and SiWECAL detector prototypes have been tested. During these testbeams, online analysis using DQM4HEP\'s framework has been developed and used. We also present the currently ongoing work to integrate DQM4HEP within the EUDAQ tool. EUDAQ is a tool for common and generic data acquisition within the AIDA-2020 collaboration. This will allow these two frameworks to work together as a generic and complete DAQ and monitoring system for any type of detector prototype tested on beam tests, which is one of the goals of the AIDA-2020 project.

Fe$M_2X_4$ spinels, where $M$ is a transition metal and $X$ is oxygen or sulfur, are candidate materials for spin filters, one of the key devices in spintronics. We present here a computational study of the inversion thermodynamics and the electronic structure of these (thio)spinels for $M=$ Cr, Mn, Co, Ni, using calculations based on the density functional theory with on-site Hubbard corrections (DFT+$U$). The analysis of the configurational free energies shows that different behaviour is expected for the equilibrium cation distributions in these structures: FeCr$_2X_4$ and FeMn$_2$S$_4$ are fully normal, FeNi$_2X_4$ and FeCo$_2$S$_4$ are intermediate, and FeCo$_2$O$_4$ and FeMn$_2$O$_4$ are fully inverted. We have analyzed the role played by the size of the ions and by the crystal field stabilization effects in determining the equilibrium inversion degree. We also discuss how the electronic and magnetic structure of these spinels is modified by the degree of inversion, assuming that this could be varied from the equilibrium value. We have obtained electronic densities of states for the completely normal and completely inverse cation distribution of each compound. FeCr$_2X_4$, FeMn$_2X_4$, FeCo$_2$O$_4$ and FeNi$_2$O$_4$ are half-metals in the ferrimagnetic state when Fe is in tetrahedral positions. When $M$ is filling the tetrahedral positions, the Cr-containing compounds and FeMn$_2$O$_4$ are half-metallic systems, while the Co and Ni spinels are insulators. The Co and Ni sulfide counterparts are metallic for any inversion degree together with the inverse FeMn$_2$S$_4$. Our calculations suggest that the spin filtering properties of the Fe$M_2X_4$ (thio)spinels could be modified via the control of the cation distribution through variations in the synthesis conditions.

AGN feedback, acting through strong outflows accelerated in the nuclear region of AGN hosts, is invoked as a key ingredient for galaxy evolution by many models to explain the observed BH-galaxy scaling relations. Recently, some direct observational evidence of radiative mode feedback in action has been finally found in quasars at $z$>1.5. However, it is not possible to study outflows in quasars at those redshifts on small scales ($\lesssim$100 pc), as spatial information is limited by angular resolution. This is instead feasible in nearby active galaxies, which are ideal laboratories to explore outflow structure and properties, as well as the effects of AGN on their host galaxies. In this proceeding we present preliminary results from the MAGNUM survey, which comprises nearby Seyfert galaxies observed with the integral field spectrograph VLT/MUSE. We focus on two sources, NGC 1365 and NGC 4945, that exhibit double conical outflows extending on distances >1 kpc. We disentangle the dominant contributions to ionization of the various gas components observed in the central $\sim$5.3 kpc of NGC 1365. An attempt to infer outflow 3D structure in NGC 4945 is made via simple kinematic modeling, suggesting a hollow cone geometry.

We introduce an agent-based model, in which agents set their prices to maximize profit. At steady state the market self-organizes into three groups: excess producers, consumers and balanced agents, with prices determined by their own resource level and a couple of macroscopic parameters that emerge naturally from the analysis, akin to mean-field parameters in statistical mechanics. When resources are scarce prices rise sharply below a turning point that marks the disappearance of excess producers. To compare the model with real empirical data, we study the relations between commodity prices and stock-to-use ratios of a range of commodities such as agricultural products and metals. By introducing an elasticity parameter to mitigate noise and long-term changes in commodities data, we confirm the trend of rising prices, provide evidence for turning points, and indicate yield points for less essential commodities.

The development and deployment of Autonomous Vehicles (AVs) on our roads is not only realistic in the near future but can also bring significant benefits. In particular, it can potentially solve several problems relating to vehicles and traffic, for instance: (i) possible reduction of traffic congestion, with the consequence of improved fuel economy and reduced driver inactivity; (ii) possible reduction in the number of accidents, assuming that an AV can minimise the human errors that often cause traffic accidents; and (iii) increased ease of parking, especially when one considers the potential for shared AVs. In order to deploy an AV there are significant steps that must be completed in terms of hardware and software. As expected, software components play a key role in the complex AV system and so, at least for safety, we should assess the correctness of these components. In this paper, we are concerned with the high-level software component(s) responsible for the decisions in an AV. We intend to model an AV capable of navigation; obstacle avoidance; obstacle selection (when a crash is unavoidable) and vehicle recovery, etc, using a rational agent. To achieve this, we have established the following stages. First, the agent plans and actions have been implemented within the Gwendolen agent programming language. Second, we have built a simulated automotive environment in the Java language. Third, we have formally specified some of the required agent properties through LTL formulae, which are then formally verified with the AJPF verification tool. Finally, within the MCAPL framework (which comprises all the tools used in previous stages) we have obtained formal verification of our AV agent in terms of its specific behaviours. For example, the agent plans responsible for selecting an obstacle with low potential damage, instead of a higher damage obstacle (when possible) can be formally verified within MCAPL. We must emphasise that the major goal (of our present approach) lies in the formal verification of agent plans, rather than evaluating real-world applications. For this reason we utilised a simple matrix representation concerning the environment used by our agent.

We investigate a time-delayed epidemic model for multi-strain diseases with temporary immunity. In the absence of cross-immunity between strains, dynamics of each individual strain exhibits emergence and anni- hilation of limit cycles due to a Hopf bifurcation of the endemic equilibrium, and a saddle-node bifurcation of limit cycles depending on the time delay associated with duration of temporary immunity. Effects of all-to-all and non-local coupling topologies are systematically investigated by means of numerical simulations, and they suggest that cross-immunity is able to induce a diverse range of complex dynamical behaviors and synchro- nization patterns, including discrete traveling waves, solitary states, and amplitude chimeras. Interestingly, chimera states are observed for narrower cross-immunity kernels, which can have profound implications for understanding the dynamics of multi-strain diseases.

An upgrade of the ATLAS experiment for the High Luminosity phase of LHC is planned for 2024 and foresees the replacement of the present Inner Detector (ID) with a new Inner Tracker (ITk) completely made of silicon devices. Depleted active pixel sensors built with the High Voltage CMOS (HV-CMOS) technology are investigated as an option to cover large areas in the outermost layers of the pixel detector and are especially interesting for the development of monolithic devices which will reduce the production costs and the material budget with respect to the present hybrid assemblies. For this purpose the H35DEMO, a large area HV-CMOS demonstrator chip, was designed by KIT, IFAE and University of Liverpool, and produced in AMS 350 nm CMOS technology. It consists of four pixel matrices and additional test structures. Two of the matrices include amplifiers and discriminator stages and are thus designed to be operated as monolithic detectors. In these devices the signal is mainly produced by charge drift in a small depleted volume obtained by applying a bias voltage of the order of 100 V. Moreover, to enhance the radiation hardness of the chip, this technology allows to enclose the electronics in the same deep N-WELLs which are also used as collecting electrodes. In this contribution the characterisation of H35DEMO chips and results of the very first beam test measurements of the monolithic CMOS matrices with high energetic pions at CERN SPS will be presented.

Context: In the context of exploring the art, science and engineering of programming, the question of which programming languages should be taught first has been fiercely debated since computer science teaching started in universities. Failure to grasp programming readily almost certainly implies failure to progress in computer science. Inquiry: What first programming languages are being taught? There have been regular national-scale surveys in Australia and New Zealand, with the only US survey reporting on a small subset of universities. This the first such national survey of universities in the UK. Approach: We report the results of the first survey of introductory programming courses (N=80) taught at UK universities as part of their first year computer science (or related) degree programmes, conducted in the first half of 2016. We report on student numbers, programming paradigm, programming languages and environment/tools used, as well as the underpinning rationale for these choices. Knowledge: The results in this first UK survey indicate a dominance of Java at a time when universities are still generally teaching students who are new to programming (and computer science), despite the fact that Python is perceived, by the same respondents, to be both easier to teach as well as to learn. Grounding: We compare the results of this survey with a related survey conducted since 2010 (as well as earlier surveys from 2001 and 2003) in Australia and New Zealand. Importance: This survey provides a starting point for valuable pedagogic baseline data for the analysis of the art, science and engineering of programming, in the context of substantial computer science curriculum reform in UK schools, as well as increasing scrutiny of teaching excellence and graduate employability for UK universities.

Context: In the context of exploring the art, science and engineering of programming, the question of which programming languages should be taught first has been fiercely debated since computer science teaching started in universities. Failure to grasp programming readily almost certainly implies failure to progress in computer science. Inquiry: What first programming languages are being taught? There have been regular national-scale surveys in Australia and New Zealand, with the only US survey reporting on a small subset of universities. This the first such national survey of universities in the UK. Approach: We report the results of the first survey of introductory programming courses (N=80) taught at UK universities as part of their first year computer science (or related) degree programmes, conducted in the first half of 2016. We report on student numbers, programming paradigm, programming languages and environment/tools used, as well as the underpinning rationale for these choices. Knowledge: The results in this first UK survey indicate a dominance of Java at a time when universities are still generally teaching students who are new to programming (and computer science), despite the fact that Python is perceived, by the same respondents, to be both easier to teach as well as to learn. Grounding: We compare the results of this survey with a related survey conducted since 2010 (as well as earlier surveys from 2001 and 2003) in Australia and New Zealand. Importance: This survey provides a starting point for valuable pedagogic baseline data for the analysis of the art, science and engineering of programming, in the context of substantial computer science curriculum reform in UK schools, as well as increasing scrutiny of teaching excellence and graduate employability for UK universities.

CONTEXT: Data accessors allow one to read and write components of a data structure, such as the fields of a record, the variants of a union, or the elements of a container. These data accessors are collectively known as optics; they are fundamental to programs that manipulate complex data. INQUIRY: Individual data accessors for simple data structures are easy to write, for example as pairs of "getter" and "setter" methods. However, it is not obvious how to combine data accessors, in such a way that data accessors for a compound data structure are composed out of smaller data accessors for the parts of that structure. Generally, one has to write a sequence of statements or declarations that navigate step by step through the data structure, accessing one level at a time - which is to say, data accessors are traditionally not first-class citizens, combinable in their own right. APPROACH: We present a framework for modular data access, in which individual data accessors for simple data structures may be freely combined to obtain more complex data accessors for compound data structures. Data accessors become first-class citizens. The framework is based around the notion of profunctors, a flexible generalization of functions. KNOWLEDGE: The language features required are higher-order functions ("lambdas" or "closures"), parametrized types ("generics" or "abstract types"), and some mechanism for separating interfaces from implementations ("abstract classes" or "modules"). We use Haskell as a vehicle in which to present our constructions, but languages such as Java, C#, or Scala that provide the necessary features should work just as well. GROUNDING: We provide implementations of all our constructions, in the form of a literate program: the manuscript file for the paper is also the source code for the program, and the extracted code is available separately for evaluation. We also prove the essential properties demonstrating that our profunctor-based representations are precisely equivalent to the more familiar concrete representations. IMPORTANCE: Our results should pave the way to simpler ways of writing programs that access the components of compound data structures.

One of the most relevant weather regimes in the mid-latitudes atmosphere is the persistent deviation from the approximately zonally symmetric jet to the emergence of blocking patterns. Such configurations are usually connected to exceptional local stability properties of the flow which come along with an improved local forecast skills during the phenomenon. It is instead extremely hard to predict onset and decay of blockings. Covariant Lyapunov Vectors (CLVs) offer a suitable characterization of the linear stability of a chaotic flow, since they represent the full tangent linear dynamics by a covariant basis which explores linear perturbations at all time scales. Therefore, we assess whether CLVs feature a signature of the blockings. As a first step, we examine the CLVs for a quasi-geostrophic beta-plane 2-layer model in a periodic channel baroclinically driven by a meridional temperature gradient $\Delta T$. An orographic forcing enhances the emergence of localized blocked regimes. We detect the blocking events with a Tibaldi-Molteni scheme adapted to the periodic channel. When blocking occurs, the global growth rates of the fastest growing CLVs are significantly higher. Hence, against intuition, the circulation is globally more unstable in blocked phases. Such an increase in the finite time Lyapunov exponents with respect to the long term average is attributed to stronger barotropic and baroclinic conversion in the case of high temperature gradients, while for low values of \Delta T, the effect is only due to stronger barotropic instability. In order to determine the localization of the CLVs we compare the meridionally averaged variance of the CLVs during blocked and unblocked phases. We find that on average the variance of the CLVs is clustered around the center of blocking. These results show that the blocked flow affects all time scales and processes described by the CLVs.

We present a coalgebraic generalisation of Fischer and Ladner's Propositional Dynamic Logic (PDL) and Parikh's Game Logic (GL). In earlier work, we proved a generic strong completeness result for coalgebraic dynamic logics without iteration. The coalgebraic semantics of such programs is given by a monad T, and modalities are interpreted via a predicate lifting \^I whose transpose is a monad morphism from T to the neighbourhood monad. In this paper, we show that if the monad T carries a complete semilattice structure, then we can define an iteration construct, and suitable notions of diamond-likeness and box-likeness of predicate-liftings which allows for the definition of an axiomatisation parametric in T, \^I and a chosen set of pointwise program operations. As our main result, we show that if the pointwise operations are "negation-free" and Kleisli composition left-distributes over the induced join on Kleisli arrows, then this axiomatisation is weakly complete with respect to the class of standard models. As special instances, we recover the weak completeness of PDL and of dual-free Game Logic. As a modest new result we obtain completeness for dual-free GL extended with intersection (demonic choice) of games.

The classical approach for studying atmospheric variability is based on defining a background state and studying the linear stability of the small fluctuations around such a state. Weakly non-linear theories can be constructed using higher order expansions terms. While these methods have undoubtedly great value for elucidating the relevant physical processes, they are unable to follow the dynamics of a turbulent atmosphere. We provide a first example of extension of the classical stability analysis to a non-linearly evolving quasi-geostrophic flow. The so-called covariant Lyapunov vectors (CLVs) provide a covariant basis describing the directions of exponential expansion and decay of perturbations to the non-linear trajectory of the flow. We use such a formalism to re-examine the basic barotropic and baroclinic processes of the atmosphere with a quasi-geostrophic beta-plane two-layer model in a periodic channel driven by a forced meridional temperature gradient $\Delta T$. We explore three settings of $\Delta T$, representative of relatively weak turbulence, well-developed turbulence, and intermediate conditions. We construct the Lorenz energy cycle for each CLV describing the energy exchanges with the background state. A positive baroclinic conversion rate is a necessary but not sufficient condition of instability. Barotropic instability is present only for few very unstable CLVs for large values of $\Delta T$. Slowly growing and decaying hydrodynamic Lyapunov modes closely mirror the properties of the background flow. Following classical necessary conditions for barotropic/baroclinic instability, we find a clear relationship between the properties of the eddy fluxes of a CLV and its instability. CLVs with positive baroclinic conversion seem to form a set of modes for constructing a reduced model of the atmosphere dynamics.

We have selected the positions of 54 6.7GHz methanol masers from the Methanol Multibeam Survey catalogue, covering a range of longitudes between $20^{\circ}$ and $34^{\circ}$ of the Galactic Plane. These positions were mapped in the J=3-2 transition of both the $\rm{^{13}CO}$ and $\rm{C^{18}O}$ lines. A total of 58 $\rm{^{13}CO}$ emission peaks are found in the vicinity of these maser positions. We search for outflows around all $\rm{^{13}CO}$ peaks, and find evidence for high-velocity gas in all cases, spatially resolving the red and blue outflow lobes in 55 cases. Of these sources, 44 have resolved kinematic distances, and are closely associated with the 6.7GHz masers, a sub-set referred to as Methanol Maser Associated Outflows (MMAOs). We calculate the masses of the clumps associated with each peak using 870 $\rm{\mu m}$ continuum emission from the ATLASGAL survey. A strong correlation is seen between the clump mass and both outflow mass and mechanical force, lending support to models in which accretion is strongly linked to outflow. We find that the scaling law between outflow activity and clump masses observed for low-mass objects, is also followed by the MMAOs in this study, indicating a commonality in the formation processes of low-mass and high-mass stars.

The very neutron-rich oxygen isotopes 25O and 26O are investigated experimentally and theoret- ically. In this first R3B-LAND experiment, the unbound states are populated at GSI via proton- knockout reactions from 26F and 27F at relativistic energies around 450 MeV/nucleon. From the kinematically complete measurement of the decay into 24O plus one or two neutrons, the 25O ground- state energy and lifetime are determined, and upper limits for the 26O ground state are extracted. In addition, the results provide evidence for an excited state in 26O at around 4 MeV. The ex- perimental findings are compared to theoretical shell-model calculations based on chiral two- and three-nucleon (3N) forces, including for the first time residual 3N forces, which are shown to be amplified as valence neutrons are added.

Background: The web has become a primary information resource about illnesses and treatments for both medical and non-medical users. Standard web search is by far the most common interface for such information. It is therefore of interest to find out how well web search engines work for diagnostic queries and what factors contribute to successes and failures. Among diseases, rare (or orphan) diseases represent an especially challenging and thus interesting class to diagnose as each is rare, diverse in symptoms and usually has scattered resources associated with it. Methods: We use an evaluation approach for web search engines for rare disease diagnosis which includes 56 real life diagnostic cases, state-of-the-art evaluation measures, and curated information resources. In addition, we introduce FindZebra, a specialized (vertical) rare disease search engine. FindZebra is powered by open source search technology and uses curated freely available online medical information. Results: FindZebra outperforms Google Search in both default setup and customised to the resources used by FindZebra. We extend FindZebra with specialized functionalities exploiting medical ontological information and UMLS medical concepts to demonstrate different ways of displaying the retrieved results to medical experts. Conclusions: Our results indicate that a specialized search engine can improve the diagnostic quality without compromising the ease of use of the currently widely popular web search engines. The proposed evaluation approach can be valuable for future development and benchmarking. The FindZebra search engine is available at http://www.findzebra.com/.

In the following paper we present a new semantics for the well-known strategic logic ATL. It is based on adding roles to concurrent game structures, that is at every state, each agent belongs to exactly one role, and the role specifies what actions are available to him at that state. We show advantages of the new semantics, provide motivating examples based on sensor networks, and analyze model checking complexity.

We report the observation of the quantum-confined Stark effect in Ge/SiGe multiple quantum well heterostructures grown on Si(0.22)Ge(0.78) virtual substrates. The large compressive strain in the Ge quantum well layers caused by the lattice mismatch with the virtual substrate results in a blue shift of the direct absorption edge, as well as a reduction in the \Gamma-valley scattering lifetime because of strain-induced splittings of the conduction band valleys. We investigate theoretically the \Gamma-valley carrier lifetimes by evaluating the \Gamma-to-L and \Gamma-to-\Delta{} scattering rates in strained Ge/SiGe semiconductor heterostructures. These scattering rates are used to determine the lifetime broadening of excitonic peaks and the indirect absorption in simulated absorption spectra, which are compared with measured absorption spectra for quantum well structures with systematically-varied dimensions. We find that \Gamma-to-\Delta{} scattering is significant in compressively strained Ge quantum wells and that the \Gamma-valley electron lifetime is less than 50 fs in the highly-strained structures reported here, where \Gamma-to-\Delta{} scattering accounted for approximately half of the total scattering rate.

We present the results of a variability study of accreting young stellar objects in the Chameleon I star-forming region which is based on ~300 high resolution optical spectra from the multi-object fibre spectrograph FLAMES/GIRAFFE at the ESO/VLT. Twenty five objects with spectral types from G2-M5.75 were observed 12 times over the course of 15 months. Using the emission lines Ha (6562.81 A) and Ca II (8662.1 A) as accretion indicators we found 10 accreting and 15 non-accreting objects. We derived accretion rates for all accretors in the sample using the Ha equivalent width, Ha 10% width and the CaII equivalent width. The mean amplitude of variations in derived accretion rate from Ha equivalent width was ~ 0.37 dex, from Ca II equivalent width ~0.83 dex and from Ha 10% width ~1.11 dex. Based on the large amplitude of variations in accretion rates derived from the Ha 10% width with respect to the other diagnostics, we do not consider it to be a reliable accretion rate estimator. Taking the variations in Ha equivalent width and CaII equivalent width accretion rates to be closer to the true value, they suggest that the spread which has been found around the accretion rate to stellar mass relation is not due to the variability of individual objects on time-scales of weeks to ~1 year. From these variations we can also infer that the accretion rates are stable within < 0.37 dex over time-scales of less than 15 months. A major portion of the accretion variability was found to occur on less than the shortest time-scales in our observations, 8-25 days, which is comparable with the rotation periods of these young stellar objects. This could be an indication that what we are probing is spatial structure in the accretion flows, and also suggests that observations on time-scales of ~a couple of weeks are sufficient to limit the total extent of accretion rate variations in typical young stars.

We present a study of the large-scale spatial distribution of 6482 RASS X-ray sources in approximately 5000 deg^2 in the direction of Orion. We examine the astrophysical properties of a sub-sample of ~100 optical counterparts, using optical spectroscopy. This sub-sample is used to investigate the space density of the RASS young star candidates by comparing X-ray number counts with Galactic model predictions. We characterize the observed sub-sample in terms of spectral type, lithium content, radial and rotational velocities, as well as iron abundance. A population synthesis model is then applied to analyze the stellar content of the RASS in the studied area. We find that stars associated with the Orion star-forming region do show a high lithium content. A population of late-type stars with lithium equivalent widths larger than Pleiades stars of the same spectral type (hence younger than ~70-100 Myr) is found widely spread over the studied area. Two new young stellar aggregates, namely "X-ray Clump 0534+22" (age~2-10 Myr) and "X-ray Clump 0430-08" (age~2-20 Myr), are also identified. The spectroscopic follow-up and comparison with Galactic model predictions reveal that the X-ray selected stellar population in the direction of Orion is characterized by three distinct components, namely the clustered, the young dispersed, and the widespread field populations. The clustered population is mainly associated with regions of recent or ongoing star formation and correlates spatially with molecular clouds. The dispersed young population follows a broad lane apparently coinciding spatially with the Gould Belt, while the widespread population consists primarily of active field stars older than 100 Myr. We expect the "bi-dimensional" picture emerging from this study to grow in depth as soon as the distance and the kinematics of the studied sources will become available from the future Gaia mission.

A new algorithm for extracting de Haas-van Alphen frequencies and effective masses from calculated band energies is presented. The algorithm creates an interpolated k-space "super cell," which is broken into slices perpendicular to the desired magnetic field direction. Fermi surface orbits are located within each slice, and de Haas-van Alphen frequencies and effective masses are calculated. Orbits are then matched across slices, and extremal orbits determined. This technique has been successful in locating extremal orbits not previously noticed in the complicated topology of existing UPt3 band-structure data; these new orbits agree with experimental de Haas-van Alphen measurements on this material, and solidify the case for a fully-itinerant model of UPt3.

Coding standards and good practices are fundamental to a disciplined approach to software projects, whatever programming languages they employ. Prolog programming can benefit from such an approach, perhaps more than programming in other languages. Despite this, no widely accepted standards and practices seem to have emerged up to now. The present paper is a first step towards filling this void: it provides immediate guidelines for code layout, naming conventions, documentation, proper use of Prolog features, program development, debugging and testing. Presented with each guideline is its rationale and, where sensible options exist, illustrations of the relative pros and cons for each alternative. A coding standard should always be selected on a per-project basis, based on a host of issues pertinent to any given programming project; for this reason the paper goes beyond the mere provision of normative guidelines by discussing key factors and important criteria that should be taken into account when deciding on a fully-fledged coding standard for the project.

Five algebraic notions of termination are formalised, analysed and compared: wellfoundedness or Noetherity, L\"ob's formula, absence of infinite iteration, absence of divergence and normalisation. The study is based on modal semirings, which are additively idempotent semirings with forward and backward modal operators. To model infinite behaviours, idempotent semirings are extended to divergence semirings, divergence Kleene algebras and omega algebras. The resulting notions and techniques are used in calculational proofs of classical theorems of rewriting theory. These applications show that modal semirings are powerful tools for reasoning algebraically about the finite and infinite dynamics of programs and transition systems.

Magnetic fields on a range of scales play a large role in the ecosystems of galaxies, both in the galactic disk and in the extended layers of gas away from the plane. Observing magnetic field strength, structure and orientation is complex, and necessarily indirect. Observational data of magnetic fields in the halo of the Milky Way are scarce, and non-conclusive about the large-scale structure of the field. In external galaxies, various large-scale configurations of magnetic fields are measured, but many uncertainties about exact configurations and their origin remain. There is a strong interaction between magnetic fields and other components in the interstellar medium such as ionized and neutral gas and cosmic rays. The energy densities of these components are comparable on large scales, indicating that magnetic fields are not passive tracers but that magnetic field feedback on the other interstellar medium components needs to be taken into account.