Probabilistic Recursion Theory and Implicit Computational Complexity

In this thesis we provide a characterization of probabilistic computation in itself, from a recursion-theoretical perspective, without reducing it to deterministic computation. More specifically, we show that probabilistic computable functions, i.e., those functions which are computed by Probabilistic Turing Machines (PTM), can be characterized by a natural generalization of Kleene's partial recursive functions which includes, among initial functions, one that returns identity or successor with probability 1/2. We then prove the equi-expressivity of the obtained algebra and the class of functions computed by PTMs. In the the second part of the thesis we investigate the relations existing between our recursion-theoretical framework and sub-recursive classes, in the spirit of Implicit Computational Complexity. More precisely, endowing predicative recurrence with a random base function is proved to lead to a characterization of polynomial-time computable probabilistic functions.

New materials for electrochemiluminescence

The study of electrochemiluminescence (ECL) involves photophysical and electrochemical aspects. Excited states are populated by an electrical stimulus. The most important applications are in the diagnostic field where a number of different biologically-relevant molecules (e.g. proteins and nucleic acids) can be recognized and quantified with a sensitivity and specificity previously not reachable. As a matter of fact the electrochemistry, differently to the classic techniques as fluorescence and chemiluminescence, allows to control the excited state generation spatially and temporally. The two research visits into A. J. Bard electrochemistry laboratories were priceless. Dr. Bard has been one of ECL pioneers, the first to introduce the technique and the one who discovered in 1972 the surprising emission of Ru(bpy)3 2+. I consider necessary to thank by now my supervisors Massimo and Francesco for their help and for giving me the great opportunity to know this unique science man that made me feel enthusiastic. I will never be grateful enough… Considering that the experimental techniques of ECL did not changed significantly in these last years the most convenient research direction has been the developing of materials with new or improved properties. In Chapter I the basics concepts and mechanisms of ECL are introduced so that the successive experiments can be easily understood. In the final paragraph the scopes of the thesis are briefly described. In Chapter II by starting from ECL experimental apparatus of Dr. Bard’s laboratories the design, assembly and preliminary tests of the new Bologna instrument are carefully described. The instrument assembly required to work hard but resulted in the introduction of the new technique in our labs by allowing the continuation of the ECL studies began in Texas. In Chapter III are described the results of electrochemical and ECL studies performed on new synthesized Ru(II) complexes containing tetrazolate based ligands. ECL emission has been investigated in solution and in solid thin films. The effect of the chemical protonation of the tetrazolate ring on ECL emission has been also investigated evidencing the possibility of a catalytic effect (generation of molecular hydrogen) of one of the complexes in organic media. Finally, after a series of preliminary studies on ECL emission in acqueous buffers, the direct interaction with calf thymus DNA of some complexes has been tested by ECL and photoluminescence (PL) titration. In Chapter IV different Ir(III) complexes have been characterized electrochemically and photophysically (ECL and PL). Some complexes were already well-known in literature for their high quantum efficiency whereas the remaining were new synthesized compounds containing tetrazolate based ligands analogous to those investigated in Chapt. III. During the tests on a halogenated complex was unexpectedly evidenced the possibility to follow the kinetics of an electro-induced chemical reaction by using ECL signal. In the last chapter (V) the possibility to use mono-use silicon chips electrodes as ECL analitycal devices is under investigation. The chapter begins by describing the chip structure and materials then a signal reproducibility study and geometry optimization is carried on by using two different complexes. In the following paragraphs is reported in detail the synthesis of an ECL label based on Ru(bpy)3 2+ and the chip functionalization by using a lipoic acid SAM and the same label. After some preliminary characterizations (mass spectroscopy TOF) has been demonstrated that by mean of a simple and fast ECL measurement it’s possible to confirm the presence of the coupling product SAM-label into the chip with a very high sensitivity. No signal was detected from the same system by using photoluminescence.

On Designing Compliant Actuators Based On Dielectric Elastomers

Dielectric Elastomers (DE) are incompressible dielectrics which can experience deviatoric (isochoric) finite deformations in response to applied large electric fields. Thanks to the strong electro-mechanical coupling, DE intrinsically offer great potentialities for conceiving novel solid-state mechatronic devices, in particular linear actuators, which are more integrated, lightweight, economic, silent, resilient and disposable than equivalent devices based on traditional technologies. Such systems may have a huge impact in applications where the traditional technology does not allow coping with the limits of weight or encumbrance, and with problems involving interaction with humans or unknown environments. Fields such as medicine, domotic, entertainment, aerospace and transportation may profit. For actuation usage, DE are typically shaped in thin films coated with compliant electrodes on both sides and piled one on the other to form a multilayered DE. DE-based Linear Actuators (DELA) are entirely constituted by polymeric materials and their overall performance is highly influenced by several interacting factors; firstly by the electromechanical properties of the film, secondly by the mechanical properties and geometry of the polymeric frame designed to support the film, and finally by the driving circuits and activation strategies. In the last decade, much effort has been focused in the devolvement of analytical and numerical models that could explain and predict the hyperelastic behavior of different types of DE materials. Nevertheless, at present, the use of DELA is limited. The main reasons are 1) the lack of quantitative and qualitative models of the actuator as a whole system 2) the lack of a simple and reliable design methodology. In this thesis, a new point of view in the study of DELA is presented which takes into account the interaction between the DE film and the film supporting frame. Hyperelastic models of the DE film are reported which are capable of modeling the DE and the compliant electrodes. The supporting frames are analyzed and designed as compliant mechanisms using pseudo-rigid body models and subsequent finite element analysis. A new design methodology is reported which optimize the actuator performances allowing to specifically choose its inherent stiffness. As a particular case, the methodology focuses on the design of constant force actuators. This class of actuators are an example of how the force control could be highly simplified. Three new DE actuator concepts are proposed which highlight the goodness of the proposed method.

La via Emilia tra Rimini e Forlì. Ruolo e immagine della strada

Abstract Il tema delle infrastrutture, intese come parte dell’architettura dello spazio urbano e del territorio, assume un ruolo centrale in molti progetti contemporanei e costituisce la ragione di questa ricerca. E’ preso in esame, in particolare, il tracciato extraurbano della via Emilia, antica strada consolare romana la cui definizione risale al II sec. a.C., nel tratto compreso tra le città di Rimini e Forlì. Studiare la strada nel suo rapporto con il territorio locale ha significato in primo luogo prendere in considerazione la via Emilia in quanto manufatto, ma anche in quanto percorso che si compie nel tempo. Si è dunque cercato di mostrare come, in parallelo all’evoluzione della sua sezione e della geometria del suo tracciato, sia cambiata anche la sua fruizione, e come si sia evoluto il modo in cui la strada viene “misurata”, denominata e gestita. All’interno di una riflessione critica sulla forma e sul ruolo della strada nel corso dei secoli la Tesi rilegge il territorio nella sua dimensione di “palinsesto”, riconoscendo e isolando alcuni momenti in cui la via Emilia ha assunto un valore “simbolico” che rimanda alla Roma imperiale. La perdita del significato via Emilia, intesa come elemento di “costruzione” del territorio, ha origine con il processo di urbanizzazione diffusa che ha investito il territorio extraurbano a partire dalla fine della seconda guerra mondiale. La condizione attuale della strada, sempre più congestionata dal traffico veicolare, costituisce la premesse per una riflessione sul futuro della sua forma e degli insediamenti che attraversa. La strategia proposta dagli Enti locali che prevede il raddoppio della strada, con la costruzione della via Emilia Bis, non garantisce solo un potenziamento infrastrutturale ma rappresenta l’occasione per sottrarre al tracciato attuale la funzione di principale asse di comunicazione extraurbana. La via Emilia potrebbe così recuperare il ruolo di itinerario narrativo, attraverso la configurazione dei suoi spazi collettivi, l’architettura dei suoi edifici, il significato dei suoi monumenti, e diventare spazio privilegiato di relazione e di aggregazione. The theme of urban infrastructures, thought as part of the design of urban space and territory, has a central role in several contemporary projects and is the reason of this research. The object of the study is the extra urban route of the via Emilia, an ancient roman road which has been defined in the II century b. C., in its stretch between the cities of Rimini and Forlì. Studying the road in its relationship with the local environment has meant first of all considering the via Emilia as an “artefact” but also as a path that takes place over time. The aim of this research was also to demonstrate how its fruition has changed together with the evolution of the section and geometry of the route, and how the road itself is measured, named and managed. Within a critical approach on the shape and on the role played by the road through the centuries, this Essay reinterprets the territory in its dimension of “palimpsest”, identifying and isolating some periods of time when the via Emilia assumed a symbolic value which recalls the Imperial Rome. The loss of the meaning of the via Emilia, intended as an element that “constitutes” the territory originates from a process of diffused urbanization, which spread in the extra urban environment from the end of the second world war. The actual condition of the road, more and more congested by traffic, is the premise of a reflection about the future of its shape and of the settlements alongside. The strategy proposed by the local authorities, that foresees to double the size of the road, building the via Emilia Bis, not only guarantees an infrastructural enhancement but also it represents an opportunity to take off from the road itself the current function of being the principal axis of extra urban connection. In this way the via Emilia could regain its role as a narrative itinerary, through the configuration of its public spaces, the architecture of its buildings, the meaning of its monuments, and then become a privileged space of relationship and aggregation.

Estimating persistent Betti numbers for discrete shape analysis

Persistent Topology is an innovative way of matching topology and geometry, and it proves to be an effective mathematical tool in shape analysis. In order to express its full potential for applications, it has to interface with the typical environment of Computer Science: It must be possible to deal with a finite sampling of the object of interest, and with combinatorial representations of it. Following that idea, the main result claims that it is possible to construct a relation between the persistent Betti numbers (PBNs; also called rank invariant) of a compact, Riemannian submanifold X of R^m and the ones of an approximation U of X itself, where U is generated by a ball covering centered in the points of the sampling. Moreover we can state a further result in which, this time, we relate X with a finite simplicial complex S generated, thanks to a particular construction, by the sampling points. To be more precise, strict inequalities hold only in "blind strips'', i.e narrow areas around the discontinuity sets of the PBNs of U (or S). Out of the blind strips, the values of the PBNs of the original object, of the ball covering of it, and of the simplicial complex coincide, respectively.

L'Architettura religiosa di Luis Moya Blanco. La costruzione come principio compositivo

La presente ricerca, L’architettura religiosa di Luis Moya Blanco. La costruzione come principio compositivo, tratta i temi inerenti l’edificazione di spazi per il culto della religione cristiana che l’architetto spagnolo progetta e realizza a Madrid dal 1945 al 1970. La tesi è volta ad indagare quali siano i principi alla base della composizione architettonica che si possano considerare immutati, nel lungo arco temporale in cui l’autore si trova ad operare. Tale indagine, partendo da una prima analisi riguardante gli anni della formazione e gli scritti da lui prodotti, verte in particolare sullo studio dei progetti più recenti e ancora poco trattati dalla critica. L’obbiettivo della presente tesi è dunque quello di apportare un contributo originale sull’aspetto compositivo della sua architettura. Ma analizzare la composizione significa, in Moya, analizzare la costruzione che, a dispetto del susseguirsi dei linguaggi, rimarrà l’aspetto principale delle sue opere. Lo studio dei manufatti mediante categorie estrapolate dai suoi stessi scritti – la matematica, il numero, la geometria e i tracciati regolatori - permette di evidenziare punti di contatto e di continuità tra le prime chiese, fortemente caratterizzate da un impianto barocco, e gli ultimi progetti che sembrano cercare invece un confronto con forme decisamente moderne. Queste riflessioni, parallelamente contestualizzate nell’ambito della sua consistente produzione saggistica, andranno a confluire nell’idea finale per cui la costruzione diventi per Luis Moya Blanco il principio compositivo da cui non si può prescindere, la regola che sostanzia nella materia il numero e la geometria. Se la costruzione è dunque la pietrificazione di leggi geometrico-matematiche che sottendono schemi planimetrici; il ricorso allo spazio di origine centrale non risponde all’intenzione di migliorare la liturgia, ma a questioni di tipo filosofico-idealista, che fanno corrispondere alla somma naturalezza della perfezione divina, la somma perfezione della forma circolare o di uno dei suoi derivati come l’ellisse.

A model and an algebra for semi-structured and full-text queries

The need for a convergence between semi-structured data management and Information Retrieval techniques is manifest to the scientific community. In order to fulfil this growing request, W3C has recently proposed XQuery Full Text, an IR-oriented extension of XQuery. However, the issue of query optimization requires the study of important properties like query equivalence and containment; to this aim, a formal representation of document and queries is needed. The goal of this thesis is to establish such formal background. We define a data model for XML documents and propose an algebra able to represent most of XQuery Full-Text expressions. We show how an XQuery Full-Text expression can be translated into an algebraic expression and how an algebraic expression can be optimized.

The relation between geometry and matter in classical and quantum gravity and cosmology

The present thesis is divided into two main research areas: Classical Cosmology and (Loop) Quantum Gravity. The first part concerns cosmological models with one phantom and one scalar field, that provide the `super-accelerated' scenario not excluded by observations, thus exploring alternatives to the standard LambdaCDM scenario. The second part concerns the spinfoam approach to (Loop) Quantum Gravity, which is an attempt to provide a `sum-over-histories' formulation of gravitational quantum transition amplitudes. The research here presented focuses on the face amplitude of a generic spinfoam model for Quantum Gravity.