Interpretable Medical Imagery Diagnosis with Self-Attentive Transformers: A Review of Explainable AI for Health Care

Recent advancements in artificial intelligence (AI) have facilitated its widespread adoption in primary medical services, addressing the demand-supply imbalance in healthcare. Vision Transformers (ViT) have emerged as state-of-the-art computer vision models, benefiting from self-attention modules. However, compared to traditional machine-learning approaches, deep-learning models are complex and are often treated as a "black box" that can cause uncertainty regarding how they operate. Explainable Artificial Intelligence (XAI) refers to methods that explain and interpret machine learning models' inner workings and how they come to decisions, which is especially important in the medical domain to guide the healthcare decision-making process. This review summarises recent ViT advancements and interpretative approaches to understanding the decision-making process of ViT, enabling transparency in medical diagnosis applications

Bayesian participatory-based decision analysis : an evolutionary, adaptive formalism for integrated analysis of complex challenges to social-ecological system sustainability

Includes bibliographical references (pages. 379-400).This dissertation responds to the need for integration between researchers and decision-makers who are dealing with complex social-ecological system sustainability and decision-making challenges. To this end, we propose a new approach, called Bayesian Participatory-based Decision Analysis (BPDA), which makes use of graphical causal maps and Bayesian networks to facilitate integration at the appropriate scales and levels of descriptions. The BPDA approach is not a predictive approach, but rather, caters for a wide range of future scenarios in anticipation of the need to adapt to unforeseeable changes as they occur. We argue that the graphical causal models and Bayesian networks constitute an evolutionary, adaptive formalism for integrating research and decision-making for sustainable development. The approach was implemented in a number of different interdisciplinary case studies that were concerned with social-ecological system scale challenges and problems, culminating in a study where the approach was implemented with decision-makers in Government. This dissertation introduces the BPDA approach, and shows how the approach helps identify critical cross-scale and cross-sector linkages and sensitivities, and addresses critical requirements for understanding system resilience and adaptive capacity

Assessing and improving quality of QVTo model transformations

We investigate quality improvement in QVT operational mappings (QVTo) model transformations, one of the languages defined in the OMG standard on model-to-model transformations. Two research questions are addressed. First, how can we assess quality of QVTo model transformations? Second, how can we develop higher-quality QVTo transformations? To address the first question, we utilize a bottom–up approach, starting with a broad exploratory study including QVTo expert interviews, a review of existing material, and introspection. We then formalize QVTo transformation quality into a QVTo quality model. The quality model is validated through a survey of a broader group of QVTo developers. We find that although many quality properties recognized as important for QVTo do have counterparts in general purpose languages, a number of them are specific to QVTo or model transformation languages. To address the second research question, we leverage the quality model to identify developer support tooling for QVTo. We then implemented and evaluated one of the tools, namely a code test coverage tool. In designing the tool, code coverage criteria for QVTo model transformations are also identified. The primary contributions of this paper are a QVTo quality model relevant to QVTo practitioners and an open-source code coverage tool already usable by QVTo transformation developers. Secondary contributions are a bottom–up approach to building a quality model, a validation approach leveraging developer perceptions to evaluate quality properties, code test coverage criteria for QVTo, and numerous directions for future research and tooling related to QVTo quality

Modularising the complex meta-models in enterprise systems using conceptual structures

The development of meta-models in Enterprise Modelling, Enterprise Engineering, and Enterprise Architecture enables an enterprise to add value and meet its obligations to its stakeholders. This value is however undermined by the complexity in the meta-models which have become difficult to visualise thus deterring the human-driven process. These experiences have driven the development of layers and levels in the modular meta-model. Conceptual Structures (CS), described as “Information Processing in Mind and Machine”, align the way computers work with how humans think. Using the Enterprise Information Meta-model Architecture (EIMA) as an exemplar, two forms of CS known as Conceptual Graphs (CGs) and Formal Concept Analysis (FCA) are brought together through the CGtoFCA algorithm, thereby mathematically evaluating the effectiveness of the layers and levels in these meta-models. The work reveals the useful contribution that this approach brings in actualising the modularising of complex meta-models in enterprise systems using conceptual structures

CBR and MBR techniques: review for an application in the emergencies domain

The purpose of this document is to provide an in-depth analysis of current reasoning engine practice and the integration strategies of Case Based Reasoning and Model Based Reasoning that will be used in the design and development of the RIMSAT system. RIMSAT (Remote Intelligent Management Support and Training) is a European Commission funded project designed to: a.. Provide an innovative, 'intelligent', knowledge based solution aimed at improving the quality of critical decisions b.. Enhance the competencies and responsiveness of individuals and organisations involved in highly complex, safety critical incidents - irrespective of their location. In other words, RIMSAT aims to design and implement a decision support system that using Case Base Reasoning as well as Model Base Reasoning technology is applied in the management of emergency situations. This document is part of a deliverable for RIMSAT project, and although it has been done in close contact with the requirements of the project, it provides an overview wide enough for providing a state of the art in integration strategies between CBR and MBR technologies.Postprint (published version