Análise de comportamentos sociais em agentes de jogos

di Carneiro, Lucas Rodrigues
Pubblicazione 2018-09-14

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

di Figueiredo, André Gustavo Lima, Lourenço, Vanessa Escócio
Pubblicazione 2020-06-16

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

di Lovato, Adalberto
Pubblicazione 1972-08

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

di Campos, Odival Juliano de
Pubblicazione 1972-09

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

di Ferreira, Filipe Ramos
Pubblicazione 2018

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

di Protti, Fábio, Szwarcfiter, Jayme Luiz
Pubblicato in Relatório Técnico NCE (1999-12-31)

Communication problems in the π-calculus

di Benevides, Mário Roberto Folhadela, Protti, Fábio
Pubblicato in 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

di François, Jean Philippe
Pubblicazione 2017-04

Comparing numerical methods to calculate fluid pressure

di Rangel, Flavio Medeiros
Pubblicazione 2020-03-03

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

di Avancini, João Virgilio de Castro
Pubblicazione 2022-01-11

Data encryption standard simulation and a bit-slice architecture design

di Sixel, Ricardo Girardi, Monteiro, Rodrigo Salvador, Anido, Manuel Lois
Pubblicato in Relatório Técnico NCE (2000-12-31)

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

di Fonseca, Luiz Gonzaga de Souza
Pubblicazione 1971-01

Entendendo e evitando o slippage problem na web 3.0

di Felix, Luan Martins
Pubblicazione 2023-09-05

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

di Teixeira Neto, Flavio Ribeiro
Pubblicazione 2021-11-04

Hamiltonian problems for reducible flowgraphs

di Pires, Oswaldo Vernet de Souza, Markenzon, Lilian
Pubblicato in Relatório Técnico NCE (1997-12-31)

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

di Tostes, Breno Trindade
Pubblicazione 2021-11-22

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

di Furtado, Ana Luísa Carvalho
Pubblicazione 2017-10

Problema de Graetz no escoamento entre discos paralelos

di Murad, Nivaldo Elias
Pubblicazione 1968-04-16

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

di Noronha, Victor Garritano
Pubblicazione 2019-01-23

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

di Oliveira, Cristiane Ceia de
Pubblicazione 2018-12-17