Costruzioni modulari in linguaggi con tipi dipendenti.

In questa tesi si indaga come è possibile strutturare in modo modulare programmi e prove in linguaggi con tipi dipendenti. Il lavoro è sviluppato nel linguaggio di programmazione con tipi dipendenti Agda. Il fine è quello di tradurre l'approccio Datatypes à la carte, originariamente formulato per Haskell, in Type Theory: puntiamo ad ottenere un simile embedding di una nozione di sottotipaggio per tipi ricorsivi, che permetta sia la definizione di programmi con side-effect dove i diversi effetti sono definiti modularmente, che la modularizzazione di sintassi, semantica e ragionamento relativi a descrizioni di linguaggi.

Novita' sul mercato dei sistemi di pagamento: Gli istituti di pagamento e gli istituti di moneta elettronica

La presente trattazione analizza le novità normative apportate dalle recenti direttive europee sui servizi di pagamento e sulla moneta elettronica (rispettivamente la direttiva 2007/64/CE, c.c. Payment Services Directive o PSD, e la direttiva 2009/110/CE, detta Electronic Money Directive 2 o EMD2). Al fine di incrementare la competitività dei servizi di pagamento, sono stati introdotti nuovi prestatori di servizi di pagamento, non bancari, gli Istituti di Pagamento (IP) e gli Istituti di Moneta Elettronica (IMEL), a cui è stata attribuita la possibilità di far ricorso al contratto di conto di pagamento per la gestione dei servizi di pagamento con possibilità di finanziamento agli utenti. La prima parte della presente trattazione è dedicata alla configurazione giuridica dei nuovi prestatori di servizi di pagamento, influenzante la diffusione dei pagamenti digitali e della moneta elettronica. La seconda parte è rivolta alla ricostruzione giuridica del conto di pagamento, contratto – tipo per la gestione in conto dei servizi di pagamento, ed all’analisi delle modalità di erogazione dei finanziamenti agli utenti. Le direttive predette hanno inoltre attribuito ad IP ed IMEL la facoltà di emettere le carte di pagamento a spendibilità generalizzata, ossia carte di debito e carte di credito. In quanto abilitati all’emissione di moneta elettronica, gli IMEL possono inoltre emettere i c.d. borsellini di moneta elettronica, cioè i dispositivi di memorizzazione e di movimentazione della moneta elettronica. Nella terza parte della trattazione vengono, pertanto, presi in analisi la natura di tali strumenti di pagamento e le differenze intercorrenti rispetto agli affini strumenti bancari. In particolare, ampio spazio è dedicato alla ricostruzione giuridica dei borsellini di moneta elettronica, la cui diffusione tra gli utenti potrebbe avere l’effetto di favorire la progressiva digitalizzazione dei pagamenti e la realizzazione della cashless society.

La carta dei servizi nel settore dei trasporti e la tutela del passeggero

La tesi si propone l’obiettivo di riconoscere e analizzare l’attuale ruolo delle carte dei servizi di trasporto pubblico nel contesto dell’ordinamento italiano, quale strumento di tutela dei passeggeri. Nella prima parte, viene analizzato il frammentario quadro normativo delle carte dei servizi pubblici, a partire dal d.P.C.M. del 27.01.1994, che rimane tutt’ora il principale riferimento normativo dell’istituto. Nella disamina del quadro normativo, viene posto in evidenza come, salvo per alcune specifiche modalità di trasporto, manchi attualmente una norma che imponga in modo esplicito e diretto l’adozione delle carte dei servizi da parte della generalità dei gestori dei servizi pubblici di trasporto, da cui si sviluppa una riflessione in ordine alla fonte dell’obbligo di adozione di tali carte da parte dei soggetti privati esercenti tale tipologia di servizi. Nella seconda parte, viene analizzato il tema della natura giuridica delle carte dei servizi pubblici di trasporto. Nella terza parte, è analizzato il ruolo attribuito alla neo-costituita Autorità dei Trasporti, di individuazione dei diritti minimi che debbono essere contenuti nelle carte dei servizi di trasporto pubblico. Lo studio analizza inoltre i possibili conflitti di competenze che possono sorgere in relazione ai poteri espressamente attribuiti all’Autorità dei Trasporti. Infine, nella quarta e ultima parte, viene approfondito il tema degli strumenti di tutela apprestati in favore dei passeggeri dalle carte dei servizi, diversi e ulteriori rispetto agli ordinari strumenti già contemplati dall’ordinamento italiano. Con riferimento alla suddetta tematica, vengono esaminati sia gli strumenti di tutela extra-giudiziale, tra cui le procedure di reclamo e gli indennizzi automatici forfettari, sia la tutela giurisdizionale, con un approfondendimento sullo strumento del ricorso per l’efficienza amministrativa introdotto col il D.Lgs. n. 198/2009.

L'illusione della scrittura, le metamorfosi del labirinto. Le città invisibili di Calvino e il modello ovidiano.

Résumé: Par le biais de cette thèse, nous nous aventurons dans le monde des Villes invisibles d'Italo Calvino à travers un voyage qui nous portera à affronter des thèmes tels que l'insuffisance du langage pour décrire les multiples formes de la réalité ; l'importance de la relation entre l'oeil et l'esprit ; les instruments déployés par Italo Calvino pour atteindre son objectif: toucher du doigt l'essence même de la réalité. Pour ce faire, l'écrivain puisera dans une tradition séculaire d'oeuvres littéraires, y compris et surtout Ovide et ses Métamorphoses, qui fera l'objet dune étude plus poussée étant donné que Calvino et lui partagent la conviction que l'art et l'illusion qu'il comporte nous guident vers une réalité nouvelle. Nous finirons par l'étude de certains concepts récurrents dans la littérature en général, mais surtout dans celle de l'écrivain. Des thèmes comme l'échiquier, le labyrinthe ou encore la carte nous apparaissent comme autant de moyens employés par Calvino pour comprendre notre monde. Le tout à travers un voyage initiatique qui nous permettra non seulement de mieux comprendre la réalité dans laquelle nous vivons et par conséquent nous-même, mais aussi d'entrer dans l'esprit de l'auteur sans toutefois oublier que nous ne pouvons qu'effleurer la surface de ce dernier. Abstract: Through this thesis, we will enter the world of Italo Calvino's Invisible cities in a trip that will bring us to analyse subjects such as the language inadequacy when it comes to describing reality and its multiple forms ; the importance of the link between the eye and the mind ; the tools used by Italo Calvino in order to achieve his goal: reach the very essence of reality. To do so, the writer will make full use of a tradition that comes from centuries of literary books, included and most of all Ovid and his Metamorphoses, which we will study more deeply as Calvino shares with him the belief that art and illusion that derives from it, bring us towards a new reality. Finally, we will analyse some topics which are generally recurrent not only in literature, but also in Calvino's work. Topics such as chessboard, labyrinth, map that are may different ways used by Calvino to understand our world. All of this will take us through an initiatory trip that will allow us not only to better understand the reality we live in and therefore ourselves, but also to enter the writer's mind without however forgetting that we cannot but only scratch the surface of the latter.

Studio dell'innesco di frane rapide in un'area campione dell'Appennino Bolognese

Il lavoro di tesi ha preso spunto da un fenomeno franoso avvenuto a Porretta Terme (provincia di Bologna), nell’autunno 2008, a causa di abbondanti precipitazioni, in tale occasione si innescò una colata rapida di detriti che invase la strada statale n. 64 e lambì la ferrovia che collega l’Emilia Romagna e la Toscana. I detriti colpirono anche un’abitazione, senza per fortuna causare perdite umane ne danni ingenti, ma l’evento riscosse numerose attenzioni da parte della popolazione locale, preoccupata che fenomeni del genere potessero ripetersi anche in altre zone e senza alcun preavviso. L’evento allertò anche la Protezione Civile regionale che da subito si interessò all’applicazione di metodi in grado di prevedere la suscettività areale da frane di questo tipo. Metodi previsionali per colate rapide sono stati sviluppati negli ultimi anni in diverse università sia in Europa sia negli Stati Uniti d’America. Lo scopo è quello di prevedere le possibili zone di innesco e individuare le soglie di precipitazione critica in modo da realizzare carte di suscettività a scopo di pianificazione territoriale e mitigazione del rischio. Il lavoro, durato diversi mesi, è passato attraverso diverse fasi. In primis si è proceduto a sopralluoghi di campo al fine di inquadrare l’area oggetto di studio dal punto di vista geologico e geomorfologico. Successivamente è stata svolta una fase di campionamento sul terreno; tramite una trivella manuale sono stati effettuati numerosi carotaggi (circa 60) sparsi sull’intero versante oggetto di studio, al fine di ricavare un dato relativo allo spessore del suolo. Inoltre sono stati raccolti dei campioni di terreno, analizzati successivamente in laboratorio al fine di ricavarne le curve granulometriche e alcuni dati caratterizzanti. Terminata la fase sul terreno, si è provveduto ad effettuare le prove di laboratorio (curve granulometriche, limiti di Attemberg, etc). Grazie ai dati raccolti, è stato possibile applicare un modello previsionale di stabilità superficiale, TRIGRS 2.0 basato sull’infiltrazione in un mezzo non saturo di una precipitazione di durata finita. Particolare attenzione è stata rivolta ai metodi per la previsione dello spessore del suolo (Z Model, S Model, Sexp Model) e alla loro influenza nella suscettività da frana superficiale.

Aumento dell'oee di assemblaggio - il caso del frutto dk in Elettrotecnica Rold spa

Il lavoro effettuato ha lo scopo di ridefinire il complesso delle attività organizzative, gestionali ed operative effettuate dall’unità produttiva della Rold per quel che riguarda il frutto DK, un blocca porta magnetico. L’INTRODUZIONE si sviluppa con la volontà di presentare il contesto di riferimento nel quale è stato svolto il lavoro, andando quindi a descrivere Rold, l’azienda all’interno della quale viene prodotto il frutto DK e Inema, la società di consulenza incaricata di ridefinire le attività collegate ad alcune fasi del processo produttivo del frutto DK, al fine di efficientare la realizzazione dei prodotti. Il CAPITOLO 1 richiama la letteratura di riferimento, sulla base della quale è stato sviluppato il progetto che viene esposto all’interno dell’elaborato. Il CAPITOLO 2 espone i risultati dell’analisi condotta per ricercare i problemi che affliggono la linea di produzione del frutto DK, determinandone una scarsa produttività. Il CAPITOLO 3 costituisce il cuore della tesi: presenta le possibili proposte di soluzione dei problemi individuati, scegliendo quelle che vengono ritenute più efficaci al raggiungimento dell’obiettivo di miglioramento di Rold. La CONCLUSIONE espone i risultati ottenuti attraverso le analisi svolte e le soluzioni proposte.

Revisione della cartografia geologica di dettaglio del'area di Tataouine (Tunisia)

In questa tesi viene proposta una revisione della cartografia geologica del Bacino di Tataouine, nella Tunisia meridionale, mediante la combinazione di sezioni stratigrafiche rilevate in campagna, acquisizione di cartografie a diversa risoluzione presenti in letteratura e applicazione di tecnologie GIS. In particolare, si è cercato di migliorare la risoluzione del materiale cartografico esaminato in specifici settori dell’area di studio fornendo informazioni dettagliate per le singole unità stratigrafiche affioranti. I dati esaminati si riferiscono principalmente alle successioni esposte lungo la scarpata del Dahar, un elemento morfologico sub-verticale che si estende nell’intera area di studio e che rende particolarmente difficile la rappresentazione in pianta delle diverse unità affioranti. A supporto dei dati di campagna (che si riferiscono a 23 sezioni stratigrafiche e 43 punti di controllo) sono stati integrati i dati ottenuti da immagini satellitari ad alta risoluzione. L’utilizzo di ArcMap ha permesso di unire i diversi dataset e ottenere quindi carte geologiche a maggiore risoluzione stratigrafica rispetto a quelle disponibili. L’applicazione della metodologia illustrata in questo progetto, se trasferita ad altri casi studio, potrebbe divenire una modalità operativa utile per ottenere una maggiore risoluzione nella rappresentazione in carta della geologia di un territorio.

I giochi di strategia nell'educazione matematica - il caso del bridge

La tesi evidenzia quanto importante sia l'uso dei giochi di strategia per la didattica della Matematica con particolare attenzione per il gioco del Bridge. Fornisce qualche strumento in più per appassionare lo studente alla matematica. I temi affrontati sono i seguenti: La probabilità con l'uso delle carte, la Matematica che occorre ad un giocatore di bridge per migliorare le proprie prestazioni, i problemi di bridge che offrono stimoli per lo studio della matematica e il Bridge come sport della mente.

Studio sulla distribuzione dell'inquinamento da idrocarburi clorurati nelle falde della Provincia di Ferrara.

La Provincia di Ferrara ha avuto (ed ha tuttora) sul suo territorio, insediamenti produttivi di varia natura, che nel tempo hanno fatto uso di idrocarburi alifatici clorurati, per scopi diversi: solventi, sgrassanti, refrigeranti, supporti chimici e farmaceutici, ecc. Soprattutto nei decenni passati, a causa di normative poco restringenti sull’uso e sullo smaltimento di questi composti, si sono verificate le condizioni per provocare l’inquinamento delle falde del territorio provinciale. Nel corso degli anni, si sono svolti studi di diverso carattere, finalizzati ad individuare e caratterizzare siti (o raggruppamenti di siti) contaminati da idrocarburi clorurati. In questo lavoro si è allargata l’attenzione a tutti i siti presenti nel territorio definito dai limiti amministrativi della Provincia di Ferrara, che, nell‘arco temporale 2000 – 2015, hanno evidenziato contaminazioni da CAHs nell’acquifero superficiale A0 e/o nell’acquifero confinato A1. Si sono create, quindi, carte di distribuzione dei siti inquinati su scala provinciale, analizzandone principalmente caratteristiche idrogeologiche e variazioni di distribuzione chimica nello spazio e nel tempo, in relazione agli studi di caratterizzazione ed a eventuali messe in sicurezza e/o bonifiche. I dati necessari sono stati reperiti dagli atti amministrativi e dai relativi documenti tecnici, messi a disposizione dalla Provincia di Ferrara. L’attenzione è ricaduta in particolare sul cloruro di vinile (Vinyl Chloride, VC) ritrovato in alte concentrazioni e in un alto numero di siti. Il suo non utilizzo diretto nei processi produttivi in esame, ne esclude la presenza in qualità di contaminante primario, classificandolo come prodotto della degradazione di altri idrocarburi clorurati più complessi, in larga parte etileni clorurati. Si è inoltre appurato, come la presenza di VC non sia solo attribuibile a siti operanti nel settore metallurgico o chimico, ma riguardi in alcuni casi inquinamenti provocati da commercio o stoccaggio di carburanti, a cui, in passato, furono aggiunti solventi clorurati per migliorarne le caratteristiche chimico-fisiche. Si è concluso infine, come nel territorio della Provincia di Ferrara siano frequenti condizioni particolari, che favoriscono la degradazione di composti organo-clorurati complessi, ed agevolano l’accumulo di cloruro di vinile. Tali caratteristiche, sono state principalmente individuate nella diffusa presenza di livelli fini, anche torbosi, e nella altrettanto diffusa presenza di ambienti riducenti, non solo nel caso dell’acquifero confinato A1 ma anche nel caso dell’acquifero superficiale A0.

Coordinate isoterme

Questa tesi si propone di verificare l'esistenza di coordinate isoterme su una superficie. Le coordinate isoterme danno localmente una mappa conforme da una varietà riemanniana bidimensionale al piano Euclideo. Se la superficie è orientabile, allora si può dare un atlante di carte isoterme, cioè le cui coordinate associate siano isoterme. Queste coordinate esistono a patto che vengano soddisfatte certe condizioni. Il risultato nelle classi di Holder è dovuto a Korn e Lichtensten. Chern ha notevolmente semplificato la loro dimostrazione.

Bodenerosions-Gefährdungskarte der Schweiz

Die Bodenerosions-Gefährdungskarte gibt einen nationalen Überblick über das Abtragsrisiko der Schweizer Böden und vor allem für die Ackerböden. Mit Hilfe einer angepassten Version des empirischen Erosionsmodells «Universal Soil Loss Equation» (USLE) wurde die langfristige Bodenerosionsgefährdung flächendeckend im Hektarraster berechnet. Die Bodenerosions-Gefährdungskarte soll den Kantonen als Grundlage dienen, detaillierte Karten zu erstellen oder besonders gefährdete Gebiete vertieft zu untersuchen. Unter der Annahme, dass alle Ackerflächen mit dem Pflug bearbeitet und keine Zwischenfrüchte angebaut werden, weisen bei heutiger Fruchtfolgegestaltung 61 % aller Ackerflächen einen langjährigen mittleren Bodenabtrag von unter zwei Tonnen pro Hektare und Jahr auf und sind damit als wenig erosionsgefährdet einzustufen. 22 % liegen im kritischen Bereich zwischen zwei und vier Tonnen pro Hektare und Jahr, 17 % sind mit mehr als vier Tonnen pro Hektare und Jahr als stark erosionsgefährdet zu bezeichnen. Die räumliche Verteilung der Abtragswerte zeigt ein sehr heterogenes Muster innerhalb der Hauptackerbau-Regionen ohne räumlich konzentrierte Schwerpunktregionen. In einer Szenario-Berechnung, bei der die Bodenbearbeitung mit dem Pflug durch Direktsaat sowie Winterbrache durch Zwischenkulturanbau flächendeckend ersetzt werden, reduziert sich das Bodenerosionsrisiko im Durchschnitt um rund zwei Drittel.

Interrogating the spaces of personal photography : women, identity, and the cultural formation of photographic practice

Personal photographs permeate our lives from the moment we are born as they define who we are within our familial group and local communities. Archived in family albums or framed on living room walls, they continue on after our death as mnemonic artifacts referencing our gendered, raced, and ethnic identities. This dissertation examines salient instances of what women “do” with personal photographs, not only as authors and subjects but also as collectors, archivists, and family and cultural historians. This project seeks to contribute to more productive, complex discourse about how women form relationships and engage with the conventions and practices of personal photography. In the first part of this dissertation I revisit developments in the history of personal photography, including the advertising campaigns of the Kodak and Agfa Girls and the development of albums such as the Stammbuch and its predecessor, the carte-de-visite, that demonstrate how personal photography has functioned as a gendered activity that references family unity, sentimentalism for the past, and self-representation within normative familial and dominant cultural groups, thus suggesting its importance as a cultural practice of identity formation. The second and primary section of the dissertation expands on the critical analyses of Gillian Rose, Patricia Holland, and Nancy Martha West, who propose that personal photography, marketed to and taken on by women, double-exposes their gendered identities. Drawing on work by critics such as Deborah Willis, bell hooks, and Abigail Solomon-Godeau, I examine how the reconfiguration, recontextualization, and relocation of personal photographs in the respective work of Christine Saari, Fern Logan, and Katie Knight interrogates and complicates gendered, raced, and ethnic identities and cultural attitudes about them. In the final section of the dissertation I briefly examine select examples of how emerging digital spaces on the Internet function as a site for personal photography, one that both reinscribes traditional cultural formations while offering new opportunities for women for the display and audiencing of identities outside the family.

Strontium isotope ratios of plant and soil samples from France

The dataset consists of 87Sr/86Sr isotope ratios of plant samples and soil leachates covering the major geologic regions of France. In addition to the isotope data it provides the spatial context for each sample, including background geology, field observations and soil descriptions. The dataset can be used to create Sr isoscapes for France, which can be applied in a wide range of fields including archaeology, ecology, soil, food, and forensic sciences.