Showing 1–50 of 141 results for author: Lopes, C

The VISTA Variables in the Vía Láctea eXtended (VVVX) ESO public survey: Completion of the observations and legacy

Authors: R. K. Saito, M. Hempel, J. Alonso-García, P. W. Lucas, D. Minniti, S. Alonso, L. Baravalle, J. Borissova, C. Caceres, A. N. Chené, N. J. G. Cross, F. Duplancic, E. R. Garro, M. Gómez, V. D. Ivanov, R. Kurtev, A. Luna, D. Majaess, M. G. Navarro, J. B. Pullen, M. Rejkuba, J. L. Sanders, L. C. Smith, P. H. C. Albino, M. V. Alonso , et al. (121 additional authors not shown)

Abstract: The ESO public survey VISTA Variables in the Vía Láctea (VVV) surveyed the inner Galactic bulge and the adjacent southern Galactic disk from $2009-2015$. Upon its conclusion, the complementary VVV eXtended (VVVX) survey has expanded both the temporal as well as spatial coverage of the original VVV area, widening it from $562$ to $1700$ sq. deg., as well as providing additional epochs in… ▽ More The ESO public survey VISTA Variables in the Vía Láctea (VVV) surveyed the inner Galactic bulge and the adjacent southern Galactic disk from $2009-2015$. Upon its conclusion, the complementary VVV eXtended (VVVX) survey has expanded both the temporal as well as spatial coverage of the original VVV area, widening it from $562$ to $1700$ sq. deg., as well as providing additional epochs in $JHK_{\rm s}$ filters from $2016-2023$. With the completion of VVVX observations during the first semester of 2023, we present here the observing strategy, a description of data quality and access, and the legacy of VVVX. VVVX took $\sim 2000$ hours, covering about 4% of the sky in the bulge and southern disk. VVVX covered most of the gaps left between the VVV and the VISTA Hemisphere Survey (VHS) areas and extended the VVV time baseline in the obscured regions affected by high extinction and hence hidden from optical observations. VVVX provides a deep $JHK_{\rm s}$ catalogue of $\gtrsim 1.5\times10^9$ point sources, as well as a $K_{\rm s}$ band catalogue of $\sim 10^7$ variable sources. Within the existing VVV area, we produced a $5D$ map of the surveyed region by combining positions, distances, and proper motions of well-understood distance indicators such as red clump stars, RR Lyrae, and Cepheid variables. In March 2023 we successfully finished the VVVX survey observations that started in 2016, an accomplishment for ESO Paranal Observatory upon 4200 hours of observations for VVV+VVVX. The VVV+VVVX catalogues complement those from the Gaia mission at low Galactic latitudes and provide spectroscopic targets for the forthcoming ESO high-multiplex spectrographs MOONS and 4MOST. △ Less

Submitted 24 June, 2024; originally announced June 2024.

Comments: 17 pages, 11 figures (+ appendix). Accepted for publication in Astronomy and Astrophysics in section 14: Catalogs and data

CFD-DEM study of mixing in a monodispersed solid-liquid fluidized bed

Authors: Victor Oliveira Ferreira, Bruno Blais, Gabriela Cantarelli Lopes

Abstract: In this work, we assess the internal dynamics of particles in liquid-solid fluidized beds using an unresolved CFD-DEM model. We use the Nearest Neighbors Method (NNM) and the mixing index based on the principal component analysis proposed by Doucet et al. [1] to quantify the bed mixing for several flow regimes and particle properties. Discussions on the advantages and drawbacks of each method are… ▽ More In this work, we assess the internal dynamics of particles in liquid-solid fluidized beds using an unresolved CFD-DEM model. We use the Nearest Neighbors Method (NNM) and the mixing index based on the principal component analysis proposed by Doucet et al. [1] to quantify the bed mixing for several flow regimes and particle properties. Discussions on the advantages and drawbacks of each method are provided. Using results for several inlet flow rates, we show that the dimensionless mixing time reaches a plateau and does not increase significantly with the inlet velocity. The principal component analysis shows that the studied fluidized bed has no preferential mixing component. Additionally, we show that, except for the sliding friction coefficient, the collision properties have almost negligible influence on the mixing behavior. △ Less

Submitted 21 June, 2024; originally announced 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

Single color virtual H&E staining with In-and-Out Net

Authors: Mengkun Chen, Yen-Tung Liu, Fadeel Sher Khan, Matthew C. Fox, Jason S. Reichenberg, Fabiana C. P. S. Lopes, Katherine R. Sebastian, Mia K. Markey, James W. Tunnell

Abstract: Virtual staining streamlines traditional staining procedures by digitally generating stained images from unstained or differently stained images. While conventional staining methods involve time-consuming chemical processes, virtual staining offers an efficient and low infrastructure alternative. Leveraging microscopy-based techniques, such as confocal microscopy, researchers can expedite tissue a… ▽ More Virtual staining streamlines traditional staining procedures by digitally generating stained images from unstained or differently stained images. While conventional staining methods involve time-consuming chemical processes, virtual staining offers an efficient and low infrastructure alternative. Leveraging microscopy-based techniques, such as confocal microscopy, researchers can expedite tissue analysis without the need for physical sectioning. However, interpreting grayscale or pseudo-color microscopic images remains a challenge for pathologists and surgeons accustomed to traditional histologically stained images. To fill this gap, various studies explore digitally simulating staining to mimic targeted histological stains. This paper introduces a novel network, In-and-Out Net, specifically designed for virtual staining tasks. Based on Generative Adversarial Networks (GAN), our model efficiently transforms Reflectance Confocal Microscopy (RCM) images into Hematoxylin and Eosin (H&E) stained images. We enhance nuclei contrast in RCM images using aluminum chloride preprocessing for skin tissues. Training the model with virtual H\&E labels featuring two fluorescence channels eliminates the need for image registration and provides pixel-level ground truth. Our contributions include proposing an optimal training strategy, conducting a comparative analysis demonstrating state-of-the-art performance, validating the model through an ablation study, and collecting perfectly matched input and ground truth images without registration. In-and-Out Net showcases promising results, offering a valuable tool for virtual staining tasks and advancing the field of histological image analysis. △ Less

Submitted 21 May, 2024; originally announced May 2024.

A study of nine extreme low mass ratio contact binary systems

Authors: E. Lalounta, P. -E. Christopoulou, A. Papageorgiou, C. E. Ferreira Lopes, M. Catelan

Abstract: Low mass ratio systems (LMR) are a very interesting class of contact eclipsing binaries challenging the theoretical models of stability. These systems are also considered possible progenitors of the rare low-mass optical transients called red novae. In this study, we present the identification of 7 new totally eclipsing LMR systems from Catalina Sky Surveys (CSS) and 77 LMR candidates from the All… ▽ More Low mass ratio systems (LMR) are a very interesting class of contact eclipsing binaries challenging the theoretical models of stability. These systems are also considered possible progenitors of the rare low-mass optical transients called red novae. In this study, we present the identification of 7 new totally eclipsing LMR systems from Catalina Sky Surveys (CSS) and 77 LMR candidates from the All Sky Automated Survey (ASAS$-$3). Using the available CSS light curves and new multiband observations for CSS$\_$J210228.3$-$031048 and CSS$\_$J231513.$+$345335 with the 2.3 m Aristarchos telescope at Helmos Observatory, we estimate their physical and absolute parameters and investigate their stability and their progenitors. The light curves are analyzed by performing a 2$-$dimension scan on the mass ratio $-$ inclination plane with Phoebe$-$0.31 scripter while the errors are estimated using Monte-Carlo simulations and heuristic scanning of the parameter space. Our analysis revealed that all 9 CSS systems have extreme mass ratios from 0.09 to 0.16. Our statistical analysis of well$-$studied LMR contact binaries shows that LMR systems tend to have warmer and more massive primaries. The investigation of the progenitors of both low and higher-mass ratio systems reveals a trend for the former to originate from higher-mass ancestors. Finally, we investigate the stability condition by calculating the ratio of spin angular momentum to orbital angular momentum and other stability indicators in the context of the reliability of the solutions. △ Less

Submitted 17 May, 2024; originally announced May 2024.

Comments: 16 pages, 8 figures

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),

Towards AI-Assisted Synthesis of Verified Dafny Methods

Authors: Md Rakib Hossain Misu, Cristina V. Lopes, Iris Ma, James Noble

Abstract: Large language models show great promise in many domains, including programming. A promise is easy to make but hard to keep, and language models often fail to keep their promises, generating erroneous code. A promising avenue to keep models honest is to incorporate formal verification: generating programs' specifications as well as code so that the code can be proved correct with respect to the sp… ▽ More Large language models show great promise in many domains, including programming. A promise is easy to make but hard to keep, and language models often fail to keep their promises, generating erroneous code. A promising avenue to keep models honest is to incorporate formal verification: generating programs' specifications as well as code so that the code can be proved correct with respect to the specifications. Unfortunately, existing large language models show a severe lack of proficiency in verified programming. In this paper, we demonstrate how to improve two pretrained models' proficiency in the Dafny verification-aware language. Using 178 problems from the MBPP dataset, we prompt two contemporary models (GPT-4 and PaLM-2) to synthesize Dafny methods. We use three different types of prompts: a direct Contextless prompt; a Signature prompt that includes a method signature and test cases, and a Chain of Thought (CoT) prompt that decomposes the problem into steps and includes retrieval augmentation generated example problems and solutions. Our results show that GPT-4 performs better than PaLM-2 on these tasks and that both models perform best with the retrieval augmentation generated CoT prompt. GPT-4 was able to generate verified, human-evaluated, Dafny methods for 58% of the problems, however, GPT-4 managed only 19% of the problems with the Contextless prompt, and even fewer (10%) for the Signature prompt. We are thus able to contribute 153 verified Dafny solutions to MBPP problems, 50 that we wrote manually, and 103 synthesized by GPT-4. Our results demonstrate that the benefits of formal program verification are now within reach of code generating large language models... △ Less

Submitted 10 June, 2024; v1 submitted 31 January, 2024; originally announced February 2024.

Comments: This is an author provided preprint. The final version will be published at Proc. ACM Softw. Eng; FSE 2024, in July 2024

Commit Messages in the Age of Large Language Models

Authors: Cristina V. Lopes, Vanessa I. Klotzman, Iris Ma, Iftekar Ahmed

Abstract: Commit messages are explanations of changes made to a codebase that are stored in version control systems. They help developers understand the codebase as it evolves. However, writing commit messages can be tedious and inconsistent among developers. To address this issue, researchers have tried using different methods to automatically generate commit messages, including rule-based, retrieval-based… ▽ More Commit messages are explanations of changes made to a codebase that are stored in version control systems. They help developers understand the codebase as it evolves. However, writing commit messages can be tedious and inconsistent among developers. To address this issue, researchers have tried using different methods to automatically generate commit messages, including rule-based, retrieval-based, and learning-based approaches. Advances in large language models offer new possibilities for generating commit messages. In this study, we evaluate the performance of OpenAI's ChatGPT for generating commit messages based on code changes. We compare the results obtained with ChatGPT to previous automatic commit message generation methods that have been trained specifically on commit data. Our goal is to assess the extent to which large pre-trained language models can generate commit messages that are both quantitatively and qualitatively acceptable. We found that ChatGPT was able to outperform previous Automatic Commit Message Generation (ACMG) methods by orders of magnitude, and that, generally, the messages it generates are both accurate and of high-quality. We also provide insights, and a categorization, for the cases where it fails. △ Less

Submitted 1 February, 2024; v1 submitted 31 January, 2024; originally announced January 2024.

Comments: Submitted to FSE 23 on Feb 6 2023

Defect formation energy, electronic structure and phonon dispersion study of half-Heusler TiSnX (X = Pd, Pt and Ni): an ab initio approach

Authors: Mateus Corradini Lopes, Alex Antonelli

Abstract: In order to obtain reliable and close to the experimental transport properties, it is necessary to have a good description of the structural, electronic and vibrational properties of the materials. In this regard, the defect formation plays a crucial hole, specially when it has a small formation energy. In this study we have calculated, under the Density Functional Theory (DFT) formalism, the form… ▽ More In order to obtain reliable and close to the experimental transport properties, it is necessary to have a good description of the structural, electronic and vibrational properties of the materials. In this regard, the defect formation plays a crucial hole, specially when it has a small formation energy. In this study we have calculated, under the Density Functional Theory (DFT) formalism, the formation energy for five different models of defects, where one of them is interstitial and the other four substitutional. The interstitial Pd defect presented a very low formation energy, while the other defects have shown higher energies and, therefore they are less likely to emerge in the synthesis of the material. △ Less

Submitted 14 December, 2023; originally announced December 2023.

Comments: 6 pages, 6 figures

Optimization of Image Processing Algorithms for Character Recognition in Cultural Typewritten Documents

Authors: Mariana Dias, Carla Teixeira Lopes

Abstract: Linked Data is used in various fields as a new way of structuring and connecting data. Cultural heritage institutions have been using linked data to improve archival descriptions and facilitate the discovery of information. Most archival records have digital representations of physical artifacts in the form of scanned images that are non-machine-readable. Optical Character Recognition (OCR) recogn… ▽ More Linked Data is used in various fields as a new way of structuring and connecting data. Cultural heritage institutions have been using linked data to improve archival descriptions and facilitate the discovery of information. Most archival records have digital representations of physical artifacts in the form of scanned images that are non-machine-readable. Optical Character Recognition (OCR) recognizes text in images and translates it into machine-encoded text. This paper evaluates the impact of image processing methods and parameter tuning in OCR applied to typewritten cultural heritage documents. The approach uses a multi-objective problem formulation to minimize Levenshtein edit distance and maximize the number of words correctly identified with a non-dominated sorting genetic algorithm (NSGA-II) to tune the methods' parameters. Evaluation results show that parameterization by digital representation typology benefits the performance of image pre-processing algorithms in OCR. Furthermore, our findings suggest that employing image pre-processing algorithms in OCR might be more suitable for typologies where the text recognition task without pre-processing does not produce good results. In particular, Adaptive Thresholding, Bilateral Filter, and Opening are the best-performing algorithms for the theatre plays' covers, letters, and overall dataset, respectively, and should be applied before OCR to improve its performance. △ Less

Submitted 27 November, 2023; originally announced November 2023.

Comments: 25 pages, 4 figures

Journal ref: J. Comput. Cult. Herit. 16, 4, Article 77 (December 2023), 25 pages

Moving from ISAD(G) to a CIDOC CRM-based Linked Data Model in the Portuguese Archives

Authors: Inês Koch, Carla Teixeira Lopes, Cristina Ribeiro

Abstract: Archives are facing numerous challenges. On the one hand, archival assets are evolving to encompass digitized documents and increasing quantities of born-digital information in diverse formats. On the other hand, the audience is changing along with how it wishes to access archival material. Moreover, the interoperability requirements of cultural heritage repositories are growing. In this context,… ▽ More Archives are facing numerous challenges. On the one hand, archival assets are evolving to encompass digitized documents and increasing quantities of born-digital information in diverse formats. On the other hand, the audience is changing along with how it wishes to access archival material. Moreover, the interoperability requirements of cultural heritage repositories are growing. In this context, the Portuguese Archives started an ambitious program aiming to evolve its data model, migrate existing records, and build a new archival management system appropriate to both archival tasks and public access. The overall goal is to have a fine-grained and flexible description, more machine-actionable than the current one. This work describes ArchOnto, a linked open data model for archives, and rules for its automatic population from existing records. ArchOnto adopts a semantic web approach and encompasses the CIDOC Conceptual Reference Model and additional ontologies, envisioning interoperability with datasets curated by multiple communities of practice. Existing ISAD(G)-conforming descriptions are being migrated to the new model using the direct map**s provided here. We used a sample of 25 records associated with different description levels to validate the completeness and conformity of ArchOnto to existing data. This work is in progress and is original in several respects: (1) it is one of the first approaches to use CIDOC CRM in the context of archives, identifying problems and questions that emerged during the process and pinpointing possible solutions; (2) it addresses the balance in the model between the migration of existing records and the construction of new ones by archive professionals; and (3) it adopts an open world view on linking archival data to global information sources. △ Less

Submitted 17 October, 2023; originally announced October 2023.

Comments: Inês Koch, Carla Teixeira Lopes, and Cristina Ribeiro. 2023. Moving from ISAD(G) to a CIDOC CRM-based Linked Data Model in the Portuguese Archives. J. Comput. Cult. Herit. Just Accepted (September 2023). https://doi.org/10.1145/3605910

Automatic Quality Assessment of Wikipedia Articles -- A Systematic Literature Review

Authors: Pedro Miguel Moás, Carla Teixeira Lopes

Abstract: Wikipedia is the world's largest online encyclopedia, but maintaining article quality through collaboration is challenging. Wikipedia designed a quality scale, but with such a manual assessment process, many articles remain unassessed. We review existing methods for automatically measuring the quality of Wikipedia articles, identifying and comparing machine learning algorithms, article features, q… ▽ More Wikipedia is the world's largest online encyclopedia, but maintaining article quality through collaboration is challenging. Wikipedia designed a quality scale, but with such a manual assessment process, many articles remain unassessed. We review existing methods for automatically measuring the quality of Wikipedia articles, identifying and comparing machine learning algorithms, article features, quality metrics, and used datasets, examining 149 distinct studies, and exploring commonalities and gaps in them. The literature is extensive, and the approaches follow past technological trends. However, machine learning is still not widely used by Wikipedia, and we hope that our analysis helps future researchers change that reality. △ Less

Submitted 3 October, 2023; originally announced October 2023.

Comments: 37 pages, 10 figures, just accepted in ACM Computing Surveys (September 2023). This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in ACM Computing Surveys, https://dx.doi.org/10.1145/3625286

Spatiotemporal patterns of Io's bright transient eruptions, 1978-2022

Authors: Christian D. Tate, Julie A. Rathbun, Alexander G. Hayes, Rosaly M. C. Lopes, Madeline Pettine

Abstract: This study analyzes Io's thermally detected volcanic outbursts and mini-outbursts, generally called bright transient eruptions. We examine their evolving characteristics over the history of outburst observations between the Voyager flybys in 1978 and 2022. We catalog, compare, and interpret the data of these bright transient eruptions from several spacecraft flybys and numerous ground-based observ… ▽ More This study analyzes Io's thermally detected volcanic outbursts and mini-outbursts, generally called bright transient eruptions. We examine their evolving characteristics over the history of outburst observations between the Voyager flybys in 1978 and 2022. We catalog, compare, and interpret the data of these bright transient eruptions from several spacecraft flybys and numerous ground-based observation campaigns. To test the spatiotemporal behavior of these events, we compare them to a population of randomly spaced, stochastic events with an equal likelihood of occurrence anywhere on Io's surface. We find that the aggregate of all outbursts is consistent with a random distribution across Io, whereas mini-outbursts strongly prefer the trailing hemisphere (180 to 360 W). On shorter timescales, however, outbursts show a significant change in spatiotemporal behavior before and after the year 2012. Outbursts from 1995 to 2007 favor the northern leading hemisphere, while outbursts from 2013 to 2021 favor the southern trailing hemisphere. These temporally separated clusters of outbursts are remarkably similar to Io's two primary mountainous regions, indicating that outbursts may be related to mountain-forming activity. These trends show how bright transient eruptions are distinct from Io's other forms of volcanism. These could be essential constraints to assess models of Io's interior heat transport between tidal generation and volcanic distribution. △ Less

Submitted 26 September, 2023; originally announced September 2023.

Quantum Rate Electrodynamics and Resonant Junction Electronics of Heterocyclic Molecules

Authors: Edgar Fábian Pinzón Nieto, Laís Cristine Lopes, Adriano dos Santos, Maria Manuela Marques Raposo, Paulo Roberto Bueno

Abstract: Quantum rate theory encompasses the electron-transfer rate constant concept of electrochemical reactions as a particular setting, besides demonstrating that the electrodynamics of these reactions obey relativistic quantum mechanical rules. The theory predicts a frequency $ν= E/h$ for electron-transfer reactions, in which $E = e^2/C_q$ is the energy associated with the density-of-states $C_q/e^2$ a… ▽ More Quantum rate theory encompasses the electron-transfer rate constant concept of electrochemical reactions as a particular setting, besides demonstrating that the electrodynamics of these reactions obey relativistic quantum mechanical rules. The theory predicts a frequency $ν= E/h$ for electron-transfer reactions, in which $E = e^2/C_q$ is the energy associated with the density-of-states $C_q/e^2$ and $C_q$ is the quantum capacitance of the electrochemical junctions. This work demonstrates that the $ν= E/h$ frequency of the intermolecular charge transfer of push-pull heterocyclic compounds, assembled over conducting electrodes, follows the above-stated quantum rate electrodynamic principles. Astonishingly, the differences between the molecular junction electronics formed by push-pull molecules and the electrodynamics of electrochemical reactions observed in redox-active modified electrodes are solely owing to an adiabatic setting (strictly following Landauer's ballistic presumption) of the quantum conductance in the push-pull molecular junctions. An appropriate electrolyte field-effect screening environment accounts for the resonant quantum conductance dynamics of the molecule-bridge-electrode structure, in which the intermolecular charge transfer dynamics within the frontier molecular orbital of push-pull heterocyclic molecules follow relativistic quantum mechanics in agreement with the quantum rate theory. △ Less

Submitted 11 January, 2024; v1 submitted 11 September, 2023; originally announced September 2023.

Electrochemical Measurement of the Electronic Structure of Graphene via Quantum Mechanical Rate Spectroscopy

Authors: Laís Cristine Lopes, Edgar Pinzón, Gabriela Dias-da-Silva, Gustavo Troiano Feliciano, Paulo Roberto Bueno

Abstract: Quantum-rate theory defines a quantum mechanical rate $ν$ that complies with the Planck--Einstein relationship $E = hν$, where $ν= e^2/hC_q$ is a frequency associated with the quantum capacitance $C_q$, and $E = e^2/C_q$ is the energy associated with $ν$. Previously, this definition of $ν$ was successfully employed to define a quantum mechanical meaning for the electron-transfer (ET) rate constant… ▽ More Quantum-rate theory defines a quantum mechanical rate $ν$ that complies with the Planck--Einstein relationship $E = hν$, where $ν= e^2/hC_q$ is a frequency associated with the quantum capacitance $C_q$, and $E = e^2/C_q$ is the energy associated with $ν$. Previously, this definition of $ν$ was successfully employed to define a quantum mechanical meaning for the electron-transfer (ET) rate constant of redox reactions, wherein faradaic electric currents involved with ET reactions were demonstrated to be governed by relativistic quantum electrodynamics at room temperature~\citep{Bueno-2023-3}. This study demonstrated that the definition of $ν$ entails the relativistic quantum electrodynamics phenomena intrinsically related to the perturbation of the density-of-states $\left( dn/dE \right) = C_q/e^2$ by an external harmonic oscillatory potential energy variation. On this basis, the electronic structure of graphene embedded in an electrolyte environment was computed. The electronic structure measured using quantum-rate spectroscopy (QRS) is in good agreement with that measured through angle-resolved photo-emission spectroscopy (ARPES) or calculated via computational density-functional theory (DFT) methods. Electrochemical QRS has evident experimental advantages over ARPES. For instance, QRS enables obtaining the electronic structure of graphene at room temperature and in an electrolyte environment, whereas ARPES requires low temperature and ultrahigh-vacuum conditions. Furthermore, QRS can operate \textit{in-situ} using a hand-held, inexpensive piece of equipment, whereas ARPES necessarily requires expensive and cumbersome apparatus. △ Less

Submitted 16 January, 2024; v1 submitted 4 August, 2023; originally announced August 2023.

Journal ref: Electrochimica Acta, v. 480, p. 143837, 2024

Distributed Universal Adaptive Networks

Authors: Cassio G. Lopes, Vítor H. Nascimento, Luiz F. O. Chamon

Abstract: Adaptive networks (ANs) are effective real time techniques to process and track events observed by sensor networks and, more recently, to equip Internet of Things (IoT) applications. ANs operate over nodes equipped with collaborative adaptive filters that solve distributively an estimation problem common to the whole network. However, they do not guarantee that nodes do not lose from cooperation,… ▽ More Adaptive networks (ANs) are effective real time techniques to process and track events observed by sensor networks and, more recently, to equip Internet of Things (IoT) applications. ANs operate over nodes equipped with collaborative adaptive filters that solve distributively an estimation problem common to the whole network. However, they do not guarantee that nodes do not lose from cooperation, as compared to its non-cooperative operation; that poor nodes are rejected and exceptional nodes estimates reach the entire network; and that performance is uniform over all nodes. In order to enforce such properties, this work introduces the concept of distributed universal estimation, which encompasses the new concepts of local universality, global universality and universality with respect to the non-cooperative operation. We then construct a new cooperation protocol that is proven to be distributively universal, outperforming direct competitors from the literature, as shown by several simulations. Mean and mean-square analytical models are developed, with good agreement between theory and simulations. △ Less

Submitted 7 July, 2023; originally announced July 2023.

Journal ref: IEEE Transactions on Signal Processing, v. 71, p. 1817-1832, 2023

Exploration and Analysis of Combinations of Hamming Codes in 32-bit Memories

Authors: David Freitas, David Mota, Clailton Lopes, Daniel Simões, Jarbas Silveira, João Mota, César Marcon

Abstract: Reducing the threshold voltage of electronic devices increases their sensitivity to electromagnetic radiation dramatically, increasing the probability of changing the memory cells' content. Designers mitigate failures using techniques such as Error Correction Codes (ECCs) to maintain information integrity. Although there are several studies of ECC usage in spatial application memories, there is st… ▽ More Reducing the threshold voltage of electronic devices increases their sensitivity to electromagnetic radiation dramatically, increasing the probability of changing the memory cells' content. Designers mitigate failures using techniques such as Error Correction Codes (ECCs) to maintain information integrity. Although there are several studies of ECC usage in spatial application memories, there is still no consensus in choosing the type of ECC as well as its organization in memory. This work analyzes some configurations of the Hamming codes applied to 32-bit memories in order to use these memories in spatial applications. This work proposes the use of three types of Hamming codes: Ham(31,26), Ham(15,11), and Ham(7,4), as well as combinations of these codes. We employed 36 error patterns, ranging from one to four bit-flips, to analyze these codes. The experimental results show that the Ham(31,26) configuration, containing five bits of redundancy, obtained the highest rate of simple error correction, almost 97\%, with double, triple, and quadruple error correction rates being 78.7\%, 63.4\%, and 31.4\%, respectively. While an ECC configuration encompassed four Ham(7.4), which uses twelve bits of redundancy, only fixes 87.5\% of simple errors. △ Less

Submitted 13 July, 2023; v1 submitted 28 June, 2023; originally announced June 2023.

A Unique Low-Mass Ratio Contact Eclipsing Binary System under the Period Cut-Off

Authors: A. Papageorgiou, P. -E. Christopoulou, E. Lalounta, C. E. Ferreira Lopes, M. Catelan, A. J. Drake, P. Xantzios, I. Alikakos

Abstract: We present a multi-band photometric analysis of CRTS J163819.6+03485, the first low mass ratio (LMR) contact binary system with a period under the contact binary (CB) period limit. The unprecedented combination of mass ratio and period makes this system unique for eclipsing binary (EB) research. Using new multi-band photometric observations, we explored the parameter space of this unique total EB… ▽ More We present a multi-band photometric analysis of CRTS J163819.6+03485, the first low mass ratio (LMR) contact binary system with a period under the contact binary (CB) period limit. The unprecedented combination of mass ratio and period makes this system unique for eclipsing binary (EB) research. Using new multi-band photometric observations, we explored the parameter space of this unique total EB system through a detailed scan in the mass ratio - inclination plane and using the PIKAIA genetic algorithm optimizer. The best set of relative physical parameters and corresponding uncertainties was adopted through Markov Chain Monte Carlo sampling of the parameter space. The resulting mass ratio of the system is $q = 0.16 \pm 0.01$. The absolute parameters were derived by adopting an empirical mass-luminosity relation. Period changes are also investigated by using new observations and archival photometric light curves from massive astronomical surveys, which revealed in a preliminary solution the presence of a possible low-mass tertiary companion. The origin and evolutionary status of the system are investigated through the detached-binary formation scenario. △ Less

Submitted 20 June, 2023; originally announced June 2023.

The LHCb upgrade I

Authors: LHCb collaboration, R. Aaij, A. S. W. Abdelmotteleb, C. Abellan Beteta, F. Abudinén, C. Achard, T. Ackernley, B. Adeva, M. Adinolfi, P. Adlarson, H. Afsharnia, C. Agapopoulou, C. A. Aidala, Z. Ajaltouni, S. Akar, K. Akiba, P. Albicocco, J. Albrecht, F. Alessio, M. Alexander, A. Alfonso Albero, Z. Aliouche, P. Alvarez Cartelle, R. Amalric, S. Amato , et al. (1298 additional authors not shown)

Abstract: The LHCb upgrade represents a major change of the experiment. The detectors have been almost completely renewed to allow running at an instantaneous luminosity five times larger than that of the previous running periods. Readout of all detectors into an all-software trigger is central to the new design, facilitating the reconstruction of events at the maximum LHC interaction rate, and their select… ▽ More The LHCb upgrade represents a major change of the experiment. The detectors have been almost completely renewed to allow running at an instantaneous luminosity five times larger than that of the previous running periods. Readout of all detectors into an all-software trigger is central to the new design, facilitating the reconstruction of events at the maximum LHC interaction rate, and their selection in real time. The experiment's tracking system has been completely upgraded with a new pixel vertex detector, a silicon tracker upstream of the dipole magnet and three scintillating fibre tracking stations downstream of the magnet. The whole photon detection system of the RICH detectors has been renewed and the readout electronics of the calorimeter and muon systems have been fully overhauled. The first stage of the all-software trigger is implemented on a GPU farm. The output of the trigger provides a combination of totally reconstructed physics objects, such as tracks and vertices, ready for final analysis, and of entire events which need further offline reprocessing. This scheme required a complete revision of the computing model and rewriting of the experiment's software. △ Less

Submitted 17 May, 2023; originally announced May 2023.

Comments: All figures and tables, along with any supplementary material and additional information, are available at http://lhcbproject.web.cern.ch/lhcbproject/Publications/LHCbProjectPublic/LHCb-DP-2022-002.html (LHCb public pages)

Report number: LHCb-DP-2022-002

Noncentrosymmetric two-dimensional Weyl semimetals in porous Si/Ge structures

Authors: Emmanuel V. C. Lopes, Rogerio J. Baierle, Roberto H. Miwa, Tome M. Schmidt

Abstract: In this work we predict a family of noncentrosymmetric two-dimensional (2D) Weyl semimetals composed by porous Ge and SiGe structures. These systems are energetically stable graphenylene-like structures with a buckling, spontaneously breaking the inversion symmetry. The nontrivial topological phase for these 2D systems occurs just below the Fermi level, resulting in nonvanishing Berry curvature ar… ▽ More In this work we predict a family of noncentrosymmetric two-dimensional (2D) Weyl semimetals composed by porous Ge and SiGe structures. These systems are energetically stable graphenylene-like structures with a buckling, spontaneously breaking the inversion symmetry. The nontrivial topological phase for these 2D systems occurs just below the Fermi level, resulting in nonvanishing Berry curvature around the Weyl nodes. The emerged Weyl semimetals are protected by $C_3$ symmetry, presenting one-dimensional edge Fermi-arcs connecting Weyl points with opposite chiralities. Our findings complete the family of Weyl in condensed-matter physics, by predicting the first noncentrosymmetric class of 2D Weyl semimetals. △ Less

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

Journal ref: Journal of Physics: Condensed Matter 36, 185701 (2024)

Using Large Language Models to Generate JUnit Tests: An Empirical Study

Authors: Mohammed Latif Siddiq, Joanna C. S. Santos, Ridwanul Hasan Tanvir, Noshin Ulfat, Fahmid Al Rifat, Vinicius Carvalho Lopes

Abstract: A code generation model generates code by taking a prompt from a code comment, existing code, or a combination of both. Although code generation models (e.g., GitHub Copilot) are increasingly being adopted in practice, it is unclear whether they can successfully be used for unit test generation without fine-tuning for a strongly typed language like Java. To fill this gap, we investigated how well… ▽ More A code generation model generates code by taking a prompt from a code comment, existing code, or a combination of both. Although code generation models (e.g., GitHub Copilot) are increasingly being adopted in practice, it is unclear whether they can successfully be used for unit test generation without fine-tuning for a strongly typed language like Java. To fill this gap, we investigated how well three models (Codex, GPT-3.5-Turbo, and StarCoder) can generate unit tests. We used two benchmarks (HumanEval and Evosuite SF110) to investigate the effect of context generation on the unit test generation process. We evaluated the models based on compilation rates, test correctness, test coverage, and test smells. We found that the Codex model achieved above 80% coverage for the HumanEval dataset, but no model had more than 2% coverage for the EvoSuite SF110 benchmark. The generated tests also suffered from test smells, such as Duplicated Asserts and Empty Tests. △ Less

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

Comments: Accepted in Research Track of The 28th International Conference on Evaluation and Assessment in Software Engineering (EASE 2024)

Improving the Quality of Commit Messages in Students' Projects

Authors: Iris Ma, Cristina V. Lopes

Abstract: Commit messages play a crucial role in collaborative software development. They provide a clear and concise description of the changes made to the source code. However, many commit messages among students' projects lack useful information. This is a concern, as low-quality commit messages can negatively impact communication of software development and future maintenance. To address this issue, thi… ▽ More Commit messages play a crucial role in collaborative software development. They provide a clear and concise description of the changes made to the source code. However, many commit messages among students' projects lack useful information. This is a concern, as low-quality commit messages can negatively impact communication of software development and future maintenance. To address this issue, this research aims to help students write high-quality commit messages by "nudging" them in the right direction. We modified the GitHub Desktop application by incorporating specific requirements for commit messages, specifically "what" and "why" parts. To test whether this affects the quality of commit messages, we divided students from an Information Retrieval class into two groups, with one group using the modified application and the other using other interfaces. The results show that the quality of commit messages is improved in terms of informativeness, clearness, and length. △ Less

Submitted 26 April, 2023; originally announced April 2023.

Comments: Accepted at ICSE SEENG Workshop 2023

Quantum Rate as a Spectroscopic Methodology for Measuring the Electronic Structure of Quantum Dots

Authors: Edgar Fabian Pinzón, Laís Cristine Lopes, André Felipe Vale da Fonseca, Marco Antonio Schiavon, Paulo Roberto Bueno

Abstract: The electronic structure of nanoscale moieties (such as molecules and quantum dots) governs the properties and performance of the bottom-up fabricated devices based on their assemblies. Accordingly, simple and faster experimental methods that permit to resolve the electronic density of states of these nanoscale materials (of which quantum dots are a particular example) are of great importance for… ▽ More The electronic structure of nanoscale moieties (such as molecules and quantum dots) governs the properties and performance of the bottom-up fabricated devices based on their assemblies. Accordingly, simple and faster experimental methods that permit to resolve the electronic density of states of these nanoscale materials (of which quantum dots are a particular example) are of great importance for the development of man-made nanoscale interfaces and nanoelectronics. In the present work, we propose the quantum rate spectroscopy methodology (and introduce the fundamental physical basis of this technique) as a tool for resolving the electronic structure of zero-dimensional (quantum dot) structures at room temperature and environmental pressure conditions. This method is simpler than the traditional methods based on scanning tunneling microscopy. This spectroscopic approach based on the quantum rate theory was demonstrated for CdTe quantum dots, and was used to measure a spectrum that provides discrete energy levels that are consistent with those obtained by tunneling microscopy measurements. △ Less

Submitted 22 February, 2024; v1 submitted 18 February, 2023; originally announced February 2023.

Comments: Journal of Materials Chemistry C, 2024

Black Boxes, White Noise: Similarity Detection for Neural Functions

Authors: Farima Farmahinifarahani, Cristina V. Lopes

Abstract: Similarity, or clone, detection has important applications in copyright violation, software theft, code search, and the detection of malicious components. There is now a good number of open source and proprietary clone detectors for programs written in traditional programming languages. However, the increasing adoption of deep learning models in software poses a challenge to these tools: these mod… ▽ More Similarity, or clone, detection has important applications in copyright violation, software theft, code search, and the detection of malicious components. There is now a good number of open source and proprietary clone detectors for programs written in traditional programming languages. However, the increasing adoption of deep learning models in software poses a challenge to these tools: these models implement functions that are inscrutable black boxes. As more software includes these DNN functions, new techniques are needed in order to assess the similarity between deep learning components of software. Previous work has unveiled techniques for comparing the representations learned at various layers of deep neural network models by feeding canonical inputs to the models. Our goal is to be able to compare DNN functions when canonical inputs are not available -- because they may not be in many application scenarios. The challenge, then, is to generate appropriate inputs and to identify a metric that, for those inputs, is capable of representing the degree of functional similarity between two comparable DNN functions. Our approach uses random input with values between -1 and 1, in a shape that is compatible with what the DNN models expect. We then compare the outputs by performing correlation analysis. Our study shows how it is possible to perform similarity analysis even in the absence of meaningful canonical inputs. The response to random inputs of two comparable DNN functions exposes those functions' similarity, or lack thereof. Of all the metrics tried, we find that Spearman's rank correlation coefficient is the most powerful and versatile, although in special cases other methods and metrics are more expressive. We present a systematic empirical study comparing the effectiveness of several similarity metrics using a dataset of 56,355 classifiers collected from GitHub. This is accompanied by a sensitivity analysis that reveals how certain models' training related properties affect the effectiveness of the similarity metrics. To the best of our knowledge, this is the first work that shows how similarity of DNN functions can be detected by using random inputs. Our study of correlation metrics, and the identification of Spearman correlation coefficient as the most powerful among them for this purpose, establishes a complete and practical method for DNN clone detection that can be used in the design of new tools. It may also serve as inspiration for other program analysis tasks whose approaches break in the presence of DNN components. △ Less

Submitted 20 February, 2023; originally announced February 2023.

Journal ref: The Art, Science, and Engineering of Programming, 2023, Vol. 7, Issue 3, Article 12

Automated classification of eclipsing binary systems in the VVV Survey

Authors: I. V. Daza-Perilla, L. V. Gramajo, M. Lares, T. Palma, C. E. Ferreira Lopes, D. Minniti, J. J. Clariá

Abstract: With the advent of large-scale photometric surveys of the sky, modern science witnesses the dawn of big data astronomy, where automatic handling and discovery are paramount. In this context, classification tasks are among the key capabilities a data reduction pipeline must possess in order to compile reliable datasets, to accomplish data processing with an efficiency level impossible to achieve by… ▽ More With the advent of large-scale photometric surveys of the sky, modern science witnesses the dawn of big data astronomy, where automatic handling and discovery are paramount. In this context, classification tasks are among the key capabilities a data reduction pipeline must possess in order to compile reliable datasets, to accomplish data processing with an efficiency level impossible to achieve by means of detailed processing and human intervention. The VISTA Variables of the Vía Láctea Survey, in the southern part of the Galactic disc, comprises multi-epoch photometric data necessary for the potential discovery of variable objects, including eclipsing binary systems (EBs). In this study we use a recently published catalogue of one hundred EBs, classified by fine-tuning theoretical models according to contact, detached or semi-detached classes belonging to the tile d040 of the VVV. We describe the method implemented to obtain a supervised machine learning model, capable of classifying EBs using information extracted from the light curves of variable object candidates in the phase space from tile d078. We also discuss the efficiency of the models, the relative importance of the features and the future prospects to construct an extensive database of EBs in the VVV survey. △ Less

Submitted 2 February, 2023; originally announced February 2023.

Comments: 11 pages, 9 figures, , accepted in MNRAS

The Evolution of Web Search User Interfaces -- An Archaeological Analysis of Google Search Engine Result Pages

Authors: B. Oliveira, C. T. Lopes

Abstract: Web search engines have marked everyone's life by transforming how one searches and accesses information. Search engines give special attention to the user interface, especially search engine result pages (SERP). The well-known ''10 blue links'' list has evolved into richer interfaces, often personalized to the search query, the user, and other aspects. More than 20 years later, the literature has… ▽ More Web search engines have marked everyone's life by transforming how one searches and accesses information. Search engines give special attention to the user interface, especially search engine result pages (SERP). The well-known ''10 blue links'' list has evolved into richer interfaces, often personalized to the search query, the user, and other aspects. More than 20 years later, the literature has not adequately portrayed this development. We present a study on the evolution of SERP interfaces during the last two decades using Google Search as a case study. We used the most searched queries by year to extract a sample of SERP from the Internet Archive. Using this dataset, we analyzed how SERP evolved in content, layout, design (e.g., color scheme, text styling, graphics), navigation, and file size. We have also analyzed the user interface design patterns associated with SERP elements. We found that SERP are becoming more diverse in terms of elements, aggregating content from different verticals and including more features that provide direct answers. This systematic analysis portrays evolution trends in search engine user interfaces and, more generally, web design. We expect this work will trigger other, more specific studies that can take advantage of our dataset. △ Less

Submitted 20 January, 2023; originally announced January 2023.

Comments: 10 pages, Full Paper of CHIIR 2023

MSC Class: 68P20

From 10 Blue Links Pages to Feature-Full Search Engine Results Pages -- Analysis of the Temporal Evolution of SERP Features

Authors: B. Oliveira, C. T. Lopes

Abstract: Web Search Engine Results Pages (SERP) are one of the most well-known and used web pages. These pages have started as simple ``10 blue links'' pages, but the information in SERP currently goes way beyond these links. Several features have been included in these pages to complement organic and sponsored results and attempt to provide answers to the query instead of just pointing to websites that mi… ▽ More Web Search Engine Results Pages (SERP) are one of the most well-known and used web pages. These pages have started as simple ``10 blue links'' pages, but the information in SERP currently goes way beyond these links. Several features have been included in these pages to complement organic and sponsored results and attempt to provide answers to the query instead of just pointing to websites that might deliver that information. In this work, we analyze the appearance and evolution of SERP features in the two leading web search engines, Google Search and Microsoft Bing. Using a sample of SERP from the Internet Archive, we analyzed the appearance and evolution of these features. We found that SERP are becoming more diverse in terms of elements, aggregating content from different verticals and including more features that provide direct answers. △ Less

Submitted 19 January, 2023; originally announced January 2023.

Comments: 8 pages, CHIIR 2023 Conference Short Paper

MSC Class: 68P20

Three Ultra-short Period Contact Eclipsing Binary Systems Mined from Massive Astronomical Surveys

Authors: A. Papageorgiou, P. -E. Christopoulou, C. E. Ferreira Lopes, E. Lalounta, M. Catelan, A. J. Drake

Abstract: We present the photometric analysis of three ultra-short period total eclipsing binaries in contact configuration, CRTS_J172718.0+431624, OGLE-BLG-ECL-000104, and OGLE-BLG-ECL-000012, mined from massive astronomical surveys. Using the available archival light curves (LCs) from Vista Variables in the Via Lactea (VVV), Optical Gravitational Lensing Experiment (OGLE), Zwicky Transient Facility (ZTF)… ▽ More We present the photometric analysis of three ultra-short period total eclipsing binaries in contact configuration, CRTS_J172718.0+431624, OGLE-BLG-ECL-000104, and OGLE-BLG-ECL-000012, mined from massive astronomical surveys. Using the available archival light curves (LCs) from Vista Variables in the Via Lactea (VVV), Optical Gravitational Lensing Experiment (OGLE), Zwicky Transient Facility (ZTF) and Catalina Sky Survey (CSS) in different passbands and new multi-band photometric observations with the 2.3 m Aristarchos telescope at Helmos Observatory, their relative physical parameters were derived. We explored the parameter space by using PIKAIA genetic algorithm optimizer. The best photometric solution and error budget estimation was adopted for each system through MCMC sampling of the global optimum. The approximate absolute parameters were derived for each contact system adopting an empirical mass-luminosity relation. All three systems have a mass ratio lower than 0.5. The exchange between primary and secondary depths of CRTS_J172718.0+431624 during the years 2016-2022 may be due to spot activity. In addition, we present a detailed analysis of the first well characterized shortest period contact eclipsing binary with total eclipses known so far (OGLE-BLG-ECL-000104). Thanks to VVV and OGLE LCs, new distances were derived for OGLE-BLG-ECL-000104 and OGLE-BLG-ECL-000012 using empirical period-luminosity relations. The origin and evolutionary status of all three ultra-short period contact binaries are thoroughly discussed in the context of the detached-binary formation channel. △ Less

Submitted 7 December, 2022; originally announced December 2022.

RKKY interactions mediated by topological states in transition metal doped bismuthene

Authors: Emmanuel V. C. Lopes, E. Vernek, Tome M. Schmidt

Abstract: We have investigated magnetic interactions between transition metal ions in bismuthene topological insulator with protected edge states. We find that these topological states have a crucial role on the magnetic interactions in 2D topological insulators. Using first-principles and model Hamiltonian we make a comparative study of transition metal doped bulk and nanoribbon bismuthene. While direct ov… ▽ More We have investigated magnetic interactions between transition metal ions in bismuthene topological insulator with protected edge states. We find that these topological states have a crucial role on the magnetic interactions in 2D topological insulators. Using first-principles and model Hamiltonian we make a comparative study of transition metal doped bulk and nanoribbon bismuthene. While direct overlap between the transition metal prevails in gapped bulk bismuthene, at the borders of nanoribbons a long-range magnetism is present. The exchange interactions are well described by a RKKY-like Hamiltonian mediated by topological states. Our results show a dominance of antiferromagnetism promoted by the topological states, preserving the spin-locked Dirac crossing states due to a global time-reversal symmetry preservation. This extended magnetic interactions mediated by massless electrons can increase the spin diffusion length being promising for fast dissipationless spintronic devices. △ Less

Submitted 22 March, 2023; v1 submitted 26 October, 2022; originally announced October 2022.

Comments: 6 pages, 4 figures

Journal ref: Journal of Applied Physics 133, 115105 (2023)

Mechanisms to control laser-plasma coupling in laser wakefield electron acceleration

Authors: L. T. Dickson, C. I. D. Underwood, F. Filippi, R. J. Shalloo, J. Björklund Svensson, D. Guénot, K. Svendsen, I. Moulanier, S. Dobosz Dufrénoy, C. D. Murphy, N. C. Lopes, P. P. Rajeev, Z. Najmudin, G. Cantono, A. Persson, O. Lundh, G. Maynard, M. J. V. Streeter, B. Cros

Abstract: Experimental results, supported by precise modelling, demonstrate optimisation of a plasma-based injector with intermediate laser pulse energy ($<1$ J), corresponding to a normalised vector potential $a_0 = 2.15$, using ionisation injection in a tailored plasma density profile. An increase in electron bunch quality and energy is achieved experimentally with the extension of the density downramp at… ▽ More Experimental results, supported by precise modelling, demonstrate optimisation of a plasma-based injector with intermediate laser pulse energy ($<1$ J), corresponding to a normalised vector potential $a_0 = 2.15$, using ionisation injection in a tailored plasma density profile. An increase in electron bunch quality and energy is achieved experimentally with the extension of the density downramp at the plasma exit. Optimisation of the focal position of the laser pulse in the tailored plasma density profile is shown to efficiently reduce electron bunch angular deviation, leading to a better alignment of the electron bunch with the laser axis. Single peak electron spectra are produced in a previously unexplored regime by combining an early focal position and adaptive optic control of the laser wavefront through optimising the symmetry of the pre-focal laser energy distribution. Experimental results have been validated through particle-in-cell simulations using realistic laser energy, phase distribution, and temporal envelope, allowing for accurate predictions of difficult to model parameters, such as total charge and spatial properties of the electron bunches, opening the way for more accurate modelling for the design of plasma-based accelerators. △ Less

Submitted 18 August, 2022; v1 submitted 17 August, 2022; originally announced August 2022.

Comments: 13 pages, 9 figures

Health Information Retrieval -- State of the art report

Authors: Carla Teixeira Lopes

Abstract: This report provides an overview of the field of Information Retrieval (IR) in healthcare. It does not aim to introduce general concepts and theories of IR but to present and describe specific aspects of Health Information Retrieval (HIR). After a brief introduction to the more broader field of IR, the significance of HIR at current times is discussed. Specific characteristics of Health Informatio… ▽ More This report provides an overview of the field of Information Retrieval (IR) in healthcare. It does not aim to introduce general concepts and theories of IR but to present and describe specific aspects of Health Information Retrieval (HIR). After a brief introduction to the more broader field of IR, the significance of HIR at current times is discussed. Specific characteristics of Health Information, its classification and the main existing representations for health concepts are described together with the main products and services in the area (e.g.: databases of health bibliographic content, health specific search engines and others). Recent research work is discussed and the most active researchers, projects and research groups are also presented. Main organizations and journals are also identified. △ Less

Submitted 18 May, 2022; originally announced May 2022.

Comments: 38 pages, 0 figures

ACM Class: H.3.3

Paragliders' Launch Trajectory is Universal

Authors: Quentin Da Cruz Lopes, Sophie Ramananarivo, Caroline Cohen, Michael Benzaquen

Abstract: We designed and built a reduced-scale model experiment to study the paragliding inflation and launching phase at given traction force. We show that the launch trajectory of a single skin glider is universal, that is, independent of the exerted force. As a consequence, the length of the take-off run required for the glider to reach its "ready to launch" vertical position is also universal. We succe… ▽ More We designed and built a reduced-scale model experiment to study the paragliding inflation and launching phase at given traction force. We show that the launch trajectory of a single skin glider is universal, that is, independent of the exerted force. As a consequence, the length of the take-off run required for the glider to reach its "ready to launch" vertical position is also universal. We successfully compare our results to full-scale experiments, and show that such universality can be understood through a simple theoretical model. △ Less

Submitted 6 February, 2023; v1 submitted 17 May, 2022; originally announced May 2022.

Comments: 7 pages, 5 figures

The VVV survey: Long-period variable stars I. Photometric catalog of ten VVV/OGLE tiles

Authors: F. Nikzat, C. E. Ferreira Lopes, M. Catelan, R. Contreras Ramos, M. Zoccali, A. Rojas-Arriagada, V. F. Braga, D. Minniti, J. Borissova, I. Becker

Abstract: Long-period variable stars (LPVs) are pulsating red giants, primarily in the asymptotic giant branch phase, and they include both Miras and semi-regular variables (SRVs). Their period-age and period-luminosity relations enable us to trace different stellar populations, as they are intrinsically very bright and cover a wide range in distances and ages. The purpose of this study is to establish a ce… ▽ More Long-period variable stars (LPVs) are pulsating red giants, primarily in the asymptotic giant branch phase, and they include both Miras and semi-regular variables (SRVs). Their period-age and period-luminosity relations enable us to trace different stellar populations, as they are intrinsically very bright and cover a wide range in distances and ages. The purpose of this study is to establish a census of LPV stars in a region close to the Galactic center, using the six-year database of the Vista Variables in the Vía Láctea (VVV) ESO Public Survey, as well as to describe the methodology that was employed to search for and characterize LPVs using VVV data. Near-IR surveys such as VVV provide a unique opportunity to probe the high-extinction innermost regions of the Milky Way. The detection and analysis of the intrinsically bright Miras in this region could provide us with an excellent probe of the properties of the Milky Way far behind its bulge. We used point-spread function photometry for all available $K_{s}$-band images in ten VVV tiles, covering $16.4~°^2$ in total, overlap** fields observed in the course of the Optical Gravitational Lensing Experiment (OGLE)-III survey. We designed a method to select LPV candidates, and we used the known variables from OGLE-III and other known variables from the literature to test our approach. The reduced $χ^2$ statistic, along with the flux-independent index $K_{(fi)}$, were used in our analysis. The Lomb-Scargle period search method, Fourier analysis, template fitting, and visual inspection were then performed to refine our sample and characterize the properties of the stars included in our catalog. A final sample of 130 Mira candidates, of which 129 are new discoveries, was thus obtained, with periods in the range between about 80 and 1400~days. △ Less

Submitted 11 March, 2022; originally announced March 2022.

Journal ref: A&A 660, A35 (2022)

New low mass ratio contact binaries in the Catalina Sky Survey

Authors: P. E. Christopoulou, Eleni Lalounta, Athanasios Papageorgiou, C. E. Ferreira Lopes, Marcio Catelan, Andrew J. Drake

Abstract: We present the identification and photometric analysis of 30 new low mass ratio (LMR) totally eclipsing contact binaries found in Catalina Sky Survey data. The LMR candidates are identified using Fourier coefficients and visual inspection. We perform a detailed scan in the parameter plane of mass-ratio (q) versus inclination (i) using Phoebe-0.31 scripter to derive the best (q,i) pair for the init… ▽ More We present the identification and photometric analysis of 30 new low mass ratio (LMR) totally eclipsing contact binaries found in Catalina Sky Survey data. The LMR candidates are identified using Fourier coefficients and visual inspection. We perform a detailed scan in the parameter plane of mass-ratio (q) versus inclination (i) using Phoebe-0.31 scripter to derive the best (q,i) pair for the initial models. The relative physical parameters are determined from the final model of each system. A Monte-Carlo approach was adopted to derive the parameter errors. The resulting parameters confirm the identification. The approximate absolute physical parameters of the systems are estimated based on the light curve solutions and Gaia early Data Release 3 distances. Twelve out of 30 new systems have fill-out factors $f\gt 50 \%$ and $q \leq 0.25$ (deep contact LMR systems), and 8 of them, to within errors, are extreme LMR deep systems with $q\leq0.1$. We discuss the evolutionary status of the 30 LMR systems in comparison with the most updated catalog of LMR systems from the literature. The scenario of the LMR systems as pre-merger candidates forming fast rotating stars is investigated for all systems, new and old, based both on Hut's stability criteria and critical instability mass ratio ($q_{inst}$) relation. CSS$\_$J075848.2+125656, with $\frac{q}{q_{inst}}=1.23\pm 0.23$, and CSS$\_$J093010.1-021624, with $\frac{q}{q_{inst}}=1.25\pm 0.23$, can be considered as merger candidates. △ Less

Submitted 25 February, 2022; originally announced February 2022.

Dynamical hypothesis tests and Decision Theory for Gibbs distributions

Authors: M. Denker, A. O. Lopes, S. R. C. Lopes

Abstract: We consider the problem of testing for two Gibbs probabilities $μ_0$ and $μ_1$ defined for a dynamical system $(Ω,T)$. Due to the fact that in general full orbits are not observable or computable, one needs to restrict to subclasses of tests defined by a finite time series $h(x_0), h(x_1)=h(T(x_0)),..., h(x_n)=h(T^n(x_0))$, $x_0\in Ω$, $n\ge 0$, where $h:Ω\to\mathbb R$ denotes a suitable measurabl… ▽ More We consider the problem of testing for two Gibbs probabilities $μ_0$ and $μ_1$ defined for a dynamical system $(Ω,T)$. Due to the fact that in general full orbits are not observable or computable, one needs to restrict to subclasses of tests defined by a finite time series $h(x_0), h(x_1)=h(T(x_0)),..., h(x_n)=h(T^n(x_0))$, $x_0\in Ω$, $n\ge 0$, where $h:Ω\to\mathbb R$ denotes a suitable measurable function. We determine in each class the Neyman-Pearson tests, the minimax tests, and the Bayes solutions, and show the asymptotic decay of their risk functions, as $n\to\infty$. In the case of $Ω$ being a symbolic space, for each $n\in \mathbb{N}$, these optimal tests rely on the information of the measures for cylinder sets of size $n$. △ Less

Submitted 15 September, 2022; v1 submitted 1 December, 2021; originally announced December 2021.

MSC Class: 37D35; 62C20; 62C10

Science goals and new mission concepts for future exploration of Titan's atmosphere geology and habitability: Titan POlar Scout/orbitEr and In situ lake lander and DrONe explorer (POSEIDON)

Authors: Sébastien Rodriguez, Sandrine Vinatier, Daniel Cordier, Gabriel Tobie, Richard K. Achterberg, Carrie M. Anderson, Sarah V. Badman, Jason W. Barnes, Erika L. Barth, Bruno Bézard, Nathalie Carrasco, Benjamin Charnay, Roger N. Clark, Patrice Coll, Thomas Cornet, Athena Coustenis, Isabelle Couturier-Tamburelli, Michel Dobrijevic, F. Michael Flasar, Remco de Kok, Caroline Freissinet, Marina Galand, Thomas Gautier, Wolf D. Geppert, Caitlin A. Griffith , et al. (39 additional authors not shown)

Abstract: In response to ESA Voyage 2050 announcement of opportunity, we propose an ambitious L-class mission to explore one of the most exciting bodies in the Solar System, Saturn largest moon Titan. Titan, a "world with two oceans", is an organic-rich body with interior-surface-atmosphere interactions that are comparable in complexity to the Earth. Titan is also one of the few places in the Solar System w… ▽ More In response to ESA Voyage 2050 announcement of opportunity, we propose an ambitious L-class mission to explore one of the most exciting bodies in the Solar System, Saturn largest moon Titan. Titan, a "world with two oceans", is an organic-rich body with interior-surface-atmosphere interactions that are comparable in complexity to the Earth. Titan is also one of the few places in the Solar System with habitability potential. Titan remarkable nature was only partly revealed by the Cassini-Huygens mission and still holds mysteries requiring a complete exploration using a variety of vehicles and instruments. The proposed mission concept POSEIDON (Titan POlar Scout/orbitEr and In situ lake lander DrONe explorer) would perform joint orbital and in situ investigations of Titan. It is designed to build on and exceed the scope and scientific/technological accomplishments of Cassini-Huygens, exploring Titan in ways that were not previously possible, in particular through full close-up and in situ coverage over long periods of time. In the proposed mission architecture, POSEIDON consists of two major elements: a spacecraft with a large set of instruments that would orbit Titan, preferably in a low-eccentricity polar orbit, and a suite of in situ investigation components, i.e. a lake lander, a "heavy" drone (possibly amphibious) and/or a fleet of mini-drones, dedicated to the exploration of the polar regions. The ideal arrival time at Titan would be slightly before the next northern Spring equinox (2039), as equinoxes are the most active periods to monitor still largely unknown atmospheric and surface seasonal changes. The exploration of Titan northern latitudes with an orbiter and in situ element(s) would be highly complementary with the upcoming NASA New Frontiers Dragonfly mission that will provide in situ exploration of Titan equatorial regions in the mid-2030s. △ Less

Submitted 20 October, 2021; originally announced October 2021.

Comments: arXiv admin note: substantial text overlap with arXiv:1908.01374

A Generalization of the Ornstein-Uhlenbeck Process: Theoretical Results, Simulations and Parameter Estimation

Authors: J. Stein, S. R. C. Lopes, A. V. Medino

Abstract: In this work, we study the class of stochastic process that generalizes the Ornstein-Uhlenbeck processes, hereafter called by \emph{Generalized Ornstein-Uhlenbeck Type Process} and denoted by GOU type process. We consider them driven by the class of noise processes such as Brownian motion, symmetric $α$-stable Lévy process, a Lévy process, and even a Poisson process. We give necessary and sufficie… ▽ More In this work, we study the class of stochastic process that generalizes the Ornstein-Uhlenbeck processes, hereafter called by \emph{Generalized Ornstein-Uhlenbeck Type Process} and denoted by GOU type process. We consider them driven by the class of noise processes such as Brownian motion, symmetric $α$-stable Lévy process, a Lévy process, and even a Poisson process. We give necessary and sufficient conditions under the memory kernel function for the time-stationary and the Markov properties for these processes. When the GOU type process is driven by a Lévy noise we prove that it is infinitely divisible showing its generating triplet. Several examples derived from the GOU type process are illustrated showing some of their basic properties as well as some time series realizations. These examples also present their theoretical and empirical autocorrelation or normalized codifference functions depending on whether the process has a finite or infinite second moment. We also present the maximum likelihood estimation as well as the Bayesian estimation procedures for the so-called \emph{Cosine process}, a particular process in the class of GOU type processes. For the Bayesian estimation method, we consider the power series representation of Fox's H-function to better approximate the density function of a random variable $α$-stable distributed. We consider four goodness-of-fit tests for hel** to decide which \emph{Cosine process} (driven by a Gaussian or an $α$-stable noise) best fit real data sets. Two applications of GOU type model are presented: one based on the Apple company stock market price data and the other based on the cardiovascular mortality in Los Angeles County data. △ Less

Submitted 13 August, 2021; originally announced August 2021.

MSC Class: 62C10; 60G52; 62P05

Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL

Authors: Ricardo Ferreira, Carolina Lopes, Ricardo Gonçalves, Matthias Knorr, Ludwig Krippahl, João Leite

Abstract: The amount of information produced, whether by newspapers, blogs and social networks, or by monitoring systems, is increasing rapidly. Processing all this data in real-time, while taking into consideration advanced knowledge about the problem domain, is challenging, but required in scenarios where assessing potential risks in a timely fashion is critical. C-SPARQL, a language for continuous querie… ▽ More The amount of information produced, whether by newspapers, blogs and social networks, or by monitoring systems, is increasing rapidly. Processing all this data in real-time, while taking into consideration advanced knowledge about the problem domain, is challenging, but required in scenarios where assessing potential risks in a timely fashion is critical. C-SPARQL, a language for continuous queries over streams of RDF data, is one of the more prominent approaches in stream reasoning that provides such continuous inference capabilities over dynamic data that go beyond mere stream processing. However, it has been shown that, in the presence of huge amounts of data, C-SPARQL may not be able to answer queries in time, in particular when the frequency of incoming data is higher than the time required for reasoning with that data. In this paper, we investigate whether reasoning with C-SPARQL can be approximated using Recurrent Neural Networks and Convolutional Neural Networks, two neural network architectures that have been shown to be well-suited for time series forecasting and time series classification, to leverage on their higher processing speed once the network has been trained. We consider a variety of different kinds of queries and obtain overall positive results with high accuracies while improving processing time often by several orders of magnitude. △ Less

Submitted 16 July, 2021; v1 submitted 15 June, 2021; originally announced June 2021.

Comments: Accepted at the 20th EPIA Conference on Artificial Intelligence, EPIA 2021; update on previous version - data on optimizer and loss added for CNNs in the appendix

CAPOS: The bulge Cluster APOgee Survey I. Overview and initial ASPCAP results

Authors: Doug Geisler, Sandro Villanova, Julia E. O'Connell, Roger E. Cohen, Christian Moni Bidin, José G. Fernández-Trincado, Cesar Muñoz, Dante Minniti, Manuela Zoccali, Alvaro Rojas-Arriagada, Rodrigo Contreras Ramos, Márcio Catelan, Francesco Mauro, Cristían Cortés, C. E. Ferreira Lopes, Anke Arentsen, Else Starkenburg, Nicolas F. Martin, Baitian Tang, Celeste Parisi, Javier Alonso-García, Felipe Gran, Katia Cunha, Verne Smith, Steven R. Majewski , et al. (17 additional authors not shown)

Abstract: Context. Bulge globular clusters (BGCs) are exceptional tracers of the formation and chemodynamical evolution of this oldest Galactic component. However, until now, observational difficulties have prevented us from taking full advantage of these powerful Galactic archeological tools. Aims. CAPOS, the bulge Cluster APOgee Survey, addresses this key topic by observing a large number of BGCs, most of… ▽ More Context. Bulge globular clusters (BGCs) are exceptional tracers of the formation and chemodynamical evolution of this oldest Galactic component. However, until now, observational difficulties have prevented us from taking full advantage of these powerful Galactic archeological tools. Aims. CAPOS, the bulge Cluster APOgee Survey, addresses this key topic by observing a large number of BGCs, most of which have only been poorly studied previously. Even their most basic parameters, such as metallicity, [α/Fe], and radial velocity, are generally very uncertain. We aim to obtain accurate mean values for these parameters, as well as abundances for a number of other elements, and explore multiple populations. In this first paper, we describe the CAPOS project and present initial results for seven BGCs. Methods. CAPOS uses the APOGEE-2S spectrograph observing in the H band to penetrate obscuring dust toward the bulge. For this initial paper, we use abundances derived from ASPCAP, the APOGEE pipeline. Results. We derive mean [Fe/H] values of $-$0.85$\pm$0.04 (Terzan 2), $-$1.40$\pm$0.05 (Terzan 4), $-$1.20$\pm$0.10 (HP 1), $-$1.40$\pm$0.07 (Terzan 9), $-$1.07$\pm$0.09 (Djorg 2), $-$1.06$\pm$0.06 (NGC 6540), and $-$1.11$\pm$0.04 (NGC 6642) from three to ten stars per cluster. We determine mean abundances for eleven other elements plus the mean [$α$/Fe] and radial velocity. CAPOS clusters significantly increase the sample of well-studied Main Bulge globular clusters (GCs) and also extend them to lower metallicity. We reinforce the finding that Main Bulge and Main Disk GCs, formed in situ, have [Si/Fe] abundances slightly higher than their accreted counterparts at the same metallicity. We investigate multiple populations and find our clusters generally follow the light-element (anti)correlation trends of previous studies of GCs of similar metallicity. We finally explore the abundances ... △ Less

Submitted 31 May, 2021; originally announced June 2021.

Comments: 27 pages, 10 figures, 5 tables. Abridged abstract. Accepted for publication in Astronomy & Astrophysics (A&A)

Variable stars in the VVV globular clusters. II. NGC6441, NGC6569, NGC6626 (M28), NGC6656 (M22), 2MASS-GC02, and Terzan10

Authors: Javier Alonso-García, Leigh C. Smith, Márcio Catelan, Dante Minniti, Camila Navarrete, Jura Borissova, Julio A. Carballo-Bello, Rodrigo Contreras Ramos, José G. Fernández-Trincado, Carlos E. Ferreira Lopes, Felipe Gran, Elisa R. Garro, Doug Geisler, Zhen Guo, Maren Hempel, Eamonn Kerins, Philip W. Lucas, Tali Palma, Karla Peña Ramírez, Sebastián Ramírez Alegría, Roberto K. Saito

Abstract: The Galactic globular clusters (GGCs) located in the inner regions of the Milky Way suffer from high extinction that makes their observation challenging. The VVV survey provides a way to explore these GGCs in the near-infrared where extinction effects are highly diminished. We conduct a search for variable stars in several inner GGCs, taking advantage of the unique multi-epoch, wide-field, near-in… ▽ More The Galactic globular clusters (GGCs) located in the inner regions of the Milky Way suffer from high extinction that makes their observation challenging. The VVV survey provides a way to explore these GGCs in the near-infrared where extinction effects are highly diminished. We conduct a search for variable stars in several inner GGCs, taking advantage of the unique multi-epoch, wide-field, near-infrared photometry provided by the VVV survey. We are especially interested in detecting classical pulsators that will help us constrain the physical parameters of these GGCs. In this paper, the second of a series, we focus on NGC6656 (M22), NGC6626 (M28), NGC6569, and NGC6441; these four massive GGCs have known variable sources, but quite different metallicities. We also revisit 2MASS-GC02 and Terzan10, the two GGCs studied in the first paper of this series. We present an improved method and a new parameter that efficiently identify variable candidates in the GGCs. We also use the proper motions of those detected variable candidates and their positions in the sky and in the color-magnitude diagrams to assign membership to the GGCs. We identify and parametrize in the near-infrared numerous variable sources in the studied GGCs, cataloging tens of previously undetected variable stars. We recover many known classical pulsators in these clusters, including the vast majority of their fundamental mode RR Lyrae. We use these pulsators to obtain distances and extinctions toward these objects. Recalibrated period-luminosity-metallicity relations for the RR Lyrae bring the distances to these GGCs to a closer agreement with those reported by Gaia, except for NGC6441. Recovered proper motions for these GGCs also agree with those reported by Gaia, except for 2MASS-GC02, the most reddened GGC in our sample, where the VVV near-infrared measurements provide a more accurate determination of its proper motions. △ Less

Submitted 12 May, 2021; originally announced May 2021.

Comments: Accepted for publication in A&A, 18 pages, 14 Figures, 9 Tables

Journal ref: A&A 651, A47 (2021)

Additive polarizabilities in ionic liquids

Authors: Carlos ES Bernardes, Karina Shimizu, José Nuno Canongia Lopes, Philipp Marquetand, Esther Heid, Othmar Steinhauser, Christian Schröder

Abstract: An extended Designed regression analysis of experimental data on density and refractive indices of several classes of ionic liquids yielded statistically averaged atomic volumes and polarizabilities of the constituting atoms. These values can be used to predict the molecular volume and polarizability of an unknown ionic liquid as well as its mass density and refractive index. Our approach does not… ▽ More An extended Designed regression analysis of experimental data on density and refractive indices of several classes of ionic liquids yielded statistically averaged atomic volumes and polarizabilities of the constituting atoms. These values can be used to predict the molecular volume and polarizability of an unknown ionic liquid as well as its mass density and refractive index. Our approach does not need information on the molecular structure of the ionic liquid, but it turned out that the discrimination of the hybridization state of the carbons improved the overall result. Our results are not only compared to experimental data but also to quantum-chemical calculations. Furthermore, fractional charges of ionic liquid ions and their relation to polarizability are discussed. △ Less

Submitted 23 April, 2021; originally announced April 2021.

Journal ref: Phys. Chem. Chem. Phys., 18, 1665-1670 (2016)

Pentadiagonal Matrices and an Application to the Centered MA(1) Stationary Gaussian Process

Authors: Maicon J. Karling, Artur O. Lopes, Silvia R. C. Lopes

Abstract: In this work, we study the properties of a pentadiagonal symmetric matrix with perturbed corners. More specifically, we present explicit expressions for characterizing when this matrix is non-negative and positive definite in two special and important cases. We also give a closed expression for the determinant of such matrices. Previous works present the determinant in a recurrence form but not in… ▽ More In this work, we study the properties of a pentadiagonal symmetric matrix with perturbed corners. More specifically, we present explicit expressions for characterizing when this matrix is non-negative and positive definite in two special and important cases. We also give a closed expression for the determinant of such matrices. Previous works present the determinant in a recurrence form but not in an explicit one. As an application of these results, we also study the limiting cumulant generating function associated to the bivariate sequence of random vectors (n^{-1} (\sum_{k=1}^n X_k^2 , \sum_{k=2}^n X_k X_{k-1})_{n in N}, when (X_n)_{n in N} is the centered stationary moving average process of first order with Gaussian innovations. We exhibit the explicit expression of this limiting cumulant generating function. Finally, we present three examples illustrating the techniques studied here. △ Less

Submitted 22 April, 2021; originally announced April 2021.

MSC Class: 11E25; 15A15; 15A18; 15B05; 40A05; 60G10

Expanding Frontiers: Settling an Understanding of Systems-of-Information Systems

Authors: Valdemar Vicente Graciano Neto, Bruno Gabriel Araújo Lebtag, Paulo Gabriel Teixeira, Priscilla Batista, Vinícius Carvalho Lopes, Jamal El-Hachem, Jérémy Buisson, Flavio Oquendo, Juliana Fernandes, Francisco Ferreira, Rodrigo Peireira dos Santos, Davi Viana, Everton Cavalcante, Mohamad Kassab, Ahmad Mohsin, Roberto Oliveira, Vânia Neves, Maria Istela Cagnin, Elisa Yumi Nakagawa

Abstract: System-of-Systems (SoS) has consolidated itself as a special type of software-intensive systems. As such, subtypes of SoS have also emerged, such as Cyber-Physical SoS (CPSoS) that are formed essentially of cyber-physical constituent systems and Systems-of-Information Systems (SoIS) that contain information systems as their constituents. In contrast to CPSoS that have been investigated and covered… ▽ More System-of-Systems (SoS) has consolidated itself as a special type of software-intensive systems. As such, subtypes of SoS have also emerged, such as Cyber-Physical SoS (CPSoS) that are formed essentially of cyber-physical constituent systems and Systems-of-Information Systems (SoIS) that contain information systems as their constituents. In contrast to CPSoS that have been investigated and covered in the specialized literature, SoIS still lack critical discussion about their fundamentals. The main contribution of this paper is to present those fundamentals to set an understanding of SoIS. By offering a discussion and examining literature cases, we draw an essential settlement on SoIS definition, basics, and practical implications. The discussion herein presented results from research conducted on SoIS over the past years in interinstitutional and multinational research collaborations. The knowledge gathered in this paper arises from several scientific discussion meetings among the authors. As a result, we aim to contribute to the state of the art of SoIS besides paving the research avenues for the forthcoming years. △ Less

Submitted 25 March, 2021; originally announced March 2021.

Comments: 6 pages, 2 figures, 28 references

Search for magnetic accretion in SW Sextantis systems

Authors: I. J. Lima, C. V. Rodrigues, C. E. Ferreira Lopes, P. Szkody, F. J. Jablonski, A. S. Oliveira, K. M. G. Silva, D. Belloni, M. S. Palhares, S. Shugarov, R. Baptista, L. A. Almeida

Abstract: SW Sextantis systems are nova-like cataclysmic variables that have unusual spectroscopic properties, which are thought to be caused by an accretion geometry having part of the mass flux trajectory out of the orbital plane. Accretion onto a magnetic white dwarf is one of the proposed scenarios for these systems. To verify this possibility, we analysed photometric and polarimetric time-series data f… ▽ More SW Sextantis systems are nova-like cataclysmic variables that have unusual spectroscopic properties, which are thought to be caused by an accretion geometry having part of the mass flux trajectory out of the orbital plane. Accretion onto a magnetic white dwarf is one of the proposed scenarios for these systems. To verify this possibility, we analysed photometric and polarimetric time-series data for a sample of six SW Sex stars. We report possible modulated circular polarization in BO Cet, SW Sex, and UU Aqr with periods of 11.1, 41.2 and 25.7 min, respectively, and less significant periodicities for V380 Oph at 22 min and V442 Oph at 19.4 min. We confirm previous results that LS Peg shows variable circular polarization. However, we determine a period of 18.8 min, which is different from the earlier reported value. We interpret these periods as the spin periods of the white dwarfs. Our polarimetric results indicate that 15% of the SW Sex systems have direct evidence of magnetic accretion. We also discuss SW Sex objects within the perspective of being magnetic systems, considering the latest findings about cataclysmic variables demography, formation and evolution. △ Less

Submitted 2 March, 2021; originally announced March 2021.

Comments: 29 pages, 17 figures

Explicit Bivariate Rate Functions for Large Deviations in AR(1) and MA(1) Processes with Gaussian Innovations

Authors: M. J. Karling, A. O. Lopes, S. R. C. Lopes

Abstract: We investigate large deviations properties for centered stationary AR(1) and MA(1) processes with independent Gaussian innovations, by giving the explicit bivariate rate functions for the sequence of random vectors $(\boldsymbol{S}_n)_{n \in \N} = \left(n^{-1}(\sum_{k=1}^n X_k, \sum_{k=1}^n X_k^2)\right)_{n \in \N}$. In the AR(1) case, we also give the explicit rate function for the bivariate rand… ▽ More We investigate large deviations properties for centered stationary AR(1) and MA(1) processes with independent Gaussian innovations, by giving the explicit bivariate rate functions for the sequence of random vectors $(\boldsymbol{S}_n)_{n \in \N} = \left(n^{-1}(\sum_{k=1}^n X_k, \sum_{k=1}^n X_k^2)\right)_{n \in \N}$. In the AR(1) case, we also give the explicit rate function for the bivariate random sequence $(\W_n)_{n \geq 2} = \left(n^{-1}(\sum_{k=1}^n X_k^2, \sum_{k=2}^n X_k X_{k+1})\right)_{n \geq 2}$. Via Contraction Principle, we provide explicit rate functions for the sequences $(n^{-1} \sum_{k=1}^n X_k)_{n \in \N}$, $(n^{-1} \sum_{k=1}^n X_k^2)_{n \geq 2}$ and $(n^{-1} \sum_{k=2}^n X_k X_{k+1})_{n \geq 2}$, as well. In the AR(1) case, we present a new proof for an already known result on the explicit deviation function for the Yule-Walker estimator. △ Less

Submitted 18 February, 2021; originally announced February 2021.

MSC Class: 60F10; 60G10; 60G15; 11E25; 62F12; 62M10

Titan: Earth-like on the Outside, Ocean World on the Inside

Authors: Shannon M. MacKenzie, Samuel P. D. Birch, Sarah Horst, Christophe Sotin, Erika Barth, Juan M. Lora, Melissa G. Trainer, Paul Corlies, Michael J. Malaska, Ella Sciamma-O'Brien, Alexander E. Thelen, Elizabeth P. Turtle, Jani Radebaugh, Jennifer Hanley, Anezina Solomonidou, Claire Newman, Leonardo Regoli, Sebastien Rodriguez, Benoit Seignovert, Alexander G. Hayes, Baptiste Journaux, Jordan Steckloff, Delphine Nna-Mvondo, Thomas Cornet, Maureen Palmer , et al. (8 additional authors not shown)

Abstract: Thanks to the Cassini-Huygens mission, Titan, the pale orange dot of Pioneer and Voyager encounters has been revealed to be a dynamic, hydrologically-shaped, organic-rich ocean world offering unparalleled opportunities to explore prebiotic chemistry. And while Cassini-Huygens revolutionized our understanding of each of the three layers of Titan--the atmosphere, the surface, and the interior--we ar… ▽ More Thanks to the Cassini-Huygens mission, Titan, the pale orange dot of Pioneer and Voyager encounters has been revealed to be a dynamic, hydrologically-shaped, organic-rich ocean world offering unparalleled opportunities to explore prebiotic chemistry. And while Cassini-Huygens revolutionized our understanding of each of the three layers of Titan--the atmosphere, the surface, and the interior--we are only beginning to hypothesize how these realms interact. In this paper, we summarize the current state of Titan knowledge and discuss how future exploration of Titan would address some of the next decade's most compelling planetary science questions. We also demonstrate why exploring Titan, both with and beyond the Dragonfly New Frontiers mission, is a necessary and complementary component of an Ocean Worlds Program that seeks to understand whether habitable environments exist elsewhere in our solar system. △ Less

Submitted 16 February, 2021; originally announced February 2021.

Comments: Submitted to the PSJ Focus Issue on Ocean World Exploration

VVV survey near-infrared colour catalogue of known variable stars

Authors: Fábio R. Herpich, Carlos E. Ferreira Lopes, Roberto K. Saito, Dante Minniti, Alessandro Ederoclite, Thiago S. Ferreira, Marcio Catelan

Abstract: Context. The Vista Variables in the Via Lactea (VVV) near-infrared variability survey explores some of the most complex regions of the Milky Way bulge and disk in terms of high extinction and high crowding. Aims. We add a new wavelength dimension to the optical information available at the American Association of Variable Star Observers International Variable Star Index (VSX-AAVSO) catalogue to te… ▽ More Context. The Vista Variables in the Via Lactea (VVV) near-infrared variability survey explores some of the most complex regions of the Milky Way bulge and disk in terms of high extinction and high crowding. Aims. We add a new wavelength dimension to the optical information available at the American Association of Variable Star Observers International Variable Star Index (VSX-AAVSO) catalogue to test the VVV survey near-infrared photometry to better characterise these objects. Methods. We cross-matched the VVV and the VSX-AAVSO catalogues along with Gaia Data Release 2 photometry and parallax. Results. We present a catalogue that includes accurate individual coordinates, near-infrared magnitudes (ZY JHKs), extinctions Aks, and distances based on Gaia parallaxes. We also show the near-infrared CMDs and spatial distributions for the different VSX types of variable stars, including important distance indicators, such as RR Lyrae, Cepheids, and Miras. By analysing the photometric flags in our catalogue, we found that about 20% of the stars with measured and verified variability are flagged as non-stellar sources, even when they are outside of the saturation and/or noise regimes. Additionally, we pair-matched our sample with the VIVA catalogue and found that more than half of our sources are missing from the VVV variability list, mostly due to observations with low signal-to-noise ratio or photometric problems with a low percentage due to failures in the selection process. Conclusions. Our results suggest that the current knowledge of the variability in the Galaxy is biased to nearby stars with low extinction. The present catalogue also provides the groundwork for characterising the results of future large variability surveys such as the Vera C. Rubin Observatory Legacy Survey of Space and Time in the highly crowded and reddened regions of the Galactic plane, as well as follow-up campaigns for △ Less

Submitted 5 February, 2021; originally announced February 2021.

Comments: 14 pages, 9 figures, A&A accepted

Journal ref: A&A 647, A169 (2021)

Decision Theory and Large Deviations for Dynamical Hypotheses Tests: Neyman-Pearson, Min-Max and Bayesian Tests

Authors: Hermes H. Ferreira, Artur O. Lopes, Silvia R. C. Lopes

Abstract: We analyze hypotheses tests using classical results on large deviations to compare two models, each one described by a different Hölder Gibbs probability measure. One main difference to the classical hypothesis tests in Decision Theory is that here the two measures are singular with respect to each other. Among other objectives, we are interested in the decay rate of the wrong decisions probabilit… ▽ More We analyze hypotheses tests using classical results on large deviations to compare two models, each one described by a different Hölder Gibbs probability measure. One main difference to the classical hypothesis tests in Decision Theory is that here the two measures are singular with respect to each other. Among other objectives, we are interested in the decay rate of the wrong decisions probability, when the sample size $n$ goes to infinity. We show a dynamical version of the Neyman-Pearson Lemma displaying the ideal test within a certain class of similar tests. This test becomes exponentially better, compared to other alternative tests, when the sample size goes to infinity. We are able to present the explicit exponential decay rate. We also consider both, the Min-Max and a certain type of Bayesian hypotheses tests. We shall consider these tests in the log likelihood framework by using several tools of Thermodynamic Formalism. Versions of the Stein's Lemma and Chernoff's information are also presented. △ Less

Submitted 27 December, 2021; v1 submitted 20 January, 2021; originally announced January 2021.

MSC Class: 37D35; 62C20; 62C10

New Insights into Time Series Analysis IV: Panchromatic and Flux Independent Period Finding Methods

Authors: C. E. Ferreira Lopes, N. J. G. Cross, F. Jablonski

Abstract: New time-series analysis tools are needed in disciplines as diverse as astronomy, economics and meteorology. In particular, the increasing rate of data collection at multiple wavelengths requires new approaches able to handle these data. The panchromatic correlated indices $K^{(s)}_{(fi)}$ and $L^{(s)}_{(pfc)}$ are adapted to quantify the smoothness of a phased light-curve resulting in new period-… ▽ More New time-series analysis tools are needed in disciplines as diverse as astronomy, economics and meteorology. In particular, the increasing rate of data collection at multiple wavelengths requires new approaches able to handle these data. The panchromatic correlated indices $K^{(s)}_{(fi)}$ and $L^{(s)}_{(pfc)}$ are adapted to quantify the smoothness of a phased light-curve resulting in new period-finding methods applicable to single- and multi-band data. Simulations and observational data are used to test our approach. The results were used to establish an analytical equation for the amplitude of the noise in the periodogram for different false alarm probability values, to determine the dependency on the signal-to-noise ratio, and to calculate the yield-rate for the different methods. The proposed method has similar efficiency to that found for the String Length period method. The effectiveness of the panchromatic and flux independent period finding methods in single waveband as well as multiple-wavebands that share a fundamental frequency is also demonstrated in real and simulated data. △ Less

Submitted 4 January, 2021; originally announced January 2021.

Comments: 14 pages, 7 figures

Analyzing Dominance Move (MIP-DoM) Indicator for Multi- and Many-objective Optimization

Authors: Claudio Lucio do Val Lopes, Flávio Vinícius Cruzeiro Martins, Elizabeth Fialho Wanner, Kalyanmoy Deb

Abstract: Dominance move (DoM) is a binary quality indicator that can be used in multi-objective and many-objective optimization to compare two solution sets obtained from different algorithms. The DoM indicator can differentiate the sets for certain important features, such as convergence, spread, uniformity, and cardinality. DoM does not use any reference, and it has an intuitive and physical meaning, sim… ▽ More Dominance move (DoM) is a binary quality indicator that can be used in multi-objective and many-objective optimization to compare two solution sets obtained from different algorithms. The DoM indicator can differentiate the sets for certain important features, such as convergence, spread, uniformity, and cardinality. DoM does not use any reference, and it has an intuitive and physical meaning, similar to the $ε$-indicator, and calculates the minimum total move of members of one set so that all elements in another set are to be dominated or identical to at least one member of the first set. Despite the aforementioned properties, DoM is hard to calculate, particularly in higher dimensions. There is an efficient and exact method to calculate it in a bi-objective case only. This work proposes a novel approach to calculate DoM using a mixed integer programming (MIP) approach, which can handle sets with three or more objectives and is shown to overcome the $ε$-indicator's information loss. Experiments, in the bi-objective space, are done to verify the model's correctness. Furthermore, other experiments, using 3, 5, 10, 15, 20, 25 and 30-objective problems are performed to show how the model behaves in higher-dimensional cases. Algorithms, such as IBEA, MOEA/D, NSGA-III, NSGA-II, and SPEA2 are used to generate the solution sets (however any other algorithms can also be used with the proposed MIP-DoM indicator). Further extensions are discussed to handle certain idiosyncrasies with some solution sets and also to improve the quality indicator and its use for other situations. △ Less

Submitted 5 February, 2021; v1 submitted 21 December, 2020; originally announced December 2020.

Comments: 15 Pages. Submitted for consideration for publication in the IEEE Transactions on Evolutionary Computation

Journal ref: IEEE Transactions on Evolutionary Computation 2021