Análise de comportamentos sociais em agentes de jogos

Por Carneiro, Lucas Rodrigues
Publicado em 2018-09-14

Análise do modelo de ataques ao protocolo Signal: uma abordagem usando lógica e mCRL2

Por Figueiredo, André Gustavo Lima, Lourenço, Vanessa Escócio
Publicado em 2020-06-16

Aplicação de técnicas de controle a sistemas de produção

Por Lovato, Adalberto
Publicado em 1972-08

Aspectos computacionais de um algoritmo primal de direções viáveis para sistemas decomponíveis

Por Campos, Odival Juliano de
Publicado em 1972-09

Biblioteca do axiom para encontrar campos de retas invariantes por grupos infinitos

Por Ferreira, Filipe Ramos
Publicado em 2018

Clique-inverse graphs of K₃-free and K₄-free graphs

Por Protti, Fábio, Szwarcfiter, Jayme Luiz
Publicado no Relatório Técnico NCE (1999-12-31)

Communication problems in the π-calculus

Por Benevides, Mário Roberto Folhadela, Protti, Fábio
Publicado no Relatório Técnico NCE (2000-12-31)

Comparação entre duas abordagens para solução de sistemas de equações resultantes da discretização pelo método implícito adaptativo

Por François, Jean Philippe
Publicado em 2017-04

Comparing numerical methods to calculate fluid pressure

Por Rangel, Flavio Medeiros
Publicado em 2020-03-03

Criação de um framework para ajuste fino de parâmetros usando testes estatísticos

Por Avancini, João Virgilio de Castro
Publicado em 2022-01-11

Data encryption standard simulation and a bit-slice architecture design

Por Sixel, Ricardo Girardi, Monteiro, Rodrigo Salvador, Anido, Manuel Lois
Publicado no Relatório Técnico NCE (2000-12-31)

Domínios de estabilidade assintótica: sua determinação utilizando o segundo Método de Liapunov

Por Fonseca, Luiz Gonzaga de Souza
Publicado em 1971-01

Entendendo e evitando o slippage problem na web 3.0

Por Felix, Luan Martins
Publicado em 2023-09-05

Estudo de aprendizado por reforço profundo aplicado ao mercado de criptomoedas

Por Teixeira Neto, Flavio Ribeiro
Publicado em 2021-11-04

Hamiltonian problems for reducible flowgraphs

Por Pires, Oswaldo Vernet de Souza, Markenzon, Lilian
Publicado no Relatório Técnico NCE (1997-12-31)

Healthy aging: a data-driven approach to Indicators of Compromise decaying models

Por Tostes, Breno Trindade
Publicado em 2021-11-22

Jogos combinatórios em grafos: jogo Timber e jogo de Coloração

Por Furtado, Ana Luísa Carvalho
Publicado em 2017-10

Problema de Graetz no escoamento entre discos paralelos

Por Murad, Nivaldo Elias
Publicado em 1968-04-16

Relacionando geometricamente tweets e notícias utilizando a Word Mover's Distance

Por Noronha, Victor Garritano
Publicado em 2019-01-23

SchedPingER: implementação de um workflow de tratamento de dados de desempenho de rede

Por Oliveira, Cristiane Ceia de
Publicado em 2018-12-17