Showing 1 - 10 results of 10 for search 'Araujo, R', query time: 0.03s
Refine Results
-
1
Vascular plants of oxbow lakes of Turvo River, Upper Paraná River basin, São Paulo State, Brazil by Araujo, R. B., Langeani, F., Ranga, N. T.
Published 2010-01-01
Article -
2
SMT-based verification applied to non-convex optimization problems by Araujo, R, Bessa, I, Cordeiro, L, Filho, J
Published 2017Conference item -
3
Counterexample guided inductive optimization applied to mobile robots path planning by Araújo, R, Ribeiro, A, Bessa, I, Cordeiro, L, Chaves Filho, J
Published 2017Conference item -
4
Counterexample guided inductive optimization based on satisfiability modulo theories by Araújo, R, Albuquerque, H, Bessa, d, Cordeiro, L, Chaves Filho, J
Published 2017Journal article -
5
OptCE: A counterexample-guided inductive optimization solver by Albuquerque, H, Araújo, R, Bessa, I, Cordeiro, L, de Lima Filho, E
Published 2017Conference item -
6
-
7
-
8
Frontiers of Mathematical Biology: A workshop honouring Professor Edmund Crampin by Araujo, R, Brumley, D, Cursons, J, Day, K, Faria, M, Flegg, JA, Germano, D, Hunt, H, Hunter, P, Jenner, A, Johnston, S, McCaw, JM, Maini, P, Miller, C, Muskovic, W, Osborne, J, Pan, M, Rajagopal, V, Shahidi, N, Siekmann, I, Stumpf, M, Zanca, A
Published 2023Journal article -
9
Perspectives on the diagnosis and management of functional cognitive disorder: An international Delphi study by Cabreira, V, Alty, J, Antic, S, Araújo, R, Aybek, S, Ball, HA, Baslet, G, Bhome, R, Coebergh, J, Dubois, B, Edwards, M, Filipović, SR, Frederiksen, KS, Harbo, T, Hayhow, B, Howard, R, Huntley, J, Isaacs, J, LaFrance, WC, Larner, AJ, Di Lorenzo, F, Main, J, Mallam, E, Marra, C, Toniolo, S
Published 2024Journal article -
10
Dynamics and determinants of SARS-CoV-2 RT-PCR testing on symptomatic individuals attending healthcare centers during 2020 in Bahia, Brazil by Pereira, FM, Salomão de Araujo, A, Catarina Martins Reis, A, Santos da Hora, A, Pinotto, F, Paton, RS, Vilas Boas Figueiredo, C, Lopes Damasceno, C, Carlos Dos Santos, D, Souza de Santana, D, Freitas Sales, D, Ariana Andrade Brandão, E, da Silva Batista, E, Campos de Sousa, FS, Santana Menezes, G, Silveira Dos Santos, J, Gomes Lima, J, Tadeu Brito, J, Dandara Dos Santos, L, Reboredo, L, Santana Santos, M, Kelly Astete Gomez, M, Freitas da Cruz, M, Rosa Ampuero, M, Guerra Lemos da Silva, M, S da Paixão Melo, M, Ferreira da Silva, M, de Jesus Gonçalves Dos Santos, N, de Souza Pessoa, N, Silva de Araujo, R, de Macedo Godim, T, Fraga de Oliveira Tosta, S, Brandão Nardy, V, Cristina Faria, E, Frederico de Carvalho Dominguez Souza, B, Laís Almeida Dos Santos, J, Wikramaratna, P, Giovanetti, M, Alcântara, LCJ, Lourenço, J, Leal E Silva de Mello, A
Published 2022Journal article