Helicopter-based shooting using either a .308 semi-automatic rifle or a semi-automatic 12-gauge shotgun is widely used to manage non-native ungulate populations in Australasia, but the animal welfare outcomes of these two firearms have not been robustly compared. We conducted a randomised field study to compare the animal welfare outcomes of helicopter-based shooting of fallow deer (Dama dama) using a shotgun with three types of lead-based shot (Winchester® 00 Buck, 1 Buck or 4 Buck) relative to a .308 rifle with 135-grain lead-based bullets in New South Wales, Australia, in 2023. All deer that were shot at (n = 390) were killed. Time-to-event curves for times from pursuit to first shot, first shot to insensibility, and the sum of these two metrics (‘total time’), were similar among the four ammunition types. The mean number of shots fired per deer was similar across all four ammunition types, but the mean number of wound tracts per deer increased across the four ammunition types with the number of projectiles per cartridge. All deer subjected to post mortem examination had $ \ge $ 1 wound tract or projectile in the thorax. Our study indicates that using a .308 semi-automatic rifle or a 12-gauge semi-automatic shotgun for helicopter-based shooting of non-native deer, when the latter is used at ranges ≤ 30 m, provides similar animal welfare outcomes.

ANTHEM 2.0 is a tool to aid in the verification of logic programs written in an expressive fragment of CLINGO ’s input language named MINI-GRINGO, which includes arithmetic operations and simple choice rules but not aggregates. It can translate logic programs into formula representations in the logic of here-and-there and analyze properties of logic programs such as tightness. Most importantly, ANTHEM 2.0 can support program verification by invoking first-order theorem provers to confirm that a program adheres to a first-order specification or to establish strong and external equivalence of programs. This paper serves as an overview of the system’s capabilities. We demonstrate how to use ANTHEM 2.0 effectively and interpret its results.

Quantitative results from regional climate models (RCMs) run over ice sheets are frequently used to make projections of surface melt, ice-shelf stability, and subsequently sea-level rise. However, modelled relevant mass fluxes need to be evaluated first before using future output data for projections. This study makes the case for a two-step framework when evaluating RCMs. Firstly, the reliability of the RCM when forced with reanalysis data must be assessed through comparison with historical observations. Secondly, the accuracy of using a non-observationally constrained Earth System Model as forcing must be assessed through comparison with the reanalysis forced run during the same historical period. Simulating surface melt in Antarctica with the RCM RACMO2.3p2 is given as an example. Applying this two-step procedure we show that RACMO2.3p2 respectively forced with ERA5 and CESM2 is robust for modelling contemporary and future surface melt in Antarctica. Building on this conclusion, we briefly discuss an application, i.e. three future SSP realizations of melt-over-accumulation across the Antarctic ice sheet until 2100 are presented, providing insights into the future sensitivity to meltwater ponding of major Antarctic ice shelves.

It remains a little-known fact that from March 1766 to May 1767 Jean-Jacques Rousseau – fleeing from persecution in France and Switzerland – stayed in the remote hamlet of Wootton in Staffordshire. There he composed the first half of his Confessions in a garden hermitage, a structure half natural and half architectural, ever since known as Rousseau’s Cave. Our paper records the hermitage in its current state (exposed to the elements); it creates a digital reconstruction of the hermitage as it was in Rousseau’s lifetime; and it provides digital access to a monument that is otherwise not generally accessible.

Our paper records a modest but fairly typical eighteenth-century garden hermitage and also, with the highest quality digital reconstructions and fly-throughs, provides a new insight into the creation of one of the world’s greatest works of literature.

The paper contributes substantial new material to the study of Jean-Jacques Rousseau and also contributes to garden history and the phenomenon of the garden hermitage.

Normal matrices, or matrices which commute with their adjoints, are of fundamental importance in pure and applied mathematics. In this paper, we study a natural functional on the space of square complex matrices whose global minimizers are normal matrices. We show that this functional, which we refer to as the non-normal energy, has incredibly well-behaved gradient descent dynamics: despite it being nonconvex, we show that the only critical points of the non-normal energy are the normal matrices, and that its gradient descent trajectories fix matrix spectra and preserve the subset of real matrices. We also show that, even when restricted to the subset of unit Frobenius norm matrices, the gradient flow of the non-normal energy retains many of these useful properties. This is applied to prove that low-dimensional homotopy groups of spaces of unit norm normal matrices vanish; for example, we show that the space of $d \times d$ complex unit norm normal matrices is simply connected for all $d \geq 2$. Finally, we consider the related problem of balancing a weighted directed graph – that is, readjusting its edge weights so that the weighted in-degree and out-degree are the same at each node. We adapt the non-normal energy to define another natural functional whose global minima are balanced graphs and show that gradient descent of this functional always converges to a balanced graph, while preserving graph spectra and realness of the weights. Our results were inspired by concepts from symplectic geometry and Geometric Invariant Theory, but we mostly avoid invoking this machinery and our proofs are generally self-contained.

Does the process of writing a constitution have any impact on its durability? Using a cross-national analysis of 209 constitutions adopted since 1974, this study shows that the broader inclusion of different societal and political groups in constitution-making processes, rather than mere public participation, positively correlates with constitutional durability. Following self-enforcement theories, this study argues that to be self-enforcing and enduring, a constitution should be viewed as “fair” by every group in society to create a supporting constituency. This study suggests that an inclusive process can result in a “fair” constitution, which is deemed beneficial to every group in society and garners their willingness to defend and support the terms of the constitution. Confirming this argument, our statistical analysis shows that inclusive constitutions have 54 percent lower risk of replacement than noninclusive constitutions.

This study examines Swahili-language Islamic marital booklets (vijitabu) written between 1932 and 2020, focusing on their gendered chronotopes and nostalgic elements. These booklets, written by and for Muslim men, offer advice on marriage, sexuality, and related topics, reflecting societal changes and the influence of reformist Islam in East Africa. The analysis identifies four prominent chronotopic formulations: the contemporary East African context, the time and place of the Prophet Muhammad, the pre-Islamic world (jahiliya), and the modern West. A potential fifth chronotope, the afterlife (akhera), is contingent on adherence to the first four. The booklets valorize the Prophet Muhammad’s era while criticizing other temporal and spatial contexts, advocating for a return to early Islamic gender norms and marital practices to achieve happiness in the afterlife. This study highlights the booklets’ role in shaping gender norms and religiopolitical ideologies, revealing the interplay between nostalgia, religious authority, and sociopolitical context in East African Muslim communities.

Although German, as a grammatical gender language, requires noun–pronoun agreement in anaphora, exceptions to the rule occur, e.g., in possessive constructions when the gender-incongruent possessive pronoun sein (masculine/neuter, his/its) refers to feminine antecedents instead of congruent ihr (feminine, her). While this violation is merely grammatical for inanimate referents, it can provoke semantic mismatches for human possessors (especially gender-specific female nouns like die Hexei – seini (the witch – his/its), but less so with gender-indifferent human nouns, such as die Kontaktperson (the contact person). A self-paced reading (SPR) experiment tested the acceptability and processing of sentences in which incongruent sein referred to feminine possessors, which differed in animacy status (inanimate versus human). Introducing this agreement violation reduced acceptability and elevated reading and reaction times (RTs), but effects varied by antecedent animacy. These results suggest an animacy restriction in possessive reference and substantiate the impact of meaning-based gender cues on pronominalization.