Sustainability indicators for environmental management and decision making

The general objective of this research is to explore theories and methodologies of sustainability indicators, environmental management and decision making disciplines with the operational purpose of producing scientific, robust and relevant information for supporting system understanding and decision making in real case studies. Several tools have been applied in order to increase the understanding of socio-ecological systems as well as providing relevant information on the choice between alternatives. These tools have always been applied having in mind the complexity of the issues and the uncertainty tied to the partial knowledge of the systems under study. Two case studies with specific application to performances measurement (environmental performances in the case of the K8 approach and sustainable development performances in the case of the EU Sustainable Development Strategy) and a case study about the selection of sustainable development indicators amongst Municipalities in Scotland, are discussed in the first part of the work. In the second part of the work, the common denominator among subjects consists in the application of spatial indices and indicators to address operational problems in land use management within the territory of the Ravenna province (Italy). The main conclusion of the thesis is that a ‘perfect’ methodological approach which always produces the best results in assessing sustainability performances does not exist. Rather, there is a pool of correct approaches answering different evaluation questions, to be used when methodologies fit the purpose of the analysis. For this reason, methodological limits and conceptual assumptions as well as consistency and transparency of the assessment, become the key factors for assessing the quality of the analysis.

Biohydrogen production from food industry waste by suspended and immobilized thermophylic bacteria

This work describes hydrogen production by anaerobic digestion of glucose, molasses and milk whey by 4 thermophilic Thermotoga strains. In the attached-cell tests, the biofilm support characterized by the highest specific surface resulted in the best H2 rate. All the Thermotoga strains examined (T. neapolitana, T. maritima, T. naphtophila, T. petrophila) could produce H2 from glucose, molasses and milk whey, both in suspended- and attached-cell tests. With all the three substrates, the best performances were obtained with T. neapolitana. Some tests were conducted out to select the optimal carrier for the attached-cell conditions. 4 types of carrier were tested: 3 sintered glass carriers and a ceramic one; the chosen carrier was Biomax.

Earthquake forecasting and seismic hazard analysis: some insights on the testing phase and the modeling

This thesis is divided in three chapters. In the first chapter we analyse the results of the world forecasting experiment run by the Collaboratory for the Study of Earthquake Predictability (CSEP). We take the opportunity of this experiment to contribute to the definition of a more robust and reliable statistical procedure to evaluate earthquake forecasting models. We first present the models and the target earthquakes to be forecast. Then we explain the consistency and comparison tests that are used in CSEP experiments to evaluate the performance of the models. Introducing a methodology to create ensemble forecasting models, we show that models, when properly combined, are almost always better performing that any single model. In the second chapter we discuss in depth one of the basic features of PSHA: the declustering of the seismicity rates. We first introduce the Cornell-McGuire method for PSHA and we present the different motivations that stand behind the need of declustering seismic catalogs. Using a theorem of the modern probability (Le Cam's theorem) we show that the declustering is not necessary to obtain a Poissonian behaviour of the exceedances that is usually considered fundamental to transform exceedance rates in exceedance probabilities in the PSHA framework. We present a method to correct PSHA for declustering, building a more realistic PSHA. In the last chapter we explore the methods that are commonly used to take into account the epistemic uncertainty in PSHA. The most widely used method is the logic tree that stands at the basis of the most advanced seismic hazard maps. We illustrate the probabilistic structure of the logic tree, and then we show that this structure is not adequate to describe the epistemic uncertainty. We then propose a new probabilistic framework based on the ensemble modelling that properly accounts for epistemic uncertainties in PSHA.

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.

The relationship between eating behavior and psychological distress among overweight and obese people: is there a role for mindfulness?

This research based on 3 indipendent studies, sought to explore the nature of the relationship between overweight/obesity, eating behaviors and psychological distress; the construct of Mindful eating trough the validation of the Italian adaptation of the Mindful Eating Questionnaire (MEQ); the role of mindfulnessand mindful eating as respectively potential mediator and moderator between overeating behavior (binge eating and emotional overeating) and negative outcomes (psychological distress, body dissatisfaction). All the samples were divided in normal weight, overweight and obese according to BMI categories. STUDY1: In a sample of 691 subjects (69.6% female, mean aged 39.26 years) was found that BMI was not associated with psychological distress, whereas binge eating increases the psychopathological level. BMI and male gender represent negative predictors of psychological distress, but certain types of overeating (i.e., NES/grazing, overeating during or out of meals, and guilt/restraint) result as positive predictors.. STUDY 2 : A sample of 1067 subjects (61.4% female, mean aged 34 years) was analized. The Italian MEQ resulted in a 26-item 4-factor model measuring Disinhibition, Awareness, Distraction, and Emotional response. Internal consistency and test-retest reliability were acceptable MEQ correlated positively with mindfulness (FMI) and it was associated with sociodemographic variables, BMI, meditation. type of exercise and diet. STUDY 3, based on a sample of 502 subjects (68.8% female, mean aged 39.42 years) showed that MEQ and FMI negatively correlated with BES, EOQ, SCL-90-R, and BIAQ. Obese people showed lower level of mindful eating and higher levels of binge eating, emotional overeating, and body dissatisfaction, compared to the other groups Mindfulness resulted to partially mediates the relationship between a) binge eating and psychological distress, b) emotional overeating and psychological distress, c) binge eating and mental well-being, d) emotional overeating and menal well-being. Mindful eating was a moderator only in the relationship between emotional overeating and body dissatisfaction.

Neutrino velocity measurement with the OPERA experiment in the CNGS beam

In the thesis is presented the measurement of the neutrino velocity with the OPERA experiment in the CNGS beam, a muon neutrino beam produced at CERN. The OPERA detector observes muon neutrinos 730 km away from the source. Previous measurements of the neutrino velocity have been performed by other experiments. Since the OPERA experiment aims the direct observation of muon neutrinos oscillations into tau neutrinos, a higher energy beam is employed. This characteristic together with the higher number of interactions in the detector allows for a measurement with a much smaller statistical uncertainty. Moreover, a much more sophisticated timing system (composed by cesium clocks and GPS receivers operating in “common view mode”), and a Fast Waveform Digitizer (installed at CERN and able to measure the internal time structure of the proton pulses used for the CNGS beam), allows for a new measurement with a smaller systematic error. Theoretical models on Lorentz violating effects can be investigated by neutrino velocity measurements with terrestrial beams. The analysis has been carried out with blind method in order to guarantee the internal consistency and the goodness of each calibration measurement. The performed measurement is the most precise one done with a terrestrial neutrino beam, the statistical accuracy achieved by the OPERA measurement is about 10 ns and the systematic error is about 20 ns.

Procedimento legislativo e qualita' della legislazione. Criticita' e prospettive

La tesi riprende un tema che è stato oggetto in passato di studi anche molto approfonditi; oggi sembra essere tornato alla ribalta grazie ad alcuni contributi che hanno nuovamente stimolato la dottrina a confrontarsi su aspetti così delicati anche alla luce della crisi economica. E'stato da sempre rilevato che la buona scrittura delle norme è un fattore fondamentale per il rilancio dell’economia del paese, per la semplificazione e per garantire ordine, coerenza e chiarezza all’ordinamento giuridico. La prima parte è incentrata su una ricostruzione storica e giuridica delle fonti che hanno disciplinato le “regole per la qualità delle regole”, oltre ad una panoramica della dottrina che si è occupata in passato del tema. Segue l’individuazione specifica di quali sono le regole formali e sostanziali di drafting. In particolare, una parte è dedicata alla giurisprudenza costituzionale per comprendere se esiste o meno un aggancio per la Corte Costituzionale da permetterle il sindacato sulle “regole oscure” e dichiararle illegittime. La seconda parte analizza le pressai, in particolare si è scelto di analizzare il rapporto tra Governo e Parlamento nelle problematiche principali che attengono al procedimento legislativo e alla cornice entro la quale viene esplicato in relazione alla decretazione d’urgenza, maxiemendamenti, questione di fiducia, istruttoria in commissione, gruppi di pressione. Ciò che è stato rilevato, è una scarsa aderenza ai principi e ai criteri di better regulation, peraltro difficilmente giustiziabili da parte della Corte costituzionale e sottratti al controllo di chi, al contrario, ha competenza in questo settore, ossia il Comitato per la legislazione e il DAGL. Le conclusioni, pertanto, prendono le mosse da una serie di criticità rilevate e tentano di tracciare una strada da percorrere che sia rispettosa dei canoni della “better regulation” anche alla luce delle riforme costituzionali e dei regolamenti parlamentari in corso di approvazione.