Papers
Research papers from arXiv and related sources
Existence of weak solutions for incompressible fluid-Koiter shell interactions with Navier slip boundary condition
We study a three-dimensional fluid-structure interaction problem describing the motion of an incompressible, viscous fluid coupled with a deformable elastic shell of Koiter type that forms part of ...
Claudiu Mîndrilă, Arnab Roy
Change point analysis of high-dimensional data using random projections
This paper develops a novel change point identification method for high-dimensional data using random projections. By projecting high-dimensional time series into a one-dimensional space, we are ab...
Yi Xu, Yeonwoo Rho
Multivariate time-series forecasting of ASTRI-Horn monitoring data: A Normal Behavior Model
This study presents a Normal Behavior Model (NBM) developed to forecast monitoring time-series data from the ASTRI-Horn Cherenkov telescope under normal operating conditions. The analysis focused o...
Federico Incardona, Alessandro Costa, Farida Farsian, Francesco Franchina, Giuseppe Leto, Emilio ...
Misquoted No More: Securely Extracting F* Programs with IO
Shallow embeddings that use monads to represent effects are popular in proof-oriented languages because they are convenient for formal verification. Once shallowly embedded programs are verified, t...
Cezar-Constantin Andrici, Abigail Pribisova, Danel Ahman, Catalin Hritcu, Exequiel Rivas, Théo Wi...
Leptophilic scalar dark matter in U(1)$_{L_μ-L_τ}$: Evading direct detection and prospective neutron star heating
Leptophilic dark matter (DM) is a well-motivated thermal WIMP framework that can evade stringent nuclear-recoil searches while remaining testable via DM-induced heating of neutron stars (NS). In th...
Chengfeng Cai, Hong-Hao Zhang
Identification in Stochastic Choice
We characterize the identified sets of a wide range of stochastic choice models, including random utility, various models of boundedly-rational behavior, and dynamic discrete choice. In each of the...
Peter Caradonna, Christopher Turansick
Particle-like topologies of light in turbulent complex media
The basic building blocks of many forms of optical topologies are particle-like singularities in phase and polarisation, giving rise to lines of darkness that weave complex threads in 3D space. Alt...
Danilo Gomes Pires, Vasilios Cocotos, Cade Peters, Natalia M. Litchinitser, Andrew Forbes
Linearised Identification of Mechanical and Structural Anisotropy of Granular Materials from Hollow-Cylinder Experiments
Anisotropy in granular materials arises from both the internal fabric and the directionality of the stress state, yet separating these effects experimentally remains challenging. This study develop...
Mehdi Pouragha, Gertraud Medicus, Selvarajah Premnath, Siva Sivathayalan
Athena: An Autonomous Open-Hardware Tracked Rescue Robot Platform
In disaster response and situation assessment, robots have great potential in reducing the risks to the safety and health of first responders. As the situations encountered and the required capabil...
Stefan Fabian, Aljoscha Schmidt, Jonas Süß, Dishant, Aum Oza, Oskar von Stryk
Test-beam results from MiniCACTUS-v2: A depleted monolithic CMOS timing sensor prototype
MiniCACTUS-v2 is a monolithic sensor prototype designed in LF 150 nm CMOS process for time tagging of individual Minimum Ionizing Particles with an accuracy better than 100 ps. The sensing element ...
Y. Degerli, R. Aleksan, R. Casanova, Y. Gan, S. Grinstein, F. Guilloux, A. Hanlon, T. Hemperek, J...
GPU-Native Compressed Neighbor Lists with a Space-Filling-Curve Data Layout
We have developed a compressed neighbor list for short-range particle-particle interaction based on a space- filling curve (SFC) memory layout and particle clusters. The neighbor list can be constr...
Felix Thaler, Sebastian Keller
Probing the Milky Way Halo with RR Lyrae Stars from Gaia Data Release 3
The Milky Way (MW) stellar halo, containing debris from past accretion events, serves as a fossil record of hierarchical mass assembly. Due to their distinct properties, RR Lyrae stars (RRLs) serve...
T. Muraveva, L. Monti, D. Massari, M. De Leo, A. Garofalo, G. Clementini, E. Ceccarelli, U. Miche...
Optimal $L^2$-norm error estimate of multiphysics finite element method for poroelasticity model and simulating brain edema
In this paper, we derive an optimal $L^2$-norm error estimate of the multiphysics finite element method for the poroelasticity model by introducing an auxiliary problem. We show some numerical test...
Zhihao Ge, Yanan He, Yajie Yang
Addressing parity blindness of data-driven Sobolev tests on the hypersphere
We study the asymptotic behavior of the data-driven Sobolev test for testing uniformity on the (hyper)sphere. We show that it can be blind to certain contiguous alternatives and propose a simple mo...
Marcio Reverbel
Superconducting Accelerator Magnets
This course introduces key aspects of superconducting magnet technology in accelerators: basic principles, superconducting materials (NbTi, Nb$_3$Sn, ReBCO), wire and cable architectures, and fabri...
Stephane Sanfilippo
Keyboards for the Endangered Idu Mishmi Language
We present a mobile and desktop keyboard suite for Idu Mishmi, an endangered Trans-Himalayan language spoken by approximately 11,000 people in Arunachal Pradesh, India. Although a Latin-based ortho...
Akhilesh Kakolu Ramarao
From Asymptotic to Finite-Sample Minimax Robust Hypothesis Testing
This paper establishes a formal connection between finite-sample and asymptotically minimax robust hypothesis testing under distributional uncertainty. It is shown that, whenever a finite-sample mi...
Gökhan Gül
Drift Localization using Conformal Predictions
Concept drift -- the change of the distribution over time -- poses significant challenges for learning systems and is of central interest for monitoring. Understanding drift is thus paramount, and ...
Fabian Hinder, Valerie Vaquet, Johannes Brinkrolf, Barbara Hammer
Unsupervised Anomaly Detection in NSL-KDD Using $β$-VAE: A Latent Space and Reconstruction Error Approach
As Operational Technology increasingly integrates with Information Technology, the need for Intrusion Detection Systems becomes more important. This paper explores an unsupervised approach to anoma...
Dylan Baptiste, Ramla Saddem, Alexandre Philippot, François Foyer
Training Deep Stereo Matching Networks on Tree Branch Imagery: A Benchmark Study for Real-Time UAV Forestry Applications
Autonomous drone-based tree pruning needs accurate, real-time depth estimation from stereo cameras. Depth is computed from disparity maps using $Z = f B/d$, so even small disparity errors cause not...
Yida Lin, Bing Xue, Mengjie Zhang, Sam Schofield, Richard Green