KIR haplotypes are associated with late-onset type 1 diabetes in European-American families.

Classical human leukocyte antigens (HLA) genes confer the strongest, but not the only, genetic susceptibility to type 1 diabetes. Killer cell immunoglobulin-like receptors (KIR), on natural killer (NK) cells, bind ligands including class I HLA. We examined presence or absence, with copy number, of KIR loci in 1698 individuals, from 339 multiplex type 1 diabetes families, from the Human Biological Data Interchange, previously genotyped for HLA. Combining family data with KIR copy number information allowed assignment of haplotypes using identity by descent. This is the first disease study to use KIR copy number typing and unambiguously define haplotypes by gene transmission. KIR A1 haplotypes were positively associated with T1D in the subset of patients without the high T1D risk HLA genotype, DR3/DR4 (odds ratio=1.29, P=0.0096). The data point to a role for KIR in type 1 diabetes risk in late-onset patients. In the top quartile (age of onset>14), KIR A2 haplotype was overtransmitted (63.4%, odds ratio=1.73, P=0.024) and KIR B haplotypes were undertransmitted (41.1%, odds ratio=0.70, P=0.0052) to patients. The data suggest that inhibitory 'A' haplotypes are predisposing and stimulatory 'B' haplotypes confer protection in both DR3/DR4-negative and late-onset patient groups.This work was supported in part by National Institutes of Health award R01 DK61722 (J.A.N.). Research in the Trowsdale lab is supported by the MRC and Wellcome Trust with part funding from the National Institute for Health Research Cambridge Biomedical Research Centre.This is the final version of the article. It first appeared from Nature Publishing Group via http://dx.doi.org/10.1038/gene.2015.4

The value of source data verification in a cancer clinical trial

Background Source data verification (SDV) is a resource intensive method of quality assurance frequently used in clinical trials. There is no empirical evidence to suggest that SDV would impact on comparative treatment effect results from a clinical trial. Methods Data discrepancies and comparative treatment effects obtained following 100% SDV were compared to those based on data without SDV. Overall survival (OS) and Progression-free survival (PFS) were compared using Kaplan-Meier curves, log-rank tests and Cox models. Tumour response classifications and comparative treatment Odds Ratios (ORs) for the outcome objective response rate, and number of Serious Adverse Events (SAEs) were compared. OS estimates based on SDV data were compared against estimates obtained from centrally monitored data. Findings Data discrepancies were identified between different monitoring procedures for the majority of variables examined, with some variation in discrepancy rates. There were no systematic patterns to discrepancies and their impact was negligible on OS, the primary outcome of the trial (HR (95% CI): 1.18(0.99 to 1.41), p = 0.064 with 100% SDV; 1.18(0.99 to 1.42), p = 0.068 without SDV; 1.18(0.99 to 1.40), p = 0.073 with central monitoring). Results were similar for PFS. More extreme discrepancies were found for the subjective outcome overall objective response (OR (95% CI): 1.67(1.04 to 2.68), p = 0.03 with 100% SDV; 2.45(1.49 to 4.04), p = 0.0003 without any SDV) which was mostly due to differing CT scans. Interpretation Quality assurance methods used in clinical trials should be informed by empirical evidence. In this empirical comparison, SDV was expensive and identified random errors that made little impact on results and clinical conclusions of the trial. Central monitoring using an external data source was a more efficient approach for the primary outcome of OS. For the subjective outcome objective response, an independent blinded review committee and tracking system to monitor missing scan data could be more efficient than SDV

Solving Tree Problems with Category Theory

Artificial Intelligence (AI) has long pursued models, theories, and techniques to imbue machines with human-like general intelligence. Yet even the currently predominant data-driven approaches in AI seem to be lacking humans' unique ability to solve wide ranges of problems. This situation begs the question of the existence of principles that underlie general problem-solving capabilities. We approach this question through the mathematical formulation of analogies across different problems and solutions. We focus in particular on problems that could be represented as tree-like structures. Most importantly, we adopt a category-theoretic approach in formalising tree problems as categories, and in proving the existence of equivalences across apparently unrelated problem domains. We prove the existence of a functor between the category of tree problems and the category of solutions. We also provide a weaker version of the functor by quantifying equivalences of problem categories using a metric on tree problems.Comment: 10 pages, 4 figures, International Conference on Artificial General Intelligence (AGI) 201

From Euclidean Geometry to Knots and Nets

This document is the Accepted Manuscript of an article accepted for publication in Synthese. Under embargo until 19 September 2018. The final publication is available at Springer via https://doi.org/10.1007/s11229-017-1558-x.This paper assumes the success of arguments against the view that informal mathematical proofs secure rational conviction in virtue of their relations with corresponding formal derivations. This assumption entails a need for an alternative account of the logic of informal mathematical proofs. Following examination of case studies by Manders, De Toffoli and Giardino, Leitgeb, Feferman and others, this paper proposes a framework for analysing those informal proofs that appeal to the perception or modification of diagrams or to the inspection or imaginative manipulation of mental models of mathematical phenomena. Proofs relying on diagrams can be rigorous if (a) it is easy to draw a diagram that shares or otherwise indicates the structure of the mathematical object, (b) the information thus displayed is not metrical and (c) it is possible to put the inferences into systematic mathematical relation with other mathematical inferential practices. Proofs that appeal to mental models can be rigorous if the mental models can be externalised as diagrammatic practice that satisfies these three conditions.Peer reviewe

Hierarchy measure for complex networks

Nature, technology and society are full of complexity arising from the intricate web of the interactions among the units of the related systems (e.g., proteins, computers, people). Consequently, one of the most successful recent approaches to capturing the fundamental features of the structure and dynamics of complex systems has been the investigation of the networks associated with the above units (nodes) together with their relations (edges). Most complex systems have an inherently hierarchical organization and, correspondingly, the networks behind them also exhibit hierarchical features. Indeed, several papers have been devoted to describing this essential aspect of networks, however, without resulting in a widely accepted, converging concept concerning the quantitative characterization of the level of their hierarchy. Here we develop an approach and propose a quantity (measure) which is simple enough to be widely applicable, reveals a number of universal features of the organization of real-world networks and, as we demonstrate, is capable of capturing the essential features of the structure and the degree of hierarchy in a complex network. The measure we introduce is based on a generalization of the m-reach centrality, which we first extend to directed/partially directed graphs. Then, we define the global reaching centrality (GRC), which is the difference between the maximum and the average value of the generalized reach centralities over the network. We investigate the behavior of the GRC considering both a synthetic model with an adjustable level of hierarchy and real networks. Results for real networks show that our hierarchy measure is related to the controllability of the given system. We also propose a visualization procedure for large complex networks that can be used to obtain an overall qualitative picture about the nature of their hierarchical structure.Comment: 29 pages, 9 figures, 4 table

Modulation of emotional appraisal by false physiological feedback during fMRI

BACKGROUND James and Lange proposed that emotions are the perception of physiological reactions. Two-level theories of emotion extend this model to suggest that cognitive interpretations of physiological changes shape self-reported emotions. Correspondingly false physiological feedback of evoked or tonic bodily responses can alter emotional attributions. Moreover, anxiety states are proposed to arise from detection of mismatch between actual and anticipated states of physiological arousal. However, the neural underpinnings of these phenomena previously have not been examined. METHODOLOGY/PRINCIPAL FINDINGS We undertook a functional brain imaging (fMRI) experiment to investigate how both primary and second-order levels of physiological (viscerosensory) representation impact on the processing of external emotional cues. 12 participants were scanned while judging face stimuli during both exercise and non-exercise conditions in the context of true and false auditory feedback of tonic heart rate. We observed that the perceived emotional intensity/salience of neutral faces was enhanced by false feedback of increased heart rate. Regional changes in neural activity corresponding to this behavioural interaction were observed within included right anterior insula, bilateral mid insula, and amygdala. In addition, right anterior insula activity was enhanced during by asynchronous relative to synchronous cardiac feedback even with no change in perceived or actual heart rate suggesting this region serves as a comparator to detect physiological mismatches. Finally, BOLD activity within right anterior insula and amygdala predicted the corresponding changes in perceived intensity ratings at both a group and an individual level. CONCLUSIONS/SIGNIFICANCE Our findings identify the neural substrates supporting behavioural effects of false physiological feedback, and highlight mechanisms that underlie subjective anxiety states, including the importance of the right anterior insula in guiding second-order "cognitive" representations of bodily arousal state

Aviation turbulence: dynamics, forecasting, and response to climate change

Atmospheric turbulence is a major hazard in the aviation industry and can cause injuries to passengers and crew. Understanding the physical and dynamical generation mechanisms of turbulence aids with the development of new forecasting algorithms and, therefore, reduces the impact that it has on the aviation industry. The scope of this paper is to review the dynamics of aviation turbulence, its response to climate change, and current forecasting methods at the cruising altitude of aircraft. Aviation-affecting turbulence comes from three main sources: vertical wind shear instabilities, convection, and mountain waves. Understanding these features helps researchers to develop better turbulence diagnostics. Recent research suggests that turbulence will increase in frequency and strength with climate change, and therefore, turbulence forecasting may become more important in the future. The current methods of forecasting are unable to predict every turbulence event, and research is ongoing to find the best solution to this problem by combining turbulence predictors and using ensemble forecasts to increase skill. The skill of operational turbulence forecasts has increased steadily over recent decades, mirroring improvements in our understanding. However, more work is needed—ideally in collaboration with the aviation industry—to improve observations and increase forecast skill, to help maintain and enhance aviation safety standards in the future

Modulation of emotional appraisal by false physiological feedback during fMRI

BACKGROUND James and Lange proposed that emotions are the perception of physiological reactions. Two-level theories of emotion extend this model to suggest that cognitive interpretations of physiological changes shape self-reported emotions. Correspondingly false physiological feedback of evoked or tonic bodily responses can alter emotional attributions. Moreover, anxiety states are proposed to arise from detection of mismatch between actual and anticipated states of physiological arousal. However, the neural underpinnings of these phenomena previously have not been examined. METHODOLOGY/PRINCIPAL FINDINGS We undertook a functional brain imaging (fMRI) experiment to investigate how both primary and second-order levels of physiological (viscerosensory) representation impact on the processing of external emotional cues. 12 participants were scanned while judging face stimuli during both exercise and non-exercise conditions in the context of true and false auditory feedback of tonic heart rate. We observed that the perceived emotional intensity/salience of neutral faces was enhanced by false feedback of increased heart rate. Regional changes in neural activity corresponding to this behavioural interaction were observed within included right anterior insula, bilateral mid insula, and amygdala. In addition, right anterior insula activity was enhanced during by asynchronous relative to synchronous cardiac feedback even with no change in perceived or actual heart rate suggesting this region serves as a comparator to detect physiological mismatches. Finally, BOLD activity within right anterior insula and amygdala predicted the corresponding changes in perceived intensity ratings at both a group and an individual level. CONCLUSIONS/SIGNIFICANCE Our findings identify the neural substrates supporting behavioural effects of false physiological feedback, and highlight mechanisms that underlie subjective anxiety states, including the importance of the right anterior insula in guiding second-order "cognitive" representations of bodily arousal state

Rudimentary G-Quadruplex-Based Telomere Capping In Saccharomyces Cerevisiae

Telomere capping conceals chromosome ends from exonucleases and checkpoints, but the full range of capping mechanisms is not well defined. Telomeres have the potential to form G-quadruplex (G4) DNA, although evidence for telomere G4 DNA function in vivo is limited. In budding yeast, capping requires the Cdc13 protein and is lost at nonpermissive temperatures in cdc13-1 mutants. Here, we use several independent G4 DNA-stabilizing treatments to suppress cdc13-1 capping defects. These include overexpression of three different G4 DNA binding proteins, loss of the G4 DNA unwinding helicase Sgs1, or treatment with small molecule G4 DNA ligands. In vitro, we show that protein-bound G4 DNA at a 3\u27 overhang inhibits 5\u27-\u3e 3\u27 resection of a paired strand by exonuclease I. These findings demonstrate that, at least in the absence of full natural capping, G4 DNA can play a positive role at telomeres in vivo

Multi-centre parallel arm randomised controlled trial to assess the effectiveness and cost-effectiveness of a group-based cognitive behavioural approach to managing fatigue in people with multiple sclerosis

Abstract (provisional) Background Fatigue is one of the most commonly reported and debilitating symptoms of multiple sclerosis (MS); approximately two-thirds of people with MS consider it to be one of their three most troubling symptoms. It may limit or prevent participation in everyday activities, work, leisure, and social pursuits, reduce psychological well-being and is one of the key precipitants of early retirement. Energy effectiveness approaches have been shown to be effective in reducing MS-fatigue, increasing self-efficacy and improving quality of life. Cognitive behavioural approaches have been found to be effective for managing fatigue in other conditions, such as chronic fatigue syndrome, and more recently, in MS. The aim of this pragmatic trial is to evaluate the clinical and cost-effectiveness of a recently developed group-based fatigue management intervention (that blends cognitive behavioural and energy effectiveness approaches) compared with current local practice. Methods This is a multi-centre parallel arm block-randomised controlled trial (RCT) of a six session group-based fatigue management intervention, delivered by health professionals, compared with current local practice. 180 consenting adults with a confirmed diagnosis of MS and significant fatigue levels, recruited via secondary/primary care or newsletters/websites, will be randomised to receive the fatigue management intervention or current local practice. An economic evaluation will be undertaken alongside the trial. Primary outcomes are fatigue severity, self-efficacy and disease-specific quality of life. Secondary outcomes include fatigue impact, general quality of life, mood, activity patterns, and cost-effectiveness. Outcomes in those receiving the fatigue management intervention will be measured 1 week prior to, and 1, 4, and 12 months after the intervention (and at equivalent times in those receiving current local practice). A qualitative component will examine what aspects of the fatigue management intervention participants found helpful/unhelpful and barriers to change. Discussion This trial is the fourth stage of a research programme that has followed the Medical Research Council guidance for developing and evaluating complex interventions. What makes the intervention unique is that it blends cognitive behavioural and energy effectiveness approaches. A potential strength of the intervention is that it could be integrated into existing service delivery models as it has been designed to be delivered by staff already working with people with MS. Service users will be involved throughout this research. Trial registration: Current Controlled Trials ISRCTN7651747