E-LIB Suche - Ergebnisse für: Mota, Alexandre Cabral

1

Machine Learning Techniques for Escaped Defect Analysis in ..:

, In: Proceedings of the 8th Brazilian Symposium on Systematic and Automated Software Testing,

Nascimento, Lidia Perside Gomes ; Prudêncio, Ricardo Bastos Cavalcante ; Mota, Alexandre Cabral... - p. 47-53 , 2023

2

Usando CSP, RSL e o Modelo PopOrg na Especificação Formal d..:

Barbosa, Raquel De Miranda ; CostA, Antônio Carlos da Rocha ; Tedesco, Patrícia Cabral de Azevedo R..
Revista de Informática Teórica e Aplicada. 17 (2011) 3 - p. 389 , 2011

Link: https://doi.org/10.22456..

3

Integrating UML and Formal Methods:

Borges, Rafael Magalhães ; Mota, Alexandre Cabral
Electronic Notes in Theoretical Computer Science. 184 (2007) - p. 97-112 , 2007

Link: https://doi.org/10.1016/..

4

Usando CSP, RSL e o Modelo PopOrg na especificação formal d..:

Barbosa, Raquel de Miranda ; Costa, Antonio Carlos da Rocha ; Tedesco, Patrícia Cabral de Azevedo.
BARBOSA, Raquel de Miranda et al. Usando CSP, RSL e o Modelo PopOrg na especificação formal de organizações de SMAs. Revista de Informática Teórica e Aplicada, Porto Alegre, v. 17, p. 389-411, 2011. Disponível em: . Acesso em: 09 dez. 2011.. , 2011

Link: http://repositorio.furg...

5

Model checking CSPZ: Techniques to overcome state explosion:

MOTA, Alexandre Cabral
Cabral Mota, Alexandre; Cezar Alves Sampaio, Augusto. Model checking CSPZ: Techniques to overcome state explosion. 2001. Tese (Doutorado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2001.. , 2001

Link: https://repositorio.ufpe..

6

Contributors:

, In: Probiotics for Human Nutrition in Health and Disease,

Abriouel, Hikmate ; Almeida, Milena Evangelista ; Barbosa, Joana Cristina... - p. xi-xiv , 2022

Link: https://doi.org/10.1016/..

7

Initial experience in Brazil with endoscopic submucosal dis..:

Cardoso, Daniela Medeiros Milhomem ; de Oliveira Campoli, Paulo Moacir ; Yokoi, Chizu...
Gastric Cancer. 11 (2008) 4 - p. 226-232 , 2008

Link: https://doi.org/10.1007/..

8

Construction and validation of educational technology for f..:

Ferreira, Saionara Leal ; Barbosa, Islene Victor ; Alexandre, Solange Gurgel...
Revista Brasileira de Enfermagem. 75 (2022) 5 - p. , 2022

Link: https://doi.org/10.1590/..

9

Videothermometry to evaluate metabolic activity in real tim..:

Vidal, Leonardo Waldstein de Moura ; Cabral, Paula Gebe Abreu ; Santos Junior, Marcelo Borges dos...
Acta Cirurgica Brasileira. 34 (2019) 3 - p. , 2019

Link: https://doi.org/10.1590/..

10

The influence of customization of glass fiber posts on frac..:

Silva, Camila Ferreira ; Cabral, Luana Cardoso ; Navarro de Oliveira, Murilo...
Journal of the Mechanical Behavior of Biomedical Materials. 118 (2021) - p. 104433 , 2021

Link: https://doi.org/10.1016/..

11

ATLANTIC EPIPHYTES: a data set of vascular and non-vascular..:

Ramos, Flavio Nunes ; Mortara, Sara Ribeiro ; Monalisa-Francisco, Nathalia...
Ecology. 100 (2019) 2 - p. 1-2 , 2019

Link: https://www.jstor.org/st..

12

Frequency and factors associated with Toxoplasma gondii inf..:

Oliveira, Gabriela Mota Sena de ; Simões, Juçara Magalhães ; Schaer, Robert Eduard...
Revista da Sociedade Brasileira de Medicina Tropical. 52 (2019) - p. , 2019

Link: https://doi.org/10.1590/..

13

Evaluation of Ibuprofen Use on the Immune System Indicators..:

Aidar, Felipe J. ; Fraga, Guacira S. ; Getirana-Mota, Márcio...
Healthcare. 10 (2022) 7 - p. 1331 , 2022

Link: https://doi.org/10.3390/..

14

Effects of Ibuprofen Use on Lymphocyte Count and Oxidative ..:

Aidar, Felipe J. ; Fraga, Guacira S. ; Getirana-Mota, Márcio...
Biology. 10 (2021) 10 - p. 986 , 2021

Link: https://doi.org/10.3390/..

15

Effectiveness of therapeutic heparin versus prophylactic he..:

Sholzberg, Michelle ; Tang, Grace H ; Rahhal, Hassan...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC8515466/. , 2021

Link: http://www.ncbi.nlm.nih...