💻 Category

cs

3781 papers

💻 informatica

Ensemble-Based Anomaly Detection for Urban Power Efficiency Towards Sustainable Energy Management

Dit onderzoek stelt een op ensemble gebaseerd anomaliedetectiesysteem voor voor de efficiëntie van stedelijk vermogen, dat traditionele machine learning-algoritmen vergelijkt met deep learning Autoencoders, waarbij wordt aangetoond dat de Autoencoder een superieure prestatie levert (F1-scores van 0,9740 en 0,9494) terwijl SHAP wordt gebruikt voor interpreteerbaarheid om duurzaam energiebeheer te ondersteunen.

Visalakshi Annepu, Kalapraveen Bagadi, Muhsin Jaber Jweeg, Mohd Shukor Salleh, Deepika Rani Sona, Oday I. Abdullah, Oula (…)2026-10-07
💻 informatica

TPA-Flow: Physiological Tensor Interactions and Rectified-Flow Decoding for Remote Photoplethysmography

TPA-Flow is een verenigd remote fotoplethysmografie-framework dat de nauwkeurigheid en robuustheid van fysiologische monitoring verbetert door vertrouwen-gewogen periodieke priors te integreren via Physiological Tensor-Product Attention met een nieuw direct-geankerd Rectified Flow-decodingsmechanisme om golfvormvervormingen te corrigeren.

Huixiang Wen, Ruixue Chen, Luo Zhou, Shunfeng Gao2026-10-07
💻 informatica

CogAlign-CausalX: mask-grounded polyp analysis with closed-form explanation-alignment scoring

CogAlign-CausalX is een pijplijn voor poliepanalyse die segmentatiemaskers behandelt als intrinsieke verklaringen voor morfologische classificatie, gevalideerd door een snelle, gesloten vorm van een alignment-scoremetric (XAlign) die competitieve prestaties behaalt op de Kvasir-SEG-dataset terwijl de beperkingen in absolute segmentatienauwkeurigheid en de noodzaak om alignment-scores te koppelen aan traditionele overlapmaten worden erkend.

G. Sudha Gowd, S. Vasundra2026-10-07
💻 informatica

A Path Relinking Metaheuristic for the Capacitated Vertex Separator Problem

Dit artikel introduceert een path relinking-metaheuristiek, versterkt met label matching en component moves, om het Capacitated Vertex Separator Problem efficiënt op te lossen, waarbij superieure prestaties worden aangetoond ten opzichte van bestaande exacte algoritmen door in de meeste gevallen optimale oplossingen te evenaren en in de resterende gevallen de bovengrenzen te verbeteren.

Sergiu Amihaesei2026-10-07
💻 informatica

A Design Science Research Approach to Developing an Offline-Capable Secure Digital Wallet for Low-Connectivity Environments

Dit artikel presenteert de Offline-Capable Digital Wallet (OCDW), een nieuw artefact ontwikkeld via Design Science Research dat een vijflaagse architectuur gebruikt die DAG-gebaseerde grootboeken en zero-knowledge bewijzen combineert om veilige, hoogperformante en AML-conforme financiële transacties te leveren in omgevingen met een lage connectiviteit, waarbij het bestaande blockchain-oplossingen aanzienlijk overtreft in latentie, doorvoersnelheid en energie-efficiëntie.

Patricia Ghann, Gabriel Teye, Eric Apomah Adu, Isaac Junior Loveland Gavua, Mccarthy Newman-King, Carl Dela2026-10-07
💻 informatica

Closing the Verification Loop in Generative Development: An External Transactional State Machine and a Field Evaluation of Its Economics and Convergence

Dit artikel toont aan dat het implementeren van een externe transactionele toestandsmachine om reproduceerbare, dubbel geverifieerde gereedheidscriteria af te dwingen, generatieve ontwikkeling transformeert van een open-loop proces op basis van meningen naar een closed-loop systeem dat functionele equivalentie bereikt over diverse modellen heen, terwijl het uiteindelijk de totale kosten verlaagt en het verwijderen van de mens-in-de-lus mogelijk maakt.

Anton N. Smolin2026-10-07
💻 informatica

From LaTeX and OCaml to LEAN4 and Executables: Lean-Checked Theorems and Generating Proof-Carrying Rust

Dit artikel presenteert een Python-gebaseerde Hindley–Milner front-end voor een deelverzameling van OCaml die gelijktijdig Lean 4-geverifieerde stellingen en uitvoerbare Rust-code met bewijsdragende contracten genereert, waarbij het systeem succesvol wordt gevalideerd door middel van wederzijds inductieve typen, gesigneerde gehele getal-aritmetiek en de cross-implementatieverificatie van een kernel en zijn zelfbeschrijvende vergelijking.

Brent Hartshorn2026-10-07
💻 informatica

3D CT-GraphEdgeMAE: 3D CT Image Anomaly Detection Using Self-Supervised Graph Edge Mask Autoencoders

Dit artikel stelt 3D CT-GraphEdgeMAE voor, een zelfgesuperviseerd graafgebaseerd framework dat edge masking, een nieuwe decoder met Hadamard-product en subgraafgelijkenis, en een topologiebewuste contrastieve-reconstructieverlies gebruikt om efficiënte, hoogwaardige 3D CT-anomaliedetectie te bereiken met aanzienlijk verminderde computationele kosten en trainingstijd op de LUNA16-dataset.

Qiong Wu2026-10-07