Analisi della polarità su chat di livestreaming

La Sentiment analysis, nata nell'ambito dell’informatica, è una delle aree di ricerca più attive nel campo dell’analisi del linguaggio naturale e si è diffusa ampiamente anche in altri rami scientifici come ad esempio le scienze sociali, l’economia e il marketing. L’enorme diffusione della sentiment analysis coincide con la crescita dei cosiddetti social media: siti di commercio e recensioni di prodotti, forum di discussione, blog, micro-blog e di vari social network. L'obiettivo del presente lavoro di tesi è stato quello di progettare un sistema di sentiment analysis in grado di rilevare e classificare le opinioni e i sentimenti espressi tramite chat dagli utenti della piattaforma di video streaming Twitch.tv. Per impostare ed organizzare il lavoro, giungendo quindi alla definizione del sistema che ci si è proposti di realizzare, sono stati utilizzati vari modelli di analisi in particolare le recurrent neural networks (RNNLM) e sistemi di word embedding (word2vec),nello specifico i Paragraph Vectors, applicandoli, dapprima, su dati etichettati in maniera automatica attraverso l'uso di emoticon e, successivamente, su dati etichettati a mano.

Applicazioni degli acciai inossidabili in sistemi per la produzione di energia.

Questo elaborato ha lo scopo di esporre quelli che sono i vantaggi derivanti dall' utilizzo degli acciai inossidabili, specificando il tipo di componente e le ragioni della scelta, nei sistemi per la produzione di energia: dalle turbine, agli impianti nucleari, fino agli impianti che sfruttano le energie alternative (solare, eolica, geotermica, biogas). Inizialmente viene fornito un quadro generale sui differenti tipi di acciai inox (martensitici, ferritici, austenitici e duplex, con le relative proprietà, sottolineandone vantaggi e svantaggi), descrivendone anche i sistemi di designazione, con particolare attenzione alla norma AISI (American Iron and Steel Institute). Una volta messe in risalto queste caratteristiche, vengono esaminati e descritti diversi sistemi di produzione di energia in cui gli acciai inox trovano applicazione: si parte dalle turbine (idraulica, a vapore e a gas), spiegando i benefici nell'utilizzo di particolari categorie di acciai inox nella realizzazione di alcuni dei componenti per questi impianti. Vengono quindi esaminati gli impianti nucleari, partendo da quelli che utilizzano come moderatore e fluido refrigerante acqua naturale, ("PWR", Pressurized Water Reactor) e ("BWR", Boiling Water Reactor), fino a quelli che utilizzano invece acqua pesante ("CANDU", Canadian Deuterium Uranium Reactor), nonchè i reattori veloci ("FBR", Fast Breeding Reactor). Infine, vengono esaminate le applicazioni degli acciai inox, nei sistemi per la produzione di energia che, sfruttano fonti alternative (elencate in precedenza).

Indagini e problemi di storia letteraria italiana con notizie e norme bibliografiche.

bibliografiche (p. [99]-172)

Definizione e validazione di uno strumento per la misurazione dell'impatto delle variabili redazionali di un item matematico sulla performance degli studenti

Questa tesi descrive la ricerca condotta tra l'autunno e l'inverno di quest'anno da un gruppo di ricercatori in didattica della matematica relativamente all'influenza che le variazioni redazionali di un quesito matematico hanno sulle performance degli studenti. Lo scopo della ricerca è quella di strutturare e validare una metodologia e uno strumento che permettano di individuare e quantificare l'influenza delle variazioni del testo sulle prestazioni dello studente. Si è sentita l'esigenza di condurre uno studio di questo tipo poichè è sempre più evidente il profondo legame tra il linguaggio e l'apprendimento della matematica. La messa a punto di questo strumento aprirebbe le porte a una serie di ricerche più approfondite sulle varie tipologie di variazioni numeriche e/o linguistiche finora individuate. Nel primo capitolo è presentato il quadro teorico di riferimento relativo agli studi condotti fino ad ora nell'ambito della didattica della matematica, dai quali emerge la grossa influenza che la componente linguistica ha sulla comprensione e la trasmissione della matematica. Si farà quindi riferimento alle ricerche passate volte all'individuazione e alla schematizzazione delle variazioni redazionali dei Word Problems. Nel secondo capitolo, invece si passerà alla descrizione teorica relativa allo strumento statistico utilizzato. Si tratta del modello di Rasch appartenente alla famiglia dei modelli statistici dell'Item Response Theory, particolarmente utilizzato nella ricerca in didattica. Il terzo capitolo sarà dedicato alla descrizione dettagliata della sperimentazione svolta. Il quarto capitolo sarà il cuore di questa tesi; in esso infatti verrà descritta e validata la nuova metodologia utilizzata. Nel quinto sarà eseguita un analisi puntuale di come lo strumento ha messo in evidenza le differenze per ogni item variato. Infine verranno tratte le conclusioni complessive dello studio condotto.

Tabelle di Young e statistiche sulle permutazioni

La presente tesi è suddivisa in due parti: nella prima parte illustriamo le definizioni e i relativi risultati della teoria delle tabelle di Young, introdotte per la prima volta nel 1900 da Alfred Young; mentre, nella seconda parte, diamo la nozione di numeri Euleriani e di Polinomi Euleriani. Nel primo capitolo abbiamo introdotto i concetti di diagramma di Young e di tabelle di Young standard. Inoltre, abbiamo fornito la formula degli uncini per contare le tabelle di Young della stessa forma. Il primo capitolo è focalizzato sul teorema di Robinson-Schensted, che stabilisce una corrispondenza biunivoca tra le permutazioni di Sn e le coppie di tabelle di Young standard della stessa forma. Ne deriva un'importante conseguenza che consiste nel poter trovare in modo efficiente la massima sottosequenza crescente di una permutazione. Una volta definite le operazioni di evacuazione e "le jeu de taquin" relative alle tabelle di Young, illustriamo una serie di risultati riferibili alla corrispondenza biunivoca R-S che variano in base alla permutazione che prendiamo in considerazione. In particolare, enunciamo il teorema di simmetria di M.P.Schüztenberger, che dimostriamo attraverso la costruzione geometrica di Viennot. Nel secondo capitolo, dopo aver dato la definizione di discesa di una permutazione, descriviamo altre conseguenze della corrispondenza biunivoca R-S: vediamo così che esiste una relazione tra le discese di una permutazione e la coppia di tabelle di Young associata. Abbiamo trattato approfonditamente i numeri Euleriani, indicati con A(n,k) = ]{σ ∈ Sn;d(σ) = k}, dove d(σ) indica il numero di discese di una permutazione. Descriviamo le loro proprietà e simmetrie e vediamo che sono i coefficienti di particolari polinomi, detti Polinomi Euleriani. Infine, attraverso la nozione di eccedenza di una permutazione e la descrizione della mappa di Foata arriviamo a dimostrare un importante risultato: A(n,k) conta anche il numero di permutazioni di Sn con k eccedenze.

Controllo ultra-low power di un modulatore back-scattering per applicazioni di localizzazione in sistemi RFID

In questa tesi viene elaborata un'applicazione ultra-low power (ULP) basata su microcontrollore, per implementare la procedura di controllo di diversi circuiti di un tag RFID. Il tag preso in considerazione è pensato per lavorare in assenza di batteria, da cui la necessita' di ridurre i consumi di potenza. La sua attivazione deve essere inoltre comandata attraverso un'architettura Wake up Radio (WuR), in cui un segnale di controllo radio indirizza e attiva il circuito. Nello specifico, la rete di decodifica dell'indirizzo è stata realizzata mediante il modulo di comunicazione seriale del microcontrollore. Nel Capitolo 1 verrà introdotto il tema dell'Energy Harvesting. Nel Capitolo 2 verrà illustrata l'architettura del sistema nel suo complesso. Nel Capitolo 3 verrà spiegato dettagliatamente il funzionamento del microcontrollore scelto. Il Capitolo 4 sarà dedicato al firmware implementato per svolgere le operazioni fondamentali imputate al micro per i compiti di controllo. Verrà inoltre introdotto il codice VHDL sviluppato per emulare l'output del modulo WuR mediante un FPGA della famiglia Cyclone II. Nel Capitolo 5 verrà presentata una stima dei consumi del microcontrollore in funzione dei parametri di configurazione del sistema. Verrà inoltre effettuato un confronto con un altro microcontrollore che in alcune condizioni potrebbe rappresentare iun'alternativa valida di progetto. Nei Capitoli 6 e 7 saranno descritti possibili sviluppi futuri e conclusioni del progetto. Le specifiche di progetto rilevanti della tesi sono: 1. minimo consumo energetico possibile del microcontrollore ULP 2. elevata rapidità di risposta per la ricezione dei tag, per garantire la ricezione di un numero maggiore possibile di indirizzi (almeno 20 letture al secondo), in un range di tempo limitato 3. generazione di un segnale PWM a 100KHz di frequenza di commutazione con duty cycle 50% su cui basare una modulazione in back-scattering.

Proprietà topologiche e controesempi

In questa tesi ho approfondito il significato di alcune proprietà topologiche, considerando degli esempi che mi hanno permesso di capire qual è il loro limite. Innanzitutto ho scritto un breve excursus sulla storia della topologia, poi ho riportato definizioni e proposizioni di base per poter studiare l'argomento, e infine mi sono soffermata sugli esempi: seno del topologo, cerchio di Varsavia e spazio a pettine. L'esempio del seno del topologo permette di distinguere la differenza fra connessione e connessione per archi; il cerchio di Varsavia mostra che le proprietà di connessione e connessione per archi globali non implicano le rispettive proprietà locali; infine grazie allo spazio a pettine si può mostrare la differenza fra retratto per deformazione e retratto forte per deformazione.

Stazioni di ricarica di veicoli elettrici: caratteristiche e regole della connessione

Oggetto della tesi sono i sistemi di ricarica dei veicoli elettrici, in particolare la diffusione in Europa delle stazioni di carica, i metodi di carica le caratteristiche della connessione del veicolo alla stazione, e della stazione alla rete pubblica di distribuzione. La tesi illustra lo stato dell’arte dei sistemi di ricarica, le norme relative, sia tecniche che di legge, l’interfaccia di connessione fra veicolo elettrico e stazione di ricarica, ancora oggetto di discussione e non ancora unificato a livello europeo. La tesi affronta anche i sistemi di protezione previsti dalla norma tecnica per la sicurezza delle persone dai contatti elettrici. La tesi contiene inoltre cenni al sistema di comunicazione tra veicolo e stazione di ricarica, e alla crescente attenzione della ricerca internazionale per le tecniche “vehicle to grid”.

KeyCrime: il “conclusive reasoning” nell’attività anticrimine della Polizia di Stato

Parlare di KeyCrime significa rapportarsi con un software che si fonda prioritariamente su di un metodo scientifico che fa proprio il ragionamento conclusivo (conclusive reasoning), applicato al decison making , pertanto all’intelligence investigativa e alla predictive policing. Potremmo pensare a KeyCrime come un paradigma operativo che si pone in sinergia tra la filosofia, il cognitivismo giuridico e le scienze applicate (Romeo F., 2006). Quando analisi e decision making trovano in un unico contesto il terreno fertile dove svilupparsi, ma ancor più, creare presupposti di ragionamento, ecco che da queste è facile comprendere da quale altra condizione sono nate, attivate e soprattutto utilizzate ai fini di un risultato: questa non è altro che “l’osservazione”; se ben fatta, profonda e scientifica offre una sistematica quanto utile predisposizione alle indagini, specialmente di carattere preventivo per l’anticrimine e la sicurezza.

Analisi critica del People Mover di Bologna: dallo studio della domanda alle analisi swot.

Lo scopo della tesi è analizzare gli aspetti principali del progetto People Mover di Bologna, toccando gli aspetti costruttivi, ambientali e trasportistici, esaminando lo studio della domanda di trasporto e svolgendo infine un analisi swot dei punti di forza o debolezza. Il People Mover di Bologna è un sistema innovativo di trasporto pubblico che collegherà in 7 minuti la stazione ferroviaria all’aeroporto Marconi, effettuando una sola fermata intermedia presso il Lazzaretto, un’area destinata ad ospitare un nuovo insediamento abitativo nonché nuovi spazi per l’Università di Bologna. Il People Mover è un sistema di trasporto pubblico che offre: certezza sui tempi di percorrenza, mobilità silenziosa, zero emissioni (trazione elettrica), sicurezza di esercizio, costi ridotti rispetto ad una metropolitana. Dopo aver valutato in sede di analisi swot, i pro e contro di tale opera è giusto fare un confronto tra il People Mover e il Servizio Ferroviario Metropolitano. In passato il confronto fra i sostenitori del People mover e del Sistema ferroviario metropolitano è stato in parte ideologico, in parte politico e solo limitatamente tecnico. La tesi analizza le differenze tecniche dei due sistemi di trasporto. Voler far convivere sulla stessa infrastruttura due utenze molto diverse (quella aeroportuale e quella pendolare) è difficile e porterebbe alla non soddisfazione di entrambe. Se l’utenza aeroportuale chiede rapidità e spazio per i bagagli, i pendolari chiedono maggiori posti a sedere e maggiore intensità del servizio. In conclusione lo scopo di questa tesi non è porre dei dubbi sul progetto dell’opera stessa, peraltro già in fase di cantierizzazione, ma fornire un analisi più completa sul progetto.

Accessori per sistemi in cavo nella trasmissione dell'energia elettrica in HVDC: definizione di modelli fisici per la caratterizzazione di materiali isolanti, semiconduttivi e varioresistivi

Lo studio intrapreso si è posto come obiettivo la caratterizzazione dal punto di vista elettrico dei materiali coinvolti nella realizzazione di accessori per applicazioni in HVDC, in particolare mescole isolanti, semiconduttive e varioresistive. La necessità di un lavoro di questo tipo viene giustificata dalla costante espansione dei sistemi in DC nella trasmissione dell’energia elettrica, i quali presentano caratteristiche fisiche che si differenziano sensibilmente da quelle tipiche dei tradizionali sistemi in AC, dunque richiedono componenti e materiali opportunamente progettati per garantire condizioni di servizio sicure e affidabili. L’obiettivo della trattazione consiste nello studio di analogie e differenze tra le proprietà elettriche fornite da prove su diverse configurazioni di provini, nella fattispecie di tipo piano e cilindrico cavo. In primo luogo si studiano i provini di tipo piano al fine di ricavare informazioni basilari sul materiale e sulla mescola che lo costituisce e di prendere decisioni relative al proseguimento dei test. Dopo aver effettuato un sufficiente numero di test su varie tipologie di provini piani e aver riconosciuto le mescole più performanti dal punto di vista elettrico, meccanico e termico, si procede alla realizzazione di provini cilindrici stampati, su cui si intraprendono le medesime misure effettuate per la configurazione piana. Questa seconda fase di caratterizzazione è fondamentale, in quanto consente di verificare che le proprietà già studiate su piastra si conservino in una geometria molto più simile a quella assunta dal prodotto finale evitando di sostenere costi onerosi per la produzione di un accessorio full-size. Il lavoro è stato svolto nel laboratorio elettrico di alta tensione della divisione R&D del gruppo Prysmian di Milano, leader mondiale nella produzione di sistemi in cavo per alte e altissime tensioni.

Funzioni di Matrici. Proprieta' e applicazione ai social networks

Teoria delle funzioni di matrici. Spiegazione del concetto di network, proprietà rilevanti rilevate attraverso determinate funzioni di matrici. Applicazione della teoria a due esempi di network reali.

Previsione dell'evoluzione della microstruttura in processi industriali di estrusione delle leghe di alluminio serie AA6XXX

Nell’ambito di questa ricerca sono stati sviluppati modelli in grado di prevedere le dimensioni dei grani dopo il processo di estrusione di alcune leghe serie 6XXX, in particolare AA6060, AA6063 e AA6082. Alcuni modelli matematici proposti in letteratura sono stati presi in considerazione e implementati su Qform, codice FEM in grado di simulare processi di deformazione plastica. Sono state condotte diverse campagne sperimentali, tra cui una di visioplasticità necessaria per ottenere dati sperimentali che permettessero la validazione del Codice (modellazione dell’attrito, dello scambio termico, del flow stress del materiale). Altre prove di microestrusione ed estrusione inversa hanno fornito dati sperimentali che sono stati messi in correlazione con i risultati numerici di una serie di simulazioni. Infine è stata effettuata una campagna sperimentale di estrusione industriale a tutti gli effetti, ottenendo un profilo dalla geometria piuttosto complessa in lega AA6063, i dati ricavati hanno permesso : • la validazione di un modello unico di ricristallizzazione dinamica, • la valutazione di modelli per la predizione del comportamento durante recristallizzazione statica

La storia di Iefte (Jdc 10,6-12,7). Studi sul testo biblico e sulla sua ricezione nell'Antichità

La tesi tratta la storia veterotestamentaria di Iefte (Jdg 10,6-12,7). Il lavoro è diviso in due parti: la prima concerne la formazione del testo biblico e propone una nuova analisi critico-testuale del passo attraverso il confronto tra TM, LXX, Vg e altre fonti. Questo raffronto esamina i rapporti tra il TM e il modello ebraico dei LXX e le differenze tra le diverse recensioni dei LXX; inoltre, lo studio del lessico e dei temi in esso presenti porta alla formulazione di una nuova ipotesi sul tempo della composizione e sulla contestualizzazione storica e letteraria dell'episodio all'interno del corpus biblico. La seconda parte si concentra sulla storia delle interpretazioni del passo nel mondo latino e greco dal I secolo d.C. all'inizio del V secolo, e ha portato alla costituzione di un dossier di brani, esaminati nel loro contesto, che commentano o citano l'episodio. L'attenzione al contesto ha permesso di risolvere alcuni problemi che finora hanno impedito la ricostruzione del percorso esegetico del brano (attribuzione di alcuni frammenti catenari, datazione del De virginitate di Ambrogio, ecc.) Questo nuovo approccio di ricerca combina un'analisi completa dell'episodio biblico con uno studio approfondito della sua esegesi. Rivela così, da un lato, le scelte effettuate durante la composizione di un testo scritturistico problematico, e, dall'altro, i diversi meccanismi utilizzati dagli esegeti per spiegare il significato di una storia in cui la bontà di Dio, che ha tollerato il sacrificio umano, è messa in discussione.