Correlazioni tra UHECRs di Auger e neutrini di ANTARES

Questo lavoro ha lo scopo di individuare una strada nella ricerca di un confronto tra canditati eventi di neutrino cosmico da parte dell'esperimento ANTARES ,nel Mar Mediterraneo a sud est della costa di Tolone, in Francia e gli Ultra High Energy Cosmic Rays dell'osservatorio Pierre Auger in Argentina. Si utilizzano dati raccolti dal telescopio di neutrini ANTARES tra il 2007 e il 2013, con energie dell'ordine del TeV, e quelli di Auger ottenuti tra il 2004 e il 2014, con energie dei raggi cosmici dell'ordine dell'EeV. Entrambi gli apparati sono basati sulla rivelazione di radiazione Cherenkov, ma l'osservatorio di Auger è dotato di un secondo rivelatore di luminescenza che lavora in sincrono per ridurre gli errori sistematici associati ai singoli rivelatori. Le distribuzioni degli eventi in base alle direzioni di arrivo e dell' energia osservata, sono i parametri necessari per la ricerca di una correlazione. Dalla sovrapposizione delle distribuzioni possiamo evidenziare le zone di visibilità caratteristiche di ciascun esperimento, e condurre un eventuale successiva analisi finalizzata ad una identificazione univoca di eventi coincidenti.

Neutrini dal piano galattico con ANTARES

In questa tesi si cerca un flusso diffuso di neutrini nel piano Galattico. ANTARES, un telescopio di neutrini che si trova nel Mar Mediterraneo, ha un’area di visibilit`a tale da poter osservare questa parte di cielo, quindi isolare l’emissione di neutrini per trovarne le sorgenti. Sono confrontate diverse regioni del cielo, selezionate in modo tale che abbiano le stesse dimensioni. In particolare si comparano la regione corrispondente al Centro Galattico, detta on-zone, e altre regioni, dove secondo i modelli analizzati ci si aspetta un minor segnale, dette off-zone.

Studio di un invertitore: progettazione e dimensionamento di un inversore di marcia in una macchina agricola ibrida

Progettazione e dimensionamento di un inversore di marcia in una macchina agricola ibrida di piccola potenza dotata di cambio a uso continuo.

Formulazioni di blend a base di acido polilattico e biochar per la termoformatura di imballaggi alimentari

In questo studio verranno descritte formulazioni di materiali innovativi, completamente biodegradabili e compostabili, a base di acido polilattico e biochar. Queste formulazioni sono state ideate per applicazioni nel settore degli imballaggi alimentari, in particolare da utilizzare nella produzione di vaschette ortofrutticole nere termoformate come alternativa alle tradizionali vaschette a base di PP e PET. È stato scelto di testare il biochar poiché rappresenta un composto ecocompatibile esattamente come la matrice polimerica utilizzata, alternativo al carbon black di origine fossile utilizzato in queste applicazioni come colorante. Varie formulazioni di PLA contenenti biochar e plasticizzanti sono state preparate con un miscelatore Brabender e trasformate in fogli tramite una pressa a doppio piatto riscaldante. Da questi film sono stati poi realizzati provini per prove di trazione e strappo. Sono state sviluppate inoltre reazioni di funzionalizzazione sul biochar allo scopo di migliorare la sua la compatibilità con la matrice polimerica rendendo la miscela più omogenea.

Studio e ottimizzazione del modulo raggruppatore di una macchina confezionatrice per prodotti igienico sanitari femminili

Le macchine automatiche prodotte dall’azienda VIRE Automation di Faenza sono atte al confezionamento di prodotti igienico sanitari del settore baby, femminile e adulto. La macchina può essere suddivisa in due gruppi funzionali, il primo legato al raggruppamento dei prodotti in pile e il secondo dedicato al confezionamento vero e proprio. Il presente elaborato consiste nello studio e nella progettazione del raggruppatore della macchina dedicata ai prodotti femminili; in particolare lo scopo è il corretto funzionamento del gruppo con performance superiori a quelle attuali. Il progetto si è articolato nell’applicazione del metodo della Casa della Qualità come strumento di supporto, per poi passare allo studio della parte logica della macchina e ad un'analisi cinematica e dinamica del gruppo estrattore; infine vengono presentate ulteriori soluzioni tecniche adottate.

Sistema Bluetooth-based di remarketing pervasivo

Il progetto si propone di dotare la realta fisica di un estensione digitale. Sensori, attuatori e tecnologie embedded hanno cambiato il nostro modo di lavorare, allenarci e seguire i nostri interessi. Il mondo del commercio non e rimasto a guardare ed ha dovuto adattarsi alla metamorfosi high-tech del settore dei servizi. Il sistema proposto costituisce un promotore per acquisti ed un raccoglitore intelligente di abitudini sullo shopping e si compone di applicazione mobile, microcontroller e web server. Caratteristica prima e principale del progetto e sicuramente la pervasivita. All'utente ed utilizzatore dell'app dello shopping center deve essere certamente resa nota la collaborazione al fine di raccogliere dati statistici sulle sue abitudini, tuttavia sono le modalita di tale operazione a dover rimanere velate, in modo da non appesantire il cliente con tediose operazioni di invio di feedback e valutazioni ed allo stesso tempo permettere una raccolta capillare delle informazioni. Parallelamente alla raccolta di dati funzionali al producer, sono state implementate features per il consumatore, come notifiche promozionali place-triggered e pubblicita mirata. Tra tutte le tecnologie adibite allo scambio di informazioni, si e scelto l'utilizzo del Bluetooth e del piu recente Bluetooth Low Energy (BLE) per permettere ai dispositivi di comunicare tra loro.

Aggregate Programming in Scala: a Core Library and Actor-Based Platform for Distributed Computational Fields

La programmazione aggregata è un paradigma che supporta la programmazione di sistemi di dispositivi, adattativi ed eventualmente a larga scala, nel loro insieme -- come aggregati. L'approccio prevalente in questo contesto è basato sul field calculus, un calcolo formale che consente di definire programmi aggregati attraverso la composizione funzionale di campi computazionali, creando i presupposti per la specifica di pattern di auto-organizzazione robusti. La programmazione aggregata è attualmente supportata, in modo più o meno parziale e principalmente per la simulazione, da DSL dedicati (cf., Protelis), ma non esistono framework per linguaggi mainstream finalizzati allo sviluppo di applicazioni. Eppure, un simile supporto sarebbe auspicabile per ridurre tempi e sforzi d'adozione e per semplificare l'accesso al paradigma nella costruzione di sistemi reali, nonché per favorire la ricerca stessa nel campo. Il presente lavoro consiste nello sviluppo, a partire da un prototipo della semantica operazionale del field calculus, di un framework per la programmazione aggregata in Scala. La scelta di Scala come linguaggio host nasce da motivi tecnici e pratici. Scala è un linguaggio moderno, interoperabile con Java, che ben integra i paradigmi ad oggetti e funzionale, ha un sistema di tipi espressivo, e fornisce funzionalità avanzate per lo sviluppo di librerie e DSL. Inoltre, la possibilità di appoggiarsi, su Scala, ad un framework ad attori solido come Akka, costituisce un altro fattore trainante, data la necessità di colmare l'abstraction gap inerente allo sviluppo di un middleware distribuito. Nell'elaborato di tesi si presenta un framework che raggiunge il triplice obiettivo: la costruzione di una libreria Scala che realizza la semantica del field calculus in modo corretto e completo, la realizzazione di una piattaforma distribuita Akka-based su cui sviluppare applicazioni, e l'esposizione di un'API generale e flessibile in grado di supportare diversi scenari.

Backport di una applicazione da Java 8 a Java 7

In Java 8, ultimo aggiornamento ufficiale del linguaggio Java, sono state introdotte alcune nuove funzionalità che permettono l’integrazione di alcuni meccanismi legati ai linguaggi dinamici o funzionali, come le espressioni lambda, l’utilizzo degli stream e la dichiarazione di metodi statici all’interno di interfacce. Se si volesse installare un’applicazione scritta in Java 8 su Android, Dalvik VM, la JVM in esso presente, fallirà il processo di traduzione del bytecode. In questa tesi quindi esplorerò, sia ad alto livello che a basso livello, l’origine del problema e presenterò una soluzione di backporting per un’applicazione esistente.

Mobile CSCW e sincronizzazione dati per il soccorso in emergenza: un caso di studio

L'obiettivo principale di questa tesi è quello di approfondire il tema della comunicazione e sincronizzazione dati nel contesto di uno specifico caso di studio di sistema informatico a supporto del lavoro cooperativo per il soccorso in emergenza: a partire dai requisiti del caso applicativo, secondo cui agli operatori deve essere possibile utilizzare il sistema anche a fronte di disconnessioni dei propri dispositivi mobili, emerge infatti la necessità di un middleware a cui il livello applicativo demandi le funzionalità di sincronizzare le informazioni prodotte durante le operazioni, in modo da promuovere uno scambio di informazioni che migliori e supporti l'azione del singolo e conseguentemente del team. Quindi, dopo aver introdotto la tematica ed analizzato il caso di studio da affrontare, viene descritta l'esplorazione del panorama tecnologico volta alla ricerca di strumenti o approcci che possano mitigare la complessità nella realizzazione di questa funzionalità. Nel panorama tecnologico considerato, comprendente framework per servizi web, MOM e database, uno strumento di particolare interesse è stato individuato in CouchDB, un database NoSQL, grazie alle sue funzionalità di replica e sincronizzazione e alla presenza di una libreria per lo sviluppo su dispositivi mobili: su di esso è stata effettuata una breve fase di sperimentazione volta a saggiarne in maniera più concreta le potenzialità anche in relazione alla valutazione di fattibilità per il caso applicativo considerato.

Strategie di offerta di servizi streaming in Internet: Studio di caso "Amazon-Twitch"

Internet è la rete globale a cui si può avere accesso in modo estremamente facile, consentendo praticamente a chiunque di inserire i propri contenuti in tempi rapidi, a costi quasi nulli e senza limitazioni geografiche. Il progresso tecnologico e la maggiore disponibilità della banda larga, uniti alle nuove modalità di fruizione ed ai nuovi format, hanno portato ben il 70% degli web users a vedere video online regolarmente. La popolarità dei servizi di streaming video è cresciuta rapidamente, tanto da registrare dei dati di traffico impressionanti negli ultimi due anni. Il campo applicativo della tesi è Twitch, il più celebre servizio di streaming che è riuscito ad imporsi come quarto sito negli Stati Uniti per traffico Internet: un dato sorprendente se pensiamo che si occupa solo di videogiochi. Il fenomeno Twitch è destinato a durare, lo dimostrano i 970 milioni di dollari investiti da Amazon nel 2014 per acquistare la piattaforma, diventata così una sussidiaria di Amazon. L'obiettivo della tesi è stato lo studio di mercato della piattaforma, attraverso il recupero e l'analisi delle informazioni reperibili in letteratura, nonché attraverso estrapolazione di dati originari mediante le API del sito. Si è proceduto all’analisi delle caratteristiche del mercato servito, in termini di segmentazione effettiva, rivolta alla messa in evidenza della possibile dipendenza dai comportamenti dei player, con particolare attenzione alla possibile vulnerabilità.

Integrazione di piattaforme d'esecuzione e simulazione in una toolchain Scala per aggregate programming

La tesi è calata nell'ambito dell'Aggregate Programming e costituita da una prima parte introduttiva su questo ambito, per poi concentrarsi sulla descrizione degli elaborati prodotti e infine qualche nota conclusiva unitamente a qualche possibile sviluppo futuro. La parte progettuale consiste nell'integrazione del framework Scafi con il simulatore Alchemist e con una piattaforma di creazione e di esecuzione di sistemi in ambito Spatial Computin, con lo scopo di potenziare la toolchain esistente per Aggregate Programming. Inoltre si riporta anche un breve capitolo per l'esecuzione del framework scafi sviluppato in scala sulla piattaforma Android.

Sviluppo di sistemi mobile ad alta densita basati su comunicazioni opportunistiche wireless

In questa tesi ci si pone l'obiettivo di sviluppare sistemi distribuiti composti da device mobile che si scambiano informazioni tramite comunicazioni opportunistiche wireless peer-to-peer. Vengono inizialmente analizzate le principali tecnologie di comunicazione wireless adatte allo scopo, soffermandosi sulle reti Wifi ad hoc, delle quali vengono studiate le performance in sistemi di larga scala tramite il simulatore di reti ns-3. Successivamente viene esposto lo sviluppo di componenti software, basati su Akka Stream, per la costruzione di campi computazionali tramite comunicazioni opportunistiche tra device Android, effettuate tramite reti Wifi ad hoc.

Consensus statement of the European Heart Rhythm Association: updated recommendations for driving by patients with implantable cardioverter defibrillators

Patients with an implantable cardioverter defibrillator (ICD) have an ongoing risk of sudden incapacitation that might cause harm to others while driving a car. Driving restrictions vary across different countries in Europe. The most recent recommendations for driving of ICD patients in Europe were published in 1997 and focused mainly on patients implanted for secondary prevention. In recent years there has been a vast increase in the number of patients with an ICD and in the percentage of patients implanted for primary prevention. The EHRA task force on ICD and driving was formed to reassess the risk of driving for ICD patients based on the literature available. The recommendations are summarized in the following table and are further explained in the document, (Table see text). Driving restrictions are perceived as difficult for patients and their families, and have an immediate consequence for their lifestyle. To increase the adherence to the driving restrictions, adequate discharge of education and follow-up of patients and family are pivotal. The task force members hope this document may serve as an instrument for European and national regulatory authorities to formulate uniform driving regulations.

Pregnancy and reproduction in autoimmune rheumatic diseases

Despite evidence for the important role of oestrogens in the aetiology and pathophysiology of chronic immune/inflammatory diseases, the previous view of an unequivocal beneficial effect of oestrogens on RA compared with a detrimental effect on SLE has to be reconsidered. Likewise, the long-held belief that RA remits in the majority of pregnant patients has been challenged, and shows that only half of the patients experience significant improvement when objective disease activity measurements are applied. Pregnancies in patients with SLE are mostly successful when well planned and monitored interdisciplinarily, whereas a small proportion of women with APS still have adverse pregnancy outcomes in spite of the standard treatment. New prospective studies indicate better outcomes for pregnancies in women with rare diseases such as SSc and vasculitis. Fertility problems are not uncommon in patients with rheumatic disease and need to be considered in both genders. Necessary therapy, shortly before or during the pregnancy, demands taking into account the health of both mother and fetus. Long-term effects of drugs on offspring exposed in utero or during lactation is a new area under study as well as late effects of maternal rheumatic disease on children.