Página de Busca


Filtros correntes:

Retornar valores
Adicionar filtros:

Utilizar filtros para refinar o resultado de busca.


Resultado 11-20 de 37.
Conjunto de itens:
Data do documentoTítuloAutor(es)
2020Conflict graphs in mixed-integer linear programming : preprocessing, heuristics and cutting planes.Brito, Samuel Souza
2020Caracterização e análise de sensibilidade dos modelos de mobilidade veicular utilizando quantificadores de teoria da informação.Silva, Maurício José da
2020Biased random-key genetic algorithm for scheduling identical parallel machines with tooling constraints.Soares, Leonardo Cabral da Rocha; Carvalho, Marco Antonio Moreira de
2020Reproducibility model for wireless sensor networks parallel simulations.Silva, Matheus L.; Lima, Joubert de Castro; Aquino, André Luiz Lins de
2020Type inference for C : applications to the static analysis of incomplete programs.Melo, Leandro T. C.; Ribeiro, Rodrigo Geraldo; Guimarães, Breno Campos Ferreira; Pereira, Fernando Magno Quintao
2020Truck scheduling in tank terminals.Bossche, Thomas Van den; Çalık, Hatice; Jacobs, Evert-Jan; Toffolo, Túlio Ângelo Machado; Berghe, Greet Vanden
2020A mechanized proof of a textbook type unification algorithm.Amaro, Maycon José Jorge; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du
2020A type-directed algorithm to generate random well-typed Java 8 programs.Feitosa, Samuel da Silva; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du
2020Towards better heartbeat segmentation with deep learning classification.Luz, Eduardo José da Silva; Silva, Pedro Henrique Lopes; Silva, Rodrigo César Pedrosa; Silva, Ludmila; Guimarães, João; Miozzo, Gustavo; Moreira, Gladston Juliano Prates; Gomes, David Menotti
2020COVID-19 detection in CT images with deep learning : a voting-based scheme and cross-datasets analysis.Silva, Pedro Henrique Lopes; Luz, Eduardo José da Silva; Silva, Guilherme; Moreira, Gladston Juliano Prates; Silva, Rodrigo Pereira da; Lucio, Diego Rafael; Gomes, David Menotti