We develop semantics and syntax for bicategorical type theory. Bicategorical type theory features contexts, types, terms, and directed reductions between terms. This type theory is naturally interpreted in a class of structured bicategories. We start by developing the semantics, in the form of comprehension bicategories. Examples of comprehension bicategories are plentiful; we study both specific examples as well as classes of examples constructed from other data. From the notion of comprehension bicategory, we extract the syntax of bicategorical type theory, that is, judgment forms and structural inference rules. We prove soundness of the rules by giving an interpretation in any comprehension bicategory. The semantic aspects of our work are fully checked in the Coq proof assistant, based on the UniMath library.

The genus Oxalis contains important species worldwide with great economic and edible values. However, the testing guidelines have not been furbished, especially in China. Oxalis germplasm, including 60 species and 125 varieties, was collected from home and abroad and extensive field trials and phenotypic observations were conducted along with quantitative taxonomy, observations, correlation analysis and cluster analysis. Under the test guidelines of the International Union for the Protection of New Plant Varieties (UPOV), general guidelines for testing for distinctness, uniformity, stability (DUS) of new plant varieties, and Japanese test guidelines for DUS of Oxalis, 96 test characteristics (38 qualitative characteristics, 28 quantitative characteristics and 30 pseudo-qualitative characteristics) were determined as DUS test characteristics of Oxalis. Each test characteristic was scientifically graded and accurately described, and standard varieties and characteristic diagrams were provided for some characteristics. The guidelines for testing DUS of new plant varieties of Oxalis provide a standard for examining and testing new varieties of plants.

This study focuses on characterizing a discontinuity within the Seán stalagmite (4.75–7.75 cm) by means of two nondestructive techniques: (1) high-resolution micro-computed tomography (micro-CT) and (2) X-ray fluorescence (XRF) core scanning (XRFCS). Micro-CT was used to study the stalagmite density, and XRFCS was applied to obtain the qualitative elemental composition and colour measurements. The new data obtained from nondestructive techniques have been combined with previously published geochemical data and fabric determinations from the same stalagmite found in Sa Balma des Quartó cave in Mallorca. The two methodologies applied in the present study have improved the characterization of the distinctive horizon. The micro-CT images identified the layer as a minor event due the high air content. The distinctive horizon is characterized by a high Ti-content, indicating the arrival of terrigenous particles. Based on those observations, together with the fact that the micrite layer appears filling the gaps between the older columnar fabric, we argue that the micrite layer may represent a major flooding event inside the cave after the year 1616 ± 23 CE and before the year 1623 ± 28 CE, which can be related to an extreme rainfall event. This hypothesis is further supported by the observed cave flooding during the autumn of 2018.

In July 2021, Liverpool was removed from the prestigious List of World Heritage Sites, sending shockwaves around the global heritage community. More recently, the spotlight has shifted to another world famous site also located in the United Kingdom. During the same 44th Session of the World Heritage Committee, UNESCO threatened to place Stonehenge on the List in Danger if the required changes to a significant billion-pound road enhancement project were not implemented. Given what happened in Liverpool, there are fears that Stonehenge is in danger of moving towards delisting. An interesting critical line of inquiry to emerge from Liverpool, and other World Heritage Sites, concerns the local, national, and international ‘politics at the site’. This article develops this debate by analysing the role of different scalar actors involved in the Stonehenge World Heritage Site. More specifically, our article examines how the Stonehenge Alliance sought to engage in, what we define as, scalar manoeuvres that is evidenced by scale jumping and scalar alignments with more powerful players further up the heritage hierarchy in order to effect leverage over the future status of the World Heritage Site.

This study uses the Dialect in British Fiction 1800–1836 database to chart the changing representation of the language of the labouring poor during the early nineteenth century. It finds that, broadly speaking, while the voices of the labouring poor are sometimes represented in novels at the start of the period, most novels evince little interest in either the linguistic nuances of these characters’ speech, or the access to their lives and thoughts that this speech provides. Around the middle of the period, there is a rapid increase in the fictional representation of the voices of the labouring poor specifically in novels set in rural Scotland and Ireland and – at least in some novels – this is connected to a greater interest in the lives and perspectives of these characters. By the end of the period, while there is a broadening out into extraterritorial varieties and a continuing interest in the voices of the rural labouring poor of Scotland and Ireland, these developments have not translated in any substantial way to an interest in either the rural labouring poor of England or Wales, or the urban labouring poor of any nation or region. Overall, the study demonstrates how fiction can be used to provide an insight into changing attitudes towards speakers and language varieties.

For a general autonomous planar polynomial differential system, it is difficult to find conditions that are easy to verify and which guarantee global asymptotic stability, weakening the Markus–Yamabe condition. In this paper, we provide three conditions that guarantee the global asymptotic stability for polynomial differential systems of the form $x^{\prime}=f_1(x,y)$, $y^{\prime}=f_2(x,y)$, where f1 has degree one, f2 has degree $n\ge 1$ and has degree one in the variable y. As a consequence, we provide sufficient conditions, weaker than the Markus–Yamabe conditions that guarantee the global asymptotic stability for any generalized Liénard polynomial differential system of the form $x^{\prime}=y$, $y^{\prime}=g_1(x) +y g_2(x)$ with g1 and g2 polynomials of degrees n and m, respectively.

Home-inhaled nitric oxide therapy was effective and feasible in the patients with intractable pulmonary arterial hypertension. We present the case of a child with severe pulmonary arterial hypertension associated with post-operative pulmonary venous obstruction who was treated with home-inhaled nitric oxide therapy.

À la lumière de récents développements en politique québécoise, le présent article jette un regard critique sur deux éléments controversés entourant la légitimité du référendum sur la souveraineté du Québec de 1995, soit (1) le rejet de bulletins de vote le jour du scrutin et (2) l'effet du rallye pour l'unité canadienne tenu le 27 octobre 1995. Cette analyse mobilise des données historiques agrégées d’Élections Québec ainsi que des données individuelles de sondage collectées par Canadian Facts Limited en octobre 1995 (n = 930). Les résultats ne révèlent aucun prédicteur attitudinal du rejet de bulletins de vote à travers les circonscriptions québécoises. Des analyses suggèrent cependant l'existence d'un impact statistiquement significatif du rassemblement du love-in qui pourrait avoir profité à la cause fédéraliste à quelques jours du vote, particulièrement à l'extérieur de l’île de Montréal. Cette recherche vise à contribuer au débat public sur la transparence des processus démocratiques en contexte référendaire.

To what extent do countries protect the rights of transgender people? How does this differ from legal protections countries offer sexual orientation minorities? What conditions are beneficial for advancing trans rights? Limitations in data availability and accessibility make answering these types of trans-specific questions difficult. To address this shortcoming, I introduce a new dataset. The Trans Rights Indicator Project (TRIP) provides insight into the legal situations transgender people faced in 173 countries from 2000 to 2021. The dataset currently includes 14 indicators that capture the presence or absence of laws related to criminalization, legal gender recognition, and anti-discrimination protections. I then use this data to discuss the global status of transgender rights throughout the period and compare these trends to sexual orientation rights. Finally, I conclude with a preliminary analysis of three institutional and cultural factors that may help explain variation in transgender rights throughout the world.

Parties and party systems are treated as separate phenomena in theory, but not in research practice. This is most clearly so in the literature on the institutionalization of party politics, where the party level and the systemic levels are often analyzed through combined fuzzy indices. We 1) propose separate indicators for measuring institutionalization at the party and at the party system level, 2) demonstrate their different dynamics in twentieth and twenty-first century European countries, and 3) investigate the direction of causality. Using a dataset that covers more than 700 elections, 800 parties, and 1,400 instances of government formation in 60 different historical party systems across 45 European countries, we find that party-level institutionalization tends to precede systemic institutionalization. The opposite pattern occurs only in a few countries.

Afin de mieux comprendre la distribution géographique des facilitateurs et des obstacles à la participation sociale des Québécois âgés, cette étude visait à documenter l’Indice du potentiel de participation sociale (IPPS) selon les zones métropolitaines, urbaines et rurales. Des analyses de données secondaires, dont l’Enquête transversale sur la santé des collectivités canadiennes, ont permis de développer et de cartographier un indice composé de facteurs environnementaux associés à la participation sociale, pondérés par une analyse factorielle. En zones métropolitaines, l’IPPS était supérieur au centre qu’en périphérie, compte tenu d’une concentration accrue d’aînés et des transports. Bien qu’atténuée, la configuration était similaire en zones urbaines. En zone rurale, un IPPS élevé était associé à une concentration d’aînés et un accès aux ressources accru, sans configuration spatiale. Pour favoriser la participation sociale, l’IPPS soutient que les transports et l’accès aux ressources doivent respectivement être améliorés en périphérie des métropoles et en zone rurale.

The smooth development of large parts of mathematics hinges on the idea that some sets are ‘small’ or ‘negligible’ and can therefore be ignored for a given purpose. The perhaps most famous smallness notion, namely ‘measure zero’, originated with Lebesgue, while a second smallness notion, namely ‘meagre’ or ‘first category’, originated with Baire around the same time. The associated Baire category theorem is a central result governing the properties of meagre (and related) sets, while the same holds for Tao’s pigeonhole principle for measure spaces and measure zero sets. In this paper, we study these theorems in Kohlenbach’s higher-order Reverse Mathematics, identifying a considerable number of equivalent and robust theorems. The latter involve most basic properties of semi-continuous and pointwise discontinuous functions, Blumberg’s theorem, Riemann integration, and Volterra’s early work circa 1881. All the aforementioned theorems fall (far) outside of the Big Five of Reverse Mathematics, and we investigate natural restrictions like Baire 1 and quasi-continuity that make these theorems provable again in the Big Five (or similar). Finally, despite the fundamental differences between measure and category, the proofs of our equivalences turn out to be similar.