💻 Category

cs

2550 papers

💻 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

Dit artikel introduceert een post-processing MLIR-analysepass voor de snn-mlir compiler die machine-controleerbare bewijzen voor worst-case latentie en geheugenveiligheidscertificaten genereert, waardoor de IEC 62304 Class B-conforme inzet van spiking neural networks voor veiligheidskritische edge medische apparaten zoals epileptische aanvaldetectoren mogelijk wordt gemaakt.

Hassan Farooq2026-07-07
💻 computer science

Twos All the Way Down: A Hidden Condition Every Deployed RoPE Schedule Satisfies

Dit artikel identificeert en valideert een voorheen niet gearticuleerde "max_cluster = 1"-conditie, die de paarwijze onderscheidbaarheid van alle RoPE-frequenties vereist, waarbij wordt aangetoond dat het schenden van deze impliciete beperking tijdens inferentie leidt tot catastrofale prestatiedegradatie in grote taalmodellen, terwijl wordt bewezen dat standaard geometrische schema's er inherent aan voldoen vanwege de transcendente aard van hun logaritmische bases.

Sungmin Ryu2026-07-07
💻 computer science

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

Dit artikel stelt de Dynamic Balancing Hybrid Merkle Tree (DBHMT) voor, een geoptimaliseerde datastructuur voor IOTA Tangle-gebaseerde Healthcare 4.0 die een dynamisch snoeimechanisme gebruikt om een verviervoudige reductie in opslagkosten te bereiken terwijl de beveiliging behouden blijft voor hulpbronarmere IoT-omgevingen.

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

Retrieval-Augmented Generation in Mental Health: A Systematic Review

Deze systematische review synthetiseert 15 empirische studies van 2022 tot 2026 en stelt vast dat, hoewel retrieval-augmented generation (RAG)-configuraties over het algemeen beter presteren dan baselines in toepassingen voor de geestelijke gezondheidszorg, het veld wordt gehinderd door heterogene evaluatiemethoden, schaarse rapportage over veiligheid en een gebrek aan multimodale dataintegratie.

Emma Fransson2026-07-07
💻 computer science

Mapping Curricula to Occupational Work Activities Using a Shared DWA Ontology: Evidence from the Course-Skill Atlas and O*NET

Deze studie introduceert een curriculum-analytisch kader dat signalen uit Computer Science-cursussen in kaart brengt met de arbeidsvereisten voor Data Scientists via een gedeelde Detailed Work Activity-ontologie, waarbij wordt onthuld dat hoewel het curriculum alle noodzakelijke taken dekt, het een aanzienlijk nadenkloppend verschil vertoont in hun relatieve weging.

Hairu Fan, Shiyuan Wang, Ming Liu2026-07-07
💻 computer science

From Prompt to Production: A Case Study of Human-AI Collaborative Software Development Using Claude Code Multi-Agent Orchestration

Dit artikel presenteert een uitgebreide casestudy over de ontwikkeling van een medisch platform voor productieomgevingen met behulp van de multi-agent orchestratie van Claude Code, waarbij een mens-AI-competentiekader wordt vastgesteld, prestatiewinsten over verschillende AI-configuraties wordt gekwantificeerd, en strategieën voor tokenoptimalisatie worden voorgesteld om de productiviteit te verhogen terwijl de kosten worden verlaagd.

Pham Thi Thuong, Nguyen Dang Quang, Ngo Thi Lan Phuong2026-07-07
💻 computer science

Prevalence Shift and ICU Mortality Miscalibration Across Institutions

Dit artikel toont aan dat prevalentie-mismatch op ziekenhuisniveau een dominante, kwantificeerbare oorzaak is van kalibratiefalen in cross-institutionele ICU-sterftecijfermodellen, waarbij wordt aangetoond dat een eenvoudige Bayesiaanse correctie met enkel lokale sterftecijfers effectief de kalibratie kan herstellen zonder dat gelabelde doelgegevens vereist zijn.

Aman Chandra H, Stuti Shivhare, Suyash Sahu2026-07-07
💻 computer science

Where Reasoning Breaks Under Compression: A Layer-Localized Quantization Autopsy with Three Foundation-Model Case Studies

Dit artikel toont aan dat de redeneercapaciteiten in foundation models laagspecifieke fragiliteitspatronen vertonen die variëren over architecturen, wat onthult dat hoewel uniforme kwantisatie volstaat bij hogere bitbreedtes, een mixed-precision strategie geleid door laaggelokaliseerde fragiliteitskaarten significante compressie onder de vier bits mogelijk maakt zonder prestatieverlies.

Prof. Ayman Elnashar2026-07-07
💻 computer science

A Safety Envelope for Foundation-Model Dental Diagnosis: Bounded-Deviation Guarantees and Cross-Center Refusal

Dit artikel introduceert een lichtgewicht, backbone-agnostische veiligheidsenvelop die bevroren foundation models omhult om bewezen begrensde voorspellingsafwijkingen, gekalibreerd vertrouwen en robuuste out-of-distribution weigering te bieden, waardoor de betrouwbaarheid wordt gewaarborgd die vereist is voor klinische tandheelkundige diagnose over diverse centra en architecturen heen.

Prof. Ayman Elnashar, Norsin Elnashar, Prof. Ahmed Elemam2026-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

Dit artikel introduceert VozConsultAI, een provider-agnostische microservice-architectuur voor de geautomatiseerde generatie van SOAP-notities in het Braziliaans-Portugees voor tele-health, en presenteert de eerste vergelijkende benchmark van open-weight large language models met behulp van een nieuwe, klinisch onderbouwde evaluatiemethode die veiligheid prioriteert en hallucinaties bestraft.

Nilton Gomes Furtado, Julia Vasconcelos Furtado2026-07-07