Anna Karenina oltre le pagine di Tolstoj. La trasposizione cinematografica di Joe Wright

Lo scopo di questo lavoro è confrontare il famoso romanzo Anna Karenina di Lev Tolstoj con la sua ultima versione cinematografica diretta dal regista britannico Joe Wright. Suddiviso in tre capitoli, l’elaborato dimostra come una storia possa acquisire una nuova e particolare chiave di lettura quando viene adattata per il grande schermo. In particolare, il confronto tra i due mezzi espressivi verte su due sfere tematiche: la società e il rapporto fra uomo e donna.

SprachGefühl e il controverso ruolo dei sentimenti nella lingua. Un concetto al confine tra linguistica e letteratura

Un concetto tedesco intraducibile in altre lingue, lo Sprachgefühl si colloca al confine tra linguistica e letteratura, due discipline che si rispecchiano nell’accostamento vagamente ossimorico dei due costituenti che formano il composto, rispettivamente in Sprache e in Gefühl (traducibili con “lingua” e “sentimento”), che mostrano la duplice natura razionale e irrazionale del fenomeno. Il presente elaborato, suddiviso in quattro capitoli dedicati di volta in volta a un aspetto diverso dello Sprachgefühl e ramificati talvolta in paragrafi e sotto-paragrafi, ne delinea significato, caratteristiche, funzioni, vantaggi, limiti, ambiguità, contesti d’uso e di applicazione e possibili letture interdisciplinari, con l’ambizione di rendere noto e di diffondere un concetto tanto affascinante e controverso a un pubblico italiano che non abbia necessariamente familiarità con la lingua tedesca e che sia pronto a seguire il cambiamento di prospettiva qui proposto per superare la paura della tradizione e unire due mondi al contempo diversi e affini: ragione e sentimento. A supportare l’indagine etimologica, semantica, grammaticale, didattica e letteraria condotta dallo studio contribuiscono ricerche, realizzate in gran parte da linguisti soprattutto in area germanofona, che hanno indagato il concetto per prime e che hanno avuto una discreta risonanza in ambito accademico. Tra i primi scritti in lingua italiana focalizzati esclusivamente sul fenomeno dello Sprachgefühl, il presente elaborato si propone di esplorare la relazione tra mondo esterno governato da regole e dimensione interiore dell’individuo in cui regnano creatività e fantasia, per capire in ultima analisi il legame speciale che si instaura tra parlante e lingua, doverosamente normativo ma anche necessariamente emotivo.

Ottimizzazione del processo di gestione delle modifiche della distinta base prodotto il caso IMA S.p.A.

A seguito di un’esigenza esplicitata della Divisione IMA Ilapak Lugano, il team del PaLM Entreprise ha creato il Modulo Segnalazione Modifiche (MSM) con lo scopo di standardizzare e strutturare il flusso informativo relativo alle modifiche della distinta base dagli uffici tecnici a quelli della logistica e produzione. La prima analisi effettuata è stata incentrata sulla situazione AS-IS e sul primo applicativo che utilizzava Ilapak Lugano, il Segnalazione Modifiche (SM). Dopo aver appreso il funzionamento del vecchio SM, sono emerse diverse criticità come la scarsa integrazione con la piattaforma PaLM e con gli altri sistemi che conducevano a problemi di trasmissione di informazione tra gli uffici e ad errori nel recupero delle modifiche corrette. Dopo differenti riunioni tra i due team sono state concordate le prime specifiche. Successivamente l’elaborato procede con un’analisi della situazione TO-BE, descrivendo le caratteristiche ed i vantaggi del MSM. Uno dei principali benefici è che il Modulo è perfettamente integrato all’interno del PaLM e con tutti i sistemi PDM e CAD. Tutto ciò permette di migliorare la comunicazione e la collaborazione tra i vari dipartimenti, in special modo tra gli uffici tecnici e la logistica e con i fornitori. La terza ed ultima analisi è, invece, una valutazione economica: vengono calcolati i costi della situazione AS-IS, quelli della TO-BE e, in seguito, viene fatta un’analisi costi/benefici, confrontando i due scenari. Attraverso l’implementazione del MSM, si ottengono i seguenti risultati: non solo si ottiene una riduzione dei costi, ma anche un risparmio importante di tempo per gli operatori. Ilapak Lugano è risultata essere la portavoce di un progetto che, in realtà, molte altre Divisioni IMA desiderano. Senza dubbio, il fine ultimo del progetto del MSM è quello di introdurlo in quante più Divisioni possibili, rendendolo un modulo indispensabile all’interno dell’azienda.

Smart freight transport in urban areas: a crowd-shipping model using autonomous vehicles

L'avanzamento dell'e-commerce e l'aumento della densità abitativa nel centro città sono elementi che incentivano l'incremento della richiesta merci all'interno dei centri urbani. L'attenzione all'impatto ambientale derivante da queste attività operative è un punto focale oggetto di sempre maggiore interesse. Attraverso il seguente studio, l'obiettivo è definire attuali e potenziali soluzioni nell'ambito della logistica urbana, con particolare interesse alle consegne dell'ultimo miglio. Una soluzione proposta riguarda la possibilità di sfruttare la capacità disponibile nei flussi generati dalla folla per movimentare merce, pratica nota sotto il nome di Crowd-shipping. L'idea consiste nella saturazione di mezzi già presenti nella rete urbana al fine di ridurre il numero di veicoli commerciali e minimizzare le esternalità negative annesse. A supporto di questa iniziativa, nell'analisi verranno considerati veicoli autonomi elettrici a guida autonoma. La tesi è incentrata sulla definizione di un modello di ottimizzazione matematica, che mira a designare un network logistico-distributivo efficiente per le consegne dell'ultimo miglio e a minimizzare le distanze degli attori coinvolti. Il problema proposto rappresenta una variante del Vehicle Routing Problem con time windows e multi depots. Il problema è NP-hard, quindi computazionalmente complesso per cui sarà necessario, in fase di analisi, definire un approccio euristico che permetterà di ottenere una soluzione sub-ottima in un tempo di calcolo ragionevole per istanze maggiori. L'analisi è stata sviluppata nell'ambiente di sviluppo Eclipse, attraverso il risolutore Cplex, in linguaggio Java. Per poterne comprendere la validità, è prevista un'ultima fase in cui gli output del modello ottimo e dell'euristica vengono confrontati tra loro su parametri caratteristici. Bisogna tuttavia considerare che l' utilizzo di sistemi cyber-fisici a supporto della logistica non può prescindere da un costante sguardo verso il progresso.

Integrazione di reti neurali con approcci simbolici per problemi di ragionamento deduttivo in linguaggio naturale

Uno degli obiettivi più ambizioni e interessanti dell'informatica, specialmente nel campo dell'intelligenza artificiale, consiste nel raggiungere la capacità di far ragionare un computer in modo simile a come farebbe un essere umano. I più recenti successi nell'ambito delle reti neurali profonde, specialmente nel campo dell'elaborazione del testo in linguaggio naturale, hanno incentivato lo studio di nuove tecniche per affrontare tale problema, a cominciare dal ragionamento deduttivo, la forma più semplice e lineare di ragionamento logico. La domanda fondamentale alla base di questa tesi è infatti la seguente: in che modo una rete neurale basata sull'architettura Transformer può essere impiegata per avanzare lo stato dell'arte nell'ambito del ragionamento deduttivo in linguaggio naturale? Nella prima parte di questo lavoro presento uno studio approfondito di alcune tecnologie recenti che hanno affrontato questo problema con intuizioni vincenti. Da questa analisi emerge come particolarmente efficace l'integrazione delle reti neurali con tecniche simboliche più tradizionali. Nella seconda parte propongo un focus sull'architettura ProofWriter, che ha il pregio di essere relativamente semplice e intuitiva pur presentando prestazioni in linea con quelle dei concorrenti. Questo approfondimento mette in luce la capacità dei modelli T5, con il supporto del framework HuggingFace, di produrre più risposte alternative, tra cui è poi possibile cercare esternamente quella corretta. Nella terza e ultima parte fornisco un prototipo che mostra come si può impiegare tale tecnica per arricchire i sistemi tipo ProofWriter con approcci simbolici basati su nozioni linguistiche, conoscenze specifiche sul dominio applicativo o semplice buonsenso. Ciò che ne risulta è un significativo miglioramento dell'accuratezza rispetto al ProofWriter originale, ma soprattutto la dimostrazione che è possibile sfruttare tale capacità dei modelli T5 per migliorarne le prestazioni.

Progettazione e simulazione di un attacco sniffing su un dispositivo wearable

Oggigiorno, grazie al progresso tecnologico nel settore informatico e alla vasta diffusione dei dispositivi mobili all'interno del mercato mondiale, numerose sono le persone che utilizzando questi prodotti all'interno della vita di tutti giorni e.g. smartphone, smartwatch, smartband, auricolari, tablet, ecc. Per poter utilizzare questi dispositivi, spesso è necessario l'impiego di applicazioni apposite installate sui cellulari di ultima generazione e collegate ai dispositivi che permettono il controllo, la gestione e la raccolta dei dati relativo all'oggetto in questione. Oltre a facilitare le attività giornaliere, questi programmi, potrebbero causare dei problemi agli utenti a causa della ridotta o mancata sicurezza, poiché le informazioni personali come credenziali d'accesso, dati salutistici oppure quelli inerenti ai metodi di pagamento possono essere soggetti ad attacchi informatici. Questa tesi consiste nell'elaborazione di un software composto da un'applicazione Android, uno script Batch e dall'uso di programmi di terze parti, per poter effettuare la simulazione di un attacco sniffing in modo da poter intercettare i dati trasmessi, quali credenziali di accesso, OTP, tramite la tecnologia Bluetooth Low Energy.

Disegno, Costruzione, Progetto

L’architettura è costituita da molteplici aspetti e fenomeni, che compaiono durante il processo di elaborazione sfociando poi nello spazio costruito, suo elemento tangibile. Un processo complesso che inizia dal disegno, dal veloce schizzo che riassume quasi sempre l’intenzione ultima che vede luce e realizzazione solo attraverso la combinazione e giustapposizione di elementi architettonici. Il processo successivamente diviene realtà, cosa che richiede sia una formulazione materica che progettuale, poiché ognuno di essi aprono le porte di un mondo pieno di visioni ricche e profonde. La seguente tesi curriculare è una rilettura del mio percorso di studio che interpreta questo processo con particolare attenzione ai temi di disegno, costruzione e progetto.

L'attività dell'Organizzazione internazionale della vite e del vino: focus su alcune recenti risoluzioni adottate in enologia.

Dopo una prima parte dove vengono illustrate le funzioni e gli organi principali dell'OIV, approfondendone gli scopi e i ruoli, l'elaborato analizza alcune delle risoluzioni enologiche più interessanti emanate nel 2020 e nel 2021 dall'organizzazione. La prima risoluzione che viene approfondita è la OIV-OENO-631-2020 "Rassegna delle pratiche per la riduzione delle dosi di SO2 in vinificazione". Vengono individuati sei principali punti d'intervento in cui è possibile, tramite azioni a monte, evitare che divengano necessarie dosi di solforosa eccessive o sostanziose durante tutto il corso del processo produttivo, dalla campagna alla cantina fino alla bottiglia, al fine di correggere appunto "errori" in passaggi precedenti. Segue la risoluzione OIV-OENO-643-2020: "Monografia sulle sfere adsorbenti in stirene-divinilbenzene". Questa monografia porta all'attenzione una nuova tecnica per la riduzione e eliminazione dei difetti aromatici di terra-muffa legati direttamente alla geosmina. Buona parte della monografia tratta metodologie analitiche sulla gestione delle sfere in cantina, necessitando queste di trattamenti di precondizionamento prima dell'utilizzo e rinnovamento una volta terminato. La tecnica è molto interessante; non presenta però selettività nei confronti della molecola: ne consegue che una sua applicazione è un rischio calcolato. L'ultima risoluzione che viene approfondita è la OIV-OENO 581a-2021 "Trattamento del vino con acido fumarico per l'inibizione della fermentazione malolattica". In questa risoluzione viene introdotto l'utilizzo dell'acido fumarico nelle produzioni alimentari e, nel caso della produzione di vino, l'utilizzo per contrastare i batteri responsabili della fermentazione malolattica.

Un modello forward-backward per i certificati verdi nel mercato EU ETS

In questa tesi viene presentato un modello stocastico forward-backward per la valutazione dei certificati verdi nel mercato EU ETS (European Union Emissions Trading Scheme). Anzitutto si spiega l’origine di tale mercato, per poi descriverne il funzionamento e lo scopo. Vengono, quindi, introdotte le equazioni differenziali stocastiche backward lineari, per le quali si mostra un risultato di esistenza e unicità della soluzione. Conseguentemente vengono inquadrati matematicamente i sistemi differenziali stocastici forward-backward, mostrando una loro applicazione nell’ambito del option pricing. Viene quindi derivato il modello forward-backward per la valutazione delle quote di emissione. Il prezzo dei certificati verdi è trovato come soluzione di un’equazione differenziale alle derivate parziali semilineare. L'ultima parte è dedicata all’analisi numerica di tale PDE. Infine viene trattata la valutazione di opzioni europee scritte sulle quote di emissione.

Dispositivi organ-on-chip per l' ingegnerizzazione di tessuto cardiaco destinato allo screening farmacologico

Negli ultimi anni, nell' ambito dell' ingegneria dei tessuti, ha avuto un rapido aumento la generazione di tessuti cardiaci miniaturizzati, per lo studio della fisiologia cardiaca e delle patologie. In questa tesi, viene analizzato un processo di realizzazione di un dispositivo heart-on-a-chip recentemente pubblicato da Jayne et al. Per il processo di fabbricazione dei dispositivi è stata utilizzata una combinazione di Soft Lithography e Direct Laser Writing (DLW). Quest' ultima, in particolare, ha fornito due importanti caratteristiche ai dispositivi deputati alla semina cellulare: una struttura curva lungo l’ asse verticale e strutture 3D di diverse altezze sullo stesso piano. Tramite DLW sono stati realizzati anche precisi punti di adesione per le cellule staminali pluripotenti indotte, che hanno consentito di controllare la geometria dei tessuti ingegnerizzati. In particolare, oltre al processo di fabbricazione, in questo lavoro vengono anche illustrate le procedure necessarie al fine di calibrare i microsensori utilizzati per monitorare i costrutti. La prima fase della calibrazione si occupa di determinare la responsività meccanica dei sensori di spostamento, mentre la seconda valuta quella dei sensori elettrici, deputati alla conversione di spostamenti in variazioni di resistenza elettrica.

Gamification e User eXperience: uno studio per Casa Bufalini

L'obiettivo di questo lavoro di tesi è, quindi, quello di studiare delle soluzioni all'avanguardia ed effettuare la progettazione di un nuovo modulo innovativo di una web app attualmente in uso sul sito #Cesenadavivere di Casa Bufalini. Quest'ultima dovrà essere in grado di introdurre la navigazione di percorsi in modalità gaming, cioè tramite funzioni di riconoscimento automatico di punti di interesse come monumenti, edifici o stanze, a partire da immagini di elementi che li caratterizzano. Il progetto prevede anche di analizzare lo stato dell'arte dello sviluppo della web app e definirne al meglio l'evoluzione. Per renderlo possibile è necessario uno studio approfondito dello stato dell'arte di User Experience e Gamification. Queste due materie vengono sempre più utilizzate nella progettazione di applicazioni e tecnologie di contesti non di gioco, con il fine di aumentare il coinvolgimento degli utenti e migliorando la qualità del prodotto finale. Infatti, queste tecniche sono tutt'altro che utilizzate per il solo scopo di gioco, ma hanno il compito di rendere più fruibili e coinvolgenti le partecipazioni o utilizzi delle persone. L'obiettivo finale è quello di realizzare e proporre la realizzazione di un prototipo dell'interfaccia grafica che successivamente verrà valutata con un coinvolgimento di utenti target. Il risultato atteso sarà ottenere la migliore interfaccia grafica per soddisfare le necessità date dalla scelta delle possibili tecnologie da utilizzare. Queste necessità verranno prima ipotizzate dallo studio dello stato dell'arte delle materie e della piattaforma e poi verranno successivamente convalidate tramite dei test, i quali verranno effettuati cercando di coinvolgere un numero che vada da minimo cinque a dieci persone.

Ampliamento del corpus EPTIC e studio di caso sulla combinazione inglese-finlandese

The goal of this dissertation is both to expand EPTIC, the European Parliament Translation and Interpreting Corpus containing EU Parliament plenary speeches in five different languages, and to carry out a case study on the corpus. The corpus was expanded by adding 52 new speeches in both oral and written form in a language that was not hitherto represented in the corpus i.e., Finnish. The case study focuses on the analysis of the English structure “head noun + of + modifier” interpreted into Finnish with the use of the genitive case. As for several previous case studies, this dissertation shows the potential of a corpus such as EPTIC, despite its limited size. It can be used to expand research in the fields of translation and interpreting, but also for didactic purposes. The dissertation is divided into three chapters. The first offers a theoretical background, by presenting the notion of “corpus,” the different types of corpora – particularly focusing on intermodal corpora – and an overview of corpus-based translation and interpreting studies. The second chapter focuses on the EPTIC corpus i.e., on its development and structure, and it then describes all phases of the construction of the corpus. Finally, the third chapter presents the case study, which is introduced by a description of the genitive case in Finnish and of several strategies used by interpreters to face certain difficulties in simultaneous interpreting. The case study highlights two dimensions of the EPTIC corpus. Each original speech was compared with its interpreted version (parallel dimension), and each interpreted speech was compared with its verbatim report, the written version of the oral speech (intermodal dimension). The results confirm the initial assumption of higher accuracy in translation compared to interpreting of the “of structure” from English into Finnish. Moreover, the use of the genitive case in Finnish is higher among translators than interpreters.

Proof of Location through a Blockchain Agnostic Smart Contract Language: Design and Evaluation over Algorand and Ethereum

Le applicazioni che offrono servizi sulla base della posizione degli utenti sono sempre più utilizzate, a partire dal navigatore fino ad arrivare ai sistemi di trasporto intelligenti (ITS) i quali permetteranno ai veicoli di comunicare tra loro. Alcune di questi servizi permettono perfino di ottenere qualche incentivo se l'utente visita o passa per determinate zone. Per esempio un negozio potrebbe offrire dei coupon alle persone che si trovano nei paraggi. Tuttavia, la posizione degli utenti è facilmente falsificabile, ed in quest'ultima tipologia di servizi, essi potrebbero ottenere gli incentivi in modo illecito, raggirando il sistema. Diviene quindi necessario implementare un'architettura in grado di impedire alle persone di falsificare la loro posizione. A tal fine, numerosi lavori sono stati proposti, i quali delegherebbero la realizzazione di "prove di luogo" a dei server centralizzati oppure collocherebbero degli access point in grado di rilasciare prove o certificati a quegli utenti che si trovano vicino. In questo lavoro di tesi abbiamo ideato un'architettura diversa da quelle dei lavori correlati, cercando di utilizzare le funzionalità offerte dalla tecnologia blockchain e dalla memorizzazione distribuita. In questo modo è stato possibile progettare una soluzione che fosse decentralizzata e trasparente, assicurando l'immutabilità dei dati mediante l'utilizzo della blockchain. Inoltre, verrà dettagliato un'idea di caso d'uso da realizzare utilizzando l'architettura da noi proposta, andando ad evidenziare i vantaggi che, potenzialmente, si potrebbero trarre da essa. Infine, abbiamo implementato parte del sistema in questione, misurando i tempi ed i costi richiesti dalle transazioni su alcune delle blockchain disponibili al giorno d'oggi, utilizzando le infrastrutture messe a disposizione da Ethereum, Polygon e Algorand.

Costruzione del moto browniano

Il moto browniano è un argomento estremamente importante nella teoria della probabilità ed è alla base di molti modelli matematici che studiano fenomeni aleatori, in ambiti come la biologia, l'economia e la fisica. In questa tesi si affronta il problema dell'esistenza del moto browniano con un approccio differente rispetto a quello più tradizionale che utilizza il Teorema di estensione di Kolmogorov e il Teorema di continuità di Kolmogorov-Chentsov. Verranno presentate due costruzioni diverse. Con la prima, detta di Lévy-Ciesielski, si otterrà il moto browniano come limite di una successione di processi stocastici continui definiti ricorsivamente. Con la seconda, il moto browniano verrà costruito tramite la convergenza in legge di passeggiate aleatorie interpolate e riscalate, mediante il cosiddetto principio di invarianza di Donsker. Grazie a quest'ultima costruzione si potrà in particolare definire la misura di Wiener.

Analisi delle prestazioni energetiche di un impianto HVAC basato su un chiller con eiettore a geometria variabile mediante il software TRNSYS

Il lavoro svolto nella seguente Tesi ha avuto come obiettivo principale quello di modificare il precedente modello TRNSYS dell’impianto innovativo solare/biomassa studiato nell’ambito del progetto Hybrid-BioVGE, impianto che utilizza un gruppo chiller VGE con eiettore a geometria variabile, aggiungendo il circuito per la produzione di ACS, composto da un serbatoio di accumulo un campo di collettori solari dedicato ed una pompa di circolazione, modificando la circuitazione idraulica complessiva, modellando la configurazione finale. Sono state modificate e migliorate anche le logiche di controllo dei vari componenti dell’impianto, in particolare della caldaia a biomassa, del connettore tra accumulo caldo da un lato e circuito di riscaldamento ed accumulo per la produzione di ACS dall’altro lato, del gruppo chiller VGE e dell’accumulo di energia frigorifera con PCM. In ultima istanza, è stata implementata per la stagione estiva un’ulteriore logica di controllo che favorisce il funzionamento del gruppo chiller VGE quando è disponibile un alto contributo di energia solare ed in presenza di una temperatura ambiente in condizioni favorevoli. Attraverso il software TRNSYS 18 sono stati riprodotti in maniera fedele e accurata l'edificio, l'impianto innovativo ad esso associato e sono state svolte delle simulazioni in periodi temporali dell'anno precisi. Tali simulazioni hanno mostrato: un miglioramento nell’efficienza dell’impianto durante la stagione di riscaldamento per alimentare i pannelli radianti al servizio dell’edificio e la produzione di ACS, con valori di Solar Fraction pari al 70% e quota di energia rinnovabile del 90%; prestazioni migliori durante la stagione di raffrescamento con incremento dell'energia termica emessa dai fan-coils del 3%, della Solar Fraction pari al 50% e Seasonal Performance Factor di sistema migliori. Annualmente si è vista una quota di energia rinnovabile molto elevata (84.2%).