bluuebunny/crossref_metadata_2025_split huggingface dataset:
Sex differences in ultramarathon performance in races with comparable numbers of males and females
Authors: Tiller Nicholas B. , Illidi Camilla R. 
Published: April 2024

There is a prominent sex-based difference in athletic performance such that males outperform females by 7%–14% in races from 100 m to marathon. In ultramarathons, the difference is often much smaller, leading to speculation that females are “built” for the sport. However, data are confounded by the low number of female participants; just 10%–30% in any given race. This study compared data from two ultramarathons where males and females competed in comparable numbers. There were 116 and 146 starters in the 50 mile and 100 mile races, respectively (52% female). Finish times were compared using t tests or Mann–Whitney U tests, a Chi-squared test of independence examined the relationship between sex and ranking, and multivariable linear regressions examined relationships between sex, age, and finish time. There were 96 finishers in the 50 mile race (46% female) and 91 finishers in the 100 mile race (45% female). The median finish time for 50 miles was 12.64 ± 2.11 h with no difference between sexes (1.2%, p = 0.441). However, the top-10 males finished the race ∼85 min faster than the top-10 females (13.8%, p = 0.045). The mean finish time for 100 miles was 31.58 ± 3.36 h with no difference between sexes (3.2%, p = 0.132) and no difference between the top-10 males and top-10 females (4.4%, p = 0.150). Linear and multivariable regression models using sex and age were unable to predict overall finish time in either race. In conclusion, the sex-based performance discrepancy shrinks to 1%–3% in ultramarathons when males and females compete in comparable numbers. Top-performing males still retain a considerable advantage over shorter distances.
Effects of Surya Namaskar yoga on perceived stress, anthropometric parameters, and physical fitness in overweight and obese female university students: A randomized controlled trial
Authors: Suwannakul Boonsita , Sangkarit Noppharath , Thammachai Ajchamon , Tapanya Weerasak 
Published: April 2024

Background: Stress and sedentary lifestyles negatively impact the physical fitness of overweight and obese female university students. Physical activity has been shown to promote psychological as well as physical wellness. However, the effects of Surya Namaskar (SN) yoga on stress and physical fitness remain unclear.Objective: This study aimed to compare the physical fitness, anthropometric measures, and perceived stress between the SN yoga training program group and the control group.Methods: In a randomized controlled study, 44 overweight and obese female university students participated. For 8 weeks, the exercise group received training in SN yoga, whereas the control group was not permitted to participate in any form of exercise. At baseline and after 8 weeks of training, all participants completed the Thai Perceived Stress Scale-10 (T-PSS-10), and assessed the body mass index (BMI), waist–hip ratio, body fat percentage, maximum oxygen consumption (VO2max), and muscle strength and flexibility. We used the dependent t-test or Wilcoxon sign rank test to examine the differences between the T-PSS-10 and physical fitness within each group. The statistical differences of all parameters between the two groups were compared using an independent t-test or a Mann–Whitney U test. A p-[Formula: see text] was considered statistically significant.Results: Compared to the baseline, the SN yoga group’s post-training period had a significant increase ([Formula: see text]) in forward back flexibility, hand grip strength, leg strength, and VO2max, while a significant decrease ([Formula: see text]) in T-PSS-10 scores and BMI. In addition, we found a significant difference between the both groups in forward back flexibility and T-PSS-10 scores in the post-training period ([Formula: see text] and [Formula: see text], respectively).Conclusion: This study’s findings demonstrated that SN yoga is a useful exercise for enhancing overweight and obese female university students’ perceived stress scales and physical fitness.
The impacts of igneous systems on sedimentary basins and their energy resources
Authors: Kilhams Ben , Holford Simon , Gardiner David , Gozzard Simon , Layfield Lucinda , McLean Charlotte , Thackrey Scott , Watson Douglas 
Published: April 2024

Abstract
This introduction briefly outlines the potential impact of igneous processes on sedimentary basins and their energy resources. The associated volume includes contributions across a range of scales; from margin-wide rifting to impacts on reservoir quality. The impact of igneous systems on elements such as tectonics, heat flow, hydrocarbon (and other) fluid charge, structuration and reservoirs are reviewed with a direct impact on hydrocarbon exploration and production, geothermal and carbon capture storage projects. A strong understanding of these commonly overlooked, igneous processes is likely to enable successful exploration for additional energy resources such as frontier hydrocarbons, geothermal heat, hydrogen as well as helium.
Assessing the application of ultradeep azimuthal electromagnetic resistivity tools in detecting igneous formations ahead of the transmitter
Authors: Smart Leanne , Maguire Alistair , Layfield Lucinda K. , Bower Mike , Schofield Nick 
Published: April 2024

The Faroe–Shetland basin (FSB) is considered challenging for oil and gas exploration due to its complex geological structure and limited exploration drilling activity. The costs of drilling in the basin are the most expensive within the United Kingdom Continental Shelf (UKCS) due to varying geological and engineering challenges. The prevalence of igneous sill complexes within the basin present drilling hazards that contribute to drilling nonproductive time (NPT) and are documented in multiple studies.
Recent advancements in ultradeep azimuthal resistivity (UDAR) technology which utilizes the look-ahead portion of the electromagnetic (EM) signal presents an opportunity to assess its suitability as a derisking tool to ‘look-ahead’ and detect igneous intrusions in volcanic basins. This paper utilizes resistivity log data from Well 214/28-1, which encountered multiple igneous intrusions and is used to validate the ability of these tools to detect the intrusions.
The EM look-ahead technology detected with good confidence the top of an igneous intrusion 72 ft (22 m) true vertical depth (TVD) ahead of the transmitter and once drilled, detect the base of the intrusion 54 ft (16 m) TVD ahead of transmitter. The detection of the intrusions prior to drilling and information on intrusion thickness can enable proactive drilling decisions to reduce nonproductive time.
"Innovative Technologies or Invasive Technologies?": Exploring Design Challenges of Privacy Protection With Smart Home in Jordan
Authors: Albayaydh Wael , Flechais Ivan 
Published: April 2024

The growing adoption of smart devices has fuelled privacy concerns, and prior research has highlighted the privacy of bystanders: individuals who are subjected to the smart device use of others. Most of this research has focused on households in Western contexts (i.e., Europe and North America), but few studies have explored the design challenges of protecting bystanders, and even fewer have explored these in Muslim Arab Middle Eastern settings, such as Jordan.
We conduct 44 interviews with users (i.e., families, domestic workers), local and international business leaders, and smart device designers to explore design challenges for privacy protection in the Jordanian context. Our analysis highlights the importance of considering contextual influences and power dynamics, localization and design guidelines, innovative technologies, awareness to design, and regulation. This paper concludes with recommendations for technical, social, business, and legal interventions to improve data protection design of smart devices in Jordan.
Synthetiq: Fast and Versatile Quantum Circuit Synthesis
Authors: Paradis Anouk , Dekoninck Jasper , Bichsel Benjamin , Vechev Martin 
Published: April 2024

To implement quantum algorithms on quantum computers it is crucial to decompose their operators into the limited gate set supported by those computers. Unfortunately, existing works automating this essential task are generally slow and only applicable to narrow use cases.We present Synthetiq, a method to synthesize quantum circuits implementing a given specification over arbitrary finite gate sets, which is faster and more versatile than existing works. Synthetiq utilizes Simulated Annealing instantiated with a novel, domain-specific energy function that allows developers to leverage partial specifications for better efficiency. Synthetiq further couples this synthesis method with a custom simplification pass, to ensure efficiency of the found circuits.
We experimentally demonstrate that Synthetiq can generate better implementations than were previously known for multiple relevant quantum operators including RCCCX, CCT, CCiSWAP, C√SWAP, and C√iSWAP. Our extensive evaluation also demonstrates Synthetiq frequently outperforms a wide variety of more specialized tools in their own domains, including (i) ‍the well-studied task of synthesizing fully specified operators in the Clifford+T gate set, (ii) ‍є-approximate synthesis of multi-qubit operators in the same gate set, and (iii) ‍synthesis tasks with custom gate sets. On all those tasks, Synthetiq is typically one to two orders of magnitude faster than previous state-of-the-art and can tackle problems that were previously out of the reach of any synthesis tool.
Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
Authors: Zilberstein Noam , Saliling Angelina , Silva Alexandra 
Published: April 2024

Separation logic’s compositionality and local reasoning properties have led to significant advances in scalable static analysis. But program analysis has new challenges—many programs displaycomputational effectsand, orthogonally, static analyzers must handleincorrectnesstoo. We present Outcome Separation Logic (OSL), a program logic that is sound for both correctness and incorrectness reasoning in programs with varying effects. OSL has a frame rule—just like separation logic—but uses different underlying assumptions that open up local reasoning to a larger class of properties than can be handled by any single existing logic.Building on this foundational theory, we also define symbolic execution algorithms that use bi-abduction to derive specifications for programs with effects. This involves a newtri-abductionprocedure to analyze programs whose execution branches due to effects such as nondeterministic or probabilistic choice. This work furthers the compositionality promised by separation logic by opening up the possibility for greater reuse of analysis tools across two dimensions: bug-finding vs verification in programs with varying effects.
Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning
Authors: Ryan Gabriel , Cetin Burcu , Lim Yongwhan , Jana Suman 
Published: April 2024

Testing for data races in the Linux OS kernel is challenging because there is an exponentially large space of system calls and thread interleavings that can potentially lead to concurrent executions with races. In this work, we introduce a new approach for modeling execution trace feasibility and apply it to Linux OS Kernel race prediction. To address the fundamental scalability challenge posed by the exponentially large domain of possible execution traces, we decompose the task of predicting trace feasibility into independent prediction subtasks encoded as learning Boolean indicator functions for specific memory accesses, and apply a sparse fourier learning approach to learning each feasibility subtask.
Boolean functions that are sparse in their fourier domain can be efficiently learned by estimating the coefficients of their fourier expansion. Since the feasibility of each memory access depends on only a few other relevant memory accesses or system calls (e.g., relevant inter-thread communications), we observe that trace feasibility functions often have this sparsity property and can be learned efficiently. We use learned trace feasibility functions in conjunction with conservative alias analysis to implement a kernel race-testing system, HBFourier, that uses sparse fourier learning to efficiently model feasibility when making predictions. We evaluate our approach on a recent Linux development kernel and show it finds 44 more races with 15.7% more accurate race predictions than the next best performing system in our evaluation, in addition to identifying 5 new race bugs confirmed by kernel developers.
Functional Ownership through Fractional Uniqueness
Authors: Marshall Daniel , Orchard Dominic 
Published: April 2024

Ownership and borrowing systems, designed to enforce safe memory management without the need for garbage collection, have been brought to the fore by the Rust programming language. Rust also aims to bring some guarantees offered by functional programming into the realm of performant systems code, but the type system is largely separate from the ownership model, with type and borrow checking happening in separate compilation phases. Recent models such as RustBelt and Oxide aim to formalise Rust in depth, but there is less focus on integrating the basic ideas into more traditional type systems. An approach designed to expose an essential core for ownership and borrowing would open the door for functional languages to borrow concepts found in Rust and other ownership frameworks, so that more programmers can enjoy their benefits.
One strategy for managing memory in a functional setting is through uniqueness types, but these offer a coarse-grained view: either a value has exactly one reference, and can be mutated safely, or it cannot, since other references may exist. Recent work demonstrates that linear and uniqueness types can be combined in a single system to offer restrictions on program behaviour and guarantees about memory usage. We develop this connection further, showing that just as graded type systems like those of Granule and Idris generalise linearity, a Rust-like ownership model arises as a graded generalisation of uniqueness. We combine fractional permissions with grading to give the first account of ownership and borrowing that smoothly integrates into a standard type system alongside linearity and graded types, and extend Granule accordingly with these ideas.
Corrigendum: Binder-Free Flexible Chickpea Pod Derived Activated Carbon-Carbon Nanofiber Composite for Supercapacitor Application [ECS J. Solid State Sci. Technol.,
13, 011104 (2024)]
Authors: Malothu Usha Rani , Donthula Kiran , Kakunuri Manohar , Nageswara Rao G.V.S. 
Published: April 2024

The published paper was produced from a poorly-edited file which resulted in numerous typographical and grammatical errors, leading to confusion about the experiments and results reported. The paper has been edited and the corrected version is shown here.
In the present study, a novel carbon-carbon composite electrode was prepared by embedding activated carbon derived from chickpea pods and evaluating its potential as an electrode for supercapacitors. A simple, single-step electrospinning technique was used for the synthesis of activated carbon-carbon nanofiber composite. The synthesized activated carbon-carbon nanofiber composite electrode is flexible and binder-free with high specific surface area, micro and meso pores, interconnected fiber-to-flake morphology, and possesses high graphitization. Additionally, rapid electrolyte diffusion has resulted in a low charge transfer resistance due to interconnected morphology. In 6 M KOH electrolyte, the composite binder-free electrode shows a specific capacitance of 147 F g−1 at 0.5 A g−1 compared to activated carbon electrodes that showed a specific capacitance of 120 F g−1 at 0.5 A g−1. It exhibits an energy density of 13 Wh k g−1 at 0.366 W k g−1 power density and also shows impressive cyclic stability by retaining 93.5% of initial capacitance till 1200 cycles at 1 A g−1. Overall, the study presents an easy-to-use, low-cost, eco-friendly, and flexible electrode for supercapacitors that is free of binder.
Distributed Sensitivity to Syntax and Semantics throughout the Language Network
Authors: Shain Cory , Kean Hope , Casto Colton , Lipkin Benjamin , Affourtit Josef , Siegelman Matthew , Mollica Francis , Fedorenko Evelina 
Published: April 2024

Abstract
Human language is expressive because it is compositional: The meaning of a sentence (semantics) can be inferred from its structure (syntax). It is commonly believed that language syntax and semantics are processed by distinct brain regions. Here, we revisit this claim using precision fMRI methods to capture separation or overlap of function in the brains of individual participants. Contrary to prior claims, we find distributed sensitivity to both syntax and semantics throughout a broad frontotemporal brain network. Our results join a growing body of evidence for an integrated network for language in the human brain within which internal specialization is primarily a matter of degree rather than kind, in contrast with influential proposals that advocate distinct specialization of different brain areas for different types of linguistic functions.
Pupil Size and Eye Movements Differently Index Effort in Both Younger and Older Adults
Authors: Herrmann Björn , Ryan Jennifer D. 
Published: April 2024

Abstract
The assessment of mental effort is increasingly relevant in neurocognitive and life span domains. Pupillometry, the measure of the pupil size, is often used to assess effort but has disadvantages. Analysis of eye movements may provide an alternative, but research has been limited to easy and difficult task demands in younger adults. An effort measure must be sensitive to the whole effort profile, including “giving up” effort investment, and capture effort in different age groups. The current study comprised three experiments in which younger (n = 66) and older (n = 44) adults listened to speech masked by background babble at different signal-to-noise ratios associated with easy, difficult, and impossible speech comprehension. We expected individuals to invest little effort for easy and impossible speech (giving up) but to exert effort for difficult speech. Indeed, pupil size was largest for difficult but lower for easy and impossible speech. In contrast, gaze dispersion decreased with increasing speech masking in both age groups. Critically, gaze dispersion during difficult speech returned to levels similar to easy speech after sentence offset, when acoustic stimulation was similar across conditions, whereas gaze dispersion during impossible speech continued to be reduced. These findings show that a reduction in eye movements is not a byproduct of acoustic factors, but instead suggest that neurocognitive processes, different from arousal-related systems regulating the pupil size, drive reduced eye movements during high task demands. The current data thus show that effort in one sensory domain (audition) differentially impacts distinct functional properties in another sensory domain (vision).
Early Rise and Persistent Inhibition of Electromyography during Failed Stopping
Authors: Fisher Mitchell , Trinh Hoa , O’Neill Jessica , Greenhouse Ian 
Published: April 2024

Abstract
Reactively canceling movements is a vital feature of the motor system to ensure safety. This behavior can be studied in the laboratory using the stop-signal task. There remains ambiguity about whether a “point-of-no-return” exists, after which a response cannot be aborted. A separate question concerns whether motor system inhibition associated with attempted stopping persists when stopping is unsuccessful. We address these two questions using electromyography (EMG) in two stop-signal task experiments. Experiment 1 (n = 24) involved simple right and left index finger responses in separate task blocks. Experiment 2 (n = 28) involved a response choice between the right index and pinky fingers. To evaluate the approximate point of no return, we measured EMG in responding fingers during the 100 msec preceding the stop signal and observed significantly greater EMG amplitudes during failed than successful stopping in both experiments. Thus, EMG before the stop signal differentiated success, regardless of whether there was a response choice. To address whether motor inhibition persists after failed stopping, we assessed EMG peak-to-offset durations and slopes (i.e., rate of EMG decline) for go, failed stop, and successful stop (partial response) trials. EMG peak-to-offset was shorter and steeper for failed stopping compared to go and successful stop partial response trials, suggesting motor inhibition persists even when failing to stop. These findings indicate EMG is sensitive to a “transition zone” at which the relative likelihood of stop failure versus success inverts and also suggest peak-to-offset time of response-related EMG activity during failed stopping reflects stopping-related inhibition.
A Comprehensive Analysis of the Spatial and Seasonal Shifts in Tornado Activity in the United States
Authors: Coleman Timothy A. , Thompson Richard L. , Forbes Gregory S. 
Published: April 2024

Abstract
Recent articles have shown that the long-portrayed “tornado alley” in the central plains is not an accurate portrayal of current tornado frequency over the United States. The greatest tornado threat now covers parts of the eastern United States. This paper shows that there has been a true spatial shift in tornado frequency, dispelling any misconceptions caused by the better visibility of tornadoes in the Great Plains versus the eastern United States. Using F/EF1+ tornadoes (the dataset least affected by increasing awareness of tornado locations or by changing rating methods), a 1° × 1° grid, and data for the two 35-yr periods 1951–85 and 1986–2020, we show that since 1951, by critical measures (tornadogenesis events, tornado days, and tornado pathlength), tornado activity has shifted away from the Great Plains and toward the Midwest and Southeast United States. In addition, tornadoes have trended away from the warm season, especially the summer, and toward the cold season since 1951. Annual trends in tornadoes by season (winter, spring, summer, and autumn) confirm this. All of the increase in F/EF1+ tornadoes in the eastern United States is due to an increase in cold season tornadoes. Tornadoes in the western United States decreased 25% (from 8451 during 1951–85 to 6307 during 1986–2020), while tornadoes in the eastern United States. increased 12% (from 9469 during 1951–85 to 10 595 during 1986–2020). The cities with the largest increases and decreases in tornado activity since 1951 are determined.

Significance Statement
This paper quantifies in many ways (tornadoes, tornado days, and pathlength) the geographical shift in tornadoes from the central to the eastern United States and from the warm season to the cold season, since 1951. Where and when tornadoes most frequently occur is significant not only for the research and operational meteorology communities but also for public perception and risk awareness. Some research studies have shown that tornado casualties are more likely in the eastern United States and the cold season because of preconceived notions of a “tornado alley” in the Great Plains and a “tornado season” in the spring. Publication of the results of this research might help ameliorate this problem.