Presentazioni di gruppi con generatori e relazioni

La struttura di gruppo è una delle strutture algebriche più semplici e importanti della matematica. Un gruppo si può descrivere in vari modi: uno dei più interessanti è la presentazione per generatori e relazioni. Sostanzialmente presentare un gruppo per generatori e relazioni significa dire quali specifiche ”regole di calcolo” e semplificazione valgono nel gruppo in considerazione oltre a quelle che derivano dagli assiomi di gruppo. Questo porta in particolare alla definizione di gruppo libero. Un gruppo libero non ha regole di calcolo oltre quelle derivanti dagli assiomi di gruppo. Ogni gruppo è un quoziente di un gruppo libero su un appropriato insieme di generatori per un sottogruppo normale, generato dalle relazioni. In questa tesi si ricordano le definizioni più importanti ed elementari della teoria dei gruppi e si passa in seguito a discutere il gruppo libero e le presentazioni di gruppi con generatori e relazioni, dando alcuni esempi. La tesi si conclude illustrando l’algoritmo di Coxeter e Todd, per enumerare le classi laterali di un sottogruppo quando si ha un gruppo presentato per generatori e relazioni.

Segmentazione e categorizzazione di oggetti mediante immagini depth e deep learning

Questo lavoro è iniziato con uno studio teorico delle principali tecniche di classificazione di immagini note in letteratura, con particolare attenzione ai più diffusi modelli di rappresentazione dell’immagine, quali il modello Bag of Visual Words, e ai principali strumenti di Apprendimento Automatico (Machine Learning). In seguito si è focalizzata l’attenzione sulla analisi di ciò che costituisce lo stato dell’arte per la classificazione delle immagini, ovvero il Deep Learning. Per sperimentare i vantaggi dell’insieme di metodologie di Image Classification, si è fatto uso di Torch7, un framework di calcolo numerico, utilizzabile mediante il linguaggio di scripting Lua, open source, con ampio supporto alle metodologie allo stato dell’arte di Deep Learning. Tramite Torch7 è stata implementata la vera e propria classificazione di immagini poiché questo framework, grazie anche al lavoro di analisi portato avanti da alcuni miei colleghi in precedenza, è risultato essere molto efficace nel categorizzare oggetti in immagini. Le immagini su cui si sono basati i test sperimentali, appartengono a un dataset creato ad hoc per il sistema di visione 3D con la finalità di sperimentare il sistema per individui ipovedenti e non vedenti; in esso sono presenti alcuni tra i principali ostacoli che un ipovedente può incontrare nella propria quotidianità. In particolare il dataset si compone di potenziali ostacoli relativi a una ipotetica situazione di utilizzo all’aperto. Dopo avere stabilito dunque che Torch7 fosse il supporto da usare per la classificazione, l’attenzione si è concentrata sulla possibilità di sfruttare la Visione Stereo per aumentare l’accuratezza della classificazione stessa. Infatti, le immagini appartenenti al dataset sopra citato sono state acquisite mediante una Stereo Camera con elaborazione su FPGA sviluppata dal gruppo di ricerca presso il quale è stato svolto questo lavoro. Ciò ha permesso di utilizzare informazioni di tipo 3D, quali il livello di depth (profondità) di ogni oggetto appartenente all’immagine, per segmentare, attraverso un algoritmo realizzato in C++, gli oggetti di interesse, escludendo il resto della scena. L’ultima fase del lavoro è stata quella di testare Torch7 sul dataset di immagini, preventivamente segmentate attraverso l’algoritmo di segmentazione appena delineato, al fine di eseguire il riconoscimento della tipologia di ostacolo individuato dal sistema.

L'informazione di fase per la segmentazione volumetrica di dati ecocardiografici

L’imaging ad ultrasuoni è una tecnica di indagine utilizzata comunemente per molte applicazioni diagnostiche e terapeutiche. La tecnica ha numerosi vantaggi: non è invasiva, fornisce immagini in tempo reale e l’equipaggiamento necessario è facilmente trasportabile. Le immagini ottenute con questa tecnica hanno tuttavia basso rapporto segnale rumore a causa del basso contrasto e del rumore caratteristico delle immagini ad ultrasuoni, detto speckle noise. Una corretta segmentazione delle strutture anatomiche nelle immagini ad ultrasuoni è di fondamentale importanza in molte applicazioni mediche . Nella pratica clinica l’identificazione delle strutture anatomiche è in molti casi ancora ottenuta tramite tracciamento manuale dei contorni. Questo processo richiede molto tempo e produce risultati scarsamente riproducibili e legati all’esperienza del clinico che effettua l’operazione. In ambito cardiaco l’indagine ecocardiografica è alla base dello studio della morfologia e della funzione del miocardio. I sistemi ecocardiografici in grado di acquisire in tempo reale un dato volumetrico, da pochi anni disponibili per le applicazioni cliniche, hanno dimostrato la loro superiorità rispetto all’ecocardiografia bidimensionale e vengono considerati dalla comunità medica e scientifica, la tecnica di acquisizione che nel futuro prossimo sostituirà la risonanza magnetica cardiaca. Al fine di sfruttare appieno l’informazione volumetrica contenuta in questi dati, negli ultimi anni sono stati sviluppati numerosi metodi di segmentazione automatici o semiautomatici tesi alla valutazione della volumetria del ventricolo sinistro. La presente tesi descrive il progetto, lo sviluppo e la validazione di un metodo di segmentazione ventricolare quasi automatico 3D, ottenuto integrando la teoria dei modelli level-set e la teoria del segnale monogenico. Questo approccio permette di superare i limiti dovuti alla scarsa qualità delle immagini grazie alla sostituzione dell’informazione di intensità con l’informazione di fase, che contiene tutta l’informazione strutturale del segnale.

La raccolta e la gestione degli oli esausti domestici

Obiettivo della tesi è riconoscere i fattori di successo e i principali limiti legati all’implementazione dei progetti di recupero degli oli domestici sul territorio italiano. Il problema nasce dall’ esigenza di gestire in modo efficiente la raccolta differenziata di questo rifiuto che, se gettato nello scarico di casa o nel lavandino, provoca impatti ambientali rilevanti rendendo particolarmente difficoltoso e dispendioso il trattamento delle acque reflue e causa gravi danni agli ecosistemi naturali. La questione è da tempo inquadrata e disciplinata dalle direttive comunitarie in materia di rifiuti e dalla strategia “Europa2020” che ha come obiettivo principale una crescita intelligente, sostenibile ed inclusiva. A livello nazionale, invece, il Testo Unico Ambientale assolve alla funzione principale di riordino e coordinamento della disciplina, dando attuazione ai principi comunitari in materia e conformando l’ordinamento nazionale agli obiettivi e alle priorità individuate dal legislatore europeo. Gli oli esausti domestici sono un rifiuto scomodo e complesso da gestire ma la valorizzazione energetica può essere una valida alternativa ai sistemi di smaltimento classici. Infatti, attraverso un semplice processo chimico l’olio da cucina usato può essere trasformato in biodiesel. Questo particolare biocombustibile rispetta tutti i criteri di sostenibilità imposti dalla Comunità Europea e riduce, inoltre, l’impatto della produzione di biocarburanti sull’agricoltura.

Potenzialità di riuso delle industrie dismesse. Un'ipotesi per le ex officine reggiane.

L’oggetto di questa tesi di laurea è un intervento di riqualificazione delle Ex Officine Meccaniche Reggiane, un’area industriale, sita a Reggio Emilia, che nel corso degli anni ha subìto una graduale dismissione, sino allo stato attuale di completo abbandono. Il tema riveste un’importanza focale nelle città moderne, affette da un elevato livello di migrazione e riorganizzazione dell’industria, che trasforma vaste aree di produzione in vuoti urbani di difficile gestione. I problemi fondamentali sono infatti la notevole dimensione degli stabilimenti abbandonati e la loro posizione, un tempo strategica, ma che ora risulta critica per una lettura unitaria della città e delle sue connessioni. L’area in oggetto, dedicata nel corso degli anni a diversi tipi di produzione, tra le quali quelle ferroviaria e dell’aviazione, è locata in prossimità del centro storico di Reggio Emilia, separati solamente dalla linea ferroviaria storica con cui si interfaccia direttamente. L’espansione della città ha portato ad inglobare lo stabilimento, che risulta quindi chiuso in se stesso e fortemente vincolante per le connessioni della città. Gli scopi dell’intervento sono quindi quelli di generare connessioni tra le parti di città circostanti e di permettere il riappropriamento dell’area alla popolazione. Per raggiungere tali scopi è stato necessario aprire il forte limite perimetrale esistente ed individuare nuovi percorsi di attraversamento, ma anche nuove funzioni ed attrattività da inserire. Vista la frammentazione dell’area in una serie di edifici, lo studio si è poi concentrato su un edificio tipo, allo scopo di individuare un’ipotesi di intervento più dettagliata. Le strategie degli interventi sono il risultato di interazione tra le necessità di mantenere le strutture ed il carattere dell’area, di introdurre funzioni attrattive e di ottenere adeguati livelli di comfort ambientale e prestazioni energetiche.

Prototipo di schermo adattativo basato su Android e Bluetooth Low Energy

La tesi nasce da un'attività di ricerca approfondita su alcune tecnologie innovative e all'avanguardia nell'ambito del mobile computing e dell'Internet of Things. Tra queste il focus principale è orientato allo studio del Bluetooth Low Energy, nuova specifica di Bluetooth caratterizzata principalmente da un consumo di energia assai ridotto. In particolare, si è approfondito il suo funzionamento nel caso dei beacon, piccoli dispositivi che permettono una localizzazione mediante l'invio di un segnale BLE. Inoltre è stata analizzata la possibilità di interazione con Android, poiché oggigiorno non si può evitare di pensare a come queste tecnologie possano interfacciarsi con il mondo degli smartphone e dei tablet. Come conseguenza di tale attività di ricerca è stato analizzato un caso di studio che permettesse di applicare le tecnologie studiate e la loro interazione. Si è pensato quindi a un piccolo sistema distribuito per schermi adattativi (capaci di modificare i contenuti visualizzati in relazione ad eventi esterni) affinché ogni schermo mostrasse dinamicamente l'orario delle lezioni di ciascuno studente all'avvicinarsi di quest'ultimo, e solo per il tempo di permanenza nei pressi dello schermo. Si è quindi progettato e sviluppato un prototipo, e infine durante il testing si sono potute verificare le attuali potenzialità di queste tecnologie e trarre conclusioni sulla possibilità della loro futura diffusione e di impiego in contesti differenti.

La localizzazione di videogiochi: fan-translation e proposta di traduzione

Di pari passo con l'espansione dell'industria dei videogiochi, la traduzione videoludica è andata evolvendosi con l'avanzamento tecnologico e l'impatto sempre più crescente di questo fenomeno culturale nella società. Questa recente tipologia di traduzione, chiamata localizzazione, combina elementi della traduzione di software con quella audiovisiva. In questo studio verrà analizzato il fenomeno della fan-translation, ovvero la traduzione autonoma di videogiochi da parte degli utenti, e verrà preso in esame il caso di Superfighters Deluxe, videogioco in fase di sviluppo dello studio indipendente MythoLogic Interactive.

La trasformata veloce di Fourier (FFT): analisi e implementazione in C++

La trasformata di Fourier (FT) è uno strumento molto potente implementato, oggi, in un enorme numero di tecnologie. Il suo primo esempio di applicazione fu proprio il campionamento e la digitalizzazione di segnali analogici. Nel tempo l'utilizzo della FT è stato ampliato a più orizzonti in ambito digitale, basti pensare che il formato di compressione '.jpg' utilizza una FT bidimensionale, mentre uno degli ultimi esempi di applicazione si ha nell'imaging digitale in ambito medico (risonanza magnetica nucleare, tomografia assiale computerizzata TAC ecc...). Nonostante gli utilizzi della FT siano molto diversificati il suo basilare funzionamento non è mai cambiato: essa non fa altro che modificare il dominio di una funzione del tempo (un segnale) in un dominio delle frequenze, permettendo così lo studio della composizione in termini di frequenza, ampiezza e fase del segnale stesso. Parallelamente all'evoluzione in termini di applicazioni si è sviluppato uno studio volto a migliorare e ottimizzare la computazione della stessa, data l'esponenziale crescita del suo utilizzo. In questa trattazione si vuole analizzare uno degli algoritmi di ottimizzazione più celebri e utilizzati in tal senso: la trasformata veloce di Fourier (Fast Fourier Transformation o FFT). Si delineeranno quindi le caratteristiche salienti della FT, e verrà introdotto l'algoritmo di computazione tramite linguaggio C++ dedicando particolare attenzione ai limiti di applicazione di tale algoritmo e a come poter modificare opportunamente la nostra funzione in modo da ricondurci entro i limiti di validità.

Proposta di traduzione di alcune rubriche tratte dal libro "Über das Wetter reden" di Peter Bichsel

L'obiettivo di questo elaborato è quello di far conoscere meglio ai lettori italiani l'autore svizzero Peter Bichsel. In questo elaborato vengono trattate in particolare le traduzioni di alcune rubriche (Kolumnen)dal libro Über das Wetter reden. Quest'ultimo contiene una raccolta di rubriche scritte da Bichsel, i cui temi sono molto vari. Sono argomenti tratti dalla vita quotidiana. Infatti, l'autore riflette su tematiche quali: lo sport, la politica, esperienze personali, aspetti culturali ecc. Peter Bichsel utilizza nelle sue rubriche anche termini propri del tedesco svizzero, per mettere in risalto alcuni aspetti della cultura svizzera, che io ho approfondito in questo elaborato. Un altro aspetto fondamentale è la semplicità di queste rubriche, anche ognuna è portatrice di un messaggio. L'intento di Peter Bichsel è quello di indurre il lettore a riflettere su determinati argomenti,suscitandone, ovviamente, l'interesse. Il mio scopo è quello di mantenere inalterato lo stile semplice dell'autore, in modo da lasciare altrettanto invariato il messaggio che si cela dietro a ogni rubrica. Un altro aspetto importante è quello del raccontare; nelle sue rubriche Bichsel racconta e anch'io, attraverso le mie proposte di traduzione, ho voluto raccontare la genialità di questo autore e la sua visione del mondo.

Novyj God, Ded Moroz e Snegurochka. Osservazione del fenomeno culturale.

Questa tesi si pone come obiettivo la conoscenza di una parte culturale molto importante per la Russia, ovvero il Capodanno e le sue due figure principali, Ded Moroz e Snegurochka. Per i Russi infatti questa è una delle festività più importanti del paese, oltre al Giorno della Vittoria e altre tipiche feste russe. In questo elaborato verrà fatto un viaggio “storico”, per scoprire come è nata questa ricorrenza e come si è “evoluta” nel tempo.

Sincronia e diacronia degli anglicismi finanziari nella comunicazione istituzionale e nella stampa specializzata: il caso degli stress test

Lo scoppio della crisi finanziaria globale del 2007 ha rappresentato un evento epocale che ha interessato una varietà di ambiti: l’economia, la finanza, il diritto, la sociologia e anche la comunicazione. Molti linguisti e ricercatori del settore terminologico si sono concentrati sulle conseguenze di questo capovolgimento nella comunicazione che ha accolto in misura crescente anglicismi finanziari provenienti dagli Stati Uniti. I documenti istituzionali, ma soprattutto la stampa generalista e finanziaria sono dovuti ricorrere per esigenze denotative agli anglicismi al fine di illustrare le cause di questo evento e proporre delle soluzioni adeguate per attenuarne gli effetti. Dopo la crisi, infatti, le autorità di vigilanza finanziaria europee hanno iniziato a mettere in campo una serie di riforme della regolamentazione finanziaria volte a prevenire la comparsa di nuove crisi sistemiche: lo stress testing costituisce uno degli strumenti che la vigilanza europea ha adottato allo scopo di valutare lo stato di salute dei bilanci degli istituti di credito e per vagliarne la solidità e la resistenza a crisi simili a quella esplosa nel 2007. Il nostro elaborato si propone di osservare in ottica diacronica il trattamento degli anglicismi finanziari del dominio dello stress testing nella comunicazione istituzionale della Banque de France e della Banca d’Italia e nella stampa economico-finanziaria francese e italiana. Per la realizzazione di tale indagine abbiamo adottato un approccio diacronico teso all’osservazione del trattamento dell’anglicismo stress test in un arco temporale che dai primi anni Duemila arriva fino ad oggi. Ai fini dell’indagine abbiamo costruito due corpora comparabili di testi istituzionali tratti dal sito Web della Banque de France e da quello della Banca d’Italia, delimitando la ricerca al dominio dello stress testing. Abbiamo successivamente compilato due corpora comparabili con testi tratti da La Tribune e Milano Finanza per osservare il trattamento degli anglicismi finanziari in un genere testuale differente, benché specializzato. Abbiamo assunto il 2007, anno di inizio della crisi, come spartiacque, suddividendo i corpora in vari subcorpora e selezionando i testi da includervi in base alla data di pubblicazione. L’obiettivo che ci siamo prefissati è quello di osservare se nel dominio dello stress testing abbia avuto luogo un’evoluzione concettuale e se questa sia riscontrabile anche dal trattamento degli anglicismi finanziari, con un focus particolare sull’anglicismo stress test.

Un software per la gestione dell'orario delle lezioni

Lo scopo di questa tesi è lo sviluppo di un’interfaccia Web per un software di ottimizzazione, il cui scopo è la definizione dell’orario delle lezioni universitarie. Presenteremo il modello risolutivo al problema del timetabling proposto da Daskalaki et alii, e lo adatteremo alle esigenze della facoltà di Informatica dell’Università di Bologna. In effetti, la necessità di costituire un software atto alla risoluzione del problema dell’orario universitario rappresenta il tema principale trattato in questa tesi, che si ripropone, oltretutto, la costruzione di un’interfaccia grafica accattivante e intuitiva, che possa agevolmente essere utilizzata da docenti e personale di segreteria.

Animazione di personaggi mediante cinematica inversa in Maya

Lo sviluppo di questa tesi è nato dalla mia volontà di intraprendere un cammino nel campo dell’animazione computerizzata e della grafica in generale. La tesi tratta in generale della nascita dell’animazione, del suo sviluppo, delle principali tecniche e ne applica i principi nella realizzazione di un’animazione. Il progetto consiste nella modellazione di un personaggio di un cartone animato attraverso il programma Autodesk Maya, e nella sua successiva animazione, ossia nel rendere il movimento del personaggio in una scena realizzata sempre con gli strumenti di Maya. Nel primo capitolo viene presentata una breve storia della computer grafica, come e dove è nata e i ricercatori che hanno contribuito a svilupparla. Si parla del suo sviluppo, di cortometraggi e film d’animazione che hanno reso possibile il suo sviluppo sia nel cinema, sia in altri settori. In breve vengono descritte anche alcune applicazioni e uno schema che racchiude i rami della grafica. Nel secondo capitolo viene messa in rilievo una differenza tra animazione tradizionale e animazione computerizzata. Inoltre vengono elencati i principi cardini dell’animazione, particolare rilievo viene dato alle figure articolate e alle principali articolazioni importanti per l’animazione. Viene trattata la cinematica che permette lo studio del moto del corpo e viene descritta la differenza tra cinematica diretta e inversa, i tre approcci per utilizzarla e un confronto finale tra le due. Infine viene fatta una breve descrizione dell’animazione interattiva, della dinamica dei corpi e dell’animazione automatizzata. Il terzo capitolo tratta del software utilizzato per la realizzazione del progetto Autodesk Maya. È stata inserita una breve guida base sugli strumenti di Maya. Nel quarto capitolo vengono esposti i passi seguiti per la realizzazione del progetto. Il personaggio che è stato modellato è Olaf, il pupazzo di neve del film d’animazione Frozen. In questo capitolo vengono presentati anche i passi per lo sviluppo della scena, e le tecniche utilizzate per animare il personaggio.

Asimmetrie terminologiche italiano/russo nel settore tecnico

Nell'ambito del presente lavoro il fenomeno di multiformità del termine si esprime in una stratificazione cognitiva riconducibile alla variazione terminologica e viene esaminato in maniera trasversale su entrambe le lingue di lavoro. La terminologia del dominio “Macchine per il riempimento” nasce sotto forma di testi scritti e orali che sono frutto sia di diversi contesti extralinguistici sia della percezione stratificata dei testi. A livello terminografico, i processi interdipendenti di produzione della terminologia stratificata e della sua percezione stratificata si concretizzano in asimmetrie cognitive. La Tesi intende registrare le asimmetrie cognitive presenti nella terminologia del dominio prescelto mediante l'impiego del modello del Dizionario Esplicativo Combinatorio (DEC). Oltre ad essere uno strumento particolarmente adatto a tal fine, il DEC si pone a base di diversi progetti nel settore del lessico specialistico fruibili sul WEB. Il presente lavoro costituisce il primo contributo scientifico elaborato in Italia di adattamento del DEC alla terminologia tecnica. Nella prima parte del lavoro si tratteggia il progetto on-line DiCoEnviro sviluppato dall'Osservatorio Linguistico Senso-Testo (OLST) dell’Università di Montreal in base al nucleo teorico e teoretico DiCo. In seguito si opera una contestualizzazione del modello DEC, sia mediante l’excursus biografico dell'autore Igor Mel'čuk sia mediante la descrizione della teoria Smysl<=>Tekst, fondante il DEC – in termini universalmente impiegabili. In seguito ancora, con la trattazione contemporanea in entrambe le lingue di lavoro, si analizzano le particolarità terminologiche del dominio in base ai testi appartenenti a diverse tipologie testuali. L'analisi porta a tratteggiare quella catena di percezione “dal produttore del macchinario all'utilizzatore diretto” che costituisce la radice delle asimmetrie cognitive-oggetto di ricerca. Sulla scorta delle asimmetrie individuate si formulano proposte di configurazione del DEC funzionali alla sua applicazione al settore terminologico. I risultati lasciano supporre che adattamenti simili a quelli proposti, mutatis mutandis, produrrebbero risultati altrettanto soddisfacenti in ciascun settore industriale.

Gruppi liberi e giochi di parole

La struttura di gruppo è una delle strutture algebriche più semplici e fondamentali della matematica. Un gruppo si può descrivere in vari modi. Noi abbiamo illustrato la presentazione tramite generatori e relazioni, che consiste sostanzialmente nell'elencare le "regole di calcolo" che valgono nel gruppo considerato, oltre a quelle che derivano dagli assiomi di gruppo. L'idea principale di questa tesi è quella di mostrare come un argomento così tecnico e specifico possa essere reso "elementare" e anche divertente. Siamo partiti dalla costruzione di un gioco, inventando regole da aggiungere di volta in volta. Abbiamo poi tentato di spiegare il medesimo concetto da un punto di vista teorico, tramite la teoria dei gruppi liberi. Si tratta di gruppi che hanno un insieme di generatori soddisfacenti unicamente alle relazioni che sono conseguenza degli assiomi di gruppo.Ogni gruppo è un quoziente di un gruppo libero su un appropriato insieme di generatori per un sottogruppo normale, generato dalle relazioni. Infine si è illustrato il problema della parola formulato da Max Dhen nel 1911, e si è visto come tale problema è risolubile per i gruppi liberi.