User interaction monitoring and analysis framework

An overview is given of a user interaction monitoring and analysis framework called BaranC. Monitoring and analysing human-digital interaction is an essential part of developing a user model as the basis for investigating user experience. The primary human-digital interaction, such as on a laptop or smartphone, is best understood and modelled in the wider context of the user and their environment. The BaranC framework provides monitoring and analysis capabilities that not only records all user interaction with a digital device (e.g. smartphone), but also collects all available context data (such as from sensors in the digital device itself, a fitness band or a smart appliances). The data collected by BaranC is recorded as a User Digital Imprint (UDI) which is, in effect, the user model and provides the basis for data analysis. BaranC provides functionality that is useful for user experience studies, user interface design evaluation, and providing user assistance services. An important concern for personal data is privacy, and the framework gives the user full control over the monitoring, storing and sharing of their data.

An integrative multidisciplinary approach to understanding cryptic divergence in Brazilian species of the Anastrepha fraterculus complex (Diptera: Tephritidae).

An integrative multidisciplinary approach was used to delimit boundaries among cryptic species within the Anastrepha fraterculus complex in Brazil. Sexual compatibility, courtship and sexual acoustic behaviour, female morphometric variability, variation for the mitochondrial gene COI, and the presence of Wolbachia were compared among A. fraterculus populations from the Southern (Vacaria, Pelotas, Bento Gonçalves, S~ao Joaquim) and Southeastern (Piracicaba) regions of Brazil. Our results suggest full mating compatibility among A. fraterculus populations from the Southern region and partial pre-zygotic reproductive isolation of these populations when compared with the population from the Southeastern region. A. fraterculus populations from both regions differed in the frequency of courtship displays and aspects of the calling phase and mounting acoustic signal. Morphometric analysis showed differences between Southern region and Southeastern region samples. All populations analyzed were infected with Wolbachia. The trees generated from the COI sequencing data are broadly congruent with the behavioural and morphometric data with the exception of one Southern population. The likely mechanisms by which A. fraterculus populations might have diverged are discussed in detail based on behavioural, morphometric, molecular genetics, and biogeographical studies

Ethical Perspectives on Big Data in Agri-food: Ownership and Governance for Safety

Big data are reshaping the way we interact with technology, thus fostering new applications to increase the safety-assessment of foods. An extraordinary amount of information is analysed using machine learning approaches aimed at detecting the existence or predicting the likelihood of future risks. Food business operators have to share the results of these analyses when applying to place on the market regulated products, whereas agri-food safety agencies (including the European Food Safety Authority) are exploring new avenues to increase the accuracy of their evaluations by processing Big data. Such an informational endowment brings with it opportunities and risks correlated to the extraction of meaningful inferences from data. However, conflicting interests and tensions among the involved entities - the industry, food safety agencies, and consumers - hinder the finding of shared methods to steer the processing of Big data in a sound, transparent and trustworthy way. A recent reform in the EU sectoral legislation, the lack of trust and the presence of a considerable number of stakeholders highlight the need of ethical contributions aimed at steering the development and the deployment of Big data applications. Moreover, Artificial Intelligence guidelines and charters published by European Union institutions and Member States have to be discussed in light of applied contexts, including the one at stake. This thesis aims to contribute to these goals by discussing what principles should be put forward when processing Big data in the context of agri-food safety-risk assessment. The research focuses on two interviewed topics - data ownership and data governance - by evaluating how the regulatory framework addresses the challenges raised by Big data analysis in these domains. The outcome of the project is a tentative Roadmap aimed to identify the principles to be observed when processing Big data in this domain and their possible implementations.

Methods for Biodata Analysis in different Omic Contexts

The world of Computational Biology and Bioinformatics presently integrates many different expertise, including computer science and electronic engineering. A major aim in Data Science is the development and tuning of specific computational approaches to interpret the complexity of Biology. Molecular biologists and medical doctors heavily rely on an interdisciplinary expert capable of understanding the biological background to apply algorithms for finding optimal solutions to their problems. With this problem-solving orientation, I was involved in two basic research fields: Cancer Genomics and Enzyme Proteomics. For this reason, what I developed and implemented can be considered a general effort to help data analysis both in Cancer Genomics and in Enzyme Proteomics, focusing on enzymes which catalyse all the biochemical reactions in cells. Specifically, as to Cancer Genomics I contributed to the characterization of intratumoral immune microenvironment in gastrointestinal stromal tumours (GISTs) correlating immune cell population levels with tumour subtypes. I was involved in the setup of strategies for the evaluation and standardization of different approaches for fusion transcript detection in sarcomas that can be applied in routine diagnostic. This was part of a coordinated effort of the Sarcoma working group of "Alleanza Contro il Cancro". As to Enzyme Proteomics, I generated a derived database collecting all the human proteins and enzymes which are known to be associated to genetic disease. I curated the data search in freely available databases such as PDB, UniProt, Humsavar, Clinvar and I was responsible of searching, updating, and handling the information content, and computing statistics. I also developed a web server, BENZ, which allows researchers to annotate an enzyme sequence with the corresponding Enzyme Commission number, the important feature fully describing the catalysed reaction. More to this, I greatly contributed to the characterization of the enzyme-genetic disease association, for a better classification of the metabolic genetic diseases.

Modelling, control and testing of internal combustion engines to minimize consumption and pollutant emissions

The objective of the PhD thesis was to research technologies and strategies to reduce fuel consumption and pollutants emission produced by internal combustion engines. In order to meet this objective my activity was focused on the research of advanced controls based on cylinder pressure feedback. These types of control strategies were studied because they present promising results in terms of engine efficiency enhancement. In the PhD dissertation two study cases are presented. The first case is relative to a control strategy to be used at the test bench for the optimisation of the spark advance calibration of motorcycle Engine. The second case is relative to a control strategy to be used directly on board of mining engines with the objective or reducing the engine consumption and correct ageing effects. In both cases the strategies proved to be effective but their implementation required the use of specific toolchains for the measure of the cylinder pressure feedback that for a matter of cost makes feasible the strategy use only for applications: • At test bench • In small-markets like large off-road engines The major bottleneck that prevents the implementation of these strategies on mass production is the cost of cylinder pressure sensor. In order to tackle this issue, during the PhD research, the development of a low-cost sensor for the estimation of cylinder pressure was studied. The prototype was a piezo-electric washer designed to replace the standard spark-plug washer or high-pressure fuel injectors gasket. From the data analysis emerged the possibility to use the piezo-electric prototype signal to evaluate with accuracy several combustion metrics compatible for the implementation of advanced control strategies in on-board applications. Overall, the research shows that advanced combustion controls are feasible and beneficial, not only at the test bench or on stationary engines, but also in mass-produced engines.

Assessing the fit of unidimensional IRT models for binary data under model misspecification

Model misspecification affects the classical test statistics used to assess the fit of the Item Response Theory (IRT) models. Robust tests have been derived under model misspecification, as the Generalized Lagrange Multiplier and Hausman tests, but their use has not been largely explored in the IRT framework. In the first part of the thesis, we introduce the Generalized Lagrange Multiplier test to detect differential item response functioning in IRT models for binary data under model misspecification. By means of a simulation study and a real data analysis, we compare its performance with the classical Lagrange Multiplier test, computed using the Hessian and the cross-product matrix, and the Generalized Jackknife Score test. The power of these tests is computed empirically and asymptotically. The misspecifications considered are local dependence among items and non-normal distribution of the latent variable. The results highlight that, under mild model misspecification, all tests have good performance while, under strong model misspecification, the performance of the tests deteriorates. None of the tests considered show an overall superior performance than the others. In the second part of the thesis, we extend the Generalized Hausman test to detect non-normality of the latent variable distribution. To build the test, we consider a seminonparametric-IRT model, that assumes a more flexible latent variable distribution. By means of a simulation study and two real applications, we compare the performance of the Generalized Hausman test with the M2 limited information goodness-of-fit test and the Likelihood-Ratio test. Additionally, the information criteria are computed. The Generalized Hausman test has a better performance than the Likelihood-Ratio test in terms of Type I error rates and the M2 test in terms of power. The performance of the Generalized Hausman test and the information criteria deteriorates when the sample size is small and with a few items.

Data surveillance for infectious diseases: models, complex networks and machine learning

In this thesis, we investigate the role of applied physics in epidemiological surveillance through the application of mathematical models, network science and machine learning. The spread of a communicable disease depends on many biological, social, and health factors. The large masses of data available make it possible, on the one hand, to monitor the evolution and spread of pathogenic organisms; on the other hand, to study the behavior of people, their opinions and habits. Presented here are three lines of research in which an attempt was made to solve real epidemiological problems through data analysis and the use of statistical and mathematical models. In Chapter 1, we applied language-inspired Deep Learning models to transform influenza protein sequences into vectors encoding their information content. We then attempted to reconstruct the antigenic properties of different viral strains using regression models and to identify the mutations responsible for vaccine escape. In Chapter 2, we constructed a compartmental model to describe the spread of a bacterium within a hospital ward. The model was informed and validated on time series of clinical measurements, and a sensitivity analysis was used to assess the impact of different control measures. Finally (Chapter 3) we reconstructed the network of retweets among COVID-19 themed Twitter users in the early months of the SARS-CoV-2 pandemic. By means of community detection algorithms and centrality measures, we characterized users’ attention shifts in the network, showing that scientific communities, initially the most retweeted, lost influence over time to national political communities. In the Conclusion, we highlighted the importance of the work done in light of the main contemporary challenges for epidemiological surveillance. In particular, we present reflections on the importance of nowcasting and forecasting, the relationship between data and scientific research, and the need to unite the different scales of epidemiological surveillance.

Meaningful insights: explainability techniques for black-box models on tabular data

Artificial Intelligence (AI) and Machine Learning (ML) are novel data analysis techniques providing very accurate prediction results. They are widely adopted in a variety of industries to improve efficiency and decision-making, but they are also being used to develop intelligent systems. Their success grounds upon complex mathematical models, whose decisions and rationale are usually difficult to comprehend for human users to the point of being dubbed as black-boxes. This is particularly relevant in sensitive and highly regulated domains. To mitigate and possibly solve this issue, the Explainable AI (XAI) field became prominent in recent years. XAI consists of models and techniques to enable understanding of the intricated patterns discovered by black-box models. In this thesis, we consider model-agnostic XAI techniques, which can be applied to Tabular data, with a particular focus on the Credit Scoring domain. Special attention is dedicated to the LIME framework, for which we propose several modifications to the vanilla algorithm, in particular: a pair of complementary Stability Indices that accurately measure LIME stability, and the OptiLIME policy which helps the practitioner finding the proper balance among explanations' stability and reliability. We subsequently put forward GLEAMS a model-agnostic surrogate interpretable model which requires to be trained only once, while providing both Local and Global explanations of the black-box model. GLEAMS produces feature attributions and what-if scenarios, from both dataset and model perspective. Eventually, we argue that synthetic data are an emerging trend in AI, being more and more used to train complex models instead of original data. To be able to explain the outcomes of such models, we must guarantee that synthetic data are reliable enough to be able to translate their explanations to real-world individuals. To this end we propose DAISYnt, a suite of tests to measure synthetic tabular data quality and privacy.

Addressing challenges in heterogeneous embedded systems programming: security and performance

Embedded systems are increasingly integral to daily life, improving and facilitating the efficiency of modern Cyber-Physical Systems which provide access to sensor data, and actuators. As modern architectures become increasingly complex and heterogeneous, their optimization becomes a challenging task. Additionally, ensuring platform security is important to avoid harm to individuals and assets. This study primarily addresses challenges in contemporary Embedded Systems, focusing on platform optimization and security enforcement. The initial section of this study delves into the application of machine learning methods to efficiently determine the optimal number of cores for a parallel RISC-V cluster to minimize energy consumption using static source code analysis. Results demonstrate that automated platform configuration is not only viable but also that there is a moderate performance trade-off when relying solely on static features. The second part focuses on addressing the problem of heterogeneous device mapping, which involves assigning tasks to the most suitable computational device in a heterogeneous platform for optimal runtime. The contribution of this section lies in the introduction of novel pre-processing techniques, along with a training framework called Siamese Networks, that enhances the classification performance of DeepLLVM, an advanced approach for task mapping. Importantly, these proposed approaches are independent from the specific deep-learning model used. Finally, this research work focuses on addressing issues concerning the binary exploitation of software running in modern Embedded Systems. It proposes an architecture to implement Control-Flow Integrity in embedded platforms with a Root-of-Trust, aiming to enhance security guarantees with limited hardware modifications. The approach involves enhancing the architecture of a modern RISC-V platform for autonomous vehicles by implementing a side-channel communication mechanism that relays control-flow changes executed by the process running on the host core to the Root-of-Trust. This approach has limited impact on performance and it is effective in enhancing the security of embedded platforms.

PIATTAFORMA DI DATA VISUALIZATION GUIDATA DALLA MODELLAZIONE STATISTICA DEI DATI Applicazione a dati sanitari di pazienti oncologici della regione Emila-Romagna

Una gestione, un’analisi e un’interpretazione efficienti dei big data possono cambiare il modello lavorativo, modificare i risultati, aumentare le produzioni, e possono aprire nuove strade per l’assistenza sanitaria moderna. L'obiettivo di questo studio è incentrato sulla costruzione di una dashboard interattiva di un nuovo modello e nuove prestazioni nell’ambito della Sanità territoriale. Lo scopo è quello di fornire al cliente una piattaforma di Data Visualization che mostra risultati utili relativi ai dati sanitari in modo da fornire agli utilizzatori sia informazioni descrittive che statistiche sulla attuale gestione delle cure e delle terapie somministrate. Si propone uno strumento che consente la navigazione dei dati analizzando l’andamento di un set di indicatori di fine vita calcolati a partire da pazienti oncologici della Regione Emilia Romagna in un arco temporale che va dal 2010 ad oggi.

Towards a Smart Campus Digital Twin: Promoting Awareness and Sustainability Through Wayfinding and Real-Time Environmental Data

The newly inaugurated Navile District of the University of Bologna is a complex created along the Navile canal, that now houses various teaching and research activities for the disciplines of Chemistry, Industrial Chemistry, Pharmacy, Biotechnology and Astronomy. A Building Information Modeling system (BIM) gives staff of the Navile campus several ways to monitor buildings in the complex throughout their life cycle, one of which is the ability to access real-time environmental data such as room temperature, humidity, air composition, and more, thereby simplifying operations like finding faults and optimizing environmental resource usage. But smart features at Navile are not only available to the staff: AlmaMap Navile is a web application, whose development is documented in this thesis, that powers the public touch kiosks available throughout the campus, offering maps of the district and indications on how to reach buildings and spaces. Even if these two systems, BIM and AlmaMap, don't seem to have many similarities, they share the common intent of promoting awareness for informed decision making in the campus, and they do it while relying on web standards for communication. This opens up interesting possibilities, and is the idea behind AlmaMap Navile 2.0, an app that interfaces with the BIM system and combines real-time sensor data with a comfort calculation algorithm, giving users the ability not just to ask for directions to a space, but also to see its comfort level in advance and, should they want to, check environmental measurements coming from each sensor in a granular manner. The end result is a first step towards building a smart campus Digital Twin, that can support all the people who are part of the campus life in their daily activities, improving their efficiency and satisfaction, giving them the ability to make informed decisions, and promoting awareness and sustainability.

Screening The Life Cycle Of Schistosoma Mansoni Using High-resolution Mass Spectrometry.

Schistosomiasis is a common tropical disease caused by Schistosoma species Schistosomiasis' pathogenesis is known to vary according to the worms' strain. Moreover, high parasitical virulence is directly related to eggs release and granulomatous inflammation in the host's organs. This virulence might be influenced by different classes of molecules, such as lipids. Therefore, better understanding of the metabolic profile of these organisms is necessary, especially for an increased potential of unraveling strain virulence mechanisms and resistance to existing treatments. In this report, direct-infusion electrospray high-resolution mass spectrometry (ESI(+)-HRMS) along with the lipidomic platform were employed to rapidly characterize and differentiate two Brazilian S. mansoni strains (BH and SE) in three stages of their life cycle: eggs, miracidia and cercariae, with samples from experimental animals (Swiss/SPF mice). Furthermore, urine samples of the infected and uninfected mice were analyzed to assess the possibility of direct diagnosis. All samples were differentiated using multivariate data analysis, PCA, which helped electing markers from distinct lipid classes; phospholipids, diacylglycerols and triacylglycerols, for example, clearly presented different intensities in some stages and strains, as well as in urine samples. This indicates that biochemical characterization of S. mansoni may help narrowing-down the investigation of new therapeutic targets according to strain composition and aggressiveness of disease. Interestingly, lipid profile of infected mice urine varies when compared to control samples, indicating that direct diagnosis of schistosomiasis from urine may be feasible.

Spectrophotometric Evaluation Of Dental Bleaching Under Orthodontic Bracket In Enamel And Dentin.

Aware of the diffusion capacity of bleaching in the dental tissues, many orthodontists are subjecting their patients to dental bleaching during orthodontic treatment for esthetic purposes or to anticipate the exchange of esthetic restorations after the orthodontic treatment. For this purpose specific products have been developed in pre-loaded whitening trays designed to fit over and around brackets and wires, with clinical efficacy proven. The objective of this study was to evaluate, through spectrophotometric reflectance, the effectiveness of dental bleaching under orthodontic bracket. Thirty-two bovine incisors crown blocks of 8 mm x 8 mm height lengths were used. Staining of tooth blocks with black tea was performed for six days. They were distributed randomly into 4 groups (1-home bleaching with bracket, 2- home bleaching without bracket, 3- office bleaching with bracket, 4 office bleaching without bracket). The color evaluation was performed (CIE L * a * b *) using color reflectance spectrophotometer. Metal brackets were bonded in groups 1 and 3. The groups 1 and 2 samples were subjected to the carbamide peroxide at 15%, 4 hours daily for 21 days. Groups 3 and 4 were subjected to 3 in-office bleaching treatment sessions, hydrogen peroxide 38%. After removal of the brackets, the second color evaluation was performed in tooth block, difference between the area under the bracket and around it, and after 7 days to verified color stability. Data analysis was performed using the paired t-test and two-way variance analysis and Tukey's. The home bleaching technique proved to be more effective compared to the office bleaching. There was a significant difference between the margin and center color values of the specimens that were subjected to bracket bonding. The bracket bond presence affected the effectiveness of both the home and office bleaching treatments. Key words:Tooth bleaching, spectrophotometry, orthodontics.

A Metabolomic Protocol For Plant Systematics By Matrix-assisted Laser-desorption/ionization Time-of Flight Mass Spectrometry.

Matrix-assisted laser desorption/ionization time-of flight mass spectrometry (MALDI-TOF MS) has been widely used for the identification and classification of microorganisms based on their proteomic fingerprints. However, the use of MALDI-TOF MS in plant research has been very limited. In the present study, a first protocol is proposed for metabolic fingerprinting by MALDI-TOF MS using three different MALDI matrices with subsequent multivariate data analysis by in-house algorithms implemented in the R environment for the taxonomic classification of plants from different genera, families and orders. By merging the data acquired with different matrices, different ionization modes and using careful algorithms and parameter selection, we demonstrate that a close taxonomic classification can be achieved based on plant metabolic fingerprints, with 92% similarity to the taxonomic classifications found in literature. The present work therefore highlights the great potential of applying MALDI-TOF MS for the taxonomic classification of plants and, furthermore, provides a preliminary foundation for future research.

Derivados citotóxicos de vitanolidos isolados das folhas de Acnistus arborescens

In view of anticancer activity of 7 β-acetoxywithanolide D (2) and 7β-16α-diacetoxywithonide D (3), isolated from the leaves of Acnistus arborescens (Solanaceae), five withanolide derivatives were obtained and their structures were determined by NMR, MS and IV data analysis. The in vitro anticancer activity of these derivatives was evaluated in a panel of cancer cell lines: human breast (BC-1), human lung (Lu1), human colon (Col2) and human oral epidermoid carcinoma (KB). Compounds 2a (acetylation of 2), 3b (oxidation of 3) and 2c (hydrogenation of 2) exhibited the highest anticancer activity against human lung cancer cells, with ED50 values of 0.19, 0.25 and 0.63 μg/mL, respectively.