4475 articoli
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.
Il paper propone BOPIM, un algoritmo di ottimizzazione bayesiana per la massimizzazione dell'influenza su reti temporali che, superando le sfide legate agli spazi combinatori attraverso kernel specifici e una funzione di acquisizione adattata, supera i metodi esistenti in velocità mantenendo prestazioni comparabili e offrendo per la prima volta una quantificazione dell'incertezza negli insiemi di nodi semi ottimali.
Questo studio longitudinale su GPT, Llama e Qwen rivela che gli aggiornamenti dei modelli linguistici non garantiscono sistematicamente un miglioramento della robustezza contro attacchi avversariali, mostrando anzi che versioni successive possono talvolta peggiorare aspetti come la misclassificazione e le allucinazioni nonostante miglioramenti in altri ambiti.
Il lavoro generalizza gli assiomi di cardinalità dalle algebre di relazione alle algebre di Stone per modellare grafi pesati, semplificando di conseguenza gli assiomi originali e fornendo condizioni sufficienti per la rappresentabilità di queste strutture.
Il lavoro fornisce una caratterizzazione degli insiemi di grafi sia definibili in logica monadica del secondo ordine con conteggio (CMSO) sia context-free, dimostrando la loro equivalenza con insiemi riconoscibili a larghezza ad albero limitata, insiemi parsabili e immagini di insiemi di alberi riconoscibili tramite trasduzioni definibili, basandosi su una nuova connessione tra risultati fondamentali di Courcelle, Engelfriet, Bojanczyk e Pilipczuk.
Il paper dimostra che, mentre esistono un numero continuo di varietà di reticoli residuati semilineari idempotenti non commutativi con la proprietà di amalgamazione, esattamente sessanta varietà commutative godono della stessa proprietà, fornendo così una classificazione completa delle estensioni assiomatiche della logica corrispondente che possiedono l'interpolazione deduttiva.
Questo articolo sviluppa una fondazione per un calcolo delle espressioni contestuali senza legami di variabili, basandosi su forme normali per gli elementi di algebre di Kleene -continue che rappresentano i linguaggi contestuali all'interno di un prodotto tensoriale con un'algebra poliaciclica.