Showing 1–50 of 85 results for author: Gomes, L

Empirical analysis of Biding Precedent efficiency in the Brazilian Supreme Court via Similar Case Retrieval

Authors: Raphaël Tinarrage, Henrique Ennes, Lucas E. Resck, Lucas T. Gomes, Jean R. Ponciano, Jorge Poco

Abstract: Binding precedents (Súmulas Vinculantes) constitute a juridical instrument unique to the Brazilian legal system and whose objectives include the protection of the Federal Supreme Court against repetitive demands. Studies of the effectiveness of these instruments in decreasing the Court's exposure to similar cases, however, indicate that they tend to fail in such a direction, with some of the bindi… ▽ More Binding precedents (Súmulas Vinculantes) constitute a juridical instrument unique to the Brazilian legal system and whose objectives include the protection of the Federal Supreme Court against repetitive demands. Studies of the effectiveness of these instruments in decreasing the Court's exposure to similar cases, however, indicate that they tend to fail in such a direction, with some of the binding precedents seemingly creating new demands. We empirically assess the legal impact of five binding precedents, 11, 14, 17, 26 and 37, at the highest court level through their effects on the legal subjects they address. This analysis is only possible through the comparison of the Court's ruling about the precedents' themes before they are created, which means that these decisions should be detected through techniques of Similar Case Retrieval. The contributions of this article are therefore twofold: on the mathematical side, we compare the uses of different methods of Natural Language Processing -- TF-IDF, LSTM, BERT, and regex -- for Similar Case Retrieval, whereas on the legal side, we contrast the inefficiency of these binding precedents with a set of hypotheses that may justify their repeated usage. We observe that the deep learning models performed significantly worse in the specific Similar Case Retrieval task and that the reasons for binding precedents to fail in responding to repetitive demand are heterogeneous and case-dependent, making it impossible to single out a specific cause. △ Less

Submitted 9 July, 2024; originally announced July 2024.

Comments: 54 pages, 22 figures

MSC Class: 68T50 (Primary); 68T07 (Secondary)

Predicting BN analogue of 8-16-4 graphyne: \textit{In silico} insights into its structural, electronic, optical, and thermal transport properties

Authors: Isaac M. Félix, Jessé M. Pontes, Djardiel S. Gomes, Thiago B. G. Guerra, Sérgio A. F. Azevedo, Leonardo D. Machado, Lídia C. Gomes, Raphael M. Tromer

Abstract: The boron nitride (BN) analogue of 8-16-4 graphyne, termed SBNyne, is proposed for the first time. Its physical properties were explored using first-principles calculations and classical molecular dynamics (MD) simulations. Thermal stability assessments reveal that SBNyne maintains structural integrity up to 1000 K. We found that SBNyne exhibits a wide indirect bandgap of 4.58 eV using HSE06 and 3… ▽ More The boron nitride (BN) analogue of 8-16-4 graphyne, termed SBNyne, is proposed for the first time. Its physical properties were explored using first-principles calculations and classical molecular dynamics (MD) simulations. Thermal stability assessments reveal that SBNyne maintains structural integrity up to 1000 K. We found that SBNyne exhibits a wide indirect bandgap of 4.58 eV using HSE06 and 3.20 eV using PBE. It displays strong optical absorption in the ultraviolet region while remaining transparent in the infrared and visible regions. Additionally, SBNyne exhibits significantly lower thermal conductivity compared to h-BN. Phonon spectrum analysis indicates that out-of-plane phonons predominantly contribute to the vibrational density of states only at very low frequencies, explaining its low thermal conductivity. These findings expand the knowledge of BN-based 2D materials and open new avenues for their design and advanced technological applications. △ Less

Submitted 2 July, 2024; v1 submitted 19 June, 2024; originally announced June 2024.

Comments: We have reviewed the thermal stability calculation and found that the SBNyne structure is metastable and undergoes a transition to a new phase. We are currently investigating this new phase, and to avoid misunderstandings, we need to remove the preprint

NIRPS first light and early science: breaking the 1 m/s RV precision barrier at infrared wavelengths

Authors: Étienne Artigau, François Bouchy, René Doyon, Frédérique Baron, Lison Malo, François Wildi, Franceso Pepe, Neil J. Cook, Simon Thibault, Vladimir Reshetov, Xavier Dumusque, Christophe Lovis, Danuta Sosnowska, Bruno L. Canto Martins, Jose Renan De Medeiros, Xavier Delfosse, Nuno Santos, Rafael Rebolo, Manuel Abreu, Guillaume Allain, Romain Allart, Hugues Auger, Susana Barros, Luc Bazinet, Nicolas Blind , et al. (89 additional authors not shown)

Abstract: The Near-InfraRed Planet Searcher or NIRPS is a precision radial velocity spectrograph developed through collaborative efforts among laboratories in Switzerland, Canada, Brazil, France, Portugal and Spain. NIRPS extends to the 0.98-1.8 $μ$m domain of the pioneering HARPS instrument at the La Silla 3.6-m telescope in Chile and it has achieved unparalleled precision, measuring stellar radial velocit… ▽ More The Near-InfraRed Planet Searcher or NIRPS is a precision radial velocity spectrograph developed through collaborative efforts among laboratories in Switzerland, Canada, Brazil, France, Portugal and Spain. NIRPS extends to the 0.98-1.8 $μ$m domain of the pioneering HARPS instrument at the La Silla 3.6-m telescope in Chile and it has achieved unparalleled precision, measuring stellar radial velocities in the infrared with accuracy better than 1 m/s. NIRPS can be used either stand-alone or simultaneously with HARPS. Commissioned in late 2022 and early 2023, NIRPS embarked on a 5-year Guaranteed Time Observation (GTO) program in April 2023, spanning 720 observing nights. This program focuses on planetary systems around M dwarfs, encompassing both the immediate solar vicinity and transit follow-ups, alongside transit and emission spectroscopy observations. We highlight NIRPS's current performances and the insights gained during its deployment at the telescope. The lessons learned and successes achieved contribute to the ongoing advancement of precision radial velocity measurements and high spectral fidelity, further solidifying NIRPS' role in the forefront of the field of exoplanets. △ Less

Submitted 13 June, 2024; v1 submitted 12 June, 2024; originally announced June 2024.

Comments: Proceeding at the SPIE Astronomical Telescopes + Instrumentation conference [Yokohama,Japan; June 2024]

A portrait of the rotation of Ultra-Cool Dwarfs revealed by TESS

Authors: D. O. Fontinele, P. D. S. de Lima, Y. S. Messias, R. L. Gomes, C. E. Ferreira Lopes, B. L. Canto Martins, I. C. Leão, J. M. de Araújo, E. Janot Pacheco, J. R. De Medeiros

Abstract: This study presents the results of a search for rotation signature in 250 Gaia DR3 Ultra-Cool Dwarfs (UCDs) with TESS light curves. We identified 71 targets with unambiguous periodicities, of which 61 present rotation signatures and a single source behavior, with periods between 0.133 and 5.81 days. Five UCDs show double-dip features, namely variations with two periods, one approximately double or… ▽ More This study presents the results of a search for rotation signature in 250 Gaia DR3 Ultra-Cool Dwarfs (UCDs) with TESS light curves. We identified 71 targets with unambiguous periodicities, of which 61 present rotation signatures and a single source behavior, with periods between 0.133 and 5.81 days. Five UCDs show double-dip features, namely variations with two periods, one approximately double or half the other. The remaining ten UCDs with unambiguous variability present a likely non-single behavior. We also found 20 UCDs showing complex behavior in their light curves, with noticeable fluctuations and irregular structure, with a few exhibiting apparent changes in their temporal structure. The remaining 159 targets show noisy light curves corresponding to low-amplitude signals, whose temporal variation cannot be easily identified. The distribution of the UCDs with rotation signature in the CMD diagram points to a lack of rotating objects within about $11.5<M_{G}<12.5$ and $G-G_{RP}<1.5$ separating them into two regimes, one mainly composed of less massive late-M stars with $P_{rot} \geq 1.0$ d, and another mainly composed of more massive early-M stars with $P_{rot}<1.0$ d. It is important to emphasize that by separating stars into age intervals, one observes that UCDs with $P_{rot} \geq 1.0$ d tend to be located in regions of younger objects, and, in contrast, those with $P_{rot}<1.0$ d are mainly concentrated in regions of older objects. Whether these trends of stars contrasting the sample separation is physical or produced by observational biases is a question to be verified in future studies. △ Less

Submitted 11 June, 2024; originally announced June 2024.

Comments: 16 pages, 4 figures 4 tables, accepted for publication in ApJ

Spacetimes with homogeneous and isotropic expansion

Authors: Leandro G. Gomes

Abstract: In this short note, we define and characterize all the spacetimes admitting observers to whom the cosmic expansion is homogeneous and isotropic and interpret their Einstein's equations. In this short note, we define and characterize all the spacetimes admitting observers to whom the cosmic expansion is homogeneous and isotropic and interpret their Einstein's equations. △ Less

Submitted 11 April, 2024; originally announced April 2024.

MSC Class: 83C20

PORTULAN ExtraGLUE Datasets and Models: Kick-starting a Benchmark for the Neural Processing of Portuguese

Authors: Tomás Osório, Bernardo Leite, Henrique Lopes Cardoso, Luís Gomes, João Rodrigues, Rodrigo Santos, António Branco

Abstract: Leveraging research on the neural modelling of Portuguese, we contribute a collection of datasets for an array of language processing tasks and a corresponding collection of fine-tuned neural language models on these downstream tasks. To align with mainstream benchmarks in the literature, originally developed in English, and to kick start their Portuguese counterparts, the datasets were machine-tr… ▽ More Leveraging research on the neural modelling of Portuguese, we contribute a collection of datasets for an array of language processing tasks and a corresponding collection of fine-tuned neural language models on these downstream tasks. To align with mainstream benchmarks in the literature, originally developed in English, and to kick start their Portuguese counterparts, the datasets were machine-translated from English with a state-of-the-art translation engine. The resulting PORTULAN ExtraGLUE benchmark is a basis for research on Portuguese whose improvement can be pursued in future work. Similarly, the respective fine-tuned neural language models, developed with a low-rank adaptation approach, are made available as baselines that can stimulate future work on the neural processing of Portuguese. All datasets and models have been developed and are made available for two variants of Portuguese: European and Brazilian. △ Less

Submitted 8 May, 2024; v1 submitted 8 April, 2024; originally announced April 2024.

Comments: Preprint - Paper accepted for BUCC 2024

A Benchmark for Data Management in Microservices

Authors: Rodrigo Laigner, Zhexiang Zhang, Yijian Liu, Leonardo Freitas Gomes, Yongluan Zhou

Abstract: Microservice architectures emerged as a popular architecture for designing scalable distributed applications. Although microservices have been extensively employed in industry settings for over a decade, there is little understanding of the data management challenges that arise in these applications. As a result, it is difficult to advance data system technologies for supporting microservice appli… ▽ More Microservice architectures emerged as a popular architecture for designing scalable distributed applications. Although microservices have been extensively employed in industry settings for over a decade, there is little understanding of the data management challenges that arise in these applications. As a result, it is difficult to advance data system technologies for supporting microservice applications. To fill this gap, we present Online Marketplace, a microservice benchmark that incorporates core data management challenges that existing benchmarks have not sufficiently addressed. These challenges include transaction processing, query processing, event processing, constraint enforcement, and data replication. We have defined criteria for various data management issues to enable proper comparison across data systems and platforms. After specifying the benchmark, we present the challenges we faced in creating workloads that accurately reflect the dynamic state of the microservices. We also discuss issues that we encountered when implementing Online Marketplace in state-of-the-art data platforms and meeting the criteria. Our evaluation demonstrates that the benchmark is a valuable tool for testing important properties sought by microservice practitioners. As a result, our proposed benchmark will facilitate the design of future data systems to meet the expectations of microservice practitioners. △ Less

Submitted 19 May, 2024; v1 submitted 19 March, 2024; originally announced March 2024.

Observation of Replica Symmetry Breaking in Standard Mode-Locked Fiber Laser

Authors: Nicolas P. Alves, Wesley F. Alves, André C. A. Siqueira, Naudson L. L. Matias, Anderson S. L. Gomes, Ernesto P. Raposo, Marcio H. G. de Miranda

Abstract: We report the first experimental demonstration of the replica symmetry breaking (RSB) phenomenon in a fiber laser system supporting standard mode-locking (SML) regime. Though theoretically predicted, this photonic glassy phase remained experimentally undisclosed so far. We employ an ytterbium-based mode-locked fiber laser with a very rich phase diagram. Two phase transitions are observed separatin… ▽ More We report the first experimental demonstration of the replica symmetry breaking (RSB) phenomenon in a fiber laser system supporting standard mode-locking (SML) regime. Though theoretically predicted, this photonic glassy phase remained experimentally undisclosed so far. We employ an ytterbium-based mode-locked fiber laser with a very rich phase diagram. Two phase transitions are observed separating three different regimes: cw, quasi-mode-locking (QML), and SML. The regimes are intrinsically related to the distinct dynamics of intensity fluctuations in the laser spectra. We set the connection between the RSB glassy phase with frustrated modes and onset of L-shaped intensity distributions in the QML regime, which impact directly the replica overlap measure. △ Less

Submitted 4 March, 2024; originally announced March 2024.

Comments: 17 pages, 12 figures, 1 Supplementary material

Journal ref: Phys. Rev. Lett. 132, 093801, Published 29 February 2024

Fostering the Ecosystem of Open Neural Encoders for Portuguese with Albertina PT* Family

Authors: Rodrigo Santos, João Rodrigues, Luís Gomes, João Silva, António Branco, Henrique Lopes Cardoso, Tomás Freitas Osório, Bernardo Leite

Abstract: To foster the neural encoding of Portuguese, this paper contributes foundation encoder models that represent an expansion of the still very scarce ecosystem of large language models specifically developed for this language that are fully open, in the sense that they are open source and openly distributed for free under an open license for any purpose, thus including research and commercial usages.… ▽ More To foster the neural encoding of Portuguese, this paper contributes foundation encoder models that represent an expansion of the still very scarce ecosystem of large language models specifically developed for this language that are fully open, in the sense that they are open source and openly distributed for free under an open license for any purpose, thus including research and commercial usages. Like most languages other than English, Portuguese is low-resourced in terms of these foundational language resources, there being the inaugural 900 million parameter Albertina and 335 million Bertimbau. Taking this couple of models as an inaugural set, we present the extension of the ecosystem of state-of-the-art open encoders for Portuguese with a larger, top performance-driven model with 1.5 billion parameters, and a smaller, efficiency-driven model with 100 million parameters. While achieving this primary goal, further results that are relevant for this ecosystem were obtained as well, namely new datasets for Portuguese based on the SuperGLUE benchmark, which we also distribute openly. △ Less

Submitted 5 March, 2024; v1 submitted 4 March, 2024; originally announced March 2024.

Advancing Generative AI for Portuguese with Open Decoder Gervásio PT*

Authors: Rodrigo Santos, João Silva, Luís Gomes, João Rodrigues, António Branco

Abstract: To advance the neural decoding of Portuguese, in this paper we present a fully open Transformer-based, instruction-tuned decoder model that sets a new state of the art in this respect. To develop this decoder, which we named Gervásio PT*, a strong LLaMA~2 7B model was used as a starting point, and its further improvement through additional training was done over language resources that include new… ▽ More To advance the neural decoding of Portuguese, in this paper we present a fully open Transformer-based, instruction-tuned decoder model that sets a new state of the art in this respect. To develop this decoder, which we named Gervásio PT*, a strong LLaMA~2 7B model was used as a starting point, and its further improvement through additional training was done over language resources that include new instruction data sets of Portuguese prepared for this purpose, which are also contributed in this paper. All versions of Gervásio are open source and distributed for free under an open license, including for either research or commercial usage, and can be run on consumer-grade hardware, thus seeking to contribute to the advancement of research and innovation in language technology for Portuguese. △ Less

Submitted 5 March, 2024; v1 submitted 28 February, 2024; originally announced February 2024.

Pulsation in TESS Objects of Interest

Authors: R. L. Gomes, B. L. Canto Martins, D. O. Fontinele, L. A. Almeida, R. Alves Freire, A. C. Brito, R. G. S. B. de Amorim, C. E. Ferreira Lopes, D. Hazarika, E. Janot-Pacheco, I. C. Leão, Y. S. Messias, R. A. A. Souza, J. R. De Medeiros

Abstract: We report the discovery of three Transiting Exoplanet Survey Satellite Objects of Interest (TOI) with signatures of pulsation, observed in more than one sector. Our main goal is to explore how large is the variety of classical pulsators such as $δ$ Sct, $γ$ Dor, RR Lyrae and Cepheid among TOI pulsators. The analysis reveals two stars with signatures of $δ$ Sct and one of $γ$ Dor, out of a sample o… ▽ More We report the discovery of three Transiting Exoplanet Survey Satellite Objects of Interest (TOI) with signatures of pulsation, observed in more than one sector. Our main goal is to explore how large is the variety of classical pulsators such as $δ$ Sct, $γ$ Dor, RR Lyrae and Cepheid among TOI pulsators. The analysis reveals two stars with signatures of $δ$ Sct and one of $γ$ Dor, out of a sample of 3901 TOIs with available light curves (LCs). To date, there is a very scarce number of known pulsating stars hosting planets. The present finding also emerges as an exciting laboratory for studying different astrophysical phenomena, including the effects of star-planet interaction on pulsation and timing detection of planetary companions. We have also identified 16 TOI stars with periodicities and LCs morphology compatible with different classical pulsating classes, but for most of them, the dominant frequency signals originate from contaminating sources. △ Less

Submitted 24 February, 2024; originally announced February 2024.

Comments: 14 pages, 3 figures, Submitted to ApJS and accepted for publication on January 15, 2024

Journal ref: The Astrophysical Journal, Volume 961, Issue 1, id.55, 12 pp. The Astrophysical Journal, Volume 961 (2024),

Magnetic interactions in doped silicene for spintronics

Authors: L. M. Gomes, A. L. da Rosa

Abstract: Silicon is a material whose technological application is well established, and obtaining this material in nanostructured form increases its possibility of integration in current technology. Silicene is a natural compatibility with current silicon-based electronics industry. Furthermore, do** is a technique that can be often used to adjust the band gap of silicene and at the same time introduce n… ▽ More Silicon is a material whose technological application is well established, and obtaining this material in nanostructured form increases its possibility of integration in current technology. Silicene is a natural compatibility with current silicon-based electronics industry. Furthermore, do** is a technique that can be often used to adjust the band gap of silicene and at the same time introduce new functions. Here we investigate Several aspects of silicene do** with chromium, such as dopant solubility limits, site preference for adsorption and do**, and formation of magnetic domains. In this work we carried out investigation on diffusion and do** of chromium atoms on silicene. We use density-functional theory to identify the electronic and magnetic properties of tchromium atoms on monolayer and bilayer silicene. We find that magnetization depends on key parameters such as buckling, interlayer distance and adsorption site. △ Less

Submitted 2 February, 2024; originally announced February 2024.

Ultra-low power sensor devices for monitoring physical activity and respiratory frequency in farmed fish

Authors: Juan Antonio Martos-Sitcha, Javier Sosa, Dailos Ramos-Valido, Francisco Javier Bravo, Cristina Carmona-Duarte, Henrique Leonel Gomes, Josep A. Calduch-Giner, Enric Cabruja, Aurelio Vega, Miguel Angel Ferrer, Manuel Lozano, Juan Antonio Montiel-Nelson, Juan Manuel Afonso, Jaume Perez-Sanchez

Abstract: Integration of technological solutions aims to improve accuracy, precision and repeatability in farming operations, and biosensor devices are increasingly used for understanding basic biology during livestock production. The aim of this study was to design and validate a miniaturized tri-axial accelerometer for non-invasive monitoring of farmed fish with re-programmable schedule protocols.The devi… ▽ More Integration of technological solutions aims to improve accuracy, precision and repeatability in farming operations, and biosensor devices are increasingly used for understanding basic biology during livestock production. The aim of this study was to design and validate a miniaturized tri-axial accelerometer for non-invasive monitoring of farmed fish with re-programmable schedule protocols.The device was attached to the operculum of gilthead sea bream and European sea bass juveniles for monitoring their physical activity by measurements of movement accelerations in x and y-axes, while records of operculum beats served as a measurement of respiratory frequency. Data post-processing of exercised fish in swimming test chambers revealed an exponential increase of fish accelerations with the increase of fish speed from 1 body-length to 4 body-lengths per second, while a close relationship between oxygen consumption and opercular frequency was consistently found.The usefulness of low computational load for data pre-processing with on-board algorithms was verified from low to submaximal exercise, increasing this procedure the autonomy of the system up to 6 h of data recording with different programmable schedules. Visual observations regarding tissue damage, feeding behavior and circulating levels of stress markers did not reveal at short term a negative impact of device tagging. Reduced plasma levels of triglycerides revealed a transient inhibition of feed intake in small fish, but this disturbance was not detected in larger fish. All this considered together is the proof of concept that miniaturized devices are suitable for non-invasive and reliable metabolic phenoty** of farmed fish to improve their overall performance and welfare. Further work is underway for improving the attachment procedure and the full device packaging. △ Less

Submitted 30 January, 2024; originally announced January 2024.

Comments: Preprint. Published on Frontiers in Physiology 29 May 2019 Sec. Aquatic Physiology Volume 10 - 2019 | https://doi.org/10.3389/fphys.2019.00667

Journal ref: Frontiers in Physiology, 10(MAY), 2019

Solving the Discretised Multiphase Flow Equations with Interface Capturing on Structured Grids Using Machine Learning Libraries

Authors: Boyang Chen, Claire E. Heaney, Jefferson L. M. A. Gomes, Omar K. Matar, Christopher C. Pain

Abstract: This paper solves the discretised multiphase flow equations using tools and methods from machine-learning libraries. The idea comes from the observation that convolutional layers can be used to express a discretisation as a neural network whose weights are determined by the numerical method, rather than by training, and hence, we refer to this approach as Neural Networks for PDEs (NN4PDEs). To sol… ▽ More This paper solves the discretised multiphase flow equations using tools and methods from machine-learning libraries. The idea comes from the observation that convolutional layers can be used to express a discretisation as a neural network whose weights are determined by the numerical method, rather than by training, and hence, we refer to this approach as Neural Networks for PDEs (NN4PDEs). To solve the discretised multiphase flow equations, a multigrid solver is implemented through a convolutional neural network with a U-Net architecture. Immiscible two-phase flow is modelled by the 3D incompressible Navier-Stokes equations with surface tension and advection of a volume fraction field, which describes the interface between the fluids. A new compressive algebraic volume-of-fluids method is introduced, based on a residual formulation using Petrov-Galerkin for accuracy and designed with NN4PDEs in mind. High-order finite-element based schemes are chosen to model a collapsing water column and a rising bubble. Results compare well with experimental data and other numerical results from the literature, demonstrating that, for the first time, finite element discretisations of multiphase flows can be solved using an approach based on (untrained) convolutional neural networks. A benefit of expressing numerical discretisations as neural networks is that the code can run, without modification, on CPUs, GPUs or the latest accelerators designed especially to run AI codes. △ Less

Submitted 3 March, 2024; v1 submitted 12 January, 2024; originally announced January 2024.

Comments: 34 pages, 18 figures, 4 tables

Breaking the Cosmological Principle into pieces: a prelude to the intrinsically homogeneous and isotropic spacetimes

Authors: Leandro G. Gomes

Abstract: In this manuscript, we show that three fundamental building blocks are supporting the Cosmological Principle. The first of them states that there is a special frame in the universe where the spatial geometry is intrinsically homogeneous and isotropic. The second demands the existence of a fiducial observer to whom the Hubble parameter is isotropic. The last piece states that matter and radiation b… ▽ More In this manuscript, we show that three fundamental building blocks are supporting the Cosmological Principle. The first of them states that there is a special frame in the universe where the spatial geometry is intrinsically homogeneous and isotropic. The second demands the existence of a fiducial observer to whom the Hubble parameter is isotropic. The last piece states that matter and radiation behave as a perfect fluid. We show that these three hypotheses give us the Friedmann-Lemaître-Robertson-Walker (FLRW) spacetimes, the central pillar of the standard model of Cosmology. We keep with the first of them and start to investigate the so-called intrinsically homogeneous and isotropic spacetimes. They emerge after the decoupling of the CMB with the geometric frame of reference. Furthermore, a ``$Λ$CDM-like" effective theory arises naturally in those backgrounds, together with some new density parameters relating to the local inhomogeneities, the internal energy density, and the local and global magnitudes of the Hubble anisotropy. All those properties make this class of inhomogeneous models, which roughly speaking, keeps "1/3" of the Cosmological Principle, worth investigating in applications to Cosmology, for it can accommodate the same ingredients of the standard model, as a geometric frame and a free-falling isotropic cosmic background radiation, and reduce to the latter when some observable parameters vanish. △ Less

Submitted 3 January, 2024; originally announced January 2024.

Comments: 22 pages

MSC Class: 83F05; 83C99

Replica symmetry breaking in 1D Rayleigh scattering system: theory and validations

Authors: Yifei Qi, Longqun Ni, Zhenyu Ye, Jiaojiao Zhang, Xingyu Bao, Pan Wang, Yunjiang Rao, Ernesto P. Raposo, Anderson S. L. Gomes, Zinan Wang

Abstract: Spin glass theory, as a paradigm for describing disordered magnetic systems, constitutes a prominent subject of study within statistical physics. Replica symmetry breaking (RSB), as one of the pivotal concepts for the understanding of spin glass theory, means that, under identical conditions disordered systems can yield distinct states with nontrivial correlations. Random fiber laser (RFL) based o… ▽ More Spin glass theory, as a paradigm for describing disordered magnetic systems, constitutes a prominent subject of study within statistical physics. Replica symmetry breaking (RSB), as one of the pivotal concepts for the understanding of spin glass theory, means that, under identical conditions disordered systems can yield distinct states with nontrivial correlations. Random fiber laser (RFL) based on Rayleigh scattering (RS) is a complex disordered system, owing to the disorder and stochasticity of RS. In this work, for the first time, we elaborate a precise theoretical model for studying the photonic phase transition via the platform of RS-based RFL, in which we clearly reveal that, apart from the pump power, the photon phase variation in RFL is also an analogy to the temperature term in spin glass phase transition, leading to a novel insight into the intrinsic mechanisms of photonic phase transition. In addition, based on this model and real-time high-fidelity detection spectral evolution, we theoretically predict and experimentally observe the mode-asymmetric characteristics of photonic phase transition in RS-based RFL. This finding contributes to a deeper understanding of the photonic RSB regime and the dynamics of RS-based RFL. △ Less

Submitted 17 December, 2023; originally announced December 2023.

Comments: 15 pages, 9 figures

Orbital-angular-momentum dependent speckles for spatial mode sorting and multiplexed data transmission

Authors: Rui Ma, Ke Hai Luo, Zhao Wang, **g Song He, Wei Li Zhang, Dian Yuan Fan, Anderson S. L. Gomes, Jun Liu

Abstract: Characterizing the orbital angular momentum (OAM) of a vortex beam is critically important for OAM-encoded data transfer. However, in typical OAM-based applications where vortex beams transmit through diffusers, the accompanying scattering effect tends to be either deliberately prevented, or characterized and then modulated actively based on complex wavefront sha** and interferometry techniques.… ▽ More Characterizing the orbital angular momentum (OAM) of a vortex beam is critically important for OAM-encoded data transfer. However, in typical OAM-based applications where vortex beams transmit through diffusers, the accompanying scattering effect tends to be either deliberately prevented, or characterized and then modulated actively based on complex wavefront sha** and interferometry techniques. Here, we aim to investigate the characteristics of blurred speckles obtained after a vortex beam transmits through a ground glass diffuser. It is theoretically and experimentally demonstrated that a cross-correlation annulus can be identified by implementing the cross-correlation operation between speckle patterns corresponding to vortex beams with different OAM values. Besides, it is worth noting that, the size of the cross-correlation annulus is determined by the absolute value of the topological charge difference between the two corresponding vortex beams. Based on this mechanism, the OAM modes can be easily sorted from the incoherently measured OAM-dependent speckles as well as their cross-correlation. Furthermore, to make full use of the orthogonal feature of the OAM-dependent speckles, demultiplexing of OAM-encoded data transfer is verified using a ground glass diffuser. Both 8-bit grayscale and 24-bit RGB OAM-encoded data transfers are carried out in experiments with superior error rates. We can conclude that the OAM-dependent speckles can be not only utilized as a competitive candidate for the OAM mode sorting function in a simple way but also provide an efficient method for the demultiplexing of OAM-encoded data transfer in a practical application. △ Less

Submitted 26 October, 2023; originally announced October 2023.

Towards accurate real-time luminescence thermometry: an automated machine learning approach

Authors: Emanuel P. Santos, Roberta S. Pugina, Eloísa G. Hilário, Alyson J. A. Carvalho, Carlos Jacinto, Francisco A. M. G. Rego-Filho, Askery Canabarro, Anderson S. L. Gomes, José Maurício A. Caiut, André L. Moura

Abstract: Luminescence thermometry has been extensively exploited in the last decades both from the fundamental and applied point of views. The application of photoluminescent nanoparticles on the microscopic level based on rare-earth doped (RED) nanostructures is yet a challenge. Distinct underlying physical mechanisms in the RED nanomaterials have been exploited, such as intensity ratio between radiative… ▽ More Luminescence thermometry has been extensively exploited in the last decades both from the fundamental and applied point of views. The application of photoluminescent nanoparticles on the microscopic level based on rare-earth doped (RED) nanostructures is yet a challenge. Distinct underlying physical mechanisms in the RED nanomaterials have been exploited, such as intensity ratio between radiative transitions associated with thermally coupled energy levels, energy peak and lifetime of an excited state variations with the temperature. The drawbacks of such systems are the relatively low thermal sensitivity (Sr), and the large temperature uncertainty. To overcome that, several research groups have been seeking new functionalized materials. The majority of the efforts have been directed towards increasing Sr with record around 10 %°C-1, which is, however, considered unsatisfactory. We propose the use of an automated machine learning tool to retrieve an ideal pipeline improving the response of photoluminescence thermometers. As a proof-of-concept, we used Nd3+-doped YAG nanoparticles, excited at 760 nm, and the photoluminescence spectra in the range from 860 nm to 960 nm as input parameters. In addition to the improvement in the accuracy (> 5.5x over traditional methods), the implementation is very simple, without the requirement of any deconvolution procedure or knowledge of any underlying physical mechanism. Our findings demonstrate that this approach is resilient to natural variances across various spectral acquisitions, which may otherwise lead to an inaccurate estimation of temperature, opening the door for real-time applications. Our open-source code is designed to be accessible to individuals without programming experience. △ Less

Submitted 22 June, 2023; originally announced July 2023.

On the behaviour of spin-orbit connection of exoplanets

Authors: Bruno L. Canto Martins, Yuri S. Messias, Maria I. Arruda Gonçalves, Izan C. Leão, Roseane L. Gomes, Lorenza F. Barraza, Dasaev O. Fontinele, José R. De Medeiros

Abstract: Star-planet interactions play, among other things, a crucial role in planetary orbital configurations by circularizing orbits, aligning the star and planet spin and synchronizing stellar rotation with orbital motions. This is especially true for innermost giant planets, which can be schematized as binary systems with a very large mass ratio. Despite a few examples where spin-orbit synchronization… ▽ More Star-planet interactions play, among other things, a crucial role in planetary orbital configurations by circularizing orbits, aligning the star and planet spin and synchronizing stellar rotation with orbital motions. This is especially true for innermost giant planets, which can be schematized as binary systems with a very large mass ratio. Despite a few examples where spin-orbit synchronization has been obtained, there is no demographic study on synchronous regimes in those systems yet. Here we use a sample of 1,055 stars with innermost planet companions to show the existence of three observational loci of star-planet synchronization regimes. Two of them have dominant fractions of subsynchronous and supersynchronous star-planet systems, and a third less populated regime of potentially synchronized systems. No synchronous star-planet system with a period higher than 40 days has been detected yet. This landscape is different from eclipsing binary systems, most of which are synchronized. We suggest that planets in a stable asynchronous spin state belonging to star-planet systems in a supersynchronized regime offer the most favourable conditions for habitability. △ Less

Submitted 28 May, 2023; v1 submitted 23 May, 2023; originally announced May 2023.

Comments: 15 pages, 1 figure in main paper, 6 supplementary figures. Published in Nature Astronomy, May 2023

Advancing Neural Encoding of Portuguese with Transformer Albertina PT-*

Authors: João Rodrigues, Luís Gomes, João Silva, António Branco, Rodrigo Santos, Henrique Lopes Cardoso, Tomás Osório

Abstract: To advance the neural encoding of Portuguese (PT), and a fortiori the technological preparation of this language for the digital age, we developed a Transformer-based foundation model that sets a new state of the art in this respect for two of its variants, namely European Portuguese from Portugal (PT-PT) and American Portuguese from Brazil (PT-BR). To develop this encoder, which we named Albert… ▽ More To advance the neural encoding of Portuguese (PT), and a fortiori the technological preparation of this language for the digital age, we developed a Transformer-based foundation model that sets a new state of the art in this respect for two of its variants, namely European Portuguese from Portugal (PT-PT) and American Portuguese from Brazil (PT-BR). To develop this encoder, which we named Albertina PT-*, a strong model was used as a starting point, DeBERTa, and its pre-training was done over data sets of Portuguese, namely over data sets we gathered for PT-PT and PT-BR, and over the brWaC corpus for PT-BR. The performance of Albertina and competing models was assessed by evaluating them on prominent downstream language processing tasks adapted for Portuguese. Both Albertina PT-PT and PT-BR versions are distributed free of charge and under the most permissive license possible and can be run on consumer-grade hardware, thus seeking to contribute to the advancement of research and innovation in language technology for Portuguese. △ Less

Submitted 20 June, 2023; v1 submitted 11 May, 2023; originally announced May 2023.

Origin of ultra-low thermal conductivity in unconventional clathrates: Strong scattering from extremely low-frequency rattling modes

Authors: Kamil M. Ciesielski, Brenden R. Ortiz, Lidia C. Gomes, Vanessa Meschke, Jesse M. Adamczyk, Tara L. Braden, Dariusz Kaczorowski, Elif Ertekin, Eric S. Toberer

Abstract: Recent discoveries of materials with ultra-low thermal conductivity open a pathway to significant developments in the field of thermoelectricity. Here, we conduct a comparative study of three chemically similar antimonides to establish the root causes of their extraordinarily low thermal conductivity ($0.4-0.6$ Wm$^{-1}$K$^{-1}$ at 525 K). The materials of interest are: the unconventional type-XI… ▽ More Recent discoveries of materials with ultra-low thermal conductivity open a pathway to significant developments in the field of thermoelectricity. Here, we conduct a comparative study of three chemically similar antimonides to establish the root causes of their extraordinarily low thermal conductivity ($0.4-0.6$ Wm$^{-1}$K$^{-1}$ at 525 K). The materials of interest are: the unconventional type-XI clathrate K$_{58}$Zn$_{122}$Sb$_{207}$, the tunnel compound K$_{6.9}$Zn$_{21}$Sb$_{16}$, and the type-I clathrate K$_8$Zn$_{15.5}$Cu$_{2.5}$Sb$_{28}$ discovered herein. Calculations of the phonon dispersions show that the type-XI compound exhibits localized (i.e., rattling) phonon modes with unusually low frequencies that span the entire acoustic regime. In contrast, rattling in the type-I clathrate is observed only at higher frequencies, and no rattling modes are present in the tunnel structure. Modeling reveals that low-frequency rattling modes profoundly limit the acoustic scattering time; the scattering time of the type-XI clathrate is half that of the type-I clathrate and a quarter of the tunnel compound. For all three materials, the thermal conductivities are additionally suppressed by soft framework bonding that lowers the acoustic group velocities, and structural complexity that leads to diffusonic character of the optical modes. Understanding details of thermal transport in structurally complex materials will be crucial for develo** the next generation of thermoelectrics. △ Less

Submitted 25 January, 2023; originally announced January 2023.

Post-2000 Nonlinear Optical Materials and Measurements: Data Tables and Best Practices

Authors: Nathalie Vermeulen, Daniel Espinosa, Adam Ball, John Ballato, Philippe Boucaud, Georges Boudebs, Cecilia L. A. V. Campos, Peter Dragic, Anderson S. L. Gomes, Mikko J. Huttunen, Nathaniel Kinsey, Rich Mildren, Dragomir Neshev, Lazaro Padilha, Minhao Pu, Ray Secondo, Eiji Tokunaga, Dmitry Turchinovich, **gshi Yan, Kresten Yvind, Ksenia Dolgaleva, Eric W. Van Stryland

Abstract: In its 60 years of existence, the field of nonlinear optics has gained momentum especially over the past two decades thanks to major breakthroughs in material science and technology. In this article, we present a new set of data tables listing nonlinear-optical properties for different material categories as reported in the literature since 2000. The papers included in the data tables are represen… ▽ More In its 60 years of existence, the field of nonlinear optics has gained momentum especially over the past two decades thanks to major breakthroughs in material science and technology. In this article, we present a new set of data tables listing nonlinear-optical properties for different material categories as reported in the literature since 2000. The papers included in the data tables are representative experimental works on bulk materials, solvents, 0D-1D-2D materials, metamaterials, fiber waveguiding materials, on-chip waveguiding materials, hybrid waveguiding systems, and materials suitable for nonlinear optics at THz frequencies. In addition to the data tables, we also provide best practices for performing and reporting nonlinear-optical experiments. These best practices underpin the selection process that was used for including papers in the tables. While the tables indeed show strong advancements in the field over the past two decades, we encourage the nonlinear-optics community to implement the identified best practices in future works. This will allow a more adequate comparison, interpretation and use of the published parameters, and as such further stimulate the overall progress in nonlinear-optical science and applications. △ Less

Submitted 21 May, 2023; v1 submitted 15 January, 2023; originally announced January 2023.

Comments: 209 pages, 8 figures, 14 tables. Journal of Physics:Photonics (2023)

Journal ref: J. Phys. Photonics, 5, 035001 (2023)

Origin of Multifractality in Solar Wind Turbulence: the Role of Current Sheets

Authors: Leonardo F. Gomes, Tiago F. P. Gomes, Erico L. Rempel, Silvio Gama

Abstract: In this work, a multifractal framework is proposed to investigate the effects of current sheets in solar wind turbulence. By using multifractal detrended fluctuation analysis coupled with surrogate methods and volatility, two solar wind magnetic field time series are investigated, one with current sheets and one without current sheets. Despite the lack of extreme-events intermittent bursts in the… ▽ More In this work, a multifractal framework is proposed to investigate the effects of current sheets in solar wind turbulence. By using multifractal detrended fluctuation analysis coupled with surrogate methods and volatility, two solar wind magnetic field time series are investigated, one with current sheets and one without current sheets. Despite the lack of extreme-events intermittent bursts in the current sheet-free series, both series are shown to be strongly multifractal, although the current sheet-free series displays an almost linear behavior for the scaling exponent of structure functions. Long-range correlations are shown to be the main source of multifractality for the series without current sheets, while a combination of heavy-tail distribution and nonlinear correlations are responsible for multifractality in the series with current sheets. The multifractality in both time series is formally shown to be associated with an energy-cascade process using the p-model. △ Less

Submitted 5 January, 2023; originally announced January 2023.

Comments: Accepted by MNRAS

Predicting IMDb Rating of TV Series with Deep Learning: The Case of Arrow

Authors: Anna Luiza Gomes, Getúlio Vianna, Tatiana Escovedo, Marcos Kalinowski

Abstract: Context: The number of TV series offered nowadays is very high. Due to its large amount, many series are canceled due to a lack of originality that generates a low audience. Problem: Having a decision support system that can show why some shows are a huge success or not would facilitate the choices of renewing or starting a show. Solution: We studied the case of the series Arrow broadcasted by… ▽ More Context: The number of TV series offered nowadays is very high. Due to its large amount, many series are canceled due to a lack of originality that generates a low audience. Problem: Having a decision support system that can show why some shows are a huge success or not would facilitate the choices of renewing or starting a show. Solution: We studied the case of the series Arrow broadcasted by CW Network and used descriptive and predictive modeling techniques to predict the IMDb rating. We assumed that the theme of the episode would affect its evaluation by users, so the dataset is composed only by the director of the episode, the number of reviews that episode got, the percentual of each theme extracted by the Latent Dirichlet Allocation (LDA) model of an episode, the number of viewers from Wikipedia and the rating from IMDb. The LDA model is a generative probabilistic model of a collection of documents made up of words. Method: In this prescriptive research, the case study method was used, and its results were analyzed using a quantitative approach. Summary of Results: With the features of each episode, the model that performed the best to predict the rating was Catboost due to a similar mean squared error of the KNN model but a better standard deviation during the test phase. It was possible to predict IMDb ratings with an acceptable root mean squared error of 0.55. △ Less

Submitted 28 August, 2022; originally announced August 2022.

Journal ref: XVIII Brazilian Symposium on Information Systems 2022

Data Integrity Verification in Network Slicing using Oracles and Smart Contracts

Authors: Joao Paulo de Brito Goncalves, Gustavo Alochio, Rodolfo da Silva Villaca, Roberta Lima Gomes

Abstract: The fifth-generation (5G) wireless networks are expected to provide various services compared to the 4G and previous generations of networks. The Quality of Service requirements can be quite different in terms of latency, bandwidth, reliability, and availability. 5G technology allows the fragmentation of the network into small pieces, known as network slices. This network slicing is done by specif… ▽ More The fifth-generation (5G) wireless networks are expected to provide various services compared to the 4G and previous generations of networks. The Quality of Service requirements can be quite different in terms of latency, bandwidth, reliability, and availability. 5G technology allows the fragmentation of the network into small pieces, known as network slices. This network slicing is done by specific tools and the configuration must be protected from attacks that may be performed by malicious users. Thus in this paper, a solution to protect and prevent these failures from happening is addressed. For this solution to be carried out, a study was conducted on the Blockchain technology, as well as the use of Oracles in order to implement an integrity verification system, a system capable of assuring 5G network slices configuration integrity through a complete architecture involving Blockchain, Smart Contracts and Oracles. △ Less

Submitted 28 July, 2022; originally announced July 2022.

Spatially flat universes with isotropic tidal forces

Authors: Fabio Scalco Dias, Leandro Gustavo Gomes, Luis Fernando Mello

Abstract: We investigate the dynamics of the spatially flat universes submitted to isotropic tidal forces and adiabatic expansion under Einstein's equations. Surprisingly, the tendency to a high Hubble anisotropy at late times starts to appear as far as we assume the strong energy condition, a characteristic which becomes dominant in the radiation era and even more stringent under a stiff matter regime. We… ▽ More We investigate the dynamics of the spatially flat universes submitted to isotropic tidal forces and adiabatic expansion under Einstein's equations. Surprisingly, the tendency to a high Hubble anisotropy at late times starts to appear as far as we assume the strong energy condition, a characteristic which becomes dominant in the radiation era and even more stringent under a stiff matter regime. We introduce the parameter b which measures the relative change in the magnitudes of the Hubble anisotropy and the scale factor and use it to show that the anisotropies must be kept small as long as we assume the Universe has passed through an inflationary period, in accordance with the cosmic no-hair theorem. Hence, we have a class of models that shows us a simple and straightforward way the instability of the FLRW universes, the furtiveness of the isotropy concept, and how they can still be consistent with the standard model of Cosmology as far as we assume the occurrence of an inflationary early period. △ Less

Submitted 19 July, 2022; originally announced July 2022.

Comments: 10 pages, 5 figures

MSC Class: 83F05

A dearth of close-in planets around rapidly rotating stars or a dearth of data?

Authors: Y. S. Messias, L. L. A. de Oliveira, R. L. Gomes, M. I. Arruda Gonçalves, B. L. Canto Martins, I. C. Leão, J. R. De Medeiros

Abstract: A dearth of close-in planets orbiting rapid rotators was reported almost a decade ago. According to this view only slowly spinning stars with rotation periods longer than 5-10 days would host planets with orbital periods shorter than 2 or 3 days. This Letter brings an enlarged and more detailed analysis that led us to the question: Is there really a dearth in that distribution or is it a dearth of… ▽ More A dearth of close-in planets orbiting rapid rotators was reported almost a decade ago. According to this view only slowly spinning stars with rotation periods longer than 5-10 days would host planets with orbital periods shorter than 2 or 3 days. This Letter brings an enlarged and more detailed analysis that led us to the question: Is there really a dearth in that distribution or is it a dearth of data? For this new analysis, we combined different samples of Kepler and TESS stars with confirmed planets or planet candidates with measured stellar rotation periods, using Gaia data to perform an in-depth selection of 1013 planet-hosting main-sequence stars. With the newer, enlarged, and more refined data, the reported dearth of close-in planets orbiting rapid rotators tends to disappear, thus suggesting that it may reflect a scarcity of data in the prior analysis. A two sample statistical test strongly supports our results, showing that the distribution of close-in planets orbiting rapid rotators is almost indistinguishable from that for close-in planets orbiting slow rotators. △ Less

Submitted 12 May, 2022; v1 submitted 10 May, 2022; originally announced May 2022.

Comments: 6 pages, 2 figures, 1 table, accepted for publication in ApJ Letters

Virtual Reality Applications in Software Engineering Education: A Systematic Review

Authors: Gustavo Vargas de Andrade, André Luiz Cordeiro Gomes, Felipe Rohr Hoinoski, Marília Guterres Ferreira, Pablo Schoeffel, Adilson Vahldick

Abstract: Requirement Engineering (RE) is a Software Engineering (SE) process of defining, documenting, and maintaining the requirements from a problem. It is one of the most complex processes of SE because it addresses the relation between customer and developer. RE learning may be abstract and complex for most students because many of them cannot visualize the subject directly applied. Through the advance… ▽ More Requirement Engineering (RE) is a Software Engineering (SE) process of defining, documenting, and maintaining the requirements from a problem. It is one of the most complex processes of SE because it addresses the relation between customer and developer. RE learning may be abstract and complex for most students because many of them cannot visualize the subject directly applied. Through the advancement of technology, Virtual Reality (VR) hardware is becoming increasingly more accessible, and it is not rare to use it in education. Little research and systematic studies explain the integration between SE and VR, and even less between RE and VR. Hence, this systematic review proposes to select and present studies that relate the use of VR applications to teach SE and RE concepts. We selected nine studies to include in this review. Despite the lack of articles addressing the topic, the results from this study showed that the use of VR technologies for learning SE is still very seminal. The projects based essentially on visualization. There are lack of tasks to build modeling artifacts, and also interaction with stakeholders and other software engineers. Learning tasks and the monitoring of students' progress by teachers also need to be considered. △ Less

Submitted 25 April, 2022; originally announced April 2022.

Intensity $g^{(2)}$-correlations in random fiber lasers: A random matrix theory approach

Authors: Ernesto P. Raposo, Iván R. R. Gonzáles, Edwin D. Coronel, Antônio M. S. Macêdo, Leonardo de S. Menezes, Raman Kashyap, Anderson S. L. Gomes, Robin Kaiser

Abstract: We propose a new approach based on random matrix theory to calculate the temporal second-order intensity correlation function $g^{(2)}(t)$ of the radiation emitted by random lasers and random fiber lasers. The multimode character of these systems, with a relevant degree of disorder in the active medium, and large number of random scattering centers substantially hinder the calculation of… ▽ More We propose a new approach based on random matrix theory to calculate the temporal second-order intensity correlation function $g^{(2)}(t)$ of the radiation emitted by random lasers and random fiber lasers. The multimode character of these systems, with a relevant degree of disorder in the active medium, and large number of random scattering centers substantially hinder the calculation of $g^{(2)}(t)$. Here we apply for the first time in a photonic system the universal statistical properties of Ginibre's non-Hermitian random matrix ensemble to obtain $g^{(2)}(t)$. Excellent agreement is found with time-resolved measurements for several excitation powers of an erbium-based random fiber laser. We also discuss the extension of the random matrix approach to address the statistical properties of general disordered photonic systems with various Hamiltonian symmetries. △ Less

Submitted 19 March, 2022; originally announced March 2022.

Comments: 5 pages, 4 figures

On the intrinsically flat cosmological models in a lattice

Authors: Eduardo Bittencourt, Leandro G. Gomes, Grasiele B. Santos

Abstract: In this manuscript we investigate the intrinsically flat (space-flat) spacetimes as viable cosmological models. We show that they have a natural geometric structure which is suitable to describe inhomogeneous matter distributions forming a periodic pattern throughout the space. We prove theorems for their local representation and for existence and uniqueness of the Einstein's equations with these… ▽ More In this manuscript we investigate the intrinsically flat (space-flat) spacetimes as viable cosmological models. We show that they have a natural geometric structure which is suitable to describe inhomogeneous matter distributions forming a periodic pattern throughout the space. We prove theorems for their local representation and for existence and uniqueness of the Einstein's equations with these periodic boundary conditions. We also find an interesting class of exact solutions, which illustrates the applicability of such spacetimes in cosmology, with an early time behavior close to homogeneity and isotropy and a late time aspect with peaks and voids in the matter distribution. △ Less

Submitted 15 March, 2022; originally announced March 2022.

Comments: 16 pages, 3 figures

Rotation signature of TESS B-type stars. A comprehensive analysis

Authors: L. F. Barraza, R. L. Gomes, Y. S. Messias, I. C. Leão, L. A. Almeida, E. Janot-Pacheco, A. C. Brito, F. A. C. Brito, J. V. Santana, N. S. Gonçalves, M. L. das Chagas, M. A. Teixeira, J. R. De Medeiros, B. L. Canto Martins

Abstract: Stellar rotation is a fundamental observable that drives different aspects of stellar and planetary evolution. In this work, we present an unprecedented manifold analysis of 160 B-type stars with light curves collected by the TESS space mission using three different procedures (Fast Fourier Transform, Lomb-Scargle, and wavelet techniques), accompanied by rigorous visual inspection in the search fo… ▽ More Stellar rotation is a fundamental observable that drives different aspects of stellar and planetary evolution. In this work, we present an unprecedented manifold analysis of 160 B-type stars with light curves collected by the TESS space mission using three different procedures (Fast Fourier Transform, Lomb-Scargle, and wavelet techniques), accompanied by rigorous visual inspection in the search for rotation periodicities. This effort provides rotational periodicities for 6 new TESS B-type stars and confirmed periodicities for 22 targets with rotation periods previously listed in the literature. For other 61 stars, already classified as possible rotational variables, we identify noisy, pulsational, binarity, or ambiguous variability behavior rather than rotation signatures. The total sample of 28 potential rotators shows an overlap of different classes of rotational variables, composed of $α^2$ Canum Venaticorum, rotating ellipsoidal and SX Arietis stars. The combination of the three techniques applied in our analysis offers a solid path to overcome the challenges in the discrimination of rotation from other variabilities in stellar light curves, such as pulsation, binarity or other effects that have no physical meaning. Finally, the rotational periodicities reported in the present study may represent important constraints for improving stellar evolution models with rotation, as well as asteroseismic studies of hot stars. △ Less

Submitted 2 February, 2022; originally announced February 2022.

Comments: 13 pages, 2 figures, 4 tables

Journal ref: 2022, ApJ, 924, 117B

Red Blood Cell Sphericity Index Obtained by Defocusing Microscopy and Retinopathy Severity in Sickle Cell Disease

Authors: Camilo Brandao-de-Resende, Ubirajara Agero, Oscar N. Mesquita, Livia S. Gomes, Daniel V. Vasconcelos-Santos

Abstract: Proliferative sickle cell retinopathy (PSCR) is the most important ocular manifestation of sickle cell disease (SCD), but understanding of its pathophysiology remains incomplete. Red blood cell (RBC) deformability has been identified as a critical factor in SCD and is intrinsically related with cell sphericity index (SI). The aim of this study was to develop an algorithm that automatically analyze… ▽ More Proliferative sickle cell retinopathy (PSCR) is the most important ocular manifestation of sickle cell disease (SCD), but understanding of its pathophysiology remains incomplete. Red blood cell (RBC) deformability has been identified as a critical factor in SCD and is intrinsically related with cell sphericity index (SI). The aim of this study was to develop an algorithm that automatically analyzes defocusing microscopy (DM) images, providing biomechanical parameters of individual RBCs, including cellular SI. Furthermore, association of RBC SI with severity of PSCR in individuals with HbSC-SCD was also investigated. We determined the SI of 255 RBCs from 17 individuals using DM. Nine individuals (53%) were healthy and eight (47%) had HbSC-SCD. Mean SI was significantly lower in SCD than in control group (0.69 versus 0.73), and also in severe than in mild PSCR (0.67 versus 0.70). Lower SI was also associated with more severe retinopathy (ROC AUC = 0.85) and the proportion of participants with SI <= 0.69 was significantly greater in severe than in mild PSCR (100% versus 25%). In conclusion, lower RBC SI determined by DM was associated not only with the presence of SCD, but also with more severe PSCR, possibly being a surrogate biomarker of disease severity. △ Less

Submitted 15 December, 2021; originally announced December 2021.

Comments: 21 pages, 5 figures, 2 tables, Based on PhD thesis

MSC Class: 78-04 ACM Class: J.2

Creating and Reenacting Controllable 3D Humans with Differentiable Rendering

Authors: Thiago L. Gomes, Thiago M. Coutinho, Rafael Azevedo, Renato Martins, Erickson R. Nascimento

Abstract: This paper proposes a new end-to-end neural rendering architecture to transfer appearance and reenact human actors. Our method leverages a carefully designed graph convolutional network (GCN) to model the human body manifold structure, jointly with differentiable rendering, to synthesize new videos of people in different contexts from where they were initially recorded. Unlike recent appearance tr… ▽ More This paper proposes a new end-to-end neural rendering architecture to transfer appearance and reenact human actors. Our method leverages a carefully designed graph convolutional network (GCN) to model the human body manifold structure, jointly with differentiable rendering, to synthesize new videos of people in different contexts from where they were initially recorded. Unlike recent appearance transferring methods, our approach can reconstruct a fully controllable 3D texture-mapped model of a person, while taking into account the manifold structure from body shape and texture appearance in the view synthesis. Specifically, our approach models mesh deformations with a three-stage GCN trained in a self-supervised manner on rendered silhouettes of the human body. It also infers texture appearance with a convolutional network in the texture domain, which is trained in an adversarial regime to reconstruct human texture from rendered images of actors in different poses. Experiments on different videos show that our method successfully infers specific body deformations and avoid creating texture artifacts while achieving the best values for appearance in terms of Structural Similarity (SSIM), Learned Perceptual Image Patch Similarity (LPIPS), Mean Squared Error (MSE), and Fréchet Video Distance (FVD). By taking advantages of both differentiable rendering and the 3D parametric model, our method is fully controllable, which allows controlling the human synthesis from both pose and rendering parameters. The source code is available at https://www.verlab.dcc.ufmg.br/retargeting-motion/wacv2022. △ Less

Submitted 22 October, 2021; originally announced October 2021.

Comments: 10 pages, 6 figures, to appear in Proceedings of the IEEE Winter Conference on Applications of Computer Vision (WACV) 2022

A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems

Authors: Roopak Sinha, Sandeep Patil, Luis Gomes, Valeriy Vyatkin

Abstract: Industrial automation systems (IAS) need to be highly dependable; they should not merely function as expected but also do so in a reliable, safe, and secure manner. Formal methods are mathematical techniques that can greatly aid in develo** dependable systems and can be used across all phases of the system development life cycle (SDLC), including requirements engineering, system design and imple… ▽ More Industrial automation systems (IAS) need to be highly dependable; they should not merely function as expected but also do so in a reliable, safe, and secure manner. Formal methods are mathematical techniques that can greatly aid in develo** dependable systems and can be used across all phases of the system development life cycle (SDLC), including requirements engineering, system design and implementation, verification and validation (testing), maintenance, and even documentation. This state-of-the-art survey reports existing formal approaches for creating more dependable IAS, focusing on static formal methods that are used before a system is completely implemented. We categorize surveyed works based on the phases of the SDLC, allowing us to identify research gaps and promising future directions for each phase. △ Less

Submitted 12 August, 2021; originally announced August 2021.

Comments: Journal paper, 12 pages, 3 tables, 1 figure

Journal ref: IEEE Transactions on Industrial Informatics 15(7)(2019), pp.3772-3783

The oscillatory anisotropy in the spatially flat cosmological models

Authors: Leandro G Gomes, Bruno B. Bizarria, Gabriel A. de Souza Silva, William O. Clavijo

Abstract: In this manuscript, we investigate the oscillatory behaviour of the anisotropy in the diagonal Bianchi-I spacetimes. Our starting point is a simplification of Einstein's equations using only observable or physical variables. As a consequence, we are able to: (a) Prove general results concerning the existence of oscillations of the anisotropy in the primordial and the late-time universe. For instan… ▽ More In this manuscript, we investigate the oscillatory behaviour of the anisotropy in the diagonal Bianchi-I spacetimes. Our starting point is a simplification of Einstein's equations using only observable or physical variables. As a consequence, we are able to: (a) Prove general results concerning the existence of oscillations of the anisotropy in the primordial and the late-time universe. For instance, in the expanding scenario, we show that a past weakly mixmaster behaviour (oscillations as we approach the Kasner solutions) might appear even with no violation of the usual energy conditions, while in the future, the pulsation (oscillations around isotropic solutions) seems to be most favored; (b) Determine a large scheme for deriving classes of physically motivated exact solutions, and we give some (including the general barotropic perfect fluid and the magnetic one); (c) Understand the physical conditions for the occurrence of the isotropization or anisotropization during the cosmological evolution; (d) Understand how anisotropy and energy density are converted one into another. In particular, we call attention to the presence of a residue in the energy density in a late-time isotropic universe coming from its past anisotropic behaviour. △ Less

Submitted 1 April, 2021; originally announced April 2021.

Comments: 26 pages, 17 figures

MSC Class: 83F05; 83C15; 83C20

A Shape-Aware Retargeting Approach to Transfer Human Motion and Appearance in Monocular Videos

Authors: Thiago L. Gomes, Renato Martins, João Ferreira, Rafael Azevedo, Guilherme Torres, Erickson R. Nascimento

Abstract: Transferring human motion and appearance between videos of human actors remains one of the key challenges in Computer Vision. Despite the advances from recent image-to-image translation approaches, there are several transferring contexts where most end-to-end learning-based retargeting methods still perform poorly. Transferring human appearance from one actor to another is only ensured when a stri… ▽ More Transferring human motion and appearance between videos of human actors remains one of the key challenges in Computer Vision. Despite the advances from recent image-to-image translation approaches, there are several transferring contexts where most end-to-end learning-based retargeting methods still perform poorly. Transferring human appearance from one actor to another is only ensured when a strict setup has been complied, which is generally built considering their training regime's specificities. In this work, we propose a shape-aware approach based on a hybrid image-based rendering technique that exhibits competitive visual retargeting quality compared to state-of-the-art neural rendering approaches. The formulation leverages the user body shape into the retargeting while considering physical constraints of the motion in 3D and the 2D image domain. We also present a new video retargeting benchmark dataset composed of different videos with annotated human motions to evaluate the task of synthesizing people's videos, which can be used as a common base to improve tracking the progress in the field. The dataset and its evaluation protocols are designed to evaluate retargeting methods in more general and challenging conditions. Our method is validated in several experiments, comprising publicly available videos of actors with different shapes, motion types, and camera setups. The dataset and retargeting code are publicly available to the community at: https://www.verlab.dcc.ufmg.br/retargeting-motion. △ Less

Submitted 28 April, 2021; v1 submitted 29 March, 2021; originally announced March 2021.

Comments: 19 pages, 13 figures

Modelling COVID-19 Transmission Dynamics in Ghana

Authors: Edward Acheampong, Eric Okyere, Samuel Iddi, Joseph H. K. Bonney, Jonathan A. D. Wattis, Rachel L. Gomes

Abstract: In late 2019, a novel coronavirus, the SARS-CoV-2 outbreak was identified in Wuhan, China and later spread to every corner of the globe. Whilst the number of infection-induced deaths in Ghana, West Africa are minimal when compared with the rest of the world, the impact on the local health service is still significant. Compartmental models are a useful framework for investigating transmission of di… ▽ More In late 2019, a novel coronavirus, the SARS-CoV-2 outbreak was identified in Wuhan, China and later spread to every corner of the globe. Whilst the number of infection-induced deaths in Ghana, West Africa are minimal when compared with the rest of the world, the impact on the local health service is still significant. Compartmental models are a useful framework for investigating transmission of diseases in societies. To understand how the infection will spread and how to limit the outbreak. We have developed a modified SEIR compartmental model with nine compartments (CoVCom9) to describe the dynamics of SARS-CoV-2 transmission in Ghana. We have carried out a detailed mathematical analysis of the CoVCom9, including the derivation of the basic reproduction number, $\mathcal{R}_{0}$. In particular, we have shown that the disease-free equilibrium is globally asymptotically stable when $\mathcal{R}_{0}<1$ via a candidate Lyapunov function. Using the SARS-CoV-2 reported data for confirmed-positive cases and deaths from March 13 to August 10, 2020, we have parametrised the CoVCom9 model. The results of this fit show good agreement with data. We used Latin hypercube sampling-rank correlation coefficient (LHS-PRCC) to investigate the uncertainty and sensitivity of $\mathcal{R}_{0}$ since the results derived are significant in controlling the spread of SARS-CoV-2. We estimate that over this five month period, the basic reproduction number is given by $\mathcal{R}_{0} = 3.110$, with the 95\% confidence interval being $2.042 \leq \mathcal{R}_0 \leq 3.240$, and the mean value being $\mathcal{R}_{0}=2.623$. Of the 32 parameters in the model, we find that just six have a significant influence on $\mathcal{R}_{0}$, these include the rate of testing, where an increasing testing rate contributes to the reduction of $\mathcal{R}_{0}$. △ Less

Submitted 4 February, 2021; originally announced February 2021.

Comments: Submitted manuscript

Learning to dance: A graph convolutional adversarial network to generate realistic dance motions from audio

Authors: João P. Ferreira, Thiago M. Coutinho, Thiago L. Gomes, José F. Neto, Rafael Azevedo, Renato Martins, Erickson R. Nascimento

Abstract: Synthesizing human motion through learning techniques is becoming an increasingly popular approach to alleviating the requirement of new data capture to produce animations. Learning to move naturally from music, i.e., to dance, is one of the more complex motions humans often perform effortlessly. Each dance movement is unique, yet such movements maintain the core characteristics of the dance style… ▽ More Synthesizing human motion through learning techniques is becoming an increasingly popular approach to alleviating the requirement of new data capture to produce animations. Learning to move naturally from music, i.e., to dance, is one of the more complex motions humans often perform effortlessly. Each dance movement is unique, yet such movements maintain the core characteristics of the dance style. Most approaches addressing this problem with classical convolutional and recursive neural models undergo training and variability issues due to the non-Euclidean geometry of the motion manifold structure.In this paper, we design a novel method based on graph convolutional networks to tackle the problem of automatic dance generation from audio information. Our method uses an adversarial learning scheme conditioned on the input music audios to create natural motions preserving the key movements of different music styles. We evaluate our method with three quantitative metrics of generative methods and a user study. The results suggest that the proposed GCN model outperforms the state-of-the-art dance generation method conditioned on music in different experiments. Moreover, our graph-convolutional approach is simpler, easier to be trained, and capable of generating more realistic motion styles regarding qualitative and different quantitative metrics. It also presented a visual movement perceptual quality comparable to real motion data. △ Less

Submitted 30 November, 2020; v1 submitted 25 November, 2020; originally announced November 2020.

Comments: Accepted at the Elsevier Computers & Graphics (C&G) 2020

Understanding Cu Incorporation in the $\mathrm{Cu_{2x}Hg_{2-x}GeTe_4}$ Structure using Resonant X-ray Diffraction

Authors: Ben L. Levy-Wendt, Brenden R. Ortiz, Lìdia C. Gomes, Kevin H. Stone, Donata Passarello, Elif Ertekin, Eric S. Toberer, Michael F. Toney

Abstract: The ability to control carrier concentration based on the extent of Cu solubility in the $\mathrm{Cu_{2x}Hg_{2-x}GeTe_4}$ alloy compound (where 0 $\leq$ x $\leq$ 1) makes $\mathrm{Cu_{2x}Hg_{2-x}GeTe_4}$ an interesting case study in the field of thermoelectrics. While Cu clearly plays a role in this process, it is unknown exactly how Cu incorporates into the $\mathrm{Cu_{2x}Hg_{2-x}GeTe_4}$ crysta… ▽ More The ability to control carrier concentration based on the extent of Cu solubility in the $\mathrm{Cu_{2x}Hg_{2-x}GeTe_4}$ alloy compound (where 0 $\leq$ x $\leq$ 1) makes $\mathrm{Cu_{2x}Hg_{2-x}GeTe_4}$ an interesting case study in the field of thermoelectrics. While Cu clearly plays a role in this process, it is unknown exactly how Cu incorporates into the $\mathrm{Cu_{2x}Hg_{2-x}GeTe_4}$ crystal structure and how this affects the carrier concentration. In this work, we use a combination of resonant energy X-ray diffraction (REXD) experiments and density functional theory (DFT) calculations to elucidate the nature of Cu incorporation into the $\mathrm{Cu_{2x}Hg_{2-x}GeTe_4}$ structure. REXD across the $\mathrm{Cu_k}$ edge facilitates the characterization of Cu incorporation in the $\mathrm{Cu_{2x}Hg_{2-x}GeTe_4}$ alloy and enables direct quantification of anti-site defects. We find that Cu substitutes for Hg at a 2:1 ratio, wherein Cu annihilates a vacancy and swaps with a Hg atom. DFT calculations confirm this result and further reveal that the incorporation of Cu occurs preferentially on one of the z = 1/4 or z = 3/4 planes before filling the other plane. Furthermore, the amount of $\mathrm{Cu_{Hg}}$ anti-site defects quantified by REXD was found to be directly proportional to the experimentally measured hole concentration, indicating that the $\mathrm{Cu_{Hg}}$ defects are the driving force for tuning carrier concentration in the $\mathrm{Cu_{2x}Hg_{2-x}GeTe_4}$ alloy. The link uncovered here between crystal structure, or more specifically anti-site defects, and carrier concentration can be extended to similar cation-disordered material systems and will aid the development of improved thermoelectric and other functional materials through defect engineering. △ Less

Submitted 9 October, 2020; originally announced October 2020.

Journal ref: Phys. Rev. Materials 5, 015402 (2021)

A search for rotation periods in 1000 TESS objects of interest

Authors: Bruno L. Canto Martins, Roseane L. Gomes, Yuri S. Messias, Suzierly R. de Lira, Izan C. Leão, Leonardo A. Almeida, Márcio A. Teixeira, Maria L. das Chagas, Jenny P. Bravo, Asnakew Bewketu Belete, José R. De Medeiros

Abstract: The high quality light curves from the Transiting Exoplanet Survey Satellite (TESS) represent a unique laboratory for the study of stellar rotation, a fundamental observable driving stellar and planetary evolution, including planetary atmospheres and impacting on habitability conditions and the genesis of life around stars. As of April 14th 2020, this mission delivered public light curves for 1000… ▽ More The high quality light curves from the Transiting Exoplanet Survey Satellite (TESS) represent a unique laboratory for the study of stellar rotation, a fundamental observable driving stellar and planetary evolution, including planetary atmospheres and impacting on habitability conditions and the genesis of life around stars. As of April 14th 2020, this mission delivered public light curves for 1000 TESS Objects of Interest (TOIs), observed with 2 minute cadence during the first 20 months of the mission. Here, we present a search for rotation signatures in these TOIs, using Fast Fourier Transform, Lomb-Scargle, and wavelet techniques, accompanied by a rigorous visual inspection. This effort revealed 163 targets with rotation signatures, 131 of which present unambiguous rotation periods ranging from 0.321 and 13.219 days, whereas 32 of them present dubious rotation periodicities. One hundred and nine of these stars show flux fluctuations whose root-cause is not clearly identified. For 714 TOIs, the light curves show a noisy behavior, corresponding to typically low-amplitude signals. Our analysis has also revealed 10 TOI stars with pulsation periodicities ranging from 0.049 to 2.995 days and four eclipsing binaries. With upcoming TESS data releases, our periodicity analysis will be expanded to almost all TOI stars, thereby contributing in defining criteria for follow-up strategy itself, and the study of star-planet interactions, surface dynamic of host stars and habitability conditions in planets, among other aspects. In this context, a living catalog is maintained on the Filtergraph visualization portal at the URL https://filtergraph.com/tess_rotation_tois. △ Less

Submitted 1 August, 2020; v1 submitted 6 July, 2020; originally announced July 2020.

Comments: 68 pages, 6 figures, Submitted to ApJS and accepted for publication on July 6, 2020

The nonlinear patterns of the cosmic anisotropy in the late time universe

Authors: Leandro G. Gomes

Abstract: In this manuscript, we investigate the patterns satisfied by the cosmological anisotropy under the hypothesis of the observers being co-moving with a perfect fluid whose induced space sections are homogeneous with vanishing scalar curvature. We describe the positive increment $ΔR$ that the Hubble parameter in the anisotropic model will have as it is compared to its isotropic counterpart. In genera… ▽ More In this manuscript, we investigate the patterns satisfied by the cosmological anisotropy under the hypothesis of the observers being co-moving with a perfect fluid whose induced space sections are homogeneous with vanishing scalar curvature. We describe the positive increment $ΔR$ that the Hubble parameter in the anisotropic model will have as it is compared to its isotropic counterpart. In general, it has an exponential awakening at a specific redshift $z_A$. We also show that the deceleration and the jerk along the principal directions of the anisotropy are constrained by simple algebraic equations that do not depend on the type of matter present. These characteristic patterns form a valuable framework to distinguish the cosmological anisotropy from any other kind, thus adding a useful tool to probe its upper limits in the supernovae surveys, which are orders of magnitude away from those observed in the CMB. △ Less

Submitted 30 March, 2021; v1 submitted 22 May, 2020; originally announced May 2020.

Comments: 7 pages, 4 figures

MSC Class: 83F05

Quantum decoherence and relaxation in long-baseline neutrino data

Authors: A. L. G. Gomes, R. A. Gomes, O. L. G. Peres

Abstract: We investigate the effect of quantum decoherence and relaxation in neutrino oscillations using MINOS and T2K data. The formalism of open quantum systems is used to describe the interaction of a neutrino system with the environment, where the strength of the interaction is regulated by a decoherence parameter $Γ$. We assume an energy dependence parameterized by $Γ= γ_0 (E/\mbox{GeV})^n$, with… ▽ More We investigate the effect of quantum decoherence and relaxation in neutrino oscillations using MINOS and T2K data. The formalism of open quantum systems is used to describe the interaction of a neutrino system with the environment, where the strength of the interaction is regulated by a decoherence parameter $Γ$. We assume an energy dependence parameterized by $Γ= γ_0 (E/\mbox{GeV})^n$, with $n=-2,0,+2$, and consider three different scenarios, allowing the investigation of the effect of relaxation and of constraining the solar and atmospheric sectors to the same decoherence parameter. The MINOS and T2K data present a complementary behavior, with regard to our theoretical model, resulting in a better sensitivity for $n = +2$ and $n = -2$, respectively. We perform a combined analyses of both experimental data, which also include a reactor constraint on $\sin^2 θ_{13}$, and observe an independence of the results to the scenarios we investigate. As highlight of our analyses we obtain the best limit on $γ_0$ for the energy dependence of $n = -2$, reporting an upper bound of $1.7 \times 10^{-23}$~GeV, at the 90\% confidence level. △ Less

Submitted 14 July, 2023; v1 submitted 24 January, 2020; originally announced January 2020.

Comments: revised title

Do As I Do: Transferring Human Motion and Appearance between Monocular Videos with Spatial and Temporal Constraints

Authors: Thiago L. Gomes, Renato Martins, João Ferreira, Erickson R. Nascimento

Abstract: Creating plausible virtual actors from images of real actors remains one of the key challenges in computer vision and computer graphics. Marker-less human motion estimation and shape modeling from images in the wild bring this challenge to the fore. Although the recent advances on view synthesis and image-to-image translation, currently available formulations are limited to transfer solely style a… ▽ More Creating plausible virtual actors from images of real actors remains one of the key challenges in computer vision and computer graphics. Marker-less human motion estimation and shape modeling from images in the wild bring this challenge to the fore. Although the recent advances on view synthesis and image-to-image translation, currently available formulations are limited to transfer solely style and do not take into account the character's motion and shape, which are by nature intermingled to produce plausible human forms. In this paper, we propose a unifying formulation for transferring appearance and retargeting human motion from monocular videos that regards all these aspects. Our method synthesizes new videos of people in a different context where they were initially recorded. Differently from recent appearance transferring methods, our approach takes into account body shape, appearance, and motion constraints. The evaluation is performed with several experiments using publicly available real videos containing hard conditions. Our method is able to transfer both human motion and appearance outperforming state-of-the-art methods, while preserving specific features of the motion that must be maintained (e.g., feet touching the floor, hands touching a particular object) and holding the best visual quality and appearance metrics such as Structural Similarity (SSIM) and Learned Perceptual Image Patch Similarity (LPIPS). △ Less

Submitted 21 January, 2020; v1 submitted 8 January, 2020; originally announced January 2020.

Comments: 10 pages, 8 figures, to appear in Proceedings of the IEEE Winter Conference on Applications of Computer Vision (WACV) 2020

Generalising KAT to verify weighted computations

Authors: Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa

Abstract: Kleene algebra with tests (KAT) was introduced as an algebraic structure to model and reason about classic imperative programs, i.e. sequences of discrete transitions guarded by Boolean tests. This paper introduces two generalisations of this structure able to express programs as weighted transitions and tests with outcomes in non necessarily bivalent truth spaces: graded Kleene algebra with tests… ▽ More Kleene algebra with tests (KAT) was introduced as an algebraic structure to model and reason about classic imperative programs, i.e. sequences of discrete transitions guarded by Boolean tests. This paper introduces two generalisations of this structure able to express programs as weighted transitions and tests with outcomes in non necessarily bivalent truth spaces: graded Kleene algebra with tests (GKAT) and a variant where tests are also idempotent (I-GKAT). On this context, and in analogy to Kozen's encoding of Propositional Hoare Logic (PHL) in KAT [22], we discuss the encoding of a graded PHL in I-GKAT and of its while-free fragment in GKAT. Moreover, to establish semantics for these structures four new algebras are defined: FSET(T), FREL(K,T) and FLANG(K,T) over complete residuated lattices K and T, and M(n,A) over a GKAT or I-GKAT A. As a final exercise, the paper discusses some program equivalence proofs in a graded context. △ Less

Submitted 4 November, 2019; originally announced November 2019.

Comments: 49 pages, 3 figures

On the construction of multi-valued concurrent dynamic logic

Authors: Leandro Gomes

Abstract: Dynamic logic is a powerful framework for reasoning about imperative programs. An extension with a concurrent operator [18] was introduced to formalise programs running in parallel. In other direction, other authors proposed a systematic method for generating multi-valued propositional dynamic logics to reason about weighted programs [14]. This paper presents the first step of combining these two… ▽ More Dynamic logic is a powerful framework for reasoning about imperative programs. An extension with a concurrent operator [18] was introduced to formalise programs running in parallel. In other direction, other authors proposed a systematic method for generating multi-valued propositional dynamic logics to reason about weighted programs [14]. This paper presents the first step of combining these two frameworks to introduce uncertainty in concurrent computations. In the developed framework, a weight is assigned to each branch of the parallel execution, resulting in a (possible) asymmetric parallelism, inherent to fuzzy programming paradigm [21, 2]. By adopting such an approach, a family of logics is obtained, called multi-valued concurrent propositional dynamic logics (CGDL(A)), parametric on an action lattice A specifying a notion of "weight" assigned to program execution. Additionally, the validity of some axioms of CPDL is discussed in the new family of generated logics. △ Less

Submitted 1 November, 2019; originally announced November 2019.

Comments: 13 pages

Space-time calibration of wind speed forecasts from regional climate models

Authors: Luiz E. S. Gomes, Thaís C. O. Fonseca, Kelly C. M. Gonçalves, Ramiro Ruiz-Cárdenas

Abstract: Numerical weather predictions (NWP) are systematically subject to errors due to the deterministic solutions used by numerical models to simulate the atmosphere. Statistical postprocessing techniques are widely used nowadays for NWP calibration. However, time-varying bias is usually not accommodated by such models. Its calibration performance is also sensitive to the temporal window used for traini… ▽ More Numerical weather predictions (NWP) are systematically subject to errors due to the deterministic solutions used by numerical models to simulate the atmosphere. Statistical postprocessing techniques are widely used nowadays for NWP calibration. However, time-varying bias is usually not accommodated by such models. Its calibration performance is also sensitive to the temporal window used for training. This paper proposes space-time models that extend the main statistical postprocessing approaches to calibrate NWP model outputs. Trans-Gaussian random fields are considered to account for meteorological variables with asymmetric behavior. Data augmentation is used to account for censuring in the response variable. The benefits of the proposed extensions are illustrated through the calibration of hourly 10 m wind speed forecasts in Southeastern Brazil coming from the Eta model. △ Less

Submitted 3 September, 2020; v1 submitted 27 September, 2019; originally announced September 2019.

Comments: 43 pages, 13 figures

Using Near Infrared Spectroscopy and Machine Learning to diagnose Systemic Sclerosis

Authors: Joelle Feijó de França, Hugo Abreu Mendes, Lucas Gallindo Costa, Andrea Tavares Dantas, Angela Luzia Branco Pinto Duarte, Anderson Stevens Leônidas Gomes, Emery Cleiton Cabral Correia Lins

Abstract: The motivation of this work is the use of non-invasive and low cost techniques to obtain a faster and more accurate diagnosis of systemic sclerosis (SSc), rheumatic, autoimmune, chronic and rare disease. The technique in question is Near Infrared Spectroscopy (NIRS). Spectra were acquired from three different regions of hand's volunteers. Machine learning algorithms are used to classify and search… ▽ More The motivation of this work is the use of non-invasive and low cost techniques to obtain a faster and more accurate diagnosis of systemic sclerosis (SSc), rheumatic, autoimmune, chronic and rare disease. The technique in question is Near Infrared Spectroscopy (NIRS). Spectra were acquired from three different regions of hand's volunteers. Machine learning algorithms are used to classify and search for the best optical wavelength. The results demonstrate that it is easy to obtain wavelength bands more important for the diagnosis. We use the algorithm RFECV and SVC. The results suggests that the most important wavelength band is at 1270 nm, referring to the luminescence of Singlet Oxygen. The results indicates that the Proximal Interphalangeal Joints region returns better accuracy's scores. Optical spectrometers can be found at low prices and can be easily used in clinical evaluations, while the algorithms used are completely diffused on open source platforms. △ Less

Submitted 16 August, 2019; originally announced August 2019.

Comments: 9 pages, 5 figures, 1 table

Intrinsically symmetric cosmological model in the presence of dissipative fluids

Authors: E. Bittencourt, L. G. Gomes, G. B. Santos

Abstract: Based upon the intrinsic symmetries approach to inhomogeneous cosmologies, we propose an exact solution to Einstein's field equations where the spatial sections are flat and the source is a non-perfect fluid such that the dissipative terms can be written in terms of spatial gradients of the energy density under a suitable choice of the coordinate system. It is shown through the calculation of the… ▽ More Based upon the intrinsic symmetries approach to inhomogeneous cosmologies, we propose an exact solution to Einstein's field equations where the spatial sections are flat and the source is a non-perfect fluid such that the dissipative terms can be written in terms of spatial gradients of the energy density under a suitable choice of the coordinate system. It is shown through the calculation of the luminosity distance as a function of the redshift that the presence of such inhomogeneities may lead to an effective deceleration parameter compatible with either the standard $Λ$CDM model or LTB models depending on the choice of boundary conditions with no exotic matter. This fact is another evidence that different inhomogeneous models should be carefully investigated in order to verify which model may be compatible with observations and still be as close as possible to the standard model regarding the underlying assumptions, without resorting necessarily to exotic matter components. △ Less

Submitted 10 March, 2021; v1 submitted 15 July, 2019; originally announced July 2019.

Comments: 12 pages, last version, published in IJMPD

Electric Field-Tuned Topological Phase Transition in Ultra-Thin Na3Bi - Towards a Topological Transistor

Authors: James L. Collins, Anton Tadich, Weikang Wu, Lidia C. Gomes, Joao N. B. Rodrigues, Chang Liu, Jack Hellerstedt, Hye** Ryu, Shujie Tang, Sung-Kwan Mo, Shaffique Adam, Shengyuan A. Yang, Michael. S. Fuhrer, Mark T. Edmonds

Abstract: The electric field induced quantum phase transition from topological to conventional insulator has been proposed as the basis of a topological field effect transistor [1-4]. In this scheme an electric field can switch 'on' the ballistic flow of charge and spin along dissipationless edges of the two-dimensional (2D) quantum spin Hall insulator [5-9], and when 'off' is a conventional insulator with… ▽ More The electric field induced quantum phase transition from topological to conventional insulator has been proposed as the basis of a topological field effect transistor [1-4]. In this scheme an electric field can switch 'on' the ballistic flow of charge and spin along dissipationless edges of the two-dimensional (2D) quantum spin Hall insulator [5-9], and when 'off' is a conventional insulator with no conductive channels. Such as topological transistor is promising for low-energy logic circuits [4], which would necessitate electric field-switched materials with conventional and topological bandgaps much greater than room temperature, significantly greater than proposed to date [6-8]. Topological Dirac semimetals(TDS) are promising systems in which to look for topological field-effect switching, as they lie at the boundary between conventional and topological phases [3,10-16]. Here we use scanning probe microscopy/spectroscopy (STM/STS) and angle-resolved photoelectron spectroscopy (ARPES) to show that mono- and bilayer films of TDS Na3Bi [3,17] are 2D topological insulators with bulk bandgaps >400 meV in the absence of electric field. Upon application of electric field by do** with potassium or by close approach of the STM tip, the bandgap can be completely closed then re-opened with conventional gap greater than 100 meV. The large bandgaps in both the conventional and quantum spin Hall phases, much greater than the thermal energy kT = 25 meV at room temperature, suggest that ultrathin Na3Bi is suitable for room temperature topological transistor operation. △ Less

Submitted 4 February, 2019; v1 submitted 21 May, 2018; originally announced May 2018.

Journal ref: Nature 564, 390 (2018)

Nonlinear refractive index of electric field aligned gold nanorods measured with a Hartmann-Shack wavefront aberrometer

Authors: Melissa Maldonado, Leonardo de S. Menezes, Leonardo F. Araujo, Greice K. B. da Costa, Isabel C. S. Carvalho, Jake Fontana, Cid B. de Araujo, Anderson S. L. Gomes

Abstract: The capability to dynamically control the nonlinear refractive index of plasmonic suspensions may enable innovative nonlinear sensing and signaling nanotechnologies. Here, we experimentally determine the effective nonlinear refractive index for gold nanorods suspended in an index matching oil aligned using electric fields, demonstrating an approach to modulate the nonlinear optical properties of t… ▽ More The capability to dynamically control the nonlinear refractive index of plasmonic suspensions may enable innovative nonlinear sensing and signaling nanotechnologies. Here, we experimentally determine the effective nonlinear refractive index for gold nanorods suspended in an index matching oil aligned using electric fields, demonstrating an approach to modulate the nonlinear optical properties of the suspension. The nonlinear optical experiments were carried out using a Hartmann-Shack wavefront aberrometer in a collimated beam configuration with a high repetition rate femtosecond laser. The suspensions were probed at 800 nm, overlap** with the long-axis absorption peak of the nanorods. We find that the effective nonlinear refractive index of the gold nanorods suspension depends linearly on the orientational order parameter, S, which can be understood by a thermally induced nonlinear response. We also show the magnitude of the nonlinear response can be varied by ~60%. △ Less

Submitted 6 July, 2018; v1 submitted 28 January, 2018; originally announced January 2018.