Showing 1 - 20 results of 22 for search 'Camilo Rocha', query time: 0.05s Refine Results
  1. 1
    Automatic proof-search heuristics in the maude invariant analyzer tool

    Automatic proof-search heuristics in the maude invariant analyzer tool by Camilo Rocha

    Published 2013-12-01
    Get full text
    Article
  2. 2
    TOLERÂNCIA RELIGIOSA NO MUNDO LUSO-BRASILEIRO NO PERÍODO DO REFORMISMO ILUSTRADO: REFLEXÃO A PARTIR DAS FONTES INQUISITORIAIS

    TOLERÂNCIA RELIGIOSA NO MUNDO LUSO-BRASILEIRO NO PERÍODO DO REFORMISMO ILUSTRADO: REFLEXÃO A PARTIR DAS FONTES INQUISITORIAIS by Igor Tadeu Camilo Rocha

    Published 2013-12-01
    Get full text
    Article
  3. 3
    Apologistas e falsários do século XXI: negacionismo e usos da história da Inquisição em sites católicos brasileiros

    Apologistas e falsários do século XXI: negacionismo e usos da história da Inquisição em sites católicos brasileiros by Igor Tadeu Camilo Rocha

    Published 2021-04-01
    Get full text
    Article
  4. 4
    TOLERÂNCIA RELIGIOSA NO MUNDO LUSO-BRASILEIRO NO PERÍODO DO REFORMISMO ILUSTRADO: REFLEXÃO A PARTIR DAS FONTES INQUISITORIAIS

    TOLERÂNCIA RELIGIOSA NO MUNDO LUSO-BRASILEIRO NO PERÍODO DO REFORMISMO ILUSTRADO: REFLEXÃO A PARTIR DAS FONTES INQUISITORIAIS by Igor Tadeu Camilo Rocha

    Published 2013-12-01
    Get full text
    Article
  5. 5
    A rewriting decision procedure for Dijkstra-Scholten's syllogistic logic with complements

    A rewriting decision procedure for Dijkstra-Scholten's syllogistic logic with complements by Camilo Rocha, José Meseguer

    Published 2007-12-01
    Get full text
    Article
  6. 6
    Entender ou defender o Santo Ofício? Negacionismo, apologética e usos da história inquisitorial em Para entender a Inquisição (2009), de Felipe Aquino

    Entender ou defender o Santo Ofício? Negacionismo, apologética e usos da história inquisitorial em Para entender a Inquisição (2009), de Felipe Aquino by Igor Tadeu Camilo Rocha

    Published 2019-04-01
    Get full text
    Article
  7. 7
    Não se fazem mais excomunhões que prestem nos dias de hoje: libertinos, Reformismo Ilustrado e a defesa da tolerância religiosa no mundo luso-brasileiro (1750-1803)

    Não se fazem mais excomunhões que prestem nos dias de hoje: libertinos, Reformismo Ilustrado e a defesa da tolerância religiosa no mundo luso-brasileiro (1750-1803) by Igor Tadeu Camilo Rocha

    Get full text
    Article
  8. 8
    Rewriting Logic Semantics of a Plan Execution Language

    Rewriting Logic Semantics of a Plan Execution Language by Gilles Dowek, César Muñoz, Camilo Rocha

    Published 2010-02-01
    Get full text
    Article
  9. 9
    Feature extraction with spectral clustering for gene function prediction using hierarchical multi-label classification

    Feature extraction with spectral clustering for gene function prediction using hierarchical multi-label classification by Miguel Romero, Oscar Ramírez, Jorge Finke, Camilo Rocha

    Published 2022-05-01
    Get full text
    Article
  10. 10
    Estudo da taxa de reação transfusional das instituições de saúde credenciadas à Rede Sentinela da Anvisa, do ano de 2017

    Estudo da taxa de reação transfusional das instituições de saúde credenciadas à Rede Sentinela da Anvisa, do ano de 2017 by Vanessa Louis Camilo Rocha, Ana Paula Coelho Penna Teixeira

    Published 2019-11-01
    Get full text
    Article
  11. 11
    Estudo da taxa de reação transfusional das instituições de saúde credenciadas à Rede Sentinela da Anvisa, do ano de 2017

    Estudo da taxa de reação transfusional das instituições de saúde credenciadas à Rede Sentinela da Anvisa, do ano de 2017 by Vanessa Louis Camilo Rocha, Ana Paula Coelho Penna Teixeira

    Published 2019-11-01
    Get full text
    Article
  12. 12
    Estudo da taxa de reação transfusional das instituições de saúde credenciadas à Rede Sentinela da Anvisa, do ano de 2017

    Estudo da taxa de reação transfusional das instituições de saúde credenciadas à Rede Sentinela da Anvisa, do ano de 2017 by Vanessa Louis Camilo Rocha, Ana Paula Coelho Penna Teixeira

    Published 2019-11-01
    Get full text
    Article
  13. 13
    Gene Expression Datasets for Two Versions of the <i>Saccharum spontaneum</i> AP85-441 Genome

    Gene Expression Datasets for Two Versions of the <i>Saccharum spontaneum</i> AP85-441 Genome by Nicolás López-Rozo, Mauricio Ramirez-Castrillon, Miguel Romero, Jorge Finke, Camilo Rocha

    Published 2022-12-01
    Get full text
    Article
  14. 14
    Prediction of crossover recombination using parental genomes.

    Prediction of crossover recombination using parental genomes. by Mauricio Peñuela, Camila Riccio-Rengifo, Jorge Finke, Camilo Rocha, Anestis Gkanogiannis, Rod A Wing, Mathias Lorieux

    Published 2023-01-01
    Get full text
    Article
  15. 15
    Prediction of crossover recombination using parental genomes

    Prediction of crossover recombination using parental genomes by Mauricio Peñuela, Camila Riccio-Rengifo, Jorge Finke, Camilo Rocha, Anestis Gkanogiannis, Rod A. Wing, Mathias Lorieux

    Published 2023-01-01
    Get full text
    Article
  16. 16
    Perfil de estabelecimentos de saúde brasileiros participantes da Rede Sentinela

    Perfil de estabelecimentos de saúde brasileiros participantes da Rede Sentinela by Ana Paula Coelho Penna Teixeira, Leonardo Oliveira Leitão, Patricia Fernanda Toledo Barbosa, Dolly Milena O.T. Cammarota, Vanessa Louis Camilo Rocha

    Published 2017-11-01
    Get full text
    Article
  17. 17
    Perfil de estabelecimentos de saúde brasileiros participantes da Rede Sentinela

    Perfil de estabelecimentos de saúde brasileiros participantes da Rede Sentinela by Ana Paula Coelho Penna Teixeira, Leonardo Oliveira Leitão, Patricia Fernanda Toledo Barbosa, Dolly Milena O.T. Cammarota, Vanessa Louis Camilo Rocha

    Published 2017-11-01
    Get full text
    Article
  18. 18
    Perfil de estabelecimentos de saúde brasileiros participantes da Rede Sentinela

    Perfil de estabelecimentos de saúde brasileiros participantes da Rede Sentinela by Ana Paula Coelho Penna Teixeira, Leonardo Oliveira Leitão, Patricia Fernanda Toledo Barbosa, Dolly Milena O.T. Cammarota, Vanessa Louis Camilo Rocha

    Published 2017-11-01
    Get full text
    Article
  19. 19
    Perfil de estabelecimentos de saúde brasileiros participantes da Rede Sentinela

    Perfil de estabelecimentos de saúde brasileiros participantes da Rede Sentinela by Ana Paula Coelho Penna Teixeira, Leonardo Oliveira Leitão, Patricia Fernanda Toledo Barbosa, Dolly Milena O.T. Cammarota, Vanessa Louis Camilo Rocha

    Published 2017-11-01
    Get full text
    Article
  20. 20
    ESTUDO MORFOMÉTRICO COMPARANDO DUAS ALTERNATIVAS DE RECONSTRUÇÃO DA VIA DE EFLUXO VENOSO DO ENXERTO NO MÉTODO PIGGYBACK DE TRANSPLANTE DE FÍGADO

    ESTUDO MORFOMÉTRICO COMPARANDO DUAS ALTERNATIVAS DE RECONSTRUÇÃO DA VIA DE EFLUXO VENOSO DO ENXERTO NO MÉTODO PIGGYBACK DE TRANSPLANTE DE FÍGADO by Fabricio Ferreira Coelho, Paulo Celso Bosco Massarollo, Gina Camilo Rocha Silvestre, Henrique Dametto Giroud Joaquim, Fabio Pescarmona Gallucci, Fernando Matheus, Rodrigo José de Oliveira, Consuelo Junqueira Rodrigues, Aldo Junqueira Rodrigues Júnior

    Published 2007-01-01
    Get full text
    Article

Search Tools: