1,733 research outputs found
Stone-Type Dualities for Separation Logics
No full textStone-type duality theorems, which relate algebraic and relational/topological
models, are important tools in logic because — in addition to elegant abstraction — they
strengthen soundness and completeness to a categorical equivalence, yielding a framework
through which both algebraic and topological methods can be brought to bear on a logic. We
give a systematic treatment of Stone-type duality for the structures that interpret bunched
logics, starting with the weakest systems, recovering the familiar BI and Boolean BI
(BBI), and extending to both classical and intuitionistic Separation Logic. We demonstrate
the uniformity and modularity of this analysis by additionally capturing the bunched
logics obtained by extending BI and BBI with modalities and multiplicative connectives
corresponding to disjunction, negation and falsum. This includes the logic of separating
modalities (LSM), De Morgan BI (DMBI), Classical BI (CBI), and the sub-classical
family of logics extending Bi-intuitionistic (B)BI (Bi(B)BI). We additionally obtain as
corollaries soundness and completeness theorems for the specific Kripke-style models of these
logics as presented in the literature: for DMBI, the sub-classical logics extending BiBI and
a new bunched logic, Concurrent Kleene BI (connecting our work to Concurrent Separation
Logic), this is the first time soundness and completeness theorems have been proved.
We thus obtain a comprehensive semantic account of the multiplicative variants of all
standard propositional connectives in the bunched logic setting. This approach synthesises
a variety of techniques from modal, substructural and categorical logic and contextualizes
the ‘resource semantics’ interpretation underpinning Separation Logic amongst them. This
enables the application of algebraic and topological methods to both Separation Logic
and the systems of bunched logics it is built upon. Conversely, the new notion of indexed
frame (generalizing the standard memory model of Separation Logic) and its associated
completeness proof can easily be adapted to other non-classical predicate logics
Application of a computational systematic search strategy to study polymorphism in phenazine and perylene
No full textThe materials phenazine and perylene have been previously reported to exhibit polymorphic behavior. Experimental evidence suggests that both molecules can exist in at least two polymorphic forms. In the case of phenazine, only one polymorph has a fully described crystal structure. In the case of perylene, two polymorphs have a reported structure, from single-crystal studies; however, one structure solution is of poor quality. This paper reports the results of a molecular modeling study and postulates crystal structures for the two polymorphs which lack a reliable experimental determination. Systematic searches of potential packing arrangements were conducted in the reported cells for both the solved and unsolved polymorphs of phenazine and perylene. A recently validated search method (Hammond, R. B.; Roberts, K. J.; Docherty, R.; Edmondson, M. J. Phys. Chem. B 1997, 101, 6532) was employed to rank packing arrangements by considering nonbonded atom-atom distances in combination with calculated lattice energies. The molecular packing arrangements were compared and contrasted using the packing energy breakdown routines within the program HABIT95 (Clydesdale, G.; Roberts, K. J.; Docherty, R. Quantum Chemistry Program Exchange 1996, 16, 1). © 1999 American Chemical Society.</p
Application of a Computational Systematic Search Strategy to Study Polymorphism in Phenazine and Perylene
No full textThe materials phenazine and perylene have been previously reported to exhibit polymorphic behavior.
Experimental evidence suggests that both molecules can exist in at least two polymorphic forms. In the case
of phenazine, only one polymorph has a fully described crystal structure. In the case of perylene, two
polymorphs have a reported structure, from single-crystal studies; however, one structure solution is of poor
quality. This paper reports the results of a molecular modeling study and postulates crystal structures for the
two polymorphs which lack a reliable experimental determination. Systematic searches of potential packing
arrangements were conducted in the reported cells for both the solved and unsolved polymorphs of phenazine
and perylene. A recently validated search method (Hammond, R. B.; Roberts, K. J.; Docherty, R.; Edmondson,
M. J. Phys. Chem. B 1997, 101, 6532) was employed to rank packing arrangements by considering nonbonded
atom−atom distances in combination with calculated lattice energies. The molecular packing arrangements
were compared and contrasted using the packing energy breakdown routines within the program HABIT95
(Clydesdale, G.; Roberts, K. J.; Docherty, R. Quantum Chemistry Program Exchange 1996, 16, 1)
Engaging Asian faith communities and counselling psychology perspectives in the development of older adult services.
No full textA thesis submitted in fulfilment of the requirements of the University of Wolverhampton for the degree of Doctor in Counselling Psychology.This mixed methods study investigates how counselling psychology perspectives can collaborate with the Sikh community in the development of Older Adult Psychology Services. 73 Sikh participants, aged 45-65 years contributed in English and Punjabi through interview, questionnaire or focus group at multiple community sites across 3 metropolitan boroughs in Sandwell. Qualitative data from validated scenarios and personal experience were analysed by a thematic approach informed by Interpretive Phenomenological Analysis. Master themes were identified for religion, quality of life and service development. The SF12v2 (Ware et al., 2005) is a measure of health and well-being which showed just below average population norms for physical and mental health components of well-being for the Sikh Community. The God Locus of Health Control Scale (Wallston et al., 1999) demonstrated religion‟s importance, and how karma is integral to Sikhs‟ understanding and management of health. 80.6% (N=31) prefer older adult service providers to account for their religious beliefs and counselling psychologists are recommended to address this request in their engagement with this community. Preferences in the modes of delivery, types of psychological intervention and aids to service uptake are provided with recommendations for clinical practice, training and future research
Growing Value: Business-University Collaboration for the 21st Century
No full textNo description supplie
A practical guide for transparent reporting of research on natural products in the British Journal of Pharmacology: Reproducibility of natural product research
No full textsj-pdf-1-inc-10.1177_17511437211052226 – Supplemental Material for Recovery from Covid-19 critical illness: A secondary analysis of the ISARIC4C CCP-UK cohort study and the RECOVER trial
No full textSupplemental Material, sj-pdf-1-inc-10.1177_17511437211052226 for Recovery from Covid-19 critical illness: A secondary analysis of the ISARIC4C CCP-UK cohort study and the RECOVER trial by Ellen Pauley, Thomas M Drake, David M Griffith, Louise Sigfrid, Nazir I Lone, Ewen M Harrison, J Kenneth Baillie, Janet T Scott, Timothy S Walsh, Malcolm G Semple and Annemarie B Docherty in Journal of the Intensive Care Society</p
- …
