Cooperative Wireless Networks for Localization

This thesis adresses the problem of localization, and analyzes its crucial aspects, within the context of cooperative WSNs. The three main issues discussed in the following are: network synchronization, position estimate and tracking. Time synchronization is a fundamental requirement for every network. In this context, a new approach based on the estimation theory is proposed to evaluate the ultimate performance limit in network time synchronization. In particular the lower bound on the variance of the average synchronization error in a fully connected network is derived by taking into account the statistical characterization of the Message Delivering Time (MDT) . Sensor network localization algorithms estimate the locations of sensors with initially unknown location information by using knowledge of the absolute positions of a few sensors and inter-sensor measurements such as distance and bearing measurements. Concerning this issue, i.e. the position estimate problem, two main contributions are given. The first is a new Semidefinite Programming (SDP) framework to analyze and solve the problem of flip-ambiguity that afflicts range-based network localization algorithms with incomplete ranging information. The occurrence of flip-ambiguous nodes and errors due to flip ambiguity is studied, then with this information a new SDP formulation of the localization problem is built. Finally a flip-ambiguity-robust network localization algorithm is derived and its performance is studied by Monte-Carlo simulations. The second contribution in the field of position estimate is about multihop networks. A multihop network is a network with a low degree of connectivity, in which couples of given any nodes, in order to communicate, they have to rely on one or more intermediate nodes (hops). Two new distance-based source localization algorithms, highly robust to distance overestimates, typically present in multihop networks, are presented and studied. The last point of this thesis discuss a new low-complexity tracking algorithm, inspired by the Fano’s sequential decoding algorithm for the position tracking of a user in a WLAN-based indoor localization system.

Expressions- und Funktionsanalysen von Neuroglobin und Cytoglobin

Im Rahmen der vorliegenden Dissertation wurden Untersuchungen zur Expression und Funktion der respiratorischen Proteine Neuroglobin (Ngb) und Cytoglobin (Cygb) in Vertebraten durchgeführt. Beide Globine wurden erst kürzlich entdeckt, und ihre Funktionen konnten trotz vorliegender Daten zur Struktur und biochemischen Eigenschaften dieser Proteine bisher nicht eindeutig geklärt werden. Im ersten Abschnitt der vorliegenden Arbeit wurde die zelluläre und subzelluläre Lokalisation von Neuroglobin und Cytoglobin in murinen Gewebeschnitten untersucht. Die Expression von Ngb in neuronalen und endokrinen Geweben hängt offensichtlich mit den hohen metabolischen Aktivitäten dieser Organe zusammen. Insbesondere im Gehirn konnten regionale Unterschiede in der Ngb-Expression beobachtet werden. Dabei korrelierte eine besonders starke Neuroglobin-Expression mit Gehirnbereichen, die bekanntermaßen die höchsten Grundaktivitäten aufweisen. In Anbetracht dessen liegt die Funktion des Neuroglobins möglicherweise im basalen O2-Metabolismus dieser Gewebe, wobei Ngb als O2-Lieferant und kurzfristiger O2-Speicher den vergleichsweise hohen Sauerstoffbedarf vor Ort sicherstellen könnte. Weitere Funktionen in der Entgiftung von ROS bzw. RNS oder die kürzlich publizierte mögliche Rolle des Ngb bei der Verhinderung der Mitochondrien-vermittelten Apoptose durch eine Reduktion des freigesetzten Cytochrom c wären darüber hinaus denkbar. Die Cygb-Expression im Gehirn beschränkte sich auf relativ wenige Neurone in verschiedenen Gehirnbereichen und zeigte dort vorwiegend eine Co-Lokalisation mit der neuronalen NO-Synthase. Dieser Befund legt eine Funktion des Cytoglobins im NO-Metabolismus nahe. Quantitative RT-PCR-Experimente zur mRNA-Expression von Ngb und Cygb in alternden Säugern am Bsp. der Hamsterspezies Phodopus sungorus zeigten keine signifikanten Änderungen der mRNA-Mengen beider Globine in alten im Vergleich zu jungen Tieren. Dies widerspricht publizierten Daten, in denen bei der Maus anhand von Western Blot-Analysen eine Abnahme der Neuroglobin-Menge im Alter gezeigt wurde. Möglicherweise handelt es sich hierbei um speziesspezifische Differenzen. Die im Rahmen dieser Arbeit durchgeführte vergleichende Sequenzanalyse der humanen und murinen NGB/Ngb-Genregion liefert zum einen Hinweise auf die mögliche Regulation der Ngb-Expression und zum anderen eine wichtige Grundlage für die funktionellen Analysen dieses Gens. Es konnte ein minimaler Promotorbereich definiert werden, der zusammen mit einigen konservierten regulatorischen Elementen als Basis für experimentelle Untersuchungen der Promotoraktivität in Abhängigkeit von äußeren Einflüssen dienen wird. Bioinformatische Analysen führten zur Identifizierung des sog. „neuron restrictive silencer element“ (NRSE) im Ngb-Promotor, welches vermutlich für die vorwiegend neuronale Expression des Proteins verantwortlich ist. Die kontrovers diskutierte O2-abhängige Regulation der Ngb-Expression konnte hingegen anhand der durchgeführten komparativen Sequenzanalysen nicht bestätigt werden. Es wurden keine zwischen Mensch und Maus konservierten Bindestellen für den Transkriptionsfaktor HIF-1 identifiziert, der die Expression zahlreicher hypoxieregulierter Gene, z.B. Epo und VEGF, vermittelt. Zusammen mit den in vivo-Daten spricht dies eher gegen eine Regulation der Ngb-Expression bei verminderter Verfügbarkeit von Sauerstoff. Die Komplexität der Funktionen von Ngb und Cygb im O2-Stoffwechsel der Vertebraten macht den Einsatz muriner Modellsysteme unerlässlich, die eine sukzessive Aufklärung der Funktionen beider Proteine erlauben. Die vorliegende Arbeit liefert auch dazu einen wichtigen Beitrag. Die hergestellten „gene-targeting“-Vektorkonstrukte liefern in Verbindung mit den etablierten Nachweisverfahren zur Genotypisierung von embryonalen Stammzellen die Grundlage zur erfolgreichen Generierung von Ngb-knock out sowie Ngb- und Cygb-überexprimierenden transgenen Tieren. Diese werden für die endgültige Entschlüsselung funktionell relevanter Fragestellungen von enormer Bedeutung sein.

Implicit computational complexity and probabilistic classes

The thesis applies the ICC tecniques to the probabilistic polinomial complexity classes in order to get an implicit characterization of them. The main contribution lays on the implicit characterization of PP (which stands for Probabilistic Polynomial Time) class, showing a syntactical characterisation of PP and a static complexity analyser able to recognise if an imperative program computes in Probabilistic Polynomial Time. The thesis is divided in two parts. The first part focuses on solving the problem by creating a prototype of functional language (a probabilistic variation of lambda calculus with bounded recursion) that is sound and complete respect to Probabilistic Prolynomial Time. The second part, instead, reverses the problem and develops a feasible way to verify if a program, written with a prototype of imperative programming language, is running in Probabilistic polynomial time or not. This thesis would characterise itself as one of the first step for Implicit Computational Complexity over probabilistic classes. There are still open hard problem to investigate and try to solve. There are a lot of theoretical aspects strongly connected with these topics and I expect that in the future there will be wide attention to ICC and probabilistic classes.

Institutional Complexity and Technology Transfer: A Theoretical and Empirical Analysis

This Doctoral Thesis unfolds into a collection of three distinct papers that share an interest in institutional theory and technology transfer. Taking into account that organizations are increasingly exposed to a multiplicity of demands and pressures, we aim to analyze what renders this situation of institutional complexity more or less difficult to manage for organizations, and what makes organizations more or less successful in responding to it. The three studies offer a novel contribution both theoretically and empirically. In particular, the first paper “The dimensions of organizational fields for understanding institutional complexity: A theoretical framework” is a theoretical contribution that tries to better understand the relationship between institutional complexity and fields by providing a framework. The second article “Beyond institutional complexity: The case of different organizational successes in confronting multiple institutional logics” is an empirical study which aims to explore the strategies that allow organizations facing multiple logics to respond more successfully to them. The third work “ How external support may mitigate the barriers to university-industry collaboration” is oriented towards practitioners and presents a case study about technology transfer in Italy.

Extending Implicit Computational Complexity and Abstract Machines to Languages with Control

The Curry-Howard isomorphism is the idea that proofs in natural deduction can be put in correspondence with lambda terms in such a way that this correspondence is preserved by normalization. The concept can be extended from Intuitionistic Logic to other systems, such as Linear Logic. One of the nice conseguences of this isomorphism is that we can reason about functional programs with formal tools which are typical of proof systems: such analysis can also include quantitative qualities of programs, such as the number of steps it takes to terminate. Another is the possiblity to describe the execution of these programs in terms of abstract machines. In 1990 Griffin proved that the correspondence can be extended to Classical Logic and control operators. That is, Classical Logic adds the possiblity to manipulate continuations. In this thesis we see how the things we described above work in this larger context.

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.

Beyond socialism: Tanzanian theatre, neoliberalism and foreign aid complexity

Theatralität ist ein gängiges Konzept, um Theater in Afrika zu definieren. Wird dieses Konzept angewendet, so treten die historischen Unterschiede zwischen den verschiedenen Theaterformen in den Hintergrund. Deshalb ist es wichtig, Theater in einen kulturellen Kontext zu stellen, aus dem das Theater entsteht. Dadurch können nationale und internationale Suprastrukturen, die die sozialpolitische und wirtschaftliche Atmosphäre bestimmen, analysiert werden,. Da sich die aktuelle „globale“ Entwicklung auf neoliberale Grundsätze stützt, ist es offensichtlich, dass man Theater nicht diskutieren kann, ohne näher auf Neoliberalismus, Imperialismus, Kapitalismus, Entwicklungshilfe und Geberpolitik einzugehen.rnDerzeit werden die meisten Theaterprojekte in Tansania durch die Entwicklungshilfe oder ausländische Geberorganisationen unterstützt. Diese Organisationen stellen finanzielle Mittel zur Verfügung, um Theaterproduktionen auf unterschiedlichem Niveau zu ermöglichen. Diese Spendenpraxis hat zu der Fehlannahme geführt, dass Theater nur dann ein Theater ist, wenn es durch ausländische Organisationen finanziert wird. Jedoch ist es offensichtlich, dass diese finanziellen Mittel eine große Rolle in der Machtpolitik spielen. Diese Studie untersucht deshalb die Frage: Welchen Einfluss hat die neoliberale Politik, insbesondere durch die Entwicklungshilfe, auf das Theater in Tansania? Die Arbeit deckt einmal die Verbindung zwischen dem produzieren Theater und den verschiedenen dominierenden politischen Richtungen – von Nationalismus bis Neoliberalismus – auf. Darüber hinaus wird gezeigt, dass diese Verbindungen es dem Theater erschweren, diese Suprastrukturen zu vermeiden, durch die es finanziert wird. Das bedeutet, dass die neoliberale Politik mit seinen Merkmalen von Einengung, Unterdrückung und Ausbeutung auch ein eingeengtes, unterdrücktes und ausbeuterisches Theater hervorbringt. Dieser Studie bezeichnet ein solches Theater als Theater (Neo-)Liberalismus. Es ist ein Theater, das apolitisch auftritt, aber tatsächlich unter der neoliberal Politik des freien Markts und der Subventionsstreichungen ums Überleben kämpft.rnIndem diese Verbindungen zwischen Theater, Entwicklungshilfe und Geberorganisationen erläutert werden, kommt diese Forschung zu folgendem Ergebnis: Die Geberorganisationen haben kein Recht, unabhängig von der Höhe ihrer Spende, in die Souveränität eines Staates einzugreifen oder ein neues System einzuführen. Deshalb sollte die Loslösung von ausländischen Geberländern an erster Stelle stehen, damit sich das Theater ganz entwickeln und unabhängig überleben kann. Es ist deshalb notwendig, das Konzept des Volkstheaters neu zu definieren. Das Theater soll wieder mit den Initiativen von Menschen zu tun haben und ihre eigenen Themen in einem gewissen zeitlich und räumlichen Rahmen ansprechen.rnrn

Polar Codes for error correction: Analysis and Decoding Algorithms

I Polar Codes sono la prima classe di codici a correzione d’errore di cui è stato dimostrato il raggiungimento della capacità per ogni canale simmetrico, discreto e senza memoria, grazie ad un nuovo metodo introdotto recentemente, chiamato ”Channel Polarization”. In questa tesi verranno descritti in dettaglio i principali algoritmi di codifica e decodifica. In particolare verranno confrontate le prestazioni dei simulatori sviluppati per il ”Successive Cancellation Decoder” e per il ”Successive Cancellation List Decoder” rispetto ai risultati riportati in letteratura. Al fine di migliorare la distanza minima e di conseguenza le prestazioni, utilizzeremo uno schema concatenato con il polar code come codice interno ed un CRC come codice esterno. Proporremo inoltre una nuova tecnica per analizzare la channel polarization nel caso di trasmissione su canale AWGN che risulta il modello statistico più appropriato per le comunicazioni satellitari e nelle applicazioni deep space. In aggiunta, investigheremo l’importanza di una accurata approssimazione delle funzioni di polarizzazione.

Analysis of robot dynamics through complexity measures: an application in automatic design

L'applicazione di misure, derivanti dalla teoria dell'informazione, fornisce un valido strumento per quantificare alcune delle proprietà dei sistemi complessi. Le stesse misure possono essere utilizzate in robotica per favorire l'analisi e la sintesi di sistemi di controllo per robot. In questa tesi si è analizzata la correlazione tra alcune misure di complessità e la capacità dei robot di portare a termine, con successo, tre differenti task. I risultati ottenuti suggeriscono che tali misure di complessità rappresentano uno strumento promettente anche nel campo della robotica, ma che il loro utilizzo può diventare difficoltoso quando applicate a task compositi.

Complexity of miR-223 regulation by CEBPA in human AML

microRNA-223 (miR-223) can trigger normal granulopoiesis. miR-223 expression is regulated by two distinct CEBPA (CCAAT/enhancer binding protein-alpha) sites. Here, we report that miR-223 is largely suppressed in cells from acute myeloid leukemia (AML) patients. By sequencing, we found that miR-223 suppression in AML is not caused by DNA sequence alterations, nor is it mediated by promoter hypermethylation. The analysis of the individual contribution of both CEBPA sites to miR-223 regulation identified the site upstream of the miR-223 primary transcript as the predominant regulatory element. Our results suggest that miR-223 suppression in AML is caused by impaired miR-223 upstream factors.

The impact of patient and lesion complexity on clinical and angiographic outcomes after revascularization with zotarolimus- and everolimus-eluting stents: a substudy of the RESOLUTE All Comers Trial (a randomized comparison of a zotarolimus-eluting stent with an everolimus-eluting stent for percutaneous coronary intervention)

The aim of this study was to investigate the impact of patient and lesion complexity on outcomes with newer-generation zotarolimus-eluting stents (ZES) and everolimus-eluting stents (EES).