Ward: Education

144

Automated Formalization of Probabilistic Requirements from Structured Natural Language

arXiv:2512.15788v1 Announce Type: new
Abstract: Integrating autonomous and adaptive behavior into software-intensive systems presents significant challenges for software development, as uncertainties in the environment or decision-making processes must be explicitly captured. These challenges are a…

322

Privacy Discourse and Emotional Dynamics in Mental Health Information Interaction on Reddit

arXiv:2512.15945v1 Announce Type: new
Abstract: Reddit is a major venue for mental-health information interaction and peer support, where privacy concerns increasingly surface in user discourse. Thus, we analyze privacy-related discussions across 14 mental-health and regulatory subreddits, comprisi…

108

Talent is Everywhere, Mobility is Not: Mapping the Topological Anchors of Educational Pathways

arXiv:2512.16457v1 Announce Type: new
Abstract: The relationship between socioeconomic background, academic performance, and post-secondary educational outcomes remains a significant concern for policymakers and researchers globally. While the literature often relies on self-reported or aggregate d…

212

State-Augmented Graphs for Circular Economy Triage

arXiv:2512.15824v1 Announce Type: new
Abstract: Circular economy (CE) triage is the assessment of products to determine which sustainable pathway they can follow once they reach the end of their usefulness as they are currently being used. Effective CE triage requires adaptive decisions that balanc…

220

An Efficient Deep Learning Framework for Brain Stroke Diagnosis Using Computed Tomography Images

arXiv:2507.03558v3 Announce Type: replace
Abstract: Brain stroke is a leading cause of mortality and long-term disability worldwide, underscoring the need for precise and rapid prediction techniques. Computed Tomography (CT) scan is considered one of the most effective methods for diagnosing brain …

218

Echoes of AI: Investigating the Downstream Effects of AI Assistants on Software Maintainability

arXiv:2507.00788v2 Announce Type: replace
Abstract: [Context] AI assistants, like GitHub Copilot and Cursor, are transforming software engineering. While several studies highlight productivity improvements, their impact on maintainability requires further investigation. [Objective] This study inves…

122

Hill-Type Stability Analysis of Periodic Solutions of Fractional-Order Differential Equations

arXiv:2509.24639v2 Announce Type: replace
Abstract: This paper explores stability properties of periodic solutions of (nonlinear) fractional-order differential equations (FODEs). As classical Caputo-type FODEs do not admit exactly periodic solutions, we propose a framework of Liouville-Weyl-type FO…

227

FlexKV: Flexible Index Offloading for Memory-Disaggregated Key-Value Store

arXiv:2512.16148v1 Announce Type: new
Abstract: Disaggregated memory (DM) is a promising data center architecture that decouples CPU and memory into independent resource pools to improve resource utilization. Building on DM, memory-disaggregated key-value (KV) stores are adopted to efficiently mana…

120

FedSight AI: Multi-Agent System Architecture for Federal Funds Target Rate Prediction

arXiv:2512.15728v1 Announce Type: cross
Abstract: The Federal Open Market Committee (FOMC) sets the federal funds rate, shaping monetary policy and the broader economy. We introduce \emph{FedSight AI}, a multi-agent framework that uses large language models (LLMs) to simulate FOMC deliberations and…

120

Conquering the Multiverse: The River Voting Method with Efficient Parallel Universe Tiebreaking

arXiv:2512.16414v1 Announce Type: new
Abstract: Democracy relies on making collective decisions through voting. In addition, voting procedures have further applications, for example in the training of artificial intelligence. An essential criterion for determining the winner of a fair election is t…

230

Stylized Synthetic Augmentation further improves Corruption Robustness

arXiv:2512.15675v2 Announce Type: replace
Abstract: This paper proposes a training data augmentation pipeline that combines synthetic image data with neural style transfer in order to address the vulnerability of deep vision models to common corruptions. We show that although applying style transfe…

321

R3ST: A Synthetic 3D Dataset With Realistic Trajectories

arXiv:2512.16784v1 Announce Type: new
Abstract: Datasets are essential to train and evaluate computer vision models used for traffic analysis and to enhance road safety. Existing real datasets fit real-world scenarios, capturing authentic road object behaviors, however, they typically lack precise …

219

TabReX : Tabular Referenceless eXplainable Evaluation

arXiv:2512.15907v1 Announce Type: new
Abstract: Evaluating the quality of tables generated by large language models (LLMs) remains an open challenge: existing metrics either flatten tables into text, ignoring structure, or rely on fixed references that limit generalization. We present TabReX, a ref…

111

Online Competitive Searching for Rays in the Half-plane

arXiv:2512.16622v1 Announce Type: new
Abstract: We consider the problem of searching for rays (or lines) in the half-plane. The given problem turns out to be a very natural extension of the cow-path problem that is lifted into the half-plane and the problem can also directly be motivated by a 1.5-d…

109

Contraction Analysis of Filippov Solutions in Multi-Modal Piecewise Smooth Systems

arXiv:2512.16345v1 Announce Type: new
Abstract: This paper provides conditions to ensure contractive behavior of Filippov solutions generated by multi-modal piecewise smooth (PWS) systems. These conditions are instrumental in analyzing the asymptotic behavior of PWS systems, such as convergence tow…

110

The Emerging Use of GenAI for UX Research in Software Development: Challenges and Opportunities

arXiv:2512.15944v1 Announce Type: new
Abstract: The growing adoption of generative AI (GenAI) is reshaping how user experience (UX) research teams conduct qualitative research in software development, creating opportunities to streamline the production of qualitative insights. This paper presents f…

111

Concurrence: A dependence criterion for time series, applied to biological data

arXiv:2512.16001v1 Announce Type: cross
Abstract: Measuring the statistical dependence between observed signals is a primary tool for scientific discovery. However, biological systems often exhibit complex non-linear interactions that currently cannot be captured without a priori knowledge or large…

213

Pattern recognition in complex systems via vector-field representations of spatio-temporal data

arXiv:2512.16763v1 Announce Type: new
Abstract: A complex system comprises multiple interacting entities whose interdependencies form a unified whole, exhibiting emergent behaviours not present in individual components. Examples include the human brain, living cells, soft matter, Earth's climate, e…

210

Re: Russian Orbital Station (ROS) Development

Moderator:Off-topic discussion deleted. The space policy implications should be discussed in Space Policy. Nighthawk, if you can't post within the forum's rules, don't post!Thank you

210

Re: National Center for Atmospheric Research closing?

Atmospheric research should be under NOAA and not under NASA. NASA should be totally space oriented. Just my opinion. NOAA should handle anything under the Karman line. NASA above. It is just my opinion. Many government agencies overlap.