bluuebunny/crossref_metadata_2025_split huggingface dataset:
Evaluating habitat use and relative abundance of Iowa's river otter with harvest data
Authors: Nixon Bridget A. , Evelsizer Vince , Klaver Robert W. 
Published: September 2024

AbstractThe North American river otter (Lontra canadensis) was extirpated from much of the United States in the early 20th century due to habitat loss, pollution of waterways, and overharvesting. The Iowa Department of Natural Resources began a river otter reintroduction effort in 1985, which placed otters in 14 sites across the state. Otters have since been known to occur in every county in Iowa and appear to have successfully repopulated their former range throughout the state. Our objective was to relate land cover characteristics and otter abundance using harvest data. We used data collected by agency staff to map the locations of otter harvest in Iowa from 2006 to 2016. We mapped otter harvest locations at the subwatershed level (also called 12‐digit Hydrologic Unit Code or HUC‐12). We related otter harvest to land cover variables and predicted otter abundance by land cover type. We found that roads, forests, larger waterways, and Ictaluridae (catfish) presence were negatively correlated with otter harvest. Variables positively correlated with otter harvest were areas with greater land cover diversity, wetland patch density, average stream density, and waterway and wetland areas. The land cover model predicted otters in equal or greater numbers than the harvest data in 62.8% of HUC‐12s. The areas of greatest otter abundance estimates were located near recreation areas and urban areas, indicating the underutilization of these heavy‐trafficked areas by trappers. Areas of fewer predicted otters were not concentrated in a single area of the state but occurred along the Interstate 80 corridor.
Accurate Static Data Race Detection for C
Authors: Sales Emerson , Inverso Omar , Tuosto Emilio 
Published: September 2024

AbstractData races are a particular kind of subtle, unintended program behaviour arising from thread interference in shared-memory concurrency. In this paper, we propose an automated technique for static detection of data races in multi-threaded C programs with POSIX threads. The key element of our technique is a reduction to reachability. Our prototype implementation combines such reduction with context-bounded analysis. The approach proves competitive against state-of-the-art tools, finding new issues in the implementation of well-known lock-free data structures, and shows a considerably superior accuracy of analysis in the presence of complex shared-memory access patterns.
Detecting Speculative Execution Vulnerabilities on Weak Memory Models
Authors: Coughlin Nicholas , Lam Kait , Smith Graeme , Winter Kirsten 
Published: September 2024

AbstractSpeculative execution attacks affect all modern processors and much work has been done to develop techniques for detection of associated vulnerabilities. Modern processors also operate on weak memory models which allow out-of-order execution of code. Despite this, there is little work on looking at the interplay between speculative execution and weak memory models. In this paper, we provide an information flow logic for detecting speculative execution vulnerabilities on weak memory models. The logic is general enough to be used with any modern processor, and designed to be extensible to allow detection of vulnerabilities to specific attacks. The logic has been proven sound with respect to an abstract model of speculative execution in Isabelle/HOL.
Reachability Analysis for Multiloop Programs Using Transition Power Abstraction
Authors: Britikov Konstantin , Blicha Martin , Sharygina Natasha , Fedyukovich Grigory 
Published: September 2024

AbstractA wide variety of algorithms is employed for the reachability analysis of programs with loops but most of them are restricted to single loop programs. Recently a new technique called Transition Power Abstraction (TPA) showed promising results for safety checks of software. In contrast to many other techniques TPA efficiently handles loops with a large number of iterations. This paper introduces an algorithm that enables the effective use of TPA for analysis of multiloop programs. The TPA-enabled loop analysis reduces the dependency on the number of possible iterations. Our approach analyses loops in a modular manner and both computes and uses transition invariants incrementally, making program analysis efficient. The new algorithm is implemented in the Golem solver. Conducted experiments demonstrate that this approach outperforms the previous implementation of TPA and other competing tools on a wide range of multiloop benchmarks.
Sum rules & Tauberian theorems at finite temperature
Authors: Marchetto Enrico , Miscioscia Alessio , Pomoni Elli 
Published: September 2024

Abstract
We study CFTs at finite temperature and derive explicit sum rules for one-point functions of operators by imposing the KMS condition and we explicitly estimate one-point functions for light operators. Turning to heavy operators we employ Tauberian theorems and compute the asymptotic OPE density for heavy operators, from which we extract the leading terms of the OPE coefficients associated with heavy operators. Furthermore, we approximate and establish bounds for the two-point functions.
Liver segmental volumes and their relationship with 5-year prognostication
Authors: Catucci Damiano , Hrycyk Joris , Lange Naomi Franziska , Obmann Verena Carola , Berzigotti Annalisa , Brönnimann Michael Patrick , Zbinden Lukas , Fischer Kady , Guensch Dominik Paul , Ebner Lukas , Roos Justus , Christe Andreas , Huber Adrian Thomas 
Published: September 2024

Abstract

Purpose
This study aimed to analyze the predictive value of caudate to right lobe ratio (CRL-R) and liver segmental volume ratio (LSVR) for chronic liver disease (CLD) on routine abdominal CT scans and their association with 5-year decompensation- and transplant-free survival.

Method
This retrospective study included 108 patients without CLD and 98 patients with biopsy-proven CLD. All patients underwent abdominal CT scans between 03/2015 and 08/2017. Patients with CLD were divided into three groups: early CLD (F0-F2; eCLD; n = 40), advanced CLD (F3-F4; aCLD; n = 20), and aCLD with clinically significant portal hypertension (aCLDPH; n = 38). CRL-R and LSVR were compared between groups using Kruskal–Wallis test and ROC analysis to determine cutoff-values. 5-year decompensation- and transplant-free survival were assessed by Kaplan–Meier curve analysis.

Results
CRL-R and LSVR were significantly different between all groups (p < 0.001). A CRL-R cutoff-value of > 0.99 predicted aCLD with a sensitivity of 69% and a specificity of 80% (AUC = 0.75, p < 0.001), while LSVR > 0.37 had a sensitivity of 67% and a specificity of 84% (AUC = 0.80, p < 0.001). CLD-patients with both CRL-R > 0.99 and LSVR > 0.37 had a significantly lower probability of 5-year decompensation-free survival (31%) as well as lower probability of 5-year transplant-free survival (41%) than those with a CRL-R < 0.99 and/or LSVR < 0.37 (70%, 62%, p = 0.006, p = 0.038).

Conclusion
CRL-R and LSVR showed a high predictive value for CLD on routine abdominal CT scans. In patients with CLD, both CRL-R and LSVR may be combined and are associated with 5-year decompensation-free and transplant-free survival.
Distinct clinical outcomes linked to peripheral arthritis and dactylitis in axial spondyloarthritis: findings from a retrospective Irish cohort
Authors: Kenyon Marcus , Gallagher Phil , Dinneen Brona , O’Shea Finbar , McManus Ross 
Published: September 2024

Abstract
Introduction
Axial spondyloarthritis (AxSpA) is a chronic inflammatory condition primarily affecting the axial skeleton. Peripheral features such as peripheral arthritis (PA) and dactylitis are common in AxSpA disease. This study aimed to investigate the independent impact of these manifestations on patient presentation and disease outcomes within an Irish AxSpA cohort.

Methods
912 Irish AxSpA patients were analyzed in this study. Disease outcomes in patients with and without peripheral arthritis or dactylitis were compared using univariate and multivariate methods. The prevalence of extra-spinal manifestations was further assessed in relation to AxSpA disease duration.

Results
30.2% of patients reported PA, while 6.6% had dactylitis. PA and dactylitis were strongly linked, with 70% of patients presenting with dactylitis also showing features of PA. Psoriasis was more common in both patients with PA (OR 2.2, P < 0.001) and dactylitis (OR 3.38, P < 0.001). Dactylitis, but not PA was strongly linked to uveitis (OR 2.91, P < 0.001) and inflammatory bowel disease (OR 3.15, P < 0.001), while PA was associated with worse patient functioning and reduced quality of life. PA, but not dactylitis was linked with increased AxSpA disease duration.

Discussion
Despite high concurrence of PA and dactylitis in AxSpA patients, each manifestation is independently associated with worse outcomes. While some of these overlapped, several outcomes are specific to either PA or dactylitis. Due to its strong association with uveitis and inflammatory bowel disease, an early presentation of dactylitis may represent a unique subset of patients and serve as a valuable predictive marker for the later onset of these conditions.
The system of radiological protection and the UN sustainable development goals
Authors: Rühm W. , Applegate K. , Bochud F , Laurier D , Schneider T. , Bouffler S. , Cho K. , Clement C. , German O. , Hirth G. , Kai M. , Liu S. , Mayall A. , Romanov S. , Wojcik A. 
Published: September 2024

AbstractIn 2015 the United Nations issued 17 Sustainable Development Goals (SDGs) addressing a wide range of global social, economic, and environmental challenges. The main goal of this paper is to provide an understanding of how the current System of Radiological Protection relates to these SDGs. In the first part it is proposed that the current System of Radiological Protection is implicitly linked to sustainable development. This is substantiated by analysing the features of the current System as set out by the International Commission on Radiological Protection (ICRP) in its publications. In the second part it is proposed that sustainability should be considered and more explicitly addressed in the next ICRP general recommendations, as part of the currently ongoing review and revision of the current System. A few examples are given of how this could be realised, and it is proposed that this issue should be discussed and developed together with the international community interested in radiological protection.
Multisample lipidomic profiles of irritable bowel syndrome and irritable bowel syndrome-like symptoms in patients with inflammatory bowel disease: new insight into the recognition of the same symptoms in different diseases
Authors: Chen Guorong , Wu Xuan , Zhu Huiting , Li Kemin , Zhang Junhai , Sun Shijie , Wang Huifen , Wang Miao , Shao Bing , Li Hui , Zhang Yanli , Du Shiyu 
Published: September 2024

Abstract
Background
Overlapping clinical manifestations of irritable bowel syndrome (IBS) and IBS-like symptoms in patients with inflammatory bowel disease (IBD-IBS) present challenges in diagnosis and management. Both conditions are associated with alterations in metabolites, but few studies have described the lipid profiles. Our aim was to pinpoint specific lipids that contribute to the pathogenesis of IBS and IBD-IBS by analyzing multiple biologic samples.

Methods
Diarrhea-predominant IBS (IBS-D) patients (n = 39), ulcerative colitis in remission with IBS-like symptoms patients (UCR-IBS) (n = 21), and healthy volunteers (n = 35) were recruited. IBS-D patients meet the Rome IV diagnostic criteria, and UCR-IBS patients matched mayo scores ≤ two points and Rome IV diagnostic criteria. Serum, feces, and mucosa were collected for further analysis. Lipid extraction was carried out by ultra-performance liquid chromatography-high resolution mass spectrometry (UPLC-HRMS).

Results
Lipidomics of mucosa and serum samples significantly differed among the three groups. Feces showed the most altered lipid species, and the enrichment analysis of 347 differentially abundant metabolites via KEGG pathway analysis revealed that alpha-linolenic acid metabolism was significantly altered in the two groups (P < 0.01). The ratio of omega-6/omega-3 fatty acid were imbalance in serum samples.

Conclusions
This study revealed a comprehensive lipid composition pattern between IBS-D patients and UCR-IBS patients. We found several distinctive lipids involved in alpha-linolenic acid metabolism, reflecting an imbalance in the omega-6/omega-3 fatty acid ratio. Compared to mucosa and serum samples, fecal samples might have more advantages in lipidomics studies due to the convenience of sample collection and effectiveness in reflecting metabolic information.
On the positivity of B-spline Wronskians
Authors: Floater Michael S. 
Published: September 2024

AbstractA proof that Wronskians of non-zero B-splines are positive is given, using only recursive formulas for B-splines and their derivatives. This could be used to generalize the de Boor–DeVore geometric proof of the Schoenberg–Whitney conditions and total positivity of B-splines to Hermite interpolation. For Wronskians of maximal order with respect to a given degree, positivity follows from a simple formula.
Giving voice to educators: Primary school teachers explain how they promote values to their pupils
Authors: Döring Anna K. , Jones Emma , Oeschger Thomas P. , Makarova Elena 
Published: September 2024

AbstractValues are the trans-situational goals guiding human attitudes and behavior (Schwartz, 1992). As early socialization agents, teachers have a responsibility to promote democratic values of citizenship to create an inclusive, fair, and sustainable society, necessary for individual and collective well-being (OECD, 2019). By facilitating social and cognitive development through social interactions, the school setting helps spark curiosity, leading to reflection and adaptation. Across the curriculum, teachers use strategies like imitation, modelling, priming, and discussion to help children make sense of the world (Makarova et al., 2024; Oeschger et al., 2022). Yet little empirical evidence exists to support how teachers achieve this. The present study gives voice to educators through the personal experiences of ten UK primary school teachers. Semi-structured interviews were conducted, lasting between 50 and 90 min. Data was analyzed in two stages: First, a deductive structuring content analysis identified how values of self-transcendence versus self-enhancement and openness to change versus conservation, as defined in Schwartz’s (1992) model, were reflected in the interview data. Second, an inductive thematic analysis yielded the following themes: mechanisms of value transmission; implicit vs explicit instruction of values; values that are most difficult to teach; value transmission through taught lessons; the role of collective worship and cultural days; opportunities for value transmission in the wider school environment; and the role that a school culture and ethos play in the transmission of values. This study supports the view that values are promoted through a variety of methods and across all areas of the school environment.
Analyzing deep reinforcement learning model decisions with Shapley additive explanations for counter drone operations
Authors: Çetin Ender , Barrado Cristina , Salamí Esther , Pastor Enric 
Published: September 2024

AbstractAs the use of drones continues to increase, their capabilities pose a threat to airspace safety when they are misused. Deploying AI models for intercepting these unwanted drones becomes crucial. However, these AI models, such as deep learning models, often operate as “black boxes”, making it hard to trust their decision-making system. This also affects end-users’ confidence in these AI systems. In this paper, the explainability of deep reinforcement learning is investigated and a deep reinforcement learning (DRL) method, double deep Q-network with dueling architecture and prioritized experience replay is applied to train the AI models. To make the AI model decisions more transparent and to understand the reasoning behind the AI decisions for counter-drone systems, Shapley Additive Explanations (SHAP) method is implemented. After training the DRL agent, experience replay is visualized, and the absolute SHAP values are calculated to explain the key factors that influence the deep reinforcement learning agent’s choices. The integration of DRL with explainable AI methods such as SHAP demonstrates significant potential for the advancement of robust and efficient counter-drone systems.
Spin orbit resonance cascade via core shell model: application to Mercury and Ganymede
Authors: Pinzari Gabriella , Scoppola Benedetto , Veglianti Matteo 
Published: September 2024

AbstractWe discuss a model describing the spin orbit resonance cascade. We assume that the body has a two-layer (core–shell) structure; it is composed of a thin external shell and an inner and heavier solid core that are interacting due to the presence of a viscous friction. We assume two sources of dissipation: a viscous one, depending on the relative angular velocity between core and shell and a tidal one, smaller than the first, due to the viscoelastic structure of the core. We show how these two sources of dissipation are needed for the capture in spin–orbit resonance. The shell and the core fall in resonance with different time scales if the viscous coupling between them is big enough. Finally, the tidal dissipation of the viscoelastic core, decreasing the eccentricity, brings the system out of the resonance in a third very long time scale. This mechanism of entry and exit from resonance ends in the 1 : 1 stable state.
Numerical Design Calculation of T-stubs at Elevated Temperatures
Authors: Der Batuhan , Wald František , Vild Martin 
Published: September 2024

Abstract
The failure of steel connections can lead to the progressive collapse of the entire structure. Accurate modelling of steel connections at elevated temperature allows structural fire engineers to design steel structures that may deal with the severity of a fire. The prEN 1993-1-14 proposes numerical design calculation for the static design check of steel connections. This paper presents a component-based finite element model (CBFEM) to design the T-stubs at elevated temperatures. The generated model is verified and validated against the results from the analytical model and experimental study. The resistance, failure modes and the load-deformation curves are used to validate and verify the CBFEM models for steel connection design at elevated temperatures. The results stated that the CBFEM is a practical design tool to model bolted connections at elevated temperatures and it is possible to apply the recommended 5% plastic limit strain by EN 1993-1-5 for fire design of bolted connections.
Decreased functional connectivity is associated with increased levels of Cerebral Spinal Fluid soluble-PDGFRβ, a marker of blood brain barrier breakdown, in older adults
Authors: Contreras Joey A. , Fujisaki Kimiko , Ortega Nancy E. , Barisano Giuseppe , Sagare Abhay , Pappas Ioannis , Chui Helena , Ringman John M. , Joe Elizabeth B. , Zlokovic Berislav V. , Toga Arthur W. , Pa Judy 
Published: September 2024

AbstractResting-state functional connectivity (FC) is suggested to be cross-sectionally associated with both vascular burden and Alzheimer's disease (AD) pathology. For instance, studies in pre-clinical AD subjects have shown increases of cerebral spinal fluid soluble platelet-derived growth factor receptor-β (CSF sPDGFRβ, a marker of BBB breakdown) but have not demonstrated if this vascular impairment affects neuronal dysfunction. It’s possible that increased levels of sPDGFRβ in the CSF may correlate with impaired FC in metabolically demanding brain regions (i.e. Default Mode Network, DMN). Our study aimed to investigate the relationship between these two markers in older individuals that were cognitively normal and had cognitive impairment. Eighty-nine older adults without dementia from the University of Southern California were selected from a larger cohort. Region of interest (ROI) to ROI analyses were conducted using DMN seed regions. Linear regression models measured significant associations between BOLD FC strength among seed-target regions and sPDGFRβ values, while covarying for age and sex. Comparison of a composite ROI created by averaging FC values between seed and all target regions among cognitively normal and impaired individuals was also examined. Using CSF sPDGFRβ as a biomarker of BBB breakdown, we report that increased breakdown correlated with decreased functional connectivity in DMN areas, specifically the PCC, and while the hippocampus exhibited an interaction effect using CDR score, this was an exploratory analysis that we feel can lead to further research. Ultimately, we found that BBB breakdown, as measured by CSF sPDGFRβ, is associated with neural networks, and decreased functional connections.
Troponin Elevation in Asymptomatic Cancer Patients: Unveiling Connections and Clinical Implications
Authors: Romann Sebastian W , Giannitsis Evangelos , Frey Norbert , Lehmann Lorenz H. 
Published: September 2024

Abstract
Purpose of the review
Elevated troponin levels are well established e.g., for the diagnosis of suspected acute coronary syndrome in symptomatic patients. In contrast, troponin elevations in asymptomatic cancer patients emerge as a complex phenomenon, challenging traditional perceptions of its association solely with cardiac events.

Recent findings
Recent data support the predictive value of cardiac biomarker for all-cause mortality and cardiotoxicity in cancer patients. This review gives an overview about the current literature about cardiac troponins in prediction and identification of high-risk cancer patients. The overview is focusing on diagnostic challenges, biomarker significance, and gaps of knowledge.

Summary
Latest publications highlight the relevance of cardiac troponin in risk analysis before cancer treatment as well as a potential diagnostic gatekeeper for further cardiological diagnostics and therapy.
Soft Expulsion: What Happens When School-Based Supports aren’t Enough
Authors: Hoffstein-Rahmey Diana , Giordano Keri , Murphy Kayla M. , Reizin-Friedman Rashel , Coyne Amanda 
Published: September 2024

AbstractVery limited research exists regarding the beliefs and practices of student support teams (SSTs), sometimes called child study teams or IEP teams, in settings with non-expulsion policies for young children with severely challenging behaviors. Previous research examined teacher and administrator beliefs and practices and found that they engage in practices related to soft expulsion (Murphy et al. in Child Youth Serv Rev 158:107441, 2024). Some school psychologists and SST members may also resort to soft expulsion, subtly pushing children out of their schools due to challenging behaviors (Zinsser et al. in Rev Educ Res 92(5):743–785, 2022). This study utilized an anonymous, online, self-report measure to investigate the practices and beliefs of SST members in early childhood education settings with non-expulsion policies. Participants included 108 school-based service providers in one state. The majority identified as school psychologists, held a Master’s degree, had between 1 and 5 years of experience, and worked 36–40 h per week. Results showed that most participants said they had the supports to meet the needs of children with severely challenging behaviors, yet most had worked with a child whose behaviors they were unable to manage. Our examination also uncovered indications of soft expulsion practices and a general lack of knowledge about existing non-expulsion policies. The implications arising from these beliefs and practices are examined and discussed.