-
The DECam MAGIC Survey: Spectroscopic Follow-up of the Most Metal-Poor Stars in the Distant Milky Way Halo
Authors:
Vinicius M. Placco,
Guilherme Limberg,
Anirudh Chiti,
Deepthi S. Prabhu,
Alexander P. Ji,
Fabrícia O. Barbosa,
William Cerny,
Andrew B. Pace,
Guy S. Stringfellow,
David J. Sand,
Clara E. Martínez-Vázquez,
Alexander H. Riley,
Silvia Rossi,
Noelia E. D. Noël,
A. Katherina Vivas,
Gustavo E. Medina,
Alex Drlica-Wagner,
Joanna D. Sakowska,
Burçin Mutlu-Pakdil,
Pol Massana,
Julio A. Carballo-Bello,
Yumi Choi,
Denija Crnojević,
Chin Yi Tan
Abstract:
In this work, we present high-resolution spectroscopic observations for six metal-poor stars with [Fe/H]<-3 (including one with [Fe/H]<-4), selected using narrow-band Ca II HK photometry from the DECam MAGIC Survey. The spectroscopic data confirms the accuracy of the photometric metallicities and allows for the determination of chemical abundances for 16 elements, from carbon to barium. The progra…
▽ More
In this work, we present high-resolution spectroscopic observations for six metal-poor stars with [Fe/H]<-3 (including one with [Fe/H]<-4), selected using narrow-band Ca II HK photometry from the DECam MAGIC Survey. The spectroscopic data confirms the accuracy of the photometric metallicities and allows for the determination of chemical abundances for 16 elements, from carbon to barium. The program stars have chemical abundances consistent with this metallicity range. A kinematic/dynamical analysis suggests that all program stars belong to the distant Milky Way halo population (heliocentric distances 35 < dhelio/kpc < 55), including three with high-energy orbits that might have been associated with the Magellanic system and one, J0026-5445, having parameters consistent with being a member of the Sagittarius stream. The remaining two stars show kinematics consistent with the Gaia-Sausage/Enceladus dwarf galaxy merger. J0433-5548, with [Fe/H]=-4.12, is a carbon-enhanced ultra metal-poor star, with [C/Fe]=+1.73. This star is believed to be a bona fide second-generation star, and its chemical abundance pattern was compared with yields from metal-free supernova models. Results suggest that J0433-5548 could have been formed from a gas cloud enriched by a single supernova explosion from a ~11Mo star in the early universe. The successful identification of such objects demonstrates the reliability of photometric metallicity estimates, which can be used for target selection and statistical studies of faint targets in the Milky Way and its satellite population. These discoveries illustrate the power of measuring chemical abundances of metal-poor Milky Way halo stars to learn more about early galaxy formation and evolution.
△ Less
Submitted 23 June, 2025;
originally announced June 2025.
-
Robust and Efficient AI-Based Attack Recovery in Autonomous Drones
Authors:
Diego Ortiz Barbosa,
Luis Burbano,
Siwei Yang,
Zijun Wang,
Alvaro A. Cardenas,
Cihang Xie,
Yinzhi Cao
Abstract:
We introduce an autonomous attack recovery architecture to add common sense reasoning to plan a recovery action after an attack is detected. We outline use-cases of our architecture using drones, and then discuss how to implement this architecture efficiently and securely in edge devices.
We introduce an autonomous attack recovery architecture to add common sense reasoning to plan a recovery action after an attack is detected. We outline use-cases of our architecture using drones, and then discuss how to implement this architecture efficiently and securely in edge devices.
△ Less
Submitted 20 May, 2025;
originally announced May 2025.
-
D4+: Emergent Adversarial Driving Maneuvers with Approximate Functional Optimization
Authors:
Diego Ortiz Barbosa,
Luis Burbano,
Carlos Hernandez,
Zengxiang Lei,
Younghee Park,
Satish Ukkusuri,
Alvaro A Cardenas
Abstract:
Intelligent mechanisms implemented in autonomous vehicles, such as proactive driving assist and collision alerts, reduce traffic accidents. However, verifying their correct functionality is difficult due to complex interactions with the environment. This problem is exacerbated in adversarial environments, where an attacker can control the environment surrounding autonomous vehicles to exploit vuln…
▽ More
Intelligent mechanisms implemented in autonomous vehicles, such as proactive driving assist and collision alerts, reduce traffic accidents. However, verifying their correct functionality is difficult due to complex interactions with the environment. This problem is exacerbated in adversarial environments, where an attacker can control the environment surrounding autonomous vehicles to exploit vulnerabilities.
To preemptively identify vulnerabilities in these systems, in this paper, we implement a scenario-based framework with a formal method to identify the impact of malicious drivers interacting with autonomous vehicles. The formalization of the evaluation requirements utilizes metric temporal logic (MTL) to identify a safety condition that we want to test. Our goal is to find, through a rigorous testing approach, any trace that violates this MTL safety specification. Our results can help designers identify the range of safe operational behaviors that prevent malicious drivers from exploiting the autonomous features of modern vehicles.
△ Less
Submitted 20 May, 2025;
originally announced May 2025.
-
The DECam MAGIC Survey: A Wide-field Photometric Metallicity Study of the Sculptor Dwarf Spheroidal Galaxy
Authors:
Fabrícia O. Barbosa,
Anirudh Chiti,
Guilherme Limberg,
Andrew Pace,
William Cerny,
Silvia Rossi,
Jeffrey L. Carlin,
Guy Stringfellow,
Vinicius Placco,
Kaia Atzerberg,
Julio A. Carballo-Bello,
Astha Chaturvedi,
Yumi Choi,
Denija Crnojevic,
Alex Drlica-Wagner,
Alexander Ji,
Nitya Kallivayalil,
Clara Martínez-Vázquez,
Gustavo Medina,
Noelia Noel,
David Sand,
Kathy Vivas,
Clecio Bom,
Peter Ferguson,
Burçin Mutlu-Pakdil
, et al. (4 additional authors not shown)
Abstract:
The metallicity distribution function and internal chemical variations of a galaxy are fundamental to understand its formation and assembly history. In this work, we analyze photometric metallicities for 3883 stars over seven half-light radii ($\rm r_h$) in the Sculptor dwarf spheroidal (Scl dSph) galaxy, using new narrow-band imaging data from the Mapping the Ancient Galaxy in CaHK (MAGIC) survey…
▽ More
The metallicity distribution function and internal chemical variations of a galaxy are fundamental to understand its formation and assembly history. In this work, we analyze photometric metallicities for 3883 stars over seven half-light radii ($\rm r_h$) in the Sculptor dwarf spheroidal (Scl dSph) galaxy, using new narrow-band imaging data from the Mapping the Ancient Galaxy in CaHK (MAGIC) survey conducted with the Dark Energy Camera (DECam) at the 4-m Blanco Telescope. This work demonstrates the scientific potential of MAGIC using the Scl dSph galaxy, one of the most well-studied satellites of the Milky Way. Our sample ranges from $\rm [Fe/H] \approx - 4.0$ to $\rm [Fe/H] \approx - 0.6$, includes six extremely metal-poor candidates ($\rm [Fe/H] \leq -3.0$) without previous spectroscopic observations, and is almost three times larger than the largest spectroscopic metallicity dataset in the Scl dSph. Our spatially unbiased sample of metallicities provides a more accurate representation of the metallicity distribution function, revealing a more metal-rich peak than observed in the most recent spectroscopic sample. It also reveals a break in the metallicity gradient, with a strong change in the slope: from $-3.35 \pm 0.18 \rm \ dex \, deg^{-1}$ for stars inside $\sim 1\ \rm r_h$ to $-0.56 \pm 0.26 \rm \ dex \, deg^{-1}$ for the outer part of the Scl dSph. Our study demonstrates that combining photometric metallicity analysis with the wide field of view of DECam offers an efficient and unbiased approach for studying the stellar populations of dwarf galaxies in the Local Group.
△ Less
Submitted 4 April, 2025;
originally announced April 2025.
-
Early Co-formation of the Milky Way's Thin and Thick Disks at Redshift z > 2
Authors:
Lais Borbolato,
Silvia Rossi,
Hélio D. Perottoni,
Guilherme Limberg,
João A. S. Amarante,
Anna B. A. Queiroz,
Cristina Chiappini,
Friedrich Anders,
Rafael M. Santucci,
Fabrícia O. Barbosa,
João V. Nogueira-Santos
Abstract:
The Milky Way serves as a template for understanding the formation and evolution of late-type massive disk galaxies since we can obtain detailed chemical and kinematic information for large samples of individual stars. However, the early formation of the disk and the dichotomy between the chemical thick and thin disks remain under intense debate. Some mechanisms have been proposed to explain the f…
▽ More
The Milky Way serves as a template for understanding the formation and evolution of late-type massive disk galaxies since we can obtain detailed chemical and kinematic information for large samples of individual stars. However, the early formation of the disk and the dichotomy between the chemical thick and thin disks remain under intense debate. Some mechanisms have been proposed to explain the formation of this dichotomy, such as the injection of metal-poor gas by a gas-rich merger such as Gaia-Sausage Enceladus (GSE), or by cosmic gas filaments, radial migration, and the presence of star-forming clumps at high redshift ($z > 2$). In this work, we combine astrometric data from the Gaia mission, chemical abundances from APOGEE and LAMOST spectroscopic surveys, and StarHorse ages to map the evolution of our Galaxy. The Bayesian isochrone-fitting code StarHorse can estimate ages for thousands of stars in the solar neighborhood, being most reliable for main sequence turnoff and sub-giants, computing distances and extinction simultaneously. From these samples, we show that (i) there is an old thin disk population ($>11$ Gyr) that indicates a period of co-formation between the thick and thin disks of the Milky Way before the GSE merger, i.e. the Galaxy itself could initiate the formation of a low-alpha disk without the need for a gas-rich merger, and (ii) this merger would have been important to stop the formation of stars in the thick disk.
△ Less
Submitted 31 March, 2025;
originally announced April 2025.
-
Self-calibrated convolution towards glioma segmentation
Authors:
Felipe C. R. Salvagnini,
Gerson O. Barbosa,
Alexandre X. Falcao,
Cid A. N. Santos
Abstract:
Accurate brain tumor segmentation in the early stages of the disease is crucial for the treatment's effectiveness, avoiding exhaustive visual inspection of a qualified specialist on 3D MR brain images of multiple protocols (e.g., T1, T2, T2-FLAIR, T1-Gd). Several networks exist for Glioma segmentation, being nnU-Net one of the best. In this work, we evaluate self-calibrated convolutions in differe…
▽ More
Accurate brain tumor segmentation in the early stages of the disease is crucial for the treatment's effectiveness, avoiding exhaustive visual inspection of a qualified specialist on 3D MR brain images of multiple protocols (e.g., T1, T2, T2-FLAIR, T1-Gd). Several networks exist for Glioma segmentation, being nnU-Net one of the best. In this work, we evaluate self-calibrated convolutions in different parts of the nnU-Net network to demonstrate that self-calibrated modules in skip connections can significantly improve the enhanced-tumor and tumor-core segmentation accuracy while preserving the wholetumor segmentation accuracy.
△ Less
Submitted 7 February, 2024;
originally announced February 2024.
-
On the stability around Chariklo and the confinement of its rings
Authors:
S. M. Giuliatti Winter,
G. Madeira,
T. Ribeiro,
O. C. Winter,
G. O. Barbosa,
G. Borderes-Motta
Abstract:
Chariklo has two narrow and dense rings, C1R and C2R, located at 391 km and 405 km, respectively. In the light of new stellar occultation data, we study the stability around Chariklo. We also analyse three confinement mechanisms, to prevent the spreading of the rings, based on shepherd satellites in resonance with the edges of the rings. This study is made through a set of numerical simulations an…
▽ More
Chariklo has two narrow and dense rings, C1R and C2R, located at 391 km and 405 km, respectively. In the light of new stellar occultation data, we study the stability around Chariklo. We also analyse three confinement mechanisms, to prevent the spreading of the rings, based on shepherd satellites in resonance with the edges of the rings. This study is made through a set of numerical simulations and the Poincaré surface of section technique. From the numerical simulation results we verify that, from the current parameters referring to the shape of Chariklo, the inner edge of the stable region is much closer to Chariklo than the rings. The Poincaré surface of sections allow us to identify the first kind periodic and quasi-periodic orbits, and also the resonant islands corresponding to the 1:2, 2:5, and 1:3 resonances. We construct a map of a versus e space which gives the location and width of the stable region and the 1:2, 2:5, and 1:3 resonances. We found that the first kind periodic orbits family can be responsible for a stable region whose location and size meet that of C1R, for specific values of the ring particles' eccentricities. However, C2R is located in an unstable region if the width of the ring is assumed to be about 120 m. After analysing different systems we propose that the best confinement mechanism is composed of three satellites, two of them shepherding the inner edge of C1R and the outer edge of C2R, while the third satellite would be trapped in the 1:3 resonance.
△ Less
Submitted 4 August, 2023;
originally announced August 2023.
-
Software Ecosystems: A Tertiary Study and a Thematic Model
Authors:
Paulo Malcher,
Olavo Barbosa,
Davi Viana,
Rodrigo Santos
Abstract:
A software ecosystem (SECO) is an interaction, communication, cooperation, and synergy among a set of players. Depending on the actors type of interaction with others, each one can play a different role. These interactions provide a set of positive relationships (symbiosis) between actors who work together around a common technology platform or a service. SECO has been explored in several studies,…
▽ More
A software ecosystem (SECO) is an interaction, communication, cooperation, and synergy among a set of players. Depending on the actors type of interaction with others, each one can play a different role. These interactions provide a set of positive relationships (symbiosis) between actors who work together around a common technology platform or a service. SECO has been explored in several studies, some related to their general characteristics and others focusing on a specific topic (e.g., requirements, governance, open-source, mobile). There are many literature reviews of different natures (e.g., systematic literature reviews and systematic mapping studies). This study presents the status of the SECO field motivated by analyzing several secondary studies published over the years. To do so, we conducted a tertiary study. From an initial set of 518 studies on the subject, we selected 22 studies. We identified the theoretical foundations used by researchers and their influences and relationships with other ecosystems. We performed a thematic synthesis and identified one high-order theme, 5 themes, 10 subthemes, and 206 categories. As a result, we proposed a thematic model for SECO containing five themes, namely: social, technical, business, management, and an evaluation theme named Software Ecosystems Assessment Models (SEAM). Our main conclusion is that relationships between SECO themes should not be seen in isolation, and it must be interpreted in a holistic approach, given the number of implications to other themes mainly related to the distinction of governance and management activities in the SECO interactions. Finally, this work provides an overview of the field and points out areas for future research, such as the need of SECO community to further investigate the results from other ecosystems, mainly from the Digital Ecosystem and Digital Business Ecosystem communities.
△ Less
Submitted 20 December, 2022;
originally announced December 2022.
-
The SDSS-Gaia View of the Color-Magnitude Relation for Blue Horizontal-branch Stars
Authors:
Fabrícia O. Barbosa,
Rafael M. Santucci,
Silvia Rossi,
Guilherme Limberg,
Angeles Pérez-Villegas,
Hélio D. Perottoni
Abstract:
We present an updated sample of blue horizontal-branch (BHB) stars selected from the photometric and spectroscopic data from Sloan Digital Sky Survey and its associated project Sloan Extension for Galactic Understanding and Exploration (SEGUE). With this data, we selected candidates for A-type stars in the color-color space and then a mixture modeling technique was implemented in order to distingu…
▽ More
We present an updated sample of blue horizontal-branch (BHB) stars selected from the photometric and spectroscopic data from Sloan Digital Sky Survey and its associated project Sloan Extension for Galactic Understanding and Exploration (SEGUE). With this data, we selected candidates for A-type stars in the color-color space and then a mixture modeling technique was implemented in order to distinguish between BHB and main-sequence/blue-straggler stars based on their surface gravity values ($\log \rm{g}$) estimated by the SEGUE Stellar Parameter Pipeline. Our robust approach allows us to attribute individual probabilities of each star truly being in the BHB stage. Hence, our method is advantageous in comparison to previous SEGUE BHB selections that adopted simple $\log \rm{g}$ cuts. We also revisit the color-magnitude relation for these stars and propose two calibrations, based on updated distances for Galactic globular clusters, to estimate absolute magnitudes with $(g-r)_0$ and $(u-r)_0$ colors.
△ Less
Submitted 17 November, 2022; v1 submitted 6 October, 2022;
originally announced October 2022.
-
Abundance Patterns of $α$ and Neutron-capture Elements in the Helmi Stream
Authors:
Guilherme Limberg,
Rafael M. Santucci,
Silvia Rossi,
Anna B. A. Queiroz,
Cristina Chiappini,
Stefano O. Souza,
Hélio D. Perottoni,
Angeles Pérez-Villegas,
Fabrícia O. Barbosa
Abstract:
We identified 8 additional stars as members of the Helmi stream (HStr) in the combined GALAH+ DR3 and $Gaia$ EDR3 catalog. By consistently reevaluating claimed members from the literature, we consolidate a sample of 22 HStr stars with parameters determined from high-resolution spectroscopy and spanning a considerably wider (by $\sim$0.5 dex) metallicity interval ($-2.5 \lesssim \rm[Fe/H] < -1.0$)…
▽ More
We identified 8 additional stars as members of the Helmi stream (HStr) in the combined GALAH+ DR3 and $Gaia$ EDR3 catalog. By consistently reevaluating claimed members from the literature, we consolidate a sample of 22 HStr stars with parameters determined from high-resolution spectroscopy and spanning a considerably wider (by $\sim$0.5 dex) metallicity interval ($-2.5 \lesssim \rm[Fe/H] < -1.0$) than previously reported. Our study focuses on $α$ (Mg and Ca) and neutron-capture (Ba and Eu) elements. We find that the chemistry of HStr is typical of dwarf spheroidal (dSph) galaxies, in good agreement with previous $N$-body simulations of this merging event. Stars of HStr constitute a clear declining sequence in $\rm[α/Fe]$ for increasing metallicity up to $\rm[Fe/H] \sim -1.0$. Moreover, stars of HStr show a median value of $+$0.5 dex for $\rm[Eu/Fe]$ with a small dispersion ($\pm$0.1 dex). Every star analyzed with $\rm[Fe/H] < -1.2$ belong to the $r$-process enhanced ($\rm[Eu/Fe] > +0.3$ and $\rm[Ba/Eu] < 0.0$) metal-poor category, providing remarkable evidence that, at such low-metallicity regime, stars of HStr experienced enrichment in neutron-capture elements predominantly via $r$-process nucleosynthesis. Finally, the extended metallicity range also suggests an increase in $\rm[Ba/Eu]$ for higher $\rm[Fe/H]$, in conformity with other surviving dwarf satellite galaxies of the Milky Way.
△ Less
Submitted 4 June, 2021; v1 submitted 12 May, 2021;
originally announced May 2021.
-
Formation of Earth-sized planets within the Kepler-1647 System Habitable Zone
Authors:
G. O. Barbosa,
O. C. Winter,
A. Amarante,
E. E. N. Macau
Abstract:
The Kepler-1647 is a binary system with two Sun-type stars (approximately 1.22 and 0.97 Solar mass). It has the most massive circumbinary planet (1.52 Jupiter mass) with the longest orbital period (1,107.6 days) detected by the Kepler probe and is located within the habitable zone (HZ) of the system. In this work, we investigated the ability to form and house an Earth-sized planet within its HZ. F…
▽ More
The Kepler-1647 is a binary system with two Sun-type stars (approximately 1.22 and 0.97 Solar mass). It has the most massive circumbinary planet (1.52 Jupiter mass) with the longest orbital period (1,107.6 days) detected by the Kepler probe and is located within the habitable zone (HZ) of the system. In this work, we investigated the ability to form and house an Earth-sized planet within its HZ. First, we computed the limits of its HZ and performed numerical stability tests within that region. We found that HZ has three sub-regions that show stability, one internal, one co-orbital, and external to the host planet Kepler-1647b. Within the limits of these three regions, we performed numerical simulations of planetary formation. In the regions inner and outer to the planet, we used two different density profiles to explore different conditions of formation. In the co-orbital region, we used eight different values of total disc mass. We showed that many resonances are located within regions causing much of the disc material to be ejected before a planet is formed. Thus, the system might have two asteroid belts with Kirkwood gaps, similar to the Solar Systemś main belt of asteroids. The co-orbital region proved to be extremely sensitive, not allowing the planet formation, but showing that this binary system has the capacity to have Trojan bodies. Finally, we looked for regions of stability for an Earth-sized moon. We found that there is stability for a moon with this mass up to 0.4 Hillś radius from the host planet.
△ Less
Submitted 23 April, 2021;
originally announced April 2021.
-
Earth-size planet formation in the habitable zone of circumbinary stars
Authors:
G. O. Barbosa,
O. C. Winter,
A. Amarante,
A. Izidoro,
R. C. Domingos,
E. E. N. Macau
Abstract:
In this work is investigated the possibility of close-binary star systems having Earth-size planets within their habitable zones. First, we selected all known close-binary systems with confirmed planets (totaling 22 systems) to calculate the boundaries of their respective habitable zones (HZ). However, only eight systems had all the data necessary for the computation of the HZ. Then, we numericall…
▽ More
In this work is investigated the possibility of close-binary star systems having Earth-size planets within their habitable zones. First, we selected all known close-binary systems with confirmed planets (totaling 22 systems) to calculate the boundaries of their respective habitable zones (HZ). However, only eight systems had all the data necessary for the computation of the HZ. Then, we numerically explored the stability within the habitable zones for each one of the eight systems using test particles. From the results, we selected five systems that have stable regions inside the habitable zones (HZ), namely Kepler-34, 35, 38, 413 and 453. For these five cases of systems with stable regions in the HZ, we perform a series of numerical simulations for planet formation considering disks composed of planetary embryos and planetesimals, with two distinct density profiles, in addition to the stars and host planets of each system. We found that in the case of Kepler-34 and 453 systems no Earth-size planet is formed within the habitable zones. Although planets with Earth-like masses were formed in the Kepler-453, but they were outside the HZ. In contrast, for Kepler-35 and 38 systems, the results showed that potentially habitable planets are formed in all simulations. In the case of the Kepler-413 system, in just one simulation a terrestrial planet was formed within the habitable zone.
△ Less
Submitted 25 March, 2020;
originally announced March 2020.
-
Artificial Intelligence MArkup Language: A Brief Tutorial
Authors:
Maria das Graças Bruno Marietto,
Rafael Varago de Aguiar,
Gislene de Oliveira Barbosa,
Wagner Tanaka Botelho,
Edson Pimentel,
Robson dos Santos França,
Vera Lúcia da Silva
Abstract:
The purpose of this paper is to serve as a reference guide for the development of chatterbots implemented with the AIML language. In order to achieve this, the main concepts in Pattern Recognition area are described because the AIML uses such theoretical framework in their syntactic and semantic structures. After that, AIML language is described and each AIML command/tag is followed by an applicat…
▽ More
The purpose of this paper is to serve as a reference guide for the development of chatterbots implemented with the AIML language. In order to achieve this, the main concepts in Pattern Recognition area are described because the AIML uses such theoretical framework in their syntactic and semantic structures. After that, AIML language is described and each AIML command/tag is followed by an application example. Also, the usage of AIML embedded tags for the handling of sequence dialogue limitations between humans and machines is shown. Finally, computer systems that assist in the design of chatterbots with the AIML language are classified and described.
△ Less
Submitted 11 July, 2013;
originally announced July 2013.
-
Bouncing solutions in Rastall's theory with a barotropic fluid
Authors:
Gabriel F. Silva,
Oliver F. Piattella,
Julio C. Fabris,
Luciano Casarini,
Taislane O. Barbosa
Abstract:
Rastall's theory is a modification of Einstein's theory of gravity where the covariant divergence of the stress-energy tensor is no more vanishing, but proportional to the gradient of the Ricci scalar. The motivation of this theory is to investigate a possible non-minimal coupling of the matter fields to geometry which, being proportional to the curvature scalar, may represent an effective descrip…
▽ More
Rastall's theory is a modification of Einstein's theory of gravity where the covariant divergence of the stress-energy tensor is no more vanishing, but proportional to the gradient of the Ricci scalar. The motivation of this theory is to investigate a possible non-minimal coupling of the matter fields to geometry which, being proportional to the curvature scalar, may represent an effective description of quantum gravity effects. Non-conservation of the stress-energy tensor, via Bianchi identities, implies new field equations which have been recently used in a cosmological context, leading to some interesting results. In this paper we adopt Rastall's theory to reproduce some features of the effective Friedmann's equation emerging from loop quantum cosmology. We determine a class of bouncing cosmological solutions and comment about the possibility of employing these models as effective descriptions of the full quantum theory.
△ Less
Submitted 26 September, 2014; v1 submitted 31 December, 2012;
originally announced December 2012.