Sort by
Certified SAT Verification of the Vertex Formulation of Erdős Problem #580 for Orders at Most 19
Rafik Zeraoulia
Posted: 16 July 2026
Finite Field Realisation of the Classical Constants π and e
Yosef Akhtman
Posted: 15 July 2026
A Study on Test Coverage Mapping and Release Risk Prediction in Continuous Delivery of Cloud Services
Zhipeng Hong
,Tianyi Xu
,Huangyin Chen
Posted: 15 July 2026
Automated Scientific Discovery via Causal Falsification and Formal Multi-Agent Verification
Vivek Shukla
,Atul .
,Divya Mishra
,Mehul Kumar Das
Posted: 15 July 2026
A Comprehensive Survey of Tabular Anomaly Detection
Hangting Ye
,Jinhan Liu
,Yong Yao
,Jinmeng Li
,Peng Wang
,Yang Cao
,He Zhao
,Dandan Guo
,Yi Chang
,Hongyuan Zha
Posted: 15 July 2026
Cross-Platform Navigation Framework for Mobile Robots
Molly Watson
,Zach Carter
,Yeganeh Madadi
Posted: 15 July 2026
DAO-TDS: Decentralized Autonomous Trusted Data Space for Global Data Circulation
Yongjian Wang
,Aibo Song
Posted: 15 July 2026
Winter Is Over for Continual Learning: From Continual Representation Learning to Continual Learning Agents
Luigi Quarantiello
,Lanpei Li
,Ehsan Tavan
,Irene Testa
,Giacomo Carfì
,Gerlando Gramaglia
,Jack Bell
,Daniele Malitesta
,Pierre Averty
,Eric Nuertey Coleman
+1 authors
Posted: 15 July 2026
From Convolution π-Algebras to Rota-Baxter Hopf π-Algebras
Xue Tang
,Ruoxi He
,Yalan Zhang
,Guodong Shi
Posted: 15 July 2026
Eigenvalue-Driven Switching Framework for Two-Microphone Beamforming Under Multi-Interferer Conditions
Ramakrishna Sen
,Dhruv Singh
,Arun Sourie
,M Kiran Reddy
Posted: 15 July 2026
Mapping Multimodal Pilot Stress and Fatigue During Flight Sessions
Atandrila Chowdhury
,Sudip Vhaduri
,Julius Keller
,Debra Henneberry
,Mark Wilson
Posted: 15 July 2026
OrgPulse AI: Design of a Bilingual Survey Platform for Weighted, Axis-Based Organizational Measurement
Majed Aldawaish
Posted: 15 July 2026
Mild Locally Small Spaces
Artur Piękosz
Posted: 15 July 2026
The Image Encryption Algorithm That Is a Hybrid Combination of BCC Algebraic Key Generation, and AES-CBC Cryptography
Zainab Radhi Mousa
,Karrar Aljawaheri
,Alaa Mohammed Redha Abdulhasan
,Tabark Mohammed Alkhaldi
,Furqan Albo Jwaid
,Marwa Ali Alhamdany
,Mohanad R. Aljanabi
Posted: 15 July 2026
The Sharp Bounds of the Third-Order Hankel Determinant of Inverse Functions for Certain Univalent Functions
Dong Guo
,Xin Wang
,Xi Luo
Posted: 15 July 2026
When Local Truth Produces Global Falsehood: Moral Grounding, Institutional Volition, and Systemic Error in Artificial Intelligence
Emanuel Shirbint
Posted: 15 July 2026
Lightweight Action Recognition Free from Detailed Manual Labeling for Edge Computing
Hiromasa Sato
,Hiromitsu Shimakawa
,Fumiko Harada
Posted: 15 July 2026
From YOLOv1 to YOLO26: A Unified Comparative Review of the Evolution, Architecture, and Applications of YOLO-Based Object Detection Frameworks
Yong-Hwan Lee
,Wan-Bum Lee
Posted: 15 July 2026
Definability, Compression, and Truth in a Layered Account of Computation
Randal Meyer
,Jason M. Pittman
Posted: 15 July 2026
Duality Principles and Numerical Procedures for a Large Class of Non-Convex Models in the Calculus of Variations
Fabio Silva Botelho
Posted: 15 July 2026
of 753