💻 Category

cs

3729 articoli

💻 informatica

Composition-Time Verification of Resource-Constrained Quantum Subroutines in Digital Twin Workflows: A Visual Abstraction Approach

Questo articolo propone un framework di astrazione visiva a tre livelli per i flussi di lavoro dei digital twin che consente agli esperti di dominio di comporre subroutine ibride quantistico-classiche imponendo al contempo vincoli critici sulle risorse — come i budget degli ancilla e la profondità del circuito — durante la fase di composizione piuttosto che al momento dell'esecuzione, garantendo così la realizzabilità fisica dei compiti quantistici ibridi senza esporre i dettagli dei gate a basso livello.

Jim Dorsey2026-10-21
💻 informatica

Sustainable Local RAG Architectures for Energy Governance: A Green AI Approach via Document Slice Contextualization

Questo articolo propone un'architettura RAG locale e sostenibile che utilizza la contestualizzazione per fette di documento (Document Slice) e un agente di routing a due livelli per raggiungere un'accuratezza di recupero vicina al baseline, riducendo drasticamente il consumo energetico, le emissioni e i tempi di inferenza per la conformità alla governance energetica.

Martin Tibor Sándor, Róbert Lakatos2026-10-21
💻 informatica

DISC: Dimension-Informed Clustering with Entropy Metric Warping and Attractor Basins

DISC è un nuovo algoritmo di clustering basato su grafi che sfrutta l'entropia geometrica locale per deformare le metriche di affinità e costruire un grafo frammentato e pulito, il quale viene poi partizionato in bacini di attrazione altamente puri tramite un flusso guidato dalla profondità e unito per raggiungere prestazioni allo stato dell'arte su diversi dataset.

Qin Xu, Chenggang Xu, Hao Helen Zhang, Tian Xu2026-10-21
💻 informatica

Attention with a Calibrated Off Switch: Causal FIR Key Smoothing, the Score-Shift Pathology, and Selective Silence in Rectified Attention (pn_fir_tau)

Questo articolo introduce **pn_fir_tau**, uno smoothing causale FIR dei keys privo di parametri combinato con una soglia apprendibile per ogni layer che risolve la "Score-Shift Pathology" nell'attenzione rettificata, ottenendo così un richiamo associativo perfetto, eliminando gli attention sink e consentendo ai modelli di silenziare efficacemente le query non rispondibili pur mantenendo una perplexity allo stato dell'arte.

Maxim Zhukov2026-10-21
💻 informatica

SPAFNet: Semantic Prior-Guided Progressive Alignment and Gated Bidirectional Fusion for Unaligned RGB-T Salient Object Detection

Questo articolo propone SPAFNet, una rete di allineamento progressivo guidato da prior semantici e di fusione bidirezionale a porta progettata per gestire il rilevamento di oggetti salienti RGB-T non allineati, sebbene le sue metriche di prestazione riportate sul dataset UVT20K rimangano preliminari e manchino di validazione statistica.

Muye Chen, Ming Wu2026-10-21
💻 informatica

TME LLM OS: A Closed-Loop Systems Engineering Architecture for Epistemic Correction in AI Agent Systems Systems Engineering Proposal

Questo articolo propone il TME LLM OS, un'architettura di ingegneria dei sistemi a ciclo chiuso che adatta il framework umano Teorico-Meccanicistico-Esperienziale per imporre la correzione epistemica negli agenti IA attraverso l'integrazione di revisione strutturata, tracciamento della provenienza ed esecuzione controllata per risolvere i disallineamenti entro un episodio limitato prima del rilascio sicuro.

Ilan Kander2026-10-21
💻 informatica

STEP-VERIFIER: Learning to Verify Intermediate Agent Behavior with Process Reward Models

STEP-VERIFIER è un modello di ricompensa di processo che impara a verificare le singole azioni dell'agente attraverso confronti a coppie sintetizzati automaticamente, fornendo un feedback intermedio denso durante l'addestramento per migliorare significativamente le prestazioni dell'agente in compiti complessi di uso di strumenti senza richiedere l'affidamento al verificatore durante la fase di deployment.

Longhui Zhang, Xian Wu, Chunyuan Chen, Fen Huang, Bin Wang2026-10-21
⚡ ingegneria elettrica

Optimizing Traffic Conflict Analysis at Signalized Intersections Using Multi-Scale Cellular Automata

Questo studio utilizza un modello di Automa Cellulare Multi-Scala (MSCA) per simulare e analizzare i conflitti tra veicoli e pedoni in incroci semaforici a quattro vie, dimostrando come la modellazione gerarchica delle scale spaziali e temporali possa ottimizzare le strategie di temporizzazione del segnale per migliorare simultaneamente l'efficienza del flusso di traffico e la sicurezza dei pedoni.

Krishna Kumari R2026-10-21
💻 informatica

The Uniform ER Paradox: Empirical Boundaries of Memory Prioritization Under Aleatoric Uncertainty

Questo articolo introduce il Feature-Weighted Prioritized Experience Replay (FW-PER) per diagnosticare e mitigare il "TD-Poisoning" causato dall'incertezza aleatoria nel Deep Reinforcement Learning, rivelando infine l' "Uniform ER Paradox" secondo cui, in condizioni di estrema corruzione da rumore, il semplice campionamento casuale uniforme supera la complessa filtrazione algoritmica.

H. M. Jisan, Md Mizanur Rahman, Md Shamim Hossain2026-10-21
💻 informatica

Computational Analysis of Komi and Fairness in Go: An AI-Based Approach Using KataGo

Questo studio utilizza simulazioni di auto-gioco di KataGo per modellare la relazione tra komi e l'esito delle partite, rivelando che i valori di komi equi seguono una distribuzione logistica e variano in base alla dimensione del tabellone e alle regole di punteggio, sfidando così le tradizionali assunzioni sugli incrementi di mezzo punto e sulla base matematica dell'equità nel Go.

Siheng Ye, Jingmao Wang, Ying Zhao, Ziyu Wang, Peijun Zhu, Tianchen Liu, Yan Chen, Xing Yang, Zi Chen2026-10-21