Merging fragments of classical logic

We investigate the possibility of extending the non-functionally complete logic of a collection of Boolean connectives by the addition of further Boolean connectives that make the resulting set of connectives functionally complete. More precisely, we will be interested in checking whether an axiomatization for Classical Propositional Logic may be produced by merging Hilbert-style calculi for two disjoint incomplete fragments of it. We will prove that the answer to that problem is a negative one, unless one of the components includes only top-like connectives.Comment: submitted to FroCoS 201

Role of microstructure and surface defects on the dissolution kinetics of CeO2, a UO2 fuel analogue.

The release of radionuclides from spent fuel in a geological disposal facility is controlled by the surface mediated dissolution of UO2 in groundwater. In this study we investigate the influence of reactive surface sites on the dissolution of a synthesised CeO2 analogue for UO2 fuel. Dissolution was performed on: CeO2 annealed at high temperature, which eliminated intrinsic surface defects (point defects and dislocations); CeO2-x annealed in inert and reducing atmospheres to induce oxygen vacancy defects; and on crushed CeO2 particles of different size fractions. BET surface area measurements were used as an indicator of reactive surface site concentration. Cerium stoichiometry, determined using X-ray Photoelectron Spectroscopy (XPS) and supported by X-ray Diffraction (XRD) analysis, was used to determine oxygen vacancy concentration. Upon dissolution in nitric acid medium at 90°C, a quantifiable relationship was established between the concentration of high energy surface sites and CeO2 dissolution rate; the greater the proportion of intrinsic defects and oxygen vacancies, the higher the dissolution rate. Dissolution of oxygen vacancy-containing CeO2-x gave rise to rates that were an order of magnitude greater than for CeO2 with fewer oxygen vacancies. While enhanced solubility of Ce3+ influenced the dissolution, it was shown that replacement of vacancy sites by oxygen significantly affected the dissolution mechanism due to changes in the lattice volume and strain upon dissolution and concurrent grain boundary decohesion. These results highlight the significant influence of defect sites and grain boundaries on the dissolution kinetics of UO2 fuel analogues and reduce uncertainty in the long-term performance of spent fuel in geological disposal

Reactions to symptoms of mental disorder and help seeking in Sabah, Malaysia.

Abstract Background: A better understanding is needed about how people make decisions about help seeking. Materials: Focus group and individual interviews with patients, carers, healthcare staff, religious authorities, traditional healers and community members. Discussion: Four stages of help seeking were identified: (1) noticing symptoms and initial labelling, (2) collective decision-making, (3) spiritual diagnoses and treatment and (4) psychiatric diagnosis and treatment. Conclusion: Spiritual diagnoses have the advantage of being less stigmatising, giving meaning to symptoms, and were seen to offer hope of cure rather than just symptom control. Patients and carers need help to integrate different explanatory models into a meaningful whole.N/

Popular attitudes to memory, the body, and social identity : the rise of external commemoration in Britain, Ireland, and New England

A comparative analysis of samples of external memorials from burial grounds in Britain, Ireland and New England reveals a widespread pattern of change in monument style and content, and exponential growth in the number of permanent memorials from the 18th century onwards. Although manifested in regionally distinctive styles on which most academic attention has so far been directed, the expansion reflects global changes in social relationships and concepts of memory and the body. An archaeological perspective reveals the importance of external memorials in articulating these changing attitudes in a world of increasing material consumption

Contribution of Energetically Reactive Surface Features to the Dissolution of CeO2 and ThO2 Analogues for Spent Nuclear Fuel Microstructures

In the safety case for the geological disposal of nuclear waste, the release of radioactivity from the repository is controlled by the dissolution of the spent fuel in groundwater. There remain several uncertainties associated with understanding spent fuel dissolution, including the contribution of energetically reactive surface sites to the dissolution rate. In this study, we investigate how surface features influence the dissolution rate of synthetic CeO2 and ThO2, spent nuclear fuel analogues that approximate as closely as possible the microstructure characteristics of fuel-grade UO2 but are not sensitive to changes in oxidation state of the cation. The morphology of grain boundaries (natural features) and surface facets (specimen preparation-induced features) was investigated during dissolution. The effects of surface polishing on dissolution rate were also investigated. We show that preferential dissolution occurs at grain boundaries, resulting in grain boundary decohesion and enhanced dissolution rates. A strong crystallographic control was exerted, with high misorientation angle grain boundaries retreating more rapidly than those with low misorientation angles, which may be due to the accommodation of defects in the grain boundary structure. The data from these simplified analogue systems support the hypothesis that grain boundaries play a role in the so-called “instant release fraction” of spent fuel, and should be carefully considered, in conjunction with other chemical effects, in safety performance assessements for the geological disposal of spent fuel. Surface facets formed during the sample annealing process also exhibited a strong crystallographic control and were found to dissolve rapidly on initial contact with dissolution medium. Defects and strain induced during sample polishing caused an overestimation of the dissolution rate, by up to 3 orders of magnitude

Beyond the martial façade: gender, heritage and medieval castles

Gendered interpretations are rare both within castle-studies and heritage discourses on medieval castles. Yet, castles hold potential to inform multi-vocal accounts of the medieval past and to inspire meaningful heritage interpretations to achieve greater societal impact. This article explores the role that gender currently plays in interpretations of medieval castles in Britain, supported by three case-studies written by heritage professionals. The enduring narrative of militarism at medieval castles sites is discussed, together with issues of authenticity in relation to the historical record, which is in itself biased and inherently gendered. Outcomes from a collaborative workshop highlight the need to address interpretative issues where gender is considered to equate to ‘making women visible’. Finally, we pose the question: What makes a ‘good gendered interpretation’ at a public heritage site

Low levels of amyloid-beta and its transporters in neonatal rats with and without hydrocephalus

<p>Abstract</p> <p>Background</p> <p>Previous studies in aging animals have shown that amyloid-beta protein (Aβ) accumulates and its transporters, low-density lipoprotein receptor-related protein-1 (LRP-1) and the receptor for advanced glycation end products (RAGE) are impaired during hydrocephalus. Furthermore, correlations between astrocytes and Aβ have been found in human cases of normal pressure hydrocephalus (NPH) and Alzheimer's disease (AD). Because hydrocephalus occurs frequently in children, we evaluated the expression of Aβ and its transporters and reactive astrocytosis in animals with neonatal hydrocephalus.</p> <p>Methods</p> <p>Hydrocephalus was induced in neonatal rats by intracisternal kaolin injections on post-natal day one, and severe ventriculomegaly developed over a three week period. MRI was performed on post-kaolin days 10 and 21 to document ventriculomegaly. Animals were sacrificed on post-kaolin day 21. For an age-related comparison, tissue was used from previous studies when hydrocephalus was induced in a group of adult animals at either 6 months or 12 months of age. Tissue was processed for immunohistochemistry to visualize LRP-1, RAGE, Aβ, and glial fibrillary acidic protein (GFAP) and with quantitative real time reverse transcriptase polymerase chain reaction (qRT-PCR) to quantify expression of LRP-1, RAGE, and GFAP.</p> <p>Results</p> <p>When 21-day post-kaolin neonatal hydrocephalic animals were compared to adult (6–12 month old) hydrocephalic animals, immunohistochemistry demonstrated levels of Aβ, RAGE, and LRP-1 that were substantially lower in the younger animals; in contrast, GFAP levels were elevated in both young and old hydrocephalic animals. When the neonatal hydrocephalic animals were compared to age-matched controls, qRT-PCR demonstrated no significant changes in Aβ, LRP-1 and RAGE. However, immunohistochemistry showed very small increases or decreases in individual proteins. Furthermore, qRT-PCR indicated statistically significant increases in GFAP.</p> <p>Conclusion</p> <p>Neonatal rats with and without hydrocephalus had low expression of Aβ and its transporters when compared to adult rats with hydrocephalus. No statistical differences were observed in Aβ and its transporters between the control and hydrocephalic neonatal animals.</p

The Great American Crime Decline : Possible Explanations

This chapter examines the most important features of the crime decline in the United States during the 1990s-2010s but also takes a broader look at the violence declines of the last three centuries. The author argues that violent and property crime trends might have diverged in the 1990s, with property crimes increasingly happening in the online sphere and thus traditional property crime statistics not being reflective of the full picture. An important distinction is made between ‘contact crimes’ and crimes that do not require a victim and offender to be present in the same physical space. Contrary to the uncertainties engendered by property crime, the declines in violent (‘contact’) crime are rather general, and have been happening not only across all demographic and geographic categories within the United States but also throughout the developed world. An analysis of research literature on crime trends has identified twenty-four different explanations for the crime drop. Each one of them is briefly outlined and examined in terms of conceptual clarity and empirical support. Nine crime decline explanations are highlighted as the most promising ones. The majority of these promising explanations, being relative newcomers in the crime trends literature, have not been subjected to sufficient empirical scrutiny yet, and thus require further research. One potentially fruitful avenue for future studies is to examine the association of the most promising crime decline explanations with improvements in self-control

Rare variant analyses validate known ALS genes in a multi-ethnic population and identifies ANTXR2 as a candidate in PLS

BackgroundAmyotrophic lateral sclerosis (ALS) is a neurodegenerative disease affecting over 300,000 people worldwide. It is characterized by the progressive decline of the nervous system that leads to the weakening of muscles which impacts physical function. Approximately, 15% of individuals diagnosed with ALS have a known genetic variant that contributes to their disease. As therapies that slow or prevent symptoms continue to develop, such as antisense oligonucleotides, it is important to discover novel genes that could be targets for treatment. Additionally, as cohorts continue to grow, performing analyses in ALS subtypes, such as primary lateral sclerosis (PLS), becomes possible due to an increase in power. These analyses could highlight novel pathways in disease manifestation.MethodsBuilding on our previous discoveries using rare variant association analyses, we conducted rare variant burden testing on a substantially larger multi-ethnic cohort of 6,970 ALS patients, 166 PLS patients, and 22,524 controls. We used intolerant domain percentiles based on sub-region Residual Variation Intolerance Score (subRVIS) that have been described previously in conjunction with gene based collapsing approaches to conduct burden testing to identify genes that associate with ALS and PLS.ResultsA gene based collapsing model showed significant associations with SOD1, TARDBP, and TBK1 (OR = 19.18, p = 3.67 × 10–39; OR = 4.73, p = 2 × 10–10; OR = 2.3, p = 7.49 × 10–9, respectively). These genes have been previously associated with ALS. Additionally, a significant novel control enriched gene, ALKBH3 (p = 4.88 × 10–7), was protective for ALS in this model. An intolerant domain-based collapsing model showed a significant improvement in identifying regions in TARDBP that associated with ALS (OR = 10.08, p = 3.62 × 10–16). Our PLS protein truncating variant collapsing analysis demonstrated significant case enrichment in ANTXR2 (p = 8.38 × 10–6).ConclusionsIn a large multi-ethnic cohort of 6,970 ALS patients, collapsing analyses validated known ALS genes and identified a novel potentially protective gene, ALKBH3. A first-ever analysis in 166 patients with PLS found a candidate association with loss-of-function mutations in ANTXR2