Sequent Calculus in the Topos of Trees

Nakano's "later" modality, inspired by G\"{o}del-L\"{o}b provability logic, has been applied in type systems and program logics to capture guarded recursion. Birkedal et al modelled this modality via the internal logic of the topos of trees. We show that the semantics of the propositional fragment of this logic can be given by linear converse-well-founded intuitionistic Kripke frames, so this logic is a marriage of the intuitionistic modal logic KM and the intermediate logic LC. We therefore call this logic $\mathrm{KM}_{\mathrm{lin}}$. We give a sound and cut-free complete sequent calculus for $\mathrm{KM}_{\mathrm{lin}}$ via a strategy that decomposes implication into its static and irreflexive components. Our calculus provides deterministic and terminating backward proof-search, yields decidability of the logic and the coNP-completeness of its validity problem. Our calculus and decision procedure can be restricted to drop linearity and hence capture KM.Comment: Extended version, with full proof details, of a paper accepted to FoSSaCS 2015 (this version edited to fix some minor typos

A scoping review on occupational science research in European contexts

Background A survey showed European occupational scientists cover a broad range in occupational science (OS) research, however, no contemporary overviews of European OS research exists, and current research may provide valuable information for OS and occupational therapy. Aim The aim was to provide an overview of contemporary European OS research. Materials and method A scoping review was performed, including studies conducted in Europe and published in the British Journal of Occupational Therapy (BJOT), the Scandinavian Journal of Occupational Therapy (SJOT) or the Journal of Occupational Science (JOS) between 2015 and 2020. The journals were systematically searched, and quality assessment and thematic analysis were undertaken. Results Findings from 93 articles identified many studies from the Nordic countries. Most studies applied qualitative research methods. Theoretical concepts from OS were used in data generating and discussions. A wide range of demographics, and living conditions were explored. Recent articles took a reflexive stance on the positionality of the researcher/s. Conclusions This review highlights the diversity of OS research, suggesting a solid theoretical knowledge base within European OS research. Significance The results contribute to further development and maturation of the discipline of OS in Europe and internationally

Enhanced Fe-centered redox flexibility in Fe–Ti heterobimetallic complexes

Previously, we reported the synthesis of Ti[N(o-(NCH2P(iPr)2)C6H4)3] and the Fe–Ti complex, FeTi[N(o-(NCH2P(iPr)2)C6H4)3], abbreviated as TiL (1), and FeTiL (2), respectively. Herein, we describe the synthesis and characterization of the complete redox families of the monometallic Ti and Fe–Ti compounds. Cyclic voltammetry studies on FeTiL reveal both reduction and oxidation processes at −2.16 and −1.36 V (versus Fc/Fc+), respectively. Two isostructural redox members, [FeTiL]+ and [FeTiL]− (2ox and 2red, respectively) were synthesized and characterized, along with BrFeTiL (2-Br) and the monometallic [TiL]+ complex (1ox). The solid-state structures of the [FeTiL]+/0/– series feature short metal–metal bonds, ranging from 1.94–2.38 Å, which are all shorter than the sum of the Ti and Fe single-bond metallic radii (cf. 2.49 Å). To elucidate the bonding and electronic structures, the complexes were characterized with a host of spectroscopic methods, including NMR, EPR, and 57Fe Mössbauer, as well as Ti and Fe K-edge X-ray absorption spectroscopy (XAS). These studies, along with hybrid density functional theory (DFT) and time-dependent DFT calculations, suggest that the redox processes in the isostructural [FeTiL]+,0,– series are primarily Fe-based and that the polarized Fe–Ti π-bonds play a role in delocalizing some of the additional electron density from Fe to Ti (net 13%)

InForm software: A semi-Automated research tool to identify presumptive human hepatic progenitor cells, and other histological features of pathological significance

Hepatic progenitor cells (HPCs) play an important regenerative role in acute and chronic liver pathologies. Liver disease research often necessitates the grading of disease severity, and pathologists' reports are the current gold-standard for assessment. However, it is often impractical to recruit pathologists in large cohort studies. In this study we utilise PerkinElmer's "InForm" software package to semi-Automate the scoring of patient liver biopsies, and compare outputs to a pathologist's assessment. We examined a cohort of eleven acute hepatitis samples and three non-Alcoholic fatty liver disease (NAFLD) samples, stained with HPC markers (GCTM-5 and Pan Cytokeratin), an inflammatory marker (CD45), Sirius Red to detect collagen and haematoxylin/eosin for general histology. InForm was configured to identify presumptive HPCs, CD45 +ve inflammatory cells, areas of necrosis, fat and collagen deposition (p < 0.0001). Hepatitis samples were then evaluated both by a pathologist using the Ishak-Knodell scoring system, and by InForm through customised algorithms. Necroinflammation as evaluated by a pathologist, correlated with InForm outputs (r 2 = 0.8192, p < 0.05). This study demonstrates that the InForm software package provides a useful tool for liver disease research, allowing rapid, and objective quantification of the presumptive HPCs and identifies histological features that assist with assessing liver disease severity, and potentially can facilitate diagnosis

A Workshop on Cognitive Aging and Impairment in the 9/11-Exposed Population

The terrorist attacks on 11 September 2001 potentially exposed more than 400,000 responders, workers, and residents to psychological and physical stressors, and numerous hazardous pollutants. In 2011, the World Trade Center Health Program (WTCHP) was mandated to monitor and treat persons with 9/11-related adverse health conditions and conduct research on physical and mental health conditions related to the attacks. Emerging evidence suggests that persons exposed to 9/11 may be at increased risk of developing mild cognitive impairment. To investigate further, the WTCHP convened a scientific workshop that examined the natural history of cognitive aging and impairment, biomarkers in the pathway of neurodegenerative diseases, the neuropathological changes associated with hazardous exposures, and the evidence of cognitive decline and impairment in the 9/11-exposed population. Invited participants included scientists actively involved in health-effects research of 9/11-exposed persons and other at-risk populations. Attendees shared relevant research results from their respective programs and discussed several options for enhancements to research and surveillance activities, including the development of a multi-institutional collaborative research network. The goal of this report is to outline the meeting’s agenda and provide an overview of the presentation materials and group discussion

Evaluation of a service intervention to improve awareness and uptake of bowel cancer screening in ethnically-diverse areas

The Policy Research Unit in Cancer Awareness, Screening and Early Diagnosis receives funding for a research programme from the UK Department of Health Policy Research Programme (grant no. 106/0001). It is a collaboration between researchers from seven institutions (the Queen Mary University of London, the UCL, the King’s College London, the London School of Hygiene and Tropical Medicine, the Hull York Medical School, the Durham University and the Peninsula Medical School)

Anhedonia in schizophrenia and major depression: state or trait?

<p>Abstract</p> <p>Background</p> <p>In schizophrenia and major depressive disorder, anhedonia (a loss of capacity to feel pleasure) had differently been considered as a premorbid personological trait or as a main symptom of their clinical picture. The aims of this study were to examine the pathological features of anhedonia in schizophrenic and depressed patients, and to investigate its clinical relations with general psychopathology (negative, positive, and depressive dimensions).</p> <p>Methods</p> <p>A total of 145 patients (80 schizophrenics and 65 depressed subjects) were assessed using the Physical Anhedonia Scale and the Social Anhedonia Scale (PAS and SAS, respectively), the Scales for the Assessment of Positive and Negative Symptoms (SAPS and SANS, respectively), the Calgary Depression Scale for Schizophrenics (CDSS), and the Hamilton Depression Rating Scale (HDRS). The statistical analysis was performed in two steps. First, the schizophrenic and depressed samples were dichotomised into 'anhedonic' and 'normal hedonic' subgroups (according to the 'double (PAS/SAS) cut-off') and were compared on the general psychopathology scores using the Mann-Whitney Z test. Subsequently, for the total schizophrenic and depressed samples, Spearman correlations were calculated to examine the relation between anhedonia ratings and the other psychopathological parameters.</p> <p>Results</p> <p>In the schizophrenic sample, anhedonia reached high significant levels only in 45% of patients (n = 36). This 'anhedonic' subgroup was distinguished by high scores in the disorganisation and negative dimensions. Positive correlations of anhedonia with disorganised and negative symptoms were also been detected. In the depressed sample, anhedonia reached high significant levels in only 36.9% of subjects (n = 24). This 'anhedonic' subgroup as distinguished by high scores in the depression severity and negative dimensions. Positive correlations of anhedonia with depressive and negative symptoms were also been detected.</p> <p>Conclusion</p> <p>In the schizophrenic sample, anhedonia seems to be a specific subjective psychopathological experience of the negative and disorganised forms of schizophrenia. In the depressed sample, anhedonia seems to be a specific subjective psychopathological experience of those major depressive disorder forms with a marked clinical depression severity.</p

Detailed Analysis of <em>ITPR1 </em>Missense Variants Guides Diagnostics and Therapeutic Design

\ua9 2023 The Authors. Movement Disorders published by Wiley Periodicals LLC on behalf of International Parkinson and Movement Disorder Society.Background: The ITPR1 gene encodes the inositol 1,4,5-trisphosphate (IP3) receptor type 1 (IP3R1), a critical player in cerebellar intracellular calcium signaling. Pathogenic missense variants in ITPR1 cause congenital spinocerebellar ataxia type 29 (SCA29), Gillespie syndrome (GLSP), and severe pontine/cerebellar hypoplasia. The pathophysiological basis of the different phenotypes is poorly understood. Objectives: We aimed to identify novel SCA29 and GLSP cases to define core phenotypes, describe the spectrum of missense variation across ITPR1, standardize the ITPR1 variant nomenclature, and investigate disease progression in relation to cerebellar atrophy. Methods: Cases were identified using next-generation sequencing through the Deciphering Developmental Disorders study, the 100,000 Genomes project, and clinical collaborations. ITPR1 alternative splicing in the human cerebellum was investigated by quantitative polymerase chain reaction. Results: We report the largest, multinational case series of 46 patients with 28 unique ITPR1 missense variants. Variants clustered in functional domains of the protein, especially in the N-terminal IP3-binding domain, the carbonic anhydrase 8 (CA8)-binding region, and the C-terminal transmembrane channel domain. Variants outside these domains were of questionable clinical significance. Standardized transcript annotation, based on our ITPR1 transcript expression data, greatly facilitated analysis. Genotype–phenotype associations were highly variable. Importantly, while cerebellar atrophy was common, cerebellar volume loss did not correlate with symptom progression. Conclusions: This dataset represents the largest cohort of patients with ITPR1 missense variants, expanding the clinical spectrum of SCA29 and GLSP. Standardized transcript annotation is essential for future reporting. Our findings will aid in diagnostic interpretation in the clinic and guide selection of variants for preclinical studies. \ua9 2023 The Authors. Movement Disorders published by Wiley Periodicals LLC on behalf of International Parkinson and Movement Disorder Society

Australian clinical practice guidelines for the diagnosis and management of Barrett's esophagus and early esophageal adenocarcinoma

Author version made available following 12 month embargo from date of publication according to publisher copyright policy.Barrett's esophagus (BE), a common condition, is the only known precursor to esophageal adenocarcinoma (EAC). There is uncertainty about the best way to manage BE as most people with BE never develop EAC and most patients diagnosed with EAC have no preceding diagnosis of BE. Moreover, there have been recent advances in knowledge and practice about the management of BE and early EAC. To aid clinical decision making in this rapidly moving field, Cancer Council Australia convened an expert working party to identify pertinent clinical questions. The questions covered a wide range of topics including endoscopic and histological definitions of BE and early EAC; prevalence, incidence, natural history, and risk factors for BE; and methods for managing BE and early EAC. The latter considered modification of lifestyle factors; screening and surveillance strategies; and medical, endoscopic, and surgical interventions. To answer each question, the working party systematically reviewed the literature and developed a set of recommendations through consensus. Evidence underpinning each recommendation was rated according to quality and applicability