7778 articoli
Gli autori dimostrano che l'isomorfismo per i tornei con larghezza gemella (twin width) limitata è risolvibile in tempo polinomiale utilizzando tecniche di teoria dei gruppi, mentre l'algoritmo combinatorio di Weisfeiler-Leman risulta insufficiente per questa classe di grafi.
Questo articolo presenta un nuovo approccio di riscrittura simbolica per la composizione asincrona di proprietà LTL su tracce infinite e finite, che trasforma le proprietà locali in globali considerando l'interleaving dei componenti, ne dimostra l'equivalenza semantica e ne ottimizza la dimensione, integrando tali metodi nello strumento OCRA per la verifica dei contratti.
Il documento fornisce una dimostrazione semplice che le ricorrenze di Fibonacci -arie e contano rispettivamente il numero di parole -regolari su che evitano specifici insiemi di pattern, estendendo risultati noti sui numeri di Fibonacci e Jacobsthal e proponendo una congettura sui numeri di Fibonacci al quadrato.
Questo lavoro fornisce una caratterizzazione completa delle lingue -regolari posizionali attraverso gli automi di parità, dimostrando la decidibilità in tempo polinomiale, l'esistenza di lift da giochi finiti a infiniti e da un giocatore a due, e la chiusura rispetto all'unione per obiettivi posizionali indipendenti dal prefisso, risolvendo così una congettura di Kopczyński.
Il lavoro generalizza la semantica delle categorie di Freyd per i linguaggi call-by-value, dimostrando che la rappresentazione degli spazi funzionali con effetti protetti richiede l'uso di monadi parametrizzate, offrendo così una descrizione della proprietà di "guardedness" come caratteristica intrinseca dei programmi piuttosto che come semplice predicato sulla categoria.
Il paper presenta un algoritmo che, dopo una pre-elaborazione lineare rispetto alla dimensione del programma di compressione, enumera le risposte a query MSO su foreste non ordinate compresse con ritardo lineare rispetto all'output, offrendo un miglioramento sostanziale rispetto agli algoritmi esistenti e supportando aggiornamenti di etichettatura dei vertici in tempo logaritmico.
Questo articolo dimostra che le Dinamiche dei Grafi Causali, un modello di trasformazione di grafi portuali sincrono e deterministico, rientrano nel formalismo delle Trasformazioni Globali esprimibili come estensioni di Kan, rivelando inoltre l'universalità delle dinamiche causali monotone tra quelle generali.
Questo articolo presenta un approccio teorico e algoritmico per la riparazione graduale di grafi, che utilizza condizioni di applicazione deboli (indicatori di danno e di riparazione) per classificare le trasformazioni in base al loro potenziale di recupero della coerenza, dimostrando efficacia e scalabilità attraverso una valutazione sperimentale.
Questo articolo dimostra che l'uso di una trasformazione di Möbius per applicare la regola del trapezio a funzioni in spazi di Sobolev pesati su una retta reale garantisce un tasso di convergenza ottimale, permettendo l'integrazione numerica senza richiedere campioni probabilistici o derivate della funzione peso.
Il paper dimostra che il partizionante del modello di Potts antiferromagnetico non si annulla per un numero di colori leggermente inferiore a , permettendo così di ottenere un algoritmo deterministico in tempo polinomiale per approssimare il numero di colorazioni proprie dei grafi, superando la precedente barriera di .
Il paper propone una soluzione cross-layer basata su agenti multipli con apprendimento gerarchico e indipendente per ottimizzare la latenza degli aggiornamenti delle mappe HD nelle reti VANET, regolando dinamicamente i parametri IEEE802.11 (CWmin, CWmax e IFSn) e ottenendo miglioramenti significativi rispetto allo standard EDCA.
Il paper introduce TIMotion, un framework efficiente per la generazione di motion umane interattive che combina modellazione temporale e mixing interattivo tramite tecniche come l'iniezione causale interattiva, la scansione evolutiva dei ruoli e l'amplificazione di pattern localizzati, ottenendo prestazioni superiori rispetto ai metodi esistenti.
Il paper introduce VisPoison, un framework di attacco backdoor che sfrutta l'avvelenamento dei dati per compromettere i modelli di visualizzazione da testo a tabella, inducendo con successo esposizioni di dati sensibili, visualizzazioni fuorvianti o interruzioni del servizio tramite trigger specifici, evidenziando gravi vulnerabilità di sicurezza e l'inefficacia delle attuali difese.
Il paper presenta OWL-TAMP, un approccio che integra i Modelli Vision-Language per generare vincoli di linguaggio che potenziano i sistemi di pianificazione di compiti e movimento, permettendo ai robot di risolvere compiti di manipolazione a lungo termine in ambienti aperti specificati direttamente in linguaggio naturale.
Questo studio analizza come gli ingegneri del software interagiscono con gli assistenti AI, rivelando che l'incapacità dei modelli linguistici di fornire risposte corrette porta spesso all'abbandono dello strumento, nonostante gli utenti tentino di mitigare tali errori con strategie di scaffolding e chiarimento dei prompt.
Il paper propone un framework di apprendimento attivo per i modelli visione-linguaggio che, combinando un clustering guidato dalle classi e una selezione adattiva basata su soglie specifiche per categoria, ottimizza l'efficienza del budget di annotazione superando le prestazioni delle metodologie esistenti su diversi dataset.
Questo studio presenta una tassonomia di nove "log smells" derivata da un'analisi della letteratura scientifica, mappando le relative problematiche sugli strumenti esistenti per identificare le lacune nella ricerca e guidare lo sviluppo di log di migliore qualità.
Lo studio analizza la risoluzione collaborativa di problemi nell'analisi visiva di grafi in realtà mista, dimostrando che la rappresentazione 3D non garantisce risultati migliori rispetto ai gruppi nominali e sottolineando l'importanza di questi ultimi come benchmark di riferimento.
Questo articolo dimostra che le lunghezze delle corse e le posizioni di inizio e fine nelle sequenze di piegatura della carta sono 2-sincronizzate e calcolabili tramite automi finiti, generalizzando risultati recenti e fornendo nuove proprietà sulla complessità e l'esponente critico di tali sequenze.
Il paper presenta ARSGaussian, un metodo innovativo per la sintesi di nuove viste in ambito di telerilevamento aereo che integra nuvole di punti LiDAR e modelli di distorsione geometrica nel 3D Gaussian Splatting per risolvere problemi di fluttuazione e sovracrescita, migliorando la precisione geometrica e rilasciando il nuovo dataset AIR-LONGYAN.