This article constructs the moduli stack of torsion-free $G$-jet-structures in homotopy type theory with one monadic modality. This yields a construction of this moduli stack for any $\infty$-topos equipped with any stable factorization systems.

In the intended applications of this theory, the factorization systems are given by the deRham-Stack construction. Homotopy type theory allows a formulation of this abstract theory with surprisingly low complexity. This is witnessed by the accompanying formalization of large parts of this work.

This article examines how Indigenous Peoples who depend on World Heritage sites for their culture and livelihood can appeal to the Committee when State Parties fail to comply with their obligations. While scholars criticize the World Heritage Convention for the lack of participation of Indigenous Peoples, particularly in the inscription and management processes, the framework of the Convention also allows representation and visibility. Indeed, compliance mechanisms offer opportunities for Indigenous advocates to negotiate Land sovereignty and environmental protection. TWAIL, which places the worldview of Indigenous Peoples at the center of legal practice, is crucial to understanding the interactions between Indigenous Peoples and the 1972 UNESCO Convention. TWAILers highlight how international law historically denies sovereignty rights to Indigenous Peoples. Article 6(1) echoes this absence of sovereignty. This article examines three cases in which Indigenous advocates petition to protect Native Lands against environmental degradations and colonization: Kakadu, Wood Buffalo, and Uluru. Ultimately, the challenges of Indigenous activists in their quest to preserve nature and culture reveal that the absence of sovereignty prerogatives remains a substantial issue. While the Convention provides a venue for advocacy and international awareness, Indigenous Peoples still must negotiate Land autonomy and cultural sovereignty with the State.

This paper reflects on representations of the convergence of Islam and feminism in light of the recent uprising of Iranian women. Most of the existing literature discussing Muslim women’s rights are locked in a dichotomy of approaches, one being prejudicial and the other apologetic. The prejudicial approach is a (neo-)Orientalist one. It understands Muslim societies as backward and their redemption in abandoning Islam and following the lead of the “West.” The apologetic approach is a multiculturalist one, advocating most prominently by academic feminists based in Europe and United States. In trying to reclaim agency for Muslim women, this approach denies real oppressions happening in Muslim societies, and as a result of Islamic practices. Inspired by Iranian women’s fight for freedom, this paper challenges the aforementioned dichotomy, and instead calls for a third approach that begins with, and responds to, the lived experiences of women living in Muslim societies.

A case of hermaphrodism in a wild Pacific bluefin tuna Thunnus orientalis from the Sea of Japan is reported. Morphologically and macroscopically, the gonad seemed to have both ovarian and testicular surfaces. Histological analysis showed that the gonad consisted of only sexually mature testis in all the sections examined, suggesting that the individual was male. Genetic analysis, however, indicated that the tissue samples from this individual had no male-specific genome region, resulting in it being inferred as a female. The observed inconsistency between genetic and histological analysis could help future understanding of the sex development of tunas.

The ambition of this article is to provide a phonological account of an intricate pattern of lenition and gemination in Campidanese Sardinian. The data show two things: that a model of phonology needs some way of showing strength and weakness as positional effects and that neither can be reliably understood in phonetic terms. In this analysis, the discovery procedure does not depend on raw phonetic facts, but rather on a rich model of abstract phonological representations. These representations are of two kinds, melodic and prosodic, and they allow for a substance-free phonological analysis of lenition and fortition in Campidanese that is not confronted by the difficulties inherent in surface-oriented approaches.

Despite the ubiquity of guided self-help (GSH) interventions in Primary Care psychological services, there have been no previous studies of the relationship between the competence of qualified practitioners and treatment outcomes. This study compared competence-outcome associations in two types of GSH. Competence and clinical outcome measures were drawn from a clinical trial comparing the efficacy of two types of GSH for anxiety disorders, based on cognitive behaviour therapy (CBT-GSH) or cognitive analytic therapy (CAT-GSH). These interventions were delivered over the telephone by qualified and supervised practitioners. Audio-recordings of GSH sessions (n=94) were rated using a validated competence measure. Clinical outcomes were anxiety, depression and functioning. Secondary outcomes were attendance and need for further intervention after GSH. Competence ratings were highly reliable. No significant associations were found between competence and clinical outcomes, treatment engagement or need for further intervention. In this clinical trial, GSH competence ratings were not associated with clinical outcomes. Directions for future competence-outcome research are provided for GSH interventions.

Key learning aims

1. (1) Become familiar with the current empirical literature on therapist competence and associations with clinical outcome.

2. (2) Raise awareness of a recently developed alternative form of guided self-help based on the theory and principles of cognitive analytic therapy.

3. (3) Enhance understanding of the relationship between practitioner competence and clinical outcome in guided self-help for anxiety disorders.

Uterus transplants (UTx) provide women without a uterus the possibility of experiencing gestational motherhood. This paper delineates the complex bioethical landscape surrounding UTx, focusing on the critical aspects of informed consent, risk–benefit analysis, justice considerations, and the distinct challenges encountered by both donors and recipients. While not discussing UTx directly, John Harris’ seminal work, The Value of Life: An Introduction to Medical Ethics (1985) in its advocacy for reproductive freedom and informed consent provides an informative starting point for the discussion.

As an example, UTx is analyzed within the socio-political context of Mexico. The impact of the Mexican healthcare and legal systems on UTx procedures is discussed and the regulatory measures necessary to ensure that UTx is conducted ethically and equitably are outlined.

Psychotic disorders have sex-specific differences in their onset, symptoms and course. The early intervention in psychosis model represented the first step toward personalised psychosis care, recognising stage-specific care needs. Incorporating knowledge about sex-specific differences in care programmes should be the next evolution of personalised psychosis care.

In this paper, we propose a performative account of hinge epistemology to make the case for a feminist hinge epistemology. We characterize it as follows: 1) there are hinges that enable and govern our ordinary epistemic practices, functioning as rules; 2) these hinges are enacted and actualized in the specific actions of agents that participate in such practices; 3) this makes room for the transformation and emergence of hinges; 4) against this background, we argue in favor of the possibility of feminist hinges. This novel account opens the way for hinge epistemology to be useful for feminist goals in epistemology, which we believe is the ultimate criterion for hinge epistemology to be legitimately feminist.

The grasslands of Central Anatolia in Türkiye, including the steppes and forest-steppes, are often mischaracterized as degraded ecosystems due to long-standing human activities, particularly agriculture and domestic grazing. However, palaeoecological evidence and recent research suggest that these grasslands are ancient, biodiversity-rich systems that have persisted through various climatic changes and disturbance regimes. This manuscript challenges the conventional view that Central Anatolian grasslands are secondary and degraded, arguing instead that they represent old-growth ecosystems that coexisted with forests as alternative biome states throughout history. We emphasize the need to re-evaluate current land management practices, particularly afforestation efforts, which may undermine the resilience of these ecosystems to climate change. By recognizing the ecological value of these old-growth grasslands and adopting a comprehensive conservation strategy, the conservation and restoration of these vital ecosystems can be improved, ensuring their resilience and biodiversity in the face of future environmental challenges.

Precise pose estimation is crucial to various robots. In this paper, we present a localization method using correlative scan matching (CSM) technique for indoor mobile robots equipped with 2D-LiDAR to provide precise and fast pose estimation based on the common occupancy map. A pose tracking module and a global localization module are included in our method. On the one hand, the pose tracking module corrects accumulated odometry errors by CSM in the classical Bayesian filtering framework. A low-pass filter associating the predictive pose from odometer with the corrected pose by CSM is applied to improve precision and smoothness of the pose tracking module. On the other hand, our localization method can autonomously detect localization failures with several designed trigger criteria. Once a localization failure occurs, the global localization module can recover correct robot pose quickly by leveraging branch-and-bound method that can minimize the volume of CSM-evaluated candidates. Our localization method has been validated extensively in simulated, public dataset-based, and real environments. The experimental results reveal that the proposed method achieves high-precision, real-time pose estimation, and quick pose retrieve and outperforms other compared methods.

This study investigates how second language (L2) learners engage in prediction based on their processing goals. While prediction is a prominent feature of human sentence comprehension in first–language speakers, it remains less understood when and how L2 learners engage in predictive processing. By conducting a visual–world eye–tracking experiment involving Chinese–speaking L2 learners of Korean, we tested the hypothesis that L2 learners determine whether to engage in prediction by evaluating the costs and benefits of anticipatory processing. The experiment specifically focused on the impact of a top–down comprehension goal for L2 learners’ predictive use of an honorific form in Korean by providing them with different types of task instruction. Our results indicated that all groups engaged in predictive processing in early and entire predictive regions. However, in the late predictive region, L2 learners presented with a prediction–oriented task, but not those with a simple comprehension task, actively generated expectations about the honorific status of an upcoming referent. These findings lend support to the utility account of L2 prediction, suggesting that L2 learners’ engagement in prediction depends on their current goals and strategies for processing efficiency.

An understanding of the growth and demise of ice sheets over North America is essential to inform future climate models. One poorly studied subject is the glacial dynamics during interstadial Marine Isotope Stage (MIS) 3 (57–29 ka). To better constrain the southern margin of the Laurentide Ice Sheet during this time period, we re-examined a stratigraphic sequence in southeast Manitoba, Canada, and provide robust evidence for advance and retreat of ice. Around 46.6 ± 5.1 ka (1σ error), fluvial sands were deposited under similar precipitation and significantly cooler summer temperatures than present-day. Ice then advanced south over the area, before retreating once again and a return to boreal forest and grassland conditions. The area was then covered by proglacial Lake Vita, dammed by ice to the north. Geochronology constraints indicate Lake Vita existed from ca. 44.3 ± 3.6 to 30.4 ± 2.3 ka (1σ error), although gaps in the optical and finite radiocarbon ages suggest either a lack of data or plausible temporary ice-margin advances during this time period. Ice covering most of Manitoba during MIS 3 is in line with global δ18O records, and glacially influenced sediment deposition in the Mississippi River basin.