5045 articoli
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.
Il paper presenta un sistema di navigazione Teach and Repeat resiliente alla degenerazione geometrica basato su lidar FMCW, che combina odometria Doppler e localizzazione consapevole della curvatura per garantire un posizionamento affidabile in ambienti privi di struttura, superando i limiti dei metodi ICP tradizionali.
Questo articolo generalizza le operazioni di somma convessa e concava per i chirotopi e utilizza un'equazione funzionale con il metodo del kernel per ottenere una stima asintotica precisa del numero di triangolazioni del "double circle".
Il paper presenta ID-LoRA, un modello generativo unico che personalizza simultaneamente l'aspetto visivo e la voce di un soggetto in un singolo passaggio, superando le limitazioni dei metodi attuali che trattano audio e video separatamente e ottenendo risultati superiori rispetto a Kling 2.6 Pro in termini di somiglianza vocale e stile di parlato.
Questo articolo sviluppa un approccio operatoriale basato sui due-percorsi per decomporre le reti ego-centriche e propone costruzioni di contrazione sicure che preservano la massa dei due-percorsi, dimostrando un teorema di trasferimento con errore non negativo e caratterizzando l'uguaglianza tramite partizioni equitabili dei cunei.