Il metodo del beam-forming acustico

Nel corso di questa tesi si svilupperà il metodo del Beam-forming acustico, uno dei più semplici algoritmi di elaborazione segnale che permette di isolare spazialmente un suono proveniente da una precisa direzione decisa da noi, creando quindi un microfono super-direzionale orientabile a partire da un array microfonico di caratteristiche note. Inoltre si implementerà in modo pratico l'algoritmo per descrivere il livello sonoro emesso da ogni punto di una sorgente sonora estesa in modo da mappare l'intensità di quest'ultima in un'immagine 2D da sovrapporre all'immagine stessa dell'oggetto. Volendo schematizzare in breve questa tesi, essa è composta da una prima parte teorica contenente gli argomenti che ci servono per descrivere lo spazio acustico e le onde acustiche, una seconda parte riguardante i microfoni e i suoi vari parametri, una terza parte riguardante la teoria sull'elaborazione segnale nel dominio del tempo e delle frequenze e in particolare cenni sulla trasformata di Fourier. Nella parte successiva verranno descritti i due principali metodi di Beam-forming acustico trattando sia gli apparati di misura sia i due algoritmi, facendo sempre riferimento alle parti di teoria necessarie alla spiegazione del metodo. Infine nell'ultima parte della tesi verrà discusso in primo luogo la creazione del microfono virtuale, in particolare parleremo della sua sensibilità in funzione della direzione avvalendoci di uno schema che in letteratura viene denominato Beam-pattern, in secondo luogo parleremo di come creare la mappa 2D dove effettivamente possiamo vedere l'intensità sonora dell'onda proveniente da ogni punto dell'oggetto preso in considerazione.

Dalla geometria con riga e compasso alla geometria con origami

Lo scopo di questo lavoro è mostrare la potenza della teoria di Galois per caratterizzare i numeri complessi costruibili con riga e compasso o con origami e la soluzione di problemi geometrici della Grecia antica, quali la trisezione dell’angolo e la divisione della circonferenza in n parti uguali. Per raggiungere questo obiettivo determiniamo alcune relazioni significative tra l’assiomatica delle costruzioni con riga e compasso e quella delle costruzioni con origami, antica arte giapponese divenuta recentemente oggetto di studi algebrico-geometrici. Mostriamo che tutte le costruzioni possibili con riga e compasso sono realizzabili con il metodo origami, che in più consente di trisecare l’angolo grazie ad una nuova piega, portando ad estensioni algebriche di campi di gradi della forma 2^a3^b. Presentiamo poi i risultati di Gauss sui poligoni costruibili con riga e compasso, legati ai numeri primi di Fermat e una costruzione dell’eptadecagono regolare. Concludiamo combinando la teoria di Galois e il metodo origami per arrivare alla forma generale del numero di lati di un poligono regolare costruibile mediante origami e alla costruzione esplicita dell’ettagono regolare.

Inflazione cosmologica R^2

Lo scopo di questa tesi è illustrare il paradigma dell’inflazione cosmologica descrivendo in particolare la teoria dell’inflazione R^2. In una prima sezione si fa riferimento al contesto della relatività generale per descrivere l’universo su larga scala. Vengono prese in esame le ipotesi utilizzate per ottenere il modello standard della cosmologia e le principali proprietà che da esso possono essere ricavate. Si focalizza quindi l’analisi sulla descrizione dell’universo primordiale da cui traggono origine le ipotesi dell’esistenza dell’epoca inflazionaria esponendo, in particolare, come questa teoria riesca a risolvere i problemi della piattezza e dell’orizzonte cosmologico. Viene poi descritto come la fase di espansione esponenziale richiesta da queste ipotesi possa essere generata dalla presenza di un campo scalare φ specifico. Particolare risalto è dato alla descrizione dell’approssimazione di ”slow-roll” ed ai vincoli sul numero di ”e-folding”. Una seconda sezione mostra l’applicazione dell’analisi generale esposta in precedenza al modello di inflazione di Starobinsky. A tal fine sono descritte le caratteristiche delle teorie della gravità f(R) con particolare attenzione alle trasformazioni conformi e scelta del frame. Attraverso l’esposizione delle equazioni di campo cosmologiche nella teoria della gravità R^2 si mostra come il processo di espansione inflazionaria dell’universo nelle sue fasi iniziali possa essere descritto da un comportamento non standard della gravità ad alte energie. Sono riportati i risultati principali ottenuti con questa teoria nel frame di Jordan e in quello di Einstein. La conclusione descrive in sintesi lo stato attuale delle osservazioni sperimentali e come queste abbiano un legame stretto con la teoria delle perturbazioni cosmologiche. In particolare, presentando i risultati ottenuti nel contesto dell’inflazione R^2 ed esponendo gli ultimi dati raccolti dall’esperimento Planck, si analizza come il modello sia in accordo con i dati sperimentali attualmente disponibili.

H-gruppi e co-H-gruppi

Si inizia generalizzando la teoria dei gruppi a categorie qualsiasi, quindi senza necessariamente un insieme sostegno, studiando anche i cogruppi, ovvero gli oggetti duali dei gruppi, e caratterizzando in termini categoriali tali strutture. Vengono poi studiati oggetti topologici con la struttura di gruppo generalizzato vista inizialmente, compatibile con la struttura topologica. L'utilità degli H-gruppi e dei co-H-gruppi è specialmente in topologia algebrica, dove la struttura di questi oggetti fornisce molte informazioni sul loro comportamento, in termini di gruppi di omotopia e di più generici gruppi di mappe fra loro e altri spazi. Vengono poi dati esempi di questi oggetti, e si studia come i co-H-gruppi, in particolare, permettono di definire i gruppi di omotopia e di dimostrare i risultati fondamentali della teoria dell'omotopia.

Analisi delle prestazioni della piattaforma semantica smart-m3 mediante il benchmark lubm

Il software Smart-M3, ereditato dal progetto europeo SOFIA, conclusosi nel 2011, permette di creare una piattaforma d'interoperabilità indipendente dal tipo di dispositivi e dal loro dominio di utilizzo e che miri a fornire un Web Semantico di informazioni condivisibili fra entità software e dispositivi, creando ambienti intelligenti e collegamenti tra il mondo reale e virtuale. Questo è un campo in continua ascesa grazie al progressivo e regolare sviluppo sia della tecnologia, nell'ambito della miniaturizzazione dei dispositivi, che delle potenzialità dei sistemi embedded. Questi sistemi permettono, tramite l'uso sempre maggiore di sensori e attuatori, l'elaborazione delle informazioni provenienti dall’esterno. È evidente, come un software di tale portata, possa avere una molteplicità di applicazioni, alcune delle quali, nell’ambito della Biomedica, può esprimersi nella telemedicina e nei sistemi e-Heath. Per e-Health si intende infatti l’utilizzo di strumenti basati sulle tecnologie dell'informazione e della comunicazione, per sostenere e promuovere la prevenzione, la diagnosi, il trattamento e il monitoraggio delle malattie e la gestione della salute e dello stile di vita. Obiettivo di questa tesi è fornire un set di dati che mirino ad ottimizzare e perfezionare i criteri nella scelta applicativa di tali strutture. Misureremo prestazioni e capacità di svolgere più o meno velocemente, precisamente ed accuratamente, un particolare compito per cui tale software è stato progettato. Ciò si costruisce sull’esecuzione di un benchmark su diverse implementazioni di Smart-M3 ed in particolare sul componente centrale denominato SIB (Semantic Information Broker).

Pueblo Guaraní en Buenos Aires: nuevas formas de visibilidad política, lingüística y cultural

Il mio lavoro di tesi affronta la tematica del popolo Guaraní, situato nella città di Buenos Aires. La tesi si basa su una serie di interviste raccolte durante una ricerca sul campo e ha come obiettivo quello di fornire una visione generale di questa situazione, così come quello di smentire pregiudizi e stereotipi legati all’argomento e ancora molto diffusi. In prima istanza, abbiamo fornito un contesto storico e normativo. Per quanto riguarda l’aspetto storico, abbiamo ripercorso la storia della lingua guaraní e del territorio di Buenos Aires a partire dall’epoca precolombiana fino all’indipendenza, soffermandoci sull’importanza dell’evangelizzazione gesuitica nello sviluppo e nella preservazione della lingua e della cultura guaranì. Per quando riguarda l’aspetto normativo, partendo dal concetto di diritto umano abbiamo presentato la situazione legislativa argentina dal punto di vista linguistico, senza perdere di vista i riconoscimenti di cui la lingua guaraní gode anche in Paraguay e mettendo in rilievo i temi della comunicazione audiovisiva e dell’educazione nazionale. Successivamente, abbiamo trattato tutta una serie di tematiche relazionate con l’attuale presenza guaraní sul territorio di Buenos Aires: l’evoluzione del termine indio, il tema dell’indigenismo, il problema della discriminazione, la questione delle migrazioni e il tema dei censimenti con le sue limitazioni. Infine, sulla base delle analisi effettuate, abbiamo descritto l’attuale presenza di suddetta popolazione a Buenos Aires non solamente da un punto di vista linguistico, ma anche politico e sociale, classificando le varietà di lingua guaraní e le tipologie di parlanti presenti sull’area di studio. Nel descrivere la situazione attuale, ci siamo soffermati in particolare sull’insegnamento della lingua guaraní nel Laboratorio de Idiomas dell’Università di Buenos Aires e sulla forte presenza delle comunità indigene urbane nell’Area Metropolitana della capitale argentina.

SDN: analisi delle soluzioni industriali

Questa tesi di rassegna si pone l'obiettivo di esaminare i motivi che hanno portato alla progettazione del modello Software Defined Networking e analizzarne le caratteristiche principali. L'obiettivo è stato raggiunto attraverso un'analisi attenta dello stato dell'arte, in cui sono state evidenziate le problematiche dell'architettura tradizionale e i requisiti delle reti di nuova generazione che hanno portato i progettisti di rete a riconsiderare il modello attualmente diffuso. Dopo aver scritto in modo approfondito delle caratteristiche e dei benefici di SDN, è stata posta l'enfasi sul protocollo OpenFlow riconosciuto come fattore abilitante del modello oggetto della tesi. Infine sono state analizzate le soluzioni, che si ispirano a SDN, di tre colossi dell'informatica quali HP, Google e Cisco.

Unità e continuità nel frammento urbano. Un progetto a Berlino Friedrichshain

Il progetto si sviluppa a partire dalla lettura di Berlino come città costituita da parti, una serie di forme urbane, brani di città, ognuno con una propria identità, tuttora chiaramente leggibili. All’interno di questo sistema frammentario è stata effettuata un’analisi più approfondita degli spazi verdi, reinterpretando il Piano per Berlino del paesaggista Peter Joseph Lenné. Egli pone al centro della pianificazione urbana la struttura del verde pubblico, cogliendo il dato di Berlino come città fatta di frammenti. Il nostro progetto individua sul segno del boulevard a nord, disegnato da Lenné, una serie di spazi verdi di diversa natura e di poli aggregativi di rilevanza socio culturale. Il parco diventa un’estensione del polo culturale in cui poter realizzare attività all’aperto: un catalizzatore di vita urbana, luogo di aggregazione per la popolazione. Lo sviluppo di una parte della tesi a Berlino ci ha permesso di conoscere la città e di comprendere a pieno l’importanza che i luoghi di socializzazione, gli spazi condivisi hanno per i berlinesi. Il progetto di un polo culturale, comprendente biblioteca, atelier, laboratori e residenze per artisti, nel quartiere Friedrichshain, si inserisce all’interno del più ampio sistema di parchi e poli aggregativi.

Architettura del limite. Un progetto in Holzmarktstraße a Berlino.

Il progetto rappresenta una proposta, di natura architettonico-urbana, per la città di Berlino, nel settore orientale. Questa proposta è il risultato di un percorso di studi che si è dapprima confrontato sul tema della città alla grande scala, per poi focalizzarsi sul distretto della Karl-Marx-Allee lo storico brano di città socialista in Berlino Est. L’obiettivo della ricerca si cristallizza in un programma architettonico di nuova costruzione per un isolato urbano del distretto sopracitato, disorganizzato ed informale, apparentemente emarginato dalla città per opera di una serie di ‘barriere urbane’. Queste barriere, il grande attraversamento sulla Holzmarkstraße, il viadotto della S-Bahn, il fiume Sprea, nel tempo intrecciati e sovrascritti, rappresentano i limiti e confini dell’isolato urbano. L’architettura proposta vuole confrontarsi, in questo contesto incerto, con la ricostruzione dell’isolato, in fede ai principi delle ‘ricostruzione critica’. Il disegno d’architettura rivede, per analogia, i contenuti della città storica, esprimendosi attraverso un linguaggio contemporaneo ma in continuità con la storia ed il contesto. Il tema della serialità, del ritmo, scandirà un percorso architettonico geometrico e modulare molto forte e rigoroso che risponderà al carattere ripetitivo e pre-costituito dei plattenbausiedlungen, gli insediamenti prefabbricati, patrimonio materiale dell’ex distretto socialista di Berlino. La forza ritmica del progetto verrà ribadita dal recupero architettonico del viadotto in muratura del trasporto metropolitano leggero della S-Bahn, una teoria di archivolti a botte in affaccio alla Sprea. Il nuovo scenario architettonico si può considerare come un unico grande elemento tematico, organizzato da una maglia rigorosa, argomentato da eccezioni e salienti che rispondono ad un’ampia domanda funzionale, tipologica ed architettonica.

Innovazioni nel campo dell'ElettroEncefalografia

Il funzionamento del cervello umano, organo responsabile di ogni nostra azione e pensiero, è sempre stato di grande interesse per la ricerca scientifica. Dopo aver compreso lo sviluppo dei potenziali elettrici da parte di nuclei neuronali in risposta a stimoli, si è riusciti a graficare il loro andamento con l'avvento dell'ElettroEncefaloGrafia (EEG). Tale tecnologia è entrata a far parte degli esami di routine per la ricerca di neuropsicologia e di interesse clinico, poiché permette di diagnosticare e discriminare i vari tipi di epilessia, la presenza di traumi cranici e altre patologie del sistema nervoso centrale. Purtroppo presenta svariati difetti: il segnale è affetto da disturbi e richiede un'adeguata elaborazione tramite filtraggio e amplificazione, rimanendo comunque sensibile a disomogeneità dei tessuti biologici e rendendo difficoltoso il riconoscimento delle sorgenti del segnale che si sono attivate durante l'esame (il cosiddetto problema inverso). Negli ultimi decenni la ricerca ha portato allo sviluppo di nuove tecniche d'indagine, di particolare interesse sono la ElettroEncefaloGrafia ad Alta Risoluzione (HREEG) e la MagnetoEncefaloGrafia (MEG). L'HREEG impiega un maggior numero di elettrodi (fino a 256) e l'appoggio di accurati modelli matematici per approssimare la distribuzione di potenziale elettrico sulla cute del soggetto, garantendo una migliore risoluzione spaziale e maggior sicurezza nel riscontro delle sorgenti neuronali. Il progresso nel campo dei superconduttori ha reso possibile lo sviluppo della MEG, che è in grado di registrare i deboli campi magnetici prodotti dai segnali elettrici corticali, dando informazioni immuni dalle disomogeneità dei tessuti e andando ad affiancare l'EEG nella ricerca scientifica. Queste nuove tecnologie hanno aperto nuovi campi di sviluppo, più importante la possibilità di comandare protesi e dispositivi tramite sforzo mentale (Brain Computer Interface). Il futuro lascia ben sperare per ulteriori innovazioni.

Endometrial response toward bovine herpesvirus 4 infection

Metriti ed endometriti sono le patologie maggiormente responsabili delle perdite economiche negli allevamenti bovini da latte, specialmente nel periodo successivo al parto. Mentre le metriti coinvolgono e si sviluppano in tutto l’utero e sono caratterizzate dalla presenza di sintomi sistemici, le endometriti consistono in una infiammazione che riguarda il solo endometrio, con la presenza di perdite purulente, distruzione della superficie epiteliale, congestione vascolare, edema stromale ed accumulo di linfociti e plasmacellule. Queste patologie, inoltre, possono causare, disfunzione ovarica, con conseguente infertilità e riduzione sia dell’efficienza riproduttiva della vacca sia della produzione stessa di latte. Nonostante queste malattie siano, nella maggior parte dei casi, correlate all’instaurarsi di infezioni batteriche, che possono subentrare nell’utero direttamente durante il parto, il ruolo di alcuni virus nello sviluppo di queste patologie è stato recentemente approfondito e la correlazione tra l’ Herpesvirus Bovino 4 e l’insorgere di metriti ed endometriti è stata dimostrata. L’ Herpesvirus Bovino 4 (BoHV-4) è un gamma-herpesvirus ed il suo genoma è costituito da una molecola lineare di DNA a doppio filamento con una struttura genomica di tipo B, caratterizzata dalla presenza di un’unica lunga sequenza centrale (LUR) fiancheggiata da multiple sequenze poli-ripetute (prDNA). BoHV-4 è stato isolato sia da animali sani sia da animali con differenti patologie, tra cui malattie oculari e respiratorie, ma soprattutto da casi di metriti, endometriti, vaginiti o aborti. Generalmente, il ruolo svolto dal virus in questo tipo di patologie è associato alla compresenza di altri tipi di patogeni, che possono essere virus, come nel caso del Virus Della Diarrea Virale Bovina (BVDV), o più frequentemente batteri. Usualmente, l’iniziale difesa dell’endometrio bovino nei confronti dei microbi si fonda sul sistema immunitario innato e l’attivazione di specifici recettori cellulari determina la sintesi e la produzione di citochine e chemochine pro infiammatorie, che possono essere in grado di modulare la replicazione di BoHV-4. Il genoma di BoHV-4 possiede due principali trascritti per i geni Immediate Early (IE), trai quali ORF50/IE2 è il più importante ed il suo prodotto, Rta/ORF50, è fortemente conservato tra tutti gli Herpesvirus. Esso è responsabile della diretta trans-attivazione di numerosi geni virali e cellulari e può essere modulato da differenti stimoli extracellulari. Precedentemente è stato dimostrato come il TNF-, prodotto dalle cellule stromali e dai macrofagi all’interno dell’endometrio, in conseguenza ad infezione batterica, sia in grado di aumentare la replicazione di BoHV-4 attraverso l’attivazione del pathway di NFkB e direttamente agendo sul promotore di IE2. Per queste ragioni, è risultato di forte interesse investigare quali potessero essere, invece, i fattori limitanti la replicazione di BoHV-4. In questo lavoro è stata studiata la relazione tra cellule endometriali stromali bovine infettate con l’Herpesvirus Bovino 4 e l’interferon gamma (IFN-) ed è stata dimostrata la capacità di questa molecola di restringere la replicazione di BoHV-4 in maniera IDO1 indipendente ed IE2 dipendente. Inoltre, la presenza di alcuni elementi in grado di interagire con l’ IFN-γ, all’interno del promotore di IE2 di BoHV-4, ha confermato questa ipotesi. Basandoci su questi dati, abbiamo potuto supporre l’esistenza di uno stretto vincolo tra l’attivazione dell’asse dell’interferon gamma e la ridotta replicazione di BoHV-4, andando a porre le basi per una nuova efficiente cura e prevenzione per le patologie uterine. Poiché il meccanismo corretto attraverso il quale BoHV-4 infetta l’endometrio bovino non è ancora ben compreso, è stato interessante approfondire in maniera più accurata l’interazione presente tra il virus ed il substrato endometriale, analizzando le differenze esistenti tra cellule infettate e non, in termini di espressione genica. Basandoci su dati preliminari ottenuti attraverso analisi con RNA sequencing (RNAseq), abbiamo visto come numerosi geni risultino over-espressi in seguito ad infezione con BoHV-4 e come, tra questi, la Metalloproteasi 1 sia uno dei più interessanti, a causa delle sue possibili implicazioni nello sviluppo delle patologie dell’endometrio uterino bovino. Successive analisi, effettuate tramite westernblotting e real time PCR, sono state in grado di confermare tale dato, sottolineando l’efficacia di un nuovo approccio sperimentale, basato sul RNAseq, per lo studio dell’insorgenza delle patologie.

Rome, Italy, 1883 (Raster Image)

This layer is a georeferenced raster image of the historic paper map entitled: Disegno dimonstrativo del piano regolatore e di ampliamento della città di Roma : in relazione alla legge sul concorso della stato nelle spese edilizie della capitale : approvato dal consiglio comunale nella seduta del 20 Giugno 1882, proprietà della lit. Martelli. It was published by Comune di Roma in 1883. Scale 1:8,000. Covers Rome, Italy and Vatican City. Map in Italian.The image inside the map neatline is georeferenced to the surface of the earth and fit to the "European Datum 1950 UTM Zone 33N" coordinate system. All map collar and inset information is also available as part of the raster image, including any inset maps, profiles, statistical tables, directories, text, illustrations, index maps, legends, or other information associated with the principal map.This map shows features such as roads, railroads, drainage, built-up areas and selected buildings, walls, gates, fortification, ground cover, and more.This layer is part of a selection of digitally scanned and georeferenced historic maps from The Harvard Map Collection as part of the Imaging the Urban Environment project. Maps selected for this project represent major urban areas and cities of the world, at various time periods. These maps typically portray both natural and manmade features at a large scale. The selection represents a range of regions, originators, ground condition dates, scales, and purposes.

Design and Implementation of a Cloud-based Middleware for Persuasive Android Applications

Negli ultimi decenni, le tecnologie e i prodotti informatici sono diventati pervasivi e sono ora una parte essenziale delle nostre vite. Ogni giorno ci influenzano in maniera più o meno esplicita, cambiando il nostro modo di vivere e i nostri comportamenti più o meno intenzionalmente. Tuttavia, i computer non nacquero inizialmente per persuadere: essi furono costruiti per gestire, calcolare, immagazzinare e recuperare dati. Non appena i computer si sono spostati dai laboratori di ricerca alla vita di tutti i giorni, sono però diventati sempre più persuasivi. Questa area di ricerca è chiamata pesuasive technology o captology, anche definita come lo studio dei sistemi informatici interattivi progettati per cambiare le attitudini e le abitudini delle persone. Nonostante il successo crescente delle tecnologie persuasive, sembra esserci una mancanza di framework sia teorici che pratici, che possano aiutare gli sviluppatori di applicazioni mobili a costruire applicazioni in grado di persuadere effettivamente gli utenti finali. Tuttavia, il lavoro condotto dal Professor Helal e dal Professor Lee al Persuasive Laboratory all’interno dell’University of Florida tenta di colmare questa lacuna. Infatti, hanno proposto un modello di persuasione semplice ma efficace, il quale può essere usato in maniera intuitiva da ingegneri o specialisti informatici. Inoltre, il Professor Helal e il Professor Lee hanno anche sviluppato Cicero, un middleware per dispositivi Android basato sul loro precedente modello, il quale può essere usato in modo molto semplice e veloce dagli sviluppatori per creare applicazioni persuasive. Il mio lavoro al centro di questa tesi progettuale si concentra sull’analisi del middleware appena descritto e, successivamente, sui miglioramenti e ampliamenti portati ad esso. I più importanti sono una nuova architettura di sensing, una nuova struttura basata sul cloud e un nuovo protocollo che permette di creare applicazioni specifiche per smartwatch.

Individuazione del danno su ponti in muratura mediante misure dinamiche

La diagnostica strutturale è un campo in continuo sviluppo e attualmente sono numerosi gli studi tendenti alla definizione di tecniche e metodi in grado di fornire parametri che possano identificare, in modo sempre più accurato, lo stato di sicurezza di una struttura. Stato di sicurezza è un termine globale che si riferisce alla capacità portante di una struttura e alla sua resistenza alle sollecitazioni esterne, siano esse statiche o dinamiche. Per tanto, un qualsiasi danneggiamento strutturale potrebbe in varia misura influenzare tale stato. Per quanto riguarda i ponti stradali, negli ultimi anni l’attenzione è stata focalizzata allo studio di metodi di individuazione del danno a partire dai risultati ottenuti dal monitoraggio delle vibrazioni mediante accelerometri. Questo è stato possibile grazie agli avanzamenti raggiunti nell’identificazione modale e nei sensori per il monitoraggio strutturale. Questo lavoro si pone come obiettivo quello di proporre una nuova metodologia di analisi dei dati ottenuti da indagini sperimentali che possono essere svolte in sito. La definizione di tale metodologia è affidata a simulazioni numeriche volte a rappresentare stati di danneggiamento avanzati su elementi strutturali. In una prima fase verranno analizzati elementi semplificati rappresentativi di strutture esistenti, come ad esempio travi da ponte in calcestruzzo armato. In una seconda fase, il metodo verrà testato su modelli più complessi che tengano conto della tridimensionalità del problema, oltre alle variazioni sezionali e di materiali degli elementi che lo compongono.

Manuale bibliografico del viaggiatore in Italia concernente licalita, storia, arti, scienze ed antiquaria,

Half-title: Collezione di manuali componenti una enciclopedia di scienze, lettere ed arti. Letteratura