Papers
Research papers from arXiv and related sources
Progressive Integrality Outer-Inner Approximation for AC Unit Commitment with Conic Formulation
The alternating-current unit commitment (AC-UC) problem provides a realistic representation of power system operations, which is a nonconvex mixed-integer nonlinear programming problem and hence is...
Yongzheng Dai
Unleashing the Power of Simplicity: A Minimalist Strategy for State-of-the-Art Fingerprint Enhancement
Fingerprint recognition systems, which rely on the unique characteristics of human fingerprints, are essential in modern security and verification applications. Accurate minutiae extraction, a crit...
Raffaele Cappelli
Computation of thermal entropy for the doped Hubbard Model
We develop a highly efficient framework for computing the thermal entropy in the doped Fermi-Hubbard model within the grand-canonical ensemble. The framework comprises four calculation schemes that...
Yu-Feng Song, Youjin Deng, Yuan-Yao He
Radar Detection through Rectified Flow Matching
Radar target detection in the presence of a mixture of non-Gaussian clutter and white thermal noise is a challenging problem. This paper proposes a Rectified Flow Matching-based method for radar de...
P. Meena, Y. A. Rouzoumka, J. Pinsolle, C. Ren, M. N. El Korso, J. -P. Ovarlez
A calibration-free null test from anisotropic BAO
Baryon acoustic oscillation (BAO) analyses usually report the anisotropic shift parameters $α_\perp(z)$ and $α_\parallel(z)$ relative to a fiducial cosmology, and these quantities are primarily use...
Domenico Sapone, Savvas Nesseris
A bilinear inverse problem with forward operator inaccuracy applied to neonatal atlas-based diffuse optical tomography
Linear inverse problems are highly common in practical real-world applications from industry to medical imaging. The forward operator is often built on some approximations of the studied system. Ha...
Aada Hakula, Pauliina Hirvi, Nuutti Hyvönen
Controller Datapath Aware Verification of Masked Hardware Generated via High Level Synthesis
Masking is a countermeasure against Power Side Channel Attacks (PSCAs) in both software and hardware implementations of cryptographic algorithms. Compared to software masking, implementing masked h...
Nilotpola Sarma, Vaishali Ghanshyam Chaudhuri, Chandan Karfa
Organosulfur Chemistry on sub-Neptunes: Implications for hazes and biosignatures
The organosulfur biosignature gases dimethylsulfide (DMS) and dimethlydisulfide (DMDS) have recently been claimed to be present in the atmosphere of sub-Neptune exoplanet K2-18b, leading to the sug...
Sean Jordan, Shang-Min Tsai, Paul B. Rimmer, Oliver Shorttle
Probing the Color-Octet Mechanism via Dihadron Fragmentation in $χ_b$ Decays
The color-octet (CO) mechanism is a cornerstone of non-relativistic QCD, yet its long-distance matrix elements remain limited, preventing stringent tests of the theory. We demonstrate that the Artr...
Zhi-Guo He, Guanghui Li, Yu-Jie Tian, Xin-Kai Wen, Bin Yan
Conflict-Based Search for Multi Agent Path Finding with Asynchronous Actions
Multi-Agent Path Finding (MAPF) seeks collision-free paths for multiple agents from their respective start locations to their respective goal locations while minimizing path costs. Most existing MA...
Xuemian Wu, Shizhe Zhao, Zhongqiang Ren
Matter radii from interaction cross sections using microscopic nuclear densities
Understanding how nuclear size evolves with the number of protons and neutrons tests our models of strongly interacting matter. The nuclear charge (and proton) radii accessible through electromagne...
A. J. Smith, K. Godbey, C. Hebborn, W. Nazarewicz, F. M. Nunes, P. -G. Reinhard
A Passive Elastic-Folding Mechanism for Stackable Airdrop Sensors
Air-dispersed sensor networks deployed from aerial robotic systems (e.g., UAVs) provide a low-cost approach to wide-area environmental monitoring. However, existing methods often rely on active act...
Damyon Kim, Yuichi Honjo, Tatsuya Iizuka, Naomi Okubo, Naoto Endo, Hiroshi Matsubara, Yoshihiro K...
The multi-objective portfolio model for oil and gas exploration drilling projects selection and its operator-enhanced NSGA-II based solution
Drilling investment is pivotal to operational planning in oil and gas (O\&G) exploration. Conventional deployment relies heavily on fragmented expert assessments of geological and economic factors,...
Chao Min, Junyi Cui, Stanisław Migórski, Yonglan Xie, Qingxia Zhang, Jun Peng
Guided elastic waves informed material modelling of soft incompressible media
Identifying a universal material constitutive law, that describes the mechanical response of rubber-like solids for all deformation fields and achievable extensions, is an outstanding challenge. He...
Pierre Chantelot, Samuel Croquette, Fabrice Lemoult
Agent Control Protocol: Admission Control for Agent Actions
Agent Control Protocol (ACP) is a formal technical specification for governance of autonomous agents in B2B institutional environments. ACP is the admission control layer between agent intent and s...
Marcelo Fernandez
An automata-based test for bricks over string algebras
Motivated by the recent work of Deaconu, Mousavand and Paquette on the connection between infinite string bricks for certain gentle algebras and Sturmian words, we develop a decorated version of a ...
Amit Kuber, Annoy Sengupta
Weaver: Fuzzing JavaScript Engines at the JavaScript-WebAssembly Boundary
The security of modern JavaScript (JS) engines is critical since they provide the primary defense mechanism for executing untrusted code on the web. The recent integration of WebAssembly (Wasm) has...
Lingming Zhang, Binbin Zhao, Puzhuo Liu, Qinge Xie, Peng Di, Jianhai Chen, Shouling Ji
NeuroGame Transformer: Gibbs-Inspired Attention Driven by Game Theory and Statistical Physics
Standard attention mechanisms in transformers are limited by their pairwise formulation, which hinders the modeling of higher-order dependencies among tokens. We introduce the NeuroGame Transformer...
Djamel Bouchaffra, Fayçal Ykhlef, Hanene Azzag, Mustapha Lebbah, Bilal Faye
Spreading of pathological proteins through brain networks: a case study for Alzheimers disease
Mathematical modeling offers a valuable approach to understanding Alzheimers disease (AD) given its complexity, unknown causes, and lack of effective treatments. Models, once validated, offer a pow...
G. Landi, A. Scaravelli, M. C. Tesi, C. Testa
Kinematic diagnostics for non-axisymmetry in the Milky Way's nuclear stellar disc
There is now strong evidence that the Milky Way (MW) hosts a nuclear stellar disc (NSD). However, whether the NSD is purely axisymmetric or contains a nuclear bar remains unresolved. Since approxim...
Karl Fiteni, Xingchen Li, Mattia C. Sormani, Victor P. Debattista, Arianna Vasini, Francisco Nogu...