bluuebunny/crossref_metadata_2025_split huggingface dataset:
Health-promoting behaviours and concussion history are associated with cognitive function, mood-related symptoms and emotional–behavioural dyscontrol in former NFL players: an NFL-LONG Study
Authors: Walton Samuel R , Kerr Zachary Y , Brett Benjamin L , Chandran Avinash , DeFreese J D , Smith-Ryan Abbie E , Stoner Lee , Echemendia Ruben J , McCrea Michael , Meehan, III William P , Guskiewicz Kevin M 
Published: January 2021

Objectives
To examine the relationships among self-reported sport-related concussion (SRC) history and current health-promoting behaviours (exercise frequency, diet quality and sleep duration) with self-reported measures of brain health (cognitive function, symptoms of depression and anxiety and emotional–behavioural dyscontrol) in former NFL players.

Methods
In this cross-sectional study, a questionnaire was sent to former NFL players. Respondents reported SRC history (categorical: 0; 1–2; 3–5; 6–9; 10+ concussions), number of moderate-to-vigorous aerobic and resistance exercise sessions per week, diet quality (Rapid Eating Assessment for Participants—Shortened) and average nightly sleep duration. Outcomes were Patient-Reported Outcomes Measurement Information System Cognitive Function, Depression, and Anxiety, and Neuro-QoL Emotional-Behavioral Dyscontrol domain T-scores. Multivariable linear regression models were fit for each outcome with SRC history, exercise frequency, diet quality and sleep duration as explanatory variables alongside select covariates.

Results
Multivariable regression models (n=1784) explained approximately 33%–38% of the variance in each outcome. For all outcomes, SRC history (0.144≤|β|≤0.217) was associated with poorer functioning, while exercise frequency (0.064≤|β|≤0.088) and diet quality (0.057≤|β|≤0.086) were associated with better functioning. Sleeping under 6 hours per night (0.061≤|β|≤0.093) was associated with worse depressive symptoms, anxiety and emotional–behavioural dyscontrol.

Conclusion
Several variables appear to be associated with mood and perceived cognitive function in former NFL players. SRC history is non-modifiable in former athletes; however, the effects of increasing postplaying career exercise frequency, making dietary improvements, and obtaining adequate sleep represent important potential opportunities for preventative and therapeutic interventions.
Geographical clustering and socioeconomic factors associated with hypoglycemic events requiring emergency assistance in Andalusia (Spain)
Authors: Gomez-Peralta Fernando , Abreu Cristina , Benito Manuel , Barranco Rafael J 
Published: January 2021

IntroductionThe geographical distribution of hypoglycemic events requiring emergency assistance was explored in Andalusia (Spain), and potentially associated societal factors were determined.Research design and methodsThis was a database analysis of hypoglycemia requiring prehospital emergency assistance from the Public Company for Health Emergencies (Empresa Pública de Emergencias Sanitarias (EPES)) in Andalusia during 2012, which served 8 393 159 people. Databases of the National Statistics Institute, Basic Spatial Data of Andalusia and System of Multiterritorial Information of Andalusia were used to retrieve spatial data and population characteristics. Geographic Information System software (QGIS and GeoDA) was used for analysis and linkage across databases. Spatial analyses of geographical location influence in hypoglycemic events were assessed using Moran’s I statistics, and linear regressions were used to determine their association with population characteristics.ResultsThe EPES attended 1 137 738 calls requesting medical assistance, with a mean hypoglycemia incidence of 95.0±61.6 cases per 100 000 inhabitants. There were significant differences in hypoglycemia incidence between basic healthcare zones attributable to their geographical location in the overall population (Moran’s I index 0.122, z-score 7.870, p=0.001), women (Moran’s I index 0.088, z-score 6.285, p=0.001), men (Moran’s I index 0.076, z-score 4.914, p=0.001) and aged >64 years (Moran’s I index 0.147, z-score 9.753, p=0.001). Hypoglycemia incidence was higher within unemployed individuals (β=0.003, p=0.001) and unemployed women (β=0.005, p=0.001), while lower within individuals aged <16 years (β=−0.004, p=0.040), higher academic level (secondary studies) (β=−0.003, p=0.004) and women with secondary studies (β=−0.005, p<0.001). In subjects aged >64 years, lower rate of hypoglycemia was associated with more single-person homes (β=−0.008, p=0.022) and sports facilities (β=−0.342, p=0.012).ConclusionsThis analysis supports the geographical distribution of hypoglycemia in the overall population, both genders and subjects aged >64 years, which was affected by societal factors such as unemployment, literacy/education, housing and sports facilities. These data can be useful to design specific prevention programs.
Trends in player body mass at men’s and women’s Rugby World Cups: a plateau in body mass and differences in emerging rugby nations
Authors: Tucker Ross , Lancaster Stuart , Davies Phil , Street Gary , Starling Lindsay , de Coning Cian , Brown James 
Published: January 2021

ObjectivesThis study assessed the mass of international rugby players in the men’s and women’s Rugby World Cups between 1991 and 2019. The objective was to quantify changes in mass of players by position, and to compare changes between men and women, and between established (Tier 1 (T1)) and emerging (Tier 2 (T2)) rugby nations.SettingRugby World Cups from 1991 to 2019 for men’s players and 2010 to 2017 for women’s players.Participants4447 elite male and 958 elite female players.Primary and secondary outcome measuresPlayer body mass, grouped as men and women, T1 and T2 nations, and by playing position, assessed over time.ResultsMen’s player mass increased significantly between 1991 and 2019 (T1 overall 9.7% increase), but this increase occurred almost entirely up to 2011. Women’s forwards mass increased by 4.8% in T1, with no changes in T2 or backs from either tier. Significant differences in mass were found between T1 and T2 forwards and backs for both men and women.ConclusionsThe body mass of men’s players has stabilised after initial increases following professionalisation. Player body mass may be approaching a plateau, beyond which no further performance advantages occur. Changes to laws and tactical approaches by coaches may have contributed to this, by changing match demands on players, necessitating endurance, agility and speed. Trends in the evolution of T2 players suggest a barrier to identifying and developing heavy athletic players, and may require intervention to ensure competitive parity.
Can police shootings be reduced by requiring officers to document when they point firearms at citizens?
Authors: Shjarback John A , White Michael D , Bishopp Stephen A 
Published: January 2021

ObjectiveTo examine the impact of a novel firearm ‘pointing’ policy that requires officers to document when they directly point their guns at citizens.MethodsSixteen years (2003–2018) of narrative officer-involved shooting (OIS) reports from the Dallas Police Department were qualitatively coded to explore both the total frequency and specific characteristics of OIS before and after the policy change in 2013.Resultsχ2tests found that the firearm pointing policy was associated with a reduction in the proportion of ‘threat perception failure’ shootings (ie, those where an officer mistakes an item for a gun). Auto Regressive Integrated Moving Average analysis found that the policy change was associated with a gradual, permanent reduction in total OIS; however, that impact was not immediate.ConclusionsFirearm pointing policies have the potential to alter organisational behaviour, particularly in highly discretionary shootings. It is unclear whether the specific mechanisms for the changes include more accountability through constrained discretion, reduced options to handle situations once officers’ guns are drawn and pointed, or an effect on officers’ timing and vision during ambiguous scenarios.Policy implicationsAlthough organisational change may be a long and complex process, reductions in OIS can prevent serious injuries and death. The policy change did not lead to an increase in the proportion of officers injured during OIS incidents.
Natural recovery of skid trails: a review
Authors: DeArmond Daniel , Ferraz João B.S. , Higuchi Niro 
Published: January 2021

In recent years, the study of skid trail recovery processes has gained momentum. In this review, 121 studies on various aspects of skid trail recovery were evaluated to determine when, where, and how the dominant factors that influence the process of recuperation occur. These studies were located proportionally in the following forest biomes: temperate (60%), tropical (31%), and boreal (9%). Research focused mainly on soil physical properties to ascertain if there had been evidence of recovery. The majority of studies of a decade or less after abandonment demonstrated that heavily used skid trails had not recovered. On the contrary, lightly used skid trails did present full recoveries over the same time span. Soil recovery tended to occur in medium- to coarse-textured soils in temperate and boreal forests. Considering all forest biomes, the impacts of compaction persisted at least two to five decades after logging operations. The impacts were evident in diminished tree heights and volumes from trees growing on skid trails. The last 50 years of research indicates that skid trails, globally, do recover from compaction, albeit slowly.
THE LONG-TERM CHANGES OF EMISSION DRIVING FORCES IN EUROPEAN POWER AND HEAT SECTOR AND THEIR IMPACT ON THE DECARBONIZATION PATHWAYS IN EU ENERGY SECTOR SINCE 1990
Authors: NIEMIERKA ELŻBIETA , JADWISZCZAK PIOTR 
Published: January 2021

The Public Electricity and Heat Production (PEHP) is the most emissive sector in European economy. The characteristic features of PEHP contribute to the importance of its mitigation role. In this study, the decarbonization potential of energy sector was retrospectively analyzed. Proposed algorithm contained, at the first layer, the year-by-year data analysis and calculation while at the second graphical interpretation and pattern grouping. Despite the double-layering, the developed approach included the three following stepwise stages: the CO2 emission alternatives scenarios pathways methodology, the CO2 emission driving forces modes and influence weight methodology, and the transformation pattern identifying and grouping. Based on 1990–2017 CO2 emission inventories, the investigation of long-term PEHP decarbonization in 26 European countries was performed, in year-by-year and country-by-country processing. All results and findings have become the foundation for describing achieved decarbonization goals and 27 years mitigation ways. The Energy Consumption (EC) and Emission Factor (EF) have been pointed as a key driving forces of CO2 emission and as a key development indicator of PEHP sectoral transformation structure. Based on the developed country-by-country graphical interpretation interface, the five key patterns of PEHP decarbonization processes in European countries were observed and defined. The algorithm which has been applied and tested in 26 countries for 27 years was proved to be a universal and flexible tool to determine the lack of a utilitarian path of PEHP CO2 emission mitigation in Europe.
AI education matters
Authors: Neller Todd W. 
Published: January 2021

In this column, we recount the history of EAAI mentored undergraduate research challenges from 2014 through the present and share a vision of how such offerings may become more diverse and engage a broader range of faculty mentors and undergraduate researchers.
Unlike many academic disciplines, Computer Science undergraduate majors currently are not usually required to take or even offered a research methods course. Even so, many graduate schools desire to admit graduate students with undergraduate research experience. The EAAI Symposium has historically affirmed the value of mentored undergraduate research as an important part of undergraduate AI education. It has expressed this value through the support of a number of mentored undergraduate research challenges, described below.
A computational interpretation of compact closed categories: reversible programming with negative and fractional types
Authors: Chen Chao-Hong , Sabry Amr 
Published: January 2021

Compact closed categories include objects representing higher-order functions and are well-established as models of linear logic, concurrency, and quantum computing. We show that it is possible to construct such compact closed categories for conventional sum and product types by defining a dual to sum types, a negative type, and a dual to product types, a fractional type. Inspired by the categorical semantics, we define a sound operational semantics for negative and fractional types in which a negative type represents a computational effect that ``reverses execution flow'' and a fractional type represents a computational effect that ``garbage collects'' particular values or throws exceptions.Specifically, we extend a first-order reversible language of type isomorphisms with negative and fractional types, specify an operational semantics for each extension, and prove that each extension forms a compact closed category. We furthermore show that both operational semantics can be merged using the standard combination of backtracking and exceptions resulting in a smooth interoperability of negative and fractional types. We illustrate the expressiveness of this combination by writing a reversible SAT solver that uses backtracking search along freshly allocated and de-allocated locations. The operational semantics, most of its meta-theoretic properties, and all examples are formalized in a supplementary Agda package.
Verifying correct usage of context-free API protocols
Authors: Ferles Kostas , Stephens Jon , Dillig Isil 
Published: January 2021

Several real-world libraries (e.g., reentrant locks, GUI frameworks, serialization libraries) require their clients to use the provided API in a manner that conforms to a context-free specification. Motivated by this observation, this paper describes a new technique for verifying the correct usage of context-free API protocols. The key idea underlying our technique is to over-approximate the program’s feasible API call sequences using a context-free grammar (CFG) and then check language inclusion between this grammar and the specification. However, since this inclusion check may fail due to imprecision in the program’s CFG abstraction, we propose a novel refinement technique to progressively improve the CFG. In particular, our method obtains counterexamples from CFG inclusion queries and uses them to introduce new non-terminals and productions to the grammar while still over-approximating the program’s relevant behavior.
We have implemented the proposed algorithm in a tool called CFPChecker and evaluate it on 10 popular Java applications that use at least one API with a context-free specification. Our evaluation shows that CFPChecker is able to verify correct usage of the API in clients that use it correctly and produces counterexamples for those that do not. We also compare our method against three relevant baselines and demonstrate that CFPChecker enables verification of safety properties that are beyond the reach of existing tools.
The Cainozoic to present-day record of Circum-Mediterranean, NE Atlantic and North Sea Cantharidinae and Trochinae (Trochoidea, Gastropoda)—a synopsis
Authors: HARZHAUSER MATHIAS 
Published: January 2021

Evolutionary history, diversity and (paleo)geographic distribution of Cainozoic to present-day species of the Trochidae subfamilies Cantharidinae and Trochinae are discussed based on an extensive literature survey. In total, 393 species-level taxa, assigned to 24 genera and subgenera, are listed from the NE Atlantic, the E Atlantic, the North Sea, the (Proto)-Mediterranean Sea, the Central Paratethys Sea and the Eastern Paratethys Sea. Short diagnosis and subjective and objective junior synonyms for genus-level taxa are given. Stratigraphic ranges and geographic distribution are listed for species-level taxa. The European fossil record suggests a first major radiation during the middle Eocene and a second diversity pulse during the Miocene, when most extant genera were already present. At the species level, however, the present-day fauna is geologically very young, originating during the Pleistocene and Holocene. Overall, no convincing correlation of evolution and diversity of European Cantharidinae and Trochinae with major geodynamic events (e.g. Tethys Closure) can be observed. An exception is the somewhat overlooked spectacular radiation of Cantharidinae following the hydrological isolation of the Paratethys Sea during the late Miocene. The critical evaluation of the fossil record provides anchor points to test molecular phylogenies. A major discrepancy between both approaches appears only for Jujubinus, which suggests that Paleocene species have to be excluded from the genus. Gibbuliculus nov. gen. is introduced as new genus for a group of Oligocene to Pleistocene species, placed so far in “Colliculus” sensu auctores non Monterosato, 1888. Anceps siminescui nov. nom, Gibbuliculus saccoi nov. nom, Gibbula tavanii nov. nom., Gibbula s.l. lovellreevei nov. nom. and Gibbula s.l. steiningeri nov. nom. are proposed as new names for the preoccupied Trochus semistriatus Siminescu & Barbu, 1940, Gibbula protumida Sacco, 1896, Gibbula minima Tavani, 1939, Trochus (Gibbula) reevei Harmer, 1923 and Trochus amedei bicincta Schaffer, 1912.
A novel high-content screening approach for the elucidation of C. jejuni biofilm composition and integrity
Authors: Whelan Matthew V. X. , Simpson Jeremy C. , Ó Cróinín Tadhg 
Published: January 2021

Abstract
Background
Campylobacter jejuni is the leading cause of bacterial gastroenteritis worldwide and the main source of infection is contaminated chicken meat. Although this important human pathogen is an obligate microaerophile, it must survive atmospheric oxygen conditions to allow transmission from contaminated chicken meat to humans. It is becoming increasingly evident that formation of biofilm plays a key role in the survival of this organism for extended periods on poultry products. We have recently demonstrated a novel inducible model for the study of adherent C. jejuni biofilm formation under aerobic conditions. By taking advantage of supercoiling mediated gene regulation, incubation of C. jejuni with subinhibitory concentrations of the Gyrase B inhibitor novobiocin was shown to promote the consistent formation of metabolically active adherent biofilm.

Results
In this study, we implement this model in conjunction with the fluorescent markers: TAMRA (live cells) and SytoX (dead cells, eDNA) to develop a novel systematic high-content imaging approach and describe how it can be implemented to gain quantifiable information about the integrity and extracellular polymeric substance (EPS) composition of adherent C. jejuni biofilm in aerobic conditions. We show that this produces a model with a consistent, homogenous biofilm that can be induced and used to screen a range of inhibitors of biofilm adherence and matrix formation.

Conclusions
This model allows for the first time a high throughput analysis of C. jejuni biofilms which will be invaluable in enabling researchers to develop mechanisms to disrupt these biofilms and reduce the viability of these bacteria under aerobic conditions.
A dimension reduction technique applied to regression on high dimension, low sample size neurophysiological data sets
Authors: Santana Adrielle C. , Barbosa Adriano V. , Yehia Hani C. , Laboissière Rafael 
Published: January 2021

Abstract
Background
A common problem in neurophysiological signal processing is the extraction of meaningful information from high dimension, low sample size data (HDLSS). We present RoLDSIS (regression on low-dimension spanned input space), a regression technique based on dimensionality reduction that constrains the solution to the subspace spanned by the available observations. This avoids regularization parameters in the regression procedure, as needed in shrinkage regression methods.

Results
We applied RoLDSIS to the EEG data collected in a phonemic identification experiment. In the experiment, morphed syllables in the continuum /da/–/ta/ were presented as acoustic stimuli to the participants and the event-related potentials (ERP) were recorded and then represented as a set of features in the time-frequency domain via the discrete wavelet transform. Each set of stimuli was chosen from a preliminary identification task executed by the participant. Physical and psychophysical attributes were associated to each stimulus. RoLDSIS was then used to infer the neurophysiological axes, in the feature space, associated with each attribute. We show that these axes can be reliably estimated and that their separation is correlated with the individual strength of phonemic categorization. The results provided by RoLDSIS are interpretable in the time-frequency domain and may be used to infer the neurophysiological correlates of phonemic categorization. A comparison with commonly used regularized regression techniques was carried out by cross-validation.

Conclusion
The prediction errors obtained by RoLDSIS are comparable to those obtained with Ridge Regression and smaller than those obtained with LASSO and SPLS. However, RoLDSIS achieves this without the need for cross-validation, a procedure that requires the extraction of a large amount of observations from the data and, consequently, a decreased signal-to-noise ratio when averaging trials. We show that, even though RoLDSIS is a simple technique, it is suitable for the processing and interpretation of neurophysiological signals.