Portal do Governo Brasileiro
Inicio
Busca
Sobre o Educapes
Sobre o eduCapes
Como faço minha busca?
Como submeto meu material?
Parceiros
Contato
Fale conosco
Dúvidas frequentes
Login
Submissões
Receber atualizações
por e-mail
Editar Conta
Menu
Inicio
Busca
Sobre o Educapes
Sobre o eduCapes
Como faço minha busca?
Como submeto meu material?
Parceiros
Contato
Fale conosco
Dúvidas frequentes
Login
Submissões
Receber atualizações
por e-mail
Editar Conta
Avaliação do
Você é humano?
8
5
=
Navegar por:
Assunto
Autores
Data do documento
Título
Material UAB
Periódicos
Portal eduCapes
Seta
Navegando por Autor Lopes, Bruno
Classificar por:
Título
Data do documento
Data de envio
Em ordem:
Ascendente
Descendente
Resultados/Página
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Registro(s):
Todos
1
5
10
15
20
25
30
35
40
45
50
Mostrando resultados 1 a 11 de 11
A antecipação da incompletude dos sistemas formais por Emil Post durante a crise dos fundamentos da matemática
Cafezeiro, Isabel Leite; Lopes, Bruno; Valente, Sicleide
Rangel, Anna Karoline Ramos
1-Fev-2018
★
★
★
★
★
(0)
Análise de desempenho esportivo baseada em dados estatísticos
Oliveira, Daniel Cardoso Moraes de; Carvalho, Aline Marins Paes; Lopes, Bruno
Nascimento, Frederico Queiroz
14-Set-2018
★
★
★
★
★
(0)
Compilador para linguagem reversível Janus
Kowada, Luis Antonio Brasil; Lopes, Bruno; Carvalho, Aline Marins Paes
Brum, Vinícius de Carvalho
31-Jan-2018
★
★
★
★
★
(0)
Compiling certified Reo code
Lopes, Bruno; Paes, Aline Marins Paes; Mario, Benevides; Herman Haeusler, Edward
Grilo, Erick Simas
25-Jul-2022
★
★
★
★
★
(0)
E-Covid
Araujo, Adaltro; Amaral, Vinícius; Santos, Katiuscia; Ribeiro, Silvar; Pinto, Sonia; Silva, João Vítor; Silva, Marcos Vinicíus; Lima, Ana Letícia; Santana, Saulo; Lopes, Bruno
Ago-2020
★
★
★
★
★
(0)
Integração de ferramentas para raciocínio sobre conectores Reo
Lopes, Bruno; Oliveira, Daniel Cardoso Moraes de; Santos, Jeferson de Barros
Ferreira, Mariana de Freitas
26-Jul-2022
★
★
★
★
★
(0)
OntoScraping: enriquecimento de ontologias por meio de web scraping
Oliveira, Daniel Cardoso Moraes de; Martins, Simone de Lima; Lopes, Bruno
Silva, Amanda Tamires Inacio
16-Dez-2021
★
★
★
★
★
(0)
PDL como uma linguagem de consulta para Constraint Automata
Lopes, Bruno; Rosseti, Isabel; Souza, Uéverton dos Santos
Castro, Thiago Cordeiro de
26-Jul-2022
★
★
★
★
★
(0)
Provador de teoremas para GeoBGL
Lopes, Bruno; Freitas, Renata de; Benevides, Mario Roberto Folhadela; Oliveira, Daniel Cardoso Moraes de
Figueiredo, Igor Cruz
13-Fev-2023
★
★
★
★
★
(0)
Satisfatibilidade de circuitos threshold: uma ponte entre complexidade parametrizada e redes de ordenação
Souza, Uéverton dos Santos; Rosseti, Isabel Cristina Mello; Machado, Raphael Carlos Santos; Lopes, Bruno
Paranhos, Raffael Muralha
16-Out-2023
★
★
★
★
★
(0)
Um compilador de circuitos Reo para modelos nuXmv
Lopes, Bruno; Carvalho, Aline Marins Paes; Santos, Jefferson de Barros
Toledo, Daniel Arena
15-Nov-2023
★
★
★
★
★
(0)