L'assioma di scelta : Storia e influenza sulla matematica del novecento.

L’assioma di scelta ha una preistoria, che riguarda l’uso inconsapevole e i primi barlumi di consapevolezza che si trattasse di un nuovo principio di ragionamento. Lo scopo della prima parte di questa tesi è quello di ricostruire questo percorso di usi più o meno impliciti e più o meno necessari che rivelarono la consapevolezza non solo del fatto che fosse indispensabile introdurre un nuovo principio, ma anche che il modo di “fare matematica” stava cambiando. Nei capitoli 2 e 3, si parla dei moltissimi matematici che, senza rendersene conto, utilizzarono l’assioma di scelta nei loro lavori; tra questi anche Cantor che appellandosi alla banalità delle dimostrazioni, evitava spesso di chiarire le situazioni in cui era richiesta questa particolare assunzione. Il capitolo 2 è dedicato ad un caso notevole e rilevante dell’uso inconsapevole dell’Assioma, di cui per la prima volta si accorse R. Bettazzi nel 1892: l’equivalenza delle due nozioni di finito, quella di Dedekind e quella “naturale”. La prima parte di questa tesi si conclude con la dimostrazione di Zermelo del teorema del buon ordinamento e con un’analisi della sua assiomatizzazione della teoria degli insiemi. La seconda parte si apre con il capitolo 5 in cui si parla dell’intenso dibattito sulla dimostrazione di Zermelo e sulla possibilità o meno di accettare il suo Assioma, che coinvolse i matematici di tutta Europa. In quel contesto l’assioma di scelta trovò per lo più oppositori che si appellavano ad alcune sue conseguenze apparentemente paradossali. Queste conseguenze, insieme alle molte importanti, sono analizzate nel capitolo 6. Nell’ultimo capitolo vengono riportate alcune tra le molte equivalenze dell’assioma di scelta con altri enunciati importanti come quello della tricotomia dei cardinali. Ci si sofferma poi sulle conseguenze dell’Assioma e sulla sua influenza sulla matematica del Novecento, quindi sulle formulazioni alternative o su quelle più deboli come l’assioma delle scelte dipendenti e quello delle scelte numerabili. Si conclude con gli importanti risultati, dovuti a Godel e a Cohen sull’indipendenza e sulla consistenza dell’assioma di scelta nell’ambito della teoria degli insiemi di Zermelo-Fraenkel.

Analisi della distribuzione di metalli pesanti tramite estrazioni sequenziali su sedimenti portuali: il caso della Pialassa Piomboni

Tramite il presente lavoro di tesi si intende effettuare un’analisi specifica su sedimenti provenienti dalla Pialassa Piomboni, una Zona Umida di Interesse Comunitario dal delicato equilibrio ed in continua evoluzione, che fin dalla sua nascita ha sempre assunto un ruolo di importanza sia ecologico-naturale che socio-economica, vista la posizione che la pone a metà tra il Canale Candiano, il Porto di Ravenna, la zona industriale e il mare Adriatico. Oltre ad arricchire il database di dati, l’obiettivo principale dello studio è ottenere una nuova informazione per la valutazione dello stato di qualità dei sedimenti con un’indagine ancora più specifica: si analizza la distribuzione che i metalli pesanti assumono in relazione alle diverse frazioni e caratteristiche del materiale presente tramite estrazioni sequenziali, effettuate secondo la procedura ufficiale per l’analisi di questi tipi di suoli, recentemente approvata e standardizzata a livello europeo dalla BCR (European Community Bureau of Reference) e migliorata da esperimenti interlaboratorio (Rauret et al., 1999). Attraverso attacchi con reagenti sempre più forti, si valuta a quale frazione del sedimento (scambiabile, riducibile o ossidabile) i metalli risultino maggiormente associati, valutandone mobilità e disponibilità in relazione a cambiamenti di condizioni fisiche e chimiche in cui si trova il materiale, come il variare di pH e degli equilibri ossido-riduttivi. E’ stato inoltre elaborato un inquadramento dal punto di vista geochimico, considerando i livelli di concentrazione di fondo degli elementi già naturalmente presenti in zona. Le concentrazioni totali sono infine stati confrontati con il Manuale ICRAM (2007), che fornisce linee guida per la valutazione della qualità dei sedimenti e la loro movimentazione, per poterne ipotizzare l’eventuale destino, scelta spesso problematica nella gestione di sedimenti in ambito portuale. In sintesi, questo lavoro si inserisce all’interno di un ampio progetto di gestione, approfondendo la letteratura scientifica presente sui criteri di analisi di qualità dei sedimenti e sulle problematiche di diffusione, trasporto e destino finale dei contaminanti nell’ambiente, verificando l’applicazione della procedura analitica di estrazione sequenziale, metodologicamente complessa e soggetta a migliorie e modifiche, riconsiderata in tempi recenti per la sua efficacia e per i vantaggi che comporta grazie all’acquisizione di dati ad alto contenuto di informazione.

Catene anaforiche e forza di antecedente e ripresa. Uno studio empirico.

L’elaborato prevede lo studio delle catene anaforiche con l’obiettivo di indagare le meccaniche che guidano la scelta della ripresa, in rapporto alle caratteristiche dell’antecedente. Nel primo capitolo sarà presentato il fenomeno dell’anafora e della catena anaforica. Quindi prima di tutto sarà illustrato che cos’è un referente testuale e quando viene attivato e in seguito il focus si sposterà sulla ripresa anaforica, distinguendo anafora coreferenziale, non coreferenziale e anafore particolari. La parte finale poi sarà dedicata a un confronto tra anafora, deissi testuale e deissi situazionale. Il secondo capitolo verterà sull’anafora con identità di referente, e presenterà due importanti studi che si propongono di indagare i meccanismi che guidano la selezione della ripresa: quelli di Givòn e di Berretta. Quindi si partirà dal concetto di topicalità per arrivare al principio innovativo introdotto da Givòn, la continuità tematica (topic continuity). Successivamente sarà presentato il modello di analisi di Berretta, che si basa sullo studio di catene anaforiche “difficili”, ovvero costituite da antecedenti di rango topicale basso, opponendosi al metodo di Givòn basato su catene “facili”, con antecedenti umani, singolari e nel ruolo di soggetto. Nel terzo capitolo, invece, verrà introdotta la parte sperimentale dell’elaborato: l’annotazione di un testo per lo studio delle catene anaforiche. In questo capitolo sarà presentato nel dettaglio il modello di analisi adottato, ovvero un modello integrato che comprende le variabili considerate sia da Givòn sia da Berretta. Il procedimento di marcatura prevede l’annotazione manuale di tutti gli antecedenti (soggetti e non soggetti, umani e non umani, in ruolo sintattico topicale e non topicale) e le rispettive riprese, oltre alle unità testuali quali capitolo, paragrafo e frase. Il quarto e ultimo capitolo, invece, rappresenta l’analisi empirica dei dati estratti dal testo annotato. In questa sezione, sotto forma di tabelle e grafici, saranno presentati i dati considerando diverse variabili e correlazioni.

Stretta tra due Mondi. La Transnistria tra identità del passato e incertezza del futuro.

La tesi si sviluppa attorno a 6 capitoli che, ripercorrendo le peculiarità storiche, linguistiche ed economiche di Moldova e Transnistria, tenteranno di mettere in luce i contrasti salienti del rapporto tra Chişinău e Tiraspol. Il capitolo 1 si concentra sulla comparazione di alcune fonti (provenienti da est e da ovest) che hanno ricostruito la storia della Moldova della Grande Romania e della Moldavia sovietica. In tal modo sarà possibile dimostrare che la regione di interesse è stata oggetto di una manipolazione intenzionale del proprio passato asservita ai centri di potere che miravano alla supremazia del territorio. Il capitolo 2 ripercorre le fasi dell’epoca di industrializzazione della Transnistria che, a partire dagli anni ’90, si suppone abbia permesso a Tiraspol di sganciarsi de facto dal governo moldavo. Il capitolo 3 si sofferma sui motivi che spinsero la popolazione del Dnestr ad appoggiare la secessione trascinandola nel conflitto del 1992. Una volta tracciata la cornice storica lungo i capitoli 1, 2 e 3, il capitolo 4 presenterà il multiforme panorama linguistico dell’attuale Repubblica Moldova soffermandosi sul ruolo della lingua russa, scintilla della secessione transnistriana. Il capitolo 5 offre uno spunto di riflessione sull’incidenza di Mosca nella separazione moldava per mezzo di uno studio dell’economia della Transnistria. Il capitolo 6, infine, rivela che gli argomenti trattati nel corso dei 5 capitoli precedenti sono tutti tasselli imprescindibili dell’identità nazionale transnistriana e permette di muovere alcune ipotesi sui metodi attuati da Tiraspol per garantire la fedeltà nazionale della propria popolazione facendo perno sul controllo dei mass media.

Sicurezza dei sistemi di autenticazione basati su credenziali, raccolta ed analisi di un vasto insieme di password

Nell’era dell’informazione in cui viviamo, ogni persona viene sdoppiata in due entità: oltre alla parte reale e materiale vi è un alterego fatto di dati ed informazioni che vive nei database e nei server che compongono il web. Il collegamento tra le due parti è dato dagli account e dalle chiavi di autenticazione, che si presumono essere segrete. Al giorno d’oggi ogni persona possiede almeno un account, sia esso una web mail, un profilo su un social network o l’account di online banking. Quasi la totalità di questi sistemi effettua l’autenticazione dell’utente tramite l’immissione di una password, e la sicurezza di quest’ultima è essenziale per la protezione delle informazioni personali, dei dati bancari e della propria identità. Col passare del tempo le informazioni personali che diamo in custodia al web crescono sempre più velocemente e diventano sempre più personali e delicate, ma purtroppo l’importanza che viene data alla sicurezza informatica non cresce di pari passo sia da parte degli utenti, sia da parte dei fornitori dei servizi web. Questa tesi ha come scopo quello di portare il lettore ad avere più coscienza rispetto alle tematiche della sicurezza informatica e di esporre in modo chiaro e semplice alcune delle problematiche che riguardano la sicurezza dei sistemi di autenticazione.

Immagine sismica del margine della piattaforma adriatica nell'offshore croato: implicazioni per la ricerca di idrocarburi

La zona della piattaforma Adriatica, visibile in sismica a sud della costa croato – montenegrina, è stata oggetto di ricerche petrolifere in passato. Nuovi dati sismici hanno permesso la visualizzazione di alcune caratteristiche che saranno esaminate ed interpretate nel presente lavoro. In particolare ci si concentrerà sulla caratterizzazione e sulla differenziazione dei margini incontrati durante il lavoro di interpretazione. In questa fase, sono emerse delle caratteristiche che hanno permesso una revisione del margine della piattaforma Adriatica e del bacino di Budva noti nella letteratura pregressa. Il problema della differenziazione dei margini della piattaforma è stato affrontato sia in chiave tettonica (influenza della subsidenza, inversione di margini ad opera di un Thrust, tettonica ialina, buckling) che in chiave paleoambientale (influenza di venti dominanti) ricoprendo un arco temporale che spazia tra il Triassico superiore ed il Miocene superiore. Grazie alle interpretazioni effettuate e al confronto con la letteratura, saranno proposte, in una seconda fase, alcune situazioni favorevoli all’accumulo di idrocarburi nella zona di studio. Verrà, infine, affrontato il confronto con casi di letteratura inerenti i margini della vicina piattaforma Apula, considerati come margini coniugati della piattaforma Adriatica.

Valutazione delle interferenze idrogeologiche della stazione sotterranea AV di Firenze tramite modellazione fisica e numerica

Questa tesi è volta a fornire un contributo conoscitivo alla quantificazione delle interferenze idrogeologiche causate dalla nuova stazione sotterranea del nodo di penetrazione ferroviaria urbana AV di Firenze, situata nei pressi dell’attuale stazione di superficie di Santa Maria Novella, e della verifica del dimensionamento delle opere di mitigazione in progetto. La tesi è effettuata in collaborazione e con il supporto tecnico di ARPAT (Agenzia Regionale per la Protezione Ambientale della Toscana), Sede di Firenze, Direzione Tecnica – Settore VIA/VAS (Valutazione d’Impatto Ambientale/Valutazione Ambientale Strategica). ARPAT è l’organo di supporto tecnico dell’Osservatorio Ambientale costituito per l’opera. La tesi sfrutta, come dati di base, tutti quelli raccolti dai progettisti nelle varie fasi, compresa la determinazione dei parametri idraulici dell’acquifero, ed i dati del monitoraggio ambientale. Il proponente dell’opera è RFI (Rete Ferroviaria Italiana) ed è realizzata e progettata dal consorzio Nodavia (General Contractor). Per l’analisi dell’interferenza idrogeologica causata dal camerone della stazione dell’alta velocità di Firenze è stato utilizzato un duplice approccio: un modello fisico ricostruito in laboratorio; un modello numerico alla differenze finite tramite codice Modflow.. Il modello fisico di laboratorio ha cercato di ricostruire, semplificandolo, il modello concettuale del problema idrogeologico di studio: l’inserimento di una diga totalmente impermeabile, trasversalmente al flusso in un mezzo poroso, attraversata da dreni orizzontali di collegamento monte-valle idrologico. Tale configurazione, anche se non strettamente in scala, ha permesso di definire preliminarmente le condizioni al contorno del sistema ed ha guidato la successiva implementazione del modello numerico. Il modello numerico fa riferimento a condizioni stazionarie. Prima è stato implementato per simulare l’andamento della falda nelle condizioni stazionarie ante-operam (I fase); successivamente è stato utilizzato per simulare l’effetto diga del camerone (II fase) e, come terza fase, per simulare l’effetto delle opere di mitigazione dell’effetto diga rappresentate da dreni sub-orizzontali.

Energie rinnovabili e tecnologie "low carbon" per la produzione di biocombustibili sostenibili in paesi in via di sviluppo: il caso della Jatropha Curcas. Progetto per l'autonomia energetica di una scuola e di un ambulatorio medico in Tanzania e Madagascar.

Le tematiche che saranno affrontate all’interno del mio elaborato toccano diversi temi sensibili, tutti relativi all’ambiente e alla sua conservazione. Nella prima parte della tesi parlerò di riscaldamento globale, cambiamento climatico ma soprattutto di energie rinnovabili, in particolare l’energia da biomasse. Nella parte centrale la lente di ingrandimento verrà posta sui diversi tipi di energia e sulle relative tecnologie. Mi concentrerò prevalentemente sugli oli vegetali a scopo energetico descrivendo le principali colture e le tecnologie di estrazione. Proseguirò quindi con un excursus sulla Jatropha Curcas descrivendo in dettaglio le caratteristiche di tale coltura in termini di arboricoltura e utilizzi energetici. L’ultima parte dell’elaborato sarà dedicata all’esposizione di due casi applicativi riguardanti la Jatropha Curcas, in particolare il dimensionamento energetico di una scuola e di un ambulatorio medico in Tanzania e Madagascar.

Piano di adattamento ai cambiamenti climatici della citta di Bologna. L'ambito del fiume Reno come sfida e opportunità verso una citta resiliente.

Questa tesi muove dal Piano di Adattamento ai Cambiamenti Climatici che il Comune di Bologna sta costruendo insieme ad altri tre partners attraverso il progetto life + BLUEAP. L’obiettivo della tesi è quello di presentare le evidenze attuali dei cambiamenti climatici nella situazione locale bolognese e vedere come la pianificazione urbanistica possa avere un ruolo importante nel prevenire e rallentare questi effetti e limitarne gli impatti a qualunque scala si intervenga; sia a livello di progetto urbano sia di politiche integrate ai piani urbanistici, si può tendere verso scelte “clima consapevoli”. Presenterò anche, quindi, una soluzione progettuale con comparazione del grado di resilienza dell’area prima e dopo l’intervento. L’ambito di studio e di progetto scelto è quello del fiume Reno, nel suo tratto di attraversamento urbano, perché mostra una serie di criticità legate al cambiamento climatico, rendendo evidenti i punti deboli e il livello di resilienza del sistema.

Progettare sulle rovine; proposta di valorizzazione del paesaggio culturale lungo l'antico percorso romano storico della Salaria Gallica

Nel dibattito riguardante la valorizzazione delle aree archeologiche il ruolo della museografia quale disciplina capace di conciliare saperi come quello archeologico e quello architettonico,e ancora, tra la cultura conservativa e quella progettuale. All' interno del laboratorio di laurea è stato sviluppato un progetto per il sito archeologico della città romana di Suasa che oltre a tenere conto delle tematiche generali attinenti alle più recenti posizioni della disciplina architettonica e museografica in rapporto all’archeologia, dia delle risposte progettuali calate all’interno di un preciso contesto culturale e territoriale. I nuovi manufatti devono sapersi relazionare ai caratteri del luogo in cui si collocano, aree poste in contesti esterni in una dimensione paesaggistica e culturale complessa e stratificata. Luogo e paesaggio costituiscono quindi i termini generali di un’indagine che assume il valore di una ricerca progressiva finalizzata alla conoscenza decisiva per la progettazione, di realtà fortemente caratterizzate dalla dimensione archeologica paesaggistica.

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.

Lo spettro di alcuni oscillatori non commutativi

Questa tesi si occupa della teoria spettrale di certi sistemi di equazioni ordinarie chiamati oscillatori non commutativi. Dopo avere introdotto i fondamenti necessari per la teoria vengono dimostrati alcuni teoremi qualitativi sullo spettro di tali sistemi.

Valutazione delle funzioni obiettivo nell'operating theatre scheduling

il ruolo della tesi è stato di valorizzare attraverso la valutazione di un peso l'urgenza e la necessità di cure dei pazienti processati da un modello di ottimizzazione. Essa si inserisce all'interno di un progetto di creazione di tale modello per la schedulazione di interventi in un reparto chirurgico di un generico ospedale.si è fatto uso del software ibm opl optimization suite.

Sentieri di parole nel bosco della vita: Temi difficili nella letteratura per l'infanzia. Proposta di traduzione in italiano di en un bosque de hoja caduca di Gonzalo Moure

L’elaborato si compone di cinque capitoli. Il primo è dedicato a un excursus della Letteratura per l’infanzia nel corso degli anni, soffermandosi sulla storia, lo sviluppo e la ricezione nel pubblico infantile di alcuni temi tabù quali il dolore, la sofferenza, l’assenza, la morte e la censura a cui spesso sono stati sottoposti. Il capitolo si sofferma, in particolare, sul tema della morte, cercando di tracciarne la presenza nella Letteratura per l’infanzia. Per permettere l’analisi di un così vasto tema, si è scelto di suddividere e analizzare alcune caratteristiche e simboli della morte presenti in racconti, romanzi e album illustrati dedicati al pubblico infantile. Infine, si è scelto di porre l’accento sulla pedagogia della morte, toccando il tema del lutto e della sepoltura. Il primo capitolo acquisisce importanza alla luce dell’analisi del racconto di Gonzalo Moure, nel quale queste tematiche sono molto presenti e vengono utilizzate senza ricorrere a censura. Il secondo capitolo analizza la vita dell’autore e propone i momenti più significativi della sua carriera artistica, professionale e personale, oltre al suo impegno sociale nell’associazione Bubisher a sostegno della causa saharawi. In questo capitolo troviamo, inoltre, un elenco dettagliato delle opere e delle collaborazioni letterarie dell’autore, un accenno al suo stile di scrittura e la trascrizione dell’intervista da me fatta in Spagna a settembre 2015. Nel terzo capitolo si propone l’analisi approfondita del racconto di Moure: l’aspetto paratestuale, le caratteristiche generali del libro, la trama, i personaggi, il tempo e lo spazio del racconto, così come i temi e i valori trattati. Sono inoltre presenti anche le interviste con l’illustratrice e con l’editor. Il quarto capitolo propone la traduzione del racconto En un bosque de hoja caduca, rispettando il layout della versione originale spagnola. Infine, il quinto capitolo vede il commento alla traduzione e le principali categorie di problemi linguistici riscontrati durante il processo traduttivo quali morfosintassi, lessico, toponimi e antroponimi, onomatopee, modi di dire e aspetti grafici.

Protocolli e applicazioni della reazione a catena della polimerasi (PCR).

Con il seguente lavoro di tesi si propone un excursus dell’evoluzione della tecnica che ha permesso l’amplificazione del DNA in laboratorio, spiegandone i principi elementari di base. La scoperta che il DNA è il depositario dell’informazione genica ha aperto la strada a una nuova disciplina: la biologia molecolare, dove molte delle tecniche utilizzate limitano le funzioni naturali degli acidi nucleici. Dalla sua introduzione, la tecnologia PCR ha modificato il modo nel quale l’analisi del DNA viene condotta nei laboratori di ricerca e di diagnostica. Con lo scopo di rilevare direttamente sequenze genomiche specifiche in un campione biologico nasce l’esigenza di avere a disposizione metodologie con un’elevata soglia di sensibilità e specificità. Il primo capitolo di questo elaborato introduce la PCR nella sua prima formulazione. A partire da quantità estremamente ridotte di DNA, questa tecnica di amplificazione in vitro, consente di ottenere rapidamente milioni di molecole identiche della sequenza bersaglio di acido nucleico. A seguire, nel secondo capitolo, verrà trattata un’implementazione della PCR: la real-time PCR. La RT-PCR, introduce nuove opportunità poiché rende possibile la misurazione diretta e la quantificazione della reazione mentre è in atto. Con l’utilizzo di molecole fluorescenti che vengono incorporate nel prodotto in formazione o che si intercalano alla doppia elica, si può monitorare la formazione del prodotto di amplificazione in tempo reale seguendone l’assorbimento con un sistema spettrofotometrico, in un sistema automatizzato che provvede anche alle routine della PCR. Nel terzo e ultimo capitolo si analizza una nuova tecnologia recentemente commercializzata: la PCR in formato digitale. Verranno prese in esame essenzialmente due metodologie, la dPCR su chip e la ddPCR (Droplet Digital Polymerase Chain Reaction).