Secure gossiping techniques and components

Gossip protocols have proved to be a viable solution to set-up and manage largescale P2P services or applications in a fully decentralised scenario. The gossip or epidemic communication scheme is heavily based on stochastic behaviors and it is the fundamental idea behind many large-scale P2P protocols. It provides many remarkable features, such as scalability, robustness to failures, emergent load balancing capabilities, fast spreading, and redundancy of information. In some sense, these services or protocols mimic natural system behaviors in order to achieve their goals. The key idea of this work is that the remarkable properties of gossip hold when all the participants follow the rules dictated by the actual protocols. If one or more malicious nodes join the network and start cheating according to some strategy, the result can be catastrophic. In order to study how serious the threat posed by malicious nodes can be and what can be done to prevent attackers from cheating, we focused on a general attack model aimed to defeat a key service in gossip overlay networks (the Peer Sampling Service [JGKvS04]). We also focused on the problem of protecting against forged information exchanged in gossip services. We propose a solution technique for each problem; both techniques are general enough to be applied to distinct service implementations. As gossip protocols, our solutions are based on stochastic behavior and are fully decentralized. In addition, each technique’s behaviour is abstracted by a general primitive function extending the basic gossip scheme; this approach allows the adoptions of our solutions with minimal changes in different scenarios. We provide an extensive experimental evaluation to support the effectiveness of our techniques. Basically, these techniques aim to be building blocks or P2P architecture guidelines in building more resilient and more secure P2P services.

Clustering of variables around latent components: an application in consumer science

The present work proposes a method based on CLV (Clustering around Latent Variables) for identifying groups of consumers in L-shape data. This kind of datastructure is very common in consumer studies where a panel of consumers is asked to assess the global liking of a certain number of products and then, preference scores are arranged in a two-way table Y. External information on both products (physicalchemical description or sensory attributes) and consumers (socio-demographic background, purchase behaviours or consumption habits) may be available in a row descriptor matrix X and in a column descriptor matrix Z respectively. The aim of this method is to automatically provide a consumer segmentation where all the three matrices play an active role in the classification, getting homogeneous groups from all points of view: preference, products and consumer characteristics. The proposed clustering method is illustrated on data from preference studies on food products: juices based on berry fruits and traditional cheeses from Trentino. The hedonic ratings given by the consumer panel on the products under study were explained with respect to the product chemical compounds, sensory evaluation and consumer socio-demographic information, purchase behaviour and consumption habits.

Biological effects of bioactive components and extracts derived from edible plants commonly used in human nutrition

The main aim of this PhD research project was the evaluation of the biological effects of bioactive compounds derived from edible plants, with particular attention on their possibility to counteract oxidative damage and inflammation. After a preliminary study of in vitro antioxidant activity, regarding the modification eventually occurring after home freezing and cooking of edible vegetables, cultured mammalian cells were used as experimental model systems. Soluble extract and essential oils derived from different cultivars of Brassicaceae and Lamiaceae were tested as possible tools for the counteraction of the oxidative damage due to reactive oxygen species (ROS), underlining differences related to cultivar and agronomic techniques. Since accumulating evidence indicates that phytochemicals exhibit several additional properties in complex biological systems, a nutrigenomic approach was used to further explain the biological activity of a green tea extract, and to evidence the anti-inflammatory role of bioactive compounds derived from different foods. Overall, results obtained could contribute to a better understanding of the potential health benefit of plant foods.

Study of the components of quality in SO2-free wines obtained by innovative vinification protocols. Evaluation of the pre-fermentative addition of lysozyme and oenological tannins.

The research performed during the PhD candidature was intended to evaluate the quality of white wines, as a function of the reduction in SO2 use during the first steps of the winemaking process. In order to investigate the mechanism and intensity of interactions occurring between lysozyme and the principal macro-components of musts and wines, a series of experiments on model wine solutions were undertaken, focusing attention on the polyphenols, SO2, oenological tannins, pectines, ethanol, and sugar components. In the second part of this research program, a series of conventional sulphite added vinifications were compared to vinifications in which sulphur dioxide was replaced by lysozyme and consequently define potential winemaking protocols suitable for the production of SO2-free wines. To reach the final goal, the technological performance of two selected yeast strains with a low aptitude to produce SO2 during fermentation were also evaluated. The data obtained suggested that the addition of lysozyme and oenological tannins during the alcoholic fermentation could represent a promising alternative to the use of sulphur dioxide and a reliable starting point for the production of SO2-free wines. The different vinification protocols studied influenced the composition of the volatile profile in wines at the end of the alcoholic fermentation, especially with regards to alcohols and ethyl esters also a consequence of the yeast’s response to the presence or absence of sulphites during fermentation, contributing in different ways to the sensory profiles of wines. In fact, the aminoacids analysis showed that lysozyme can affect the consumption of nitrogen as a function of the yeast strain used in fermentation. During the bottle storage, the evolution of volatile compounds is affected by the presence of SO2 and oenological tannins, confirming their positive role in scaveging oxygen and maintaining the amounts of esters over certain levels, avoiding a decline in the wine’s quality. Even though a natural decrease was found on phenolic profiles due to oxidation effects caused by the presence of oxygen dissolved in the medium during the storage period, the presence of SO2 together with tannins contrasted the decay of phenolic content at the end of the fermentation. Tannins also showed a central role in preserving the polyphenolic profile of wines during the storage period, confirming their antioxidant property, acting as reductants. Our study focused on the fundamental chemistry relevant to the oxidative phenolic spoilage of white wines has demonstrated the suitability of glutathione to inhibit the production of yellow xanthylium cation pigments generated from flavanols and glyoxylic acid at the concentration that it typically exists in wine. The ability of glutathione to bind glyoxylic acid rather than acetaldehyde may enable glutathione to be used as a ‘switch’ for glyoxylic acid-induced polymerisation mechanisms, as opposed to the equivalent acetaldehyde polymerisation, in processes such as microoxidation. Further research is required to assess the ability of glutathione to prevent xanthylium cation production during the in-situ production of glyoxylic acid and in the presence of sulphur dioxide.

Functional components and lipid quality assessment in vegetable foods: analytical and technological approaches

Lipids are important components that contribute very significantly to nutritional and technological quality of foods because they are the least stable macro-components in foods, due to high susceptibility to oxidation. When rancidity take place, it makes food unhealthy and unacceptable for consumers. Thus, the presence of antioxidants, naturally present of added to foods, is required to enhance shelf life of foods. Moreover, antioxidant like phenolic compounds play an important role in human health enhancing the functionality of foods. The aim of this PhD project was the study of lipid quality and lipid oxidation in different vegetable foods focusing on analytical and technological aspects in order to figure out the effects of lipid composition and bioactive compounds (phenolic compounds, omega-3 fatty acids and dietary fiber) addition on their shelf life. In addition, bioavailability and antioxidant effects of phenolic compounds in human and animals, respectively, were evaluated after consumption of vegetable foods. The first section of the work was focused on the evaluation of lipid quality impact on technological behaviour of vegetable foods. Because of that, cocoa butter with different melting point were evaluated by chromatographic techniques (GC, TLC) and the sample with the higher melting point showed the presence of fatty acids, triglycerides, 2-monoglycerides and FT-IR profile different from genuine cocoa butter, meaning an adding of foreign fat (lauric-fat) not allowed by the law. Looking at lipid quality of other vegetable foods, an accelerated shelf life test (OXITEST®), was used to evaluate of lipid stability to oxidation in tarallini snacks made up using different lipid matrices (sunflower oil, extravirgin olive oil and a blend of extravirgin olive oil and lard). The results showed a good ability of OXITEST® to discriminate between lipid unsaturation and different cooking times, without any samples fat extraction. In the second section, the role of bioactive compounds on cereal based food shelf life was studied in different bakeries by GC, spectrophotometric methods and capillary electrophoresis. It was examined the relationships between phenolic compounds, added with flour, and lipid oxidation of tarallini and frollini. Both products showed an increase in lipid oxidation during storage and antioxidant effects on lipid oxidation were not as expected. Furthermore, the influence of enrichment in polyunsaturated fatty acids on lipid oxidation of pasta was evaluated. The results proved that LC n-3 PUFA were not significantly implicated in the onset of oxidation in spaghetti stored under daylight and accelerated oxidation in a laboratory heater. The importance of phenolic compounds as antioxidant in humans and rats was also studied, by HPLC/MS in the latter section. For this purpose, apigenin and apigenin glycosides excretion was investigated in six women’s urine in a 24 hours study. After a single dose of steamed artichokes, both aglicone and glucuronide metabolites were recovered in 24 h urine. Moreover, the effect of whole grain durum wheat bread and whole grain Kamut® khorasan bread in rats were evaluated. Both cereals were good sources of antioxidants but Kamut® bread fed animals had a better response to stress than wheat durum fed, especially when a sourdough bread was supplied.

Dynamic thermal performance of building components and application to the experimental and theoretical analysis of a ventilated façade

The general aim of this work is to contribute to the energy performance assessment of ventilated façades by the simultaneous use of experimental data and numerical simulations. A significant amount of experimental work was done on different types of ventilated façades with natural ventilation. The measurements were taken on a test building. The external walls of this tower are rainscreen ventilated façades. Ventilation grills are located at the top and at the bottom of the tower. In this work the modelling of the test building using a dynamic thermal simulation program (ESP-r) is presented and the main results discussed. In order to investigate the best summer thermal performance of rainscreen ventilated skin façade a study for different setups of rainscreen walls was made. In particular, influences of ventilation grills, air cavity thickness, skin colour, skin material, orientation of façade were investigated. It is shown that some types of rainscreen ventilated façade typologies are capable of lowering the cooling energy demand of a few percent points.

A Multilevel Model with Time Series Components for the Analysis of Tribal Art Prices

In the present work we perform an econometric analysis of the Tribal art market. To this aim, we use a unique and original database that includes information on Tribal art market auctions worldwide from 1998 to 2011. In Literature, art prices are modelled through the hedonic regression model, a classic fixed-effect model. The main drawback of the hedonic approach is the large number of parameters, since, in general, art data include many categorical variables. In this work, we propose a multilevel model for the analysis of Tribal art prices that takes into account the influence of time on artwork prices. In fact, it is natural to assume that time exerts an influence over the price dynamics in various ways. Nevertheless, since the set of objects change at every auction date, we do not have repeated measurements of the same items over time. Hence, the dataset does not constitute a proper panel; rather, it has a two-level structure in that items, level-1 units, are grouped in time points, level-2 units. The main theoretical contribution is the extension of classical multilevel models to cope with the case described above. In particular, we introduce a model with time dependent random effects at the second level. We propose a novel specification of the model, derive the maximum likelihood estimators and implement them through the E-M algorithm. We test the finite sample properties of the estimators and the validity of the own-written R-code by means of a simulation study. Finally, we show that the new model improves considerably the fit of the Tribal art data with respect to both the hedonic regression model and the classic multilevel model.

Design and optimization of components and processes for plasma sources in advanced material treatments

The research activities described in the present thesis have been oriented to the design and development of components and technological processes aimed at optimizing the performance of plasma sources in advanced in material treatments. Consumables components for high definition plasma arc cutting (PAC) torches were studied and developed. Experimental activities have in particular focussed on the modifications of the emissive insert with respect to the standard electrode configuration, which comprises a press fit hafnium insert in a copper body holder, to improve its durability. Based on a deep analysis of both the scientific and patent literature, different solutions were proposed and tested. First, the behaviour of Hf cathodes when operating at high current levels (250A) in oxidizing atmosphere has been experimentally investigated optimizing, with respect to expected service life, the initial shape of the electrode emissive surface. Moreover, the microstructural modifications of the Hf insert in PAC electrodes were experimentally investigated during first cycles, in order to understand those phenomena occurring on and under the Hf emissive surface and involved in the electrode erosion process. Thereafter, the research activity focussed on producing, characterizing and testing prototypes of composite inserts, combining powders of a high thermal conductibility (Cu, Ag) and high thermionic emissivity (Hf, Zr) materials The complexity of the thermal plasma torch environment required and integrated approach also involving physical modelling. Accordingly, a detailed line-by-line method was developed to compute the net emission coefficient of Ar plasmas at temperatures ranging from 3000 K to 25000 K and pressure ranging from 50 kPa to 200 kPa, for optically thin and partially autoabsorbed plasmas. Finally, prototypal electrodes were studied and realized for a newly developed plasma source, based on the plasma needle concept and devoted to the generation of atmospheric pressure non-thermal plasmas for biomedical applications.

What are the components that contribute to variability in echocardiographic measurements in aortic stenosis?

INTRODUCTION Echocardiography is the standard clinical approach for quantification of the severity of aortic stenosis (AS). A comprehensive examination of its overall reproducibility and the simultaneous estimation of its variance components by multiple operators, readers, probe applications, and beats have not been undertaken. METHOD AND RESULTS Twenty-seven subjects with AS were scanned over 7 months in the echo-department by a median of 3 different operators. From each patient and each operator multiple runs of beats from multiple probe positions were stored for later analysis by multiple readers. The coefficient of variation was 13.3%, 15.9%, 17.6%, and 20.2% for the aortic peak velocity (Vmax), and velocity time integral (VTI), and left ventricular outflow tract (LVOT) Vmax and VTI respectively. The largest individual contributors to the overall variability were the beat-to-beat variability (9.0%, 9.3%, 9.5%, 9.4% respectively) and that of inability of an individual operator to precisely apply the probe to the same position twice (8.3%, 9.4%, 12.9%, 10.7% respectively). The tracing (inter-reader) and reader (inter-reader), and operator (inter-operator) contribution were less important. CONCLUSIONS Reproducibility of measurements in AS is poorer than often reported in the literature. The source of this variability does not appear, as traditionally believed, to result from a lack of training or operator and reader specific factors. Rather the unavoidable beat-to-beat biological variability, and the inherent impossibility of applying the ultrasound probe in exactly the same position each time are the largest contributors. Consequently, guidelines suggesting greater standardisation of procedures and further training for sonographers are unlikely to result in an improvement in precision. Clinicians themselves should be wary of relying on even three-beat averages as their expected coefficient of variance is 10.3% for the peak velocity at the aortic valve.

Milk and dairy products: evaluation of bioactive components by analytical techniques

Milk and dairy products are important source of bioactive compounds useful to satisfy the nutritional and physiological needs of any newborns of mammalian species and useful to guarantee adequate growth and development of infants as well as provide a complete nourishment of adults. Physico-chemical, nutritional and organoleptic properties of the main constituents and the “minor” components have a crucial role in the quality of milk and milk products. Although in the past decades dietary milk fat was often regarded as harmful for the human health, recent researches suggest that milk contains specific fatty acids with nutritional and physiological health benefits. For these reasons, a major attention is given to the quantity and quality of total fat intake. In the recent years, as a result of the new concept of multifunctional agriculture and the changing behaviours about diet, consumer demands in favor of high-quality, security and safety dairy products are increased. Moreover, milk proteins and milk-derived bioactive peptides are recognized to have a high nutritive value, several health-promoting functional activities and excellent technological properties. Accordingly, growing interest in the development of functional dairy products and preparation of infant formulae for babies who cannot be breast-fed, has been give in order to meet the specific consumer’s requests. This manuscript presents the main results obtained during my PhD research aimed to evaluate the main bioactive lipids and proteins in milk and dairy products using innovative analytical techniques. The experimental section of this manuscript is divided in two sections where are reported the main results obtained during my research activities on dairy products and human milks in order to characterize their bioactive compounds for functional food applications.

Phenotypic characterization of the epithelial and myoepithelial components in canine and feline mammary tumours

In veterinary medicine, the ability to classify mammary tumours based on the molecular profile and also determine whether the immunophenotype of the regional lymph node and/or systemic metastases is equal to that of the primary tumor may be predictive on the estimation of the effectiveness of various cancer treatments that can be scheduled. Therefore, aims, developed as projects, of the past three years have been (1) to define the molecular phenotype of feline mammary carcinomas and their lymph node metastases according to a previous modified algorithm and to demonstrate the concordance or discordance of the molecular profile between the primary tumour and lymph node metastasis, (2) to analyze, in female dogs, the relationship between the primary mammary tumor and its lymph node metastasis based on immunohistochemical molecular characterization in order to develop the most specific prognostic-predictive models and targeted therapeutic options, and (3) to evaluate the molecular trend of cancer from its primary location to systemic metastases in three cats and two dogs with mammary tumors. The studies on mammary tumours, particularly in dogs, have drawn gradually increasing attention not exclusively to the epithelial component, but also to the myoepithelial cells. The lack of complete information on a valid panel of markers for the identification of these cells in the normal and neoplastic mammary gland and lack of investigation of immunohistochemical changes from an epithelial to a mesenchymal phenotype, was the aim of a parallel research. While investigating mammary tumours, it was noticed that only few studies had focused on the expression of CD117. Therefore, it was decided to further deepen the knowledge in order to characterize the immunohistochemical staining of CD117 in normal and neoplastic mammary tissue of the dog, and to correlate CD117 immunohistochemical results with mammary histotype, histological stage (invasiveness), Ki67 index and patient survival time.

Type Systems for Distributed Programs: Components and Sessions

Modern software systems, in particular distributed ones, are everywhere around us and are at the basis of our everyday activities. Hence, guaranteeing their cor- rectness, consistency and safety is of paramount importance. Their complexity makes the verification of such properties a very challenging task. It is natural to expect that these systems are reliable and above all usable. i) In order to be reliable, compositional models of software systems need to account for consistent dynamic reconfiguration, i.e., changing at runtime the communication patterns of a program. ii) In order to be useful, compositional models of software systems need to account for interaction, which can be seen as communication patterns among components which collaborate together to achieve a common task. The aim of the Ph.D. was to develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems appeared to be an adequate methodology, considering their success in guaranteeing not only basic safety properties, but also more sophisticated ones like, deadlock or livelock freedom in a concurrent setting. The main contributions of this dissertation are twofold. i) On the components side: we design types and a type system for a concurrent object-oriented calculus to statically ensure consistency of dynamic reconfigurations related to modifications of communication patterns in a program during execution time. ii) On the communication side: we study advanced safety properties related to communication in complex distributed systems like deadlock-freedom, livelock- freedom and progress. Most importantly, we exploit an encoding of types and terms of a typical distributed language, session π-calculus, into the standard typed π- calculus, in order to understand their expressive power.