Applying the reactive programming paradigm: Toward a more declarative application development approach

After almost 10 years from “The Free Lunch Is Over” article, where the need to parallelize programs started to be a real and mainstream issue, a lot of stuffs did happened: • Processor manufacturers are reaching the physical limits with most of their approaches to boosting CPU performance, and are instead turning to hyperthreading and multicore architectures; • Applications are increasingly need to support concurrency; • Programming languages and systems are increasingly forced to deal well with concurrency. This thesis is an attempt to propose an overview of a paradigm that aims to properly abstract the problem of propagating data changes: Reactive Programming (RP). This paradigm proposes an asynchronous non-blocking approach to concurrency and computations, abstracting from the low-level concurrency mechanisms.

Effects of Paramuricea clavata (Risso, 1826) (Anthozoa: Plexauridae) forests on settlement of benthic species: an experimental approach

Rationale: Coralligenous habitat is considered the second most important subtidal “hot spot” of species diversity in the Mediterranean Sea after the Posidonia oceanica meadows. It can be defined as a typical Mediterranean biogenic hard bottom, mainly produced by the accumulation of calcareous encrusting algae that, together with other builder organisms, form a multidimensional framework with a high micro-spatial variability. The development of this habitat depends on physical factors (i.e. light, hydrodynamism, nutrients, etc.), but also biologic interactions can play a relevant role in structuring the benthic assemblages. This great environmental heterogeneity allows several different assemblages to coexist in a reduced space. One of the most beautiful is that characterised by the Mediterranean gorgonian Paramuricea clavata (Risso, 1826) that can contribute to above 40% of total biomass of the community and brings significant structural complexity into the coralligenous habitat. In sites moderately exposed to waves and currents, P. clavata can form high-density populations (up to 60 colonies m-2) between 20 – 70 m in depth. Being a suspension feeder, where it forms dense populations, P. clavata plays a significant role in transferring energy from planktonic to benthic system. The effects of the branched colonies of P. clavata could be comparable to those of the forests on land. They can affect the micro scale hydrodynamism and light, promoting or inhibiting the growth of other species. Unfortunately, gorgonians are threatened by several anthropogenic disturbance factors (i.e. fishing, pollution, tourism) and by climatic anomalies, linked to the global changes, that are responsible of thermal stress, development of mucilage and enhanced pathogens activity, leading to mass mortality events in last decades. Till now, the possible effects of gorgonian forest loss are largely unknown. Our goal was to analyse the ecological role of these sea fan forests on the coralligenous benthic assemblages. Experimental setup and main results: The influence of P. clavata in the settlement and recruitment of epibenthic organisms was analysed by a field experiment carried out in two randomly selected places: Tavolara island and Portofino promontory. The experiment consisted in recreate the presence and absence of the gorgonian forest on recruitment panels, arranged in four plots per type (forested and non-forested), interspersed each other, and deployed at the same depth. On every forested panel 3 gorgonian colonies about 20 cm height were grafted with the use of Eppendorf tubes and epoxy resin bicomponent simulating a density of 190 sea fans per m-2. This density corresponds to a mean biomass of 825 g DW m-2,3 which is of the same order of magnitude of the natural high-density populations. After about 4 months, the panels were collected and analysed in laboratory in order to estimate the percent cover of all the species that have colonized the substrata. The gorgonian forest effects were tested by multivariate and univariate permutational analyses of the variance (PERMANOVA). Recruited assemblages largely differed between the two study sites, probably due to different environmental conditions including water quality and turbidity. On overall, the presence of P. clavata reduced the settlement and recruitment of several algae: the shadow caused by the gorgonian might reduce light availability and therefore their growth. This effect might be greater in places where the waters are on average more clear, since at Portofino it is less visible and could be masked by the high turbidity of the water. The same pattern was registered for forams, more abundant outside gorgonian forest, probably linked with algal distribution, shadowing effect or alimentary competition. The last one hypothesis could be valid also for serpulids polychaetes that growth mainly on non-forested panels. An opposite trend, was showed by a species of bryozoan and by an hydroid that is facilitated by the presence of P. clavata, probably because it attenuates irradiance level and hydrodynamism. Species diversity was significantly reduced by the presence of P. clavata forests at both sites. This seems in contrast with what we expected, but the result may be influenced by the large algal component on non-forested panels. The analysis confirmed the presence of differences in the species diversity among plots and between sites respectively due to natural high variability of the coralligenous system and to different local environment conditions. The reduction of species diversity due to the presence of gorgonians appeared related to a worst evenness rather than to less species richness. With our experiment it is demonstrated that the presence of P. clavata forests can significantly alter local coralligenous assemblages patterns, promoting or inhibiting the recruitment of some species, modifying trophic relationships and adding heterogeneity and complexity to the habitat. Moreover, P. clavata could have a stabilising effect on the coralligenous assemblages.

Engineering Concurrent and Event-driven Web Apps: An Agent-Oriented Approach based on the simpAL Language

Web is constantly evolving, thanks to the 2.0 transition, HTML5 new features and the coming of cloud-computing, the gap between Web and traditional desktop applications is tailing off. Web-apps are more and more widespread and bring several benefits compared to traditional ones. On the other hand reference technologies, JavaScript primarly, are not keeping pace, so a paradim shift is taking place in Web programming, and so many new languages and technologies are coming out. First objective of this thesis is to survey the reference and state-of-art technologies for client-side Web programming focusing in particular on what concerns concurrency and asynchronous programming. Taking into account the problems that affect existing technologies, we finally design simpAL-web, an innovative approach to tackle Web-apps development, based on the Agent-oriented programming abstraction and the simpAL language. == Versione in italiano: Il Web è in continua evoluzione, grazie alla transizione verso il 2.0, alle nuove funzionalità introdotte con HTML5 ed all’avvento del cloud-computing, il divario tra le applicazioni Web e quelle desktop tradizionali va assottigliandosi. Le Web-apps sono sempre più diffuse e presentano diversi vantaggi rispetto a quelle tradizionali. D’altra parte le tecnologie di riferimento, JavaScript in primis, non stanno tenendo il passo, motivo per cui la programmazione Web sta andando incontro ad un cambio di paradigma e nuovi linguaggi e tecnologie stanno spuntando sempre più numerosi. Primo obiettivo di questa tesi è di passare al vaglio le tecnologie di riferimento ed allo stato dell’arte per quel che riguarda la programmmazione Web client-side, porgendo particolare attenzione agli aspetti inerenti la concorrenza e la programmazione asincrona. Considerando i principali problemi di cui soffrono le attuali tecnologie passeremo infine alla progettazione di simpAL-web, un approccio innovativo con cui affrontare lo sviluppo di Web-apps basato sulla programmazione orientata agli Agenti e sul linguaggio simpAL.

Modeling and simulation of a synthetic genetic circuit that implements a multicelled behavior in a growing microcolony of E. coli

Synthetic Biology is a relatively new discipline, born at the beginning of the New Millennium, that brings the typical engineering approach (abstraction, modularity and standardization) to biotechnology. These principles aim to tame the extreme complexity of the various components and aid the construction of artificial biological systems with specific functions, usually by means of synthetic genetic circuits implemented in bacteria or simple eukaryotes like yeast. The cell becomes a programmable machine and its low-level programming language is made of strings of DNA. This work was performed in collaboration with researchers of the Department of Electrical Engineering of the University of Washington in Seattle and also with a student of the Corso di Laurea Magistrale in Ingegneria Biomedica at the University of Bologna: Marilisa Cortesi. During the collaboration I contributed to a Synthetic Biology project already started in the Klavins Laboratory. In particular, I modeled and subsequently simulated a synthetic genetic circuit that was ideated for the implementation of a multicelled behavior in a growing bacterial microcolony. In the first chapter the foundations of molecular biology are introduced: structure of the nucleic acids, transcription, translation and methods to regulate gene expression. An introduction to Synthetic Biology completes the section. In the second chapter is described the synthetic genetic circuit that was conceived to make spontaneously emerge, from an isogenic microcolony of bacteria, two different groups of cells, termed leaders and followers. The circuit exploits the intrinsic stochasticity of gene expression and intercellular communication via small molecules to break the symmetry in the phenotype of the microcolony. The four modules of the circuit (coin flipper, sender, receiver and follower) and their interactions are then illustrated. In the third chapter is derived the mathematical representation of the various components of the circuit and the several simplifying assumptions are made explicit. Transcription and translation are modeled as a single step and gene expression is function of the intracellular concentration of the various transcription factors that act on the different promoters of the circuit. A list of the various parameters and a justification for their value closes the chapter. In the fourth chapter are described the main characteristics of the gro simulation environment, developed by the Self Organizing Systems Laboratory of the University of Washington. Then, a sensitivity analysis performed to pinpoint the desirable characteristics of the various genetic components is detailed. The sensitivity analysis makes use of a cost function that is based on the fraction of cells in each one of the different possible states at the end of the simulation and the wanted outcome. Thanks to a particular kind of scatter plot, the parameters are ranked. Starting from an initial condition in which all the parameters assume their nominal value, the ranking suggest which parameter to tune in order to reach the goal. Obtaining a microcolony in which almost all the cells are in the follower state and only a few in the leader state seems to be the most difficult task. A small number of leader cells struggle to produce enough signal to turn the rest of the microcolony in the follower state. It is possible to obtain a microcolony in which the majority of cells are followers by increasing as much as possible the production of signal. Reaching the goal of a microcolony that is split in half between leaders and followers is comparatively easy. The best strategy seems to be increasing slightly the production of the enzyme. To end up with a majority of leaders, instead, it is advisable to increase the basal expression of the coin flipper module. At the end of the chapter, a possible future application of the leader election circuit, the spontaneous formation of spatial patterns in a microcolony, is modeled with the finite state machine formalism. The gro simulations provide insights into the genetic components that are needed to implement the behavior. In particular, since both the examples of pattern formation rely on a local version of Leader Election, a short-range communication system is essential. Moreover, new synthetic components that allow to reliably downregulate the growth rate in specific cells without side effects need to be developed. In the appendix are listed the gro code utilized to simulate the model of the circuit, a script in the Python programming language that was used to split the simulations on a Linux cluster and the Matlab code developed to analyze the data.

Dynamic Human Robot Interaction Framework Using Deep Learning and Robot Operating System (ROS): a practical approach

Trying to explain to a robot what to do is a difficult undertaking, and only specific types of people have been able to do so far, such as programmers or operators who have learned how to use controllers to communicate with a robot. My internship's goal was to create and develop a framework that would make that easier. The system uses deep learning techniques to recognize a set of hand gestures, both static and dynamic. Then, based on the gesture, it sends a command to a robot. To be as generic as feasible, the communication is implemented using Robot Operating System (ROS). Furthermore, users can add new recognizable gestures and link them to new robot actions; a finite state automaton enforces the users' input verification and correct action sequence. Finally, the users can create and utilize a macro to describe a sequence of actions performable by a robot.

Machine Learning in Automatic Tabulation for Constraint Model Reformulation

Combinatorial decision and optimization problems belong to numerous applications, such as logistics and scheduling, and can be solved with various approaches. Boolean Satisfiability and Constraint Programming solvers are some of the most used ones and their performance is significantly influenced by the model chosen to represent a given problem. This has led to the study of model reformulation methods, one of which is tabulation, that consists in rewriting the expression of a constraint in terms of a table constraint. To apply it, one should identify which constraints can help and which can hinder the solving process. So far this has been performed by hand, for example in MiniZinc, or automatically with manually designed heuristics, in Savile Row. Though, it has been shown that the performances of these heuristics differ across problems and solvers, in some cases helping and in others hindering the solving procedure. However, recent works in the field of combinatorial optimization have shown that Machine Learning (ML) can be increasingly useful in the model reformulation steps. This thesis aims to design a ML approach to identify the instances for which Savile Row’s heuristics should be activated. Additionally, it is possible that the heuristics miss some good tabulation opportunities, so we perform an exploratory analysis for the creation of a ML classifier able to predict whether or not a constraint should be tabulated. The results reached towards the first goal show that a random forest classifier leads to an increase in the performances of 4 different solvers. The experimental results in the second task show that a ML approach could improve the performance of a solver for some problem classes.