5640 articoli
Questo articolo propone l'utilizzo di un pool di memoria CXL per archiviare la memoria engramma condizionale nei grandi modelli linguistici, integrandolo in SGLang per ottenere prestazioni end-to-end vicine a quelle della DRAM e offrire una soluzione di storage scalabile ed economica senza compromettere l'inferenza.
Il paper propone l'uso dell'esponente di Lyapunov di Burau come sonda algebrica all'interno dei componenti fortemente connessi di un grafo temporale dei permessi cloud per discriminare tra regimi di rischio dispersi e focalizzati, dimostrando che tale approccio non abeliano supera i limiti delle statistiche tradizionali per l'automazione della classificazione e della remediation.
Il paper presenta 4DEquine, un nuovo framework che disaccoppia il movimento dall'aspetto per ricostruire in 4D cavalli da video monoculare, introducendo dataset sintetici e reti neurali specializzate che raggiungono prestazioni all'avanguardia su dati reali pur essendo addestrate esclusivamente su dati sintetici.
Il paper presenta HG-Lane, un framework di generazione ad alta fedeltà che crea scenari di rilevamento delle corsie in condizioni meteorologiche e di illuminazione avverse senza necessità di nuova annotazione, migliorando significativamente le prestazioni dei modelli esistenti e fornendo un nuovo benchmark di 30.000 immagini.
Questo studio valuta le prestazioni di protocolli di rete tolleranti ai ritardi (DTN) in uno scenario simulato del terremoto di Kathmandu, dimostrando l'efficacia delle comunicazioni distribuite per migliorare la trasmissione dei messaggi di soccorso e identificando i compromessi tra affidabilità e utilizzo delle risorse.
Il paper introduce XL-VLA, un framework visione-linguaggio-azione che utilizza uno spazio latente unificato e invariante all'effettivo per abilitare un apprendimento scalabile e cross-embodiment per la manipolazione dattile, superando le limitazioni dei modelli basati su spazi articolari grezzi.
Il paper introduce "Dance2Hesitate", un dataset open-source multi-modale generato da ballerini e robot Franka Emika Panda che cattura movimenti esitanti a diversi livelli di intensità per migliorare la comprensione e la sicurezza nelle collaborazioni uomo-robot.
Utilizzando il dataset OpenRobotRehab 1.0, questo studio analizza le differenze comportamentali neuromotorie tra utenti sani e post-ictus durante compiti isometrici a 6 gradi di libertà su un robot a effetto terminale, dimostrando che le specifiche del compito influenzano il comportamento, che le caratteristiche patologiche sono rilevabili nei dati di forza e che un modello nascosto di Markov basato su segnali sEMG classifica più efficacemente le dinamiche neuromotorie rispetto alle decomposizioni basate sulla sinergia, fornendo così indicazioni cruciali per la progettazione di interfacce robotiche riabilitative adattive.
Questo studio propone un metodo per veicoli subacquei autonomi che utilizza l'ambiente visivo circostante, rilevato tramite embedding DINOv2, per guidare la ricerca efficiente di specie coralline rare, permettendo di campionare fino al 75% degli obiettivi in metà del tempo necessario per una copertura esaustiva.
Il paper presenta K-Join, un nuovo algoritmo semplice per l'elaborazione di join in ambienti di calcolo parallelo massivo che, combinando partizionamento dei dati e il primitivo HyperCube attraverso una scelta innovativa delle quote basata su coperture dei vertici, raggiunge un carico di lavoro ottimale pari a , dove è una nuova misura teorica chiamata "reduced quasi vertex-cover".
Questo articolo presenta una teoria completamente simbolica per l'analisi della località dei cicli che deriva polinomi di prestazioni della cache con un'accuratezza del 99,6%, permettendo previsioni di movimenti di dati in meno di un millisecondo dopo un'analisi di circa 41 secondi.
Il documento presenta SoftGM, un'architettura di controllo distribuito ispirata al polpo che utilizza una rete neurale grafica con meccanismo di attenzione per guidare bracci robotici morbidi segmentati verso obiettivi in ambienti complessi, dimostrando una superiore resilienza e capacità di adattamento rispetto ai metodi di apprendimento per rinforzo multi-agente esistenti.
Questo studio presenta un framework automatizzato basato sull'intelligenza artificiale che combina segmentazione anatomica avanzata e radiomica su risonanza magnetica preoperatoria per prevedere la sopravvivenza postoperatoria nei pazienti con metastasi epatiche da carcinoma del colon-retto.
Questo lavoro propone un nuovo framework di controllo predittico gerarchico basato su percezione (HTMPC) che, integrando l'inferenza bayesiana per modellare i cambiamenti ambientali, permette ai robot mobili manipolatori di eseguire compiti sequenziali in modo efficiente e reattivo in ambienti semi-statici non strutturati senza fare affidamento su mappe predefinite.
Il paper presenta Paladin, un framework di sicurezza che utilizza modelli linguistici generativi per estrarre il significato semantico delle richieste API e permettere agli amministratori di definire e applicare facilmente politiche di sicurezza specifiche per il contesto applicativo, prevenendo così vulnerabilità come l'accesso non autorizzato e il consumo illimitato di risorse.
Il paper propone OilSAM2, un framework di segmentazione potenziato da memoria che supera le limitazioni dei modelli esistenti nel rilevamento di fuoriuscite di petrolio da immagini SAR non ordinate, garantendo prestazioni all'avanguardia grazie a una banca memoria gerarchica e a una strategia di aggiornamento che preserva la coerenza strutturale e semantica.
Questo lavoro propone un nuovo framework di controllo predittivo basato su modelli per compiti gerarchici che, sfruttando la ridondanza del robot e l'ottimizzazione lessicografica non lineare, migliora significativamente le prestazioni di tracciamento e l'efficienza temporale rispetto agli stati dell'arte durante l'esecuzione di compiti di manipolazione mobile sequenziali.
Questo lavoro introduce e analizza algoritmi basati su CDCL per l'Enumerazione di Modelli Ponderati (WME), integrando la propagazione e il pruning dei pesi per abilitare query guidate dai pesi e confrontando l'efficacia delle strategie di backtracking cronologico e non cronologico.
Il documento presenta ACE Runtime, un'architettura blockchain nativa ZKP che separa l'autenticazione dell'identità dall'autorizzazione per sostituire le verifiche delle firme per transazione con attestazioni HMAC leggere e una singola prova aggregata, consentendo una finalità crittografica sub-seconda con costi di verifica costanti e una migliore efficienza hardware.
Questo articolo dimostra che la regola di trasposizione, un algoritmo online senza memoria per il problema dell'aggiornamento delle liste, raggiunge un costo di accesso atteso al più pari a OPT+1 nel modello i.i.d., confermando così una congettura di Rivest di cinquant'anni fa.