Meccanica classica e meccanica quantistica nel formalismo della geometria differenziale

Si fornisce un'introduzione al formalismo geometrico della meccanica classica e quantistica, studiando dapprima lo spazio delle fasi come varietà simplettica ricavando le equazioni di Hamilton. Si descrivono in seguito gli strumenti necessari per operare in uno spazio di Hilbert, i quali risultano più complessi di quelli utilizzati per descrivere lo spazio delle fasi classico. In particolare notiamo l'esigenza di definire anche una struttura riemanniana sugli spazi complessi per poter ivi definire il prodotto scalare, le parentesi e i commutatori simmetrici.

Internazionalizzazione e traduzione: Un'esperienza presso l'azienda TR Turoni S.R.L.

This dissertation was conducted within the project Language Toolkit, which has the aim of integrating the worlds of work and university. In particular, it consists of the translation into English of documents commissioned by the Italian company TR Turoni and its primary purpose is to demonstrate that, in the field of translation for companies, the existing translation support tools and software can optimise and facilitate the translation process. The work consists of five chapters. The first introduces the Language Toolkit project, the TR Turoni company and its relationship with the CERMAC export consortium. After outlining the current state of company internationalisation, the importance of professional translators in enhancing the competitiveness of companies that enter new international markets is highlighted. Chapter two provides an overview of the texts to be translated, focusing on the textual function and typology and on the addressees. After that, manual translation and the main software developed specifically for translators are described, with a focus on computer-assisted translation (CAT) and machine translation (MT). The third chapter presents the target texts and the corresponding translations. Chapter four is dedicated to the analysis of the translation process. The first two texts were translated manually, with the support of a purpose-built specialized corpus. The following two documents were translated with the software SDL Trados Studio 2011 and its applications. The last texts were submitted to the Google Translate service and to a process of pre and post-editing. Finally, in chapter five conclusions are drawn about the main limits and potentialities of the different translations techniques. In addition to this, the importance of an integrated use of all available instruments is underlined.

Implementazione del frontend di una app Android per la didattica della deduzione naturale.

All'interno del presente elaborato vengono illustrate le scelte progettuali e l'implementazione del frontend dell'applicazione "LogicPlayer", un'App didattica per la risoluzione di alberi di Deduzione Naturale realizzata per sistemi Android

Viti riassorbibili in acido polilattico per chirurgia del piede: Analisi critica delle proprietà meccaniche e tecnologiche, studio dell'esperienza clinica, e caratterizzazione chimica e meccanica

Recentemente, l'uso di polimeri a base di acido polilattico (PLA) ha subito un fortissimo incremento, soprattutto per la produzione di dispositivi atti alla fissazione di fratture e osteotomie. Lo scopo della prima parte del mio lavoro di tesi, è stato quello di redigere un documento che contenesse informazioni sulle caratteristiche dell'acido poli-L-lattico (PLLA) e del polimero P(L-DL)LA70:30 (70% di PLLA + 30% di PDLLA), entrambi molto diffusi nelle applicazioni biomediche. A tale scopo, è stata fatta un'analisi dello stato dell'arte sulle proprietà chimico-fisiche, tecnologiche (produzione e sterilizzazione) e sui principali meccanismi di degradazione. La seconda parte, invece, è stata dedicata alla stesura di una review sull'evoluzione della biocompatibilità del PLLA utilizzato in ambito ortopedico. A tale scopo, data la grande quantità di studi presenti in letteratura (in vitro, in vivo, trial clinici), non è stato necessario eseguire nessun test per validarne la biocompatibilità. Tuttavia, nonostante trovino già largo impiego nella chirurgia ortopedica, i polimeri in PLA continuano ad essere oggetto di studio, con l'obiettivo di comprenderne al meglio il comportamento e realizzare dispositivi sempre più sicuri ed efficaci per la salute del paziente. E' proprio in questo ambito di ricerca che si inserisce l'attività sperimentale svolta presso lo stabilimento Lima Corporate di Villanova di San Daniele del Friuli (UD). In particolare, l'ultima parte del lavoro di tesi, è stata dedicata alla valutazione degli effetti che il processo di sterilizzazione ad Ossido di Etilene (EtO), genera sulle proprietà chimico-fisiche e meccaniche della vite CALCANEO-STOP in PLLA, stampata ad iniezione e realizzata da Hit Medica (del gruppo Lima Corporate) nello stabilimento di San Marino (RSM). Per la caratterizzazione chimico-fisica del materiale sono state condotte prove di: densitometria, calorimetria a scansione differenziale (DSC), spettrometria FT-IR e viscosimetria. Per la caratterizzazione meccanica dei dispositivi, sono state condotte delle prove a torsione statica.

L'automazione del laboratorio clinico: Flussi di lavoro ed interoperabilità nel sistema informativo di laboratorio

Questa tesi si pone come obiettivo l’analisi delle principali problematiche legate alla gestione di un laboratorio clinico, mostrando l’impatto dei processi di automazione sui flussi di lavoro, trattando le principali direttive legate al sistema informativo di laboratorio e concentrandosi sull’analisi dell’interoperabilità tra di esso ed altri sistemi sanitari.

Implementazione del backend di una app Android per la didattica della deduzione naturale

Questo elaborato di tesi illustra la realizzazione del back-end di LogicPlayer, un'app Android per la didattica della Deduzione Naturale

Jesolo - area "central park" centro per la conoscenza del territorio

Il progetto si propone di individuare le potenzialità del paesaggio naturale di Jesolo, in particolare dell'ambiente lagunare e costiero, e dei suoi caratteri architettonici riproponendo tali caratteristiche all'interno dell'area a scopo conoscitivo, con l'obiettivo di sostenere l'educazione e la sensibilizzazione alla tutela del patrimonio naturale e storico attraverso luoghi per la didattica e proposte educative che consentano un'osservazione e una esperienza diretta sul luogo.

Tecniche di presentazione orale: analisi di una proposta di studio ed esperienza vocale per studenti di interpretazione di conferenza

Il presente elaborato consiste in un'analisi dell'insegnamento di "Tecniche di Presentazione Orale" (TPO) inteso come modello di studio ed esperienza vocale per studenti di Interpretazione di Conferenza. L'argomento in esame riveste ad oggi un ruolo marginale negli studi sulla comunicazione e sull'interpretazione ma è in realtà di grande importanza nell'ambito della formazione di futuri interpreti che agiranno sul mercato in qualità di professionisti della comunicazione. Dopo un'iniziale panoramica sulle ricerche finora condotte in materia di prosodia, seguita dalla descrizione della fonazione come processo anatomo-fisiologico e successivamente integrata da uno studio della pedagogia vocale in relazione agli obiettivi espressivo-comunicativi di un interprete in formazione, l'elaborato propone un'analisi dell'insegnamento di TPO incentrata sugli obiettivi perseguiti, le attività proposte e le eventuali prospettive future di sviluppo.

Play on your CPU: la didattica giocosa dei principi di funzionamento dei processori tramite un'applicazione per sistemi mobili.

“Play on your CPU” è un'applicazione mobile per ambienti Android e iOS. Lo scopo di tale progetto è quello di fornire uno strumento per la didattica dei principi di funzionamento dei processori a chiunque sia interessato ad approfondire o conoscere questi concetti.

Integrazione dei flussi informativi nell'automazione del laboratorio analisi

In virtù della crescente importanza dell’impiego del software nel settore dei dispositivi medici, come software indipendente (stand-alone) oppure come software incorporato in un altro dispositivo medico, un requisito essenziale per il suo utilizzo è la validazione secondo lo stato dell’arte. La certificazione come dispositivo medico diviene in tal modo fonte di garanzia e di sicurezza per il suo impiego. Il Sistema Informativo di Laboratorio (LIS), supportando il processo operativo dei dispositivi medico-diagnostici in vitro, necessita di una regolamentazione in tale direzione. Il workflow del Laboratorio Analisi, suddiviso in fasi preanalitica, analitica e postanalitica, ha beneficiato dell’introduzione di un sistema informatico in grado di gestire le richieste di esami dei pazienti e di processare e memorizzare le informazioni generate dalle apparecchiature presenti nel laboratorio. Più di ogni altro scenario clinico, il Laboratorio Analisi si presta ad essere organizzato sfruttando un modello di gestione fortemente integrato. Le potenzialità ad esso connesse garantiscono un aumento di produttività, una riduzione degli errori di laboratorio e una maggior sicurezza sia per i professionisti sanitari che per l’intero processo analitico. Per l’importanza clinica affidata al dato di laboratorio, la sua diffusione deve avvenire in maniera veloce e sicura; ciò è possibile se il ritorno elettronico dei risultati al medico richiedente si avvale dello standard HL7, il cui utilizzo è promosso dal modello IHE. La presenza di un unico database sanitario contenente anagrafiche univoche, facilmente aggiornabili, riduce il rischio di errata identificazione del paziente e, in particolare, offre la possibilità di disporre dei risultati di esami precedenti, opportunità particolarmente utile nel delineare il quadro clinico di pazienti cronici. Tale vantaggio e molte altre strategie, in grado di migliorare la qualità dell’assistenza e dell’outcome clinico, permettono di definire il laboratorio clinico come “motore di appropriatezza”.

Tesi sperimentale per valutare l'esperienza chirurgica nell'uso del robot Da Vinci Si

Questa tesi si compone di due parti tra loro correlate. Nella prima viene analizzato l’attuale stato dell’arte in ambito di robot chirurgici e, successivamente, sono illustrate le caratteristiche tecniche e funzionali del robot chirurgico Da Vinci Si e ne viene evidenziata la mancanza di sensori in grado di fornire all’utilizzatore un feedback aptico. La seconda parte propone uno studio che ha lo scopo di dimostrare come l’esperienza del chirurgo riesca a sopperire alla mancanza di un sensore in grado di fornire un riscontro della forza impressa sugli strumenti nel campo operatorio. A questo proposito, vengono illustrati i risultati del test appositamente costruito, cui è stato sottoposto un campione di chirurghi di diversi ambiti specialistici, per dimostrare come l’esperienza e la destrezza consentono all’utilizzatore del robot Da Vinci Si di ricevere un’indicazione della forza impressa sui tessuti del campo operatorio tramite un riscontro visivo.

La comprensione del concetto di limite, dalla storia alla pratica didattica.

Molti concetti basilari dell'Analisi Matematica si fondano sulla definizione di limite, della quale si è avuta una formulazione rigorosa solo nel XIX secolo, grazie a Cauchy e a Weierstrass. Il primo capitolo ripercorre brevemente le tappe storiche di un percorso lungo e difficile, durato circa 2000 anni, evidenziando le difficoltà dei grandi matematici che si sono occupati dei concetti infinitesimali. Nel secondo capitolo vengono esposte le possibili cause delle difficoltà degli studenti nell'apprendimento dei limiti. Nel terzo capitolo vengono descritte ed analizzate le risposte degli studenti liceali ed universitari ad un questionario sui limiti.

Il Living Lab come strumento per la transizione sostenibile dei campus universitari: L'esperienza di Universiteit Utrecht e Unibo a confronto.

In questo lavoro di ricerca ho esaminato la Teoria della Transizione e più nello specifico lo sviluppo di un possibile Living Lab della sostenibilità nel contesto universitario. In primo luogo, ho analizzato la situazione attuale per quanto riguarda lo sviluppo sostenibile in un contesto generale. Inoltre ho dovuto analizzare anche quali sono gli indici che usiamo per definire il benessere umano e su cui basiamo la nostra intera economia, come ad esempio il PIL. In secondo luogo, ho definito la Teoria della Transizione in ambito generale elencandone i vari strumenti di applicazione e i metodi. In fine ho cercato di applicare la Teoria della Transizione nel contesto della sostenibilità in ambito universitario, utilizzando i progetti di Transizione attraverso i Living Lab di “Terracini in Transizione” dell’Università di Bologna e “GOU Living Lab” dell’Università di Utrecht. Dai risultati ottenuti ho definito i limiti e le potenzialità che questi progetti di Living Lab avevano attraverso l’utilizzo della SWOT analysis. La quale ha evidenziato la necessità della costituzione di un gruppo all’interno dell’Università di Bologna che si occupi della gestione dei progetti green di Transizione, come nel contesto in cui mi sono venuto a trovare nell’Università di Utrecht con la presenza del Green Office.

Dalla geometria con riga e compasso alla geometria con origami

Lo scopo di questo lavoro è mostrare la potenza della teoria di Galois per caratterizzare i numeri complessi costruibili con riga e compasso o con origami e la soluzione di problemi geometrici della Grecia antica, quali la trisezione dell’angolo e la divisione della circonferenza in n parti uguali. Per raggiungere questo obiettivo determiniamo alcune relazioni significative tra l’assiomatica delle costruzioni con riga e compasso e quella delle costruzioni con origami, antica arte giapponese divenuta recentemente oggetto di studi algebrico-geometrici. Mostriamo che tutte le costruzioni possibili con riga e compasso sono realizzabili con il metodo origami, che in più consente di trisecare l’angolo grazie ad una nuova piega, portando ad estensioni algebriche di campi di gradi della forma 2^a3^b. Presentiamo poi i risultati di Gauss sui poligoni costruibili con riga e compasso, legati ai numeri primi di Fermat e una costruzione dell’eptadecagono regolare. Concludiamo combinando la teoria di Galois e il metodo origami per arrivare alla forma generale del numero di lati di un poligono regolare costruibile mediante origami e alla costruzione esplicita dell’ettagono regolare.

Disambiguazione di dati da fonti eterogenee in Linked Open Data: un'esperienza.

La pubblicazione si incentra sulla descrizione di un programma generico di disambiguazione di IRI e letterali, in Linked Open Data, fortemente configurabile, quindi applicabile in più contesti. CALID è la sigla di "Customizable Application for Literal and IRI's Disambiguation". Esso è stato creato per risolvere la disambiguazione degli autori di pubblicazioni scientifiche, e in questo articolo viene descritta la parte progettuale, il modo in cui si utilizza e i valori di performance e precisione ottenuti testandolo su diversi datasets.