Tootfinder

Supporting Car-Following Behavior through V2V-Based Beyond-Visual-Range Information Display
Feiqi Gu, Zhixiong Wang, Zhenyu Wang, Dengbo He
https://arxiv.org/abs/2506.18308

Supporting Car-Following Behavior through V2V-Based Beyond-Visual-Range Information Display
Rear-end collisions constituted a large portion of crashes on the road, despite efforts to mitigate rear-end collisions, such as forward collision warnings. The chance of rear-end collisions is closely related to drivers' car-following (CF) behaviors in the traffic flow. Given that drivers may rely on more than the information of the direct lead vehicle (DLV) when making CF decisions, expanding drivers' perceptual range by providing beyond-visual-range (BVR) information based on vehicle-to-vehi…

Tailoring Magnetic Properties of Zigzag Structured Thin Films via Interface Engineering and Columnar Nano-structuring
Sharanjeet Singh, Manisha Priyadarsini, Anup Kumar Bera, Smritiparna Ghosh, Varimalla R. Reddy, Sarathlal Koyiloth Vayalil, Benedikt Sochor, Dileep Kumar
https://arxiv.org/abs/2506.19577

Tailoring Magnetic Properties of Zigzag Structured Thin Films via Interface Engineering and Columnar Nano-structuring
We report the emergence of a novel interface-induced shape anisotropy component in zigzag-structured thin films fabricated via Sequential Oblique Angle Deposition (S-OAD). In this study, we systematically investigate cobalt (Co) and Co2FeAl (CFA) thin films by varying column length, number of bilayers, and magneto-crystalline anisotropy (MCA) to explore how structural modulation affects magnetic behavior. Using magneto-optical Kerr effect (MOKE) measurements in conjunction with synchrotron-base…

SAMFusion: Sensor-Adaptive Multimodal Fusion for 3D Object Detection in Adverse Weather
Edoardo Palladin, Roland Dietze, Praveen Narayanan, Mario Bijelic, Felix Heide
https://arxiv.org/abs/2508.16408

SAMFusion: Sensor-Adaptive Multimodal Fusion for 3D Object Detection in Adverse Weather
Multimodal sensor fusion is an essential capability for autonomous robots, enabling object detection and decision-making in the presence of failing or uncertain inputs. While recent fusion methods excel in normal environmental conditions, these approaches fail in adverse weather, e.g., heavy fog, snow, or obstructions due to soiling. We introduce a novel multi-sensor fusion approach tailored to adverse weather conditions. In addition to fusing RGB and LiDAR sensors, which are employed in recent…

On $NP \cap coNP$ proof complexity generators
Jan Krajicek
https://arxiv.org/abs/2506.20221 https://arxiv.org/pdf/2506.20221

On $NP \cap coNP$ proof complexity generators
Motivated by the theory of proof complexity generators we consider the following $Σ^p_2$ search problem $\mbox{DD}_P$ determined by a propositional proof system $P$: given a $P$-proof $π$ of a disjunction $\bigvee_i α_i$, no two $α_i$ having an atom in common, find $i$ such that $α_i \in \mbox{TAUT}$. We formulate a hypothesis (ST) that for some strong proof system $P$ the problem $\mbox{DD}_P$ is not solvable in the student-teacher model with a p-time student and a constant number of ro…

Computational Complexity of Model-Checking Quantum Pushdown Systems
Deren Lin, Tianrong Lin
https://arxiv.org/abs/2506.18439 https://…

Computational Complexity of Model-Checking Quantum Pushdown Systems
In this paper, we study the problem of model-checking quantum pushdown systems from a computational complexity point of view. We arrive at the following equally important, interesting new results: We first extend the notions of the {\it probabilistic pushdown systems} and {\it Markov chains} to their quantum analogues and investigate the question of whether it is necessary to define a quantum analogue of {\it probabilistic computational tree logic} to describe the probabilistic and branching-…

Signless Laplacian spectral analysis of a class of graph joins
Jiachang Ye, Zoran Stani\' c, Jianguo Qian
https://arxiv.org/abs/2507.15276 https://

Signless Laplacian spectral analysis of a class of graph joins
A graph is said to be determined by its signless Laplacian spectrum (abbreviated as DQS) if no other non-isomorphic graph shares the same signless Laplacian spectrum. In this paper, we establish the following results: (1). Every graph of the form $K_1 \vee (C_s \cup qK_2)$, where $q \ge 0$, $s \ge 3$, and the number of vertices is at least $16$, is DQS; (2). Every graph of the form $K_1 \vee (C_{s_1} \cup C_{s_2} \cup \cdots \cup C_{s_t} \cup qK_2)$, where $t \ge 2$, $q \ge 0$, $s_i \ge 3$,…

Tuning chiral anomaly signature in a Dirac semimetal via fast-ion implantation
Manasi Mandal, Eunbi Rha, Abhijatmedhi Chotrattanapituk, Denisse C\'ordova Carrizales, Alexander Lygo, Kevin B. Woller, Mouyang Cheng, Ryotaro Okabe, Guomin Zhu, Kiran Mak, Chu-Liang Fu, Chuhang Liu, Lijun Wu, Yimei Zhu, Susanne Stemmer, Mingda Li
https://ar…

Tuning chiral anomaly signature in a Dirac semimetal via fast-ion implantation
Cd$_3$As$_2$ is a prototypical Dirac semimetal that hosts a chiral anomaly and thereby functions as a platform to test high-energy physics hypotheses and to realize energy efficient applications. Here we use a combination of accelerator-based fast ion implantation and theory-driven planning to enhance the negative longitudinal magnetoresistance (NLMR)--a signature of a chiral anomaly--in Nb-doped Cd$_3$As$_2$ thin films. High-energy ion implantation is commonly used to investigate semiconductor…

Constrained Random Phase Approximation: the spectral method
Merzuk Kaltak, Alexander Hampel, Martin Schlipf, Indukuru Ramesh Reddy, Bongae Kim, Georg Kresse
https://arxiv.org/abs/2508.15368

Constrained Random Phase Approximation: the spectral method
We present a new constrained Random Phase Approximation (cRPA) method, termed spectral cRPA (s-cRPA), and compare it to established cRPA approaches for Scandium and Copper by varying the 3d shell filling. The s-cRPA consistently yields larger Hubbard $U$ interaction values. Applied to the realistic system CaFeO$_3$, s-cRPA produces interaction parameters significantly closer to those required within DFT+$U$ to induce the experimentally observed insulating state, overcoming the metallic behavior…

Spanning path-cycle systems with given end-vertices in regular graphs (full version)
Yoshimi Egawa, Mikio Kano, Kenta Ozeki
https://arxiv.org/abs/2508.11302 https://

Spanning path-cycle systems with given end-vertices in regular graphs (full version)
We prove the following theorem. Let $r\ge 4$ be an integer, and $G$ be a $K_{1,r}$-free $r$-edge-connected $r$-regular graph. Then, for every set $W$ of even number of vertices of $G$ such that the distance between any two vertices of $W$ in $G$ is at least 3, $G$ has vertex-disjoint paths and cycles $P_1, \ldots, P_m, C_1, \ldots, C_n$ such that (i) $V(G)=V(P_1) \cup \cdots \cup V(P_m) \cup V(C_1) \cup \cdots \cup V(C_n)$, (ii) each path $P_i$ connects two vertices of $W$, and (iii) the set of…

Dual-Stage Value-Guided Inference with Margin-Based Reward Adjustment for Fast and Faithful VLM Captioning
Ankan Deria, Adinath Madhavrao Dukre, Feilong Tang, Sara Atito, Sudipta Roy, Muhammad Awais, Muhammad Haris Khan, Imran Razzak
https://arxiv.org/abs/2506.15649

Dual-Stage Value-Guided Inference with Margin-Based Reward Adjustment for Fast and Faithful VLM Captioning
Despite significant advances in inference-time search for vision-language models (VLMs), existing approaches remain both computationally expensive and prone to unpenalized, low-confidence generations which often lead to persistent hallucinations. We introduce \textbf{Value-guided Inference with Margin-based Reward (ViMaR)}, a two-stage inference framework that improves both efficiency and output fidelity by combining a temporal-difference value model with a margin-aware reward adjustment. In th…