Parametrised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic

In this paper, we initiate a systematic study of the parametrised complexity in the field of Dependence Logics which finds its origin in the Dependence Logic of V\"a\"an\"anen from 2007. We study a propositional variant of this logic (PDL) and investigate a variety of parametrisations with respect to the central decision problems. The model checking problem (MC) of PDL is NP-complete. The subject of this research is to identify a list of parametrisations (formula-size, treewidth, treedepth, team-size, number of variables) under which MC becomes fixed-parameter tractable. Furthermore, we show that the number of disjunctions or the arity of dependence atoms (dep-arity) as a parameter both yield a paraNP-completeness result. Then, we consider the satisfiability problem (SAT) showing a different picture: under team-size, or dep-arity SAT is paraNP-complete whereas under all other mentioned parameters the problem is in FPT. Finally, we introduce a variant of the satisfiability problem, asking for teams of a given size, and show for this problem an almost complete picture.Comment: Update includes refined result

Composite mirror facets for ground based gamma ray astronomy

Composite mirrors for gamma-ray astronomy have been developed to fulfill the specifications required for the next generation of Cherenkov telescopes represented by CTA (Cherenkov Telescope Array). In addition to the basic requirements on focus and reflection efficiency, the mirrors have to be stiff, lightweight, durable and cost efficient. In this paper, the technology developed to produce such mirrors is described, as well as some tests that have been performed to validate them. It is shown that these mirrors comply with the needs of CTA, making them good candidates for use on a significant part of the array.Comment: 16 pages, 13 figures, accepted to be published on NIM

Scald risk in social housing can be reduced through thermostatic control system without increasing Legionella risk: a cluster randomised trial.

OBJECTIVE: To quantify the effects of a thermostatic control system in social (public) housing on the prevalence of dangerous (>60°C) water temperatures and on fuel consumption. DESIGN: Pair-matched double-blind cluster randomised controlled trial. SETTING: Social housing in a deprived inner-London borough. PARTICIPANTS: 150 households recruited as clusters from 22 social housing estates. Four small estates were combined into two clusters (resulting in a total of 10 pairs of clusters). INTERVENTION: Social housing estate boiler houses were randomised to a thermostatic control sterilisation programme (heating water to 65°C during 00:00-06:00 h and to 50°C from 06:00 to 00:00 h daily) or to standard control (constant temperature 65°C). MAIN OUTCOME MEASURES: Water temperature over 60°C ('dangerous') after running taps for 1 min and daily fuel consumption (cubic feet of gas). RESULTS: 10 clusters (80 households) were allocated to the sterilisation programme and 10 clusters (70 households) to control, of which 73 and 67 households, respectively, were analysed. Prevalence of dangerous (>60°C) hot water temperatures at 1 min was significantly reduced with the sterilisation programme (mean of cluster prevalence 1% in sterilisation programme group vs 34% in control group; absolute difference 33%, 95% CI 12% to 54%; p=0.006). Prevalence of high (>55°C) hot water temperatures at 1 min was significantly reduced (31% sterilisation vs 59% control; absolute difference 28%, 95% CI 9% to 47%; p=0.009). Gas consumption per day reduced more in the control group than in the sterilisation programme group, although not statistically significantly (p=0.125). CONCLUSIONS: The thermostatic control with daily sterilisation was effective in capping hot water temperatures and therefore reduced scald risk. Although expected to save energy, fuel consumption was increased relative to the control group. Trial registration ClinicalTrials.gov ID: NCT00874692

Update on the ICUD-SIU consultation on multi-parametric magnetic resonance imaging in localised prostate cancer

Introduction: Prostate cancer (PCa) imaging is a rapidly evolving field. Dramatic improvements in prostate MRI during the last decade will probably change the accuracy of diagnosis. This chapter reviews recent current evidence about MRI diagnostic performance and impact on PCa management. Materials and methods: The International Consultation on Urological Diseases nominated a committee to review the literature on prostate MRI. A search of the PubMed database was conducted to identify articles focussed on MP-MRI detection and staging protocols, reporting and scoring systems, the role of MP-MRI in diagnosing PCa prior to biopsy, in active surveillance, in focal therapy and in detecting local recurrence after treatment. Results: Differences in opinion were reported in the use of the strength of magnets [1.5 Tesla (T) vs. 3T] and coils. More agreement was found regarding the choice of pulse sequences; diffusion-weighted MRI (DW-MRI), dynamic contrast-enhanced MRI (DCE MRI), and/or MR spectroscopy imaging (MRSI) are recommended in addition to conventional T2-weighted anatomical sequences. In 2015, the Prostate Imaging Reporting and Data System (PI-RADS version 2) was described to standardize image acquisition and interpretation. MP-MRI improves detection of clinically significant PCa (csPCa) in the repeat biopsy setting or before the confirmatory biopsy in patients considering active surveillance. It is useful to guide focal treatment and to detect local recurrences after treatment. Its role in biopsy-naive patients or during the course of active surveillance remains debated. Conclusion: MP-MRI is increasingly used to improve detection of csPCa and for the selection of a suitable therapeutic approach

Fixed Point and Aperiodic Tilings

An aperiodic tile set was first constructed by R.Berger while proving the undecidability of the domino problem. It turned out that aperiodic tile sets appear in many topics ranging from logic (the Entscheidungsproblem) to physics (quasicrystals) We present a new construction of an aperiodic tile set that is based on Kleene's fixed-point construction instead of geometric arguments. This construction is similar to J. von Neumann self-reproducing automata; similar ideas were also used by P. Gacs in the context of error-correcting computations. The flexibility of this construction allows us to construct a "robust" aperiodic tile set that does not have periodic (or close to periodic) tilings even if we allow some (sparse enough) tiling errors. This property was not known for any of the existing aperiodic tile sets.Comment: v5: technical revision (positions of figures are shifted

A Simple n-Dimensional Intrinsically Universal Quantum Cellular Automaton

We describe a simple n-dimensional quantum cellular automaton (QCA) capable of simulating all others, in that the initial configuration and the forward evolution of any n-dimensional QCA can be encoded within the initial configuration of the intrinsically universal QCA. Several steps of the intrinsically universal QCA then correspond to one step of the simulated QCA. The simulation preserves the topology in the sense that each cell of the simulated QCA is encoded as a group of adjacent cells in the universal QCA.Comment: 13 pages, 7 figures. In Proceedings of the 4th International Conference on Language and Automata Theory and Applications (LATA 2010), Lecture Notes in Computer Science (LNCS). Journal version: arXiv:0907.382

Modelling the contribution of short-range atmospheric and hydrological transfers to nitrogen fluxes, budgets and indirect emissions in rural landscapes

Spatial interactions within a landscape may lead to large inputs of reactive nitrogen (N<sub>r</sub>) transferred from cultivated areas and farms to oligotrophic ecosystems and induce environmental threats such as acidification, nitric pollution or eutrophication of protected areas. The paper presents a new methodology to estimate N<sub>r</sub> fluxes at the landscape scale by taking into account spatial interactions between landscape elements. This methodology includes estimates of indirect N<sub>r</sub> emissions due to short-range atmospheric and hydrological transfers. We used the NitroScape model which integrates processes of N<sub>r</sub> transformation and short-range transfer in a dynamic and spatially distributed way to simulate N<sub>r</sub> fluxes and budgets at the landscape scale. Four configurations of NitroScape were implemented by taking into account or not the atmospheric, hydrological or both pathways of N<sub>r</sub> transfer. We simulated N<sub>r</sub> fluxes, especially direct and indirect N<sub>r</sub> emissions, within a test landscape including pig farms, croplands and unmanaged ecosystems. Simulation results showed the ability of NitroScape to simulate patterns of N<sub>r</sub> emissions and recapture for each landscape element and the whole landscape. NitroScape made it possible to quantify the contribution of both atmospheric and hydrological transfers to N<sub>r</sub> fluxes, budgets and indirect N<sub>r</sub> emissions. For instance, indirect N<sub>2</sub>O emissions were estimated at around 21% of the total N<sub>2</sub>O emissions. They varied within the landscape according to land use, meteorological and soil conditions as well as topography. This first attempt proved that the NitroScape model is a useful tool to estimate the effect of spatial interactions on N<sub>r</sub> fluxes and budgets as well as indirect N<sub>r</sub> emissions within landscapes. Our approach needs to be further tested by applying NitroScape to several spatial arrangements of agro-ecosystems within the landscape and to real and larger landscapes

The use of bioassays to assess the toxicity of sediment in an acid mine drainage impacted river in Gauteng (South Africa)

Abstract: Sediment contamination may occur from various anthropogenic activities, such as mining-, agricultural- and industrial practices. Many of the contaminants arising from these activities enter the aquatic system and precipitate from the surrounding water, becoming bound to sediment particles. These bound contaminants may reach concentrations higher than in the overlying water. Although water quality may be acceptable, an aquatic system may still be at risk if the contaminated sediment were to be disturbed through flooding, bioturbation or changes in the water chemistry. These contaminants may then desorb into the water column and prove detrimental to life forms in contact and dependent on that water source. Sediment quality monitoring has been a widespread international initiative and has led to the development of sediment toxicity assessment methods. This study focused on sediment bioassays, namely, Phytotoxkit, Ostracodtoxkit F and the Diptera bioassay, in assessing sediment quality of the Tweelopiespruit-Rietspruit-Bloubankspruit river system in Gauteng, South Africa. This river is known to have been impacted by acid mine drainage (AMD) since late August, 2002. Exposure of river sediment from 7 sampling sites to these bioassays provided an eco-toxicological estimation of the acute toxicity and chronic toxicity emanating from the contaminated sediments. Physico-chemical analyses revealed higher levels of sediment contamination closer to the mine. The bioassays displayed a similar trend with greater sensitivities to sediments closer to the mine and lower sensitivities to the less contaminated sites further downstream. AMD was therefore the main driver for sediment contamination. Whilst not all contaminants were bioavailable, statistical analysis showed that there were significant correlations between the elevated contaminant concentrations closer to the mine and bioassay responses

Organizational Adaptation

Organizational adaptation is equivocal. On the one hand, the concept is ubiquitous in management research and acts as the glue binding together the central issues of organizational change, performance, and survival. On the other hand, it lurks around in various guises (e.g., “fit,” “alignment,” “congruence,” and “strategic change”) studied from multiple theoretical streams (e.g., behavioral, resource based, and institutional) and at different levels of analysis (e.g., organization and industry levels). In a novel approach to reviewing 443 adaptation articles that leverages both computational and hand-coded analysis, we produce an interactive visual of the themes most studied by adaptation scholars. We inductively draw out a definition of adaptation as intentional decision making undertaken by organizational members, leading to observable actions that aim to reduce the distance between an organization and its economic and institutional environments. We then review the literature across three main areas of inquiry and six theoretical perspectives that surfaced from our analysis and identify 11 difficulties that have hampered adaptation research in the past 50 years. Our review suggests ways to address these difficulties to enable future research to develop and cumulate