Modular support for developing mobile ad hoc applications

Abstract This PhD thesis addresses the issue of alleviating the burden of developing ad hoc applications. Such applications have the particularity of running on mobile devices, communicating in a peer-to-peer manner and implement some proximity-based semantics. A typical example of such application can be a radar application where users see their avatar as well as the avatars of their friends on a map on their mobile phone. Such application become increasingly popular with the advent of the latest generation of mobile smart phones with their impressive computational power, their peer-to-peer communication capabilities and their location detection technology. Unfortunately, the existing programming support for such applications is limited, hence the need to address this issue in order to alleviate their development burden. This thesis specifically tackles this problem by providing several tools for application development support. First, it provides the location-based publish/subscribe service (LPSS), a communication abstraction, which elegantly captures recurrent communication issues and thus allows to dramatically reduce the code complexity. LPSS is implemented in a modular manner in order to be able to target two different network architectures. One pragmatic implementation is aimed at mainstream infrastructure-based mobile networks, where mobile devices can communicate through fixed antennas. The other fully decentralized implementation targets emerging mobile ad hoc networks (MANETs), where no fixed infrastructure is available and communication can only occur in a peer-to-peer fashion. For each of these architectures, various implementation strategies tailored for different application scenarios that can be parametrized at deployment time. Second, this thesis provides two location-based message diffusion protocols, namely 6Shot broadcast and 6Shot multicast, specifically aimed at MANETs and fine tuned to be used as building blocks for LPSS. Finally this thesis proposes Phomo, a phone motion testing tool that allows to test proximity semantics of ad hoc applications without having to move around with mobile devices. These different developing support tools have been packaged in a coherent middleware framework called Pervaho.

An architecture for adaptive replication-based multimedia streaming in P2P networks

This PhD thesis addresses the issue of scalable media streaming in large-scale networking environments. Multimedia streaming is one of the largest sink of network resources and this trend is still growing as testified by the success of services like Skype, Netflix, Spotify and Popcorn Time (BitTorrent-based). In traditional client-server solutions, when the number of consumers increases, the server becomes the bottleneck. To overcome this problem, the Content-Delivery Network (CDN) model was invented. In CDN model, the server copies the media content to some CDN servers, which are located in different strategic locations on the network. However, they require heavy infrastructure investment around the world, which is too expensive. Peer-to-peer (P2P) solutions are another way to achieve the same result. These solutions are naturally scalable, since each peer can act as both a receiver and a forwarder. Most of the proposed streaming solutions in P2P networks focus on routing scenarios to achieve scalability. However, these solutions cannot work properly in video-on-demand (VoD) streaming, when resources of the media server are not sufficient. Replication is a solution that can be used in these situations. This thesis specifically provides a family of replication-based media streaming protocols, which are scalable, efficient and reliable in P2P networks. First, it provides SCALESTREAM, a replication-based streaming protocol that adaptively replicates media content in different peers to increase the number of consumers that can be served in parallel. The adaptiveness aspect of this solution relies on the fact that it takes into account different constraints like bandwidth capacity of peers to decide when to add or remove replicas. SCALESTREAM routes media blocks to consumers over a tree topology, assuming a reliable network composed of homogenous peers in terms of bandwidth. Second, this thesis proposes RESTREAM, an extended version of SCALESTREAM that addresses the issues raised by unreliable networks composed of heterogeneous peers. Third, this thesis proposes EAGLEMACAW, a multiple-tree replication streaming protocol in which two distinct trees, named EAGLETREE and MACAWTREE, are built in a decentralized manner on top of an underlying mesh network. These two trees collaborate to serve consumers in an efficient and reliable manner. The EAGLETREE is in charge of improving efficiency, while the MACAWTREE guarantees reliability. Finally, this thesis provides TURBOSTREAM, a hybrid replication-based streaming protocol in which a tree overlay is built on top of a mesh overlay network. Both these overlays cover all peers of the system and collaborate to improve efficiency and low-latency in streaming media to consumers. This protocol is implemented and tested in a real networking environment using PlanetLab Europe testbed composed of peers distributed in different places in Europe.

Hidden branches: developments in root system architecture.

The root system is fundamentally important for plant growth and survival because of its role in water and nutrient uptake. Therefore, plants rely on modulation of root system architecture (RSA) to respond to a changing soil environment. Although RSA is a highly plastic trait and varies both between and among species, the basic root system morphology and its plasticity are controlled by inherent genetic factors. These mediate the modification of RSA, mostly at the level of root branching, in response to a suite of biotic and abiotic factors. Recent progress in the understanding of the molecular basis of these responses suggests that they largely feed through hormone homeostasis and signaling pathways. Novel factors implicated in the regulation of RSA in response to the myriad endogenous and exogenous signals are also increasingly isolated through alternative approaches such as quantitative trait locus analysis.

On the role of non-equilibrium focal points as coordination devices

Considering a pure coordination game with a large number of equivalentequilibria, we argue, first, that a focal point that is itself not a Nash equilibriumand is Pareto dominated by all Nash equilibria, may attract the players'choices. Second, we argue that such a non-equilibrium focal point may act asan equilibrium selection device that the players use to coordinate on a closelyrelated small subset of Nash equilibria. We present theoretical as well asexperimental support for these two new roles of focal points as coordinationdevices.

Borcherds products and arithmetic intersection theory on Hilbert modular surfaces

We prove an arithmetic version of a theorem of Hirzebruch and Zagier saying that Hirzebruch-Zagier divisors on a Hilbert modular surface are the coefficients of an elliptic modular form of weight 2. Moreover, we determine the arithmetic selfintersection number of the line bundle of modular forms equipped with its Petersson metric on a regular model of a Hilbert modular surface, and we study Faltings heights of arithmetic Hirzebruch-Zagier divisors.

Galois representations, embedding problems and modular forms

To an odd irreducible 2-dimensional complex linear representation of the absolute Galois group of the field Q of rational numbers, a modular form of weight 1 is associated (modulo Artin's conjecture on the L-series of the representation in the icosahedral case). In addition, linear liftings of 2-dimensional projective Galois representations are related to solutions of certain Galois embedding problems. In this paper we present some recent results on the existence of liftings of projective representations and on the explicit resolution of embedding problems associated to orthogonal Galois representations, and explain how these results can be used to construct modular forms.

Animal Tissue Response To Mid-Term Electronic Modular Artificial Sphincter Implantation

Introduction and objectives: The AMS 800TM is considered the gold standard for sphincter replacement. However, the one-ring design can erode the urethra and lead to severe complications. A mechanism that could alternatively compress successive segments of the urethra would limit such deleterious outcome. We report 12 weeks animal urethral tissue analysis following implantation of a new modular artificial sphincter. METHODS: The device is composed by three parts: the contractile unit, two rings and an integrated microprocessor. The contractile unit is made of Nitinol fibers. The rings are placed around the urethra to control the flow of urine by squeezing the urethra. They work in a sequential alternative mode and are controlled by a microprocessor connected to an external computer. The computer can reveal specific failure of device components. The device was impkanted in eight male sheep. The rings were positioned around the urethra and the control unit was placed 5cm away. The device was working twenty hours per day; it was open 10min. per hour to allow urination. The animals were sacrificed after 12 weeks. The urethra and the tissues surrounding the control unit were macroscopically and microscopically examined. Two transversal sections crossing the sphincter and two transversal sections crossing the urethra alone were obtained and stained with modified Paragon after resin embedding. Urethra was also embedded in paraffin. The first section was stained with safranin-hematoxylin-eosin, the second section was stained with Masson's Trichrome and the remaining eight sections were available for immunolabelling of the macrophages.Results: The chronic study went uneventful. No clinical infection or pain was observed. The computer registered no specific failure in ring function, Nitinol wires and tube connectors. At explantation, except for a slight grade of lymphocytes in two out of eight specimens, no urethral stricture or atrophy could be observed. Immunohistochemistry confirmed the absence of macrophages. Tissue structure and organization of the urethra with and without artificial sphincter were similar. No migration of the device was observed.Conclusions: The study clearly showed no tissue damage or inflammation of the urethra. Electronic design, preservation of urethral vascularisation and adjustability after implantation are the key ideas to improve the actual AUS. Further studies will be carried out to evaluate this potential.

Arithmetical problems in number fields, abelian varieties and modular forms

Number theory, a fascinating area in mathematics and one of the oldest, has experienced spectacular progress in recent years. The development of a deep theoretical background and the implementation of algorithms have led to new and interesting interrelations with mathematics in general which have paved the way for the emergence of major theorems in the area. This report summarizes the contribution to number theory made by the members of the Seminari de Teoria de Nombres (UB-UAB-UPC) in Barcelona. These results are presented in connection with the state of certain arithmetical problems, and so this monograph seeks to provide readers with a glimpse of some specific lines of current mathematical research.