-
eXplainable Artificial Intelligence on Medical Images: A Survey
Authors:
Matteus Vargas Simão da Silva,
Rodrigo Reis Arrais,
Jhessica Victoria Santos da Silva,
Felipe Souza Tânios,
Mateus Antonio Chinelatto,
Natalia Backhaus Pereira,
Renata De Paris,
Lucas Cesar Ferreira Domingos,
Rodrigo Dória Villaça,
Vitor Lopes Fabris,
Nayara Rossi Brito da Silva,
Ana Claudia Akemi Matsuki de Faria,
Jose Victor Nogueira Alves da Silva,
Fabiana Cristina Queiroz de Oliveira Marucci,
Francisco Alves de Souza Neto,
Danilo Xavier Silva,
Vitor Yukio Kondo,
Claudio Filipi Gonçalves dos Santos
Abstract:
Over the last few years, the number of works about deep learning applied to the medical field has increased enormously. The necessity of a rigorous assessment of these models is required to explain these results to all people involved in medical exams. A recent field in the machine learning area is explainable artificial intelligence, also known as XAI, which targets to explain the results of such…
▽ More
Over the last few years, the number of works about deep learning applied to the medical field has increased enormously. The necessity of a rigorous assessment of these models is required to explain these results to all people involved in medical exams. A recent field in the machine learning area is explainable artificial intelligence, also known as XAI, which targets to explain the results of such black box models to permit the desired assessment. This survey analyses several recent studies in the XAI field applied to medical diagnosis research, allowing some explainability of the machine learning results in several different diseases, such as cancers and COVID-19.
△ Less
Submitted 12 May, 2023;
originally announced May 2023.
-
Unambiguous signature of exchange interactions between nanoparticles in a collective system
Authors:
C. A. Iglesias,
J. C. R. de Araújo,
J. Xavier,
R. B. da Silva,
J. M. Soares,
L. M. Silva,
J. H. de Araújo,
S. N. de Medeiros,
P. B. Souza,
C. C. Plá Cid,
M. Gamino,
M. A. Correa,
F. Bohn
Abstract:
We report a simple, efficient manner to assess magnetic interactions, more specifically the exchange interaction, in systems as blocked magnetic nanoparticles. Specifically, we investigate what is the theoretical limit for the external magnetic susceptibility in a system described by the plain old Stoner-Wohlfarth model. We go beyond and introduce a general mean field theory for interacting system…
▽ More
We report a simple, efficient manner to assess magnetic interactions, more specifically the exchange interaction, in systems as blocked magnetic nanoparticles. Specifically, we investigate what is the theoretical limit for the external magnetic susceptibility in a system described by the plain old Stoner-Wohlfarth model. We go beyond and introduce a general mean field theory for interacting systems, thus estimating how the magnetic susceptibility is affected due to the dipolar and exchange interactions inside the system. We disclose a fundamental inequality for the magnetic susceptibility and show its violation is an unambiguous signature of the existence of exchange interactions between nanoparticles in a collective system. To test the robustness of our theoretical achievements, we examine magnetization measurements and Henkel plots for blocked magnetic nanopowders. The agreement between experiment and theory provides evidence to confirm the validity of our findings.
△ Less
Submitted 8 October, 2021;
originally announced October 2021.
-
Specific loss power of magnetic nanoparticles (fluid) hyperthermia in non-adiabatic conditions
Authors:
C. A. M. Iglesias,
J. C. R. de Araújo,
J. Xavier,
R. B. da Silva,
J. M. Soares,
E. L. Brito,
L. Streck,
J. L. C. Fonseca,
C. C. Plá Cid,
M. Gamino,
E. F. Silva,
C. Chesman,
M. A. Correa,
S. N. de Medeiros,
F. Bohn
Abstract:
We investigate the magnetic nanoparticles (fluid) hyperthermia in non-adiabatic conditions through the calorimetric method. Specifically, we propose a theoretical approach to magnetic hyperthermia from a thermodynamic point of view. To test the robustness of the approach, we perform hyperthermia experiments and analyze the thermal behavior of magnetite and magnesium ferrite magnetic nanoparticles…
▽ More
We investigate the magnetic nanoparticles (fluid) hyperthermia in non-adiabatic conditions through the calorimetric method. Specifically, we propose a theoretical approach to magnetic hyperthermia from a thermodynamic point of view. To test the robustness of the approach, we perform hyperthermia experiments and analyze the thermal behavior of magnetite and magnesium ferrite magnetic nanoparticles dispersed in water submitted to an alternating magnetic field. From our findings, besides estimating the specific loss power value from a non-adiabatic process, thus enhancing the accuracy in the determination of this quantity, we provide physical meaning to parameters found in literature that still remained not fully understood, and bring to light how they can be obtained experimentally.
△ Less
Submitted 9 March, 2021;
originally announced March 2021.
-
Stabilization of Magnetic Skyrmions on Arrays of Self-Assembled Hexagonal Nanodomes for Magnetic Recording Applications
Authors:
Felipe Tejo,
Denilson Toneto,
Simón Oyarzún,
José Hermosilla,
Caroline S. Danna,
Juan L. Palma,
Ricardo B. da Silva,
Lucio S. Dorneles,
Juliano C. Denardin
Abstract:
Magnetic skyrmions are nontrivial spin textures which resist external perturbations, being promising candidates for the next generation recording devices. Nevertheless, a major challenge in realizing skyrmion-based devices is the stabilization of ordered arrays of these spin textures under ambient conditions and zero applied field. Here, we demonstrate for the first time the formation and stabiliz…
▽ More
Magnetic skyrmions are nontrivial spin textures which resist external perturbations, being promising candidates for the next generation recording devices. Nevertheless, a major challenge in realizing skyrmion-based devices is the stabilization of ordered arrays of these spin textures under ambient conditions and zero applied field. Here, we demonstrate for the first time the formation and stabilization of magnetic skyrmions on arrays of self-assembled hexagonal nanodomes taking advantage of the intrinsic properties of its curved geometry. Magnetic force microscopy images from the arrays of 100 nm nanodomes showed stable skyrmions at zero field that are arranged following the topography of the nanostructure. Micromagnetic simulations are compared to the experiments to determine the correlation of the domain textures with the topography of the samples. We propose a simple method to nucleate and annihilate skyrmions, opening the possibility for ultra-dense data storage based on the high stability and low energy consumption of the skyrmionic textures.
△ Less
Submitted 7 October, 2020;
originally announced October 2020.
-
Weight bounds for $(3,γ)$-hyperelliptic curves
Authors:
Rafael Barbosa da Silva,
Ethan Cotterill
Abstract:
{\it $(N,γ)$-hyperelliptic} semigroups were introduced by Fernando Torres to encapsulate the most salient properties of Weierstrass semigroups associated to totally-ramified points of $N$-fold covers of curves of genus $γ$. Torres characterized $(2,γ)$-hyperelliptic semigroups of maximal weight whenever their genus is large relative to $γ$. Here we do the same for $(3,γ)$-hyperelliptic semigroups,…
▽ More
{\it $(N,γ)$-hyperelliptic} semigroups were introduced by Fernando Torres to encapsulate the most salient properties of Weierstrass semigroups associated to totally-ramified points of $N$-fold covers of curves of genus $γ$. Torres characterized $(2,γ)$-hyperelliptic semigroups of maximal weight whenever their genus is large relative to $γ$. Here we do the same for $(3,γ)$-hyperelliptic semigroups, and we formulate a conjecture about the general case whenever $N \geq 3$ is prime.
△ Less
Submitted 19 March, 2020; v1 submitted 22 January, 2020;
originally announced January 2020.
-
Multilevel LDPC Lattices with Efficient Encoding and Decoding and a Generalization of Construction D'
Authors:
Paulo Ricardo Branco da Silva,
Danilo Silva
Abstract:
Lattice codes are elegant and powerful structures that not only can achieve the capacity of the AWGN channel but are also a key ingredient to many multiterminal schemes that exploit linearity properties. However, constructing lattice codes that can realize these benefits with low complexity is still a challenging problem. In this paper, efficient encoding and decoding algorithms are proposed for m…
▽ More
Lattice codes are elegant and powerful structures that not only can achieve the capacity of the AWGN channel but are also a key ingredient to many multiterminal schemes that exploit linearity properties. However, constructing lattice codes that can realize these benefits with low complexity is still a challenging problem. In this paper, efficient encoding and decoding algorithms are proposed for multilevel binary LDPC lattices constructed via Construction D' whose complexity is linear in the total number of coded bits. Moreover, a generalization of Construction D' is proposed that relaxes some of the nesting constraints on the parity-check matrices of the component codes, leading to a simpler and improved design. Based on this construction, low-complexity multilevel LDPC lattices are designed whose performance under multistage decoding is comparable to that of polar lattices and close to that of low-density lattice codes (LDLC) on the power-unconstrained AWGN channel.
△ Less
Submitted 22 November, 2018; v1 submitted 21 December, 2017;
originally announced December 2017.
-
Magnetoimpedance effect at the high frequency range for the thin film geometry: Numerical calculation and experiment
Authors:
M. A. Corrêa,
F. Bohn,
R. B. da Silva,
R. L. Sommer
Abstract:
The magnetoimpedance effect is a versatile tool to investigate ferromagnetic materials, revealing aspects on the fundamental physics associated to magnetization dynamics, broadband magnetic properties, important issues for current and emerging technological applications for magnetic sensors, as well as insights on ferromagnetic resonance effect at non-saturated magnetic states. Here, we perform a…
▽ More
The magnetoimpedance effect is a versatile tool to investigate ferromagnetic materials, revealing aspects on the fundamental physics associated to magnetization dynamics, broadband magnetic properties, important issues for current and emerging technological applications for magnetic sensors, as well as insights on ferromagnetic resonance effect at non-saturated magnetic states. Here, we perform a theoretical and experimental investigation of the magnetoimpedance effect for the thin film geometry in a wide frequency range. We calculate the longitudinal magnetoimpedance for single layered, multilayered or exchange biased systems from an approach that considers a magnetic permeability model for planar geometry and the appropriate magnetic free energy density for each structure. From numerical calculations and experimental results found in literature, we analyze the magnetoimpedance behavior, and discuss the main features and advantages of each structure. To test the robustness of the approach, we directly compare theoretical results with experimental magnetoimpedance measurements obtained in a wide range of frequencies for an exchange biased multilayered film. Thus, we provide experimental evidence to confirm the validity of the theoretical approach employed to describe the magnetoimpedance in ferromagnetic films, revealed by the good agreement between numerical calculations and experimental results.
△ Less
Submitted 4 November, 2014;
originally announced November 2014.
-
A topological formal treatment for scenario-based software specification of concurrent real-time systems
Authors:
Miriam C. B. Alves,
Christine C. Dantas,
Nanci N. Arai,
Rovedy B. da Silva
Abstract:
Real-time systems are computing systems in which the meeting of their requirements is vital for their correctness. Consequently, if the real-time requirements of these systems are poorly understood and verified, the results can be disastrous and lead to irremediable project failures at the early phases of development. The present work addresses the problem of detecting deadlock situations early…
▽ More
Real-time systems are computing systems in which the meeting of their requirements is vital for their correctness. Consequently, if the real-time requirements of these systems are poorly understood and verified, the results can be disastrous and lead to irremediable project failures at the early phases of development. The present work addresses the problem of detecting deadlock situations early in the requirements specification phase of a concurrent real time system, proposing a simple proof-of-concepts prototype that joins scenario-based requirements specifications and techniques based on topology. The efforts are concentrated in the integration of the formal representation of Message Sequence Chart scenarios into the deadlock detection algorithm of Fajstrup et al., based on geometric and algebraic topology.
△ Less
Submitted 1 February, 2008;
originally announced February 2008.