Isabelle/DOF: Design and Implementation

This is the author accepted manuscript. The final version is available from Springer Verlag via the DOI in this record17th International Conference, SEFM 2019 Oslo, Norway, September 18–20, 2019DOF is a novel framework for defining ontologies and enforcing them during document development and evolution. A major goal of DOF is the integrated development of formal certification documents (e. g., for Common Criteria or CENELEC 50128) that require consistency across both formal and informal arguments. To support a consistent development of formal and informal parts of a document, we provide Isabelle/DOF, an implementation of DOF on top of the formal methods framework Isabelle/HOL. A particular emphasis is put on a deep integration into Isabelleâs IDE, which allows for smooth ontology development as well as immediate ontological feedback during the editing of a document. In this paper, we give an in-depth presentation of the design concepts of DOFâs Ontology Definition Language (ODL) and key aspects of the technology of its implementation. Isabelle/DOF is the first ontology language supporting machine-checked links between the formal and informal parts in an LCF-style interactive theorem proving environment. Sufficiently annotated, large documents can easily be developed collabo- ratively, while ensuring their consistency, and the impact of changes (in the formal and the semi-formal content) is tracked automatically.IRT SystemX, Paris-Saclay, Franc

Child Psychosocial Adjustment and Parenting in Families Affected by Maternal HIV/AIDS

Child adjustment and parenting were examined in 23 9-through 16-year-old youth from families affected by maternal HIV infection and 20 same-age peers whose mothers were not infected. Children whose mothers were seropositive reported significantly more externalizing problems. Infected mothers reported less age-appropriate supervision/monitoring relative to non-infected mothers. Better mother-child relationship quality and less impairment in parental supervision/monitoring of age-appropriate youth behaviors were associated with fewer externalizing difficulties among the HIV-positive group only. Similarly, only among HIV-infected mothers was refraining from engaging in inconsistent disciplinary tactics associated with lower reports of internalizing and externalizing problems. These data highlight the promise of programs targeting parenting skills to prevent or ameliorate child difficulties

Several Interruptions: 15 Years of the Slade Centre for Electronic Media in Fine Art

Seven, sequential solo presentations to celebrate 15 years of the Slade Centre for Electronic Media in Fine Art in 2011. Exhibited: 'Each Long Second' 2006, A0 photocopies, tape. Dimensions: 880 X 850 cms

Disclosure of Maternal HIV Status to Children: To Tell or Not To Tell . . . That Is the Question

HIV-infected mothers face the challenging decision of whether to disclose their serostatus to their children. From the perspective of both mother and child, we explored the process of disclosure, providing descriptive information and examining the relationships among disclosure, demographic variables, and child adjustment. Participants were 23 mothers and one of their noninfected children (9 to 16 years of age). Sixty-one percent of mothers disclosed. Consistent with previous research, disclosure was not related to child functioning. However, children sworn to secrecy demonstrated lower social competence and more externalizing problems. Differential disclosure, which occurred in one-third of the families, was associated with higher levels of depressive and anxiety symptoms. Finally, knowing more than mothers had themselves disclosed was related to child maladjustment across multiple domains. Clinical implications and the need for future research are considered

Australian radiation therapy - Part Two: Reflections of the past, the present, the future

INTRODUCTION: Documentation on the history of Australian radiotherapy is limited. This study provides radiation therapists' (RTs) perspectives of the people, workplace, and work practices in Australian radiotherapy centres from 1960 onwards. It provides a follow-up to our previous study: Australian radiation therapy: An overview – Part one, which outlines the history and development of radiotherapy from conception until present day. METHODS: Four focus groups were conducted on separate occasions in 2010, one in South Australia and three in Victoria, Australia. Participants who worked in radiotherapy were purposively selected to ensure a range of experience, age, and years of work. RESULTS: From a RT perspective, radiotherapy has evolved from a physically demanding ‘hands-on’ work environment, often with unpleasant sights and smells of disease, to a more technology-driven workplace. CONCLUSION: Understanding these changes and their subsequent effects on the role of Australian RTs will assist future directions in advanced role development

Re-evaluating ambiguous age relationships in Archean cratons: Implications for the origin of ultramafic-mafic complexes in the Lewisian Gneiss Complex

Archean ultramafic-mafic complexes have been the focus of important and often contentious geological and geodynamic interpretations. However, their age relative to the other components of Archean cratons are often poorly-constrained, introducing significant ambiguity when interpreting their origin and geodynamic significance. The Lewisian Gneiss Complex (LGC) of the northwest Scottish mainland – a high-grade, tonalite-trondhjemite-granodiorite (TTG) terrane that forms part of the North Atlantic Craton (NAC) – contains a number of ultramafic-mafic complexes whose origin and geodynamic significance have remained enigmatic since they were first described. Previous studies have interpreted these complexes as representing a wide-range of geological environments, from oceanic crust, to the sagducted remnants of Archean greenstone belts. These interpretations, which are often critically dependent upon the ages of the complexes relative to the surrounding rocks, have disparate implications for Archean geodynamic regimes (in the NAC and globally). Most previous authors have inferred that the ultramafic-mafic complexes of the LGC pre-date the TTG magmas. This fundamental age relationship is re-evaluated in this investigation through re-mapping of the Geodh’ nan Sgadan Complex (where tonalitic gneiss reportedly cross-cuts mafic rocks) and new mapping of the 7 km2 Ben Strome Complex (the largest ultramafic-mafic complex in the LGC), alongside detailed petrography and spinel mineral chemistry. This new study reveals that, despite their close proximity in the LGC (12 km), the Ben Strome and Geodh’ nan Sgadan Complexes are petrogenetically unrelated, indicating that the LGC (and thus NAC) records multiple temporally and/or petrogenetically distinct phases of ultramafic-mafic Archean magmatism that has been masked by subsequent high-grade metamorphism. Moreover, field observations and spinel mineral chemistry demonstrate that the Ben Strome Complex represents a layered intrusion that was emplaced into a TTG-dominated crust. Further to representing a significant re-evaluation of the LGC’s magmatic evolution, these findings have important implications for the methodologies utilised in deciphering the origin of Archean ultramafic-mafic complexes globally, where material suitable for dating is often unavailable and field relationships are commonly ambiguous

A modified Inflammatory Bowel Disease questionnaire and the Vaizey Incontinence questionnaire are simple ways to identify patients with significant gastrointestinal symptoms after pelvic radiotherapy

After radiotherapy for pelvic cancer, chronic gastrointestinal problems may affect quality of life (QOL) in 6–78% of patients. This variation may be due to true differences in outcome in different diseases, and may also represent the inadequacy of the scales used to measure radiotherapy-induced gastrointestinal side effects. The aim of this study was to assess whether outcome measures used for nonmalignant gastrointestinal disease are useful to detect gastrointestinal morbidity after radiotherapy. Results obtained from a Vaizey Incontinence questionnaire and a modified Inflammatory Bowel Disease questionnaire (IBDQ) – both patient completed – were compared to those from a staff administered Late Effects on Normal Tissue (LENT) – Subjective, Objective, Management and Analytic (SOMA) questionnaire in patients who had completed radiotherapy for a pelvic tumour at least 3 months previously. In all, 142 consecutive patients were recruited, 72 male and 70 female, median age 66 years (range 26–90 years), a median of 27 (range 3–258) months after radiotherapy. In total, 62 had been treated for a gynaecological, 58, a urological and 22, a gastrointestinal tract tumour. Of these, 21 had undergone previous gastrointestinal surgery and seven suffered chronic gastrointestinal disorders preceding their diagnosis of cancer. The Vaizey questionnaire suggested that 27% patients were incontinent for solid stools, 35% for liquid stools and 37% could not defer defaecation for 15 min. The IBDQ suggested that 89% had developed a chronic change in bowel habit and this change significantly affected 49% patients: 44% had more frequent or looser bowel movements, 30% were troubled by abdominal pain, 30% were troubled by bloating, 28% complained of tenesmus, 27% were troubled by their accidental soiling and 20% had rectal bleeding. At least 34% suffered emotional distress and 22% impairment of social function because of their bowels. The small intestine/colon SOMA median score was 0.1538 (range 0–1) and the rectal SOMA median score was 0.1428 (range 0–1). Pearson's correlations for the IBDQ score and small intestine/colon SOMA score was −0.630 (P<0.001), IBDQ and rectum SOMA −0.616 (P<0.001), IBDQ and Vaizey scores −0.599 (P<0.001), Vaizey and small intestine/colon SOMA 0.452 (P<0.001) and Vaizey and rectum SOMA 0.760 (P<0.001). After radiotherapy for a tumour in the pelvis, half of all patients develop gastrointestinal morbidity, which affects their QOL. A modified IBDQ and Vaizey questionnaire are reliable in assessing new gastrointestinal symptoms as well as overall QOL and are much easier to use than LENT SOMA

Follow-up care for men with prostate cancer and the role of primary care: a systematic review of international guidelines

The optimal role for primary care in providing follow-up for men with prostate cancer is uncertain. A systematic review of international guidelines was undertaken to help identify key elements of existing models of follow-up care to establish a theoretical basis for evaluating future complex interventions. Many guidelines provide insufficient information to judge the reliability of the recommendations. Although the PSA test remains the cornerstone of follow-up, the diversity of recommendations on the provision of follow-up care reflects the current lack of research evidence on which to base firm conclusions. The review highlights the importance of transparent guideline development procedures and the need for robust primary research to inform future evidence-based models of follow-up care for men with prostate cancer

High methylmercury in Arctic and subarctic ponds is related to nutrient levels in the warming eastern Canadian Arctic

Permafrost thaw ponds are ubiquitous in the eastern Canadian Arctic, yet little information exists on their potential as sources of methylmercury (MeHg) to freshwaters. They are microbially active and conducive to methylation of inorganic mercury, and are also affected by Arctic warming. This multiyear study investigated thaw ponds in a discontinuous permafrost region in the Subarctic taiga (Kuujjuarapik-Whapmagoostui, QC) and a continuous permafrost region in the Arctic tundra (Bylot Island, NU). MeHg concentrations in thaw ponds were well above levels measured in most freshwater ecosystems in the Canadian Arctic (>0.1 ng L−1). On Bylot, ice-wedge trough ponds showed significantly higher MeHg (0.3−2.2 ng L−1) than polygonal ponds (0.1−0.3 ng L−1) or lakes (<0.1 ng L−1). High MeHg was measured in the bottom waters of Subarctic thaw ponds near Kuujjuarapik (0.1−3.1 ng L−1). High water MeHg concentrations in thaw ponds were strongly correlated with variables associated with high inputs of organic matter (DOC, a320, Fe), nutrients (TP, TN), and microbial activity (dissolved CO2 and CH4). Thawing permafrost due to Arctic warming will continue to release nutrients and organic carbon into these systems and increase ponding in some regions, likely stimulating higher water concentrations of MeHg. Greater hydrological connectivity from permafrost thawing may potentially increase transport of MeHg from thaw ponds to neighboring aquatic ecosystems