Recent changes to US research funding are having far-reaching consequences that imperil the integrity of science and the provision of care to vulnerable populations. Resisting these changes, the BJPsych Portfolio reaffirms its commitment to publishing mental science and advancing psychiatric knowledge that improves the mental health of one and all.

Several studies have indicated a potential inverse association between caffeine intake from dietary sources – assessed through dietary questionnaires – and uric acid (UA) levels. However, to date, no study has examined the relationship between urinary caffeine metabolites, which serve as a reliable biomarker of caffeine intake and UA levels. Our aim was to evaluate the association between caffeine metabolites in urine and serum UA levels. A cross-sectional study was conducted using data from the National Health and Nutrition Examination Survey (NHANES) 2011–2012, involving 1252 individuals aged 20–80 years. The study assessed caffeine and fourteen metabolites in spot urine samples, as well as serum UA levels. Hyperuricaemia was defined as UA levels exceeding 7·0 mg/dl for men and 6·0 mg/dl for women. In logistic regression analyses, theobromine (OR: 0·99, 95 % CI: 0·980, 0·999), 3-methyluric acid (OR: 0·91, 95 % CI: 0·837, 0·996), 7-methyluric acid (OR: 0·99, 95 % CI: 0·989, 0·998) and 3-methylxanthine (OR: 0·99, 95 % CI: 0·992, 0·999) were associated with decreased odds of hyperuricaemia. In linear regression analyses, paraxanthine (β = −0·004, P = 0·006), theobromine (β = −0·004, P =< 0·001), 7-methyluric acid (β = −0·003, P = 0·003), 3,7-dimethyluric acid (β = −0·029, P = 0·024), 3-methylxanthine (β = −0·001, P = 0·038) and 7-methylxanthine (β = −0·001, P = 0·001) were inversely associated with serum UA levels. In conclusion, our results indicate that several urinary caffeine metabolites are inversely associated with UA levels. These findings should be interpreted with caution due to the small magnitude of the observed associations.

The incidence of congenital malformations (CM) among non-Hispanic White American (NHWA) mothers was reviewed to identify and evaluate the geographic differences in the most frequent CM subtypes associated with smoking and other risk factors. Data on CM were obtained from 150,775 children (2000-2004) from the Centers for Disease Control and Prevention. Risk factors associated with CM development were the mother’s age < 21 and > 35 years, body weight gain during pregnancy, anemia, diabetes mellitus, eclampsia (cases of preeclampsia were omitted), smoking, and alcohol use during pregnancy. Among smoking mothers, the most common CM was omphalocele, club foot, cleft lip, and polydactyly. The highest incidences (CM/10,000 births/year) of observed CM in children of smoking mothers were clubfoot, 25.51 cases (Utah), cleft lip, 22.47 (South Dakota), polydactyly, 21.23 (North Dakota), and omphalocele, 13.14 (Montana). The presence of maternal comorbidities, tobacco and alcohol consumption, and their association with other environmental factors can affect the incidence of CM in NHWA mothers. Further comparisons among the American states regarding the overall changes in CM over the last two decades should uncover crucial outcomes in terms of CM and smoking.

Recursive types and bounded quantification are prominent features in many modern programming languages, such as Java, C#, Scala, or TypeScript. Unfortunately, the interaction between recursive types, bounded quantification, and subtyping has shown to be problematic in the past. Consequently, defining a simple foundational calculus that combines those features and has desirable properties, such as decidability, transitivity of subtyping, conservativity, and a sound and complete algorithmic formulation, has been a long-time challenge.

This paper shows how to extend $F_{\le}$ with iso-recursive types in a new calculus called $F_{\le}^{\mu}$. $F_{\le}$ is a well-known polymorphic calculus with bounded quantification. In $F_{\le}^{\mu}$, we add iso-recursive types and correspondingly extend the subtyping relation with iso-recursive subtyping using the recently proposed nominal unfolding rules. In addition, we use so-called structural folding/unfolding rules for typing iso-recursive expressions, inspired by the structural unfolding rule proposed by Abadi et al. (1996). The structural rules add expressive power to the more conventional folding/unfolding rules in the literature, and they enable additional applications. We present several results, including: type soundness; transitivity; the conservativity of $F_{\le}^{\mu}$ over $F_{\le}$; and a sound and complete algorithmic formulation of $F_{\le}^{\mu}$. We study two variants of $F_{\le}^{\mu}$. The first one uses an extension of the $\textrm{kernel}~F_{\le}$ (a well-known decidable variant of $F_{\le}$). This extension accepts equivalent rather than equal bounds and is shown to preserve decidable subtyping. The second variant employs the $\textrm{full}~F_{\le}$ rule for bounded quantification and has undecidable subtyping. Moreover, we also study an extension of the kernel version of $F_{\le}^{\mu}$, called $F_{\le\ge}^{\mu\wedge}$, with a form of intersection types and lower bounded quantification. All the properties from the kernel version of $F_{\le}^{\mu}$ are preserved in $F_{\le\ge}^{\mu\wedge}$. All the results in this paper have been formalized in the Coq theorem prover.

Minimising suffering is an ethical and legal requirement in animal research. This is particularly relevant for research on animal models of sepsis and septic shock, which show rapid progression towards severe stages and death. Specific and reliable criteria signalling non-recovery points can be used as humane endpoints, beyond which a study cannot be allowed to progress, thus preventing avoidable suffering. Body temperature is a key indicator for assessing animal health and welfare and has been suggested to have potential for monitoring the status of mouse models of sepsis. In this study, we monitored temperature variations using contactless methods – thermal imaging and subcutaneously implanted PIT tags – in a surgical model of sepsis by caecal ligation and puncture (CLP). We monitored body temperature variation following mid-grade CLP, high-grade CLP and sham surgery. All mice (Mus musculus) were monitored four times per day in the high-grade CLP model and three times per day in the mid-grade CLP model by both PIT tag readout and infrared thermography for ten days post-surgery, or until animals reached a predefined humane endpoint. Thermal data were compared with the clinical score and weight loss threshold used at our facility. Mean body surface temperature (MBST) assessed by thermal imaging and subcutaneous temperature (SCT) measured by PIT tags correlated, albeit not strongly. Moreover, while MBST does not appear to be a reliable predictor of non-recovery stages, SCT showed promise in this regard, even surpassing the widely used weight loss criterion, particularly for the high-grade CLP model of induced sepsis.

A new species of Tereancistrum Kritsky, Thatcher & Kayton, 1980, collected from the gills of Brycon nattereri (Bryconidae) in the Cerrado, in the state of Goiás, Brazil, is described based on morphological and molecular data, based on the mitochondrial cytochrome c oxidase subunit 1 (COI) gene region. Tereancistrum campanum n. sp. is distinguished from all its congeners by the unique ‘bell-shaped’ accessory piece in the male copulatory complex. Molecular analysis revealed that the specimens analyzed formed a distinct group from other Tereancistrum sequences and that the sequences of Tereancistrum kerri showed genetic divergence when compared to T. campanum n. sp., confirming the molecular distinction between the two species. This study also expands the knowledge of parasitic diversity in the Tocantins-Araguaia River Basin and extends the geographical distribution of the genus Tereancistrum. The combination of morphological and genetic data was essential for delimiting this new species, highlighting the importance of integrative approaches in understanding the diversity of monogeneans in freshwater fish in Brazil.

Although radiocarbon-accelerator mass spectrometry (14C-AMS) is an important tool for the establishment of soil chronology, its application is challenging due to the complex nature of soil samples. In the present study, chemical extraction methodologies were tested to obtain the most representative age of Amazonian soil deposition by 14C-AMS. We performed acid hydrolysis with different numbers of extractions, as well as treatments combining acid and bases and quartered and non-quartered samples. The ages of the soil organic matter (SOM) fractions were compared to the ages of naturally buried charcoal samples at similar depths. The results showed that the age of the non-hydrolyzable inert fraction of soil was closer to the age of charcoal and older than the ages of humin. It was also observed that the quartering process can influence the results, since the dating of the humin fraction showed variability in the results. Our results are important to provide information about the most suitable method for the 14C-AMS dating of soil samples for paleoenvironment reconstruction studies.

Silvopastoral systems (SPSs) constitute a modality of agroforestry systems in which trees or shrubs, pastures and animals mutually grow, interacting with the environment, and providing several ecosystem services. This review aims to comprehensively discuss the ecosystem services provided by SPSs in different countries, highlighting the diverse ways these systems can contribute to human well-being and environmental sustainability, also emphasizing the importance of management strategies, the differences among systems and the main shortcomings and challenges to optimizing ecosystem service delivery from SPSs. The review focused on global studies, mainly those published between 2010 and 2024, directly relevant to the topic. We used Google Scholar, Scopus and Web of Science databases for literature screening. SPSs have demonstrated worldwide potential to enhance human food and forage production, nutrient cycling, soil fertility, biological nitrogen fixation, carbon sequestration, greenhouse gas mitigation, erosion control, microclimate regulation, pollination, control of pests and diseases, biodiversity, residue absorption, water quality, spiritual enrichment, recreation and aesthetic experiences. However, most ecosystem services provided by SPSs depend on climate conditions, soil type, choice of species, system design and management practices to ensure that such benefits are not provided at the cost of other important services. Interaction among components is a major challenge for system management and evaluations. Adopting SPSs has the potential to promote sustainable agriculture. Long-term studies are needed to elucidate the implications of multiple interactions within the system and their impact on ecosystem service delivery. Public policies, including evaluating ecosystem services, should be developed to promote the adoption of SPSs.

The semantics of gradually typed languages is typically given indirectly via an elaboration into a cast calculus. This contrasts with more conventional formulations of programming language semantics, where the semantics of a language is given directly using, for instance, an operational semantics. This paper presents a new approach to give the semantics of gradually typed languages directly. We use a recently proposed variant of small-step operational semantics called type-directed operational semantics (TDOS). In a TDOS, type annotations become operationally relevant and can affect the result of a program. In the context of a gradually typed language, type annotations are used to trigger type-based conversions on values. We illustrate how to employ a TDOS on gradually typed languages using two calculi. The first calculus, called $\lambda B^{g}$, is inspired by the semantics of the blame calculus, but it has implicit type conversions, enabling it to be used as a gradually typed language. The second calculus, called $\lambda e$, explores an eager semantics for gradually typed languages using a TDOS. For both calculi, type safety is proved. For the $\lambda B^{g}$ calculus, we also present a variant with blame labels and illustrate how the TDOS can also deal with such an important feature of gradually typed languages. We also show that the semantics of $\lambda B^{g}$ with blame labels is sound and complete with respect to the semantics of the blame calculus, and that both calculi come with a gradual guarantee. All the results have been formalized in the Coq theorem prover.

The symbiosis between microorganisms and host arthropods can cause biological, physiological, and reproductive changes in the host population. The present study aimed to survey facultative symbionts of the genera Wolbachia, Arsenophonus, Cardinium, Rickettsia, and Nosema in Cotesia flavipes (Cameron) (Hymenoptera: Braconidae) and Diatraea saccharalis (Fabricius) (Lepidoptera: Crambidae) in the laboratory and evaluate the influence of infection on the fitness of these hosts. For this purpose, 16S rDNA primers were used to detect these facultative symbionts in the host species, and the hosts' biological and morphological features were evaluated for changes resulting from the infection caused by these microorganisms. The bacterial symbionts studied herein were not detected in the D. saccharalis samples analysed, but the endosymbiont Wolbachia was detected in C. flavipes and altered the biological and morphological aspects of this parasitoid insect. The results of this study may help to elucidate the role of Wolbachia in maintaining the quality of populations/lineages of C. flavipes.

Productive and nutritional traits of forage species in various regions worldwide depend on different management strategies. This study aimed to evaluate the effects of harvest frequency (56, 77 and 98 days) and season of the year (rainy and dry) on the nutritional value and fractionation of carbohydrates and proteins of Stylosanthes genotypes (S. seabrana, S. scabra, S. mucronata and Stylosanthes spp. cv. Campo Grande). The experiment was conducted using a randomized complete block design with a split-plot arrangement and four repetitions. Contents of neutral detergent fibre (NDF), acid detergent fibre (ADF), in vitro digestible dry matter (IVDDM), condensed tannins and total phenolic compounds were influenced by the interaction of harvest frequency and season of the year. The 98-day harvest frequency resulted in lower IVDDM (579 g/kg) due to the high NDF and ADF concentrations during the rainy season. S. seabrana and S. scabra showed a higher proportion of A + B1 and B2 carbohydrate fractions, while the C fraction in the rainy season was greater in the Campo Grande, resembling S. seabrana. S. scabra displayed 15% of the crude protein in fraction A. The bromatological traits of Stylosanthes spp. did not decline sharply owing to plant age advancement, indicating these genotypes are suitable for forage production systems in tropical or semiarid regions.

During the study of ectoparasites (Platyhelminthes) of fish in the floodplain of the Upper Paraná River - Brazil, a new species of Urocleidoides, present in the gill filaments of Hemiodus orthonops (Hemiodontidae), is described using morphological description and molecular data from the mitochondrial region of cytochrome c oxidase, subunit 1 (COI) and the partial region of the 28S rDNA gene. Urocleidoides luquei n. sp. differs from all its congeners by the presence of a filament that joins the accessory piece to the base of the male copulatory organ and resembles U. paradoxus and U. surianoae. Phylogenetic analyses using molecular data revealed that U. luquei n. sp. forms a paraphyletic group concerning the other Urocleidoides species. In this way, as well as contributing to the description of a new species, we seek to encourage and contribute to the increase in research using integrative taxonomy, thus making it possible to elucidate some unresolved questions about the genus Urocleidoides.