Introduzione alla teoria dei giochi. Riflessioni didattiche

In questo elaborato si vuole introdurre la teoria dei giochi da un punto di vista matematico attraverso la trattazione di alcuni argomenti di base: i giochi in forma estesa e a somma zero, l'equilibrio di Nash e i giochi cooperativi.

Sulla teoria delle frazioni continue

La tesi si propone di fornire una introduzione completa ai fondamenti della teoria delle frazioni continue (numeriche). Questo da' adito anche alla illustrazione e alla soluzione di vari problemi specialmente nell'ambito della teoria dei numeri che, in vari modi, si rifanno alle frazioni continue.

La concezione del piano strutturale del verde: dalla teoria alla pratica. Ipotesi realizzativa nel Comune di Senigallia, integrando esperienze francesi

Il lavoro di ricerca descrive il percorso che ha portato alla redazione del Piano Strutturale del Verde del Comune di Senigallia (AN), quale strumento capace di migliorare la qualità di vita ed il benessere della città, intesa come ecosistema, e dei cittadini, quali parte integrante e, al tempo stesso, fruitori di suddetto ecosistema. Lo studio ha pertanto previsto dapprima un'analisi approfondita e dettagliata dell’intero territorio comunale e, successivamente, la stesura di linee guida e la definizione di soluzioni progettuali tipo indirizzate ad una pianificazione e gestione sostenibile del territorio. Il lavoro svolto non si limita alla descrizione del Piano Strutturale del Verde, ma illustra anche un caso studio francese, quale modello di analisi dell'iter successivo, che è consigliabile seguire dopo l'approvazione di questo tipo di Piani, al fine di renderli concreti ed operativi ed attuare, quindi, le linee guida da essi definite. L’obiettivo risulta dunque quello di evitare che questo importante strumento di pianificazione e gestione del territorio sia dimenticato in un cassetto degli Uffici Comunali.

Conservazione e ricostruzione dei tessuti storici dal secondo dopoguerra agli anni settanta. Teoria e prassi del restauro nell'opera del soprintendente Alfredo Barbacci

Il Soprintendente Alfredo Barbacci fu uomo di poliedrica formazione, perito nell’uso di metodiche innovative di restauro ed esperto delle tecniche di ricomposizione delle forme architettoniche dei complessi monumentali, danneggiati dai bombardamenti del secondo conflitto mondiale. Quel che, questo studio ha inteso indagare e comprendere, attraverso un approccio critico, sostanziato dalle carte d’archivio, è fondamentalmente il contributo, da egli ha offerto circa la valenza storica e architettonica del tessuto connettivo di base della città, da cui si originava - negli anni della sua attività - l’idea ancora inedita di un bene culturale e sociale nuovo: il centro storico tutto, con annessi monumenti, complessi architettonici nobili ed edilizia minore, di base. Dando avvio all’analisi sistematica delle teorie e della prassi di Alfredo Barbacci e alla lettura puntuale dei suoi scritti, sono stati razionalizzati il significato, le valenze e le implicazioni del termine edilizia minore all’interno del più ampio contesto del restauro dell’edilizia monumentale e alla luce degli elementi di tendenza, portati all’attenzione dal dibattito delle diverse scuole di pensiero sul restauro, a partire dai primi anni del sec. XX fino agli anni Settanta dello scorso secolo. Concretamente vi si evidenziano interessanti intuizioni e dichiarazioni, afferenti la necessità di un restauro del tipo integrato, da intendersi come strumento privilegiato di intervento sul tessuto nobile e meno nobile della città antica. Al termine della sua carriera, il contributo del Soprintendente Barbacci al dibattito scientifico si documenta da sé, nella compilazione a sua firma di quella parte della Relazione Franceschini, in cui si dava proposta di un corpo normativo alla necessità di guardare alla città storica come a un bene culturale e sociale, insistendo come al suo interno era d’uopo mantenere, nel corso di interventi restaurativi, un razionale equilibrio tra monumento ed edilizia minore già storicizzata e che non escludesse anche l’apparato paesaggistico di contorno.

Verso una teoria delle differenze tra documenti semi-strutturati

I sistemi di versionamento moderni quali "git" o "svn" sono ad oggi basati su svariati algoritmi di analisi delle differenze (detti algoritmi di diffing) tra documenti (detti versioni). Uno degli algoritmi impiegati con maggior successo a tal proposito è il celebre "diff" di Unix. Tale programma è in grado di rilevare le modifiche necessarie da apportare ad un documento al fine di ottenerne un altro in termini di aggiunta o rimozione di linee di testo. L'insieme di tali modifiche prende nome di "delta". La crescente richiesta e applicazione dei documenti semi-strutturati (ed in particolar modo dei documenti XML) da parte della comunità informatica soprattutto in ambito web ha motivato la ricerca di algoritmi di diffing più raffinati che operino al meglio su tale tipologia di documenti. Svariate soluzioni di successo sono state discusse; algoritmi ad alte prestazioni capaci di individuare differenze più sottili della mera aggiunta o rimozione di testo quali il movimento di interi nodi, il loro riordinamento finanche il loro incapsulamento e così via. Tuttavia tali algoritmi mancano di versatilità. L'incapsulamento di un nodo potrebbe essere considerata una differenza troppo (o troppo poco) generale o granulare in taluni contesti. Nella realtà quotidiana ogni settore, pubblico o commerciale, interessato a rilevare differenze tra documenti ha interesse nell'individuarne sempre e soltanto un sottoinsieme molto specifico. Si pensi al parlamento italiano interessato all'analisi comparativa di documenti legislativi piuttosto che ad un ospedale interessato alla diagnostica relativa alla storia clinica di un paziente. Il presente elaborato di tesi dimostra come sia possibile sviluppare un algoritmo in grado di rilevare le differenze tra due documenti semi-strutturati (in termini del più breve numero di modifiche necessarie per trasformare l'uno nell'altro) che sia parametrizzato relativamente alle funzioni di trasformazione operanti su tali documenti. Vengono discusse le definizioni essenziali ed i principali risultati alla base della teoria delle differenze e viene dimostrato come assunzioni più blande inducano la non calcolabilità dell'algoritmo di diffing in questione.