Biofuels Sustainability Certification Schemes: Challenges, Feasibility and Possible Approaches

The focus of this research is to develop and apply an analytical framework for evaluating the effectiveness and practicability of sustainability certification schemes for biofuels, especially in a developing country’s perspective. The main question that drives the research analysis is “Which are the main elements of and how to develop sustainability certification schemes that would be effective and practicable in certifying the contribution of biofuels in meeting the goals Governments and other stakeholders have set up?”. Biofuels have been identified as a promising tool to reach a variety of goals: climate change protection, energy security, agriculture development, and, especially in developing countries, economic development. Once the goals have been identified, and ambitious mandatory targets for biofuels use agreed at national level, concerns have been raised by the scientific community on the negative externalities that biofuels production and use can have at environment, social and economic level. Therefore certification schemes have been recognized as necessary processes to measure these externalities, and examples of such schemes are in effect, or are in a negotiating phase, both at mandatory and voluntary levels. The research focus has emerged by the concern that the ongoing examples are very demanding in terms of compliance, both for those that are subject to certification and those that have to certify, on the quantity and quality of information to be reported. A certification system, for reasons linked to costs, lack of expertise, inadequate infrastructure, absence of an administrative and legislative support, can represent an intensive burden and can act as a serious impediment for the industrial and agriculture development of developing countries, going against the principle of equity and level playing field. While this research recognizes the importance of comprehensiveness and ambition in designing an important tool for the measurement of sustainability effects of biofuels production and use, it stresses the need to focus on the effectiveness and practicability of this tool in measuring the compliance with the goal. This research that falls under the rationale of the Sustainability Science Program housed at Harvard Kennedy School, has as main objective to close the gap between the research and policy makers worlds in the field of sustainability certification schemes for biofuels.

Liquid crystal polymers: macromolecular design for enhanced performances

During this work, done mainly in the laboratories of the department of Industrial Chemistry and Materials of the University of Bologna but also in the laboratories of the Carnegie Mellon University in collaboration with prof. K. Matyjaszewski and at the university of Zaragoza in collaboration with prof. J. Barberá, was focused mainly on the synthesis and characterization of new functional polymeric materials. In the past years our group gained a deep knowledge about the photomodulation of azobenzene containing polymers. The aim of this thesis is to push forward the performances of these materials by the synthesis of well defined materials, in which, by a precise control over the macromolecular structures, better or even new functionality can be delivered to the synthesized material. For this purpose, besides the rich photochemistry of azoaromatic polymers that brings to the application, the control offered from the recent techniques of controlled radical polymerization, ATRP over all, gives an enormous range of opportunity for the developing of a new generation of functional materials whose properties are determinate not only by the chemical nature of the functional center (e.g. azoaromatic chromophore) but are tuned and even amplified by a synergy with the whole macromolecular structure. Old materials in new structures. In this contest the work of this thesis was focused mainly on the synthesis and characterization of well defined azoaromatic polymers in order to establish, for the first time, precise structure-properties correlation. In fact a series of well defined different azopolymers, chiral and achiral, with different molecular weight and highly monodisperse were synthesized and their properties were studied, in terms of photoexpansion and photomodulation of chirality. We were then able to study the influence of the macromolecular structure in terms of molecular weight and ramification on the studied properties. The huge amount of possibility offered by the tailoring of the macromolecular structure were exploited for the synthesis of new cholesteric photochromic polymers that can be used as a smart label for the certification of the thermal history of any thermosensitive product. Finally the ATRP synthesis allowed us to synthesize a total new class of material, named molecular brushes: a flat surface covered with an ultra thin layer of polymeric chain covalently bond onto the surface from one end. This new class of materials is of extreme interest as they offer the possibility to tune and manage the interaction of the surface with the environment. In this contest we synthesized both azoaromatic surfaces, growing directly the polymer from the surface, and mixed brushes: surfaces covered with incompatible macromolecules. Both type of surfaces acts as “smart” surfaces: the first it is able to move the orientation of a LC cell by simply photomodulation and, thanks to the robustness of the covalent bond, can be used as a command surface overcoming all the limitation due to the dewetting of the active layer. The second type of surface, functionalized by a grafting-to method, can self assemble the topmost layer responding to changed environmental conditions, exposing different functionality according to different environment.

Theoretical and implementation aspects in the mechanization of the metatheory of programming languages

Interactive theorem provers are tools designed for the certification of formal proofs developed by means of man-machine collaboration. Formal proofs obtained in this way cover a large variety of logical theories, ranging from the branches of mainstream mathematics, to the field of software verification. The border between these two worlds is marked by results in theoretical computer science and proofs related to the metatheory of programming languages. This last field, which is an obvious application of interactive theorem proving, poses nonetheless a serious challenge to the users of such tools, due both to the particularly structured way in which these proofs are constructed, and to difficulties related to the management of notions typical of programming languages like variable binding. This thesis is composed of two parts, discussing our experience in the development of the Matita interactive theorem prover and its use in the mechanization of the metatheory of programming languages. More specifically, part I covers: - the results of our effort in providing a better framework for the development of tactics for Matita, in order to make their implementation and debugging easier, also resulting in a much clearer code; - a discussion of the implementation of two tactics, providing infrastructure for the unification of constructor forms and the inversion of inductive predicates; we point out interactions between induction and inversion and provide an advancement over the state of the art. In the second part of the thesis, we focus on aspects related to the formalization of programming languages. We describe two works of ours: - a discussion of basic issues we encountered in our formalizations of part 1A of the Poplmark challenge, where we apply the extended inversion principles we implemented for Matita; - a formalization of an algebraic logical framework, posing more complex challenges, including multiple binding and a form of hereditary substitution; this work adopts, for the encoding of binding, an extension of Masahiko Sato's canonical locally named representation we designed during our visit to the Laboratory for Foundations of Computer Science at the University of Edinburgh, under the supervision of Randy Pollack.

Pratiche del possibile: i Participatory Guarantee Systems e le scelte d'acquisto del consumatore brasiliano

Negli ultimi anni, parallelamente all’espansione del settore biologico, si è assistito a un crescente interesse per i modelli alternativi di garanzia dell’integrità e della genuinità dei prodotti biologici. Gruppi di piccoli agricoltori di tutto il mondo hanno iniziato a sviluppare approcci alternativi per affrontare i problemi connessi alla certificazione di terza parte. Queste pratiche sono note come Sistemi di Garanzia Partecipativa (PGS). Tali modelli: (i) si basano sugli standard di certificazione biologica dell’IFOAM, (ii) riguardano il complesso dei produttori di una comunità rurale, (iii) comportano l’inclusione di una grande varietà di attori e (iv) hanno lo scopo di ridurre al minimo burocrazia e costi semplificando le procedure di verifica e incorporando un elemento di educazione ambientale e sociale sia per i produttori sia per i consumatori. Gli obiettivi di questo lavoro di ricerca: • descrivere il funzionamento dei sistemi di garanzia partecipativa; • indicare i vantaggi della loro adozione nei Paesi in via di sviluppo e non; • illustrare il caso della Rede Ecovida de Agroecologia (Brasile); • offrire uno spunto di riflessione che riguarda il consumatore e la relativa fiducia nel modello PGS. L’impianto teorico fa riferimento alla Teoria delle Convenzioni. Sulla base del quadro teorico è stato costruito un questionario per i consumatori con lo scopo di testare l’appropriatezza delle ipotesi teoriche. I risultati finali riguardano la stima del livello di conoscenza attuale, la fiducia e la volontà d’acquisto dei prodotti PGS da parte dei consumatori nelle aree considerate. Sulla base di questa ricerca sarà possibile adattare ed esportare il modello empirico in altri paesi che presentano economie diverse per cercare di comprendere il potenziale campo di applicazione dei sistemi di garanzia partecipativa.

The Law and Economics of Eco-labels

Eco-labels and certification are one of the many environmental policy tools that have been under scrutiny in recent years. This is because the damages of environmental degradation are becoming more apparent over time. Hence there is a pressure to come up with tools that help solve even small parts of the problem. Eco-labels have been around for over 30 years. However the market, the environment and eco-labels have changed drastically during this period. Moreover, in the last 5 years there has been a sudden increase in eco-labels making them more visible in the market and to the average consumer. All this has made evident that little is known about the effectiveness of eco-labels as environmental policy tools. Hence, there is a call to find answers regarding the actual effects of eco-labels on the market and on the environment. While this work cannot address whether eco-labels have an environmental impact it addresses the effects of eco-labels on the markets. Moreover, this work aimed to find the role of law in eco-labelling. In addition, it aims to find a legal solution that would improve the performance of eco-labelling and certification.

Il risparmio delle risorse alla scala abitativa e di insediamento. Tecnologie non convenzionali e valutazione ambientale attraverso metodologia LCA.

Nel corso del mio lavoro di ricerca mi sono occupata di identificare strategie che permettano il risparmio delle risorse a livello edilizio e di approfondire un metodo per la valutazione ambientale di tali strategie. La convinzione di fondo è che bisogna uscire da una visione antropocentrica in cui tutto ciò che ci circonda è merce e materiale a disposizione dell’uomo, per entrare in una nuova era di equilibrio tra le risorse della terra e le attività che l’uomo esercita sul pianeta. Ho quindi affrontato il tema dell’edilizia responsabile approfondendo l’ambito delle costruzioni in balle di paglia e terra. Sono convinta che l’edilizia industriale abbia un futuro molto breve davanti a sé e lascerà inevitabilmente spazio a tecniche non convenzionali che coinvolgono materiali di semplice reperimento e posa in opera. Sono altresì convinta che il solo utilizzo di materiali naturali non sia garanzia di danni ridotti sull’ecosistema. Allo stesso tempo ritengo che una mera certificazione energetica non sia sinonimo di sostenibilità. Per questo motivo ho valutato le tecnologie non convenzionali con approccio LCA (Life Cycle Assessment), approfondendo gli impatti legati alla produzione, ai trasporti degli stessi, alla tipologia di messa in opera, e ai loro possibili scenari di fine vita. Inoltre ho approfondito il metodo di calcolo dei danni IMPACT, identificando una carenza nel sistema, che non prevede una categoria di danno legata alle modifiche delle condizioni idrogeologiche del terreno. La ricerca si è svolta attraverso attività pratiche e sperimentali in cantieri di edilizia non convenzionale e attività di ricerca e studio sull’LCA presso l’Enea di Bologna (Ing. Paolo Neri).

Tutela e valorizzazione delle produzioni agroalimentari di qualità attraverso strategie di brand management.Il modello Coop.

Questa tesi di dottorato verte sull'individuazione di politiche industriali atte ad implementare il mercato dei prodotti a denominazione di origine. Inevitabilmente, l’analisi economica dei prodotti agroalimentari tipici di qualità implica anche l’approfondimento e l’individuazione, delle problematiche connesse con la creazione di un valore addizionale per il consumatore, rispetto a quello dei prodotti standardizzati. Questo approccio richiama l’attenzione, da una parte, sulle caratteristiche della domanda e sulla disponibilità del consumatore a riconoscere e apprezzare questo plus-valore, dall’altra sulle strategie che l’offerta può attivare per conseguire un premium price rispetto al prodotto standardizzato. Le certificazioni comunitarie Dop, Igp e Stg oltre che il marchio di prodotto biologico racchiudono, solitamente, tali dinamiche valoriali ma sono tutt’oggi poco conosciute dai consumatori. Diversi studi internazionali dimostrano, infatti, che la maggioranza dei cittadini comunitari ignorano il significato delle certificazioni di qualità. L’ipotesi di fondo di questo studio si basa sulla possibilità di fidelizzare questi marchi con i brand della grande distribuzione già affermati, come quello di Coop. Analizzare gli effetti dell’introduzione di prodotti private label a denominazione di origine nel mercato della grande distribuzione organizzata italiana ci permetterebbe di comprendere se questo segmento di mercato può aiutare il settore delle Dop/Igp. Questo studio ha cercato di verificare se il prodotto private label a denominazione di origine, riesca a sfruttare il doppio binario di fiducia rappresentato dal marchio comunitario unito a quello dell’impresa di distribuzione. Per comprendere la propensione del consumatore a spendere di più per questi prodotti, abbiamo utilizzato l’analisi dell’elasticità della domanda sul prezzo dei dati scanner fornitici da Coop Adriatica. Siamo riusciti a dimostrare tale positivo connubio confermato anche da una indagine demoscopica effettuata ad hoc sui consumatori.

Detection and molecular characterization of viruses infecting Actinidia spp.

Kiwifruit (genus Actinidia) is an important horticultural crop grown in the temperate regions. The four world’s largest producers are China, Italy, New Zealand and Chile. More than 50 species are recognized in the genus but the principal species in cultivation are A. deliciosa and A. chinensis. In Italy, as well as in many other countries, the kiwifruit crop has been considered to be relatively disease free and then no certification system for this species has been developed to regulate importation of propagation plant material in the European Union. During the last years a number of fungal and bacterial diseases have been recorded such as Botrytis cinerea and Pseudomonas syringae pv. actinidiae. Since 2003, several viruses and virus-like diseases have been identified and more recent studies demonstrated that Actinidia spp can be infected by a wide range of viral agents. In collaboration with the University of Auckland we have been detected thirteen different viral species on kiwifruit plants. During the three years of my PhD I worked on the characterization of Cucumber mosaic virus (CMV) and Pelargonium zonate spot virus (PZSV). The determination of causal agents has been based on host range, symptom expression in the test plant species and morphological properties of the virus particles using transmission electron microscopy (TEM) and using specific oligonucleotide primers in reverse transcription-polymerase chain reaction (RT-PCR). Both viruses induced several symptoms on kiwifruit plants. Moreover with new technologies such as high-throughput sequencing we detected additional viruses, a new member of the family Closteroviridae and a new member of the family Totiviridae. Taking together all results of my studies it is clear that, in order to minimize the risk of serious viral disease in kiwifruit, it is vital to use virus-free propagation material in order to prevent the spread of these viruses.

Consumer Perception and Willingness to Pay for Local Food

A growing number of empirical studies recently investigated consumers' valuation for local food products. However, different aspects related to the local food consumption still remain vague or unexplored. As such, the objective of the present research is to fulfill the existing literature using a mixed methodological approach for the investigation of consumers' preferences and Willingness to Pay (WTP) for local food products. First of all, local food is still a blurred concept and this factor might be source of individuals' misperception for the local origin meaning. Therefore, a qualitative research has been performed in order to investigate the meaning and the perception of the local food in the Italian food market. Results from this analysis have been used as inputs for the building of a non-hypothetical Real Choice Experiment (RCE) to estimate consumers' WTP for locally and organically produced apple sauce. The contribution of this study is three-fold: (1) consumers' valuation for the local origin is interpreted in terms of regional borders, over the organic food claim in case of an unusual food product in the area of interest, (2) the interaction between individuals' personality traits and consumers’ preferences for local and organic foods is analyzed, (3) the role of Commitment Cost creation in consumers' choice making in case of uncertainty due to the use of a novel food product and of an unconventional food claim is investigated. Results suggest that consumers are willing to pay a higher price premium for organic over locally produced apple sauce, possibly because of the presence of a regulated certification. In accordance with Commitment Cost theory, the organic label might thus decrease consumers' uncertainty for the features of the product in question. Results also indicate that individuals' personality can be source of heterogeneity in consumers' preferences.

Fatigue and Damage Tolerance in Primary Composite Aeronautical Structures

The challenging requirements set on new full composite aeronautical structures are mostly related to the demonstration of damage tolerance capability of their primary structures, required by the airworthiness bodies. And while composite-made structures inherently demonstrate exceptional fatigue properties, when put in real life working conditions, a number of external factors can lead to impact damages thus reducing drastically their fatigue resistance due to fiber delamination, disbonding or breaking. This PhD aims towards contributing to the better understanding of the behavior of the primary composite aeronautical structure after near-edge impacts which are inevitable during the service life of an aircraft. The behavior of CFRP structures after impacts in only one small piece of the big picture which is the certification of CFRP built aircraft, where several other parameters need to be evaluated in order to fulfill the airworthiness requirements. These parameters are also discussed in this PhD thesis in order to give a better understanding of the complex task of CFRP structure certification, in which behavior of the impacted structure plays an important role. An experimental and numerical campaign was carried out in order to determine the level of delamination damage in CFRP specimens after near-edge impacts. By calibrating the numerical model with experimental data, it was possible, for different configurations and energy levels, to predict the extension of a delamination in a CFRP structure and to estimate its residual static strength using a very simple but robust technique. The original contribution of this work to the analysis of CFRP structures is the creation of a model which could be applicable to wide range of thicknesses and stacking sequences of CFRP structures, thus potentially being suitable for industrial application, as well.

Experimental Project on the Safety and the Optimization of the Use of Glyphosate-Based Herbicides in the Grain Sector.

INTRODUCTION: Glyphosate is the most widely applied pesticide worldwide and it is an active ingredient of all glyphosate-based herbicides (GBHs), including in the formulation “Roundup” . It is unclear if the glyphosate present in ground water can be absorbed and translocated in different parts of the pants, particularly wheat plants. This indeed represents an important aspect for productivity (being this a powerful herbicide) and organic certification of the products (the use of glyphosate is not admitted in organic farming and the ubiquitous contamination of glyphosate in water might in theory affect the level of glyphosate in the plants). Overall, epidemiological, in vivo and in vitro studies available in literature present conflicting findings on the safety of glyphosate. METHODS: The work performed for this PhD thesis aimed to experimentally test the root absorption and the eventual translocation of the glyphosate herbicide in the different parts of the wheat plant (Triticum durum) starting from ground water. Furthermore we aimed to experimentally test the effects of the exposure to GBHs at doses of glyphosate considered to be “safe”, the US ADI of 1.75 mg/kg bw/day, defined as the chronic Reference Dose (cRfD) determined by the US EPA, in in vivo models (Sprague-Dawley rats) and in vitro models (Caco2 and L929). RESULTS: All the experimental absorption studies on wheat plants performed have given negative results in terms of the presence of glyphosate or AMPA in the grain of durum wheat. On the other hand the experimental safety studies on in vitro and in vivo models highlighted different effects at doses currently considered safe for humans and with no effects in animals. CONCLUSION: Overall the integration of the findings from absorption in plants and safety studies will serve as solid evidence-base for risk assessment and productive strategies for agriculture.

Design and evaluation of aerosol and liquid separation systems

Conventional chromatographic columns are packed with porous beads by the universally employed slurry-packing method. The lack of precise control of the particle size distribution, shape and position inside the column have dramatic effects on the separation efficiency. In the first part the thesis an ordered, three-dimensional, pillar-array structure was designed by a CAD software. Several columns, characterized by different fluid distributors and bed length, were produced by a stereolithographic 3D printer and compared in terms of pressure drop and height equivalent to a theroretical plate (HETP). To prevent the release of unwanted substances and to provide a surface for immobilizing a ligand, pillars were coated with one or more of the following materials: titanium dioxide, nanofibrillated cellulose (NFC) and polystyrene. The external NFC layer was functionalized with Cibacron Blue and the dynamic binding capacity of the column was measured by performing three chromatographic cycles, using bovine serum albumin (BSA) as target molecule. The second part of the thesis deals with Covid-19 pandemic related research activities. In early 2020, due to the pandemic outbreak, surgical face masks became an essential non-pharmaceutical intervention to limit the spread. To address the consequent shortage and to support the reconversion of the Italian industry, in late March 2020 a multidisciplinary group of the University of Bologna created the first Italian laboratory able to perform all the tests required for the evaluation and certification of surgical masks. More than 1200 tests were performed on about 350 prototypes, according to the standard EN 14683:2019. The results were analyzed to define the best material properties and masks composition for the production of masks with excellent efficiency. To optimize the usage of surgical masks and to reduce their environmental burden, the variation of their performance over time of usage were investigated as to determine the maximum lifetime.

Big data in health IoE in emergency situations: between the right to privacy and digital health innovation

The chapters of the thesis focus on a limited variety of selected themes in EU privacy and data protection law. Chapter 1 sets out the general introduction on the research topic. Chapter 2 touches upon the methodology used in the research. Chapter 3 conceptualises the basic notions from a legal standpoint. Chapter 4 examines the current regulatory regime applicable to digital health technologies, healthcare emergencies, privacy, and data protection. Chapter 5 provides case studies on the application deployed in the Covid-19 scenario, from the perspective of privacy and data protection. Chapter 6 addresses the post-Covid European regulatory initiatives on the subject matter, and its potential effects on privacy and data protection. Chapter 7 is the outcome of a six-month internship with a company in Italy and focuses on the protection of fundamental rights through common standardisation and certification, demonstrating that such standards can serve as supporting tools to guarantee the right to privacy and data protection in digital health technologies. The thesis concludes with the observation that finding and transposing European privacy and data protection standards into scenarios, such as public healthcare emergencies where digital health technologies are deployed, requires rapid coordination between the European Data Protection Authorities and the Member States guarantee that individual privacy and data protection rights are ensured.

Big data and AI applications for health and research. Co-regulation mechanisms as a prosed solution for data protection law issues

Big data and AI are paving the way to promising scenarios in clinical practice and research. However, the use of such technologies might clash with GDPR requirements. Today, two forces are driving the EU policies in this domain. The first is the necessity to protect individuals’ safety and fundamental rights. The second is to incentivize the deployment of innovative technologies. The first objective is pursued by legislative acts such as the GDPR or the AIA, the second is supported by the new data strategy recently launched by the European Commission. Against this background, the thesis analyses the issue of GDPR compliance when big data and AI systems are implemented in the health domain. The thesis focuses on the use of co-regulatory tools for compliance with the GDPR. This work argues that there are two level of co-regulation in the EU legal system. The first, more general, is the approach pursued by the EU legislator when shaping legislative measures that deal with fast-evolving technologies. The GDPR can be deemed a co-regulatory solution since it mainly introduces general requirements, which implementation shall then be interpretated by the addressee of the law following a risk-based approach. This approach, although useful is costly and sometimes burdensome for organisations. The second co-regulatory level is represented by specific co-regulatory tools, such as code of conduct and certification mechanisms. These tools are meant to guide and support the interpretation effort of the addressee of the law. The thesis argues that the lack of co-regulatory tools which are supposed to implement data protection law in specific situations could be an obstacle to the deployment of innovative solutions in complex scenario such as the health ecosystem. The thesis advances hypothesis on theoretical level about the reasons of such a lack of co-regulatory solutions.

Contributions to the performance analysis of continuum parallel robots

Continuum parallel robots (CPRs) are manipulators employing multiple flexible beams arranged in parallel and connected to a rigid end-effector. CPRs promise higher payload and accuracy than serial CRs while keeping great flexibility. As the risk of injury during accidental contacts between a human and a CPR should be reduced, CPRs may be used in large-scale collaborative tasks or assisted robotic surgery. There exist various CPR designs, but the prototype conception is rarely based on performance considerations, and the CPRs realization in mainly based on intuitions or rigid-link parallel manipulators architectures. This thesis focuses on the performance analysis of CPRs, and the tools needed for such evaluation, such as workspace computation algorithms. In particular, workspace computation strategies for CPRs are essential for the performance assessment, since the CPRs workspace may be used as a performance index or it can serve for optimal-design tools. Two new workspace computation algorithms are proposed in this manuscript, the former focusing on the workspace volume computation and the certification of its numerical results, while the latter aims at computing the workspace boundary only. Due to the elastic nature of CPRs, a key performance indicator for these robots is the stability of their equilibrium configurations. This thesis proposes the experimental validation of the equilibrium stability assessment on a real prototype, demonstrating limitations of some commonly used assumptions. Additionally, a performance index measuring the distance to instability is originally proposed in this manuscript. Differently from the majority of the existing approaches, the clear advantage of the proposed index is a sound physical meaning; accordingly, the index can be used for a more straightforward performance quantification, and to derive robot specifications.