Capturing Hiproofs in HOL Light

Hierarchical proof trees (hiproofs for short) add structure to ordinary proof trees, by allowing portions of trees to be hierarchically nested. The additional structure can be used to abstract away from details, or to label particular portions to explain their purpose. In this paper we present two complementary methods for capturing hiproofs in HOL Light, along with a tool to produce web-based visualisations. The first method uses tactic recording, by modifying tactics to record their arguments and construct a hierarchical tree; this allows a tactic proof script to be modified. The second method uses proof recording, which extends the HOL Light kernel to record hierachical proof trees alongside theorems. This method is less invasive, but requires care to manage the size of the recorded objects. We have implemented both methods, resulting in two systems: Tactician and HipCam

Distributed utterances

I propose an apparatus for handling intrasentential change in context. The standard approach has problems with sentences with multiple occurrences of the same demonstrative or indexical. My proposal involves the idea that contexts can be complex. Complex contexts are built out of (“simple”) Kaplanian contexts by ordered n-tupling. With these we can revise the clauses of Kaplan’s Logic of Demonstratives so that each part of a sentence is taken in a different component of a complex context. I consider other applications of the framework: to agentially distributed utterances (ones made partly by one speaker and partly by another); to an account of scare-quoting; and to an account of a binding-like phenomenon that avoids what Kit Fine calls “the antinomy of the variable.

The need to promote behaviour change at the cultural level: one factor explaining the limited impact of the MEMA kwa Vijana adolescent sexual health intervention in rural Tanzania. A process evaluation

Background - Few of the many behavioral sexual health interventions in Africa have been rigorously evaluated. Where biological outcomes have been measured, improvements have rarely been found. One of the most rigorous trials was of the multi-component MEMA kwa Vijana adolescent sexual health programme, which showed improvements in knowledge and reported attitudes and behaviour, but none in biological outcomes. This paper attempts to explain these outcomes by reviewing the process evaluation findings, particularly in terms of contextual factors. Methods - A large-scale, primarily qualitative process evaluation based mainly on participant observation identified the principal contextual barriers and facilitators of behavioural change. Results - The contextual barriers involved four interrelated socio-structural factors: culture (i.e. shared practices and systems of belief), economic circumstances, social status, and gender. At an individual level they appeared to operate through the constructs of the theories underlying MEMA kwa Vijana - Social Cognitive Theory and the Theory of Reasoned Action – but the intervention was unable to substantially modify these individual-level constructs, apart from knowledge. Conclusion - The process evaluation suggests that one important reason for this failure is that the intervention did not operate sufficiently at a structural level, particularly in regard to culture. Recently most structural interventions have focused on gender or/and economics. Complementing these with a cultural approach could address the belief systems that justify and perpetuate gender and economic inequalities, as well as other barriers to behaviour change

Astrometric orbits of SB9 stars

Hipparcos Intermediate Astrometric Data (IAD) have been used to derive astrometric orbital elements for spectroscopic binaries from the newly released Ninth Catalogue of Spectroscopic Binary Orbits (SB9). Among the 1374 binaries from SB9 which have an HIP entry, 282 have detectable orbital astrometric motion (at the 5% significance level). Among those, only 70 have astrometric orbital elements that are reliably determined (according to specific statistical tests discussed in the paper), and for the first time for 20 systems, representing a 10% increase relative to the 235 DMSA/O systems already present in the Hipparcos Double and Multiple Systems Annex. The detection of the astrometric orbital motion when the Hipparcos IAD are supplemented by the spectroscopic orbital elements is close to 100% for binaries with only one visible component, provided that the period is in the 50 - 1000 d range and the parallax is larger than 5 mas. This result is an interesting testbed to guide the choice of algorithms and statistical tests to be used in the search for astrometric binaries during the forthcoming ESA Gaia mission. Finally, orbital inclinations provided by the present analysis have been used to derive several astrophysical quantities. For instance, 29 among the 70 systems with reliable astrometric orbital elements involve main sequence stars for which the companion mass could be derived. Some interesting conclusions may be drawn from this new set of stellar masses, like the enigmatic nature of the companion to the Hyades F dwarf HIP 20935. This system has a mass ratio of 0.98 but the companion remains elusive.Comment: Astronomy & Astrophysics, in press (16 pages, 12 figures); also available at http://www.astro.ulb.ac.be/Html/ps.html#Astrometr

Intimacy negotiated: the management of relationships and the construction of personal communities in the lives of bisexual women and men

Bringing into dialogue conceptual literature on bisexuality, intimacy, and personal community, this article illuminates the lived experiences of 80 bisexual women and men in the UK. The data were collected through questionnaire and individual interview. The article discusses two empirical themes, beginning with the participants' narratives on their engagement with the dominant sexual and gender order – which hegemonizes 'monosexuality' and 'compulsory monogamy' – in their negotiation of relational intimacy. This is followed by an exploration of the features and functions of their personal communities, especially the significance of friendships. The article argues that, despite the ambivalence and misperception surrounding bisexuality, the participants enacted creative agency in negotiating intimacy and social support in their everyday lives

Targeting the epigenome: effects of epigenetic treatment strategies on genomic stability in healthy human cells

Epigenetic treatment concepts have long been ascribed as being tumour-selective. Over the last decade, it has become evident that epigenetic mechanisms are essential for a wide range of intracellular functions in healthy cells as well. Evaluation of possible side-effects and their underlying mechanisms in healthy human cells is necessary in order to improve not only patient safety, but also to support future drug development. Since epigenetic regulation directly interacts with genomic and chromosomal packaging density, increasing genomic instability may be a result subsequent to drug-induced epigenetic modifications. This review highlights past and current research efforts on the influence of epigenetic modification on genomic stability in healthy human cells

Theorising Multi-partner Relationships and Sexualities – Recent Work on Non-monogamy and Polyamory (Book review)

This review article attests to the maturation of research into consensual non-monogamy and polyamory. It provides an in-depth review of a selection of recent publications that push boundaries and pair interdisciplinary inquiry with queer sensibility and theoretical sophistication in the three areas of theorizing emotions, theorizing intimacies and sexualities and theorizing discourses and the public sphere. This work foregrounds the persistence of moral normativity and judgemental attitudes regarding consensual nonmonogamy. It underscores the power dimension around non/monogamy and reveals the complexity of contradictory dynamics of discrimination and privileging around non/ monogamous life choices. It shows how non-monogamous people deconstruct feeling rules and demonstrates the nodal function of gender and race/ethnicity in the discursive framings of different forms of non-monogamy

Crop Updates 2006 - Lupins and Pulses

This session covers sixty six papers from different authors: 2005 LUPIN AND PULSE INDUSTRY HIGHLIGHTS 1. Lupin Peter White, Department of Agriculture 2. Pulses Mark Seymour, Department of Agriculture 3. Monthly rainfall at experimental sites in 2005 4. Acknowledgements Amelia McLarty EDITOR 5. Contributors 6. Background Peter White, Department of Agriculture 2005 REGIONAL ROUNDUP 7. Northern agricultural region Wayne Parker, Department of Agriculture 8. Central agricultural region Ian Pritchard and Bob French, Department of Agriculture 9. Great southern and lakes Rodger Beermier, Department of Agriculture 10. South east region Mark Seymour, Department of Agriculture LUPIN AND PULSE PRODUCTION AGRONOMY AND GENETIC IMPROVEMENT 11. Lupin Peter White, Department of Agriculture 12. Narrow-leafed lupin breeding Bevan Buirchell, Department of Agriculture 13. Progress in the development of pearl lupin (Lupinus mutabilis) for Australian agriculture, Mark Sweetingham1,2, Jon Clements1, Geoff Thomas2, Roger Jones1, Sofia Sipsas1, John Quealy2, Leigh Smith1 and Gordon Francis1 1CLIMA, The University of Western Australia 2Department of Agriculture 14. Molecular genetic markers and lupin breeding, Huaan Yang, Jeffrey Boersma, Bevan Buirchell, Department of Agriculture 15. Construction of a genetic linkage map using MFLP, and identification of molecular markers linked to domestication genes in narrow-leafed lupin (Lupinus augustiflolius L) Jeffrey Boersma1,2, Margaret Pallotta3, Bevan Buirchell1, Chengdao Li1, Krishnapillai Sivasithamparam2 and Huaan Yang1 1Department of Agriculture, 2The University of Western Australia, 3Australian Centre for Plant Functional Genomics, South Australia 16. The first gene-based map of narrow-leafed lupin – location of domestication genes and conserved synteny with Medicago truncatula, M. Nelson1, H. Phan2, S. Ellwood2, P. Moolhuijzen3, M. Bellgard3, J. Hane2, A. Williams2, J. Fos‑Nyarko4, B. Wolko5, M. Książkiewicz5, M. Cakir4, M. Jones4, M. Scobie4, C. O’Lone1, S.J. Barker1, R. Oliver2, and W. Cowling1 1School of Plant Biology, The University of Western Australia, 2Australian Centre for Necrotrophic Fungal Pathogens, Murdoch University, 3Centre for Bioinformatics and Biological Computing, Murdoch University, 4School of Biological Sciences and Biotechnology, SABC, Murdoch University,5Institute of Plant Genetics, Polish Academy of Sciences, Poznań, Poland 17. How does lupin optimum density change row spacing? Bob French and Laurie Maiolo, Department of Agriculture 18. Wide row spacing and seeding rate of lupins with conventional and precision seeding machines Martin Harries, Jo Walker and Murray Blyth, Department of Agriculture 19. Influence of row spacing and plant density on lupin competition with annual ryegrass, Martin Harries, Jo Walker and Murray Blyth, Department of Agriculture 20. Effect of timing and speed of inter-row cultivation on lupins, Martin Harries, Jo Walker and Steve Cosh, Department of Agriculture 21. The interaction of atrazine herbicide rate and row spacing on lupin seedling survival, Martin Harries and Jo Walker Department of Agriculture 22. The banding of herbicides on lupin row crops, Martin Harries, Jo Walker and Murray Blyth, Department of Agriculture 23. Large plot testing of herbicide tolerance of new lupin lines, Wayne Parker, Department of Agriculture 24. Effect of seed source and simazine rate of seedling emergence and growth, Peter White and Greg Shea, Department of Agriculture 25. The effect of lupin row spacing and seeding rate on a following wheat crop, Martin Harries, Jo Walker and Dirranie Kirby, Department of Agriculture 26. Response of crop lupin species to row spacing, Leigh Smith1, Kedar Adhikari1, Jon Clements2 and Patrizia Guantini3, 1Department of Agriculture, 2CLIMA, The University of Western Australia, 3University of Florence, Italy 27. Response of Lupinus mutabilis to lime application and over watering, Peter White, Leigh Smith and Mark Sweetingham, Department of Agriculture 28. Impact of anthracnose on yield of Andromeda lupins, Geoff Thomas, Kedar Adhikari and Katie Bell, Department of Agriculture 29. Survey of lupin root health (in major production areas), Geoff Thomas, Ken Adcock, Katie Bell, Ciara Beard and Anne Smith, Department of Agriculture 30. Development of a generic forecasting and decision support system for diseases in the Western Australian wheatbelt, Tim Maling1, Art Diggle1,2, Debbie Thackray1, Kadambot Siddique1 and Roger Jones1,2 1CLIMA, The University of Western Australia, 2Department of Agriculture 31.Tanjil mutants highly tolerant to metribuzin, Ping Si1, Mark Sweetingham1,2, Bevan Buirchell1,2 and Huaan Yang l,2 1CLIMA, The University of Western Australia, 2Department of Agriculture 32. Precipitation pH vs. yield and functional properties of lupin protein isolate, Vijay Jayasena1, Hui Jun Chih1 and Ken Dods2 1Curtin University of Technology, 2Chemistry Centre 33. Lupin protein isolation with the use of salts, Vijay Jayasena1, Florence Kartawinata1,Ranil Coorey1 and Ken Dods2 1Curtin University of Technology, 2Chemistry Centre 34. Field pea, Mark Seymour, Department of Agriculture 35. Breeding highlights Kerry Regan1,2, Tanveer Khan1,2, Stuart Morgan1 and Phillip Chambers1 1Department of Agriculture, 2CLIMA, The University of Western Australia 36. Variety evaluation, Kerry Regan1,2, Tanveer Khan1,2, Jenny Garlinge1 and Rod Hunter1 1Department of Agriculture, 2CLIMA, The University of Western Australia 37. Days to flowering of field pea varieties throughout WA Mark Seymour1, Ian Pritchard1, Rodger Beermier1, Pam Burgess1 and Dr Eric Armstrong2 Department of Agriculture, 2NSW Department of Primary Industries, Wagga Wagga 38. Semi-leafless field peas yield more, with less ryegrass seed set, in narrow rows, Glen Riethmuller, Department of Agriculture 39. Swathing, stripping and other innovative ways to harvest field peas, Mark Seymour, Ian Pritchard, Rodger Beermier and Pam Burgess, Department of Agriculture 40. Pulse demonstrations, Ian Pritchard, Wayne Parker, Greg Shea, Department of Agriculture 41. Field pea extension – focus on field peas 2005, Ian Pritchard, Department of Agriculture 42. Field pea blackspot disease in 2005: Prediction versus reality, Moin Salam, Jean Galloway, Pip Payne, Bill MacLeod and Art Diggle, Department of Agriculture 43. Pea seed-borne mosaic virus in pulses: Screening for seed quality defects and virus resistance, Rohan Prince, Brenda Coutts and Roger Jones, Department of Agriculture, and CLIMA, The University of Western Australia 44. Yield losses from sowing field peas infected with pea seed-borne mosaic virus, Rohan Prince, Brenda Coutts and Roger Jones, Department of Agriculture, and CLIMA, The University of Western Australia 45. Desi chickpea, Wayne Parker, Department of Agriculture 46. Breeding highlights, Tanveer Khan 1,2, Pooran Gaur3, Kadambot Siddique2, Heather Clarke2, Stuart Morgan1and Alan Harris1, 1Department of Agriculture2CLIMA, The University of Western Australia, 3International Crop Research Institute for Semi Arid Tropics (ICRISAT), India 47. National chickpea improvement program, Kerry Regan1, Ted Knights2 and Kristy Hobson3,1Department of Agriculture, 2Agriculture New South Wales 3Department of Primary Industries, Victoria 48. Chickpea breeding lines in CVT exhibit excellent ascochyta blight resistance, Tanveer Khan1,2, Alan Harris1, Stuart Morgan1 and Kerry Regan1,2, 1Department of Agriculture, 2CLIMA, The University of Western Australia 49. Variety evaluation, Kerry Regan1,2, Tanveer Khan1,2, Jenny Garlinge2 and Rod Hunter2, 1CLIMA, The University of Western Australia 2Department of Agriculture 50. Desi chickpeas for the wheatbelt, Wayne Parker and Ian Pritchard, Department of Agriculture 51. Large scale demonstration of new chickpea varieties, Wayne Parker, MurrayBlyth, Steve Cosh, Dirranie Kirby and Chris Matthews, Department of Agriculture 52. Ascochyta management with new chickpeas, Martin Harries, Bill MacLeod, Murray Blyth and Jo Walker, Department of Agriculture 53. Management of ascochyta blight in improved chickpea varieties, Bill MacLeod1, Colin Hanbury2, Pip Payne1, Martin Harries1, Murray Blyth1, Tanveer Khan1,2, Kadambot Siddique2, 1Department of Agriculture, 2CLIMA, The University of Western Australia 54. Botrytis grey mould of chickpea, Bill MacLeod, Department of Agriculture 55. Kabuli chickpea, Kerry Regan, Department of Agriculture, and CLIMA, The University of Western Australia 56. New ascochyta blight resistant, high quality kabuli chickpea varieties, Kerry Regan1,2, Kadambot Siddique2, Tim Pope2 and Mike Baker1, 1Department of Agriculture, 2CLIMA, The University of Western Australia 57. Crop production and disease management of Almaz and Nafice, Kerry Regan and Bill MacLeod, Department of Agriculture, and CLIMA, The University of Western Australia 58. Faba bean,Mark Seymour, Department of Agriculture 59. Germplasm evaluation – faba bean, Mark Seymour1, Tim Pope2, Peter White1, Martin Harries1, Murray Blyth1, Rodger Beermier1, Pam Burgess1 and Leanne Young1,1Department of Agriculture, 2CLIMA, The University of Western Australia 60. Factors affecting seed coat colour of faba bean during storage, Syed Muhammad Nasar-Abbas1, Julie Plummer1, Kadambot Siddique2, Peter White 3, D. Harris4 and Ken Dods4.1The University of Western Australia, 2CLIMA, The University of Western Australia, 3Department of Agriculture, 4Chemistry Centre 61. Lentil,Kerry Regan, Department of Agriculture, and CLIMA, The University of Western Australia 62. Variety and germplasm evaluation, Kerry Regan1,2, Tim Pope2, Leanne Young1, Phill Chambers1, Alan Harris1, Wayne Parker1 and Michael Materne3, 1Department of Agriculture 2CLIMA, The University of Western Australia, 3Department of Primary Industries, Victoria Pulse species 63. Land suitability for production of different crop species in Western Australia, Peter White, Dennis van Gool, and Mike Baker, Department of Agriculture 64. Genomic synteny in legumes: Application to crop breeding, Huyen Phan1, Simon Ellwood1, J. Hane1, Angela Williams1, R. Ford2, S. Thomas3 and Richard Oliver1,1Australian Centre of Necrotrophic Plant Pathogens, Murdoch University 2BioMarka, School of Agriculture and Food Systems, ILFR, University of Melbourne 3NSW Department of Primary Industries 65. ALOSCA – Development of a dry flow legume seed inoculant, Rory Coffey and Chris Poole, ALOSCA Technologies Pty Ltd 66. Genetic dissection of resistance to fungal necrotrophs in Medicago truncatula, Simon Ellwood1, Theo Pfaff1, Judith Lichtenzveig12, Lars Kamphuis1, Nola D\u27Souza1, Angela Williams1, Emma Groves1, Karam Singh2 and Richard Oliver1 1Australian Centre of Necrotrophic Plant Pathogens, Murdoch University, 2CSIRO Plant Industry APPENDIX I: LIST OF COMMON ACRONYM

Clinical development of new drug-radiotherapy combinations.

In countries with the best cancer outcomes, approximately 60% of patients receive radiotherapy as part of their treatment, which is one of the most cost-effective cancer treatments. Notably, around 40% of cancer cures include the use of radiotherapy, either as a single modality or combined with other treatments. Radiotherapy can provide enormous benefit to patients with cancer. In the past decade, significant technical advances, such as image-guided radiotherapy, intensity-modulated radiotherapy, stereotactic radiotherapy, and proton therapy enable higher doses of radiotherapy to be delivered to the tumour with significantly lower doses to normal surrounding tissues. However, apart from the combination of traditional cytotoxic chemotherapy with radiotherapy, little progress has been made in identifying and defining optimal targeted therapy and radiotherapy combinations to improve the efficacy of cancer treatment. The National Cancer Research Institute Clinical and Translational Radiotherapy Research Working Group (CTRad) formed a Joint Working Group with representatives from academia, industry, patient groups and regulatory bodies to address this lack of progress and to publish recommendations for future clinical research. Herein, we highlight the Working Group's consensus recommendations to increase the number of novel drugs being successfully registered in combination with radiotherapy to improve clinical outcomes for patients with cancer.National Institute for Health ResearchThis is the final version of the article. It first appeared from Nature Publishing Group via http://dx.doi.org/10.1038/nrclinonc.2016.7