Industria cultural y creativa

Decentralized CBF-based Safety Filters for Collision Avoidance of Cooperative Missile Systems with Input Constraints

- This paper presents a decentralized safety filter for collision avoidance in multi-agent aerospace interception scenarios. The approach leverages robust control barrier functions (RCBFs) to guarantee...

Global Ease of Living Index: a machine learning framework for longitudinal analysis of major economies

- The drastic changes in the global economy, geopolitical conditions, and disruptions such as the COVID-19 pandemic have impacted the cost of living and quality of life. It is essential to comprehend...

More Parameters Than Populations: A Systematic Literature Review of Large Language Models within Survey Research

- [Working Paper] Survey research has a long-standing history of being a human-powered field, but one that embraces various technologies for the collection, processing, and analysis of various...

Critique of World Model

- World Model, the algorithmic simulator of the real-world environment which biological agents experience and act upon, has been an emerging topic in recent years due to the rising need to develop...

StylisticBias: A Few Human Visual Cues Drive Most Social Biases in MLLMs

- Multimodal large language models (MLLMs) are increasingly deployed in personally and societally consequential settings, yet the visual cues that shape how these models judge people remain poorly...

Performance Analysis of Digital Processing-in-Memory through a Case Study on Convolutional-Neural-Network Acceleration

- Processing-in-Memory (PIM) architectures are evolving to minimize data movement by leveraging the same physical devices for both memory and logic functionalities. While analog PIM harnesses crossbar...

Survey of Automated Vulnerability Detection and Exploit Generation Techniques in Cyber Reasoning Systems

- Software is everywhere, from mission critical systems such as industrial power stations, pacemakers and even household appliances. This growing dependence on technology and the increasing complexity...

Approximation and interactive design with exact 3D elastic curves

- An elastic space curve is a critical point of the bending energy subject to appropriate constraints. An analytic representation, equivalent to the spherical pendulum equation, leads to an...

HEPTv2: End-to-End Efficient Point Transformer for Charged Particle Reconstruction

- Charged-particle tracking -- reconstructing trajectories from sparse detector measurements -- is a fundamental high-energy-physics inference problem and a canonical example of learning under extreme...

Stochastic Linear Contextual Bandits with Bounded Noise: A Set-Membership Approach

- This paper considers stochastic linear contextual bandits (SLCB) with bounded reward noise. Existing works typically assume sub-Gaussian reward noise and bounded expected rewards, under which the...

Networks of agglomeration: how population density rewires social networks and reshapes contagion dynamics

- From ancient Mesopotamia to modern cities, dense human settlements coincide with bursts of economic productivity, cultural innovation, and social change. But how does packing people more tightly...

Efficient and Sound Probabilistic Verification for AI Agents

- Securing AI agents that operate in complex digital environments has become a critical need, and runtime monitoring approaches that formulate and enforce policies expressed in a formal language like...

CoarseSolvers for Exascale Solution of Poisson Problems

- WepresentatwolevelSchwarzmethodasanalternativetoAlgebraicMultigridmethod(AMG) used as the last level (coarse) solver of the p-multigrid pMG preconditioner for pressure Poission equation resulting...

Constrained hybrid modelling to predict microbial dynamics and organic matter turnover in soil systems

- Soil microorganisms control organic matter cycling and largely determine how soil systems can cope with and mitigate climate change and environmental threats. Representing microbial dynamics in...

DataMagic: Transforming Tabular Data into Data Insight Video

- Data videos integrate dynamic charts, voice narration, and synchronized animations to communicate data insights as temporal narratives, making them an effective medium for improving data consumption...

ScholarQuest: A Taxonomy-Guided Benchmark for Agentic Academic Paper Search in Open Literature Environments

- Academic paper search is a core step in scientific research, and LLM-based search agents are emerging as a promising paradigm for iterative, intent-driven literature exploration. However, existing...

Shifting-based Optimizable Linear Relaxations for General Activation Functions

- The use of neural networks (NNs) is rapidly increasing, including in safety- and security-critical domains. To provide formal guarantees about NN behavior, many verification methods rely on...

CUPID: Reconstructing UV Texture Maps for Interpretable Person-of-Interest Deepfake Detection

- Deepfakes targeting a high-profile individual, known as Person-of-Interest (POI), are a threat to modern democracies and societies. Current POI deepfake detection methods still struggle to combine...

Spatially Robust Near-Field SWIPT Using Pinching Antennas: Rate-Energy Tradeoff Bounds

- Pinching Waveguide Antennas (PWAs) offer significant potential for simultaneous wireless information and power transfer (SWIPT) by enabling precise near-field energy focusing. However, existing...

Predicting gestational age at birth in the context of preterm birth from multi-modal fetal MRI

- Preterm birth is associated with significant mortality and a risk for lifelong morbidity. The complex multifactorial aetiology hampers accurate prediction and thus optimal care. A pipeline consisting...

Pitch Spelling Jazz Lead Sheets, Solo Transcriptions, Classical Piano and Monophonic Scores

- We present an algorithm for pitch spelling and key estimation. Given an input in MIDI-like format, containing information on note pitches (expressed in semitones relative to the lowest reference...