Cylindrical Algebraic Sub-Decompositions

Cylindrical algebraic decompositions (CADs) are a key tool in real algebraic geometry, used primarily for eliminating quantifiers over the reals and studying semi-algebraic sets. In this paper we introduce cylindrical algebraic sub-decompositions (sub-CADs), which are subsets of CADs containing all the information needed to specify a solution for a given problem. We define two new types of sub-CAD: variety sub-CADs which are those cells in a CAD lying on a designated variety; and layered sub-CADs which have only those cells of dimension higher than a specified value. We present algorithms to produce these and describe how the two approaches may be combined with each other and the recent theory of truth-table invariant CAD. We give a complexity analysis showing that these techniques can offer substantial theoretical savings, which is supported by experimentation using an implementation in Maple.Comment: 26 page

Do people with intellectual disabilities understand their prescription medication? A scoping review

© 2019 The Authors. Journal of Applied Research in Intellectual Disabilities Published by John Wiley & Sons Ltd.Background: People with intellectual disabilities are more likely to experience poor health than the general population and are frequently prescribed multiple medications. Therefore, it is important that people with intellectual disabilities understand their medication and potential adverse effects. Method: A scoping review explored people with intellectual disabilities' knowledge of prescription medications, their risks and how medication understanding can be improved. Results: Ten journal articles were included. People with intellectual disabilities often lacked understanding of their medication, including its name, purpose and when and how to take it. Participants were often confused or unaware of adverse effects associated with their medication. Information was sometimes explained to carers rather than people with intellectual disabilities. Some interventions and accessible information helped to improve knowledge in people with intellectual disabilities. Conclusion: There is a need for accessible and tailored information about medication to be discussed with people with intellectual disabilities in order to meet legal and best practice standards.Peer reviewe

Unmasking quality: exploring meanings of health by doing art

This paper arises from a presentation at the ‘Quality in Healthcare’ symposium at Cumberland Lodge, England, in 2013. MK, CR and SH conceived the paper and led the writing of the manuscript. JF, JL-D, AC, DE contributed substantially to the intellectual content of the paper through providing critical commentary and interpretation. All authors read and approved the final manuscript

Interplay of local hydrogen-bonding and long-ranged dipolar forces in simulations of confined water

Spherical truncations of Coulomb interactions in standard models for water permit efficient molecular simulations and can give remarkably accurate results for the structure of the uniform liquid. However truncations are known to produce significant errors in nonuniform systems, particularly for electrostatic properties. Local molecular field (LMF) theory corrects such truncations by use of an effective or restructured electrostatic potential that accounts for effects of the remaining long-ranged interactions through a density-weighted mean field average and satisfies a modified Poisson's equation defined with a Gaussian-smoothed charge density. We apply LMF theory to three simple molecular systems that exhibit different aspects of the failure of a naive application of spherical truncations -- water confined between hydrophobic walls, water confined between atomically-corrugated hydrophilic walls, and water confined between hydrophobic walls with an applied electric field. Spherical truncations of 1/r fail spectacularly for the final system in particular, and LMF theory corrects the failings for all three. Further, LMF theory provides a more intuitive way to understand the balance between local hydrogen bonding and longer-ranged electrostatics in molecular simulations involving water.Comment: Submitted to PNA

On the lifetime and one-year views of reserve risk, with application to IFRS 17 and Solvency II risk margins

This paper brings together analytic and simulation-based approaches to reserve risk in general (P&C) insurance, applied to the traditional actuarial view of risk over the lifetime of the liabilities and to the one-year view of Solvency II. It also connects the lifetime and one-year views of risk. The framework of the model in Mack (1993) is used throughout, although the results have wider applicability. The advantages of a simulation-based approach are highlighted, giving a full predictive distribution, which is used to estimate risk margins under Solvency II and risk adjustments under IFRS 17. We discuss methods for obtaining capital requirements in a cost-of-capital risk margin, and methods for estimating risk adjustments using risk measures applied to a simulated distribution of the outstanding liabilities over their lifetime

Abelian functions associated with a cyclic tetragonal curve of genus six

We develop the theory of Abelian functions defined using a tetragonal curve of genus six, discussing in detail the cyclic curve y^4 = x^5 + λ[4]x^4 + λ[3]x^3 + λ[2]x^2 + λ[1]x + λ[0]. We construct Abelian functions using the multivariate sigma-function associated with the curve, generalizing the theory of theWeierstrass℘-function. We demonstrate that such functions can give a solution to the KP-equation, outlining how a general class of solutions could be generated using a wider class of curves. We also present the associated partial differential equations satisfied by the functions, the solution of the Jacobi inversion problem, a power series expansion for σ(u) and a new addition formula