A Deontic Logic Analysis of Autonomous Systems' Safety

We consider the pressing question of how to model, verify, and ensure that autonomous systems meet certain \textit{obligations} (like the obligation to respect traffic laws), and refrain from impermissible behavior (like recklessly changing lanes). Temporal logics are heavily used in autonomous system design; however, as we illustrate here, temporal (alethic) logics alone are inappropriate for reasoning about obligations of autonomous systems. This paper proposes the use of Dominance Act Utilitarianism (DAU), a deontic logic of agency, to encode and reason about obligations of autonomous systems. We use DAU to analyze Intel's Responsibility-Sensitive Safety (RSS) proposal as a real-world case study. We demonstrate that DAU can express well-posed RSS rules, formally derive undesirable consequences of these rules, illustrate how DAU could help design systems that have specific obligations, and how to model-check DAU obligations.Comment: 11 pages, 4 figures, In 23rd ACM International Conference on Hybrid Systems: Computation and Contro

ENIGMA and global neuroscience: A decade of large-scale studies of the brain in health and disease across more than 40 countries.

This review summarizes the last decade of work by the ENIGMA (Enhancing NeuroImaging Genetics through Meta Analysis) Consortium, a global alliance of over 1400 scientists across 43 countries, studying the human brain in health and disease. Building on large-scale genetic studies that discovered the first robustly replicated genetic loci associated with brain metrics, ENIGMA has diversified into over 50 working groups (WGs), pooling worldwide data and expertise to answer fundamental questions in neuroscience, psychiatry, neurology, and genetics. Most ENIGMA WGs focus on specific psychiatric and neurological conditions, other WGs study normal variation due to sex and gender differences, or development and aging; still other WGs develop methodological pipelines and tools to facilitate harmonized analyses of "big data" (i.e., genetic and epigenetic data, multimodal MRI, and electroencephalography data). These international efforts have yielded the largest neuroimaging studies to date in schizophrenia, bipolar disorder, major depressive disorder, post-traumatic stress disorder, substance use disorders, obsessive-compulsive disorder, attention-deficit/hyperactivity disorder, autism spectrum disorders, epilepsy, and 22q11.2 deletion syndrome. More recent ENIGMA WGs have formed to study anxiety disorders, suicidal thoughts and behavior, sleep and insomnia, eating disorders, irritability, brain injury, antisocial personality and conduct disorder, and dissociative identity disorder. Here, we summarize the first decade of ENIGMA's activities and ongoing projects, and describe the successes and challenges encountered along the way. We highlight the advantages of collaborative large-scale coordinated data analyses for testing reproducibility and robustness of findings, offering the opportunity to identify brain systems involved in clinical syndromes across diverse samples and associated genetic, environmental, demographic, cognitive, and psychosocial factors

Genetic association study of QT interval highlights role for calcium signaling pathways in myocardial repolarization.

The QT interval, an electrocardiographic measure reflecting myocardial repolarization, is a heritable trait. QT prolongation is a risk factor for ventricular arrhythmias and sudden cardiac death (SCD) and could indicate the presence of the potentially lethal mendelian long-QT syndrome (LQTS). Using a genome-wide association and replication study in up to 100,000 individuals, we identified 35 common variant loci associated with QT interval that collectively explain ∼8-10% of QT-interval variation and highlight the importance of calcium regulation in myocardial repolarization. Rare variant analysis of 6 new QT interval-associated loci in 298 unrelated probands with LQTS identified coding variants not found in controls but of uncertain causality and therefore requiring validation. Several newly identified loci encode proteins that physically interact with other recognized repolarization proteins. Our integration of common variant association, expression and orthogonal protein-protein interaction screens provides new insights into cardiac electrophysiology and identifies new candidate genes for ventricular arrhythmias, LQTS and SCD

IL-17A/F-Signaling Does Not Contribute to the Initial Phase of Mucosal Inflammation Triggered by S. Typhimurium

Salmonella enterica subspecies 1 serovar Typhimurium (S. Typhimurium) causes diarrhea and acute inflammation of the intestinal mucosa. The pro-inflammatory cytokines IL-17A and IL-17F are strongly induced in the infected mucosa but their contribution in driving the tissue inflammation is not understood. We have used the streptomycin mouse model to analyze the role of IL-17A and IL-17F and their cognate receptor IL-17RA in S. Typhimurium enterocolitis. Neutralization of IL-17A and IL-17F did not affect mucosal inflammation triggered by infection or spread of S. Typhimurium to systemic sites by 48 h p.i. Similarly, Il17ra−/− mice did not display any reduction in infection or inflammation by 12 h p.i. The same results were obtained using S. Typhimurium variants infecting via the TTSS1 type III secretion system, the TTSS1 effector SipA or the TTSS1 effector SopE. Moreover, the expression pattern of 45 genes encoding chemokines/cytokines (including CXCL1, CXCL2, IL-17A, IL-17F, IL-1α, IL-1β, IFNγ, CXCL-10, CXCL-9, IL-6, CCL3, CCL4) and antibacterial molecules was not affected by Il17ra deficiency by 12 h p.i. Thus, in spite of the strong increase in Il17a/Il17f mRNA in the infected mucosa, IL-17RA signaling seems to be dispensable for eliciting the acute disease. Future work will have to address whether this is attributable to redundancy in the cytokine signaling network

Application of site and haplotype-frequency based approaches for detecting selection signatures in cattle

<p>Abstract</p> <p>Background</p> <p>'Selection signatures' delimit regions of the genome that are, or have been, functionally important and have therefore been under either natural or artificial selection. In this study, two different and complementary methods--integrated Haplotype Homozygosity Score (|iHS|) and population differentiation index (F_ST)--were applied to identify traces of decades of intensive artificial selection for traits of economic importance in modern cattle.</p> <p>Results</p> <p>We scanned the genome of a diverse set of dairy and beef breeds from Germany, Canada and Australia genotyped with a 50 K SNP panel. Across breeds, a total of 109 extreme |iHS| values exceeded the empirical threshold level of 5% with 19, 27, 9, 10 and 17 outliers in Holstein, Brown Swiss, Australian Angus, Hereford and Simmental, respectively. Annotating the regions harboring clustered |iHS| signals revealed a panel of interesting candidate genes like SPATA17, MGAT1, PGRMC2 and ACTC1, COL23A1, MATN2, respectively, in the context of reproduction and muscle formation. In a further step, a new Bayesian F_ST-based approach was applied with a set of geographically separated populations including Holstein, Brown Swiss, Simmental, North American Angus and Piedmontese for detecting differentiated loci. In total, 127 regions exceeding the 2.5 per cent threshold of the empirical posterior distribution were identified as extremely differentiated. In a substantial number (56 out of 127 cases) the extreme F_STvalues were found to be positioned in poor gene content regions which deviated significantly (p < 0.05) from the expectation assuming a random distribution. However, significant F_STvalues were found in regions of some relevant genes such as SMCP and FGF1.</p> <p>Conclusions</p> <p>Overall, 236 regions putatively subject to recent positive selection in the cattle genome were detected. Both |iHS| and F_STsuggested selection in the vicinity of the Sialic acid binding Ig-like lectin 5 gene on BTA18. This region was recently reported to be a major QTL with strong effects on productive life and fertility traits in Holstein cattle. We conclude that high-resolution genome scans of selection signatures can be used to identify genomic regions contributing to within- and inter-breed phenotypic variation.</p

An improved assembly and annotation of the allohexaploid wheat genome identifies complete families of agronomic genes and provides genomic evidence for chromosomal translocations

Advances in genome sequencing and assembly technologies are generating many high-quality genome sequences, but assemblies of large, repeat-rich polyploid genomes, such as that of bread wheat, remain fragmented and incomplete. We have generated a new wheat whole-genome shotgun sequence assembly using a combination of optimized data types and an assembly algorithm designed to deal with large and complex genomes. The new assembly represents >78% of the genome with a scaffold N50 of 88.8 kb that has a high fidelity to the input data. Our new annotation combines strand-specific Illumina RNA-seq and Pacific Biosciences (PacBio) full-length cDNAs to identify 104,091 high-confidence protein-coding genes and 10,156 noncoding RNA genes. We confirmed three known and identified one novel genome rearrangements. Our approach enables the rapid and scalable assembly of wheat genomes, the identification of structural variants, and the definition of complete gene models, all powerful resources for trait analysis and breeding of this key global crop

Positional identification of variants of Adamts16 linked to inherited hypertension

A previously reported blood pressure (BP) quantitative trait locus on rat Chromosome 1 was isolated in a short congenic segment spanning 804.6 kb. The 804.6 kb region contained only two genes, LOC306664 and LOC306665. LOC306664 is predicted to translate into A Disintegrin-like and Metalloproteinase with Thrombospondin Motifs-16 (Adamts16). LOC306665 is a novel gene. All predicted exons of both LOC306664 and LOC306665 were sequenced. Non-synonymous variants were identified in only one of these genes, LOC306664. These variants were naturally existing polymorphisms among inbred, outbred and wild rats. The full-length rat transcript of Adamts16 was detected in multiple tissues. Similar to ADAMTS16 in humans, expression of Adamts16 was prominent in the kidney. Renal transcriptome analysis suggested that a network of genes related to BP was differential between congenic and S rats. These genes were also differentially expressed between kidney cell lines with or without knock-down of Adamts16. Adamts16 is conserved between rats and humans. It is a candidate gene within the homologous region on human Chromosome 5, which is linked to systolic and diastolic BP in the Quebec Family Study. Multiple variants, including an Ala to Pro variant in codon 90 (rs2086310) of human ADAMTS16, were associated with human resting systolic BP (SBP). Replication study in GenNet confirmed the association of two variants of ADAMTS16 with SBP, including rs2086310. Overall, our report represents a high resolution positional cloning and translational study for Adamts16 as a candidate gene controlling BP

Copy Number Variation in Patients with Disorders of Sex Development Due to 46,XY Gonadal Dysgenesis

Disorders of sex development (DSD), ranging in severity from mild genital abnormalities to complete sex reversal, represent a major concern for patients and their families. DSD are often due to disruption of the genetic programs that regulate gonad development. Although some genes have been identified in these developmental pathways, the causative mutations have not been identified in more than 50% 46,XY DSD cases. We used the Affymetrix Genome-Wide Human SNP Array 6.0 to analyse copy number variation in 23 individuals with unexplained 46,XY DSD due to gonadal dysgenesis (GD). Here we describe three discrete changes in copy number that are the likely cause of the GD. Firstly, we identified a large duplication on the X chromosome that included DAX1 (NR0B1). Secondly, we identified a rearrangement that appears to affect a novel gonad-specific regulatory region in a known testis gene, SOX9. Surprisingly this patient lacked any signs of campomelic dysplasia, suggesting that the deletion affected expression of SOX9 only in the gonad. Functional analysis of potential SRY binding sites within this deleted region identified five putative enhancers, suggesting that sequences additional to the known SRY-binding TES enhancer influence human testis-specific SOX9 expression. Thirdly, we identified a small deletion immediately downstream of GATA4, supporting a role for GATA4 in gonad development in humans. These CNV analyses give new insights into the pathways involved in human gonad development and dysfunction, and suggest that rearrangements of non-coding sequences disturbing gene regulation may account for significant proportion of DSD cases