3447 articoli
Questo studio presenta un metodo di diagnostica per O-RAN basato su misurazioni reali che, analizzando congiuntamente la coda della latenza applicativa e gli indicatori dello strato radio, rivela differenze dipendenti dal dispositivo e dinamiche di degradazione non rilevabili con metriche medie, proponendo al contempo indicatori leggeri per il monitoraggio pratico.
Il paper presenta LLMGreenRec, un innovativo sistema di raccomandazione basato su agenti multipli e modelli linguistici su larga scala che promuove il consumo sostenibile nell'e-commerce ottimizzando le raccomandazioni di prodotti ecologici e riducendo al contempo l'impronta di carbonio digitale.
Questo lavoro risolve una questione aperta dimostrando la prima separazione esplicita tra privacy differenziale in modalità cieca e adattiva nel contesto dell'osservazione continua, presentando un algoritmo accurato per un numero esponenziale di passi temporali nel primo caso e provando che ogni algoritmo adattivo fallisce dopo un numero costante di passi.
Il paper introduce le "Reading Activity Traces" (RATs), un approccio che riconosce la lettura come attività creativa in sé e per il futuro, rendendo visibili i processi interpretativi umani spesso oscurati dall'automazione algoritmica attraverso un'istanza speculativa su Wikipedia chiamata WikiRAT.
Il paper presenta DynVLA, un modello VLA per la guida autonoma che introduce il "Dynamics CoT", un nuovo paradigma di ragionamento che prevede la dinamica del mondo tramite token compatti e decouplati per migliorare la qualità decisionale rispetto ai metodi basati su testo o immagini.
Il paper propone Agentar-Fin-OCR, un sistema di parsing documentale specializzato per i documenti finanziari che trasforma PDF di lunghezza estrema in output strutturati e tracciabili, integrando algoritmi per la continuità tra pagine e l'apprendimento curricolare adattivo, e introduce il benchmark FinDocBench per valutare le prestazioni in questo dominio verticale.
Questo articolo offre una discussione completa sul concetto e sull'architettura del network slicing nel 5G, focalizzandosi in particolare sulla modellazione dei profitti attraverso l'implementazione di slice proprie e il leasing di risorse per slice esternalizzate, oltre ad affrontare le sfide e le direzioni di ricerca aperte.
Questo studio, combinando un campione rappresentativo di adulti statunitensi con i dati di "Have I Been Pwned", stima che almeno l'82,84% degli americani abbia subito una violazione dei propri account online, con una media di almeno tre compromissioni per persona, incidendo maggiormente su donne, bianchi, persone di mezza età e con un livello di istruzione più elevato.
Questo articolo presenta un framework di monitoraggio online scalabile ed efficiente per la Logica Temporale Metrica (MTL), basato sulla costruzione unificata di reti sequenziali tramite una tecnica di "future temporal marking" che utilizza rappresentazioni simboliche basate su intervalli per gestire comportamenti temporali sia discreti che densi.
Questo articolo stabilisce che il controllo modulare dei sistemi multi-agente pushdown è completo per 2EXPTIME rispetto alle specifiche ATL e 4EXPTIME rispetto alle specifiche ATL*, quest'ultima rappresentando un raro esempio di problema decisionale elementare con complessità superiore al tempo triplamente esponenziale.
Questo articolo dimostra che i contatori probabilistici, come quelli di Morris e MaxGeo, possono garantire la privacy dei dati nell'aggregazione distribuita sfruttando la loro intrinseca randomizzazione senza necessità di aggiunte esterne, fornendo al contempo un'analisi formale rigorosa dei parametri di privacy differenziale.
Questo articolo generalizza l'operazione di switching per i grafi , risolvendo problemi aperti precedenti, dimostrando l'esistenza e le proprietà del prodotto categorico in questo contesto e determinando il numero cromatico generalizzato per le foreste mediante strumenti della teoria dei gruppi.
Questo studio presenta un framework basato su un modello di regressione di Poisson per stimare la domanda eccedente nei sistemi di trasporto pubblico, superando il problema dei dati censurati che sottostimano la domanda reale, e applica tale metodo ai dati dell'autorità dei trasporti di Pittsburgh.
Questo studio analizza i dati delle partite NBA dal 2015 per dimostrare l'esistenza di un pregiudizio a favore delle squadre di casa (ridotto durante la pandemia) e di vantaggi statistici per alcuni giocatori specifici, mentre non trova alcuna evidenza di bias razziali o di pregiudizi negativi verso singoli giocatori o squadre.
Questo articolo presenta un nuovo problema di selezione di piani di query relazionali informativi (TIPS) e un algoritmo di approssimazione per identificare piani alternativi rappresentativi, dimostrando attraverso studi sperimentali e valutazioni didattiche la loro efficacia nel migliorare l'insegnamento dei database.
Questo articolo presenta una nuova dimostrazione elementare della proprietà del modello finito per l'Algebra di Kleene, basata su automi di trasformazione, che unifica e generalizza i risultati precedenti di Palka e Pratt, stabilendo la completezza rispetto ai modelli relazionali finiti.
Questo studio analizza le parole di Dyck nelle sequenze binarie, dimostrando che le parole libere da potenze $7/3$ hanno un livello di annidamento limitato, fornendo una caratterizzazione esplicita e un conteggio dei fattori di Dyck nella parola di Thue-Morse, e stabilendo limiti superiori e inferiori stretti per il loro numero.
Il paper rivede un classico teorema sulle rappresentazioni -basate utilizzando il dimostratore Walnut per ottenere una prova computazionale diretta, permettendo di derivare in modo uniforme e automatico sia risultati noti che nuovi, senza ricorrere all'induzione.
Questo articolo dimostra che l'eliminazione di un singolo quantificatore universale nelle strutture automatiche comporta inevitabilmente un'esplosione esponenziale doppia, rendendo il problema della decisione completo per EXPSPACE, e utilizza queste tecniche per stabilire nuovi limiti inferiori per frammenti dell'aritmetica di Büchi.
Questo lavoro perfeziona la tecnica dei grafi di tipo pesati per dimostrare la terminazione dei sistemi di trasformazione grafica DPO, aumentandone la potenza, generalizzandola ad altre categorie e adattandola alle varianti DPO presenti in letteratura.