8,992 research outputs found

    Converging organoids and extracellular matrix::New insights into liver cancer biology

    Get PDF

    The genome sequence of the white-shouldered marble, Apotomis turbidana (Hübner, 1825)

    Get PDF
    We present a genome assembly from an individual male Apotomis turbidana (the White-shouldered Marble; Arthropoda; Insecta; Lepidoptera; Tortricidae). The genome sequence is 720.5 megabases in span. Most of the assembly is scaffolded into 28 chromosomal pseudomolecules, including the assembled Z sex chromosome. The mitochondrial genome has also been assembled and is 16.8 kilobases in length. Gene annotation of this assembly on Ensembl identified 22,646 protein coding genes

    Towards A Practical High-Assurance Systems Programming Language

    Full text link
    Writing correct and performant low-level systems code is a notoriously demanding job, even for experienced developers. To make the matter worse, formally reasoning about their correctness properties introduces yet another level of complexity to the task. It requires considerable expertise in both systems programming and formal verification. The development can be extremely costly due to the sheer complexity of the systems and the nuances in them, if not assisted with appropriate tools that provide abstraction and automation. Cogent is designed to alleviate the burden on developers when writing and verifying systems code. It is a high-level functional language with a certifying compiler, which automatically proves the correctness of the compiled code and also provides a purely functional abstraction of the low-level program to the developer. Equational reasoning techniques can then be used to prove functional correctness properties of the program on top of this abstract semantics, which is notably less laborious than directly verifying the C code. To make Cogent a more approachable and effective tool for developing real-world systems, we further strengthen the framework by extending the core language and its ecosystem. Specifically, we enrich the language to allow users to control the memory representation of algebraic data types, while retaining the automatic proof with a data layout refinement calculus. We repurpose existing tools in a novel way and develop an intuitive foreign function interface, which provides users a seamless experience when using Cogent in conjunction with native C. We augment the Cogent ecosystem with a property-based testing framework, which helps developers better understand the impact formal verification has on their programs and enables a progressive approach to producing high-assurance systems. Finally we explore refinement type systems, which we plan to incorporate into Cogent for more expressiveness and better integration of systems programmers with the verification process

    The genome sequence of the grey ermine, Yponomeuta sedella (Treitschke, 1832)

    Get PDF
    We present a genome assembly from an individual male Yponomeuta sedella (the Grey Ermine; Arthropoda; Insecta; Lepidoptera; Yponomeutidae). The genome sequence is 658 megabases in span. Most of the assembly is scaffolded into 31 chromosomal pseudomolecules, including the assembled Z sex chromosome. The mitochondrial genome has also been assembled and is 16.4 kilobases in length. Gene annotation of this assembly on Ensembl has identified 13,010 protein coding genes

    Identity, Belonging and Representation Post-Brexit among British Citizens in the EU/EEA and Switzerland : Survey Report

    Get PDF
    This report presents data and key findings from a survey of (former) British citizens resident in the EU/EEA/Switzerland. The survey was conducted between October and November 2022 and is part of a wider longitudinal study exploring Scottish migration to continental Europe in historical perspective; the study is funded by the Royal Society of Edinburgh. The survey contained a mix of ‘tick box’ and free comment questions around five clusters of questions covering: (1) status; (2) identity; (3) belonging; (4) representation & community; and (5) standard demographic questions

    The ethics and politics of deportation in Europe

    Get PDF
    Defence date: 19 February 2019Examining Board: Professor Rainer Bauböck, European University Institute (Supervisor); Professor Matthew Gibney, University of Oxford; Professor Iseult Honohan, University College Dublin; Professor Jennifer Welsh, McGill University (formerly European University Institute)This thesis explores key empirical and normative questions prompted by deportation policies and practices in the contemporary European context. The core empirical research question the thesis seeks to address is: what explains the shape of deportation regimes in European liberal democracies? The core normative research question is: how should we evaluate these deportation regimes morally? The two parts of the thesis address each of these questions in turn. To explain contemporary European deportation regimes, the four chapters of the first part of the thesis investigate them from a historical and multilevel perspective. (“Expulsion Old and New”) starts by comparing contemporary deportation practices to earlier forms of forced removal such as criminal banishment, political exile, poor law expulsion, and collective expulsions on a religious or ethnic basis, highlighting how contemporary deportation echoes some of the purposes of these earlier forms of expulsion. (“Divergences in Deportation”) looks at some major differences between European countries in how, and how much, deportation is used as a policy instrument today, concluding that they can be roughly grouped into four regime types, namely lenient, selective, symbolically strict and coercively strict. The next two chapters investigate how non-national levels of government are involved in shaping deportation in the European context. (“Europeanising Expulsion”) traces how the institutions of the European Union have come to both restrain and facilitate or incentivise member states’ deportation practices in fundamental ways. (“Localities of Belonging”) describes how provincial and municipal governments are increasingly assertive in frustrating deportations, effectively shielding individuals or entire categories of people from the reach of national deportation efforts, while in other cases local governments pressure the national level into instigating deportation proceedings against unwanted residents. The chapters argue that such efforts on both the supranational and local levels must be explained with reference to supranational and local conceptions of membership that are part of a multilevel citizenship structure yet can, and often do, come apart from the national conception of belonging. The second part of the thesis addresses the second research question by discussing the normative issues deportation gives rise to. (“Deportability, Domicile and the Human Right to Stay”) argues that a moral and legal status of non-deportability should be extended beyond citizenship to all those who have established effective domicile, or long-term and permanent residence, in the national territory. (“Deportation without Domination?”) argues that deportation can and should be applied in a way that does not dominate those it subjects by ensuring its non-arbitrary application through a limiting of executive discretion and by establishing proportionality testing in deportation procedures. (“Resisting Unjust Deportation”) investigates what can and should be done in the face of unjust national deportation regimes, proposing that a normative framework for morally justified antideportation resistance must start by differentiating between the various individual and institutional agents of resistance before specifying how their right or duty to resist a particular deportation depends on motivational, epistemic and relational conditions

    Designs of Blackness

    Get PDF
    Across more than two centuries Afro-America has created a huge and dazzling variety of literary self-expression. Designs of Blackness provides less a narrative literary history than, precisely, a series of mappings—each literary-critical and comparative while at the same time offering cultural and historical context. This carefully re-edited version of the 1998 publication opens with an estimation of earliest African American voice in the names of Phillis Wheatley and her contemporaries. It then takes up the huge span of autobiography from Frederick Douglass through to Maya Angelou. "Harlem on My Mind," which follows, sets out the literary contours of America’s premier black city. Womanism, Alice Walker’s presiding term, is given full due in an analysis of fiction from Harriet E. Wilson to Toni Morrison. Richard Wright is approached not as some regulation "realist" but as a more inward, at times near-surreal, author. Decadology has its risks but the 1940s has rarely been approached as a unique era of war and peace and especially in African American texts. Beat Generation work usually adheres to Ginsberg and Kerouac, but black Beat writing invites its own chapter in the names of Amiri Baraka, Ted Joans and Bob Kaufman. The 1960s has long become a mythic change-decade, and in few greater respects than as a black theatre both of the stage and politics. In Leon Forrest African America had a figure of the postmodern turn: his work is explored in its own right and for how it takes its place in the context of other reflexive black fiction. "African American Fictions of Passing" unpacks the whole deceptive trope of "race" in writing from Williams Wells Brown through to Charles Johnson. The two newly added chapters pursue African American literary achievement into the Obama-Trump century, fiction from Octavia Butler to Darryl Pinkney, poetry from Rita Dove to Kevin Young

    Jews in East Norse Literature

    Get PDF
    This book explores the portrayal of Jews and Judaism in medieval Danish and Swedish literary and visual culture. Drawing on over 100 manuscripts and incunabula as well as runic inscriptions and religious art, the author describes the various, often contradictory, images ranging from antisemitism and anti-Judaism to the elevation of Jews as morally exemplary figures. It includes new editions of 54 East Norse texts with English translations
    corecore