💻 Category

cs

3780 Arbeiten

💻 Informatik

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

Diese Forschung schlägt ein Ensemble-basiertes Anomalieerkennungssystem für die städtische Energieeffizienz vor, das traditionelle Algorithmen des maschinellen Lernens mit Deep-Learning-Autoencodern vergleicht und aufzeigt, dass der Autoencoder eine überlegene Leistung (F1-Scores von 0,9740 und 0,9494) erzielt, während er SHAP zur Interpretierbarkeit nutzt, um ein nachhaltiges Energiemanagement zu unterstützen.

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

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

TPA-Flow ist ein einheitliches Framework für die ferngesteuerte Photoplethysmographie, das die Genauigkeit und Robustheit der physiologischen Überwachung durch die Integration von konfidenzgewichteten periodischen Priors mittels Physiological Tensor-Product Attention mit einem neuartigen, direkt verankerten Rectified-Flow-Dekodierungsmechanismus zur Korrektur von Wellenformverzerrungen verbessert.

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

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

CogAlign-CausalX ist eine Pipeline zur Polypanalyse, die Segmentierungsmasken als intrinsische Erklärungen für die morphologische Klassifizierung behandelt, validiert durch eine schnelle, geschlossene Ausrichtungsmetrik (XAlign), die eine wettbewerbsfähige Leistung auf dem Kvasir-SEG-Datensatz erzielt, während gleichzeitig die Einschränkungen in der absoluten Segmentierungsgenauigkeit und die Notwendigkeit berücksichtigt werden, Ausrichtungswerte mit traditionellen Überlappungsmaßen zu kombinieren.

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

A Path Relinking Metaheuristic for the Capacitated Vertex Separator Problem

Dieses Papier stellt eine durch Label-Matching und Komponenten-Moves verbesserte Path-Relinking-Metaheuristik vor, um das kapazitierte Vertex-Separator-Problem effizient zu lösen, wobei es eine überlegene Leistung gegenüber bestehenden exakten Algorithmen demonstriert, indem es in den meisten Fällen optimale Lösungen erreicht und in den verbleibenden Fällen die oberen Schranken verbessert.

Sergiu Amihaesei2026-10-07
💻 Informatik

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

Dieses Paper präsentiert das Offline-Capable Digital Wallet (OCDW), ein neuartiges Artefakt, das mittels Design Science Research entwickelt wurde und eine fünfschichtige Architektur nutzt, die DAG-basierte Ledger und Zero-Knowledge-Proofs kombiniert, um sichere, hochperformante und AML-konforme Finanztransaktionen in Umgebungen mit geringer Konnektivität zu ermöglichen, wobei es bestehende Blockchain-Lösungen in Bezug auf Latenz, Durchsatz und Energieeffizienz signifikant übertrifft.

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

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

Dieses Paper demonstriert, dass die Implementierung einer externen transaktionalen Zustandsmaschine zur Durchsetzung reproduzierbarer, doppelt verifizierter Bereitschaftskriterien die generative Entwicklung von einem offenen, meinungsbasierten Prozess in ein geschlossenes System transformiert, das funktionale Äquivalenz über diverse Modelle hinweg erreicht und letztlich die Gesamtkosten senkt sowie die Entfernung des Human-in-the-loop ermöglicht.

Anton N. Smolin2026-10-07
💻 Informatik

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

Dieses Paper präsentiert ein Python-basiertes Hindley–Milner-Frontend für eine Teilmenge von OCaml, das simultan Lean 4-verifizierte Theoreme und ausführbaren Rust-Code mit beweisführenden Verträgen generiert, wobei das System durch mutual induktive Typen, Ganzzahlarithmetik mit Vorzeichen und die kreuzimplementative Verifizierung eines Kernels sowie seiner selbstbeschreibenden Gleichung erfolgreich validiert wird.

Brent Hartshorn2026-10-07
💻 Informatik

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

Dieses Paper schlägt 3D CT-GraphEdgeMAE vor, ein selbstüberwachtes graphbasiertes Framework, das Edge-Masking, einen neuartigen Decoder mit Hadamard-Produkt und Subgraph-Ähnlichkeit sowie einen topologiebewussten Kontrast-Rekonstruktions-Verlust nutzt, um eine effiziente, hochperformante 3D-CT-Anomalieerkennung mit signifikant reduzierten Rechenkosten und Trainingszeiten auf dem LUNA16-Datensatz zu erreichen.

Qiong Wu2026-10-07