💻 Category

cs

2550 articoli

💻 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

Questo articolo introduce una pass di analisi MLIR di post-elaborazione per il compilatore snn-mlir che genera prove di latenza massima verificabili dalla macchina e certificati di sicurezza della memoria, consentendo così l'implementazione conforme alla norma IEC 62304 Classe B delle reti neurali spiking per dispositivi medici edge critici per la sicurezza come i rilevatori di crisi epilettiche.

Hassan Farooq2026-07-07
💻 computer science

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

Questo articolo identifica e valida una condizione precedentemente non articolata di "max_cluster = 1", che richiede la distinzione a coppie di tutte le frequenze RoPE, dimostrando che la violazione di questo vincolo implicito durante l'inferenza causa un degrado catastrofico delle prestazioni nei grandi modelli linguistici, provando al contempo che gli schemi geometrici standard lo soddisfano intrinsecamente a causa della natura trascendente delle loro basi logaritmiche.

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

Questo articolo propone il Dynamic Balancing Hybrid Merkle Tree (DBHMT), una struttura dati ottimizzata per l'Healthcare 4.0 basata su IOTA Tangle, che impiega un meccanismo di pruning dinamico per ottenere una riduzione dei costi di archiviazione di quattro volte pur mantenendo la sicurezza per gli ambienti IoT con risorse limitate.

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

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

Questo studio introduce un framework di analisi del curriculum che mappa i segnali dei corsi di Informatica con i requisiti professionali del Data Scientist utilizzando un'ontologia condivisa delle Attività Lavorative Dettagliate, rivelando che, sebbene il curriculum copra tutti i compiti necessari, esso presenta un significativo divario di enfasi nel loro peso relativo.

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

Questo articolo presenta un caso di studio completo sullo sviluppo di una piattaforma medica di grado produttivo utilizzando l'orchestrazione multi-agente di Claude Code, stabilendo un framework di competenza uomo-IA, quantificando i guadagni di prestazioni attraverso diverse configurazioni di IA e proponendo strategie di ottimizzazione dei token per aumentare la produttività riducendo al contempo i costi.

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

Prevalence Shift and ICU Mortality Miscalibration Across Institutions

Questo articolo dimostra che la discrepanza di prevalenza a livello ospedaliero è una causa dominante e quantificabile del fallimento della calibrazione nei modelli di mortalità in terapia intensiva tra diverse istituzioni, mostrando che una semplice correzione bayesiana utilizzando solo i tassi di mortalità locali può ripristinare efficacemente la calibrazione senza richiedere dati etichettati target.

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

Questo articolo dimostra che le capacità di ragionamento nei modelli di fondazione esibiscono schemi di fragilità specifici per ogni livello che variano tra le architetture, rivelando che mentre la quantizzazione uniforme è sufficiente a bit-width più elevati, una strategia a precisione mista guidata da mappe di fragilità localizzate per livello consente una compressione significativa al di sotto dei quattro bit senza sacrificare le prestazioni.

Prof. Ayman Elnashar2026-07-07
💻 computer science

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

Questo articolo introduce un involucro di sicurezza leggero e indipendente dall'architettura (backbone-agnostic) che avvolge i modelli fondativi congelati per fornire deviazioni di previsione provabilmente limitate, una confidenza calibrata e un rifiuto robusto fuori distribuzione, garantendo così l'affidabilità necessaria per la diagnosi odontoiatrica clinica attraverso diversi centri e architetture.

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

Questo articolo introduce VozConsultAI, un'architettura a microservizi agnostica rispetto al fornitore per la generazione automatizzata di note SOAP in portoghese brasiliano, e presenta il primo benchmark comparativo di modelli linguistici di grandi dimensioni a pesi aperti utilizzando una nuova metrica di valutazione clinicamente fondata che privilegia la sicurezza e penalizza le allucinazioni.

Nilton Gomes Furtado, Julia Vasconcelos Furtado2026-07-07