Realizzazione di riporti funzionalizzanti su superfici ceramiche per la produzione di energia elettrica mediante effetto fotovoltaico

This research, carried out during the PhD in Materials Engineering, deals with the creation of layers, with different functionality, deposited on a ceramic substrate, to obtain photovoltaic cells for electricity production. The research activities are included in the project PRRIITT, Measure 4 (Development of Networks), Action A (Research and Technology Transfer Laboratories), Thematic reference 3 (Advanced materials applications development), co-financed by the Emilia Romagna Region, for the creation of CECERBENCH laboratory, which aims to develop "Tiles with a functionalised surface”. The innovation lies in the study of materials and in the development of technologies to achieve a "photovoltaic surface", directly in the tiles production process. The goal is to preserve the technical characteristics, and to make available new surfaces, exploiting renewable energy sources. The realization of Building Integrated PhotoVoltaic (BIPV) is nowadays a more and more spread tendency. The aims of the research are essentially linked to the need to diversify the actual ceramic tile production (which is strongly present in the Emilia Romagna Region ), and to provide a higher added value to the tiles. Solar energy production is the primary objective of the functionalization, and has a relevant ecological impact, taking into account the overwhelming global energy demand. The specific activities of the PhD were carried out according to the achievement of scientific and technological objectives of CECERBENCH laboratory, and involved the collaboration in design solutions, to obtain the cells directly on the tiles surface. The author has managed personally a part of the research project. Layers with different features were made: - Electrically conductive layers, directly on the ceramic tiles surface; - Layers to obtain the photovoltaic functionality; - Electrically insulating, protective layers (double function). For each layer, the most suitable materials have been selected. Among the technical application, the screen printing was used. This technique, widely used in ceramics, has many application areas, including the electronics and photovoltaic industries. It is an inexpensive technique, easy to use in industrial production lines. The screen printing technique was therefore studied in depth by theoretical considerations, and through the use of rheological measurements.

Indagine sulla nozione di fatto urbano ne L'architettura della città di Aldo Rossi

Questa tesi di dottorato di ricerca ha come oggetto la nozione di fatto urbano elaborata e presentata da Aldo Rossi nel libro L’architettura della città edito nel 1966. Ne L’architettura della città sono molteplici le definizioni e le forme con cui è enunciata la nozione di fatto urbano. Nel corso della tesi si è indagato come la costruzione nel tempo di questo concetto è stata preceduta da diversi studi giovanili intrapresi dal 1953, poi riorganizzati e sintetizzati a partire dal 1963 in un quaderno manoscritto dal titolo “Manuale di urbanistica”, in diversi appunti e in due quaderni manoscritti. Il lavoro di ricerca ha ricostruito la formulazione della nozione di fatto urbano attraverso gli scritti di Rossi. In questa direzione la rilevazione della partecipazione di Rossi a dibattiti, seminari, riviste, corsi universitari o ricerche accademiche è apparsa di fondamentale importanza, per comprendere la complessità di un lavoro non riconducibile a dei concetti disciplinari, ma alla formazione di una teoria trasmissibile. Il tentativo di comprendere e spiegare la nozione di fatto urbano ha condotto ad esaminare l’accezione con cui Rossi compone L’architettura della città, che egli stesso assimila ad un trattato. L’analisi ha identificato come la composizione del libro non è direttamente riferibile ad un uso classico della stesura editoriale del trattato, la quale ha tra i riferimenti più noti nel passato la promozione di una pratica corretta come nel caso vitruviano o un’impalcatura instauratrice di una nuova categoria come nel caso dell’Alberti. La mancanza di un sistema globale e prescrittivo a differenza dei due libri fondativi e il rimando non immediato alla stesura di un trattato classico è evidente ne L’architettura della città. Tuttavia la possibilità di condurre la ricerca su una serie di documenti inediti ha permesso di rilevare come negli scritti a partire dal 1953, sia maturata una trattazione delle questioni centrali alla nozione di fatto urbano ricca di intuizioni, che aspirano ad un’autonomia, sintetizzate, seppure in modo non sistematico, nella stesura del celebre libro. Si è così cercato di mettere in luce la precisazione nel tempo della nozione di fatto urbano e della sua elaborazione nei molteplici scritti antecedenti la pubblicazione de L’architettura della città, precisando come Rossi, pur costruendo su basi teoriche la nozione di fatto urbano, ne indichi una visione progressiva, ossia un uso operativo sulla città. La ricerca si è proposta come obiettivo di comprendere le radici culturali della nozione di fatto urbano sia tramite un’esplorazione degli interessi di Rossi nel suo percorso formativo sia rispetto alla definizione della struttura materiale del fatto urbano che Rossi individua nelle permanenze e che alimenta nella sua definizione con differenti apporti derivanti da altre discipline. Compito di questa ricerca è stato rileggere criticamente il percorso formativo compiuto da Rossi, a partire dal 1953, sottolinearne gli ambiti innovativi e precisarne i limiti descrittivi che non vedranno mai la determinazione di una nozione esatta, ma piuttosto la strutturazione di una sintesi complessa e ricca di riferimenti ad altri studi. In sintesi la tesi si compone di tre parti: 1. la prima parte, dal titolo “La teoria dei fatti urbani ne L’architettura della città”, analizza il concetto di fatto urbano inserendolo all’interno del più generale contesto teorico contenuto nel libro L’architettura della città. Questo avviene tramite la scomposizione del libro, la concatenazione delle sue argomentazioni e la molteplicità delle fonti esplicitamente citate da Rossi. In questo ambito si precisa la struttura del libro attraverso la rilettura dei riferimenti serviti a Rossi per comporre il suo progetto teorico. Inoltre si ripercorre la sua vita attraverso le varie edizioni, le ristampe, le introduzioni e le illustrazioni. Infine si analizza il ruolo del concetto di fatto urbano nel libro rilevando come sia posto in un rapporto paritetico con il titolo del libro, conseguendone un’accezione di «fatto da osservare» assimilabile all’uso proposto dalla geografia urbana francese dei primi del Novecento. 2. la seconda parte, dal titolo “La formazione della nozione di fatto urbano 1953-66”, è dedicata alla presentazione dell’elaborazione teorica negli scritti di Rossi prima de L’architettura della città, ossia dal 1953 al 1966. Questa parte cerca di descrivere le radici culturali di Rossi, le sue collaborazioni e i suoi interessi ripercorrendo la progressiva definizione della concezione di città nel tempo. Si è analizzato il percorso maturato da Rossi e i documenti scritti fin dagli anni in cui era studente alla Facoltà di Architettura Politecnico di Milano. Emerge un quadro complesso in cui i primi saggi, gli articoli e gli appunti testimoniano una ricerca intellettuale tesa alla costruzione di un sapere sullo sfondo del realismo degli anni Cinquanta. Rossi matura infatti un impegno culturale che lo porta dopo la laurea ad affrontare discorsi più generali sulla città. In particolare la sua importante collaborazione con la rivista Casabella-continuità, con il suo direttore Ernesto Nathan Rogers e tutto il gruppo redazionale segnano il periodo successivo in cui compare l’interesse per la letteratura urbanistica, l’arte, la sociologia, la geografia, l’economia e la filosofia. Seguono poi dal 1963 gli anni di lavoro insieme al gruppo diretto da Carlo Aymonino all’Istituto Universitario di Architettura di Venezia, e in particolare le ricerche sulla tipologia edilizia e la morfologia urbana, che portano Rossi a compiere una sintesi analitica per la fondazione di una teoria della città. Dall’indagine si rileva infatti come gli scritti antecedenti L’architettura della città sviluppano lo studio dei fatti urbani fino ad andare a costituire il nucleo teorico di diversi capitoli del libro. Si racconta così la genesi del libro, la cui scrittura si è svolta nell’arco di due anni, e le aspirazioni che hanno portato quello che era stato concepito come un “manuale d’urbanistica” a divenire quello che Rossi definirà “l’abbozzo di un trattato” per la formulazione di una scienza urbana. 3. la terza parte, dal titolo “La struttura materiale dei fatti urbani: la teoria della permanenza”, indaga monograficamente lo studio della città come un fatto materiale, un manufatto, la cui costruzione è avvenuta nel tempo e del tempo mantiene le tracce. Sul tema della teoria della permanenza è stato importante impostare un confronto con il dibattito vivo negli anni della ricostruzione dopo la guerra intorno ai temi delle preesistenze ambientali nella ricostruzione negli ambienti storici. Sono emersi fin da subito importanti la relazione con Ernesto Nathan Rogers, le discussioni sulle pagine di Casabella-Continuità, la partecipazione ad alcuni dibatti e ricerche. Si è inoltre Rilevato l’uso di diversi termini mutuati dalle tesi filosofiche di alcune personalità come Antonio Banfi e Enzo Paci, poi elaborati dal nucleo redazionale di Casabella-Continuità, di cui faceva parte anche Rossi. Sono così emersi alcuni spostamenti di senso e la formulazione di un vocabolario di termini all’interno della complessa vicenda della cultura architettonica degli anni Cinquanta e Sessanta. 1. Si è poi affrontato questo tema analizzando le forme con cui Rossi presenta la definizione della teoria della permanenza e i contributi desunti da alcuni autori per la costruzione scientifica di una teoria dell’architettura, il cui fine è quello di essere trasmissibile e di offrire strumenti di indagine concreti. Questa ricerca ha permesso di ipotizzare come il lavoro dei geografi francesi della prima metà del XX secolo, e in particolare il contributo più rilevante di Marcel Poëte e di Pierre Lavedan, costituiscono le fonti principali e il campo d’indagine maggiormente esplorato da Rossi per definire la teoria della permanenza e i monumenti. Le permanenze non sono dunque presentate ne L’architettura della città come il “tutto”, ma emergono da un metodo che sceglie di isolare i fatti urbani permanenti, consentendo così di compiere un’ipotesi su “ciò che resta” dopo le trasformazioni continue che operano nella città. Le fonti su cui ho lavorato sono state quelle annunciate da Rossi ne L’architettura della città, e più precisamente i testi nelle edizioni da lui consultate. Anche questo lavoro ha permesso un confronto dei testi che ha fatto emergere ne L’architettura della città l’uso di termini mutuati da linguaggi appartenenti ad altre discipline e quale sia l’uso di concetti estrapolati nella loro interezza. Presupposti metodologici Della formulazione della nozione di fatto urbano si sono indagate l’originalità dell’espressione, le connessioni presunte o contenute negli studi di Rossi sulla città attraverso la raccolta di fonti dirette e indirette che sono andate a formare un notevole corpus di scritti. Le fonti dirette più rilevanti sono state trovare nelle collezioni speciali del Getty Research Institute di Los Angeles in cui sono conservati gli Aldo Rossi Papers, questo archivio comprende materiali inediti dal 1954 al 1988. La natura dei materiali si presenta sotto forma di manoscritti, dattiloscritti, quaderni, documenti ciclostilati, appunti sparsi e una notevole quantità di corrispondenza. Negli Aldo Rossi Papers si trovano anche 32 dei 47 Quaderni Azzurri, le bozze de L’architettura della città e dell’ Autobiografia Scientifica. Per quanto riguarda in particolare L’architettura della città negli Aldo Rossi Papers sono conservati: un quaderno con il titolo “Manuale d’urbanistica, giugno 1963”, chiara prima bozza del libro, degli “Appunti per libro urbanistica estate/inverno 1963”, un quaderno con la copertina rossa datato 20 settembre 1964-8 agosto 1965 e un quaderno con la copertina blu datato 30 agosto 1965-15 dicembre 1965. La possibilità di accedere a questo archivio ha permesso di incrementare la bibliografia relativa agli studi giovanili consentendo di rileggere il percorso culturale in cui Rossi si è formato. E’ così apparsa fondamentale la rivalutazione di alcune questioni relative al realismo socialista che hanno portato a formare un più preciso quadro dei primi scritti di Rossi sullo sfondo di un complesso scenario intellettuale. A questi testi si è affiancata la raccolta delle ricerche universitarie, degli articoli pubblicati su riviste specializzate e degli interventi a dibattiti e seminari. A proposito de L’architettura della città si è raccolta un’ampia letteratura critica riferita sia al testo in specifico che ad una sua collocazione nella storia dell’architettura, mettendo in discussione alcune osservazioni che pongono L’architettura della città come un libro risolutivo e definitivo. Per quanto riguarda il capitolo sulla teoria della permanenza l’analisi è stata svolta a partire dai testi che Rossi stesso indicava ne L’architettura della città rivelando i diversi apporti della letteratura urbanistica francese, e permettendo alla ricerca di precisare le relazioni con alcuni scritti centrali e al contempo colti da Rossi come opportunità per intraprendere l’elaborazione dell’idea di tipo. Per quest’ultima parte si può precisare come Rossi formuli la sua idea di tipo in un contesto culturale dove l’interesse per questo tema era fondamentale. Dunque le fonti che hanno assunto maggior rilievo in quest’ultima fase emergono da un ricco panorama in cui Rossi compie diverse ricerche sia con il gruppo redazionale di Casabella-continuità, sia all’interno della scuola veneziana negli anni Sessanta, ma anche negli studi per l’ILSES e per l’Istituto Nazionale d’Urbanistica. RESEARCH ON THE NOTION OF URBAN ARTIFACT IN THE ARCHITECTURE OF THE CITY BY ALDO ROSSI. Doctoral candidate: Letizia Biondi Tutor: Valter Balducci The present doctoral dissertation deals with the notion of urban artifact that was formulated and presented by Aldo Rossi in his book The Architecture of the City, published in 1966. In The Architecture of the City, the notion of urban artifact is enunciated through a wide range of definitions and forms. In this thesis, a research was done on how the construction of this concept over time was preceded by various studies started in 1953 during the author’s youth, then re-organized and synthesized since 1963 in a manuscript titled “Manual of urban planning” and in two more manuscripts later on. The work of research re-constructed the formulation of the notion of urban artifact through Rossi’s writings. In this sense, the examination of Rossi’s participation in debates, seminars, reviews, university courses or academic researches was of fundamental importance to understand the complexity of a work which is not to be attributed to disciplinary concepts, but to the formulation of a communicable theory. The effort to understand and to explain the notion of urban artifact led to an examination of the meaning used by Rossi to compose The Architecture of the City, which he defines as similar to a treatise. Through this analysis, it emerged that the composition of the book is not directly ascribable to the classical use of editorial writing of a treatise, whose most famous references in the past are the promotion of a correct practice as in the case of Vitruvio’s treatise, or the use of a structure that introduces a new category as in the Alberti case. Contrary to the two founding books, the lack of a global and prescriptive system and the not immediate reference to the writing of a classical treatise are evident in The Architecture of the City. However, the possibility of researching on some unpublished documents allowed to discover that in the writings starting from 1953 the analysis of the questions that are at the core of the notion of urban artifact is rich of intuitions, that aim to autonomy and that would be synthesized, even though not in a systematic way, in his famous book. The attempt was that of highlighting the specification over time of the notion of urban artifact and its elaboration in the various writings preceding the publication of The Architecture of the City. It was also specified that, despite building on theoretical grounds, Rossi indicates a progressive version of the notion of urban artifact, that is a performing use in the city. The present research aims to understand the cultural roots of the notion of urban artifact in two main directions: analyzing, firstly, Rossi’s interests along his formation path and, secondly, the definition of material structure of an urban artifact identified by Rossi in the permanences and enriched by various contributions from other disciplines. The purpose of the present research is to revise the formation path made by Rossi in a critical way, starting by 1953, underlining its innovative aspects and identifying its describing limits, which will never lead to the formulation of an exact notion, but rather to the elaboration of a complex synthesis, enriched by references to other studies. In brief, the thesis is composed of three parts: 1. The first part, titled “The Theory of urban artifacts in The Architecture of the City”, analyzes the concept of urban artifact in the more general theoretical context of the book The Architecture of the City. Such analysis is done by “disassembling” the book, and by linking together the argumentations and the multiplicity of the sources which are explicitly quoted by Rossi. In this context, the book’s structure is defined more precisely through the revision of the references used by Rossi to compose his theoretical project. Moreover, the author’s life is traced back through the various editions, re-printings, introductions and illustrations. Finally, it is specified which role the concept of urban artifact has in the book, pointing out that it is placed in an equal relation with the book’s title; by so doing, the concept of urban artifact gets the new meaning of “fact to be observed”, similar to the use that was suggested by the French urban geography at the beginning of the 20th century. 2. The second part, titled “The formation of the notion of urban artifact 1953-66”, introduces the theoretical elaboration in Rossi’s writings before The Architecture of the City, that is from 1953 to 1966. This part tries to describe Rossi’s cultural roots, his collaborations and his interests, tracing back the progressive definition of his conception of city over time. The analysis focuses on the path followed by Rossi and on the documents that he wrote since the years as a student at the Department of Architecture at the Politecnico in Milan. This leads to a complex scenario of first essays, articles and notes that bear witness to the intellectual research aiming to the construction of a knowledge on the background of the Realism of the 1950s. Rossi develops, in fact, a cultural engagement that leads him after his studies to deal with more general issues about the city. In particular, his important collaboration with the architecture magazine “Casabella-continuità”, with the director Ernesto Nathan Rogers and with the whole redaction staff mark the following period when he starts getting interested in city planning literature, art, sociology, geography, economics and philosophy. Since 1963, Rossi has worked with the group directed by Carlo Aymonino at the “Istituto Universitario di Architettura” (University Institute of Architecture) in Venice, especially researching on building typologies and urban morphology. During these years, Rossi elaborates an analytical synthesis for the formulation of a theory about the city. From the present research, it is evident that the writings preceding The Architecture of the City develop the studies on urban artifacts, which will become theoretical core of different chapters of the book. In conclusion, the genesis of the book is described; written in two years, what was conceived to be an “urban planning manual” became a “treatise draft” for the formulation of an urban science, as Rossi defines it. 3. The third part is titled “The material structure of urban artifacts: the theory of permanence”. This research is made on the study of the city as a material fact, a manufacture, whose construction was made over time, bearing the traces of time. As far as the topic of permanence is concerned, it was also important to draw a comparison with the debate about the issues of environmental pre-existence of re-construction in historical areas, which was very lively during the years of the Reconstruction. Right from the beginning, of fundamental importance were the relationship with Ernesto Nathan Rogers, the discussions on the pages of Casabella-Continuità and the participation to some debates and researches. It is to note that various terms were taken by the philosophical thesis by some personalities such as Antonio Banfi and Enzo Paci, and then re-elaborated by the redaction staff at Casabella-Continuità, which Rossi took part in as well. Through this analysis, it emerged that there were some shifts in meaning and the formulation of a vocabulary of terms within the complex area of the architectonic culture in the 1950s and 1960s. Then, I examined the shapes in which Rossi introduces the definition of the theory of permanence and the references by some authors for the scientific construction of an architecture theory whose aim is being communicable and offering concrete research tools. Such analysis allowed making a hypothesis about the significance for Rossi of the French geographers of the first half of the 20th century: in particular, the work by Marcel Poëte and by Pierre Lavedan is the main source and the research area which Rossi mostly explored to define the theory of permanence and monuments. Therefore, in The Architecture of the City, permanencies are not presented as the “whole”, but they emerge from a method which isolates permanent urban artifacts, in this way allowing making a hypothesis on “what remains” after the continuous transformations made in the city. The sources examined were quoted by Rossi in The Architecture of the City; in particular I analyzed them in the same edition which Rossi referred to. Through such an analysis, it was possible to make a comparison of the texts with one another, which let emerge the use of terms taken by languages belonging to other disciplines in The Architecture of the City and which the use of wholly extrapolated concepts is. Methodological premises As far as the formulation of the notion of urban artifact is concerned, the analysis focuses on the originality of the expression, the connections that are assumed or contained in Rossi’s writings about the city, by collecting direct and indirect sources which formed a significant corpus of writings. The most relevant direct sources were found in the special collections of the Getty Research Institute in Los Angeles, where the “Aldo Rossi Papers” are conserved. This archive contains unpublished material from 1954 to 1988, such as manuscripts, typescripts, notebooks, cyclostyled documents, scraps and notes, and several letters. In the Aldo Rossi Papers there are also 32 out of the 47 Light Blue Notebooks (Quaderni Azzurri), the rough drafts of The Architecture of the City and of the “A Scientific Autobiography”. As regards The Architecture of the City in particular, the Aldo Rossi Papers preserve: a notebook by the title of “Urban planning manual, June, 1963”, which is an explicit first draft of the book; “Notes for urban planning book summer/winter 1963”; a notebook with a red cover dated September 20th, 1964 – August 8th, 1965; and a notebook with a blue cover dated August 30th, 1965 – December 15th, 1965. The possibility of accessing this archive allowed to increase the bibliography related to the youth studies, enabling a revision of the cultural path followed by Rossi’s education. To that end, it was fundamental to re-evaluate some issues linked to the socialist realism which led to a more precise picture of the first writings by Rossi against the background of the intellectual scenario where he formed. In addition to these texts, the collection of university researches, the articles published on specialized reviews and the speeches at debates and seminars were also examined. About The Architecture of the City, a wide-ranging critical literature was collected, related both to the text specifics and to its collocation in the story of architecture, questioning some observations which define The Architecture of the City as a conclusive and definite book. As far as the chapter on the permanence theory is concerned, the analysis started by the texts that Rossi indicated in The Architecture of the City, revealing the different contributions from the French literature on urban planning. This allowed to the present research a more specific definition of the connections to some central writings which, at the same time, were seen by Rossi as an opportunity to start up the elaboration of the idea of type. For this last part, it can be specified that Rossi formulates his idea of type in a cultural context where the interest in this topic was fundamental. Therefore, the sources which played a central role in this final phase emerge from an extensive panorama in which Rossi researched not only with the redaction staff at Casablanca-continuità and within the School of Venice in the 1960s, but also in his studies for the ILSES (Institute of the Region Lombardia for Economics and Social Studies) and for the National Institute of Urban Planning.

Theoretical and Experimental Study of the Magnetic Separation of Pollutants from Wastewater

This Thesys reports the study of a HGMS (High GradientMagnetic Separation) process for the treatment of industrialwastewaters that considers an assisted chemical-physical pre-treatment for the removal of heavy metals through the bound by adsorption with added iron-oxide particulate matter (hematite). The considered filter, constituted by ferromagnetic stainless steel wool and permanent magnets, is studied with a new approach based on a statistical analysis that requires the study of the trajectories of the particles. Experimental activity on a laboratory device has been carried out in order to test the model.

Design, implementation and evaluation of a virtual laboratory for Computer Engineering Education

Broad consensus has been reached within the Education and Cognitive Psychology research communities on the need to center the learning process on experimentation and concrete application of knowledge, rather than on a bare transfer of notions. Several advantages arise from this educational approach, ranging from the reinforce of students learning, to the increased opportunity for a student to gain greater insight into the studied topics, up to the possibility for learners to acquire practical skills and long-lasting proficiency. This is especially true in Engineering education, where integrating conceptual knowledge and practical skills assumes a strategic importance. In this scenario, learners are called to play a primary role. They are actively involved in the construction of their own knowledge, instead of passively receiving it. As a result, traditional, teacher-centered learning environments should be replaced by novel learner-centered solutions. Information and Communication Technologies enable the development of innovative solutions that provide suitable answers to the need for the availability of experimentation supports in educational context. Virtual Laboratories, Adaptive Web-Based Educational Systems and Computer-Supported Collaborative Learning environments can significantly foster different learner-centered instructional strategies, offering the opportunity to enhance personalization, individualization and cooperation. More specifically, they allow students to explore different kinds of materials, to access and compare several information sources, to face real or realistic problems and to work on authentic and multi-facet case studies. In addition, they encourage cooperation among peers and provide support through coached and scaffolded activities aimed at fostering reflection and meta-cognitive reasoning. This dissertation will guide readers within this research field, presenting both the theoretical and applicative results of a research aimed at designing an open, flexible, learner-centered virtual lab for supporting students in learning Information Security.

Theoretical and implementation aspects in the mechanization of the metatheory of programming languages

Interactive theorem provers are tools designed for the certification of formal proofs developed by means of man-machine collaboration. Formal proofs obtained in this way cover a large variety of logical theories, ranging from the branches of mainstream mathematics, to the field of software verification. The border between these two worlds is marked by results in theoretical computer science and proofs related to the metatheory of programming languages. This last field, which is an obvious application of interactive theorem proving, poses nonetheless a serious challenge to the users of such tools, due both to the particularly structured way in which these proofs are constructed, and to difficulties related to the management of notions typical of programming languages like variable binding. This thesis is composed of two parts, discussing our experience in the development of the Matita interactive theorem prover and its use in the mechanization of the metatheory of programming languages. More specifically, part I covers: - the results of our effort in providing a better framework for the development of tactics for Matita, in order to make their implementation and debugging easier, also resulting in a much clearer code; - a discussion of the implementation of two tactics, providing infrastructure for the unification of constructor forms and the inversion of inductive predicates; we point out interactions between induction and inversion and provide an advancement over the state of the art. In the second part of the thesis, we focus on aspects related to the formalization of programming languages. We describe two works of ours: - a discussion of basic issues we encountered in our formalizations of part 1A of the Poplmark challenge, where we apply the extended inversion principles we implemented for Matita; - a formalization of an algebraic logical framework, posing more complex challenges, including multiple binding and a form of hereditary substitution; this work adopts, for the encoding of binding, an extension of Masahiko Sato's canonical locally named representation we designed during our visit to the Laboratory for Foundations of Computer Science at the University of Edinburgh, under the supervision of Randy Pollack.

The bursting behavior of gas slugs: laboratory and analytical insights into Strombolian volcanic eruptions.

The aim of this thesis is to study how explosive behavior and geophysical signals in a volcanic conduit are related to the development of overpressure in slug-driven eruptions. A first suite of laboratory experiments of gas slugs ascending in analogue conduits was performed. Slugs ascended into a range of analogue liquids and conduit diameters to allow proper scaling to the natural volcanoes. The geometrical variation of the slug in response to the explored variables was parameterised. Volume of gas slug and rheology of the liquid phase revealed the key parameters in controlling slug overpressure at bursting. Founded on these results, a theoretical model to calculate burst overpressure for slug-driven eruptions was developed. The dimensionless approach adopted allowed to apply the model to predict bursting pressure of slugs at Stromboli. Comparison of predicted values with measured data from Stromboli volcano showed that the model can explain the entire spectrum of observed eruptive styles at Stromboli – from low-energy puffing, through normal Strombolian eruptions, up to paroxysmal explosions – as manifestations of a single underlying physical process. Finally, another suite of laboratory experiments was performed to observe oscillatory pressure and forces variations generated during the expansion and bursting of gas slugs ascending in a conduit. Two end-member boundary conditions were imposed at the base of the pipe, simulating slug ascent in closed base (zero magma flux) and open base (constant flux) conduit. At the top of the pipe, a range of boundary conditions that are relevant at a volcanic vent were imposed, going from open to plugged vent. The results obtained illustrate that a change in boundary conditions in the conduit concur to affect the dynamic of slug expansion and burst: an upward flux at the base of the conduit attenuates the magnitude of the pressure transients, while a rheological stiffening in the top-most region of conduit changes dramatically the magnitude of the observed pressure transients, favoring a sudden, and more energetic pressure release into the overlying atmosphere. Finally, a discussion on the implication of changing boundary on the oscillatory processes generated at the volcanic scale is also given.

Simkania negevensis: clinical and laboratory studies in the population of hemodialized and kidney transplanted patients.

Simkania negevensis is a bacterium belonging to the order Chlamydiales but with certain biological characteristics different from those of chlamydia, according to which it was classified in the family Simkaniaceae. It is widespread in the environment, due to its ability to survive in amoebae also in phase cystic, for which it was hypothesized a possible transmission after contact with water in which they are present amoebae. So far it is known its role in diseases of the lower respiratory tract, such as childhood bronchiolitis and pneumonia in adults of the community, following its transmission through infected aerosols. A recent American study showed, by PCR, a high prevalence of S. negevensis in patients with lung transplant than other transplant recipients, assuming an association between the presence of the bacterium in these patients, and transplant rejection, were more frequent in lung transplant recipients infected compared to uninfected. There are no data so far analyzed in Italy relative to the population of dialysis and kidney transplant recipients relative to simkania negevensis why this study was undertaken in order to start a specific location and evaluate the scientific implications. Because its ability to assume persistent forms of infection, which may lead to a prolonged inflammatory response, Simkania negevensis, similar to other persistent bacteria or viruses, may be ivolved in pathologic complication. Sn may be a factor in graft rejection in mmunesuppressed lung transplant recipients, and further studies are planned to explore the posible association of Sn infections with various in vivo pathologies.