Search CORE

1,721,048 research outputs found

[en] FOMAL ANALYSIS OF PROTOCOLS AND DISTRIBUTED ALGORITHMS: A BASED-LANGUAGE APPROACH

Author: CARLOS BAZILIO MARTINS
Publication venue
Publication date: 03/04/2006
Field of study

Projeto Maxwell

[pt] UMA PLATAFORMA DE DEMONSTRAÇÃO DE TEOREMAS BASEADA EM GRAFOS

Author: BRUNO SCHROEDER
Publication venue
Publication date: 09/02/2017
Field of study

Projeto Maxwell

[pt] FORMALIZAÇÃO DE ALGORITMOS DE CRIPTOGRAFIA EM UM ASSISTENTE DE PROVAS INTERATIVO

Author: GUILHERME GOMES FELIX DA SILVA
Publication venue
Publication date: 13/12/2018
Field of study

Projeto Maxwell

[en] TRUST IN INTELLIGENT AGENTS

Author: JULIANA CARPES IMPERIAL
Publication venue
Publication date: 27/03/2008
Field of study

Projeto Maxwell

[en] 2-CATEGORY AND PROOF THEORY

Author: CECILIA REIS ENGLANDER LUSTOSA
Publication venue
Publication date: 12/02/2010
Field of study

Projeto Maxwell

[pt] SOBRE O USO DE INTELIGÊNCIA ARTIFICIAL E MACHINE LEARNING PARA PREDIÇÃO DE MARÉS E PROPOR O MELHOR ARRANJO DAS ETAPAS DO CIRCUITO NACIONAL DE SURF

Author: JOAO PEDRO KALIL COELHO LYRA
Publication venue
Publication date: 03/03/2022
Field of study

Projeto Maxwell

[en] TOPOS-BASED MODEL THEORY FOR HEURISTICS

Author: FERNANDO NAUFEL DO AMARAL
Publication venue
Publication date: 06/08/2004
Field of study

Projeto Maxwell

[pt] UMA ABORDAGEM EXPERIMENTAL SOBRE A COMPRESSÃO DE PROVAS EM DEDUÇÃO NATURAL MINIMAL IMPLICACIONAL

Author: JOSE FLAVIO CAVALCANTE BARROS JUNIOR
Publication venue
Publication date: 26/03/2020
Field of study

Projeto Maxwell

[en] INTEGRATING INTENTIONAL MODELING TO PROCESS MODELING

Author: HENRIQUE PRADO SOUSA
Publication venue
Publication date: 24/07/2012
Field of study

Projeto Maxwell

[pt] UMA ABORDAGEM PARA MODELAR, ARMAZENAR E ACESSAR SEQUÊNCIAS BIOLÓGICAS

Author: CRISTIAN TRISTAO
Publication venue
Publication date: 03/04/2013
Field of study

Projeto Maxwell

…

core