Searching and retrieving in content-based repositories of formal mathematical knowledge

In this thesis, the author presents a query language for an RDF (Resource Description Framework) database and discusses its applications in the context of the HELM project (the Hypertextual Electronic Library of Mathematics). This language aims at meeting the main requirements coming from the RDF community. in particular it includes: a human readable textual syntax and a machine-processable XML (Extensible Markup Language) syntax both for queries and for query results, a rigorously exposed formal semantics, a graph-oriented RDF data access model capable of exploring an entire RDF graph (including both RDF Models and RDF Schemata), a full set of Boolean operators to compose the query constraints, fully customizable and highly structured query results having a 4-dimensional geometry, some constructions taken from ordinary programming languages that simplify the formulation of complex queries. The HELM project aims at integrating the modern tools for the automation of formal reasoning with the most recent electronic publishing technologies, in order create and maintain a hypertextual, distributed virtual library of formal mathematical knowledge. In the spirit of the Semantic Web, the documents of this library include RDF metadata describing their structure and content in a machine-understandable form. Using the author's query engine, HELM exploits this information to implement some functionalities allowing the interactive and automatic retrieval of documents on the basis of content-aware requests that take into account the mathematical nature of these documents.

Smantellamento di un reattore di potenza gas-grafite di I generazione: metodologie e tecnologie di rimozione della grafite e smantellamento del nocciolo

Il presente lavoro di tesi ha riguardato lo studio dello smantellamento di un reattore gas grafite di potenza di I Gen. L’indagine è stata focalizzata in particolare al recupero della grafite irraggiata che ne costituisce il core. Viene presentata una descrizione referenziata del reattore e dei suoi componenti per mettere in evidenza la particolare architettura e le specifiche problematiche ad essa correlate. A valle di un’indagine sulle esperienze internazionali in merito al decommissioning e allo smantellamento di questi tipi di reattori, si forniscono una possibile sequenza di accesso alla cavità del reattore e una procedura per il suo smantellamento; si descrivono sommariamente le tecnologie di taglio e di handling, attualmente allo stato dell’arte, considerate come più idonee a questo tipo di applicazione. Vengono descritte le principali criticità della grafite nuclear grade ed illustrati i fenomeni caratteristici che ne determinano l’evoluzione nel reattore. Sulla base dei dati resi disponibili dalla Sogin S.p:A. e ricorrendo ai dati di letteratura per quelli non disponibili, è stato effettuato un assessment della grafite irraggiata costituente il nocciolo del reattore, rivolto in particolare a determinarne le caratteristiche meccaniche e la resistenza residua post-irraggiamento. Per valutare la possibilità di prelevare la grafite dal nocciolo è stato ipotizzato un dispositivo di presa che agganci per attrito i blocchi di grafite del moderatore attraverso il canale assiale. Infine è stata valutata la fattibilità di tale metodo attraverso una serie di simulazioni agli elementi finiti dirette a verificare la resistenza del blocco in varie condizioni di carico e vincolo. Come risultato si è dimostrata la fattibilità, almeno in via preliminare, del metodo proposto, determinando l’inviluppo di utilizzo del dispositivo di presa nonché la compatibilità del metodo proposto con le tecnologie di handling precedentemente individuate.

Modeling of Electric Hybrid Vehicles based on Innovative Energy Storage Technologies for Super Sports Cars Applications

Today, the contribution of the transportation sector on greenhouse gases is evident. The fast consumption of fossil fuels and its impact on the environment has given a strong impetus to the development of vehicles with better fuel economy. Hybrid electric vehicles fit into this context with different targets, starting from the reduction of emissions and fuel consumption, but also for performance and comfort enhancement. Vehicles exist with various missions; super sport cars usually aim to reach peak performance and to guarantee a great driving experience to the driver, but great attention must also be paid to fuel consumption. According to the vehicle mission, hybrid vehicles can differ in the powertrain configuration and the choice of the energy storage system. Lamborghini has recently invested in the development of hybrid super sport cars, due to performance and comfort reasons, with the possibility to reduce fuel consumption. This research activity has been conducted as a joint collaboration between the University of Bologna and the sportscar manufacturer, to analyze the impact of innovative energy storage solutions on the hybrid vehicle performance. Capacitors have been studied and modeled to analyze the pros and cons of such solution with respect to batteries. To this aim, a full simulation environment has been developed and validated to provide a concept design tool capable of precise results and able to foresee the longitudinal performance on regulated emission cycles and real driving conditions, with a focus on fuel consumption. In addition, the target of the research activity is to deepen the study of hybrid electric super sports cars in the concept development phase, focusing on defining the control strategies and the energy storage system’s technology that best suits the needs of the vehicles. This dissertation covers the key steps that have been carried out in the research project.

Investigating interpreter-mediated interaction in the Chinese bilingual courtroom: Analysis based on a multimodal corpus

This research project is based on the Multimodal Corpus of Chinese Court Interpreting (MUCCCI [mutʃɪ]), a small-scale multimodal corpus on the basis of eight authentic court hearings with Chinese-English interpreting in Mainland China. The corpus has approximately 92,500 word tokens in total. Besides the transcription of linguistic and para-linguistic features, utilizing the facial expression classification rules suggested by Black and Yacoob (1995), MUCCCI also includes approximately 1,200 annotations of facial expressions linked to the six basic types of human emotions, namely, anger, disgust, happiness, surprise, sadness, and fear (Black & Yacoob, 1995). This thesis is an example of conducting qualitative analysis on interpreter-mediated courtroom interactions through a multimodal corpus. In particular, miscommunication events (MEs) and the reasons behind them were investigated in detail. During the analysis, although queries were conducted based on non-verbal annotations when searching for MEs, both verbal and non-verbal features were considered indispensable parts contributing to the entire context. This thesis also includes a detailed description of the compilation process of MUCCCI utilizing ELAN, from data collection to transcription, POS tagging and non-verbal annotation. The research aims at assessing the possibility and feasibility of conducting qualitative analysis through a multimodal corpus of court interpreting. The concept of integrating both verbal and non-verbal features to contribute to the entire context is emphasized. The qualitative analysis focusing on MEs can provide an inspiration for improving court interpreters’ performances. All the constraints and difficulties presented can be regarded as a reference for similar research in the future.

Synthesis and catalytic activity of new cu-based catalytic systems for the enhanced electrochemical CO2 reduction

This Ph.D. thesis concerns the synthesis of nanostructured Cu-containing materials to be used as electrode modifiers for the CO2 electroreduction in aqueous phase and the evaluation of their catalytic performances. Inspired by the fascinating concept of the artificial photosynthesis-oriented systems, several catalytic layers were electrochemically loaded on carbonaceous gas diffusion membranes, i.e., 3D structures that allow the design of eco-friendly materials for applications in green carbon recycling processes. In particular, early studies on Cu(I-II)-Cu(0) nanostructured materials were carried out to produce films on 4 cm2 sized supports by means of a fast and low-cost electrochemical procedure. Besides, through a screening of potentials, it was possible to find out a selective value for the CH3COOH production at -0.4 V vs RHE with a maximum productivity (1h reaction), ensured by the presence of the Cu+/Cu0 active redox couple (0.31 mmol gcat-1 h-1). On the basis of these results, further optimisations of the electrocatalyst chemical composition were carried out with the aim of (i) facilitating the interaction with CO2, (ii) increasing the dispersion of the catalytic active phase, and (iii) enhancing the CH3COOH productivity. To this aim, novel electrocatalysts based on layered double hydroxides (LDHs) were optimised, having as a final goal the formation of a new Cu2O-Cu0 based electrocatalyst derived from electrochemically achieved CuMgAl LDHs, subjected to calcination and reduction processes. The as-obtained electrocatalysts were tested for the selective production of CH3COOH and unprecedented results were obtained with the pristine CuMgAl LDH (2.0 mmol gcat-1 h-1). Additional characterisations of such an electrocatalyst have highlighted the possibility to achieve a ternary LDH in intimate contact with Cu2O-Cu0 species starting from the electrochemical deposition. The presence of these species, along with an alkaline environment on the electrode surface, were essential to preserve the selectivity towards the desired product, as confirmed by further operando studies.

Understanding 3D structures from sketches

Sketches are a unique way to communicate: drawing a simple sketch does not require any training, sketches convey information that is hard to describe with words, they are powerful enough to represent almost any concept, and nowadays, it is possible to draw directly from mobile devices. Motivated from the unique characteristics of sketches and fascinated by the human ability to imagine 3D objects from drawings, this thesis focuses on automatically associating geometric information to sketches. The main research directions of the thesis can be summarized as obtaining geometric information from freehand scene sketches to improve 2D sketch-based tasks and investigating Vision-Language models to overcome 3D sketch-based tasks limitations. The first part of the thesis concerns geometric information prediction from scene sketches improving scene sketch to image generation and unlocking new creativity effects. The thesis proceeds showing a study conducted on the Vision-Language models embedding space considering sketches, line renderings and RGB renderings of 3D shape to overcome the use of supervised datasets for 3D sketch-based tasks, that are limited and hard to acquire. Following the obtained observations and results, Vision-Language models are applied to Sketch Based Shape Retrieval without the need of training on supervised datasets. We then analyze the use of Vision-Language models for sketch based 3D reconstruction in an unsupervised manner. In the final chapter we report the results obtained in an additional project carried during the PhD, which has lead to the development of a framework to learn an embedding space of neural networks that can be navigated to get ready-to-use models with desired characteristics.

Mainstreaming of Nature-Based Solutions for the mitigation of hydro-meteorological hazard: governance analysis of a socio- technical change

The Nature-Based Solutions (NBS) concept and approach were developed to simultaneously face challenges such as risk mitigation and biodiversity conservation and restoration. NBSs have been endorsed by major International Organizations such as the EU, the FAO and World Bank that are pushing to enable a mainstreaming process. However, a shift from traditional engineering “grey” solutions to wider and standard adoption of NBS encounters technical, social, cultural, and normative barriers that have been identified with a qualitative content analysis of policy documents, reports and expert interviews. The case of the region Emilia-Romagna was studied by developing an analytical framework that brought together the social-ecological context, the governance system and the characteristics of specific NBSs.

Modelling and classification with quantile-based distributions

In this work, we explore and demonstrate the potential for modeling and classification using quantile-based distributions, which are random variables defined by their quantile function. In the first part we formalize a least squares estimation framework for the class of linear quantile functions, leading to unbiased and asymptotically normal estimators. Among the distributions with a linear quantile function, we focus on the flattened generalized logistic distribution (fgld), which offers a wide range of distributional shapes. A novel naïve-Bayes classifier is proposed that utilizes the fgld estimated via least squares, and through simulations and applications, we demonstrate its competitiveness against state-of-the-art alternatives. In the second part we consider the Bayesian estimation of quantile-based distributions. We introduce a factor model with independent latent variables, which are distributed according to the fgld. Similar to the independent factor analysis model, this approach accommodates flexible factor distributions while using fewer parameters. The model is presented within a Bayesian framework, an MCMC algorithm for its estimation is developed, and its effectiveness is illustrated with data coming from the European Social Survey. The third part focuses on depth functions, which extend the concept of quantiles to multivariate data by imposing a center-outward ordering in the multivariate space. We investigate the recently introduced integrated rank-weighted (IRW) depth function, which is based on the distribution of random spherical projections of the multivariate data. This depth function proves to be computationally efficient and to increase its flexibility we propose different methods to explicitly model the projected univariate distributions. Its usefulness is shown in classification tasks: the maximum depth classifier based on the IRW depth is proven to be asymptotically optimal under certain conditions, and classifiers based on the IRW depth are shown to perform well in simulated and real data experiments.