30472 research outputs found
Sort by
‘the melody that’s sweetly played in tune’ - the heritage ecologies of the Ardeer Peninsula, North Ayrshire, Scotland
Get PDFThis photo-essay explores the ways in which archaeology and photography work together and intervene in the world, to focus on landscapes that have been overlooked or actively ignored. It considers the site of a dynamite factory that was built by Alfred Nobel on the Ardeer Peninsula, Scotland, which has now been designated as brownfield. The prevailing narrative is of industrial progress followed by ruination; where institutional archives memorialise Alfred Nobel, the technology of dynamite manufacture, and the built environment whilst ignoring the lives of those that worked there. This narrative sits alongside the present landscape being viewed as derelict and in need of redevelopment; ignoring the fauna and flora that thrive there. We take an other-than-human approach and consider how multiple species and processes come together at Ardeer. A vibrant and lively landscape is brought to the fore in terms of an archaeology of factory workers and a heritage site as an ecology
Proving termination via measure transfer in equivalence checking
Get PDFProgram verification can benefit from proofs with varied induction schemas. A natural class of induction schemas, functional induction, consists of those derived from definitions of functions. For such inductive proofs to be sound, it is necessary to establish that the functions terminate, which is a challenging problem on its own. In this paper, we consider termination in the context of equivalence checking of a candidate program against a provably terminating reference program annotated with termination measures. Using equivalence checking, our approach automatically matches function calls in the reference and candidate programs and proves termination by transferring measures from a measure-annotated program to one without annotations. We evaluate this approach on existing and newly written termination benchmarks, as well as on exercises in programming courses. Our evaluation corpus comprises around 10K lines of code. We show empirically that the termination measures of reference programs often successfully prove the termination of equivalent candidate programs, ensuring the soundness of inductive reasoning in a fully automated manner
Report of the Special Rapporteur on the situation of human rights in the Islamic Republic of Iran, Mai Sato - Vision and priorities of the mandate
No full textThe present report is submitted to the General Assembly at its seventy-ninth session, pursuant to Human Rights Council resolution 55/19. It is the first report by the current Special Rapporteur on the situation of human rights in the Islamic
Republic of Iran, Mai Sato, who started her mandate on 1 August 2024. In the report, she outlines her vision, approaches and priorities for the mandate
Fashioning femininities, making masculinities: gender, performance, and lived experience in Java, Indonesia
No full textWhat can the lived experiences of performing artists in Java, Indonesia tell us about the production and negotiation of gender and local identity?
Drawing from ethnographic fieldwork conducted in Malang, East Java, author Christina Sunardi demonstrates ways individual performers have navigated cultural norms of masculinity and femininity to produce gender and place-based identity on- and offstage. Focusing on dancers who have participated in the performance of cross-gender dance, Fashioning Femininities, Making Masculinities provides insight into the lived experiences of men and waria performing female-style dance and women performing male-style dance.
Exploring onstage-offstage gender negotiations, gender fluidity, gender pluralism, and spirituality, this book is ideal reading for students of Gender and Sexuality Studies, Ethnomusicology, Dance Studies, Performance Studies, Southeast Asian Studies, and Cultural Anthropology
Cryo-EM structure of a conjugative type IV secretion system suggests a molecular switch regulating pilus biogenesis
Get PDFConjugative type IV secretion systems (T4SS) mediate bacterial conjugation, a process that enables the unidirectional exchange of genetic materials between a donor and a recipient bacterial cell. Bacterial conjugation is the primary means by which antibiotic resistance genes spread among bacterial populations (Barlow 2009; Virolle et al, 2020). Conjugative T4SSs form pili: long extracellular filaments that connect with recipient cells. Previously, we solved the cryo-electron microscopy (cryo-EM) structure of a conjugative T4SS. In this article, based on additional data, we present a more complete T4SS cryo-EM structure than that published earlier. Novel structural features include details of the mismatch symmetry within the OMCC, the presence of a fourth VirB8 subunit in the asymmetric unit of both the arches and the inner membrane complex (IMC), and a hydrophobic VirB5 tip in the distal end of the stalk. Additionally, we provide previously undescribed structural insights into the protein VirB10 and identify a novel regulation mechanism of T4SS-mediated pilus biogenesis by this protein, that we believe is a key checkpoint for this process
Three water companies face big fines for sewage spills - it won't do any good unless our whole approach to waste changes
No full textRegulator Ofwat has slapped big fines on water companies, including Thames Water, for sewage pollution offences, will they make a difference
The World at War at 50
No full text‘Genocide’, the Holocaust episode of The World at War, was pioneering when it first aired. Does it stand the test of time
'The Greeks and the Making of Modern Egypt', Alexander Kitroeff. (Cairo: AUC Press, 2019) and 'The Greek Exodus from Egypt: Diaspora Politics and Emigration, 1937-1962', Angelos Dalachanis (New York: Berghahn, 2017)
Get PDFAn anthropology of crosslocations
Get PDFAn Anthropology of Crosslocations introduces a new approach to understanding location. Geographical space is often perceived as divided by state borders, but it can also be classified and segmented based on, for example, ecosystems or religious structures and beliefs. The book shows how different locating logics coexist in a single place and how this influences people's lives. The authors are anthropologists who draw on ethnographic and historical research from locations across the Mediterranean region
Data sources:
Access Repository Dashboard
Do you manage Birkbeck Institutional Research Online? Access insider analytics, issue reports and manage access to outputs from your repository in the CORE Repository Dashboard!