bluuebunny/crossref_metadata_2025_split huggingface dataset:
Automatic differentiation for ML-family languages: Correctness via logical relations
Authors: Lucatelli Nunes Fernando , Vákár Matthijs 
Published: October 2024

AbstractWe give a simple, direct, and reusable logical relations technique for languages with term and type recursion and partially defined differentiable functions. We demonstrate it by working out the case of automatic differentiation (AD) correctness: namely, we present a correctness proof of a dual numbers style AD code transformation for realistic functional languages in the ML-family. We also show how this code transformation provides us with correct forward- and reverse-mode AD.The starting point is to interpret a functional programming language as a suitable freely generated categorical structure. In this setting, by the universal property of the syntactic categorical structure, the dual numbers AD code transformation and the basic
$\boldsymbol{\omega } \mathbf{Cpo}$
-semantics arise as structure preserving functors. The proof follows, then, by a novel logical relations argument.The key to much of our contribution is a powerful monadic logical relations technique for term recursion and recursive types. It provides us with a semantic correctness proof based on a simple approach for denotational semantics, making use only of the very basic concrete model of
$\omega$
-cpos.
Short- and medium-term longitudinal outcomes of children diagnosed with multisystem inflammatory syndrome in children - report from a single centre in Pakistan
Authors: Abbas Qalab , Shahbaz Fatima , Amjad Fatima , Khalid Farah , Aslam Nadeem , Mohsin Shazia 
Published: October 2024

AbstractObjective:To determine the short- and medium-term cardiac outcomes in children admitted with multisystem inflammatory syndrome in children at a tertiary care centre in Pakistan.Methods:Children fulfilling the criteria for multisystem inflammatory syndrome and admitted to the hospital between April 2020 and March 2022 were enrolled in this prospective longitudinal cohort study. From admission to discharge, laboratory and cardiac parameters were recorded for all patients, who were subsequently followed up in clinics at various intervals. Data analysis was conducted using STATA version 15.0.Results:A total of 51 children were included, with viral myocarditis (41.2%) and toxic shock syndrome (33.3%) being the most common phenotypes. The cardiovascular system was most commonly affected in 27 children (53%) with laboratory evidence of inflammation and myocardial injury with median and interquartile levels of ferritin 1169 (534-1704), C-reactive protein 83 (24-175), lactate dehydrogenase 468 (365-1270), N-terminal pro-B-type natriuretic peptide 8,656 (2,538-31,166), and troponin 0.16 (0.02-2.0).On admission, decreased left ventricular ejection fraction was observed in 58.8% of patients and impaired global longitudinal strain in 33.3%. At discharge, left ventricular ejection fraction had normalised in 83% of patients. Pericardial effusion resolved in all patients, and valvulitis resolved in 86% by 12 months. Paediatric ICU admission was required in 42 (82%) of patients with an overall mortality of 12% (n = 6).Conclusion:Our study finds high hospital mortality for multisystem inflammatory syndrome in children compared to 1-2% from previous studies. Yet, in Pakistan, surviving children with multisystem inflammatory syndrome show favourable short- to medium-term cardiac outcomes
Psychiatric co-morbidities and feasibility of an online psychiatric screening measure in children and adolescents with the Fontan circulation
Authors: Lau-Jensen Sara H. , Hejl Julie L. , Thorup Lene , Lauritsen Marlene B. , Rask Charlotte U. , Hjortdal Vibeke E. 
Published: October 2024

AbstractBackground:Guidelines recommend screening for psychiatric co-morbidities in patients with congenital heart defects alongside cardiac outpatient follow-ups. These recommendations are not implemented in Denmark. This study aimed to investigate the psychiatric co-morbidities in children and adolescents with Fontan circulation in Denmark and to evaluate the feasibility of an online screening measure for psychiatric disorders.Methods:Children, adolescents, and their families answered the Development and Well-Being Assessment questionnaire and a questionnaire about received help online. Development and Well-Being Assessment ratings present psychiatric diagnoses in accordance with ICD-10 and DSM-5. Parent-reported received psychiatric help is also presented. Feasibility data are reported as participation rate (completed Development and Well-Being Assessments) and parental/adolescent acceptability from the feasibility questionnaire.Results:The participation rate was 27%. Of the participating children and adolescents, 53% (ICD-10)/59% (DSM-5) met full diagnostic criteria for at least one psychiatric diagnosis. Of these, 50% had not received any psychiatric or psychological help. Only 12% of participants had an a priori psychiatric diagnosis.Conclusions:We found that a large proportion of children and adolescents with Fontan circulation are underdiagnosed and undertreated for psychiatric disorders. The results from our study emphasise the need for psychiatric screening in this patient group. Development and Well-Being Assessment may be too comprehensive for online electronic screening in children and adolescents with CHD.
Analysis of risk factors for prolonged stay in the intensive care unit after cardiac surgery in children with pneumonia
Authors: Ding Nan , Li Zhiqiang , Guo Jian , Li Xiaofeng , Yi Hanlu , Shen Lei 
Published: October 2024

AbstractAim:Preoperative pneumonia in children with CHD may lead to longer stays in the ICU after surgery. However, research on the associated risk factors is limited. This study aims to evaluate the pre-, intra-, and postoperative risk factors contributing to extended ICU stays in these children.Methods:This retrospective cohort study collected data from 496 children with CHD complicated by preoperative pneumonia who underwent cardiac surgery following medical treatment at a single centre from 2017 to 2022. We compared the clinical outcomes of patients with varying ICU stays and utilised multivariate logistic regression analysis and multiple linear regression analyses to evaluate the risk factors for prolonged ICU stays.Results:The median ICU stay for the 496 children was 7 days. Bacterial infection, severe pneumonia, and Risk Adjustment for Congenital Heart Surgery-1 were independent risk factors for prolonged ICU stays following cardiac surgery (P < 0.05).Conclusion:CHD complicated by pneumonia presents a significant treatment challenge. Better identification of the risk factors associated with long-term postoperative ICU stays in these children, along with timely diagnosis and treatment of respiratory infections in high-risk populations, can effectively reduce ICU stays and improve resource utilisation.
Mutual aid food sharing during the COVID-19 pandemic: case study of Tompkins County, NY
Authors: Hanson Karla L , Coupal Sarah , Grace Emily , Jesch Elizabeth , Lockhart Sonja , Volpe Leah C 
Published: October 2024

Abstract

Objective:
The COVID-19 pandemic led to greater food insecurity across the world, and government and charitable organisations did not always respond quickly enough or adequately to meet food needs. Mutual aid (MA) – neighbours helping neighbours to meet survival needs – mobilised residents to share food, often through outdoor food cabinets and refrigerators. This study aims to understand how MA food sharing was implemented, including food availability, acceptability, accessibility and impact on food access.

Design:
This case study describes one MA food sharing system by triangulating data from flyers, notes from nineteen volunteer meetings, six cabinet host interviews, data extracted from 1387 social media posts and 356 photographs, and 111 resident surveys.

Setting:
Tompkins County, NY, USA (total population about 100 000).

Results:
We estimated high availability of food: approximately 250 000 food servings were shared monthly, mostly carbohydrates. Most residents obtaining food found it acceptable, including satisfaction with food safety and cleanliness, food quantity, and ease of travel to the cabinets but were less satisfied with food variety. MA food sharing was accessible to food-insecure, unemployed and disabled residents, but not other priority populations. About two-thirds of residents reported improved food access. Volunteers exhibited tenacity and ingenuity in meeting operational challenges which included trash and vandalism, winter weather and unusable food contributions while foregrounding residents’ safety and privacy as shared values and navigating conflicting views about fairness.

Conclusions:
In times of crisis, MA can improve food access through free food sharing cabinets, but barriers include unacceptable food contributions and outdoor conditions.
Identification of morphological and variety diagnostic molecular markers for commercial varieties of nutmeg (Myristica fragrans Houtt.)
Authors: Moothandassery Shaju Krishna , Illathidath Payatatti Vijesh Kumar , Koryampallil Vijayan Saji , Neettiyath Kalathil Leela , Vettathukattil Abdul Gafoor Muhammed Nissar , Jagadamma Rema , Thotten Elampilay Sheeja 
Published: October 2024

Abstract
Nutmeg (Myristica fragrans Houtt; family: Myristicaceae) is an important tree spice of great export value due to the presence of secondary metabolites with scope in health, wellness and cosmetic industries. Its dioecious in nature due to which it is propagated by budding and grafting which requires specialised skill and as a result authentic planting material production is very expensive. Based on the constant demand from farmers and stakeholders for a suitable, fast and easy technique for determining the authenticity of nutmeg varieties, an attempt was made to develop morphological and molecular markers for the identification of three commercial varieties that are in high demand in India; viz. IISR Vishwashree, IISR Keralashree, Sindhushree and a monoecious nutmeg (MN) accession, along with their biochemical profiles. Among the various morphological characters as per distinctiveness, uniformity and stability guidelines, the varieties showed distinctness mainly in leaf shape, shape of female flowers, fruit shape and seed shape. Out of 35 ISSR primers screened, six primers viz., IS 02, ISSR 12, ISSR 05, ISSR 14, ISSR 01 and UBC 834 generated clear, unique reproducible polymorphic bands capable of distinguishing the varieties. Among the varieties analysed, MN was found to be superior in terms of seed butter and essential oil in nut, mace and leaves. IISR Vishwashree was on par with MN in nut essential oil content. IISR Keralashree was superior in terms of oleoresin in nuts and mace. The morphological and molecular markers identified may be used for effective checking of authenticity of planting materials of commercially grown nutmeg varieties.
When Councillors Sexually Harass: Legislative Sanctions and Gender-Based Violence in Canada’s Municipalities
Authors: Raney Tracey , McGregor R. Michael , Anderson Cameron D. 
Published: October 2024

AbstractPrevious research has examined whether voters will punish candidates who engage in sexual harassment in national-level elections, revealing partisanship as a strong predictor of electoral punishment. Using original survey data, we evaluate whether the public supports a broader range of sanctions (e.g. apologies, training, and removal from office) that legislatures can impose upon politicians who perpetrate sexual harassment in Canada’s municipalities, a non-partisan context. In the absence of partisan-based motivated reasoning, we find that women are more likely than men to support the removal from office of a councillor who engages in sexual harassment. Respondents who do not believe that sexism is a problem and are skeptical about claims of gender-based violence are also less likely to support punishment in these cases. These findings have relevance for democratic institutions, revealing that sanctions imposed on politicians who perpetrate sexual harassment can help maintain political accountability and restore public trust.
Extracting Vegetation Phenology in Heterogeneous Drylands Using LiDAR and Landsat Temporal Decomposition: A Latitudinal Assessment of Waterholes Within the Cooper Creek, Australia
Authors: Henriques Marcelo , McVicar Tim R. , Holland Kate L. , Daly Edoardo 
Published: October 2024

AbstractLand surface phenology (LSP) is useful to understand patterns of terrestrial ecosystems. Detecting LSP in drylands is more challenging when compared to agricultural and mesic environments due to vegetation heterogeneity, the presence of evergreen and seasonal species, and the dominant role of water (which is often received episodically with variable timing) in determining vegetation growth. In this study, LiDAR‐derived vegetation classes are defined to guide and improve the interpretation of LSP metrics extracted using temporally decomposed Landsat fPAR time series. This method was applied to waterholes within the Cooper Creek floodplain, in dryland Australia, which are important for ecological conservation. Results showed that phenology is mostly associated with the recurrent vegetation (approximately 80% of all identified phenological events) in all waterholes. However, during high streamflow periods, the number of phenological events associated with the persistent vegetation greatly increased (up to 40% of the identified events). Non‐annual phenology was also identified, with more than one phenological event occurring across a water year during high streamflow periods. The duration of the phenological events of the persistent vegetation exceeded one water year during periods of high streamflow. Phenological differences of the LiDAR‐derived vegetation classes occupying the riparian zone of the waterholes were also identified. Streamflow movement across the floodplain exerts an important influence on the vegetation phenology, as suggested by a lag in the phenology when comparing southern and northern waterholes. The method developed herein can be applied to other highly spatially heterogeneous ecosystems where vegetation species simultaneously present permanent and seasonal patterns.
Uncovering the Dynamic Drivers of Floods Through Interpretable Deep Learning
Authors: Xu Yuanhao , Lin Kairong , Hu Caihong , Chen Xiaohong , Zhang Jingwen , Xiao Mingzhong , Xu Chong‐Yu 
Published: October 2024

AbstractThe formation of floods, as a complex physical process, exhibits dynamic changes in its driving factors over time and space under climate change. Due to the black‐box nature of deep learning, its use alone does not enhance understanding of hydrological processes. The challenge lies in employing deep learning to uncover new knowledge on flood formation mechanism. This study proposes an interpretable framework for deep learning flood modeling that employs interpretability techniques to elucidate the inner workings of a peak‐sensitive Informer, revealing the dynamic response of floods to driving factors in 482 watersheds across the United States. Accurate simulation is a prerequisite for interpretability techniques to provide reliable information. The study reveals that comparing the Informer with Transformer and LSTM, the former showed superior performance in peak flood simulation (Nash‐Sutcliffe Efficiency over 0.6 in 70% of watersheds). By interpreting Informer's decision‐making process, three primary flood‐inducing patterns were identified: Precipitation, excess soil water, and snowmelt. The controlling effect of dominant factors is regional, and their impact on floods in time steps shows significant differences, challenging the traditional understanding that variables closer to the timing of flood event occurrence have a greater impact. Over 40% of watersheds exhibited shifts in dominant driving factors between 1981 and 2020, with precipitation‐dominated watersheds undergoing more significant changes, corroborating climate change responses. Additionally, the study unveils the interplay and dynamic shifts among variables. These findings suggest that interpretable deep learning, through reverse deduction, transforms data‐driven models from merely fitting nonlinear relationships to effective tools for enhancing understanding of hydrological characteristics.
Using Extensive Core‐Reflected Phases to Constrain Sharp Inner Core Boundary Beneath East Asia
Authors: Zhang Haodong , Cui Tianyu , Ai Yinshuang 
Published: October 2024

AbstractThe physical properties of the Earth's inner core boundary (ICB) are crucial for understanding inner core growth and geodynamo generation. In this study, we analyze the differential travel time residuals (DTTRs) and waveform similarities of the core‐reflected phases (PKiKP and PcP) to investigate fine‐scale seismic structures of the ICB. To study the ICB beneath East Asia, we collect a total of 4,272 PKiKP and PcP phase pairs from 37 earthquakes occurring from January 2009 to December 2018 recorded by permanent stations in the Chinese Digital Seismic Network (CDSN). This extensive PKiKP dataset allows for a geographically continuous depiction of the ICB beneath East Asia, revealing a diverse scope on its topography and sharpness. There are three main findings in our study. First, we collect a comprehensive PKiKP and PcP dataset with extensive ray coverage across East Asia. Numerous weak precritical PKiKP signals are detected, enabling robust constraints on the ICB across wide regions. Second, the PKiKP‐PcP DTTRs exhibit an average offset of −0.25 s (ranging from −1.5 to 1.0 s) relative to the PREM model, suggesting the outer core is approximately 1.3 km thinner than predicted by the PREM model, although it remains largely consistent with it. Third, the bin‐stacked PKiKP and PcP waveforms show high similarity across most sampled areas, indicating that the ICB thickness is no more than 2 km mostly beneath East Asia, which aligns with the hypothesis of a rapid transition from the solid inner core to the liquid outer core in our study region.
Deflected Mantle Flow and Shearing‐Aligned Lithospheric Melt Under the Strike‐Slip Dead Sea Rift
Authors: Xu Huikai , Yu Youqiang , Xi Jiaji 
Published: October 2024

AbstractContinental rifting is one of the fundamental tectonics of the Earth evolution while our current understandings on the dynamic mechanism of the strike‐slip ones are relatively limited. Here, we have utilized three kinds of core‐refracted shear waves (including PKS, SKKS, and SKS) and employed the shear‐wave splitting technique to systematically investigate the azimuthal anisotropy of the upper mantle under the typical strike‐slip Dead Sea rift. There are a total of 1,855 well‐determined anisotropic measurements from 187 stations with dominantly N‐S fast orientations. We have proposed a new model from a joint analysis of multiple newly available geophysical observations to interpret the resulting anisotropy as mainly due to the absolute‐plate‐motion‐driven mantle flow deflected by the thick lithosphere of the eastern Arabian plate. Relatively larger splitting times are locally revealed at the rift zone and attributed to additional lithospheric anisotropy from the shearing‐oriented melt pockets whose existence further induces complex anisotropy with slight difference of fast orientations between the upper and lower layer anisotropy. The overall rift‐parallel fast orientations, when combined with the absence of low‐velocity and hot thermal anomalies in the mantle transition zone, rule out the role of mantle plume or edge‐driven convection in the rift development and further infer the Dead Sea rift to evolve in a passive mode.
Quantifying the Role of Silicate and Dissolved Nitrogen in Co‐Limiting the Primary and Secondary Productivity of the Bay of Bengal Euphotic Zone
Authors: Bhavani Inakonda Veera Ganga , Hamza Faseela , Smitha B. R. , Valsala Vinu 
Published: October 2024

AbstractA single‐column coupled physical and biological model based on the North Pacific Ecosystem Model for Understanding Regional Oceanography (NEMURO) with nitrogen and silicon cycles is adapted for the Bay of Bengal (BoB) environment. The model simulated plankton biomass and nutrients along the track of Bio‐Argos over East and West BoB (from 2016 to 2017) are validated with the observations. The model reasonably simulates the perennial structure of subsurface chlorophyll maximum (SCM). Further, three experiments are carried out to know the limitations in primary and secondary production in terms of nitrogen (NO3 + NH4) and silicate (Si(OH)4) in the open ocean BoB. In a “no‐NO3”experiment, the nitrate limiting term [that is, NO3/(NO3 + KNO3)] is set to zero so that the difference from the control case gives the role of “regenerated production” in the total primary and secondary production. Similarly, a no‐NH4 experiment was conducted to infer the role of “new production.” The new (regenerated) production fuels 85 ± 1% (28 ± 6%) of the living biomass in the East part of open ocean BoB (East BoB). The corresponding values for the west part (West BoB) are 86 ± 1% (42 ± 2%). Among the primary producers, the new (regenerated) production contributed 72 ± 1% (24 ± 6%) in the East BoB and 74 ± 1% (37 ± 2%) in the West BoB. The silicate limits the diatom production by 46% ± 22% (45% ± 27%) of the actual amount of diatom in the East BoB (West BoB) diatom. Surface to 60 m depth, we observed severe nitrate limitation over East BoB and equal limitation of nitrate and silicate over West BoB from June to September; the remaining months suffered from moderate nitrate limitation in both regions. This study shows that nitrate appears to be a limiting nutrient compared to silicate at the surface of both East and West BoB. Since silicicline is deeper than nitracline, silicate is the potential limiting nutrient in BoB from 65 to 105 m depth in all seasons.
Npbwr1 signaling mediates fast antidepressant action
Authors: Stein Gregor , Aly Janine S. , Lange Lisa , Manzolillo Annamaria , Riege Konstantin , Brancato Anna , Hübner Christian A. , Turecki Gustavo , Hoffmann Steve , Engmann Olivia 
Published: October 2024

AbstractChronic stress is a major risk factor for depression, a leading cause of disability and suicide. Because current antidepressants work slowly, have common side effects, and are only effective in a minority of patients, there is an unmet need to identify the underlying molecular mechanisms. Here, we identify the receptor for neuropeptides B and W, Npbwr1, as a key regulator of depressive-like symptoms. Npbwr1 is increased in the nucleus accumbens of chronically stressed mice and postmortem in patients diagnosed with depression. Using viral-mediated gene transfer, we demonstrate a causal link between Npbwr1, dendritic spine morphology, the biomarker Bdnf, and depressive-like behaviors. Importantly, microinjection of the synthetic antagonist of Npbwr1, CYM50769, rapidly ameliorates depressive-like behavioral symptoms and alters Bdnf levels. CYM50769 is selective, well tolerated, and shows effects up to 7 days after administration of a single dose. In summary, these findings advance our understanding of mood and chronic stress and warrant further investigation of CYM50769 as a potential fast-acting antidepressant.
Emerging roles of noncoding RNAs in idiopathic pulmonary fibrosis
Authors: Wang Haitao , Sun Kai , Peng Hao , Wang Yi , Zhang Lei 
Published: October 2024

AbstractIdiopathic pulmonary fibrosis (IPF) is a chronic, progressive, fibrotic lung disease with limited treatment options and efficacy. Evidence suggests that IPF arises from genetic, environmental, and aging-related factors. The pathogenic mechanisms of IPF primarily involve dysregulated repeated microinjuries to epithelial cells, abnormal fibroblast/myofibroblast activation, and extracellular matrix (ECM) deposition, but thus far, the exact etiology remains unclear. Noncoding RNAs (ncRNAs) play regulatory roles in various biological processes and have been implicated in the pathophysiology of multiple fibrotic diseases, including IPF. This review summarizes the roles of ncRNAs in the pathogenesis of IPF and their potential as diagnostic and therapeutic targets.