Buscar
Mostrando ítems 11-20 de 89
Verificação de modelos para programas em um subconjunto de JCSP
(Universidade Federal de Pernambuco, 2014)
Aplicação de algoritmo bio inspirado para refinamento de recomendação de adubação para área específica
(Universidade Tecnológica Federal do ParanáMedianeiraBrasilPrograma de Pós-Graduação em Tecnologias Computacionais para o AgronegócioUTFPR, 2018-07-05)
Soil management is of fundamental importance for increasing productivity. Among several existing techniques, nutrient replacement is highlighted by efficiency. For this, it is necessary to know by means of soil analysis ...
Chatterbot para criação e refinamento de ontologias em lógica de descrições
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2019)
Síntese e caracterização de pirocloros do tipo (GdxBi1-x)2FeTaO7 com 0,0 ? x ? 1,0
(Universidade Estadual de MaringáBrasilUEMMaringá, PRPrograma de Pós-Graduação em Física, 2018)
Síntese e caracterização de pirocloros do tipo (GdxBi1-x)2FeTaO7 com 0,0 ? x ? 1,0
(Universidade Estadual de MaringáBrasilUEMMaringá, PRPrograma de Pós-Graduação em Física, 2018)
Síntese e caracterização do aço Maraging-350 tratado termicamente sob diferentes condições
(Universidade Estadual de MaringáBrasilPrograma de Pós-Graduação em FísicaUEMMaringá, PRCentro de Ciências Exatas e da Terra, 2018)
Partially safe evolution of software product lines
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2018)
Verificando a corretude de geradores automáticos de código
(Universidade Federal de Pernambuco, 2014)
A refinement based strategy for locally verifying networks of CSP processes
(Universidade Federal de Pernambuco, 2015)
A utilização de Open Source GIS na mineração: prospecção regional de Pegmatitos da Faixa Seridó Paraibana
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Engenharia Mineral, 2016)