Zobrazeno 1 - 10
of 171
pro vyhledávání: '"Cardoso, Rafael P."'
Autor:
Adhikari, Prabal, Ammon, Martin, Avancini, Sidney S., Ayala, Alejandro, Bandyopadhyay, Aritra, Blaschke, David, Braghin, Fabio L., Buividovich, Pavel, Cardoso, Rafael P., Cartwright, Casey, Castaño-Yepes, Jorge David, Chernodub, Maxim, Coppola, M., Das, Mayusree, Dutra, Mariana, Endrődi, Gergely, Fang, Jianjun, Farias, Ricardo L. S., Fraga, Eduardo S., Frazon, Arthur, Fukushima, Kenji, García-Muñoz, Juan D., Garnacho-Velasco, Eduardo, Dumm, D. Gomez, Grieninger, Sebastian, Gulminelli, Francesca, Hernandez, Juan, Islam, Chowdhury Aminul, Kaminski, Matthias, Kotov, Andrey, Krein, Gastão, Li, Jing, Lo, Pok Man, Loewe, Marcelo, Lourenço, Odilon, Markó, Gergely, Marquez, Kau D., Mizher, Ana, Mukhopadhyay, Banibrata, Muñoz, Enrique, Noguera, S., Nunes, Rodrigo M., Pais, Helena, Palhares, Letícia F., Providência, Constança, Raya, Alfredo, Restrepo, Tulio, Rojas, Juan Cristóbal, Scoccola, N. N., Scurto, Luigi, Sedrakian, Armen, Smith, Dominik, Tavares, William Rafael, Tejeda-Yeomans, Maria E., Timóteo, Varese S., Tolos, Laura, Villavicencio, Cristian, Weber, Fridolin, Yasui, Shigehiro, Zamora, Renato, Zuraiq, Zenia
Magnetic fields are ubiquitous across different physical systems of current interest; from the early Universe, compact astrophysical objects and heavy-ion collisions to condensed matter systems. A proper treatment of the effects produced by magnetic
Externí odkaz:
http://arxiv.org/abs/2412.18632
Autor:
Ferrando, Angelo, Cardoso, Rafael
Publikováno v:
EPTCS 391, 2023
The volume comprises the proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2023), held alongside the 26th European Conference on Artificial Intelligence (ECAI 2023). It explores the convergence of autonomou
Externí odkaz:
http://arxiv.org/abs/2310.00333
Publikováno v:
Phys. Rev. D 109 (2024) 016011
Recently, first-order phase transitions have been predicted as an effect of the inclusion of quark anomalous magnetic moment (AMM) in the hot and magnetized Nambu--Jona-Lasinio model (NJL). These transitions appear in the chiral condensate for differ
Externí odkaz:
http://arxiv.org/abs/2309.04055
Publikováno v:
EPTCS 371, 2022, pp. 193-207
Autonomous systems are often complex and prone to software failures and cyber-attacks. We introduce RVAFTs, an extension of Attack-Fault Trees (AFTs) with runtime events that can be used to construct runtime monitors. These monitors are able to detec
Externí odkaz:
http://arxiv.org/abs/2209.14044
Autor:
Luckcuck, Matt, Farrell, Marie, Ferrando, Angelo, Cardoso, Rafael C., Dennis, Louise A., Fisher, Michael
Robotic systems used in safety-critical industrial situations often rely on modular software architectures, and increasingly include autonomous components. Verifying that these modular robotic systems behave as expected requires approaches that can c
Externí odkaz:
http://arxiv.org/abs/2208.05507
Autor:
Cardoso, Rafael C., Ferrando, Angelo, Papacchini, Fabio, Askarpour, Mehrnoosh, Dennis, Louise A.
Publikováno v:
EPTCS 362, 2022
This volume contains the proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2022), co-located with the 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Arti
Externí odkaz:
http://arxiv.org/abs/2207.09058
Autor:
Ferrando, Angelo, Cardoso, Rafael C.
Publikováno v:
EPTCS 348, 2021, pp. 38-53
Runtime Verification is a lightweight formal verification technique. It is used to verify at runtime whether the system under analysis behaves as expected. The expected behaviour is usually formally specified by means of properties, which are used to
Externí odkaz:
http://arxiv.org/abs/2110.12585
Autor:
Cardoso, Rafael C., Ferrando, Angelo, Papacchini, Fabio, Luckcuck, Matt, Linker, Sven, Payne, Terry R.
In this paper, we describe the strategies used by our team, MLFC, that led us to achieve the 2nd place in the 15th edition of the Multi-Agent Programming Contest. The scenario used in the contest is an extension of the previous edition (14th) "Agents
Externí odkaz:
http://arxiv.org/abs/2110.08172
Autor:
Luckcuck, Matt, Cardoso, Rafael C.
Communication is a critical part of enabling multi-agent systems to cooperate. This means that applying formal methods to protocols governing communication within multi-agent systems provides useful confidence in its reliability. In this paper, we de
Externí odkaz:
http://arxiv.org/abs/2106.04512
Autor:
Cardoso, Rafael Antônio Lima, Carneiro, Glauco de Figueiredo, de Menezes, José Euclimar Xavier
Publikováno v:
Dialogos Possiveis. v. 19, n. 2 (2020) 65-80
There are many initiatives of transparency reported in the access and use of government open data for different purposes. This practice reveals an important requirement to accomplish the participatory governance. The literature has reported a minimal
Externí odkaz:
http://arxiv.org/abs/2103.00541