6013 articoli
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 $2\Deltaq=2\Delta$.
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.
Questo studio analizza 160 linee guida e dichiarazioni politiche relative all'intelligenza artificiale generativa e ai modelli linguistici su larga scala in quattordici settori industriali, utilizzando tecniche di text-mining per valutare le sfide di governance e fornire raccomandazioni per un'integrazione responsabile, trasparente ed equa.
Questo studio propone l'ELIPformer, un modello basato su Transformer che integra un priore linguistico-visivo per migliorare le prestazioni di decodifica EEG nelle interfacce cervello-computer RSVP, consentendo un'adattabilità efficace tra diversi compiti senza necessità di calibrazione.
Questo lavoro introduce il dataset open-source MTREE e la rete neurale MTREE-Net, che fondono segnali EEG e movimenti oculari tramite una strategia di fusione dinamica e trasferimento di conoscenza per migliorare significativamente le prestazioni di decodifica nei sistemi BCI RSVP multi-classe.
Il documento presenta Kite, un protocollo che abilita la delega privata dei poteri di voto nelle DAO garantendo l'anonimato sia del delegante che del delegato, pur registrando pubblicamente l'azione di delega, e ne dimostra la fattibilità pratica attraverso un'implementazione su Ethereum basata su prove a conoscenza zero.
Il paper presenta gli iMarkers, nuovi marcatori fiduciali invisibili agli umani ma rilevabili da robot e dispositivi AR, che risolvono il problema estetico dei marcatori tradizionali offrendo flessibilità di produzione, algoritmi di rilevamento open-source e robustezza in scenari robotici diversificati.
Il presente lavoro definisce e analizza un metodo agli elementi finiti per le equazioni accoppiate di Stokes e Poisson-Boltzmann, dimostrando l'esistenza e l'unicità della soluzione debole, la ben-postezza del problema discreto e le relative velocità di convergenza, convalidando infine il metodo attraverso esperimenti numerici su flussi elettro-osmotici in micro-canali.