Semantic coordination through programmable Tuple spaces

Two of the main features of today complex software systems like pervasive computing systems and Internet-based applications are distribution and openness. Distribution revolves around three orthogonal dimensions: (i) distribution of control|systems are characterised by several independent computational entities and devices, each representing an autonomous and proactive locus of control; (ii) spatial distribution|entities and devices are physically distributed and connected in a global (such as the Internet) or local network; and (iii) temporal distribution|interacting system components come and go over time, and are not required to be available for interaction at the same time. Openness deals with the heterogeneity and dynamism of system components: complex computational systems are open to the integration of diverse components, heterogeneous in terms of architecture and technology, and are dynamic since they allow components to be updated, added, or removed while the system is running. The engineering of open and distributed computational systems mandates for the adoption of a software infrastructure whose underlying model and technology could provide the required level of uncoupling among system components. This is the main motivation behind current research trends in the area of coordination middleware to exploit tuple-based coordination models in the engineering of complex software systems, since they intrinsically provide coordinated components with communication uncoupling and further details in the references therein. An additional daunting challenge for tuple-based models comes from knowledge-intensive application scenarios, namely, scenarios where most of the activities are based on knowledge in some form|and where knowledge becomes the prominent means by which systems get coordinated. Handling knowledge in tuple-based systems induces problems in terms of syntax - e.g., two tuples containing the same data may not match due to differences in the tuple structure - and (mostly) of semantics|e.g., two tuples representing the same information may not match based on a dierent syntax adopted. Till now, the problem has been faced by exploiting tuple-based coordination within a middleware for knowledge intensive environments: e.g., experiments with tuple-based coordination within a Semantic Web middleware (surveys analogous approaches). However, they appear to be designed to tackle the design of coordination for specic application contexts like Semantic Web and Semantic Web Services, and they result in a rather involved extension of the tuple space model. The main goal of this thesis was to conceive a more general approach to semantic coordination. In particular, it was developed the model and technology of semantic tuple centres. It is adopted the tuple centre model as main coordination abstraction to manage system interactions. A tuple centre can be seen as a programmable tuple space, i.e. an extension of a Linda tuple space, where the behaviour of the tuple space can be programmed so as to react to interaction events. By encapsulating coordination laws within coordination media, tuple centres promote coordination uncoupling among coordinated components. Then, the tuple centre model was semantically enriched: a main design choice in this work was to try not to completely redesign the existing syntactic tuple space model, but rather provide a smooth extension that { although supporting semantic reasoning { keep the simplicity of tuple and tuple matching as easier as possible. By encapsulating the semantic representation of the domain of discourse within coordination media, semantic tuple centres promote semantic uncoupling among coordinated components. The main contributions of the thesis are: (i) the design of the semantic tuple centre model; (ii) the implementation and evaluation of the model based on an existent coordination infrastructure; (iii) a view of the application scenarios in which semantic tuple centres seem to be suitable as coordination media.

Weighted Inequalities and Lipschitz Spaces

In this thesis I have characterized the trace measures for particular potential spaces of functions defined on R^n, but "mollified" so that the potentials are de facto defined on the upper half-space of R^n. The potential functions are kind Riesz-Bessel. The characterization of trace measures for these spaces is a test condition on elementary sets of the upper half-space. To prove the test condition as sufficient condition for trace measures, I had give an extension to the case of upper half-space of the Muckenhoupt-Wheeden and Wolff inequalities. Finally I characterized the Carleson-trace measures for Besov spaces of discrete martingales. This is a simplified discrete model for harmonic extensions of Lipschitz-Besov spaces.

Knots and links in lens spaces

The aim of this dissertation is to improve the knowledge of knots and links in lens spaces. If the lens space L(p,q) is defined as a 3-ball with suitable boundary identifications, then a link in L(p,q) can be represented by a disk diagram, i.e. a regular projection of the link on a disk. In this contest, we obtain a complete finite set of Reidemeister-type moves establishing equivalence, up to ambient isotopy. Moreover, the connections of this new diagram with both grid and band diagrams for links in lens spaces are shown. A Wirtinger-type presentation for the group of the link and a diagrammatic method giving the first homology group are described. A class of twisted Alexander polynomials for links in lens spaces is computed, showing its correlation with Reidemeister torsion. One of the most important geometric invariants of links in lens spaces is the lift in 3-sphere of a link L in L(p,q), that is the counterimage of L under the universal covering of L(p,q). Starting from the disk diagram of the link, we obtain a diagram of the lift in the 3-sphere. Using this construction it is possible to find different knots and links in L(p,q) having equivalent lifts, hence we cannot distinguish different links in lens spaces only from their lift. The two final chapters investigate whether several existing invariants for links in lens spaces are essential, i.e. whether they may assume different values on links with equivalent lift. Namely, we consider the fundamental quandle, the group of the link, the twisted Alexander polynomials, the Kauffman Bracket Skein Module and an HOMFLY-PT-type invariant.

Cooperative Cognitive Wireless Networks over TV White and Gray Spaces

Wireless networks rapidly became a fundamental pillar of everyday activities. Whether at work or elsewhere, people often benefits from always-on connections. This trend is likely to increase, and hence actual technologies struggle to cope with the increase in traffic demand. To this end, Cognitive Wireless Networks have been studied. These networks aim at a better utilization of the spectrum, by understanding the environment in which they operate, and adapt accordingly. In particular recently national regulators opened up consultations on the opportunistic use of the TV bands, which became partially free due to the digital TV switch over. In this work, we focus on the indoor use of of TVWS. Interesting use cases like smart metering and WiFI like connectivity arise, and are studied and compared against state of the art technology. New measurements for TVWS networks will be presented and evaluated, and fundamental characteristics of the signal derived. Then, building on that, a new model of spectrum sharing, which takes into account also the height from the terrain, is presented and evaluated in a real scenario. The principal limits and performance of TVWS operated networks will be studied for two main use cases, namely Machine to Machine communication and for wireless sensor networks, particularly for the smart grid scenario. The outcome is that TVWS are certainly interesting to be studied and deployed, in particular when used as an additional offload for other wireless technologies. Seeing TVWS as the only wireless technology on a device is harder to be seen: the uncertainity in channel availability is the major drawback of opportunistic networks, since depending on the primary network channel allocation might lead in having no channels available for communication. TVWS can be effectively exploited as offloading solutions, and most of the contributions presented in this work proceed in this direction.

Influence of the natural environment on health: evaluation of different environmental contexts (urban, green spaces) and intervention proposals

Urbanization has grown during the last decades, with an increase in population concentrated in cities. Cities are usually relatively nature-poor, and the loss of green urban space likely leads to less contact with the natural world for urban dwellers. It is known that the natural environment could provide important advantages, and the loss of contact with this type of environment has potential negative impacts on the quality of life. The use of green urban space demonstrated stronger benefits for mental health and stress reduction. In general, exposure to green urban space is linked to a reduction in mortality rates, due to the promotion of a healthy lifestyle. Green urban space could be an optimal environment in which to perform physical activity. Undertaking regular physical activity is one of the major determinants of health. The benefits of exercise have been widely demonstrated through a wide range of studies. Benefits are linked to the treatment and prevention of most chronic and non-communicable diseases, that are not contagious, but they are usually long-lasting. Regular physical activity could reduce mental health problems, such as anxiety. The World Health Organization proposed to improve physical activity programs through the implementation of interventions in green urban spaces. Green urban space provides a safe, accessible, and attractive place to perform physical activity. All the interventions aimed to promote the practice of physical activity and to reduce sedentary behavior are important. It is well known that physical activity has several positive effects, a great amount of the population remains inactive. A good strategy could be to show people how integrated physical activity into their all-day life, for example through the use of green urban space or active commuting. The results in the present thesis showed the effectiveness of performing physical activity in a natural environment and of active commuting.

Coworking spaces: thriving and organizing in the new world of work

The present Ph.D. thesis proposes three studies on coworking spaces to understand how they foster thriving and organizing in the new world of work. The first study maps and analyzes the thematic structure and evolution of the academic debate that has emerged around coworking spaces in recent years. In doing so, it conducts a science mapping analysis of 351 publications on coworking spaces to detect and visualize key themes in the literature and their co-occurrence with subthemes. The second study proposes an interpretive review of 98 publications from multiple disciplines to shed light on how coworking spaces emerge as sites of organizing for professionals who are not formally connected to one another. It suggests five dimensions that articulate coworking spaces as sites of organizing – ‘materiality,’ ‘temporality,’ ‘affect,’ ‘identity,’ and ‘formalization.’ This study aims to go beyond the community-related understanding of coworking that has characterized most scholarly attention, instead focusing on coworking spaces’ organizational character. The third study investigates what drives thriving at work for remote workers in coworking spaces. In doing so, it acknowledges the potential complex set of interrelationships underpinning thriving at work and mobilizes complexity theory and qualitative comparative analysis to uncover six different, yet equifinal, configurations of antecedents driving remote workers’ thriving in coworking spaces.

Potential theory on metric spaces

This work revolves around potential theory in metric spaces, focusing on applications of dyadic potential theory to general problems associated to functional analysis and harmonic analysis. In the first part of this work we consider the weighted dual dyadic Hardy's inequality over dyadic trees and we use the Bellman function method to characterize the weights for which the inequality holds, and find the optimal constant for which our statement holds. We also show that our Bellman function is the solution to a stochastic optimal control problem. In the second part of this work we consider the problem of quasi-additivity formulas for the Riesz capacity in metric spaces and we prove formulas of quasi-additivity in the setting of the tree boundaries and in the setting of Ahlfors-regular spaces. We also consider a proper Harmonic extension to one additional variable of Riesz potentials of functions on a compact Ahlfors-regular space and we use our quasi-additivity formula to prove a result of tangential convergence of the harmonic extension of the Riesz potential up to an exceptional set of null measure

Power in public art spaces. F(r)ictions, performativity and the generation of counter-hegemonic narratives

Abstract This thesis applies queer theories to the examination of experiences which go beyond queerness. Queer, decolonial, antiracist and feminist new materialist concepts are implemented to the analysis of four case studies dealing with power and art in public spaces. By applying concepts as methodologies, autoethnographic reflections and f(r)ictions as research alternatives, the thesis brings up new diffractive readings from where to perform those scenarios differently. In doing so, the thesis disentangles the historical, material, philosophical, political and disruptive meanings which haunt the four case studies and triggers the artivist potential of their counter-hegemonic narratives.