People semantic description and re-identification from point cloud geometry

The automatic extraction of biometric descriptors of anonymous people is a challenging scenario in camera networks. This task is typically accomplished making use of visual information. Calibrated RGBD sensors make possible the extraction of point cloud information. We present a novel approach for people semantic description and re-identification using the individual point cloud information. The proposal combines the use of simple geometric features with point cloud features based on surface normals.

Realizzazione di riporti funzionalizzanti su superfici ceramiche per la produzione di energia elettrica mediante effetto fotovoltaico

This research, carried out during the PhD in Materials Engineering, deals with the creation of layers, with different functionality, deposited on a ceramic substrate, to obtain photovoltaic cells for electricity production. The research activities are included in the project PRRIITT, Measure 4 (Development of Networks), Action A (Research and Technology Transfer Laboratories), Thematic reference 3 (Advanced materials applications development), co-financed by the Emilia Romagna Region, for the creation of CECERBENCH laboratory, which aims to develop "Tiles with a functionalised surface”. The innovation lies in the study of materials and in the development of technologies to achieve a "photovoltaic surface", directly in the tiles production process. The goal is to preserve the technical characteristics, and to make available new surfaces, exploiting renewable energy sources. The realization of Building Integrated PhotoVoltaic (BIPV) is nowadays a more and more spread tendency. The aims of the research are essentially linked to the need to diversify the actual ceramic tile production (which is strongly present in the Emilia Romagna Region ), and to provide a higher added value to the tiles. Solar energy production is the primary objective of the functionalization, and has a relevant ecological impact, taking into account the overwhelming global energy demand. The specific activities of the PhD were carried out according to the achievement of scientific and technological objectives of CECERBENCH laboratory, and involved the collaboration in design solutions, to obtain the cells directly on the tiles surface. The author has managed personally a part of the research project. Layers with different features were made: - Electrically conductive layers, directly on the ceramic tiles surface; - Layers to obtain the photovoltaic functionality; - Electrically insulating, protective layers (double function). For each layer, the most suitable materials have been selected. Among the technical application, the screen printing was used. This technique, widely used in ceramics, has many application areas, including the electronics and photovoltaic industries. It is an inexpensive technique, easy to use in industrial production lines. The screen printing technique was therefore studied in depth by theoretical considerations, and through the use of rheological measurements.

Automatic code generation: from process algebraic architectural descriptions to multithreaded java programs

Process algebraic architectural description languages provide a formal means for modeling software systems and assessing their properties. In order to bridge the gap between system modeling and system im- plementation, in this thesis an approach is proposed for automatically generating multithreaded object-oriented code from process algebraic architectural descriptions, in a way that preserves – under certain assumptions – the properties proved at the architectural level. The approach is divided into three phases, which are illustrated by means of a running example based on an audio processing system. First, we develop an architecture-driven technique for thread coordination management, which is completely automated through a suitable package. Second, we address the translation of the algebraically-specified behavior of the individual software units into thread templates, which will have to be filled in by the software developer according to certain guidelines. Third, we discuss performance issues related to the suitability of synthesizing monitors rather than threads from software unit descriptions that satisfy specific constraints. In addition to the running example, we present two case studies about a video animation repainting system and the implementation of a leader election algorithm, in order to summarize the whole approach. The outcome of this thesis is the implementation of the proposed approach in a translator called PADL2Java and its integration in the architecture-centric verification tool TwoTowers.

Semantic-based middleware solutions to support context-aware service provisioning in pervasive environments

The dynamicity and heterogeneity that characterize pervasive environments raise new challenges in the design of mobile middleware. Pervasive environments are characterized by a significant degree of heterogeneity, variability, and dynamicity that conventional middleware solutions are not able to adequately manage. Originally designed for use in a relatively static context, such middleware systems tend to hide low-level details to provide applications with a transparent view on the underlying execution platform. In mobile environments, however, the context is extremely dynamic and cannot be managed by a priori assumptions. Novel middleware should therefore support mobile computing applications in the task of adapting their behavior to frequent changes in the execution context, that is, it should become context-aware. In particular, this thesis has identified the following key requirements for novel context-aware middleware that existing solutions do not fulfil yet. (i) Middleware solutions should support interoperability between possibly unknown entities by providing expressive representation models that allow to describe interacting entities, their operating conditions and the surrounding world, i.e., their context, according to an unambiguous semantics. (ii) Middleware solutions should support distributed applications in the task of reconfiguring and adapting their behavior/results to ongoing context changes. (iii) Context-aware middleware support should be deployed on heterogeneous devices under variable operating conditions, such as different user needs, application requirements, available connectivity and device computational capabilities, as well as changing environmental conditions. Our main claim is that the adoption of semantic metadata to represent context information and context-dependent adaptation strategies allows to build context-aware middleware suitable for all dynamically available portable devices. Semantic metadata provide powerful knowledge representation means to model even complex context information, and allow to perform automated reasoning to infer additional and/or more complex knowledge from available context data. In addition, we suggest that, by adopting proper configuration and deployment strategies, semantic support features can be provided to differentiated users and devices according to their specific needs and current context. This thesis has investigated novel design guidelines and implementation options for semantic-based context-aware middleware solutions targeted to pervasive environments. These guidelines have been applied to different application areas within pervasive computing that would particularly benefit from the exploitation of context. Common to all applications is the key role of context in enabling mobile users to personalize applications based on their needs and current situation. The main contributions of this thesis are (i) the definition of a metadata model to represent and reason about context, (ii) the definition of a model for the design and development of context-aware middleware based on semantic metadata, (iii) the design of three novel middleware architectures and the development of a prototypal implementation for each of these architectures, and (iv) the proposal of a viable approach to portability issues raised by the adoption of semantic support services in pervasive applications.