Title Formal Verification of State Machine Refinements in Microcontroller Bootloaders Using Bounded Model Checking
Paper ID vM1wQ
Keywordsformal verification; bounded model checking; bootloader; state machine; embedded systems
Abstract
Access Full Text (PDF)

Title Adaptive Bloom Filter Cascades for Streaming Duplicate Detection in High-Volume IoT Telemetry
Paper ID zA7kS
KeywordsBloom filter; duplicate detection; IoT telemetry; streaming data; memory efficiency
Abstract
Access Full Text (PDF)

Title Cross-Lingual Retrieval-Augmented Generation for Agricultural Extension Chatbots With Dialect Robustness
Paper ID uE3gR
Keywordsretrieval-augmented generation; cross-lingual; agricultural extension; chatbot; dialect robustness
Abstract
Access Full Text (PDF)

Title Semantic Differencing of Infrastructure-as-Code Plans With Property Graph Alignment
Paper ID tB6fX
Keywordsinfrastructure as code; semantic diff; property graph; DevOps; change review
Abstract
Access Full Text (PDF)

Title Lightweight Certificate Transparency Monitors for Regional DNS Operators Using Merkle Inclusion Proofs
Paper ID cJ9pL
Keywordscertificate transparency; DNS operator; Merkle proof; TLS; log monitoring
Abstract
Access Full Text (PDF)

Title Explainable Rule Extraction From Deep Survival Models for Hospital Readmission Risk Scoring
Paper ID yH2mD
Keywordssurvival analysis; explainability; readmission risk; rule extraction; clinical decision support
Abstract
Access Full Text (PDF)

Title Energy-Aware Scheduling of Mixed-Precision Tensor Kernels on Heterogeneous Edge Accelerators
Paper ID nV4rK
Keywordsedge computing; mixed precision; tensor kernel; energy scheduling; heterogeneous accelerator
Abstract
Access Full Text (PDF)

Title Federated Graph Neural Networks for Cross-Institutional Fraud Detection Without Raw Transaction Sharing
Paper ID qW8tN
Keywordsfederated learning; graph neural network; fraud detection; privacy; financial transactions
Abstract
Access Full Text (PDF)

Title Hardware Design and Implementation of a Multi-Core Cryptographic ASIC with QoS-Aware Scheduling and Adaptive Memory Management
Paper ID jRPkU
KeywordsAES, ASIC implementation, cryptographic processor, ECC, GALS architecture, memory optimization, multimedia security, QoS-aware architecture, SHA-2, task Scheduling.
Abstract
Access Full Text (PDF)

Title Effects of Mean Curvature on the Cyclic Bending Response and Failure of Square Tubes with Different Outer Side Lengths
Paper ID xvuQN
Keywordsgalvanized steel square tubes, different outer side lengths, cyclic bending, curvature ratios, moment, curvature, variation in outer side length, number of cycles to failure.
Abstract
Access Full Text (PDF)