💻 computer science

Embedding Formal Worst-Case Latency Proofs and Memory-Safety Certificates into the snn-mlir MLIR Lowering Pipeline for IEC 62304-Compliant Edge Deployment of Spiking Neural Networks

本文为 snn-mlir 编译器引入了一种后处理 MLIR 分析通道,用于生成机器可验证的最坏情况延迟证明和内存安全性证书,从而实现脉冲神经网络在癫痫发作检测器等安全关键型边缘医疗设备中符合 IEC 62304 Class B 标准的部署。

Hassan Farooq2026-07-07
💻 computer science

DBHMT: Dynamic Balancing Hybrid Merkle Tree– Design, Optimization and Evaluation in IOTA Tangle for IoT-Enabled Healthcare 4.0

本文提出了动态平衡混合默克尔树(DBHMT),这是一种针对基于 IOTA Tangle 的医疗健康 4.0 所优化的数据结构,它通过采用动态修剪机制,在保持资源受限型物联网环境安全性的同时,实现了存储成本四倍的降低。

Basker Palaniswamy, Md Noor-A-Rahim, Paolo Palmieri, Francesco Regazzoni, Ashok Kumar Das, Vivekananda Bhat K2026-07-07
💻 computer science

VozConsultAI: A Provider-Agnostic Architecture and a Clinically Grounded Evaluation of Open-Weight Large Language Models for SOAP Note Extraction in Brazilian Portuguese Telehealth

本文介绍了 VozConsultAI,一种用于巴西葡萄牙语远程医疗中自动生成 SOAP 记录的与供应商无关的微服务架构,并展示了首次使用一种全新的、以临床为基础且优先考虑安全性并惩罚幻觉的评估指标对开源权重大语言模型进行的对比基准测试。

Nilton Gomes Furtado, Julia Vasconcelos Furtado2026-07-07