2023
Autores
Gaudio, A; Smailagic, A; Faloutsos, C; Mohan, S; Johnson, E; Liu, YH; Costa, P; Campilho, A;
Publicação
WILEY INTERDISCIPLINARY REVIEWS-DATA MINING AND KNOWLEDGE DISCOVERY
Abstract
Explanations of a model's biases or predictions are essential to medical image analysis. Yet, explainable machine learning approaches for medical image analysis are challenged by needs to preserve privacy of patient data, and by current trends in deep learning to use unsustainably large models and large datasets. We propose DeepFixCX for explainable and privacy-preserving medical image compression that is nimble and performant. We contribute a review of the field and a conceptual framework for simultaneous privacy and explainability via tools of compression. DeepFixCX compresses images without learning by removing or obscuring spatial and edge information. DeepFixCX is ante-hoc explainable and gives privatized post hoc explanations of spatial and edge bias without accessing the original image. DeepFixCX privatizes images to prevent image reconstruction and mitigate patient re-identification. DeepFixCX is nimble. Compression can occur on a laptop CPU or GPU to compress and privatize 1700 images per second of size 320 x 320. DeepFixCX enables use of low memory MLP classifiers for vision data; permitting small performance loss gives end-to-end MLP performance over 70x faster and batch size over 100x larger. DeepFixCX consistently improves predictive classification performance of a Deep Neural Network (DNN) by 0.02 AUC ROC on Glaucoma and Cervix Type detection datasets, and can improve multi-label chest x-ray classification performance in seven of 10 tested settings. In all three datasets, compression to less than 5% of original number of pixels gives matching or improved performance. Our main novelty is to define an explainability versus privacy problem and address it with lossy compression.This article is categorized under:Fundamental Concepts of Data and Knowledge > Explainable AICommercial, Legal, and Ethical Issues > Security and PrivacyFundamental Concepts of Data and Knowledge > Big Data Mining
2023
Autores
Cunha, C; Silva, S; Coelho, LCC; Frazão, O; Novais, S;
Publicação
EPJ Web of Conferences
Abstract
2023
Autores
Rodrigues, J; Caiado, F; Fonseca, J; Silva, J; Neves, S; Moreira, A; Au-Yong-Oliveira, M; Gonçalves, R; Branco, F;
Publicação
Abstract
2023
Autores
Cooke, Christian;
Publicação
Abstract
Lightning hit a transmission powerline outside London, England on 9 August 2019. There followed a loss of power from a cascade of generator outages that exceeded contingency reserves, leading to an exceptional fall in grid frequency causing widespread transport disruptions and the disconnection of over 1m households.
The power outage raised questions about the ability of the GB electricity grid to withstand rapid changes in frequency caused by outages and surges on the network. Grid inertia has been changing in recent years due to the emergence of renewable generation as a significant contributor to the energy mix.
As part of climate change mitigation efforts, there has been an acceleration in the deployment of distributed renewable generation replacing conventional thermal power plants in grids across the world. As a result, there has been a change in the aggregate and regional inertial capacity, with consequences for the stability of these networks and their ability to withstand large variations in frequency. Measures to mitigate the consequences of this change to grid stability need to be evaluated and the level of investment required to prevent a reoccurrence of an event such as that of 9 August quantified.
Simulating frequency events on the GB grid using a single-bus model involves a system of differential equations representing the overall generation and load present at the time. The standard model based on the swing equation assumes unlimited capacity in aggregated resources, the availability of these services for the duration of the frequency excursion and a homogeneous response without local variation.
In simulating the effect of outages on the GB Grid frequency on 9 August 2019 and other events in the period 2018--2019, the effect of limiting these services to the capacity of resources engaged during the event is examined. Taking resource limitations into account enables the approximation of the frequency trace for documented network perturbations. Enhancing this model so that it represents a networked grid using an algebraic differential system of equations facilitates the simulation of the effects of localized variation in inertia and frequency response services on the propagation of transients across a network.
Using this model, the effects of varying responses to transients can be investigated, and grids of varying scales and topologies can be compared to determine differences in their response to outages.
The propagation of disturbances across domains within the network that have different frequency response characteristics can thereby be examined with a view to drawing conclusions about the optimal deployment of frequency response services, and their relative cost-effectiveness in delivering a stable supply as the proportion of renewable generation in the energy mix grows.
The model is demonstrated to be generalizable by its application to simulating an outage on the Italian grid, with the results compared to similar results on that network. This demonstrates the facility of applying the model to examining power systems of different topologies and characteristics, and evaluating plans for their migration to zero-carbon generation.
Insight is gained into the responses of various characteristics of the grid and how they interact with unplanned generation imbalances. Using this adapted model, events on the GB grid are examined to validate the influence of these features and evaluate the anticipated response to similar events in the future using energy-mix scenario projections. With the effectiveness of the model validated, novel mitigating measures to preserve the stability of a low-inertia grid can be evaluated.
2023
Autores
Lauro, A; Kitamura, D; Lima, W; Dias, B; Soares, T;
Publicação
ENERGIES
Abstract
The Brazilian Power System is mainly composed of renewable generation from hydroelectric and wind. Hence, spot and forward electricity prices tend to represent the inherently stochastic nature of these resources, while risk management is a measure taken by agents, especially hydro power plants (HPPs) to hedge against deep financial losses. A HPP goal is to maximize its profit considering uncertainties in forward electricity prices, spot prices, and generation scaling factor (GSF) for years ahead. Therefore, the objective of this work is to simulate the real decision-making process of a HPP, where they need to have a perspective of the forward market and future spot price assessment to negotiate forward electricity contracts. To do so, the present work models the uncertainty in electricity forward prices via two-stage stochastic programming, assessing the benefits of the stochastic solution in comparison to the deterministic one. In addition, different risk aversion levels are assessed using conditional value at risk (CVaR). An important conclusion is that the results show that the greater the HPP risk aversion is, the greater the energy selling via electricity forward contracts. Moreover, the proposed model has benefits in comparison to a deterministic approach.
2023
Autores
Dunne, S; Ferreira, JF; Mendes, A; Ritchie, C; Stoddart, B; Zeyda, F;
Publicação
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
Abstract
We present an imperative refinement language for the development of backtracking programs and discuss its semantic foundations. For expressivity, our language includes prospective values and preference - the latter being a variant of Nelson's biased choice that backtracks from infeasibility of a continuation. Our key contribution is to examine feasibility-preserving refinement as a basis for developing backtracking programs, and several key refinement laws that enable compositional refinement in the presence of non -monotonic program combinators.
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.