Libertà di manifestazione del pensiero e tecniche argomentative delle Corti costituzionali

La ricerca consta di quattro capitoli: nella prima parte si analizzano, in prospettiva empirica, i canoni argomentativi utilizzati dalla Corte costituzionale italiana. Tali canoni possono essere generalmente distinti in due grandi famiglie: giuridico-interpretativi per un verso, e ed empirico fattuali per un altro. In un secondo capitolo si è visto come la Corte costituzionale italiana ha frutto uso di questi canoni nella sua giurisprudenza italiana in tema di diritto soggettivo di libertà di espressione e di mezzi di comunicazione del pensiero. Nel primo caso la Corte costituzionale ha fatto ricorso a canoni interpretativi testuali, mentre nel secondo ad argomentazioni empiriche spesso accompagnate da un giudizio di proporzionalità sull'intervento legislativo. Nella terza parte del lavoro si è invece descritta la giurisprudenza della Corte Suprema americana: è stata analizzata l'evoluzione delle tecniche argomentativi in tema di libertà di espressione: partendo dall'ad hoc balancing e dal definitional balancing si è giunti alla descrizione dei diversi livelli di scrutinio e alla progressiva concettualizzazione delle categorie espressive. Infine nel quarto capitolo si sono messe a confronto le due giurisprudenze: si è potuto così notare che la progressiva categorizzazione del diritto di libertà negli Stati Uniti ha dato esiti maggiormente garantisti, mentre più liberisti in relazione alle concrete dinamiche di formazione del discorso pubblico. Viceversa, in Italia i canoni testuali hanno originato una giurisprudenza più restrittiva quanto al diritto soggettivo e più egualitaria quanto al sistema della libertà di espressione. In ogni caso, entrambe le esperienze evidenziano il ruolo di policy-maker delle Corti costituzionali nei moderni ordinamenti liberal-democratici.

Modificazioni soggettive del rapporto obbligatorio e garanzie reali

Lo studio del lato soggettivo del rapporto è centrale nella teoria dell’obbligazione. Ci si chiede se la modificazione di una o anche di entrambe le parti del rapporto determini sempre la sua estinzione o se, invece, si conservi la sua unitarietà oggettiva. La risposta a questo interrogativo è stata diversa a seconda delle diverse epoche storiche. Nel diritto romano si riteneva che la variazione di qualunque soggetto determinasse l’estinzione del rapporto e la costituzione di una nuova obbligazione (novazione soggettiva). Tale soluzione è stata osteggiata dai codificatori moderni per i quali, in caso di modifica delle personae non si ha estinzione del rapporto, ma solo il mutamento di uno dei suoi elementi. Quanto ai diritti di garanzia, in particolare l’ipoteca, i principi generali essenzali sono la specialità e l’accessorietà. Quest’ultima caratteristica è dirimente in caso di modificazione soggettiva del rapporto e ciò emerge in sede di trattazione delle singole fattispecie del Codice Civile che la determinano, sia quanto al creditore sia quanto al debitore. Per velocizzare il subentro nel credito, nel 2007 è stato approvato il decreto Bersani (sulla portabilità del mutuo) che ha consentito di rimuovere vincoli a tale circolazione, nell’ambito dei rapporti bancari. Le caratteristiche della modificazione del rapporto obbligatorio, tuttavia, possono minare l’efficacia della riforma Bersani. Questo è il motivo per il quale taluni studiosi ritengono necessario procedere a un’ampia rivisitazione dell’intero diritto ipotecario, eliminando, sulla scia di quanto accaduto in altri ordinamenti europei, il requisito dell’accessorietà del vincolo. Nonostante ciò, a causa dei rischi connessi a questa riforma, si ritiene preferibile affinare il meccanismo di perfezionamento della portabilità, eliminandone le criticità, senza però pregiudicare le sicurezze dell’attuale sistema giuridico, di cui l’accessorietà dell’ipoteca rispetto al credito costituisce un importante caposaldo.

Ricerca di criteri analitico-progettuali per la riqualificazione paesaggistica di strutture e infrastrutture in aziende agricole multifunzionali.

Obiettivo generale dello studio è rivolto alla definizione di linee d’indirizzo volte alla riqualificazione paesaggistica, per l’integrazione ed il recupero delle corti e degli edifici moderni dei centri aziendali agricoli a carattere multifunzionale in territorio rurale, attraverso soluzioni appropriate sia sul piano tecnologico-formale che su quello economico-funzionale. Con riferimento ad un’area studio sovracomunale della provincia di Bologna (Regione Emilia-Romagna), si è determinato, quale obiettivo specifico, l’individuazione delle possibili soluzioni di riqualificazione, da realizzarsi in economia, cioè primariamente attraverso i mezzi e le competenze normalmente disponibili in un’azienda agricola di questo tipo. A seguito del riconoscimento dei caratteri specifici e dei tipi edilizi degli edifici rurali tradizionali nella pianura emiliano romagnola, dell’identificazione delle metodologie d’indagine dei caratteri degli edifici rurali in letteratura, nonché dell’analisi della normativa di riferimento in materia di aziende multifunzionali, sono state definite le aziende studio, appartenenti ad aree geografiche differenti. La metodologia d’indagine individuata è stata condotta per la determinazione delle tipologie costruttive, dei materiali utilizzati e dei requisiti delle aziende, in relazione alle diverse specificità, alla definizione funzionale degli spazi costruiti, degli spazi aperti e delle differenti relazioni fra essi e l’identificazione ed analisi dei percorsi delle diverse tipologie di fruitori. L’identificazione delle criticità dei caratteri architettonici riscontrate, sia negli edifici agricoli sia nella corte, ha condotto al riconoscimento degli ambiti di intervento per la progettazione delle soluzioni di riqualificazione funzionale e paesaggistica, attraverso lo studio delle possibili soluzioni per la schermatura o rivalorizzazione sia degli edifici moderni di servizio all’agricoltura (analizzando le potenzialità progettuali offerte dalle pareti verdi, dai brise soleil, dalle facciate ventilate o da intonaci e tinteggiature), sia per la riqualificazione dei percorsi e degli aspetti paesaggistici (intervenendo sulla proposta di materiali da pavimentazione, e delle essenze da utilizzare), da realizzarsi in economia, ma comparati con alternative proposte di tipo commerciale.

Aggregazione delle query per sistemi pub/sub: il progetto SALES

I sistemi mobili rappresentano una classe di sistemi distribuiti caratterizzata dalla presenza di dispositivi portatili eterogenei quali PDA, laptop e telefoni cellulari che interagiscono tra loro mediante una rete di interconnessione wireless. Una classe di sistemi mobili di particolare interesse è costituita dai sistemi basati sul modello di interazione publish/subscribe. Secondo tale schema, i nodi all'interno di una rete possono assumere due ruoli differenti: i produttori di informazione, chiamati publisher, ed i consumatori di informazione, chiamati subscriber. Tipicamente, l'interazione tra essi è mediata da un gestore di eventi che indirizza correttamente le informazioni ricevute dai publisher verso i subscriber interessati, sulla base degli interessi espressi da questi ultimi tramite sottoscrizioni. Nella progettazione di sistemi mobili, a differenza di quelli tradizionali basati su nodi fissi, bisogna tenere conto di problemi quali la scarsa capacità computazionale dei dispositivi e la limitata larghezza di banda delle reti wireless. All'interno di tale ambito, stanno recentemente assumendo sempre maggiore importanza i sistemi context-aware, ovvero sistemi mobili che sfruttano i dati provenienti dall'ambiente circostante e dai dispositivi stessi per adattare il proprio comportamento e notificare agli utenti la presenza di informazioni potenzialmente utili. Nello studio di questi sistemi, si è notato che i nodi che si trovano nella stessa area geografica generano tipicamente delle sottoscrizioni che presentano tra loro un certo grado di similarità e coperture parziali o totali. Il gruppo di ricerca del DEIS dell’Università di Bologna ha sviluppato un'infrastruttura di supporto per sistemi mobili context-aware, chiamata SALES. Attualmente il sistema progettato non considera le similarità delle sottoscrizioni e quindi non sfrutta opportunamente tale informazione. In questo contesto si rende necessario l'adozione di opportune tecniche di aggregazione delle sottoscrizioni atte ad alleggerire la computazione dei nodi mobili e le comunicazioni tra loro. Il lavoro presentato in questa tesi sarà finalizzato alla ricerca, all'adattamento ed all'implementazione di una tecnica di aggregazione delle sottoscrizioni. Tale tecnica avrà lo scopo di rilevare e sfruttare le similarità delle sottoscrizioni ricevute dal sistema al fine di ridurne il numero; in questo modo, quando un nodo riceverà un dato, il processo di confronto tra l'insieme delle sottoscrizioni memorizzate e il dato ricevuto sarà più leggero, consentendo un risparmio di risorse computazionali. Inoltre, adattando tali tecniche, sarà possibile modulare anche il traffico dati scaturito dalle risposte alle sottoscrizioni. La struttura di questa tesi prevede un primo capitolo sui sistemi context-aware, descrivendone le principali caratteristiche e mettendo in luce le problematiche ad essi associate. Il secondo capitolo illustra il modello di comunicazione Publish/Subscribe, modello di riferimento per i moderni sistemi context-aware e per i sistemi mobili in generale. Il terzo capitolo descrive l'infrastruttura SALES sulla quale si è progettata, implementata e testata la soluzione proposta in questa tesi. Il quarto capitolo presenta le principali tecniche di aggregazione delle sottoscrizioni e spiega come possono essere adattate al contesto di questa tesi. Il quinto capitolo effettua l'analisi dei requisiti per comprendere meglio il comportamento della soluzione; seguono la progettazione e l’implementazione della soluzione su SALES. Infine, il sesto capitolo riporta in dettaglio i risultati ottenuti da alcuni degli esperimenti effettuati e vengono messi a confronto con quelli rilevati dal sistema di partenza.

Quantum field theory of (p,0)-forms on kaehler manifolds

In questa tesi abbiamo studiato la quantizzazione di una teoria di gauge di forme differenziali su spazi complessi dotati di una metrica di Kaehler. La particolarità di queste teorie risiede nel fatto che esse presentano invarianze di gauge riducibili, in altre parole non indipendenti tra loro. L'invarianza sotto trasformazioni di gauge rappresenta uno dei pilastri della moderna comprensione del mondo fisico. La caratteristica principale di tali teorie è che non tutte le variabili sono effettivamente presenti nella dinamica e alcune risultano essere ausiliarie. Il motivo per cui si preferisce adottare questo punto di vista è spesso il fatto che tali teorie risultano essere manifestamente covarianti sotto importanti gruppi di simmetria come il gruppo di Lorentz. Uno dei metodi più usati nella quantizzazione delle teorie di campo con simmetrie di gauge, richiede l'introduzione di campi non fisici detti ghosts e di una simmetria globale e fermionica che sostituisce l'iniziale invarianza locale di gauge, la simmetria BRST. Nella presente tesi abbiamo scelto di utilizzare uno dei più moderni formalismi per il trattamento delle teorie di gauge: il formalismo BRST Lagrangiano di Batalin-Vilkovisky. Questo metodo prevede l'introduzione di ghosts per ogni grado di riducibilità delle trasformazioni di gauge e di opportuni “antifields" associati a ogni campo precedentemente introdotto. Questo formalismo ci ha permesso di arrivare direttamente a una completa formulazione in termini di path integral della teoria quantistica delle (p,0)-forme. In particolare esso permette di dedurre correttamente la struttura dei ghost della teoria e la simmetria BRST associata. Per ottenere questa struttura è richiesta necessariamente una procedura di gauge fixing per eliminare completamente l'invarianza sotto trasformazioni di gauge. Tale procedura prevede l'eliminazione degli antifields in favore dei campi originali e dei ghosts e permette di implementare, direttamente nel path integral condizioni di gauge fixing covarianti necessari per definire correttamente i propagatori della teoria. Nell'ultima parte abbiamo presentato un’espansione dell’azione efficace (euclidea) che permette di studiare le divergenze della teoria. In particolare abbiamo calcolato i primi coefficienti di tale espansione (coefficienti di Seeley-DeWitt) tramite la tecnica dell'heat kernel. Questo calcolo ha tenuto conto dell'eventuale accoppiamento a una metrica di background cosi come di un possibile ulteriore accoppiamento alla traccia della connessione associata alla metrica.

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.

Modernismi Litici 1922-1942. La pietra nell'Architettura Moderna

Leggere il progetto del Moderno e le sue culture costruttive in relazione alla storia e allo sviluppo della tecnologia, consente di esplorare alcuni aspetti dell’Architettura Moderna in Europa. Oltre alla più famosa, e maggiormente studiata, triade dei materiali ‘moderni’ – l’acciaio, il calcestruzzo e il vetro – la pietra ha svolto un importante ruolo nella definizione sia dello stile che della costruzione moderna. La costruzione in pietra è stata sempre associata alla tradizione e quindi deliberatamente dimenticata dal Movimento Moderno, durante la fase cruciale della modernizzazione della società e quindi dell’architettura e della costruzione. La pietra tuttavia testimonia la delicata transizione dalla tradizionale arte del costruire alle nuove tecnologie. La ricerca ha studiato l’evoluzione delle tecniche costruttive in pietra in Francia ed in Italia, durante gli anni ’20 e ’30, in relazione alle nuove tecniche industrializzate e i linguaggi delle avanguardie. La ricerca è partita dallo studio dei manuali, delle riviste e dei progetti presentati sulle loro pagine. In Italia e in Francia il rivestimento in pietra si afferma come un sistema costruttivo ‘razionale’, dove la costruzione moderna converge lentamente verso nuove soluzioni; questo sistema ha avuto negli anni ’20 e ’30 un ruolo centrale, nel quale è stato possibile un dialogo, senza contraddizioni, tra i materiali ‘moderni’ e la pietra. L’evoluzione dalle tradizionali tecniche costruttive verso i nuovi sistemi tecnologici, ha determinato una nuova costruzione in pietra che è alla base di una modernità che non rifiuta questo materiale tradizionale, ma lo trasforma secondo i nuoci principi estetici.

Sviluppo di un sistema per l'ottimizzazione della dose in radioterapia tramite "dose-painting" basato sui voxel

Il presente lavoro è stato svolto presso la struttura di Fisica Medica dell'Azienda Ospedaliera IRCCS "Arcispedale S. Maria Nuova" di Reggio Emilia e consiste nello sviluppo di un sistema per l'ottimizzazione della dose in Radioterapia tramite dose-painting basato sui voxel. Il dose painting è una tecnica di pianificazione del trattamento di radioterapia che si basa sull'assegnazione o ridistribuzione della dose secondo le informazioni biologiche e metaboliche che i moderni sistemi di imaging sono in grado di fornire. La realizzazione del modulo di calcolo BioOPT è stata possibile grazie all'utilizzo dei due software open-source Plastimatch e CERR, specifici per l'elaborazione e la registrazione di immagini mediche di diversi tipi e formati e per la gestione, la modifica e il salvataggio di piani di trattamento di radioterapia creati con la maggior parte dei software commerciali ed accademici. Il sistema sviluppato è in grado di registrare le immagini relative ad un paziente, in generale ottenute da diverse tipologie di imaging e acquisite in tempi diversi ed estrarre le informazioni biologiche relative ad una certa struttura. Tali informazioni verranno poi utilizzate per calcolare le distribuzioni di dose "ottimale" che massimizzano il valore delle funzioni radiobiologiche utilizzate per guidare il processo di redistribuzione della dose a livello dei voxel (dose-painting). In questo lavoro il modulo è stato utilizzato principalmente per l'ottimizzazione della dose in pazienti affetti da Glioblastoma, un tumore cerebrale maligno tra i più diffusi e mortali. L'ottimizzatore voxel-based, infatti, è stato sviluppato per essere utilizzabile all'interno di un progetto di ricerca finanziato dal Ministero della Salute per la valutazione di un programma di terapia che include l'uso di un innovativo acceleratore lineare ad alto rateo di dose per la cura di tumori cerebrali in fase avanzata. Al fine di migliorare il trattamento radiante, inoltre, lo studio include la somministrazione della dose tramite dose-painting con lo scopo di verificarne l'efficacia. I risultati ottenuti mostrano che tramite il modulo sviluppato è possibile ottenere distribuzioni di dose eterogenee che tengono conto delle caratteristiche biologiche intratumore stimate a partire dalle immagini multimodali. Inoltre il sistema sviluppato, grazie alla sua natura 'open', è altamente personalizzabile a scopi di ricerca e consente di simulare distribuzioni di dose basate sui voxel e di confrontarle con quelle ottenute con i sistemi commerciali ad uso clinico, che non consentono questo tipo di ottimizzazioni.

Sviluppo di sistemi per l'analisi della combustione in tempo reale per motori endotermici alternativi

I moderni motori a combustione interna diventano sempre più complessi L'introduzione della normativa antinquinamento EURO VI richiederà una significativa riduzione degli inquinanti allo scarico. La maggiore criticità è rappresentata dalla riduzione degli NOx per i motori Diesel da aggiungersi a quelle già in vigore con le precedenti normative. Tipicamente la messa a punto di una nuova motorizzazione prevede una serie di test specifici al banco prova. Il numero sempre maggiore di parametri di controllo della combustione, sorti come conseguenza della maggior complessità meccanica del motore stesso, causa un aumento esponenziale delle prove da eseguire per caratterizzare l'intero sistema. L'obiettivo di questo progetto di dottorato è quello di realizzare un sistema di analisi della combustione in tempo reale in cui siano implementati diversi algoritmi non ancora presenti nelle centraline moderne. Tutto questo facendo particolare attenzione alla scelta dell'hardware su cui implementare gli algoritmi di analisi. Creando una piattaforma di Rapid Control Prototyping (RCP) che sfrutti la maggior parte dei sensori presenti in vettura di serie; che sia in grado di abbreviare i tempi e i costi della sperimentazione sui motopropulsori, riducendo la necessità di effettuare analisi a posteriori, su dati precedentemente acquisiti, a fronte di una maggior quantità di calcoli effettuati in tempo reale. La soluzione proposta garantisce l'aggiornabilità, la possibilità di mantenere al massimo livello tecnologico la piattaforma di calcolo, allontanandone l'obsolescenza e i costi di sostituzione. Questa proprietà si traduce nella necessità di mantenere la compatibilità tra hardware e software di generazioni differenti, rendendo possibile la sostituzione di quei componenti che limitano le prestazioni senza riprogettare il software.

Polinomi di Bernstein e curve di Bezier

Questo lavoro si pone come obiettivo l'approfondimento della natura e delle proprietà dei polinomi espressi mediante la base di Bernstein. Introdotti originariamente all'inizio del '900 per risolvere il problema di approssimare una funzione continua su un intervallo chiuso e limitato della retta reale (Teorema di Stone-Weierstrass), essi hanno riscosso grande successo solo a partire dagli anni '60 quando furono applicati alla computer-grafica per costruire le cosiddette curve di Bezier. Queste, ereditando le loro proprietà geometriche da quelle analitiche dei polinomi di Bernstein, risultano intuitive e facilmente modellabili da un software interattivo e sono alla base di tutti i più moderni disegni curvilinei: dal design industriale, ai sistemi CAD, dallo standard SVG alla rappresentazione di font di caratteri.

Pllm-gestione del ciclo di vita di un impianto. Il caso dell' azienda ospedaliera di Perugia

Obiettivo della presente tesi è l’ipotesi di applicazione dell’approccio PLLM (Plant Lifecycle Management) in un contesto sanitario sfruttando moderni metodi di organizzazione e coordinamento delle fasi del ciclo di vita di un impianto e nuove tecnologie per la realizzazione di un database informatizzato per la gestione dei dati e delle informazioni all’interno di una struttura sanitaria, nel caso specifico del Blocco Operatorio ‘Vittorio Trancanelli’ dell’Azienda Ospedaliera di Perugia. Per raggiungere tale obiettivo ho prima di tutto analizzato il contesto aziendale, studiate le realtà esistenti, per poi affrontare in dettaglio le variabili del problema. I dati ottenuti in seguito all’attività di ricerca sono stati utilizzati per conoscere e avere una dimensione della mole di informazioni e beni che vengono annualmente smistati e gestiti quotidianamente all’interno della struttura ospedaliera per andare ad analizzare più nello specifico la strutturazione e la complessità di un impianto complesso quale il Blocco Operatorio “Vittorio Trancanelli”. In ultima istanza sono state redatte delle metodologie per la corretta implementazione della piattaforma gestionale in ottica PLLM al fine di garantire una snella e tempestiva fruizione della documentazione utile alla corretta gestione del ciclo di vita di un impianto complesso.

Daniello Bartoli, Il Giappone, Edizione critica

La tesi di ricerca ha portato alla realizzazione di un’edizione critica del Giappone di Daniello Bartoli (1660): per la prima volta la «seconda parte» dell’Asia trova, in questo lavoro, una trascrizione integrale condotta con moderni criteri filologi. Quanto all’esegesi la ricerca ha visto la compilazione di tre «Schedari»: un «Indice dei nomi», che vede l’identificazione dei personaggi storici citati esplicitamente nell’opera, ne traccia un rapido profilo biografico e ne fornisce precisa e aggiornata bibliografia. Per quanto riguarda i missionari evocati dall’autore nel testo, questa sezione indica se (e dove) si tratta di personaggio o di fonte (registrando, nel caso, il luogo o i luoghi in cui Bartoli ricorre a tale testimonianza); un «Indice dei luoghi», che dà l’indicazione moderna del luogo citato e ne fornisce il riscontro con i repertori più aggiornati; un «Lessico» riservato ai termini giapponesi presenti nel testo che vengono spiegati e, là dove possibile, studiati nella loro storia, nella loro presenza nella coeva letteratura di viaggio e corredati di utili riferimenti bibliografici. Le pagine introduttive inquadrano l’opera di Bartoli sia nell’orizzonte biografico dell’autore sia nel milieu gesuitico barocco, fornendo puntuali coordinate storiche grazie alle quali recuperare il più ampio contesto delle missioni gesuitiche nell’Estremo Oriente tra Cinque e Seicento. Particolare attenzione è stata riservata al modo di intendere il compito dello storico da parte di Bartoli: una storiografia la sua che s’intreccia in modi affatto peculiari alle diverse forme stilistiche e dinamiche retoriche richieste dalle altre due grandi attività a cui egli dedicò impegno e passione: l’insegnamento e la predicazione.

L’alternativa democratica: Umberto Zanotti Bianco, il sud Italia e il Mediterraneo tra grande guerra e fascismo.

L’impegno civile di Umberto Zanotti Bianco (1889-1963) intrecciandosi ai principali eventi storici della prima metà del Novecento ha concorso a fare del Mezzogiorno d’Italia un laboratorio per una concreta emancipazione delle fasce sociali più umili. In queste coordinate l’azione di Zanotti Bianco è emblematica: supera la visione conservatrice di un sud incapace di fare emergere saperi e capacità organizzative mirando invece attraverso chiari, determinati e moderni progetti di riforma a far crescere il lievito della consapevolezza e della capacità di governarsi. Si può legittimamente sostenere che la complessa azione di Zanotti Bianco, pur partendo dalle migliori e più avanzate forme del pensiero meridionalista di inizio secolo, nella pratica tende a superare anche queste collocando la questione del Mezzogiorno d’Italia non solo nello scenario nazionale, tipico della fondamentale e già innovativa riflessione intorno al sud sviluppatasi da Villari a Salvemini, ma proietta le problematiche del meridione all’interno di un quadro europeo con una spiccata vocazione mediterranea. In sostanza i piani dell’intervento sociale, studiati e messi a punto inizialmente in Calabria e nelle regioni economicamente depresse del nostro Mezzogiorno, per Zanotti Bianco sembrano essere da modello anche per le più complesse questioni sociali di altri popoli del bacino del Mediterraneo i quali (come le popolazioni dell’Italia meridionale in quegli anni) apparivano deficitarii di strumenti per lo sviluppo economico, sociale, politico: è questa la tesi qui proposta.

Use of shared memory in the context of embedded multi-core processors: exploration of the technology and its limits

Modern embedded systems embrace many-core shared-memory designs. Due to constrained power and area budgets, most of them feature software-managed scratchpad memories instead of data caches to increase the data locality. It is therefore programmers’ responsibility to explicitly manage the memory transfers, and this make programming these platform cumbersome. Moreover, complex modern applications must be adequately parallelized before they can the parallel potential of the platform into actual performance. To support this, programming languages were proposed, which work at a high level of abstraction, and rely on a runtime whose cost hinders performance, especially in embedded systems, where resources and power budget are constrained. This dissertation explores the applicability of the shared-memory paradigm on modern many-core systems, focusing on the ease-of-programming. It focuses on OpenMP, the de-facto standard for shared memory programming. In a first part, the cost of algorithms for synchronization and data partitioning are analyzed, and they are adapted to modern embedded many-cores. Then, the original design of an OpenMP runtime library is presented, which supports complex forms of parallelism such as multi-level and irregular parallelism. In the second part of the thesis, the focus is on heterogeneous systems, where hardware accelerators are coupled to (many-)cores to implement key functional kernels with orders-of-magnitude of speedup and energy efficiency compared to the “pure software” version. However, three main issues rise, namely i) platform design complexity, ii) architectural scalability and iii) programmability. To tackle them, a template for a generic hardware processing unit (HWPU) is proposed, which share the memory banks with cores, and the template for a scalable architecture is shown, which integrates them through the shared-memory system. Then, a full software stack and toolchain are developed to support platform design and to let programmers exploiting the accelerators of the platform. The OpenMP frontend is extended to interact with it.

Frammenti di Erodoto: Problemi e metodi nello studio della storiografia frammentaria

Il percorso sui Frammenti di Erodoto è cronologico. L'introduzione presenta criteri di lavoro, un esempio di studio sul Proemio delle Storie e la struttura generale. Per ogni momento è preso in considerazione un fenomeno particolare con un esempio. Il primo caso è contemporaneo ad Erodoto. Si tratta di un test che riguarda la criticità di alcuni concetti chiave tradizionali: intertestualità e riferimenti letterali. Il secondo capitolo è uno studio sulla storiografica di IV secolo a.C., periodo di fioritura e determinazione delle norme del genere. Qui si mettono in luce la criticità dei frammenti multipli aprendo in questo modo ampie possibilità di ricerca. Il capitolo successivo, sulla tradizione papiracea mostra il passaggio storico tra la tradizione indiretta a la tradizione manoscritta e permette uno sguardo all'epoca alessandrina. Include un catalogo ed alcuni aggiornamenti. Il capitolo quinto pone invece problemi tradizionali di trasmissione delle tradizioni storiche affrontando lo studio di FGrHist 104, testo che permette di osservare passaggi della storiografia di quinto e quarto secolo avanti Cristo. I due capitoli sulle immagini e sul Rinascimento, paralleli per quanto riguarda i riferimenti cronologici, offrono un ponte per passare dal discorso storiografico a quello in cui la consapevolezza di Erodoto è già maturata come parte della ”cultura”. Alto Medioevo, Umanesimo e Rinascimento offrono spazio a storie delle Storie che iniziano ad essere quasi di ricezione di Erodoto. Questo tema è l'oggetto dei due capitoli finali, studi legati alla presenza o assenza di Erodoto in discipline e pensieri moderni e contemporanei: il pensiero di genere e l’analisi conversazionale. Le appendici completano soprattutto il capitolo su Aristodemo con uno studio sul codice che lo trasmette, il papiro P.Oxy 2469 e il testo stesso, con traduzione e commento storico. Il lavoro si completa con una premessa, una bibliografia strutturata e indici di persone e passi citati.