bluuebunny/crossref_metadata_2025_split huggingface dataset:
Search-Based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions
Authors: Formica Federico , Fan Tony , Menghi Claudio 
Published: September 2023

Search-based software testing (SBST) typically relies on fitness functions to guide the search exploration toward software failures. There are two main techniques to define fitness functions: (a) automated fitness function computation from the specification of the system requirements, and (b) manual fitness function design. Both techniques have advantages. The former uses information from the system requirements to guide the search toward portions of the input domain more likely to contain failures. The latter uses the engineers’ domain knowledge.

We propose
ATheNA
, a novel SBST framework that combines fitness functions automatically generated from requirements specifications and those manually defined by engineers. We design and implement
ATheNA-S
, an instance of
ATheNA
that targets Simulink
®
models. We evaluate
ATheNA-S
by considering a large set of models from different domains. Our results show that
ATheNA-S
generates more failure-revealing test cases than existing baseline tools and that the difference between the runtime performance of
ATheNA-S
and the baseline tools is not statistically significant. We also assess whether
ATheNA-S
could generate failure-revealing test cases when applied to two representative case studies: one from the automotive domain and one from the medical domain. Our results show that
ATheNA-S
successfully revealed a requirement violation in our case studies.
EDIL3 as an Angiogenic Target of Immune Exclusion Following Checkpoint Blockade
Authors: Tabasum Saba , Thapa Dinesh , Giobbie-Hurder Anita , Weirather Jason L. , Campisi Marco , Schol Pieter J. , Li Xiaoyu , Li Jingjing , Yoon Charles H. , Manos Michael P. , Barbie David A. , Hodi F. Stephen 
Published: September 2023

Abstract
Immune checkpoint blockade (ICB) has become the standard of care for several solid tumors. Multiple combinatorial approaches have been studied to improve therapeutic efficacy. The combination of antiangiogenic agents and ICB has demonstrated efficacy in several cancers. To improve the mechanistic understanding of synergies with these treatment modalities, we performed screens of sera from long-term responding patients treated with ipilimumab and bevacizumab. We discovered a high-titer antibody response against EGF-like repeats and discoidin I–like domains protein 3 (EDIL3) that correlated with favorable clinical outcomes. EDIL3 is an extracellular protein, previously identified as a marker of poor prognosis in various malignancies. Our Tumor Immune Dysfunction and Exclusion analysis predicted that EDIL3 was associated with immune exclusion signatures for cytotoxic immune cell infiltration and nonresponse to ICB. Cancer-associated fibroblasts (CAF) were predicted as the source of EDIL3 in immune exclusion–related cells. Furthermore, The Cancer Genome Atlas Skin Cutaneous Melanoma (TCGA-SKCM) and CheckMate 064 data analyses correlated high levels of EDIL3 with increased pan-fibroblast TGFβ response, enrichment of angiogenic signatures, and induction of epithelial-to-mesenchymal transition. Our in vitro studies validated EDIL3 overexpression and TGFβ regulation in patient-derived CAFs. In pretreatment serum samples from patients, circulating levels of EDIL3 were associated with circulating levels of VEGF, and like VEGF, EDIL3 increased the angiogenic abilities of patient-derived tumor endothelial cells (TEC). Mechanistically, three-dimensional microfluidic cultures and two-dimensional transmigration assays with TEC endorsed EDIL3-mediated disruption of the lymphocyte function-associated antigen-1 (LFA-1)–ICAM-1 interaction as a possible means of T-cell exclusion. We propose EDIL3 as a potential target for improving the transendothelial migration of immune cells and efficacy of ICB therapy.
The Inherited KRAS-variant as a Biomarker of Cetuximab Response in NSCLC
Authors: Weidhaas Joanne B. , Hu Chen , Komaki Ritsuko , Masters Gregory A. , Blumenschein George R. , Chang Joe Y. , Lu Bo , Dicker Adam P. , Bogart Jeffrey A. , Garces Yolanda I. , Narayan Samir , Robinson Clifford G. , Kavadi Vivek S. , Greenberger Joel S. , Koprowski Christopher D. , Welsh James , Gore Elizabeth M. , MacRae Robert M. , Paulus Rebecca , Bradley Jeffrey D. 
Published: September 2023

Abstract

Purpose:
RTOG 0617 was a phase III randomized trial for patients with unresectable stage IIIA/IIIB non–small cell lung cancer comparing standard-dose (60 Gy) versus high-dose (74 Gy) radiotherapy and chemotherapy, plus or minus cetuximab. Although the study was negative, based on prior evidence that patients with the KRAS-variant, an inherited germline mutation, benefit from cetuximab, we evaluated KRAS-variant patients in RTOG 0617.

Experimental Design:
From RTOG 0617, 328 of 496 (66%) of patients were included in this analysis. For time-to-event outcomes, stratified log-rank tests and multivariable Cox regression models were used. For binary outcomes, Cochran—Mantel–Haenzel tests and multivariable logistic regression models were used. All statistical tests were two sided, and a P value &lt;0.05 was considered significant.

Results:
A total of 17.1% (56/328) of patients had the KRAS-variant, and overall survival rates were similar between KRAS-variant and non-variant patients. However, there was a time-dependent effect of cetuximab seen only in KRAS-variant patients—while the hazard of death was higher in cetuximab-treated patients within year 1 [HR = 3.37, 95% confidence interval (CI): 1.13–10.10, P = 0.030], death was lower from year 1 to 4 (HR = 0.33, 95% CI: 0.11–0.97, P = 0.043). In contrast, in non-variant patients, the addition of cetuximab significantly increased local failure (HR = 1.59, 95% CI: 1.11–2.28, P = 0.012).

Conclusions/Discussion:
Although an overall survival advantage was not achieved in KRAS-variant patients, there is potential impact of cetuximab for this genetic subset of patients. In contrast, cetuximab seems to harm non-variant patients. These findings further support the importance of genetic patient selection in trials studying the addition of systemic agents to radiotherapy.

Significance:
The KRAS-variant is the first functional, inherited miRNA-disrupting variant identified in cancer. Our findings support that cetuximab has a potentially beneficial impact on KRAS-variant patients treated with radiation. The work confirms prior evidence that KRAS-variant patients are a subgroup who are especially sensitive to radiation. These findings further support the potential of this class of variants to enable true treatment personalization, considering the equally important endpoints of response and toxicity.
“Great Historians Are Biological Freaks”: Siegfried Kracauer's Philosophy of History
Authors: Lotery Kevin 
Published: September 2023

Abstract
This text examines Siegfried Kracauer's unfinished final book, the posthumously published History: The Last Things Before the Last (1969). While Kracauer's Weimar writings have long been celebrated, History, apart from a few key early texts, has only recently been given critical attention. Written in English in New York in the 1960s, the book lies at the intersection of film theory and historical philosophy. One of the key contributions of History, I argue, is that it offers a filmic technology of historical thought that might intervene in the emergent systems of temporal management and control that haunted the 1960s and continue to condition our experience of time to this day. Kracauer's name for his counter-technology is “the anteroom,” and its function is to aid utopian thought and practice, what he calls “the emergence of something new, something beyond the jurisdiction of nature.”
The Madness of the Gaze: for Hubert Damisch, in every light
Authors: Krauss Rosalind E. 
Published: September 2023

Abstract
In his seminar “The Eye and the Gaze,” Jacques Lacan is forced to regard the problem of the unconscious through the grid of the Cartesian cogito. In the certainty of “I think, therefore I am,” which expresses the complete transparency of the self to its own apprehension, leaves no space for the ineffability of the unconscious. Lacan sees this proto-enlightenment certainty running through all perceptual mechanisms, as in Paul Valèry's poem “La Jeune Parque,” which declares, “I saw myself seeing myself.” Lacan turns to anamorphosis as a perceptual exception, in which there are two viewing points turned on the same object, neither coinciding with the other, such that classical perspective's fundamental unity of the perceiving subject is alienated from itself—a Spaltung, or split, that enables the unconscious presence of the uncanny and its castrative impression of death.
DMDD: A Large-Scale Dataset for Dataset Mentions Detection
Authors: Pan Huitong , Zhang Qi , Dragut Eduard , Caragea Cornelia , Latecki Longin Jan 
Published: September 2023

Abstract
The recognition of dataset names is a critical task for automatic information extraction in scientific literature, enabling researchers to understand and identify research opportunities. However, existing corpora for dataset mention detection are limited in size and naming diversity. In this paper, we introduce the Dataset Mentions Detection Dataset (DMDD), the largest publicly available corpus for this task. DMDD consists of the DMDD main corpus, comprising 31,219 scientific articles with over 449,000 dataset mentions weakly annotated in the format of in-text spans, and an evaluation set, which comprises 450 scientific articles manually annotated for evaluation purposes. We use DMDD to establish baseline performance for dataset mention detection and linking. By analyzing the performance of various models on DMDD, we are able to identify open problems in dataset mention detection. We invite the community to use our dataset as a challenge to develop novel dataset mention detection models.
T3L: Translate-and-Test Transfer Learning for Cross-Lingual Text Classification
Authors: Unanue Inigo Jauregi , Haffari Gholamreza , Piccardi Massimo 
Published: September 2023

Abstract
Cross-lingual text classification leverages text classifiers trained in a high-resource language to perform text classification in other languages with no or minimal fine-tuning (zero/ few-shots cross-lingual transfer). Nowadays, cross-lingual text classifiers are typically built on large-scale, multilingual language models (LMs) pretrained on a variety of languages of interest. However, the performance of these models varies significantly across languages and classification tasks, suggesting that the superposition of the language modelling and classification tasks is not always effective. For this reason, in this paper we propose revisiting the classic “translate-and-test” pipeline to neatly separate the translation and classification stages. The proposed approach couples 1) a neural machine translator translating from the targeted language to a high-resource language, with 2) a text classifier trained in the high-resource language, but the neural machine translator generates “soft” translations to permit end-to-end backpropagation during fine-tuning of the pipeline. Extensive experiments have been carried out over three cross-lingual text classification datasets (XNLI, MLDoc, and MultiEURLEX), with the results showing that the proposed approach has significantly improved performance over a competitive baseline.
Introduction to Mathematical Language Processing: Informal Proofs, Word Problems, and Supporting Tasks
Authors: Meadows Jordan , Freitas André 
Published: September 2023

Abstract
Automating discovery in mathematics and science will require sophisticated methods of information extraction and abstract reasoning, including models that can convincingly process relationships between mathematical elements and natural language, to produce problem solutions of real-world value. We analyze mathematical language processing methods across five strategic sub-areas (identifier-definition extraction, formula retrieval, natural language premise selection, math word problem solving, and informal theorem proving) from recent years, highlighting prevailing methodologies, existing limitations, overarching trends, and promising avenues for future research.
Assimilation of Sentinel-1 Backscatter into a Land Surface Model with River Routing and Its Impact on Streamflow Simulations in Two Belgian Catchments
Authors: Bechtold Michel , Modanesi Sara , Lievens Hans , Baguis Pierre , Brangers Isis , Carrassi Alberto , Getirana Augusto , Gruber Alexander , Heyvaert Zdenko , Massari Christian , Scherrer Samuel , Vannitsem Stéphane , De Lannoy Gabrielle 
Published: September 2023

Abstract
Accurate streamflow simulations rely on good estimates of the catchment-scale soil moisture distribution. Here, we evaluated the potential of Sentinel-1 backscatter data assimilation (DA) to improve soil moisture and streamflow estimates. Our DA system consisted of the Noah-MP land surface model coupled to the HyMAP river routing model and the water cloud model as a backscatter observation operator. The DA system was set up at 0.01° resolution for two contrasting catchments in Belgium: (i) the Demer catchment dominated by agriculture and (ii) the Ourthe catchment dominated by mixed forests. We present the results of two experiments with an ensemble Kalman filter updating either soil moisture only or soil moisture and leaf area index (LAI). The DA experiments covered the period from January 2015 through August 2021 and were evaluated with independent rainfall error estimates based on station data, LAI from optical remote sensing, soil moisture retrievals from passive microwave observations, and streamflow measurements. Our results indicate that the assimilation of Sentinel-1 backscatter observations can partly correct errors in surface soil moisture due to rainfall errors and overall improve surface soil moisture estimates. However, updating soil moisture and LAI simultaneously did not bring any benefit over updating soil moisture only. Our results further indicate that streamflow estimates can be improved through Sentinel-1 DA in a catchment with strong soil moisture–runoff coupling, as observed for the Ourthe catchment, suggesting that there is potential for Sentinel-1 DA even for forested catchments.

Significance Statement
The purpose of this study is to improve streamflow estimation by integrating soil moisture information from satellite observations into a hydrological modeling framework. This is important preparatory work for operational centers that are responsible for producing the most accurate flood forecasts for the society. Our results provide new insights into how and where streamflow forecasting could benefit from high-spatial-resolution Sentinel-1 radar backscatter observations.
The Impact of Surface Drag on the Structure and Evolution of Surface Boundaries Associated with Tornadogenesis in Simulated Supercells
Authors: Jiang Qin , Dawson Daniel T. 
Published: September 2023

Abstract
Surface boundaries in supercells have been suspected of being important in the arrangement and concentration of vorticity for the development and intensification of tornadoes, but there has been little attention given to the effects of the underlying surface roughness on their behavior. This study investigates the impact of surface drag on the structure and evolution of these boundaries, their associated distribution of near-surface vorticity, and tornadogenesis and maintenance. Comparisons between idealized simulations without and with drag introduced in the mature stage of the storm prior to tornadogenesis reveal that the inclusion of surface drag substantially alters the low-level structure, particularly with respect to the number, location, and intensity of surface convergence boundaries. Substantial drag-generated horizontal vorticity induces rotor structures near the surface associated with the convergence boundaries in both the forward and rear flanks of the storm. Stretching of horizontal vorticity and subsequent tilting into the vertical along the convergence boundaries lead to elongated positive vertical vorticity sheets on the ascending branch of the rotors and the opposite on the descending branch. The larger near-surface pressure deficit associated with the faster development of the near-surface cyclone when drag is active creates a downward dynamic vertical pressure gradient force that suppresses vertical growth, leading to a weaker and wider tornado detached from the surrounding convergence boundaries. A conceptual model of the low-level structure of the tornadic supercell is presented that focuses on the contribution of surface drag, with the aim of adding more insight and complexity to previous conceptual models.

Significance Statement
Tornado development is sensitive to near-surface processes, including those associated with front-like boundaries between regions of airflow within the parent storm. However, observations and theory are insufficient to understand these phenomena, and numerical simulation remains vital. In our simulations, we find that a change in a parameter that controls how much the near-surface winds are reduced by friction (or drag) can substantially alter the storm behavior and tornado potential. We investigate how surface drag affects the low-level storm structure, the distribution of regions of near-surface rotation, and the development of tornadoes within the simulation. Our results provide insight into the role of surface drag and lead to an improved conceptual model of the near-surface structure of a tornadic storm.
Climate Change and Adaptation: Exploring Drivers of Community and Gender-Disaggregated Social Vulnerability
Authors: Memon Manzoor Hussain , Aamir Naveed , Ahmed Nadeem 
Published: September 2023

Abstract
Climate change has forced the world into a state of emergency, but the urgency can also become an opportunity to strengthen the focus on sustainable development and reduce social vulnerability. For developing economies, the first and foremost challenge regarding climate change is to address the knowledge gap on sustainable development and vulnerability. Besides this, evidence-based inputs are needed for the policies and programs that intend to enhance the adaptive capacity and social capital from the gender perspective in comparatively more disaster-prone districts of the country. The environmental impact in terms of socioeconomic conditions specifically pertaining to rural areas of Pakistan cannot be ignored. Natural events such as floods and droughts have raised the question of the social and socioeconomic vulnerability of the rural communities. This paper is an attempt toward understanding that everyone who is affected will be impacted differently by climate change both within the same gender and between different genders, including gender minorities. In addition, an attempt is made to identify the drivers of gender-disaggregated social vulnerability in selected disaster-prone rural communities of the district of Dadu, Sindh Province, Pakistan. Both quantitative and qualitative techniques are employed to examine the differences in gender perception on climate change, experiences related to climate change, disasters, and impacts on their lives. Women and households headed by them are found to be relatively more vulnerable due to their socioeconomic and social status in the rural areas of Pakistan. The paper gives policy directives that not only address the measures for reduction in climate change impacts but also suggest the development of effective disaster management programs, policies, and strategies.
Assessing the Progress of the Philippine Plan of Action for Nutrition From 1974 to 2022: A Narrative Review
Authors: Candelario Cristela Mae C. 
Published: September 2023

Background: Malnutrition remains a public health burden in the Philippines, with the country struggling to meet global nutrition targets. Objective: This study aims to review the Philippine Plan of Action for Nutrition (PPAN) and its progress in addressing malnutrition in the Philippines. Methods: A narrative literature review of the PPAN and its implementation from 1974 to 2022 was conducted, including an analysis of relevant data on the nutrition status and programs for Filipinos. Results: The study found that the PPAN has been largely supportive in addressing malnutrition in the Philippines over the years. However, obstacles hindering the achievement of its nutrition-related goals have been identified. Challenges include inadequate coordination of programs at the local level, concerns regarding data quality, and insufficient training of personnel involved in implementing the PPAN. The results also indicate that the country has made limited progress toward achieving the global nutrition targets set by the Sustainable Development Goals 2030. Conclusion: This study highlights the need to revisit and refine the PPAN to respond to the changing nature of malnutrition in the country. Recommendations to address the remaining gaps in the planning, implementing, and monitoring of the PPAN are discussed. Finally, the paper offers some valuable insights from the experiences of the PPAN that can be applied to other countries facing comparable nutrition contexts.
Transcrystallization, enhanced interface strength and mechanical properties in PE/(PA6 nanofiber)/graphene oxide thermoplastic polymer-polymer nanocomposites via annealing and increased remolding temperature
Authors: Bateni Fatemeh , Hashemi Motlagh Ghodratollah , Khademsameni Helya , Zahedi Payam , Zarghami Reza 
Published: September 2023

The importance of polymer-polymer thermoplastic composites is increasing due to ease of recycling. This work investigates the effects of remolding temperature and thermal annealing on the properties of polyethylene (PE) composites containing PA6 and GO/PA6 electrospun nanofibers. Nanocomposite samples were prepared by sandwiching several layers of PA6 or GO/PA6 electrospun mats and PE films in a hot press and subsequently were remolded at varying higher temperatures in a range of 180 to 210°C. Furthermore the remolded samples at 200°C were then annealed at 100°C for 10 h. SEM and DMTA results of the developed samples showed that the application of higher remolding temperatures, close to the melting point of PA6, improves wettability and interfacial strength in the composites. The DSC results of the samples revealed a slight increase in PE crystallinity due to the induced crystallization on the surface of nanofiber mat. It was also observed that an increase in the remolding temperature increases the tensile properties of the composites with the best properties obtained at a remolding temperature of 200°C. Increasing the remolding temperature beyond 200°C decreases the tensile properties of the composites due to melting and geometry degradation of the nanofibers. The results revealed that the annealing of the samples at 100°C for 10 h increases the degree of crystallinity and tensile properties. The highest yield strength, 16.4 MPa, and modulus, 277 MPa, were obtained for the composite containing 10.5 wt% of pure PA6 nanofibers. The elongation and toughness of this composite compared to those of pure matrix were increased by 61% and 83%, respectively. In the remolded and annealed nanocomposites, a crystalline region, as thick as 20 microns, grown on the surface of the nanofiber mat or nanofiber rich region, so called transcrystalline region, was observed by polarized reflected light microscopy.