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.

Self-Organizing Mechanisms for Task Allocation in a Knowledge-Based Economy

A prevalent claim is that we are in knowledge economy. When we talk about knowledge economy, we generally mean the concept of “Knowledge-based economy” indicating the use of knowledge and technologies to produce economic benefits. Hence knowledge is both tool and raw material (people’s skill) for producing some kind of product or service. In this kind of environment economic organization is undergoing several changes. For example authority relations are less important, legal and ownership-based definitions of the boundaries of the firm are becoming irrelevant and there are only few constraints on the set of coordination mechanisms. Hence what characterises a knowledge economy is the growing importance of human capital in productive processes (Foss, 2005) and the increasing knowledge intensity of jobs (Hodgson, 1999). Economic processes are also highly intertwined with social processes: they are likely to be informal and reciprocal rather than formal and negotiated. Another important point is also the problem of the division of labor: as economic activity becomes mainly intellectual and requires the integration of specific and idiosyncratic skills, the task of dividing the job and assigning it to the most appropriate individuals becomes arduous, a “supervisory problem” (Hogdson, 1999) emerges and traditional hierarchical control may result increasingly ineffective. Not only specificity of know how makes it awkward to monitor the execution of tasks, more importantly, top-down integration of skills may be difficult because ‘the nominal supervisors will not know the best way of doing the job – or even the precise purpose of the specialist job itself – and the worker will know better’ (Hogdson,1999). We, therefore, expect that the organization of the economic activity of specialists should be, at least partially, self-organized. The aim of this thesis is to bridge studies from computer science and in particular from Peer-to-Peer Networks (P2P) to organization theories. We think that the P2P paradigm well fits with organization problems related to all those situation in which a central authority is not possible. We believe that P2P Networks show a number of characteristics similar to firms working in a knowledge-based economy and hence that the methodology used for studying P2P Networks can be applied to organization studies. Three are the main characteristics we think P2P have in common with firms involved in knowledge economy: - Decentralization: in a pure P2P system every peer is an equal participant, there is no central authority governing the actions of the single peers; - Cost of ownership: P2P computing implies shared ownership reducing the cost of owing the systems and the content, and the cost of maintaining them; - Self-Organization: it refers to the process in a system leading to the emergence of global order within the system without the presence of another system dictating this order. These characteristics are present also in the kind of firm that we try to address and that’ why we have shifted the techniques we adopted for studies in computer science (Marcozzi et al., 2005; Hales et al., 2007 [39]) to management science.

Innovative strategies for the mitigation of acrylamide content in different food products

Acrylamide (AA) is an undesirable food toxic compound, classified as 'probably carcinogenic to humans' by the International Agency for Research on Cancer due to its toxic effects, including neurotoxicity, genotoxicity, carcinogenicity and reproductive toxicity. AA is mainly formed during the heat treatment of foods (> 120 °C) by the Maillard reaction, an essential reaction that also allows the desired levels of shelf-life and sensory properties of various food products to be achieved. Over the years, authorities and regulations have become more restrictive regarding the maximum levels of AA permitted in foods and beverages. The latest Commission Regulation (EU) 2017/2158 contains reference levels and measures to reduce AA in several food groups that contribute to the highest dietary intake, making necessary the study of promising AA mitigation strategies. The aim of this PhD research project was to identify, characterise and optimise some AA mitigation strategies in the most at-risk widely consumed foods such as potato, coffee and bakery products. Some AA control strategies were selected and investigated for each food category, also considering the main quality characteristics of the final products. The comprehensive results obtained during the three years of research activity have allowed a deeper knowledge of the traditional and innovative AA mitigation strategies, which can be extremely useful for both the food industry and international authorities. The most promising strategies studied in terms of reduction of AA while maintaining the main quality characteristics of the examined foods were: the application of pulsed electric fields and yeast immersion as pre-treatments of chips for frying; the selection of high roasting degrees for coffee products; the selection of static baking conditions for biscuits; the optimisation of alternative biscuit’ formulations by both the use of chickpea legume flour and of flour from bean with intact cotyledon cell walls.

Content-aware approach for improving biomedical image analysis: an interdisciplinary study series

Biomedicine is a highly interdisciplinary research area at the interface of sciences, anatomy, physiology, and medicine. In the last decade, biomedical studies have been greatly enhanced by the introduction of new technologies and techniques for automated quantitative imaging, thus considerably advancing the possibility to investigate biological phenomena through image analysis. However, the effectiveness of this interdisciplinary approach is bounded by the limited knowledge that a biologist and a computer scientist, by professional training, have of each other’s fields. The possible solution to make up for both these lacks lies in training biologists to make them interdisciplinary researchers able to develop dedicated image processing and analysis tools by exploiting a content-aware approach. The aim of this Thesis is to show the effectiveness of a content-aware approach to automated quantitative imaging, by its application to different biomedical studies, with the secondary desirable purpose of motivating researchers to invest in interdisciplinarity. Such content-aware approach has been applied firstly to the phenomization of tumour cell response to stress by confocal fluorescent imaging, and secondly, to the texture analysis of trabecular bone microarchitecture in micro-CT scans. Third, this approach served the characterization of new 3-D multicellular spheroids of human stem cells, and the investigation of the role of the Nogo-A protein in tooth innervation. Finally, the content-aware approach also prompted to the development of two novel methods for local image analysis and colocalization quantification. In conclusion, the content-aware approach has proved its benefit through building new approaches that have improved the quality of image analysis, strengthening the statistical significance to allow unveiling biological phenomena. Hopefully, this Thesis will contribute to inspire researchers to striving hard for pursuing interdisciplinarity.

Influence of cultivar choice, sowing date and abiotic stresses on tocopherol content and composition in Camelina sativa (L.) Crantz

In Europe, the current demand for vegetable oils and the need to find alternative crops for the regions most affected by climate change (i.e., Mediterranean basin) may be a launchpad for camelina [Camelina sativa (L.) Crantz] to be steadily introduced in European cropping systems. Camelina is mainly known for the unique composition of its oil, with a fatty acids profile including more than 50% content of essential linoleic and linolenic fatty acids, and a high tocopherol content. Being tocopherols part of the vitamin E family of antioxidants, the added value of growing camelina in harsh environments could be the enhancement of tocopherol content in camelina oil, thus having a more stable and nutritionally valuable product. With the final purpose of fully valorize camelina as a tolerant, valuable-oil producing crop for the Mediterranean basin, the main aim of this study was to investigate whether and how sowing date, cultivar choice, and abiotic stresses can affect tocopherol content and composition in camelina oil. The results showed that cultivar choice and growing conditions influenced total tocopherol, γ-tocopherol, and α-tocopherol contents. Moreover, heat stress trial revealed that high temperature increased α-tocopherol content, while no effect was observed in total tocopherols and in γ-tocopherol content. Finally, drought increased total tocopherols in camelina, and in drought-sensitive lines an increase in α-tocopherol was observed. This study allowed to acquire awareness on camelina resistance to abiotic stresses, coupled with a better knowledge on tocopherol content and composition in relation to cultivar, sowing date, and abiotic stresses. This will have an impact for the introduction of camelina as an alternative crop in harsher environments, such as the Mediterranean basin, to produce an oil suitable for food, feed, and industrial applications.