Figure - available via license: Creative Commons Attribution 4.0 International
Content may be subject to copyright.
AUC of the explanation sensitivity curves when increasing the perturbation radius . The lower, the better.
Source publication
Deep learning methods are highly accurate, yet their opaque decision process prevents them from earning full human trust. Concept-based models aim to address this issue by learning tasks based on a set of human-understandable concepts. However, state-of-the-art concept-based models rely on high-dimensional concept embedding representations which la...
Context in source publication
Similar publications
KANT BIBLIOGRAPHY da Manchester University (Fundada em 1824 / Reino Unido) relaciona como referência bibliográfica a pesquisa do Prof. Luiz Carlos Mariano Da Rosa intitulada “Do projeto crítico kantiano: os direitos da razão entre a Lógica da verdade e a Lógica da aparência” ("On the Kantian critical project: the rights of reason amid the logic of...
Background/Purpose: Midwife-led continuity of care (MLCC) is an evidence-based care model positively influencing the health and wellbeing of women and their families. Despite the evidence, a sustainable future of the model is uncertain. The aim of this paper is to give an example of a theoretical exercise that enhances the understanding of the tren...
This paper presents the development and usage of a web application for troubleshooting logical circuits. The application is designed to support the teaching and learning of troubleshooting logical circuits by providing students with a platform to practice troubleshooting and allowing teachers to monitor students' progress. The web application featu...
Proof-theoretic semantics (P-tS) is the approach to meaning in logic based on proof (as opposed to truth). There are two major approaches to P-tS: proof-theoretic validity (P-tV) and base-extension semantics (B-eS). The former is a semantics of arguments, and the latter is a semantics of logical constants. This paper demonstrates that the B-eS for...
It is relatively easy to generate many different types of coding styles from a Petri Net model of an application logic. Given a Petri Net model of a truth table it might be easier to use this model for transforming a truth table into code. As an example a Petri Net model of the exemplar truth table is transformed into three different types of codin...
