Costrutti ed Applicazioni di Programmazione Generica in Linguaggi Object-Oriented

Generic programming is likely to become a new challenge for a critical mass of developers. Therefore, it is crucial to refine the support for generic programming in mainstream Object-Oriented languages — both at the design and at the implementation level — as well as to suggest novel ways to exploit the additional degree of expressiveness made available by genericity. This study is meant to provide a contribution towards bringing Java genericity to a more mature stage with respect to mainstream programming practice, by increasing the effectiveness of its implementation, and by revealing its full expressive power in real world scenario. With respect to the current research setting, the main contribution of the thesis is twofold. First, we propose a revised implementation for Java generics that greatly increases the expressiveness of the Java platform by adding reification support for generic types. Secondly, we show how Java genericity can be leveraged in a real world case-study in the context of the multi-paradigm language integration. Several approaches have been proposed in order to overcome the lack of reification of generic types in the Java programming language. Existing approaches tackle the problem of reification of generic types by defining new translation techniques which would allow for a runtime representation of generics and wildcards. Unfortunately most approaches suffer from several problems: heterogeneous translations are known to be problematic when considering reification of generic methods and wildcards. On the other hand, more sophisticated techniques requiring changes in the Java runtime, supports reified generics through a true language extension (where clauses) so that backward compatibility is compromised. In this thesis we develop a sophisticated type-passing technique for addressing the problem of reification of generic types in the Java programming language; this approach — first pioneered by the so called EGO translator — is here turned into a full-blown solution which reifies generic types inside the Java Virtual Machine (JVM) itself, thus overcoming both performance penalties and compatibility issues of the original EGO translator. Java-Prolog integration Integrating Object-Oriented and declarative programming has been the subject of several researches and corresponding technologies. Such proposals come in two flavours, either attempting at joining the two paradigms, or simply providing an interface library for accessing Prolog declarative features from a mainstream Object-Oriented languages such as Java. Both solutions have however drawbacks: in the case of hybrid languages featuring both Object-Oriented and logic traits, such resulting language is typically too complex, thus making mainstream application development an harder task; in the case of library-based integration approaches there is no true language integration, and some “boilerplate code” has to be implemented to fix the paradigm mismatch. In this thesis we develop a framework called PatJ which promotes seamless exploitation of Prolog programming in Java. A sophisticated usage of generics/wildcards allows to define a precise mapping between Object-Oriented and declarative features. PatJ defines a hierarchy of classes where the bidirectional semantics of Prolog terms is modelled directly at the level of the Java generic type-system.

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.

Effetto della temperatura di conservazione del latte, dalla raccolta all'affioramento, sulla microflora del latte, del sieroinnesto e del formaggio Trentingrana

This PhD research is part of a project addressed to improve the quality of Grana Trentino production. The objectives were to evaluated if milk storage and collection procedures may affect cheese-making technology and quality. Actually the milk is collected and delivered to the cheese factory just after milking in 50 L cans without refrigeration or in tanks cooled at 18 °C. This procedure is expensive (two deliveries each day) and the milk quality is difficult to preserve as temperatures are not controlled. The milk refrigeration at the farm could allow a single delivery to the dairy. Therefore it could be a good strategy to preserve raw milk quality and reduce cheese spoilage. This operation may, however, have the drawbacks of favouring the growth of psychrotrophic bacteria and changing the aptitude of milk to coagulation. With the aim of studying the effect on milk and cheese of traditional and new refrigerated technologies of milk storage, two different collection and creaming technologies were compared. The trials were replicated in three cheese factories manufacturing Grana Trentino. Every cheese-making day, about 1000 milk liters were collected from always the same two farms in the different collection procedures (single or double). Milk was processed to produce 2 wheels of Grana trentino every day. During the refrigerated trials, milk was collected and stored at the farm in a mixed tank at 12 or 8 °C and then was carried to the dairy in truck once a day. 112 cheese making day were followed: 56 for traditional technology and 56 for the refrigerated one. Each one of these two thechnologies lead to different ways of creaming: long time in the traditional one and shorter in the new one. For every cheese making day we recorded time, temperatures and pH during the milk processing to cheese. Whole milk before ceraming, cream and skim milk after creaming, vat milk and whey were sampled during every cheese-making day for analysis. After 18 months ripening we opened 46 cheese wheels for further chemical and microbiological analyses. The trials were performed with the aim of: 1 estimate the effect of storage temperatures on microbial communities, physico-chemical or/and rheological differences of milk and skim milk after creaming. 2 detect by culture dependent (plate counts) and indipendent (DGGE) methodolgies the microbial species present in whole, skimmed milk, cream and cheese sampled under the rind and in the core; 3 estimate the physico-chemical characteristics, the proteolytic activity, the content of free aminoacids and volatile compounds in 18 months ripened Grana Trentino cheeses from different storing and creaming of milk technologies. The results presented are remarkable since this is the first in-deep study presenting microbiological and chemical analysis of Grana Trentino that even if belonging to Grana Padano Consortium, it is clearly different in the milk and in the manufacturing technology.

Sistemi riconfigurabili a basso consumo per applicazioni di monitoraggio distribuito

The term Ambient Intelligence (AmI) refers to a vision on the future of the information society where smart, electronic environment are sensitive and responsive to the presence of people and their activities (Context awareness). In an ambient intelligence world, devices work in concert to support people in carrying out their everyday life activities, tasks and rituals in an easy, natural way using information and intelligence that is hidden in the network connecting these devices. This promotes the creation of pervasive environments improving the quality of life of the occupants and enhancing the human experience. AmI stems from the convergence of three key technologies: ubiquitous computing, ubiquitous communication and natural interfaces. Ambient intelligent systems are heterogeneous and require an excellent cooperation between several hardware/software technologies and disciplines, including signal processing, networking and protocols, embedded systems, information management, and distributed algorithms. Since a large amount of fixed and mobile sensors embedded is deployed into the environment, the Wireless Sensor Networks is one of the most relevant enabling technologies for AmI. WSN are complex systems made up of a number of sensor nodes which can be deployed in a target area to sense physical phenomena and communicate with other nodes and base stations. These simple devices typically embed a low power computational unit (microcontrollers, FPGAs etc.), a wireless communication unit, one or more sensors and a some form of energy supply (either batteries or energy scavenger modules). WNS promises of revolutionizing the interactions between the real physical worlds and human beings. Low-cost, low-computational power, low energy consumption and small size are characteristics that must be taken into consideration when designing and dealing with WSNs. To fully exploit the potential of distributed sensing approaches, a set of challengesmust be addressed. Sensor nodes are inherently resource-constrained systems with very low power consumption and small size requirements which enables than to reduce the interference on the physical phenomena sensed and to allow easy and low-cost deployment. They have limited processing speed,storage capacity and communication bandwidth that must be efficiently used to increase the degree of local ”understanding” of the observed phenomena. A particular case of sensor nodes are video sensors. This topic holds strong interest for a wide range of contexts such as military, security, robotics and most recently consumer applications. Vision sensors are extremely effective for medium to long-range sensing because vision provides rich information to human operators. However, image sensors generate a huge amount of data, whichmust be heavily processed before it is transmitted due to the scarce bandwidth capability of radio interfaces. In particular, in video-surveillance, it has been shown that source-side compression is mandatory due to limited bandwidth and delay constraints. Moreover, there is an ample opportunity for performing higher-level processing functions, such as object recognition that has the potential to drastically reduce the required bandwidth (e.g. by transmitting compressed images only when something ‘interesting‘ is detected). The energy cost of image processing must however be carefully minimized. Imaging could play and plays an important role in sensing devices for ambient intelligence. Computer vision can for instance be used for recognising persons and objects and recognising behaviour such as illness and rioting. Having a wireless camera as a camera mote opens the way for distributed scene analysis. More eyes see more than one and a camera system that can observe a scene from multiple directions would be able to overcome occlusion problems and could describe objects in their true 3D appearance. In real-time, these approaches are a recently opened field of research. In this thesis we pay attention to the realities of hardware/software technologies and the design needed to realize systems for distributed monitoring, attempting to propose solutions on open issues and filling the gap between AmI scenarios and hardware reality. The physical implementation of an individual wireless node is constrained by three important metrics which are outlined below. Despite that the design of the sensor network and its sensor nodes is strictly application dependent, a number of constraints should almost always be considered. Among them: • Small form factor to reduce nodes intrusiveness. • Low power consumption to reduce battery size and to extend nodes lifetime. • Low cost for a widespread diffusion. These limitations typically result in the adoption of low power, low cost devices such as low powermicrocontrollers with few kilobytes of RAMand tenth of kilobytes of program memory with whomonly simple data processing algorithms can be implemented. However the overall computational power of the WNS can be very large since the network presents a high degree of parallelism that can be exploited through the adoption of ad-hoc techniques. Furthermore through the fusion of information from the dense mesh of sensors even complex phenomena can be monitored. In this dissertation we present our results in building several AmI applications suitable for a WSN implementation. The work can be divided into two main areas:Low Power Video Sensor Node and Video Processing Alghoritm and Multimodal Surveillance . Low Power Video Sensor Nodes and Video Processing Alghoritms In comparison to scalar sensors, such as temperature, pressure, humidity, velocity, and acceleration sensors, vision sensors generate much higher bandwidth data due to the two-dimensional nature of their pixel array. We have tackled all the constraints listed above and have proposed solutions to overcome the current WSNlimits for Video sensor node. We have designed and developed wireless video sensor nodes focusing on the small size and the flexibility of reuse in different applications. The video nodes target a different design point: the portability (on-board power supply, wireless communication), a scanty power budget (500mW),while still providing a prominent level of intelligence, namely sophisticated classification algorithmand high level of reconfigurability. We developed two different video sensor node: The device architecture of the first one is based on a low-cost low-power FPGA+microcontroller system-on-chip. The second one is based on ARM9 processor. Both systems designed within the above mentioned power envelope could operate in a continuous fashion with Li-Polymer battery pack and solar panel. Novel low power low cost video sensor nodes which, in contrast to sensors that just watch the world, are capable of comprehending the perceived information in order to interpret it locally, are presented. Featuring such intelligence, these nodes would be able to cope with such tasks as recognition of unattended bags in airports, persons carrying potentially dangerous objects, etc.,which normally require a human operator. Vision algorithms for object detection, acquisition like human detection with Support Vector Machine (SVM) classification and abandoned/removed object detection are implemented, described and illustrated on real world data. Multimodal surveillance: In several setup the use of wired video cameras may not be possible. For this reason building an energy efficient wireless vision network for monitoring and surveillance is one of the major efforts in the sensor network community. Energy efficiency for wireless smart camera networks is one of the major efforts in distributed monitoring and surveillance community. For this reason, building an energy efficient wireless vision network for monitoring and surveillance is one of the major efforts in the sensor network community. The Pyroelectric Infra-Red (PIR) sensors have been used to extend the lifetime of a solar-powered video sensor node by providing an energy level dependent trigger to the video camera and the wireless module. Such approach has shown to be able to extend node lifetime and possibly result in continuous operation of the node.Being low-cost, passive (thus low-power) and presenting a limited form factor, PIR sensors are well suited for WSN applications. Moreover techniques to have aggressive power management policies are essential for achieving long-termoperating on standalone distributed cameras needed to improve the power consumption. We have used an adaptive controller like Model Predictive Control (MPC) to help the system to improve the performances outperforming naive power management policies.

Atomic Force Microscopy Studies of the Amyloidogenic Processes of Intrinsically Unstructured Proteins related to Neurodegenerative Diseases

Protein aggregation and formation of insoluble aggregates in central nervous system is the main cause of neurodegenerative disease. Parkinson’s disease is associated with the appearance of spherical masses of aggregated proteins inside nerve cells called Lewy bodies. α-Synuclein is the main component of Lewy bodies. In addition to α-synuclein, there are more than a hundred of other proteins co-localized in Lewy bodies: 14-3-3η protein is one of them. In order to increase our understanding on the aggregation mechanism of α-synuclein and to study the effect of 14-3-3η on it, I addressed the following questions. (i) How α-synuclein monomers pack each other during aggregation? (ii) Which is the role of 14-3-3η on α-synuclein packing during its aggregation? (iii) Which is the role of 14-3-3η on an aggregation of α-synuclein “seeded” by fragments of its fibrils? In order to answer these questions, I used different biophysical techniques (e.g., Atomic force microscope (AFM), Nuclear magnetic resonance (NMR), Surface plasmon resonance (SPR) and Fluorescence spectroscopy (FS)).

Development of guidelines for microbiological control in microbrewery

Over the past 15 years the Italian brewing scene showed interesting changes, especially with regard to the creation of many breweries with an annual production of less than 10,000 hectoliters. The beers produced by microbreweries are very susceptible to attack by spoilage micro-organisms that cause the deterioration of beer quality characteristics. In addition, most of the microbreweries do not practice heat treatments of stabilization and do not carry out quality checks on the product. The high presence of beer spoilage bacteria is an economic problem for the brewing industry because it can damage the brand and it causes high costs of product retrieval. This thesis project was aimed to study the management of the production process in the Italian microbreweries within a production less than 10,000 hl. In particular, the annual production, type of plant, yeast management, process management, cleaning and sanitizing of a representative sample of microbreweries were investigated. Furthermore was made a collection of samples in order to identify, with simple methods, what are spoilage bacteria more present in the Italian craft beers. 21% of the beers analysed were positive at the presence of lactic acid bacteria. These analytical data show the importance of understanding what are the weak points of the production process that cause the development of spoilage bacteria. Finally, the thesis examined the actual production of two microbreweries in order to understand the process management that can promote the growth of spoilage bacteria in beer and production plant. The analysis of the data for the two case studies was helpful to understand what are the critical points where the microorganisms are most frequently in contact with the product. The hygiene practices are crucial to ensure the quality of the finished product, especially in the case of non-pasteurized beer.

Use of essential oils and biocontrol cultures for the improvement of shelf-life of fresh cut products

The demand of minimally processed fruits and vegetables has increased in the last years. However, their intrinsic characteristics may favor the growth of pathogens and spoilage microbiota. The negative effects on human health reported for some traditional chemical sanitizers have justified the search for substitutes to guarantee food safety and quality. In this work we have evaluate the potential of some essential oils and their components to improve the safety and the shelf life of Lamb’s lettuce (Valerianella locusta) and apples (Golden delicious). Moreover, the effects of selected lactic acid bacteria alone or in combination with essential oils or their components, on the shelf-life and safety as well as organoleptic properties of minimally processed products, were evaluated. Since the lack of knowledge of microbial cell targets of essential oils represent one of the most important limit to the use of these molecules at industrial level, another aim of this thesis was the study of the action mechanisms of essential oils and their components. The results obtained showed the beneficial effects of the natural antimicrobials as well as the selected lactic acid bacteria on minimally processed fruit and vegetable safety and shelf-life, without detrimental effects on the quality parameters. The beneficial effects obtained by the use of the selected biocontrol agents were further increased combining them with selected natural antimicrobials. The natural antimicrobial employed induced noticeable modifications of membrane fatty acid profiles and volatile compounds produced by microbial cells during the growth. The modification of the expression in genes involved in fatty acid biosynthesis suggesting that the cytoplasmic membrane of microbial cells is one of the major cellular target of essential oils and their components. The comprehension of microbial stress response mechanisms can contribute to the scaling up of natural antimicrobials and bio-control agents at industrial level.

Advanced lithium battery chemistries for sustainable transportation

The specific energy of lithium-ion batteries (LIBs) is today 200 Wh/kg, a value not sufficient to power fully electric vehicles with a driving range of 400 km which requires a battery pack of 90 kWh. To deliver such energy the battery weight should be higher than 400 kg and the corresponding increase of vehicle mass would narrow the driving range to 280 km. Two main strategies are pursued to improve the energy of the rechargeable lithium batteries up to the transportation targets. The first is the increase of LIBs working voltage by using high-voltage cathode materials. The second is the increase of battery capacity by the development of a cell chemistry where oxygen redox reaction (ORR) occurs at the cathode and metal lithium is the anode (Li/O2 battery). This PhD work is focused on the development of high-voltage safe cathodes for LIBs, and on the investigation of the feasibility of Li/O2 battery operating with ionic liquid(IL)-based electrolytes. The use of LiMn1-xFexPO4 as high-voltage cathode material is discussed. Synthesis and electrochemical tests of three different phosphates, more safe cathode materials than transition metal oxides, are reported. The feasibility of Li/O2 battery operating in IL-based electrolytes is also discussed. Three aspects have been investigated: basic aspects of ORR, synthesis and characterization of porous carbons as positive electrode materials and study of limiting factors to the electrode capacity and cycle-life. Regarding LIBs, the findings on LiMnPO4 prepared by soluble precursors demonstrate that a good performing Mn-based olivine is viable without the coexistence of iron. Regarding Li/O2 battery, the oxygen diffusion coefficient and concentration values in different ILs were obtained. This work highlighted that the O2 mass transport limits the Li/O2 capacity at high currents; it gave indications on how to increase battery capacity by using a flow-cell and a porous carbon as cathode.

Landscape ecology and genetics of the wolf in Italy

This PhD Thesis includes five main parts on diverse topics. The first two parts deal with the trophic ecology of wolves in Italy consequently to a recent increase of wild ungulates abundance. Data on wolf diet across time highlighted how wild ungulates are important food resource for wolves in Italy. Increasing wolf population, increasing numbers of wild ungulates and decreasing livestock consume are mitigating wolf-man conflicts in Italy in the near future. In the third part, non-invasive genetic sampling techniques were used to obtain genotypes and genders of about 400 wolves. Thus, wolf packs were genetically reconstructed using diverse population genetic and parentage software. Combining the results on pack structure and genetic relatedness with sampling locations, home ranges of wolf packs and dispersal patterns were identified. These results, particularly important for the conservation management of wolves in Italy, illustrated detailed information that can be retrieved from genetic identification of individuals. In the fourth part, wolf locations were combined with environmental information obtained as GIS-layers. Modern species distribution models (niche models) were applied to infer potential wolf distribution and predation risk. From the resulting distribution maps, information pastures with the highest risk of depredation were derived. This is particularly relevant as it allows identifying those areas under danger of carnivore attack on livestock. Finally, in the fifth part, habitat suitability models were combined with landscape genetic analysis. On one side landscape genetic analyses on the Italian wolves provided new information on the dynamics and connectivity of the population and, on the other side, a profound analysis of the effects that habitat suitability methods had on the parameterization of landscape genetic analyses was carried out to contributed significantly to landscape genetic theory.