Showing 1–50 of 194 results for author: Rodrigues, L

High-resolution segmentations of the hypothalamus and its subregions for training of segmentation models

Authors: Livia Rodrigues, Martina Bocchetta, Oula Puonti, Douglas Greve, Ana Carolina Londe, Marcondes França, Simone Appenzeller, Leticia Rittner, Juan Eugenio Iglesias

Abstract: Segmentation of brain structures on magnetic resonance imaging (MRI) is a highly relevant neuroimaging topic, as it is a prerequisite for different analyses such as volumetry or shape analysis. Automated segmentation facilitates the study of brain structures in larger cohorts when compared with manual segmentation, which is time-consuming. However, the development of most automated methods relies… ▽ More Segmentation of brain structures on magnetic resonance imaging (MRI) is a highly relevant neuroimaging topic, as it is a prerequisite for different analyses such as volumetry or shape analysis. Automated segmentation facilitates the study of brain structures in larger cohorts when compared with manual segmentation, which is time-consuming. However, the development of most automated methods relies on large and manually annotated datasets, which limits the generalizability of these methods. Recently, new techniques using synthetic images have emerged, reducing the need for manual annotation. Here we provide HELM, Hypothalamic ex vivo Label Maps, a dataset composed of label maps built from publicly available ultra-high resolution ex vivo MRI from 10 whole hemispheres, which can be used to develop segmentation methods using synthetic data. The label maps are obtained with a combination of manual labels for the hypothalamic regions and automated segmentations for the rest of the brain, and mirrored to simulate entire brains. We also provide the pre-processed ex vivo scans, as this dataset can support future projects to include other structures after these are manually segmented. △ Less

Submitted 27 June, 2024; originally announced June 2024.

Comparing the Effects of Visual, Haptic, and Visuohaptic Encoding on Memory Retention of Digital Objects in Virtual Reality

Authors: Lucas Siqueira Rodrigues, Timo Torsten Schmidt, John Nyakatura, Stefan Zachow, Johann Habakuk Israel, Thomas Kosch

Abstract: Although Virtual Reality (VR) has undoubtedly improved human interaction with 3D data, users still face difficulties retaining important details of complex digital objects in preparation for physical tasks. To address this issue, we evaluated the potential of visuohaptic integration to improve the memorability of virtual objects in immersive visualizations. In a user study (N=20), participants per… ▽ More Although Virtual Reality (VR) has undoubtedly improved human interaction with 3D data, users still face difficulties retaining important details of complex digital objects in preparation for physical tasks. To address this issue, we evaluated the potential of visuohaptic integration to improve the memorability of virtual objects in immersive visualizations. In a user study (N=20), participants performed a delayed match-to-sample task where they memorized stimuli of visual, haptic, or visuohaptic encoding conditions. We assessed performance differences between the conditions through error rates and response time. We found that visuohaptic encoding significantly improved memorization accuracy compared to unimodal visual and haptic conditions. Our analysis indicates that integrating haptics into immersive visualizations enhances the memorability of digital objects. We discuss its implications for the optimal encoding design in VR applications that assist professionals who need to memorize and recall virtual objects in their daily work. △ Less

Submitted 20 June, 2024; originally announced June 2024.

Comments: Accepted at NordiCHI 2024

State Feedback as a Strategy for Control and Analysis of COVID-19

Authors: Leonardo R. S. Rodrigues, Felipe Gabrielli

Abstract: This paper presents a study on a compartmental epidemic model for COVID-19, examining the stability of its equilibrium points upon the introduction of vaccination as a strategy to mitigate the spread of the disease. Initially, the SIQR (Susceptible-Infectious-Quarantine-Recovered) mathematical model and its technical aspects are introduced. Subsequently, vaccination is incorporated as a control me… ▽ More This paper presents a study on a compartmental epidemic model for COVID-19, examining the stability of its equilibrium points upon the introduction of vaccination as a strategy to mitigate the spread of the disease. Initially, the SIQR (Susceptible-Infectious-Quarantine-Recovered) mathematical model and its technical aspects are introduced. Subsequently, vaccination is incorporated as a control measure within the model scope. Equilibrium points and the basic reproductive number are determined, followed by an analysis of their stability. Furthermore, controllability characteristics and Optimal Control strategies for the system are investigated, supplemented by numerical simulations. △ Less

Submitted 27 May, 2024; originally announced May 2024.

Diffusion posterior sampling for simulation-based inference in tall data settings

Authors: Julia Linhart, Gabriel Victorino Cardoso, Alexandre Gramfort, Sylvain Le Corff, Pedro L. C. Rodrigues

Abstract: Determining which parameters of a non-linear model best describe a set of experimental data is a fundamental problem in science and it has gained much traction lately with the rise of complex large-scale simulators. The likelihood of such models is typically intractable, which is why classical MCMC methods can not be used. Simulation-based inference (SBI) stands out in this context by only requiri… ▽ More Determining which parameters of a non-linear model best describe a set of experimental data is a fundamental problem in science and it has gained much traction lately with the rise of complex large-scale simulators. The likelihood of such models is typically intractable, which is why classical MCMC methods can not be used. Simulation-based inference (SBI) stands out in this context by only requiring a dataset of simulations to train deep generative models capable of approximating the posterior distribution that relates input parameters to a given observation. In this work, we consider a tall data extension in which multiple observations are available to better infer the parameters of the model. The proposed method is built upon recent developments from the flourishing score-based diffusion literature and allows to estimate the tall data posterior distribution, while simply using information from a score network trained for a single context observation. We compare our method to recently proposed competing approaches on various numerical experiments and demonstrate its superiority in terms of numerical stability and computational cost. △ Less

Submitted 7 June, 2024; v1 submitted 11 April, 2024; originally announced April 2024.

Comments: 49 pages, 24 figures, 3 tables, 2 algorithms, 12 appendices, in proceedings

Fast, accurate and lightweight sequential simulation-based inference using Gaussian locally linear map**s

Authors: Henrik Häggström, Pedro L. C. Rodrigues, Geoffroy Oudoumanessah, Florence Forbes, Umberto Picchini

Abstract: Bayesian inference for complex models with an intractable likelihood can be tackled using algorithms performing many calls to computer simulators. These approaches are collectively known as "simulation-based inference" (SBI). Recent SBI methods have made use of neural networks (NN) to provide approximate, yet expressive constructs for the unavailable likelihood function and the posterior distribut… ▽ More Bayesian inference for complex models with an intractable likelihood can be tackled using algorithms performing many calls to computer simulators. These approaches are collectively known as "simulation-based inference" (SBI). Recent SBI methods have made use of neural networks (NN) to provide approximate, yet expressive constructs for the unavailable likelihood function and the posterior distribution. However, the trade-off between accuracy and computational demand leaves much space for improvement. In this work, we propose an alternative that provides both approximations to the likelihood and the posterior distribution, using structured mixtures of probability distributions. Our approach produces accurate posterior inference when compared to state-of-the-art NN-based SBI methods, even for multimodal posteriors, while exhibiting a much smaller computational footprint. We illustrate our results on several benchmark models from the SBI literature and on a biological model of the translation kinetics after mRNA transfection. △ Less

Submitted 22 June, 2024; v1 submitted 12 March, 2024; originally announced March 2024.

Comments: 69 pages, 66 figures: new case study added (Biological model of the translation kinetics after mRNA transfection)

Highly efficient interaction of a tubular-lattice hollow-core fiber and flexural acoustic waves: design, characterization and analysis

Authors: Ricardo E. da Silva, Jonas H. Osório, Gabriel L. Rodrigues, David J. Webb, Frédéric Gérôme, Fetah Benabid, Cristiano M. B. Cordeiro, Marcos A. R. Franco

Abstract: The modulation efficiency of a tubular-lattice hollow-core fiber (HCF) by means of flexural acoustic waves is investigated in detail for the first time. The main acousto-optic properties of the HCF are evaluated employing 2D and 3D models based on the finite element method. The induced coupling of the fundamental and first higher-order modes is simulated in the wavelength range from 743 to 1355 nm… ▽ More The modulation efficiency of a tubular-lattice hollow-core fiber (HCF) by means of flexural acoustic waves is investigated in detail for the first time. The main acousto-optic properties of the HCF are evaluated employing 2D and 3D models based on the finite element method. The induced coupling of the fundamental and first higher-order modes is simulated in the wavelength range from 743 to 1355 nm. Significant acoustic (amplitude, period, strain, energy) and optical parameters (effective index, beat length, birefringence, coupling coefficient) are analyzed. The simulations are compared to experimental results, indicating higher modulation performance in HCFs compared to standard optical fibers. In addition, useful insights into the design and fabrication of all-fiber acousto-optic devices based on HCFs are provided, enabling potential application in tunable spectral filters and mode-locked fiber lasers. △ Less

Submitted 24 February, 2024; originally announced February 2024.

Understanding the radio luminosity function of star-forming galaxies and its cosmological evolution

Authors: Charles Jose, Luke Chamandy, Anvar Shukurov, Kandaswamy Subramanian, Luiz Felippe S. Rodrigues, Carlton M. Baugh

Abstract: We explore the redshift evolution of the radio luminosity function (RLF) of star-forming galaxies using GALFORM, a semi-analytic model of galaxy formation and a dynamo model of the magnetic field evolving in a galaxy. Assuming energy equipartition between the magnetic field and cosmic rays, we derive the synchrotron luminosity of each sample galaxy. In a model where the turbulent speed is correlat… ▽ More We explore the redshift evolution of the radio luminosity function (RLF) of star-forming galaxies using GALFORM, a semi-analytic model of galaxy formation and a dynamo model of the magnetic field evolving in a galaxy. Assuming energy equipartition between the magnetic field and cosmic rays, we derive the synchrotron luminosity of each sample galaxy. In a model where the turbulent speed is correlated with the star formation rate, the RLF is in fair agreement with observations in the redshift range $0 \leq z \leq 2$. At larger redshifts, the structure of galaxies, their interstellar matter and turbulence appear to be rather different from those at $z\lesssim2$, so that the turbulence and magnetic field models applicable at low redshifts become inadequate. The strong redshift evolution of the RLF at $0 \leq z \leq 2$ can be attributed to an increased number, at high redshift, of galaxies with large disc volumes and strong magnetic fields. On the other hand, in models where the turbulent speed is a constant or an explicit function of $z$, the observed redshift evolution of the RLF is poorly captured. The evolution of the interstellar turbulence and outflow parameters appear to be major (but not the only) drivers of the RLF changes. We find that both the small- and large-scale magnetic fields contribute to the RLF but the small-scale field dominates at high redshifts. Polarisation observations will therefore be important to distinguish these two components and understand better the evolution of galaxies and their nonthermal constituents. △ Less

Submitted 11 June, 2024; v1 submitted 23 February, 2024; originally announced February 2024.

Comments: 19 pages, 8 figures. MNRAS, in press

Molecule Generation and Optimization for Efficient Fragrance Creation

Authors: Bruno C. L. Rodrigues, Vinicius V. Santana, Sandris Murins, Idelfonso B. R. Nogueira

Abstract: This research introduces a Machine Learning-centric approach to replicate olfactory experiences, validated through experimental quantification of perfume perception. Key contributions encompass a hybrid model connecting perfume molecular structure to human olfactory perception. This model includes an AI-driven molecule generator (utilizing Graph and Generative Neural Networks), quantification and… ▽ More This research introduces a Machine Learning-centric approach to replicate olfactory experiences, validated through experimental quantification of perfume perception. Key contributions encompass a hybrid model connecting perfume molecular structure to human olfactory perception. This model includes an AI-driven molecule generator (utilizing Graph and Generative Neural Networks), quantification and prediction of odor intensity, and refinery of optimal solvent and molecule combinations for desired fragrances. Additionally, a thermodynamic-based model establishes a link between olfactory perception and liquid-phase concentrations. The methodology employs Transfer Learning and selects the most suitable molecules based on vapor pressure and fragrance notes. Ultimately, a mathematical optimization problem is formulated to minimize discrepancies between new and target olfactory experiences. The methodology is validated by reproducing two distinct olfactory experiences using available experimental data. △ Less

Submitted 19 February, 2024; originally announced February 2024.

H-SynEx: Using synthetic images and ultra-high resolution ex vivo MRI for hypothalamus subregion segmentation

Authors: Livia Rodrigues, Martina Bocchetta, Oula Puonti, Douglas Greve, Ana Carolina Londe, Marcondes França, Simone Appenzeller, Juan Eugenio Iglesias, Leticia Rittner

Abstract: The hypothalamus is a small structure located in the center of the brain and is involved in significant functions such as slee**, temperature, and appetite control. Various neurological disorders are also associated with hypothalamic abnormalities. Automated image analysis of this structure from brain MRI is thus highly desirable to study the hypothalamus in vivo. However, most automated segment… ▽ More The hypothalamus is a small structure located in the center of the brain and is involved in significant functions such as slee**, temperature, and appetite control. Various neurological disorders are also associated with hypothalamic abnormalities. Automated image analysis of this structure from brain MRI is thus highly desirable to study the hypothalamus in vivo. However, most automated segmentation tools currently available focus exclusively on T1w images. In this study, we introduce H-SynEx, a machine learning method for automated segmentation of hypothalamic subregions that generalizes across different MRI sequences and resolutions without retraining. H-synEx was trained with synthetic images built from label maps derived from ultra-high resolution ex vivo MRI scans, which enables finer-grained manual segmentation when compared with 1mm isometric in vivo images. We validated our method using Dice Coefficient (DSC) and Average Hausdorff distance (AVD) across in vivo images from six different datasets with six different MRI sequences (T1, T2, proton density, quantitative T1, fractional anisotrophy, and FLAIR). Statistical analysis compared hypothalamic subregion volumes in controls, Alzheimer's disease (AD), and behavioral variant frontotemporal dementia (bvFTD) subjects using the Area Under the Receiving Operating Characteristic curve (AUROC) and Wilcoxon rank sum test. Our results show that H-SynEx successfully leverages information from ultra-high resolution scans to segment in vivo from different MRI sequences. Our automated segmentation was able to discriminate controls versus Alzheimer's Disease patients on FLAIR images with 5mm spacing. H-SynEx is openly available at https://github.com/liviamarodrigues/hsynex. △ Less

Submitted 1 July, 2024; v1 submitted 30 January, 2024; originally announced January 2024.

Convective stability in scalar balance laws

Authors: Louis Garénaux, L. Miguel Rodrigues

Abstract: We fill the two main remaining gaps in the full classification of non-degenerate planar traveling waves of scalar balance laws from the point of view of spectral and nonlinear stability/instability under smooth perturbations. On one hand we investigate the impact on the classification of allowing to restrict perturbations by further localization constraints, the so-called convective stability anal… ▽ More We fill the two main remaining gaps in the full classification of non-degenerate planar traveling waves of scalar balance laws from the point of view of spectral and nonlinear stability/instability under smooth perturbations. On one hand we investigate the impact on the classification of allowing to restrict perturbations by further localization constraints, the so-called convective stability analysis. On the other hand, in the multidimensional case we extend the existing analysis to general perturbations, relaxing the artificial restriction, assumed so far, that initial perturbations are supported away from characteristic points. A striking feature of the latter analysis is that it involves infinite-dimensional families of genuinely multidimensional traveling waves that live near the perturbed planar traveling wave. △ Less

Submitted 4 April, 2024; v1 submitted 12 January, 2024; originally announced January 2024.

Comments: 27 pages, 1 figure

MSC Class: 35B35 (Primary); 35L02; 35L67; 35B40; 35L03; 35P15; 37L15 (Secondary)

An approach for mistranslation removal from popular dataset for Indic MT Task

Authors: Sudhansu Bala Das, Leo Raphael Rodrigues, Tapas Kumar Mishra, Bidyut Kr. Patra

Abstract: The conversion of content from one language to another utilizing a computer system is known as Machine Translation (MT). Various techniques have come up to ensure effective translations that retain the contextual and lexical interpretation of the source language. End-to-end Neural Machine Translation (NMT) is a popular technique and it is now widely used in real-world MT systems. Massive amounts o… ▽ More The conversion of content from one language to another utilizing a computer system is known as Machine Translation (MT). Various techniques have come up to ensure effective translations that retain the contextual and lexical interpretation of the source language. End-to-end Neural Machine Translation (NMT) is a popular technique and it is now widely used in real-world MT systems. Massive amounts of parallel datasets (sentences in one language alongside translations in another) are required for MT systems. These datasets are crucial for an MT system to learn linguistic structures and patterns of both languages during the training phase. One such dataset is Samanantar, the largest publicly accessible parallel dataset for Indian languages (ILs). Since the corpus has been gathered from various sources, it contains many incorrect translations. Hence, the MT systems built using this dataset cannot perform to their usual potential. In this paper, we propose an algorithm to remove mistranslations from the training corpus and evaluate its performance and efficiency. Two Indic languages (ILs), namely, Hindi (HIN) and Odia (ODI) are chosen for the experiment. A baseline NMT system is built for these two ILs, and the effect of different dataset sizes is also investigated. The quality of the translations in the experiment is evaluated using standard metrics such as BLEU, METEOR, and RIBES. From the results, it is observed that removing the incorrect translation from the dataset makes the translation quality better. It is also noticed that, despite the fact that the ILs-English and English-ILs systems are trained using the same corpus, ILs-English works more effectively across all the evaluation metrics. △ Less

Submitted 12 January, 2024; originally announced January 2024.

Comments: 18 pages

High-temperature sensing using a hollow-core fiber with thick cladding tubes

Authors: Gabriel Labes Rodrigues, Cristiano M. B. Cordeiro, Foued Amrani, Frédéric Gérôme, Fetah Benabid, Jonas H. Osório

Abstract: We report on high-temperature sensing measurements using a tubular-lattice hollow-core photonic crystal fiber displaying a microstructure formed of eight 2.4 um-thick cladding tubes. The larger thickness of our fiber's cladding tubes compared to other hollow fibers operating in the visible and infrared ranges entails multiple narrow transmission bands in its transmission spectrum (6 bands in the s… ▽ More We report on high-temperature sensing measurements using a tubular-lattice hollow-core photonic crystal fiber displaying a microstructure formed of eight 2.4 um-thick cladding tubes. The larger thickness of our fiber's cladding tubes compared to other hollow fibers operating in the visible and infrared ranges entails multiple narrow transmission bands in its transmission spectrum (6 bands in the spectral range between 400 nm and 950 nm) and benefits the realization of the temperature sensing measurements. The principle of operation of our device is based on the thermo-optic effect and thermal expansion-induced spectral shifts of the fiber transmission bands due to temperature variations. To study the sensor operation, we monitored the fiber transmission bands' spectral positions from room temperature to 1085 oC in both ramp-up and ramp-down scenarios. Additionally, we investigated the optimization opportunities by assessing an analytical model describing the fiber transmission characteristics and discussed the alternatives for enhancing the sensor performance. Moreover, our fiber characterization experiments revealed a consistent confinement loss trend aligned with the scaling laws in tubular-lattice hollow-core fibers. We thus understand that the results presented in this manuscript highlight a relevant path for the development of temperature sensors based on microstructured hollow-core optical fibers endowed with thick cladding tubes. △ Less

Submitted 8 January, 2024; originally announced January 2024.

Optimal Observer Design Using Reinforcement Learning and Quadratic Neural Networks

Authors: Soroush Asri, Luis Rodrigues

Abstract: This paper introduces an innovative approach based on policy iteration (PI), a reinforcement learning (RL) algorithm, to obtain an optimal observer with a quadratic cost function. This observer is designed for systems with a given linearized model and a stabilizing Luenberger observer gain. We utilize two-layer quadratic neural networks (QNN) for policy evaluation and derive a linear correction te… ▽ More This paper introduces an innovative approach based on policy iteration (PI), a reinforcement learning (RL) algorithm, to obtain an optimal observer with a quadratic cost function. This observer is designed for systems with a given linearized model and a stabilizing Luenberger observer gain. We utilize two-layer quadratic neural networks (QNN) for policy evaluation and derive a linear correction term using the input and output data. This correction term effectively rectifies inaccuracies introduced by the linearized model employed within the observer design. A unique feature of the proposed methodology is that the QNN is trained through convex optimization. The main advantage is that the QNN's input-output map** has an analytical expression as a quadratic form, which can then be used to obtain a linear correction term policy. This is in stark contrast to the available techniques in the literature that must train a second neural network to obtain policy improvement. It is proven that the obtained linear correction term is optimal for linear systems, as both the value function and the QNN's input-output map** are quadratic. The proposed method is applied to a simple pendulum, demonstrating an enhanced correction term policy compared to relying solely on the linearized model. This shows its promise for addressing nonlinear systems. △ Less

Submitted 27 November, 2023; originally announced November 2023.

Data-Driven LQR using Reinforcement Learning and Quadratic Neural Networks

Authors: Soroush Asri, Luis Rodrigues

Abstract: This paper introduces a novel data-driven approach to design a linear quadratic regulator (LQR) using a reinforcement learning (RL) algorithm that does not require a system model. The key contribution is to perform policy iteration (PI) by designing the policy evaluator as a two-layer quadratic neural network (QNN). This network is trained through convex optimization. To the best of our knowledge,… ▽ More This paper introduces a novel data-driven approach to design a linear quadratic regulator (LQR) using a reinforcement learning (RL) algorithm that does not require a system model. The key contribution is to perform policy iteration (PI) by designing the policy evaluator as a two-layer quadratic neural network (QNN). This network is trained through convex optimization. To the best of our knowledge, this is the first time that a QNN trained through convex optimization is employed as the Q-function approximator (QFA). The main advantage is that the QNN's input-output map** has an analytical expression as a quadratic form, which can then be used to obtain an analytical expression for policy improvement. This is in stark contrast to the available techniques in the literature that must train a second neural network to obtain policy improvement. The article establishes the convergence of the learning algorithm to the optimal control, provided the system is controllable and one starts from a stabilitzing policy. A quadrotor example demonstrates the effectiveness of the proposed approach. △ Less

Submitted 16 November, 2023; originally announced November 2023.

All-fiber broadband spectral acousto-optic modulation of a tubular-lattice hollow-core optical fiber

Authors: Ricardo E. da Silva, Jonas H. Osório, Gabriel L. Rodrigues, David J. Webb, Frédéric Gérôme, Fetah Benabid, Cristiano M. B. Cordeiro, Marcos A. R. Franco

Abstract: We demonstrate a broadband acousto-optic notch filter based on a tubular-lattice hollow-core fiber for the first time. The guided optical modes are modulated by acoustically induced dynamic long-period gratings along the fiber. The device is fabricated employing a short interaction length (7.7 cm) and low drive voltages (10 V). Modulated spectral bands with 20 nm half-width and maximum depths grea… ▽ More We demonstrate a broadband acousto-optic notch filter based on a tubular-lattice hollow-core fiber for the first time. The guided optical modes are modulated by acoustically induced dynamic long-period gratings along the fiber. The device is fabricated employing a short interaction length (7.7 cm) and low drive voltages (10 V). Modulated spectral bands with 20 nm half-width and maximum depths greater than 60 % are achieved. The resonant notch wavelength is tuned from 743 to 1355 nm (612 nm span) by changing the frequency of the electrical signal. The results indicate a broader tuning range compared to previous studies using standard and hollow-core fibers. It further reveals unique properties for reconfigurable spectral filters and fiber lasers, pointing to the fast switching and highly efficient modulation of all-fiber photonic devices. △ Less

Submitted 13 November, 2023; originally announced November 2023.

Anachronic Tertiary Studies in Software Engineering: An Exploratory Quaternary Study

Authors: Valdemar Vicente Graciano Neto, Célia Laís Rodrigues, Fernando Kenji Kamei, Juliano Lopes de Oliveira, Eliomar Araújo de Lima, Mohamad Kassab, Roberto Oliveira

Abstract: Systematic literature reviews tentativelydescribe the state of the art in a given research area. However, the continuous publication of new primary and secondary studies following the release of a tertiary study can make the communication of results not integrally representative in regards to the advances achieved by that time. Consequently, using such a study as a reference within specific bodies… ▽ More Systematic literature reviews tentativelydescribe the state of the art in a given research area. However, the continuous publication of new primary and secondary studies following the release of a tertiary study can make the communication of results not integrally representative in regards to the advances achieved by that time. Consequently, using such a study as a reference within specific bodies of knowledge may introduce imprecision, both in terms of its subareas and with respect to new methodologies, languages, and tools. Thus, a review of tertiary studies (what could be understood as a quaternary study) could contribute to show the representativeness of the reported findings in comparison to the state of the art and also to compile a set of perceptions that could not be previously achieved. In that direction, the main contribution of this paper is presenting the findings from an analysis of 34 software engineering tertiary studies published between 2009 and 2021. The results indicate that over 60% of the studies demonstrate varying degrees of anachronism due to the publication of primary and secondary studies following the publication of the tertiary study or even due to a time elapse between its conduction and its publication. △ Less

Submitted 31 October, 2023; originally announced November 2023.

Comments: 8 pages, not peer-reviewed yet

Resonance of Vector Vortex Beams in a Triangular Optical Cavity

Authors: L. M. Rodrigues, L. Marques Fagundes, D. C. Salles, G. H. dos Santos, J. M. Kondo, A. Z. Khoury, P. H. Souto Ribeiro, R. Medeiros de Araújo

Abstract: We experimentally demonstrate resonance of first-order vector vortex beams (VVB) with a triangular optical cavity. We also show that, due to their symmetry properties, the so-called radial and azimuthal VVBs do not resonate at the same cavity length, which could be explored to use the triangular resonator as a mode sorter. In addition, an intracavity Pancharatnam phase shifter (PPS) is implemented… ▽ More We experimentally demonstrate resonance of first-order vector vortex beams (VVB) with a triangular optical cavity. We also show that, due to their symmetry properties, the so-called radial and azimuthal VVBs do not resonate at the same cavity length, which could be explored to use the triangular resonator as a mode sorter. In addition, an intracavity Pancharatnam phase shifter (PPS) is implemented in order to compensate for any birefringent phase that the cavity mirrors may introduce. △ Less

Submitted 23 October, 2023; originally announced October 2023.

Recognizing Handwritten Mathematical Expressions of Vertical Addition and Subtraction

Authors: Daniel Rosa, Filipe R. Cordeiro, Ruan Carvalho, Everton Souza, Sergio Chevtchenko, Luiz Rodrigues, Marcelo Marinho, Thales Vieira, Valmir Macario

Abstract: Handwritten Mathematical Expression Recognition (HMER) is a challenging task with many educational applications. Recent methods for HMER have been developed for complex mathematical expressions in standard horizontal format. However, solutions for elementary mathematical expression, such as vertical addition and subtraction, have not been explored in the literature. This work proposes a new handwr… ▽ More Handwritten Mathematical Expression Recognition (HMER) is a challenging task with many educational applications. Recent methods for HMER have been developed for complex mathematical expressions in standard horizontal format. However, solutions for elementary mathematical expression, such as vertical addition and subtraction, have not been explored in the literature. This work proposes a new handwritten elementary mathematical expression dataset composed of addition and subtraction expressions in a vertical format. We also extended the MNIST dataset to generate artificial images with this structure. Furthermore, we proposed a solution for offline HMER, able to recognize vertical addition and subtraction expressions. Our analysis evaluated the object detection algorithms YOLO v7, YOLO v8, YOLO-NAS, NanoDet and FCOS for identifying the mathematical symbols. We also proposed a transcription method to map the bounding boxes from the object detection stage to a mathematical expression in the LATEX markup sequence. Results show that our approach is efficient, achieving a high expression recognition rate. The code and dataset are available at https://github.com/Danielgol/HME-VAS △ Less

Submitted 10 August, 2023; originally announced August 2023.

Comments: Paper accepted at SIBGRAPI 2023

Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge (Extended Version)

Authors: Cláudio Correia, Miguel Correia, Luís Rodrigues

Abstract: In this paper we propose a novel abstraction that we have named Range-Revocable Pseudonyms (RRPs). RRPs are a new class of pseudonyms whose validity can be revoked for any time-range within its original validity period. The key feature of RRPs is that the information provided to revoke a pseudonym for a given timerange cannot be linked with the information provided when using the pseudonym outside… ▽ More In this paper we propose a novel abstraction that we have named Range-Revocable Pseudonyms (RRPs). RRPs are a new class of pseudonyms whose validity can be revoked for any time-range within its original validity period. The key feature of RRPs is that the information provided to revoke a pseudonym for a given timerange cannot be linked with the information provided when using the pseudonym outside the revoked range. We provide an algorithm to implement RRPs using efficient cryptographic primitives where the space complexity of the pseudonym is constant, regardless of the granularity of the revocation range, and the space complexity of the revocation information only grows logarithmically with the granularity; this makes the use of RRPs far more efficient than the use of many short-lived pseudonyms. We have used RRPs to design EDGAR, an access control system for VANET scenarios that offers backward unlinkability. The experimental evaluation of EDGAR shows that, when using RRPs, the revocation can be performed efficiently (even when using time slots as small as 1 second) and that users can authenticate with low latency ($0.5-3.5$ ms). △ Less

Submitted 7 August, 2023; originally announced August 2023.

Comments: 19 pages. Extended version of the paper accepted in CCS 2023

Existence and stability of nonmonotone hydraulic shocks for the Saint Venant equations of inclined thin-film flow

Authors: Grégory Faye, L. Miguel Rodrigues, Zhao Yang, Kevin Zumbrun

Abstract: Extending work of Yang-Zumbrun for the hydrodynamically stable case of Froude number F < 2, we categorize completely the existence and convective stability of hydraulic shock profiles of the Saint Venant equations of inclined thin-film flow. Moreover, we confirm by numerical experiment that asymptotic dynamics for general Riemann data is given in the hydrodynamic instability regime by either stabl… ▽ More Extending work of Yang-Zumbrun for the hydrodynamically stable case of Froude number F < 2, we categorize completely the existence and convective stability of hydraulic shock profiles of the Saint Venant equations of inclined thin-film flow. Moreover, we confirm by numerical experiment that asymptotic dynamics for general Riemann data is given in the hydrodynamic instability regime by either stable hydraulic shock waves, or a pattern consisting of an invading roll wave front separated by a finite terminating Lax shock from a constant state at plus infinity. Notably, profiles, and existence and stability diagrams are all rigorously obtained by mathematical analysis and explicit calculation. △ Less

Submitted 20 July, 2023; originally announced July 2023.

L-C2ST: Local Diagnostics for Posterior Approximations in Simulation-Based Inference

Authors: Julia Linhart, Alexandre Gramfort, Pedro L. C. Rodrigues

Abstract: Many recent works in simulation-based inference (SBI) rely on deep generative models to approximate complex, high-dimensional posterior distributions. However, evaluating whether or not these approximations can be trusted remains a challenge. Most approaches evaluate the posterior estimator only in expectation over the observation space. This limits their interpretability and is not sufficient to… ▽ More Many recent works in simulation-based inference (SBI) rely on deep generative models to approximate complex, high-dimensional posterior distributions. However, evaluating whether or not these approximations can be trusted remains a challenge. Most approaches evaluate the posterior estimator only in expectation over the observation space. This limits their interpretability and is not sufficient to identify for which observations the approximation can be trusted or should be improved. Building upon the well-known classifier two-sample test (C2ST), we introduce L-C2ST, a new method that allows for a local evaluation of the posterior estimator at any given observation. It offers theoretically grounded and easy to interpret -- e.g. graphical -- diagnostics, and unlike C2ST, does not require access to samples from the true posterior. In the case of normalizing flow-based posterior estimators, L-C2ST can be specialized to offer better statistical power, while being computationally more efficient. On standard SBI benchmarks, L-C2ST provides comparable results to C2ST and outperforms alternative local approaches such as coverage tests based on highest predictive density (HPD). We further highlight the importance of local evaluation and the benefit of interpretability of L-C2ST on a challenging application from computational neuroscience. △ Less

Submitted 9 October, 2023; v1 submitted 6 June, 2023; originally announced June 2023.

Comments: 27 pages, 6 figures, 3 tables, 6 appendices, NeurIPS 2023

Linear asymptotic stability of small-amplitude periodic waves of the generalized Korteweg--de Vries equations

Authors: Corentin Audiard, L. Miguel Rodrigues, Changzhen Sun

Abstract: In this note, we extend the detailed study of the linearized dynamics obtained for cnoidal waves of the Korteweg--de Vries equation in \cite{JFA-R} to small-amplitude periodic traveling waves of the generalized Korteweg-de Vries equations that are not subject to Benjamin--Feir instability. With the adapted notion of stability, this provides for such waves, global-in-time bounded stability in any S… ▽ More In this note, we extend the detailed study of the linearized dynamics obtained for cnoidal waves of the Korteweg--de Vries equation in \cite{JFA-R} to small-amplitude periodic traveling waves of the generalized Korteweg-de Vries equations that are not subject to Benjamin--Feir instability. With the adapted notion of stability, this provides for such waves, global-in-time bounded stability in any Sobolev space, and asymptotic stability of dispersive type. When doing so, we actually prove that such results also hold for waves of arbitrary amplitude satisfying a form of spectral stability designated here as dispersive spectral stability. △ Less

Submitted 1 June, 2023; originally announced June 2023.

Comments: 15 pages

Chasing the Speed of Light: Low-Latency Planetary-Scale Adaptive Byzantine Consensus

Authors: Christian Berger, Lívio Rodrigues, Hans P. Reiser, Vinicius Cogo, Alysson Bessani

Abstract: Blockchain technology has sparked renewed interest in planetary-scale Byzantine fault-tolerant (BFT) state machine replication (SMR). While recent works have mainly focused on improving the scalability and throughput of these protocols, few have addressed latency. We present FlashConsensus, a novel transformation for optimizing the latency of quorum-based BFT consensus protocols. FLASHCONSENSUS us… ▽ More Blockchain technology has sparked renewed interest in planetary-scale Byzantine fault-tolerant (BFT) state machine replication (SMR). While recent works have mainly focused on improving the scalability and throughput of these protocols, few have addressed latency. We present FlashConsensus, a novel transformation for optimizing the latency of quorum-based BFT consensus protocols. FLASHCONSENSUS uses an adaptive resilience threshold that enables faster transaction ordering when the system contains few faulty replicas. Our construction exploits adaptive weighted replication to automatically assign high voting power to the fastest replicas, forming small quorums that significantly speed up consensus. Even when using such quorums with a smaller resilience threshold, FlashConsensus still satisfies the standard SMR safety and liveness guarantees with optimal resilience, thanks to the judicious integration of abortable SMR and BFT forensics techniques. Our experiments with tens of replicas spread in all continents show that FLASHCONSENSUS can order transactions with finality in less than 0.4s, half the time of a PBFT-like protocol (with optimal consensus latency) in the same network, and matching the latency of this protocol running on the theoretically best possible internet links (transmitting at 67% of the speed of light). △ Less

Submitted 24 May, 2023; originally announced May 2023.

Comments: 18 pages

Automated computed tomography and magnetic resonance imaging segmentation using deep learning: a beginner's guide

Authors: Diedre Carmo, Gustavo Pinheiro, Lívia Rodrigues, Thays Abreu, Roberto Lotufo, Letícia Rittner

Abstract: Medical image segmentation is an increasingly popular area of research in medical imaging processing and analysis. However, many researchers who are new to the field struggle with basic concepts. This tutorial paper aims to provide an overview of the fundamental concepts of medical imaging, with a focus on Magnetic Resonance and Computerized Tomography. We will also discuss deep learning algorithm… ▽ More Medical image segmentation is an increasingly popular area of research in medical imaging processing and analysis. However, many researchers who are new to the field struggle with basic concepts. This tutorial paper aims to provide an overview of the fundamental concepts of medical imaging, with a focus on Magnetic Resonance and Computerized Tomography. We will also discuss deep learning algorithms, tools, and frameworks used for segmentation tasks, and suggest best practices for method development and image analysis. Our tutorial includes sample tasks using public data, and accompanying code is available on GitHub (https://github.com/MICLab-Unicamp/Medical-ImagingTutorial). By sharing our insights gained from years of experience in the field and learning from relevant literature, we hope to assist researchers in overcoming the initial challenges they may encounter in this exciting and important area of research. △ Less

Submitted 12 April, 2023; originally announced April 2023.

Comments: Equal contribution from Diedre Carmo, Gustavo Pinheiro, and Lívia Rodrigues

Adversarial Robustness and Feature Impact Analysis for Driver Drowsiness Detection

Authors: João Vitorino, Lourenço Rodrigues, Eva Maia, Isabel Praça, André Lourenço

Abstract: Drowsy driving is a major cause of road accidents, but drivers are dismissive of the impact that fatigue can have on their reaction times. To detect drowsiness before any impairment occurs, a promising strategy is using Machine Learning (ML) to monitor Heart Rate Variability (HRV) signals. This work presents multiple experiments with different HRV time windows and ML models, a feature impact analy… ▽ More Drowsy driving is a major cause of road accidents, but drivers are dismissive of the impact that fatigue can have on their reaction times. To detect drowsiness before any impairment occurs, a promising strategy is using Machine Learning (ML) to monitor Heart Rate Variability (HRV) signals. This work presents multiple experiments with different HRV time windows and ML models, a feature impact analysis using Shapley Additive Explanations (SHAP), and an adversarial robustness analysis to assess their reliability when processing faulty input data and perturbed HRV signals. The most reliable model was Extreme Gradient Boosting (XGB) and the optimal time window had between 120 and 150 seconds. Furthermore, SHAP enabled the selection of the 18 most impactful features and the training of new smaller models that achieved a performance as good as the initial ones. Despite the susceptibility of all models to adversarial attacks, adversarial training enabled them to preserve significantly higher results, especially XGB. Therefore, ML models can significantly benefit from realistic adversarial training to provide a more robust driver drowsiness detection. △ Less

Submitted 23 March, 2023; originally announced March 2023.

Comments: 10 pages, 2 tables, 3 figures, AIME 2023 conference

Phase transition and stiffer core fluid in neutron stars: Effects on stellar configurations, dynamical stability, and tidal deformability

Authors: José D. V. Arbañil, Lucas S. Rodrigues, César H. Lenzi

Abstract: In this work, we investigate the influence of the phase transition and a stiffer fluid in neutron stars' cores on the static equilibrium configuration, dynamical stability, and tidal deformability. For this aim, it is taken into account that the fluid in the core and the envelope follow the relativistic polytropic equation of state. We find that the phase transition and a stiffer fluid in the core… ▽ More In this work, we investigate the influence of the phase transition and a stiffer fluid in neutron stars' cores on the static equilibrium configuration, dynamical stability, and tidal deformability. For this aim, it is taken into account that the fluid in the core and the envelope follow the relativistic polytropic equation of state. We find that the phase transition and a stiffer fluid in the core will reflect in the total mass, radius, speed of sound, core radius, radial stability with a slow and rapid conversion at the interface, and tidal deformability. We also investigate the dimensionless tidal deformability $Λ_1$ and $Λ_2$ for a binary neutron stars system with chirp mass equal to GW$170817$. Finally, we contrast our results with observational data to show the role that phase transition and a stiffer core fluid could play in the study of neutron stars. △ Less

Submitted 22 February, 2023; originally announced February 2023.

Comments: To appear in EPJC

Optimal Cruise Airspeed for Hybrid-Electric and Electric Aircraft: Applications to Air Mobility

Authors: Steven Li, Luis Rodrigues

Abstract: Electric and hybrid-electric aircraft can help our society transition towards more sustainable aviation and lower greenhouse gas (GHG) emissions. This paper provides solutions to minimize the direct operating cost (DOC) for hybrid-electric aircraft. The solution is the positive real root of a quintic polynomial which is derived using Pontryagin's minimum principle. By properly selecting a hybridiz… ▽ More Electric and hybrid-electric aircraft can help our society transition towards more sustainable aviation and lower greenhouse gas (GHG) emissions. This paper provides solutions to minimize the direct operating cost (DOC) for hybrid-electric aircraft. The solution is the positive real root of a quintic polynomial which is derived using Pontryagin's minimum principle. By properly selecting a hybridization factor, one can also find the cruise airspeed corresponding to the minimum DOC of an electric aircraft. The optimal airspeed is integrated into the Rapidly-exploring Random Trees Star (RRT*) path planning algorithm. The minimum DOC solutions are investigated in a hybrid-electric international travel scenario and the path planning approach is applied to an electric aircraft city scenario. △ Less

Submitted 14 February, 2023; originally announced February 2023.

Comments: submitted in February 2023

Nonequilibrium thermodynamics of quantum coherence beyond linear response

Authors: Franklin L. S. Rodrigues, Eric Lutz

Abstract: Quantum thermodynamics allows for the interconversion of quantum coherence and mechanical work. Quantum coherence is thus a potential physical resource for quantum machines. However, formulating a general nonequilibrium thermodynamics of quantum coherence has turned out to be challenging. In particular, precise conditions under which coherence is beneficial to or, on the contrary, detrimental for… ▽ More Quantum thermodynamics allows for the interconversion of quantum coherence and mechanical work. Quantum coherence is thus a potential physical resource for quantum machines. However, formulating a general nonequilibrium thermodynamics of quantum coherence has turned out to be challenging. In particular, precise conditions under which coherence is beneficial to or, on the contrary, detrimental for work extraction from a system have remained elusive. We here develop a generic dynamic-Bayesian-network approach to the far-from-equilibrium thermodynamics of coherence. We concretely derive generalized fluctuation relations and a maximum-work theorem that fully account for quantum coherence at all times, for both closed and open dynamics. We obtain criteria for successful coherence-to-work conversion, and identify a nonequilibrium regime where maximum work extraction is increased by quantum coherence for fast processes beyond linear response. △ Less

Submitted 31 January, 2023; originally announced January 2023.

Uncertainty Quantification in CT pulmonary angiography

Authors: Adwaye M Rambojun, Hend Komber, Jennifer Rossdale, Jay Suntharalingam, Jonathan C L Rodrigues, Matthias J Ehrhardt, Audrey Repetti

Abstract: Computed tomography (CT) imaging of the thorax is widely used for the detection and monitoring of pulmonary embolism (PE). However, CT images can contain artifacts due to the acquisition or the processes involved in image reconstruction. Radiologists often have to distinguish between such artifacts and actual PEs. Our main contribution comes in the form of a scalable hypothesis testing method for… ▽ More Computed tomography (CT) imaging of the thorax is widely used for the detection and monitoring of pulmonary embolism (PE). However, CT images can contain artifacts due to the acquisition or the processes involved in image reconstruction. Radiologists often have to distinguish between such artifacts and actual PEs. Our main contribution comes in the form of a scalable hypothesis testing method for CT, to enable quantifying uncertainty of possible PEs. In particular, we introduce a Bayesian Framework to quantify the uncertainty of an observed compact structure that can be identified as a PE. We assess the ability of the method to operate under high noise environments and with insufficient data. △ Less

Submitted 6 January, 2023; originally announced January 2023.

Anxolotl, an Anxiety Companion App -- Stress Detection

Authors: Nuno Gomes, Matilde Pato, Pedro Santos, André Lourenço, Lourenço Rodrigues

Abstract: Stress has a great effect on people's lives that can not be understated. While it can be good, since it helps humans to adapt to new and different situations, it can also be harmful when not dealt with properly, leading to chronic stress. The objective of this paper is develo** a stress monitoring solution, that can be used in real life, while being able to tackle this challenge in a positive wa… ▽ More Stress has a great effect on people's lives that can not be understated. While it can be good, since it helps humans to adapt to new and different situations, it can also be harmful when not dealt with properly, leading to chronic stress. The objective of this paper is develo** a stress monitoring solution, that can be used in real life, while being able to tackle this challenge in a positive way. The SMILE data set was provided to team Anxolotl, and all it was needed was to develop a robust model. We developed a supervised learning model for classification in Python, presenting the final result of 64.1% in accuracy and a f1-score of 54.96%. The resulting solution stood the robustness test, presenting low variation between runs, which was a major point for it's possible integration in the Anxolotl app in the future. △ Less

Submitted 3 January, 2023; v1 submitted 28 December, 2022; originally announced December 2022.

Comments: 7 pages, 3 figures, 2 tables IEEE 44th International Engineering in Medicine and Biology Conference

ACM Class: J.3; I.5.5; I.5.4

Steady states of the Parker instability

Authors: Devika Tharakkal, Anvar Shukurov, Frederick A. Gent, Graeme R. Sarson, Andrew P. Snodin, Luiz Felippe S. Rodrigues

Abstract: We study the linear properties, nonlinear saturation and a steady, strongly nonlinear state of the Parker instability in galaxies. We consider magnetic buoyancy and its consequences with and without cosmic rays. Cosmic rays are described using the fluid approximation with anisotropic, non-Fickian diffusion. To avoid unphysical constraints on the instability (such as boundary conditions often used… ▽ More We study the linear properties, nonlinear saturation and a steady, strongly nonlinear state of the Parker instability in galaxies. We consider magnetic buoyancy and its consequences with and without cosmic rays. Cosmic rays are described using the fluid approximation with anisotropic, non-Fickian diffusion. To avoid unphysical constraints on the instability (such as boundary conditions often used to specify an unstable background state), nonideal MHD equations are solved for deviations from a background state representing an unstable magnetohydrostatic equilibrium. We consider isothermal gas and neglect rotation. The linear evolution of the instability is in broad agreement with earlier analytical and numerical models; but we show that most of the simplifying assumptions of the earlier work do not hold, such that they provide only a qualitative rather than quantitative picture. In its nonlinear stage the instability has significantly altered the background state from its initial state. Vertical distributions of both magnetic field and cosmic rays are much wider, the gas layer is thinner, and the energy densities of both magnetic field and cosmic rays are much reduced. The spatial structure of the nonlinear state differs from that of any linear modes. A transient gas outflow is driven by the weakly nonlinear instability as it approaches saturation. △ Less

Submitted 6 December, 2022; originally announced December 2022.

Flight Management System for Hydrogen-Powered Aircraft in Cruise

Authors: Maxim Kaptsov, Luis Rodrigues

Abstract: The minimization of the Direct Operating Cost (DOC) for hydrogen-powered aircraft is formulated in this paper as an optimal control problem and is solved based on Pontryagin's minimum principle. As a consequence, the optimum cruise flight speed is determined assuming cruising at a constant altitude. The optimization criterion corresponds to the minimization of a functional representing the trade-o… ▽ More The minimization of the Direct Operating Cost (DOC) for hydrogen-powered aircraft is formulated in this paper as an optimal control problem and is solved based on Pontryagin's minimum principle. As a consequence, the optimum cruise flight speed is determined assuming cruising at a constant altitude. The optimization criterion corresponds to the minimization of a functional representing the trade-off between the cost of hydrogen fuel and time-dependent costs, which are related by a parameter denoted by cost index. The value of this parameter is introduced by a pilot into the Flight Management System (FMS) of the aircraft. The HY4 aircraft model is used to obtain numerical results for the proposed methodology. △ Less

Submitted 18 November, 2022; originally announced November 2022.

Journal ref: Aerospace Systems, volume 4, pp. 201-208, 2021

From LQR to Static Output Feedback: a New LMI Approach

Authors: Luis Rodrigues

Abstract: This paper proposes a new Linear Matrix Inequality (LMI) for static output feedback control assuming that a Linear Quadratic Regulator (LQR) has been previously designed for the system. The main idea is to use a quadratic candidate Lyapunov function for the closed-loop system parameterized by the unique positive definite matrix that solves the Riccati equation. A converse result will also be prove… ▽ More This paper proposes a new Linear Matrix Inequality (LMI) for static output feedback control assuming that a Linear Quadratic Regulator (LQR) has been previously designed for the system. The main idea is to use a quadratic candidate Lyapunov function for the closed-loop system parameterized by the unique positive definite matrix that solves the Riccati equation. A converse result will also be proved guaranteeing the existence of matrices verifying the LMI if the system is static output feedback stabilizable. The proposed method will then be extended to the design of static output feedback for the H1 control problem. Besides being a sufficient condition for which a converse result is proved, there are another four main advantages of the proposed methodology. First, it is computationally tractable. Second, one can use weighting matrices and obtain a solution in a similar way to LQR design. Third, the proposed method has an extremely simple LMI structure when compared with other LMI methods proposed in the literature. Finally, for the cases where the output is equal to the state it is shown that the LQR solution verifies the proposed LMI. Therefore, the static output feedback includes the LQR solution as a special case when the state is available, which is a desired property. Several examples show that the method is consistently successful and works well in practice. △ Less

Submitted 17 November, 2022; originally announced November 2022.

Comments: published in IEEE Conference on Decision and Control 2022

Inverse Optimal Control with Discount Factor for Continuous and Discrete-Time Control-Affine Systems and Reinforcement Learning

Authors: Luis Rodrigues

Abstract: This paper addresses the inverse optimal control problem of finding the state weighting function that leads to a quadratic value function when the cost on the input is fixed to be quadratic. The paper focuses on a class of infinite horizon discrete-time and continuous-time optimal control problems whose dynamics are control-affine and whose cost is quadratic in the input. The optimal control polic… ▽ More This paper addresses the inverse optimal control problem of finding the state weighting function that leads to a quadratic value function when the cost on the input is fixed to be quadratic. The paper focuses on a class of infinite horizon discrete-time and continuous-time optimal control problems whose dynamics are control-affine and whose cost is quadratic in the input. The optimal control policy for this problem is the projection of minus the gradient of the value function onto the space formed by all feasible control directions. This projection points along the control direction of steepest decrease of the value function. For discrete-time systems and a quadratic value function the optimal control law can be obtained as the solution of a regularized least squares program, which corresponds to a receding horizon control with a single step ahead. For the single input case and a quadratic value function the solution for small weights in the control energy is interpreted as a control policy that at each step brings the trajectories of the system as close as possible to the origin, as measured by an appropriate norm. Conditions under which the optimal control law is linear are also stated. Additionally, the paper offers a map** of the optimal control formulation to an equivalent reinforcement learning formulation. Examples show the application of the theoretical results. △ Less

Submitted 17 November, 2022; originally announced November 2022.

Comments: published at IEEE Conference on Decision and Control 2022

Validation Diagnostics for SBI algorithms based on Normalizing Flows

Authors: Julia Linhart, Alexandre Gramfort, Pedro L. C. Rodrigues

Abstract: Building on the recent trend of new deep generative models known as Normalizing Flows (NF), simulation-based inference (SBI) algorithms can now efficiently accommodate arbitrary complex and high-dimensional data distributions. The development of appropriate validation methods however has fallen behind. Indeed, most of the existing metrics either require access to the true posterior distribution, o… ▽ More Building on the recent trend of new deep generative models known as Normalizing Flows (NF), simulation-based inference (SBI) algorithms can now efficiently accommodate arbitrary complex and high-dimensional data distributions. The development of appropriate validation methods however has fallen behind. Indeed, most of the existing metrics either require access to the true posterior distribution, or fail to provide theoretical guarantees on the consistency of the inferred approximation beyond the one-dimensional setting. This work proposes easy to interpret validation diagnostics for multi-dimensional conditional (posterior) density estimators based on NF. It also offers theoretical guarantees based on results of local consistency. The proposed workflow can be used to check, analyse and guarantee consistent behavior of the estimator. The method is illustrated with a challenging example that involves tightly coupled parameters in the context of computational neuroscience. This work should help the design of better specified models or drive the development of novel SBI-algorithms, hence allowing to build up trust on their ability to address important questions in experimental science. △ Less

Submitted 24 November, 2022; v1 submitted 17 November, 2022; originally announced November 2022.

Comments: 7 pages, 2 figures, 1 appendix, published at "Machine Learning and the Physical Sciences" workshop (NeurIPS 2022): https://ml4physicalsciences.github.io/2022/

Spectral instability of small-amplitude periodic waves of the electronic Euler-Poisson system

Authors: Pascal Noble, Luis Miguel Rodrigues, Changzhen Sun

Abstract: The present work shows that essentially all small-amplitude periodic traveling waves of the electronic Euler-Poisson system are spectrally unstable. This instability is neither modulational nor co-periodic, and thus requires an unusual spectral analysis and, beyond specific computations, newly devised arguments. The growth rate with respect to the amplitude of the background waves is also provided… ▽ More The present work shows that essentially all small-amplitude periodic traveling waves of the electronic Euler-Poisson system are spectrally unstable. This instability is neither modulational nor co-periodic, and thus requires an unusual spectral analysis and, beyond specific computations, newly devised arguments. The growth rate with respect to the amplitude of the background waves is also provided when the instability occurs. △ Less

Submitted 10 July, 2023; v1 submitted 18 October, 2022; originally announced October 2022.

Comments: In this new version, we carried out some simulations on the shapes of spectral curves around second to fourth crossing and find that they form instability bubbles asymptotically shaped as an ellipse. This version represents a comprehensive and detailed version of the forthcoming paper to appear in the journal "Nonlinearity."

A Distributed System-level Diagnosis Model for the Implementation of Unreliable Failure Detectors

Authors: Elias P. Duarte Jr., Luiz A. Rodrigues, Edson T. Camargo, Rogerio Turchetti

Abstract: Reliable systems require effective monitoring techniques for fault identification. System-level diagnosis was originally proposed in the 1960s as a test-based approach to monitor and identify faulty components of a general system. Over the last decades, several diagnosis models and strategies have been proposed, based on different fault models, and applied to the most diverse types of computer sys… ▽ More Reliable systems require effective monitoring techniques for fault identification. System-level diagnosis was originally proposed in the 1960s as a test-based approach to monitor and identify faulty components of a general system. Over the last decades, several diagnosis models and strategies have been proposed, based on different fault models, and applied to the most diverse types of computer systems. In the 1990s, unreliable failure detectors emerged as an abstraction to enable consensus in asynchronous systems subject to crash faults. Since then, failure detectors have become the \textit{de facto} standard for monitoring distributed systems. The purpose of the present work is to fill a conceptual gap by presenting a distributed diagnosis model that is consistent with unreliable failure detectors. Results are presented for the number of tests/monitoring messages required, latency for event detection, as well as completeness and accuracy. Three different failure detectors compliant with the proposed model are presented, including vRing and vCube which provide scalable alternatives to the traditional all-monitor-all strategy adopted by most existing failure detectors. △ Less

Submitted 6 October, 2022; originally announced October 2022.

Convective-wave solutions of the Richard-Gavrilyuk model for inclined shallow water flow

Authors: L. Miguel Rodrigues, Zhao Yang, Kevin Zumbrun

Abstract: We study for the Richard-Gavrilyuk model of inclined shallow water flow, an extension of the classical Saint Venant equations incorporating vorticity, the new feature of convective-wave solutions analogous to contact discontinuitis in inviscid conservation laws. These are traveling waves for which fluid velocity is constant and equal to the speed of propagation of the wave, but fluid height and/or… ▽ More We study for the Richard-Gavrilyuk model of inclined shallow water flow, an extension of the classical Saint Venant equations incorporating vorticity, the new feature of convective-wave solutions analogous to contact discontinuitis in inviscid conservation laws. These are traveling waves for which fluid velocity is constant and equal to the speed of propagation of the wave, but fluid height and/or enstrophy (thus vorticity) varies. Together with hydraulic shocks, they play an important role in the structure of Riemann solutions. △ Less

Submitted 23 September, 2022; originally announced September 2022.

Comments: 35 pages, 10 figures

MSC Class: 35Q35; 35C07; 35B35; 76E15; 35L40; 35L67; 35P15

Asymptotically preserving particle methods for strongly magnetizedplasmas in a torus

Authors: Francis Filbet, Luis Miguel Miguel Rodrigues

Abstract: We propose and analyze a class of particle methods for the Vlasov equation with a strong external magnetic field in a torus configuration. In this regime, the time step can be subject to stability constraints related to the smallness of Larmor radius. To avoid this limitation, our approach is based on higher-order semi-implicit numerical schemes already validated on dissipative systems [3] and for… ▽ More We propose and analyze a class of particle methods for the Vlasov equation with a strong external magnetic field in a torus configuration. In this regime, the time step can be subject to stability constraints related to the smallness of Larmor radius. To avoid this limitation, our approach is based on higher-order semi-implicit numerical schemes already validated on dissipative systems [3] and for magnetic fields pointing in a fixed direction [9, 10, 12]. It hinges on asymptotic insights gained in [11] at the continuous level. Thus, when the magnitude of the external magnetic field is large, this scheme provides a consistent approximation of the guiding-center system taking into account curvature and variation of the magnetic field. Finally, we carry out a theoretical proof of consistency and perform several numerical experiments that establish a solid validation of the method and its underlying concepts. △ Less

Submitted 15 May, 2023; v1 submitted 15 September, 2022; originally announced September 2022.

Journal ref: Journal of Computational Physics, 2023, 480, 112015

A new Reinforcement Learning framework to discover natural flavor molecules

Authors: Luana P. Queiroz, Carine M. Rebello, Erbet A. Costa, Vinícius V. Santana, Bruno C. L. Rodrigues, Alírio E. Rodrigues, Ana M. Ribeiro, Idelfonso B. R. Nogueira

Abstract: The flavor is the focal point in the flavor industry, which follows social tendencies and behaviors. The research and development of new flavoring agents and molecules are essential in this field. On the other hand, the development of natural flavors plays a critical role in modern society. In light of this, the present work proposes a novel framework based on Scientific Machine Learning to undert… ▽ More The flavor is the focal point in the flavor industry, which follows social tendencies and behaviors. The research and development of new flavoring agents and molecules are essential in this field. On the other hand, the development of natural flavors plays a critical role in modern society. In light of this, the present work proposes a novel framework based on Scientific Machine Learning to undertake an emerging problem in flavor engineering and industry. Therefore, this work brings an innovative methodology to design new natural flavor molecules. The molecules are evaluated regarding the synthetic accessibility, the number of atoms, and the likeness to a natural or pseudo-natural product. △ Less

Submitted 13 September, 2022; originally announced September 2022.

Comments: 24 pages, 8 figures

Automated recognition of the pericardium contour on processed CT images using genetic algorithms

Authors: E. O. Rodrigues, L. O. Rodrigues, L. S. N. Oliveira, A. Conci, P. Liatsis

Abstract: This work proposes the use of Genetic Algorithms (GA) in tracing and recognizing the pericardium contour of the human heart using Computed Tomography (CT) images. We assume that each slice of the pericardium can be modelled by an ellipse, the parameters of which need to be optimally determined. An optimal ellipse would be one that closely follows the pericardium contour and, consequently, separate… ▽ More This work proposes the use of Genetic Algorithms (GA) in tracing and recognizing the pericardium contour of the human heart using Computed Tomography (CT) images. We assume that each slice of the pericardium can be modelled by an ellipse, the parameters of which need to be optimally determined. An optimal ellipse would be one that closely follows the pericardium contour and, consequently, separates appropriately the epicardial and mediastinal fats of the human heart. Tracing and automatically identifying the pericardium contour aids in medical diagnosis. Usually, this process is done manually or not done at all due to the effort required. Besides, detecting the pericardium may improve previously proposed automated methodologies that separate the two types of fat associated to the human heart. Quantification of these fats provides important health risk marker information, as they are associated with the development of certain cardiovascular pathologies. Finally, we conclude that GA offers satisfiable solutions in a feasible amount of processing time. △ Less

Submitted 30 August, 2022; originally announced August 2022.

Journal ref: Computers in Biology and Medicine, Volume 87, 2017, Pages 38-45, ISSN 0010-4825

Entropy of rigid k-mers on a square lattice

Authors: Lucas R. Rodrigues, J. F. Stilck, W. G. Dantas

Abstract: Using the transfer matrix technique, we estimate the entropy for a gas of rods of sizes equal to k (named k-mers), which cover completely a square lattice. Our calculations were made considering three different constructions, using periodical and helical boundary conditions. One of those constructions, which we call Profile Method, was based on the calculations performed by Dhar and Rajesh [Phys.… ▽ More Using the transfer matrix technique, we estimate the entropy for a gas of rods of sizes equal to k (named k-mers), which cover completely a square lattice. Our calculations were made considering three different constructions, using periodical and helical boundary conditions. One of those constructions, which we call Profile Method, was based on the calculations performed by Dhar and Rajesh [Phys. Rev. E 103, 042130 (2021)] to obtain a lower limit to the entropy of very large chains placed on the square lattice. This method, so far as we know, was never used before to define the transfer matrix, but turned out to be very useful, since it produces matrices with smaller dimensions than those obtained using other approaches. Our results were obtained for chain sizes ranging from k=2 to k=10 and they are compared with results already available in the literature. In the case of dimers ($k=2$) our results are compatible with the exact result, for trimers ($k=3$), recently investigated by Ghosh et al [Phys. Rev. E 75, 011115 (2007)] also our results were compatible, the same happening for the simulational estimates obtained by Pasinetti et al [Physical Review E 104, 054136 (2021)] in the whole range of rod sizes. Our results are consistent with the asymptotic expression for the behavior of the entropy as a function of the size $k$, proposed by Dhar and Rajesh [Phys. Rev. E 103, 042130 (2021)] for very large rods (k>>1). △ Less

Submitted 13 October, 2022; v1 submitted 8 August, 2022; originally announced August 2022.

Comments: 12 pages, 9 figures

Journal ref: Physical Review E 107, 014115 (2023)

Analysis and Design of Quadratic Neural Networks for Regression, Classification, and Lyapunov Control of Dynamical Systems

Authors: Luis Rodrigues, Sidney Givigi

Abstract: This paper addresses the analysis and design of quadratic neural networks, which have been recently introduced in the literature, and their applications to regression, classification, system identification and control of dynamical systems. These networks offer several advantages, the most important of which are the fact that the architecture is a by-product of the design and is not determined a-pr… ▽ More This paper addresses the analysis and design of quadratic neural networks, which have been recently introduced in the literature, and their applications to regression, classification, system identification and control of dynamical systems. These networks offer several advantages, the most important of which are the fact that the architecture is a by-product of the design and is not determined a-priori, their training can be done by solving a convex optimization problem so that the global optimum of the weights is achieved, and the input-output map** can be expressed analytically by a quadratic form. It also appears from several examples that these networks work extremely well using only a small fraction of the training data. The results in the paper cast regression, classification, system identification, stability and control design as convex optimization problems, which can be solved efficiently with polynomial-time algorithms to a global optimum. Several examples will show the effectiveness of quadratic neural networks in applications. △ Less

Submitted 26 July, 2022; originally announced July 2022.

Comments: submitted in May 2022

Exponential asymptotic stability of Riemann shocks of hyperbolic systems of balance laws

Authors: Grégory Faye, L. Miguel Rodrigues

Abstract: For strictly entropic Riemann shock solutions of strictly hyperbolic systems of balance laws, we prove that exponential spectral stability implies large-time asymptotic orbital stability. As a preparation, we also prove similar results for constant solutions of initial value and initial boundary value problems, that seem to be new in this generality. Main key technical ingredients include the desi… ▽ More For strictly entropic Riemann shock solutions of strictly hyperbolic systems of balance laws, we prove that exponential spectral stability implies large-time asymptotic orbital stability. As a preparation, we also prove similar results for constant solutions of initial value and initial boundary value problems, that seem to be new in this generality. Main key technical ingredients include the design of a nonlinear change of variables providing a hypocoercive Kawashima-type structure with dissipative boundary conditions in the high-frequency regime and the explicit identification of most singular parts of the linearized evolution, both being deduced from the mere spectral assumption. △ Less

Submitted 26 July, 2022; originally announced July 2022.

Processing of massive Rutherford Back-scattering Spectrometry data by artificial neural networks

Authors: Renato da S. Guimarães, Tiago F. Silva, Cleber L. Rodrigues, Manfredo H. Tabacniks, Simon Bach, Vassily V. Burwitz, Paul Hiret, Matej Mayer

Abstract: Rutherford Backscattering Spectrometry (RBS) is an important technique providing elemental information of the near surface region of samples with high accuracy and robustness. However, this technique lacks throughput by the limited rate of data processing and is hardly routinely applied in research with a massive number of samples (i.e. hundreds or even thousands of samples). The situation is even… ▽ More Rutherford Backscattering Spectrometry (RBS) is an important technique providing elemental information of the near surface region of samples with high accuracy and robustness. However, this technique lacks throughput by the limited rate of data processing and is hardly routinely applied in research with a massive number of samples (i.e. hundreds or even thousands of samples). The situation is even worse for complex samples. If roughness or porosity is present in those samples the simulation of such structures is computationally demanding. Fortunately, Artificial Neural Networks (ANN) show to be a great ally for massive data processing of ion beam data. In this paper, we report the performance comparison of ANN against human evaluation and an automatic fit routine running on batch mode. 500 spectra of marker layers from the stellarator W7-X were used as study case. The results showed ANN as more accurate than humans and more efficient than automatic fits. △ Less

Submitted 10 May, 2022; originally announced May 2022.

Comments: 15 pages, 8 figures

Journal ref: Nuclear Inst. and Methods in Physics Research B 493 (2021) 28-34

Ion beam analysis and big data: How data science can support next-generation instrumentation

Authors: Tiago F. Silva, Cleber L. Rodrigues, Manfredo H. Tabacniks, Hugo D. C. Pereira, Thiago B. Saramela, Renato O. Guimarães

Abstract: With a growing demand for accurate ion beam analysis on a large number of samples, it becomes an issue of how to ensure the quality standards and consistency over hundreds or thousands of samples. In this sense, a virtual assistant that checks the data quality, emitting certificates of quality, is highly desired. Even the processing of a massive number of spectra is a problem regarding the consist… ▽ More With a growing demand for accurate ion beam analysis on a large number of samples, it becomes an issue of how to ensure the quality standards and consistency over hundreds or thousands of samples. In this sense, a virtual assistant that checks the data quality, emitting certificates of quality, is highly desired. Even the processing of a massive number of spectra is a problem regarding the consistency of the analysis. In this work, we report the design and first results of a virtual layer under implementation in our laboratory. It consists of a series of systems running in the cloud that perform the mentioned tasks and serves as a virtual assistant for member staff and users. We aim to bring the concept of the Internet of Things and artificial intelligence closer to the laboratory to support a new generation of instrumentation. △ Less

Submitted 10 May, 2022; originally announced May 2022.

Comments: 9 pages, 4 figures, 2019 Ion Beam Analysis Conference

Journal ref: Nuclear Inst. and Methods in Physics Research B 478 (2020) 111-115

Uniform asymptotic stability for convection-reaction-diffusion equations in the inviscid limit towards Riemann shocks

Authors: Paul Blochas, L. Miguel Rodrigues

Abstract: The present contribution proves the asymptotic orbital stability of viscous regularizations of stable Riemann shocks of scalar balance laws, uniformly with respect to the viscosity/diffusion parameter $ε$. The uniformity is understood in the sense that all constants involved in the stability statements are uniform and that the corresponding multiscale $ε$-dependent topology reduces to the classica… ▽ More The present contribution proves the asymptotic orbital stability of viscous regularizations of stable Riemann shocks of scalar balance laws, uniformly with respect to the viscosity/diffusion parameter $ε$. The uniformity is understood in the sense that all constants involved in the stability statements are uniform and that the corresponding multiscale $ε$-dependent topology reduces to the classical $W^{1,\infty}$-topology when restricted to functions supported away from the shock location. Main difficulties include that uniformity precludes any use of parabolic regularization to close regularity estimates, that the global-in-time analysis is also spatially multiscale due to the coexistence of nontrivial slow parts with fast shock-layer parts, that the limiting smooth spectral problem (in fast variables) has no spectral gap and that uniformity requires a very precise and unusual design of the phase shift encoding orbital stability. In particular, our analysis builds a phase that somehow interpolates between the hyperbolic shock location prescribed by the Rankine-Hugoniot conditions and the non-uniform shift arising merely from phasing out the non-decaying $0$-mode, as in the classical stability analysis for fronts of reaction-diffusion equations. △ Less

Submitted 31 January, 2022; originally announced January 2022.

MSC Class: 35B35; 35L67; 35B25; 35K10; 35K58; 35K15; 35B40; 37L15; 35L02

An approach for the aggregation of power system controllers with different topologies

Authors: Jonas Pesente, Paulo Galassi, Leonardo Rodrigues, Felipe Crestani, Guilherme Justino, Rodrigo Ramos

Abstract: This paper proposes an approach to aggregate nonstructured power system controllers preserving the dynamical characteristics of the original devices. The method is based on linear operations that use the frequency response of the elements, resulting in an accurate input-output description of the equivalent controller when compared to the original ones. The developed method was applied to a model o… ▽ More This paper proposes an approach to aggregate nonstructured power system controllers preserving the dynamical characteristics of the original devices. The method is based on linear operations that use the frequency response of the elements, resulting in an accurate input-output description of the equivalent controller when compared to the original ones. The developed method was applied to a model of the future interconnected Paraguayan-Argentinean power system to produce a dynamic equivalent used in a real-time simulator to test the special protection scheme needed for the safe operation of the this future system. Transient and small-signal stability studies presented matching simulation results in the time domain with significantly reduced computational burden and processing time. △ Less

Submitted 15 December, 2021; originally announced December 2021.

Comments: Preprint submitted to the 22nd Power Systems Computation Conference (PSCC 2022)

Bias and synergy in the self-consistent approach of data analysis of ion beam techniques

Authors: Tiago F. Silva, Cleber L. Rodrigues, Manfredo H. Tabacniks, Udo von Toussaint, Matej Mayer

Abstract: Using multiple ion beam analysis measurements, or techniques, combined with self-consistent data processing, generally allows extracting more (or more accurate) information from the measurements than processing separately data from single measurements. Solving ambiguities, improving the final depth resolution, defining constraints and extending applicability are the main strengths of the data-fusi… ▽ More Using multiple ion beam analysis measurements, or techniques, combined with self-consistent data processing, generally allows extracting more (or more accurate) information from the measurements than processing separately data from single measurements. Solving ambiguities, improving the final depth resolution, defining constraints and extending applicability are the main strengths of the data-fusion approach. It basically consists in formulating a multi-objective minimization problem that can be tackled by the adoption of the weighted-sum method. A simulation study is reported in order to evaluate the systematic error inserted in the analysis by the choice of a specific objective function, or even by the weights or normalization adopted in the weighted-sum method. We demonstrate that the bias of the analyzed objective functions asymptotically converges to the true value for better statistics. We also demonstrate that the joint analysis inherits the accuracy of the most accurate measurement, establishing a rank of information content, where some combinations of measurements are more valuable than others, i.e. when processed together they provide more information by means of a better constraint for the multi-objective optimization. △ Less

Submitted 14 October, 2022; v1 submitted 25 November, 2021; originally announced November 2021.

Comments: 9 pages and 8 figures

Inverting brain grey matter models with likelihood-free inference: a tool for trustable cytoarchitecture measurements

Authors: Maëliss Jallais, Pedro Luiz Coelho Rodrigues, Alexandre Gramfort, Demian Wassermann

Abstract: Effective characterisation of the brain grey matter cytoarchitecture with quantitative sensitivity to soma density and volume remains an unsolved challenge in diffusion MRI (dMRI). Solving the problem of relating the dMRI signal with cytoarchitectural characteristics calls for the definition of a mathematical model that describes brain tissue via a handful of physiologically-relevant parameters an… ▽ More Effective characterisation of the brain grey matter cytoarchitecture with quantitative sensitivity to soma density and volume remains an unsolved challenge in diffusion MRI (dMRI). Solving the problem of relating the dMRI signal with cytoarchitectural characteristics calls for the definition of a mathematical model that describes brain tissue via a handful of physiologically-relevant parameters and an algorithm for inverting the model. To address this issue, we propose a new forward model, specifically a new system of equations, requiring a few relatively sparse b-shells. We then apply modern tools from Bayesian analysis known as likelihood-free inference (LFI) to invert our proposed model. As opposed to other approaches from the literature, our algorithm yields not only an estimation of the parameter vector $θ$ that best describes a given observed data point $x_0$, but also a full posterior distribution $p(θ|x_0)$ over the parameter space. This enables a richer description of the model inversion, providing indicators such as credible intervals for the estimated parameters and a complete characterization of the parameter regions where the model may present indeterminacies. We approximate the posterior distribution using deep neural density estimators, known as normalizing flows, and fit them using a set of repeated simulations from the forward model. We validate our approach on simulations using dmipy and then apply the whole pipeline on two publicly available datasets. △ Less

Submitted 4 May, 2022; v1 submitted 15 November, 2021; originally announced November 2021.

Journal ref: Journal of Machine Learning for Biomedical Imaging, Melba editors, 2022, pp.1-27