Página de Busca
Adicionar filtros:
Utilizar filtros para refinar o resultado de busca.
Conjunto de itens:
| Data do documento | Título | Autor(es) |
|---|---|---|
| 2020 | Caracterização e análise de sensibilidade dos modelos de mobilidade veicular utilizando quantificadores de teoria da informação. | Silva, Maurício José da |
| 2020 | Biased random-key genetic algorithm for scheduling identical parallel machines with tooling constraints. | Soares, Leonardo Cabral da Rocha; Carvalho, Marco Antonio Moreira de |
| 2020 | Reproducibility model for wireless sensor networks parallel simulations. | Silva, Matheus L.; Lima, Joubert de Castro; Aquino, André Luiz Lins de |
| 2021 | Towards an effective and efficient deep learning model for COVID-19 patterns detection in X-ray images. | Luz, Eduardo José da Silva; Silva, Pedro Henrique Lopes; Silva, Rodrigo Pereira da; Silva, Ludmila; Ananias, João Víctor Gomes Guimarães; Miozzo, Gustavo; Moreira, Gladston Juliano Prates; Gomes, David Menotti |
| 2020 | Type 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 |
| 2020 | Truck scheduling in tank terminals. | Bossche, Thomas Van den; Çalık, Hatice; Jacobs, Evert-Jan; Toffolo, Túlio Ângelo Machado; Berghe, Greet Vanden |
| 2020 | A mechanized proof of a textbook type unification algorithm. | Amaro, Maycon José Jorge; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du |
| 2020 | A type-directed algorithm to generate random well-typed Java 8 programs. | Feitosa, Samuel da Silva; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du |
| 2021 | Algoritmos heurísticos para o problema de roteamento de unidades móveis de mamografia. | Rosa, Otávio Augusto Souza |
| 2021 | Hybrid feature selection approaches using metaheuristics for hierarchical classification. | Lima, Helen de Cássia Sousa da Costa |
Busca facetada
Assunto