Zobrazeno 1 - 10
of 84 846
pro vyhledávání: '"Cordeiro A"'
Autor:
Andrés Carlota, Apolinário Liliana, Armesto Néstor, Cordeiro André, Dominguez Fabio, Milhano José Guilherme
Publikováno v:
EPJ Web of Conferences, Vol 296, p 11002 (2024)
The theoretical treatment of jet quenching lacks a full description of the interplay between vacuum-like emissions, usually formulated in momentum space, and medium induced ones that demand an interface with a spacetime picture of the expanding mediu
Externí odkaz:
https://doaj.org/article/fdfe938d2d764ee48a7f74691dc7e425
Autor:
de Sousa, Janislley Oliveira, de Farias, Bruno Carvalho, Filho, Eddie Batista de Lima, Cordeiro, Lucas Carvalho
This study investigates vulnerabilities in dependencies of sampled open-source software (OSS) projects, the relationship between these and overall project security, and how developers' behaviors and practices influence their mitigation. Through analy
Externí odkaz:
http://arxiv.org/abs/2408.14273
Autor:
Herpich, Fabio R., Almeida-Fernandes, Felipe, Schwarz, Gustavo B. Oliveira, Lima, Erik V. R., Nakazono, Lilianne, Alonso-García, Javier, Fonseca-Faria, Marcos A., Sartori, Marilia J., Bolutavicius, Guilherme F., de Souza, Gabriel Fabiano, Hartmann, Eduardo A., Li, Liana, Espinosa, Luna, Kanaan, Antonio, Schoenell, William, Werle, Ariel, Machado-Pereira, Eduardo, Gutiérrez-Soto, Luis A., Santos-Silva, Thaís, Castelli, Analia V. Smith, Lacerda, Eduardo A. D., Barbosa, Cassio L., Perottoni, Hélio D., Lopes, Carlos E. Ferreira, Valença, Raquel Ruiz, Martho, Pierre Augusto Re, Bom, Clecio R., Bonatto, Charles J., Carvalho, Maiara S., Cernic, Vitor, Fernandes, Roberto Cid, Coelho, Paula, Cortesi, Ariana, Palma, Barbara Cubillos, Doubrawa, Lia, Alberice, Vincenzo Sivero Ferreira, Huaynasi, Fredi Quispe, Perin, Gabriel Jacob, Arancibia, Marcelo Jaque, Krabbe, Angela, Lima-Dias, Ciria, Lomelí-Núñez, Luis, de Oliveira, Raimundo Lopes, Lopes, Amanda R., Figueiredo, André Luiz, Lösch, Elismar, Navarete, Felipe, de Oliveira, Julia Mello, Overzier, Roderik, Placco, Vinicius M., Roig, Fernando V., Rubet, Mariana, Santos, André, Sasse, Victor Hugo, Thaina-Batista, Julia, Torres-Flores, Sergio, Beers, Timothy C., Alvarez-Candal, Alvaro, Akras, Stavros, Panda, Swayamtrupta, Limberg, Guilherme, Castellón, José Luis Nilo, Telles, Eduardo, Lopes, Paulo Afranio, Montaguth, Gissel Dayana Pardo, Silva, Leandro Beraldo e, Humire, Pedro K., Fernandes, Marcelo Borges, Cordeiro, Vinícius, Ribeiro, Tiago, de Oliveira, Claudia Mendes
The Southern Photometric Local Universe Survey (S-PLUS) is a project to map $\sim9300$ sq deg of the sky using twelve bands (seven narrow and five broadbands). Observations are performed with the T80-South telescope, a robotic telescope located at th
Externí odkaz:
http://arxiv.org/abs/2407.20701
In the world of embedded systems, optimizing actions with the uncertain costs of multiple resources is a complex challenge. Existing methods include plan building based on Monte Carlo Tree Search (MCTS), an approach that thrives in multiple online pl
Externí odkaz:
http://arxiv.org/abs/2407.12564
Training large language models (LLMs) requires a substantial investment of time and money. To get a good return on investment, the developers spend considerable effort ensuring that the model never produces harmful and offensive outputs. However, bad
Externí odkaz:
http://arxiv.org/abs/2407.11059
A framework with sets of attacking arguments (SETAF) is an extension of the well-known Dung's Abstract Argumentation Frameworks (AAFs) that allows joint attacks on arguments. In this paper, we provide a translation from Normal Logic Programs (NLPs) t
Externí odkaz:
http://arxiv.org/abs/2407.05538
In heterogeneous scenarios where the data distribution amongst the Federated Learning (FL) participants is Non-Independent and Identically distributed (Non-IID), FL suffers from the well known problem of data heterogeneity. This leads the performance
Externí odkaz:
http://arxiv.org/abs/2407.05174
This paper introduces a tool for verifying Python programs, which, using type annotation and front-end processing, can harness the capabilities of a bounded model-checking (BMC) pipeline. It transforms an input program into an abstract syntax tree to
Externí odkaz:
http://arxiv.org/abs/2407.03472
Publikováno v:
Diabetes, Metabolic Syndrome and Obesity, Vol Volume 13, Pp 4131-4139 (2020)
A Cordeiro,1,2 B Campos,3 SE Pereira,1 CJ Saboya,3 A Ramalho1 1Department of Social Applied Nutrition, Micronutrients Research Center (NPqM), Institute of Nutrition, Federal University of Rio de Janeiro (UFRJ), Rio de Janeiro, Brazil; 2Department of
Externí odkaz:
https://doaj.org/article/38bf94da331b4663b1cb5581c206dc0c
Autor:
Li, Xianzhiyu, Song, Kunjian, Gadelha, Mikhail R., Brauße, Franz, Menezes, Rafael S., Korovin, Konstantin, Cordeiro, Lucas C.
This paper presents Efficient SMT-Based Context-Bounded Model Checker (ESBMC) v7.6, an extended version based on previous work on ESBMC v7.3 by K. Song et al. The v7.3 introduced a new Clang-based C++ front-end to address the challenges posed by mode
Externí odkaz:
http://arxiv.org/abs/2406.17862