5292 articoli
Il documento dimostra che estendendo la teoria dei tipi omotopica con modalità accessibili e lessicali è possibile ricostruire certi diagrammi di -logosi, permettendo così di ragionare su tali strutture tramite la teoria dei tipi standard e fornendo una versione multidimensionale della computabilità sintetica di Sterling.
Questo documento offre una panoramica delle tecnologie emergenti per la guida autonoma, esaminando i principali ambiti tecnici e le problematiche aperte all'interno di un framework di ciclo di dati chiuso per affrontare i problemi a coda lunga.
Questo paper presenta MCQUIC, un'estensione multicast per il protocollo QUIC che risolve le sfide di sicurezza e scalabilità nella distribuzione di contenuti live su larga scala garantendo crittografia, verifica dell'integrità e un fallback automatico a unicast.
Questo studio confronta l'evoluzione dei finanziamenti alla ricerca sanitaria collaborativa tra l'Unione Europea e gli NIH statunitensi, rivelando che, sebbene i programmi UE mostrino un netto spostamento verso la ricerca orientata al paziente e ai sistemi sanitari, le pubblicazioni scientifiche risultanti mantengono una forte continuità con la ricerca biomedica di base, evidenziando un parziale allineamento tra le priorità di finanziamento e i risultati reali.
Questo lavoro generalizza i risultati sulla tracciabilità dell'accesso diretto alle risposte delle query congiuntive al caso di query con negazioni, dimostrando che tale operazione è fattibile in tempo polilogaritmico dopo una pre-elaborazione polinomiale per una vasta classe di query, inclusi i casi -aciclici e quelli con larghezza di nido limitata, utilizzando una tecnica basata su circuiti relazionali.
Questo lavoro introduce la Second-Order Ground Unification (SOGU), un frammento di unificazione del secondo ordine che utilizza una sola variabile di secondo ordine e nessuna variabile di primo ordine, dimostrando che la sua variante equazionale con simboli associativi è indecidibile tramite una riduzione dal decimo problema di Hilbert, stabilendo così un nuovo limite inferiore per l'indecidibilità dell'unificazione del secondo ordine.
Il paper dimostra che la teoria equazionale del calcolo positivo delle relazioni con chiusura transitiva (PCoR*) è completa per EXPSPACE, presentando un algoritmo decisionale basato su derivate su grafi che estendono le derivate sulle parole per le espressioni regolari.
Questo lavoro presenta ChatSearch, un nuovo dataset e un modello di recupero generativo chiamato ChatSearcher, progettati per migliorare il recupero di immagini open-domain attraverso conversazioni multimodali interattive.
Questo lavoro dimostra che i sistemi attuali di verifica della proprietà dei dataset basati su watermark backdoor sono vulnerabili alla contraffazione statistica, rendendo tali prove inadeguate per le dispute legali sul copyright.
Il paper presenta Sketch2Cinemagraph, un framework che genera cinemagrafi stilizzati di paesaggi con flusso temporale continuo a partire da schizzi a mano libera, combinando prompt testuali, modelli di diffusione latente e controlli di movimento per un controllo dettagliato e intuitivo.
Il paper introduce vS-Graphs, un nuovo framework VSLAM in tempo reale che integra la comprensione semantica della scena con la ricostruzione 3D in grafi strutturati, migliorando significativamente l'accuratezza della localizzazione e la ricchezza semantica delle mappe rispetto agli stati dell'arte.
Il paper introduce PromCopilot, un framework basato su modelli linguistici di grandi dimensioni che semplifica il monitoraggio dei sistemi cloud nativi trasformando le domande in linguaggio naturale in query PromQL, sfruttando un grafo della conoscenza per comprendere il contesto del sistema e ottenendo un'accuratezza del 69,1% nel primo benchmark creato per questo compito.
Questo lavoro propone una strategia di campionamento di coppie positive guidata dal contesto spaziale per migliorare l'apprendimento auto-supervisionato nelle immagini di istopatologia, sfruttando la coerenza morfologica delle patch adiacenti per ottenere significativi guadagni di accuratezza nella classificazione del cancro senza necessità di estese annotazioni.
Il paper propone FlexHook, un nuovo framework a due stadi per il tracciamento multi-oggetto riferito che, superando le limitazioni dei metodi precedenti attraverso un'ingegneria delle caratteristiche basata su campionamento e un decoder di corrispondenza attiva, supera le prestazioni degli stati dell'arte attuali su diversi benchmark.
Il paper propone ConDU, un nuovo approccio di apprendimento continuo per i modelli visione-linguaggio che utilizza la fusione di modelli e trigger di task per mitigare l'oblio catastrofico, migliorando al contempo le prestazioni sui task visti e le capacità zero-shot.
Questo articolo presenta la progettazione e l'analisi sperimentale di un robot quadrupede di medie dimensioni a gambe "sandwich" e trasmissione a catena, caratterizzato da un'architettura a doppio motore e attuatori QDD che ne migliorano l'agilità e l'affidabilità, offrendo una piattaforma di ricerca accessibile e open-source costruita a basso costo.
Questo articolo investiga le condizioni necessarie e sufficienti per garantire comunicazioni affidabili in reti dinamiche soggette a guasti bizantini, estendendo l'analisi anche a scenari con perdita di messaggi, ritardi computazionali e messaggi autenticati.
Il paper presenta un nuovo metodo per migliorare la complessità temporale degli algoritmi di cammino minimo a sorgente singola sfruttando una decomposizione lineare dei grafi chiamata albero aciclico-connesso, che permette di ottenere complessità dipendenti dalla larghezza di annidamento del grafo invece che solo dalla dimensione totale.
Il paper presenta TCBS-Attack, un nuovo attacco di jailbreak in black-box per modelli Text-to-Image che supera le difese a catena completa cercando token vicino ai confini decisionali dei sistemi di controllo, ottenendo così un'efficienza e un tasso di successo superiori rispetto agli stati dell'arte.
Il paper presenta SEGA, un approccio innovativo che genera avatar 3D fotorealistici e guidabili per la testa a partire da una singola immagine, combinando modelli di priorità generalizzati con un nuovo framework di Gaussian Splatting nello spazio UV gerarchico per garantire coerenza 3D, realismo espressivo e prestazioni in tempo reale.