-
6821PortugalPor Pinheiro, Sandra Cristina de Oliveira“... to each external formula. The reduction algorithm yields a syntactical proof of the relative consistent...”
Publicado em 2015
Obter o texto integral
masterThesis -
6822
-
6823
-
6824PortugalPor Lara, Miguel Filipe Sabino Barreto deObter o texto integral
Publicado em 2022
masterThesis -
6825
-
6826BrasilPor Taylon Gomes Landgraf“... partir de um sistema teste com resultados satisfatórios. Os resultados obtidos são analisados frente a...”
Publicado em 2014
Obter o texto integral
masterThesis -
6827BrasilPor Renata Araripe de Macêdo“... do conjunto de dados para análise e testes, permitindo-se a representação detalhada da linha de...”
Publicado em 2000
Obter o texto integral
masterThesis -
6828
-
6829PortugalPor Gonçalo Figueira“... and alternative variants of the algorithm are tested on instances based on real data from the case study...”
Publicado em 2013
Obter o texto integral
article -
6830BrasilPor Antunes, Cauã Roca“... de teste e operou um número significativamente menor de modificações sobre os alinhamentos originais...”
Publicado em 2021
Obter o texto integral
masterThesis -
6831
-
6832PortugalPor Pinto, João Pedro Vicente e CamposObter o texto integral
Publicado em 2019
masterThesis -
6833
-
6834
-
6835
-
6836BrasilData mining and the quality of extracted knowledge from police reports of Brazilian Federal HighwaysPor Costa, Jefferson de Jesus“... Mining process on data provided by PRF in order to identify associations between variables related...”
Publicado em 2014
Obter o texto integral
article other other other other other -
6837
-
6838BrasilPor Luiz Melk de Carvalho“... – Damped Least Square) e estocástico (NSGA-II – Non-dominated Sorting Genetic Algorithm II); pela avaliação...”
Publicado em 2019
Obter o texto integral
doctoralThesis -
6839
-
6840PortugalPor Vasconcelos, Joana Marques dos Santos de AzeredoObter o texto integral
Publicado em 2020
masterThesis