This article presents the results of archaeological research of the post-Second World War mass grave site of Jama pod Macesnovo gorico in Slovenia. The surroundings of the killing site and the mass grave have been the subject of various investigations, including the exhumation of human remains in 2022. In addition to the human remains of approximately 3450 individuals, the results of metal detector surveys, and the excavation of the grave itself have yielded thousands of artefacts associated with the victims and perpetrators, shedding light on the events of the post-Second World War period and mass murder of opponents of the communist-oriented national liberation movement and new Yugoslavian regime. The study represents the results of the most extensive exhumation of war victims’ remains in Slovenia and demonstrates the significant role of archaeology in the reconstruction of historically poorly documented events in modern conflicts.

Milícias are mafia-style organizations, often composed of current and former state agents, that have rapidly expanded in areas with limited state presence and weak legal oversight. In Rio de Janeiro, their territorial control is not maintained by coercion alone, but also through strategic political alliances. This article theorizes and tests a mechanism linking milícia expansion to electoral politics: milícias deliver concentrated electoral support to specific politicians, who in return shield their operations by influencing bureaucratic appointments and law enforcement priorities. Using original geospatial and electoral data, we show that milícia entry into a new area increases electoral concentration and disproportionately benefits milícia-aligned candidates in adjacent territories. We further demonstrate that this electoral capital is converted into political power through key bureaucratic appointments that facilitate further expansion and institutional impunity. Our findings support a theoretical framework in which elections reinforce, rather than constrain, criminal governance in democratic settings.

The Tomb of the Scipios is a multigenerational patrician tomb outside Rome dating from the early third to mid-second century b.c.e. The tomb is perhaps most famous for its verse epitaphs, which have traditionally been identified as echoes of the lost elite family domestic archives that informed the first Roman histories. In dialogue with the recent turn towards considering the role of non-literary methods of recording the past in the development of Roman historical thought, this paper proposes a reinterpretation of these epitaphs within their archaeological context. Ultimately, this paper argues that the Tomb of the Scipios and its epitaphs should be understood not simply as lost echoes of other types of family history, but as a site where the family experienced history through an ongoing dialogue with the dead.

Blade ice accumulation is a serious problem that changes turbine aerodynamics and dynamics, leading to lower power output and higher structural loading. Different from the literature, this paper investigates the performance effectiveness of baseline wind turbine controllers: the generator torque and collective blade pitch controllers against rotor blade ice accumulation. The NREL 5-MW turbine is utilised, and simulations of baseline controllers are conducted with the MS (Mustafa Sahin) Bladed Model for clean and iced blade cases. The performance of the controllers is examined in below (Region 2) and above (Region 3) rated regions under 1 m/s step rising wind speeds. Results are presented through various parameters, including turbine controllers’ gain(s), blade pitch angle, rotor speed, power, etc. Rotor speed response is used to evaluate the controllers’ performance. Even slight blade ice accumulation is estimated to affect turbine efficiency and characteristics, decreasing ${C_{pmax}}$ by 13.27%, slightly varying optimum blade pitch angle and tip speed ratio, altering the control input gain by up to 14.68%. Blade ice accumulation is observed to adversely affect baseline controllers’ performance. In Region 2, the torque controller exhibits reduced transient and steady-state performance, with rotor speed reaching the steady-state approximately 2 s later and showing a steady-state error of 1.86%. In Region 3, the pitch controller’s transient performance deteriorates at low wind speeds, particularly near the rated wind speed, leading to an increased decay time of up to 5.2 s. However, beyond 16 m/s, pitch controller performance gradually recovers, becoming nearly identical to the clean blade case at 21 m/s, while the controller steady-state performance remains unaffected.

This article constructs an approach to analyzing longitudinal panel data which combines topological data analysis (TDA) and generative AI applied to graph neural networks (GNNs). TDA is deployed to identify and analyze unobserved topological heterogeneities of a dataset. TDA-extracted information is quantified into a set of measures, called functional principal components. These measures are used to analyze the data in four ways. First, the measures are construed as moderators of the data and their statistical effects are estimated through a Bayesian framework. Second, the measures are used as factors to classify the data into topological classes using generative AI applied to GNNs constructed by transforming the data into graphs. The classification uncovers patterns in the data which are otherwise not accessible through statistical approaches. Third, the measures are used as factors that condition the extraction of latent variables of the data through a deployment of a generative AI model. Fourth, the measures are used as labels for classifying the graphs into classes used to offer a GNN-based effective dimensionality reduction of the original data. The article uses a portion of the militarized international disputes (MIDs) dataset (from 1946 to 2010) as a running example to briefly illustrate its ideas and steps.

This article concerns the economy of one of the few fortified settlements of the Late Bronze Age–Early Iron Age on the northern coast of the Black Sea, the Uch-Bash settlement, and its satellite settlement, Sakharna Holovka, in the Inkerman Valley in south-western Crimea. Archaeological excavations from the 1950s onwards have yielded much information on the cultivation of plants from the settlement, including charred grains and their impressions on pottery, tools for harvesting and processing the crops, storage containers, and other objects. Data were also obtained on the crops that were grown in the Inkerman Valley. Together, this evidence shows that the production of cereals was a major aspect of its economy at the turn of the Bronze Age to the Iron Age.

Gödel’s completeness theorem for classical first-order logic is one of the most basic theorems of logic. Central to any foundational course in logic, it connects the notion of valid formula, i.e., a formula satisfied in all models, to the notion of provable formula.

We survey a few standard formulations and proofs of the completeness theorem before focusing on the formal description of a slight modification of Henkin’s proof within intuitionistic second-order arithmetic.

It is usual, in the context of the completeness of intuitionistic logic with respect to various semantics, such as Kripke or Beth semantics, to follow the Curry–Howard correspondence and to interpret the proofs of completeness as programs which turn proofs of validity for these semantics into proofs of derivability.

We apply this approach to Henkin’s proof to phrase it as a program which transforms any proof of validity with respect to Tarski semantics into a proof of derivability.

By doing so, we hope to shed some “effective” light on the relation between Tarski semantics and syntax: proofs of validity are syntactic objects with which we can compute.

The quality of research across psychology needs improvement. Ample evidence has indicated that publication bias, specifically making publication decisions based on a study’s results, has led to a distorted literature (e.g., high rates of false positives). Registered Reports, which can now be submitted to Development and Psychopathology, are a recent publication format designed to combat publication bias and problematic research practices. The format represents a shift from a system in which publication decisions are based on the nature of the findings, to one that is based on the quality of the study conceptualization and design. In this invited Views article, we introduce the Registered Reports format to Development and Psychopathology by arguing that they can and should be used in developmental psychopathology research. We first describe what Registered Reports are and why they are useful. We then review 10 commonly expressed concerns about publishing Registered Reports – including that they are not appropriate for studies using preexisting data, that they do not allow for exploratory analyses, and that they take too long to publish – explaining why these concerns are unwarranted. We hope that this article will allay concerns about publishing Registered Reports, and that readers will submit them to Development and Psychopathology.

Building on recent advancements in moral disengagement theory and shared reality theory, we propose that employees do not need to directly experience frequent customer mistreatment to trigger their moral disengagement. Specifically, when employees frequently share their mistreatment experiences with coworkers, even infrequent instances of customer mistreatment can evoke heightened levels of moral disengagement. Conversely, when social sharing occurs less frequently, infrequent instances of customer mistreatment are associated with lower levels of moral disengagement, while more frequent customer mistreatment is linked to higher levels of moral disengagement, which then positively relates to service sabotage, indicating a positive indirect effect of the frequency of customer mistreatment on service sabotage through moral disengagement. Results from two independent time-lagged studies involving samples of call center employees (Sample 1 of Study 1), casino cage cashiers (Sample 2 of Study 1), and service representatives (Study 2) recruited from an online research platform, lend support to our propositions.