Zobrazeno 1 - 10
of 27
pro vyhledávání: '"Davi Romero"'
Autor:
Vasconcelos, Davi Romero
Publikováno v:
EPTCS 375, 2023, pp. 38-53
This work presents the system ANITA (Analytic Tableau Proof Assistant) developed for teaching analytic tableaux to computer science students. The tool is written in Python and can be used as a desktop application, or in a web platform. This paper des
Externí odkaz:
http://arxiv.org/abs/2303.05864
Autor:
Sheila Cavalca Cortelli, José Roberto Cortelli, Davi Romero Aquino, Marinella Holzhausen, Gilson Cesar Nobre Franco, Fernando de Oliveira Costa, Daniel Fine
Publikováno v:
Brazilian Oral Research, Vol 23, Iss 3, Pp 313-318 (2009)
Knowledge about the presence of some important oral pathogens is an important step in better identifying children at risk for periodontal and/or caries diseases in later life. The purpose of this study was to detect the presence of Streptococcus muta
Externí odkaz:
https://doaj.org/article/aea0cea86be841dea199176904ab363d
Autor:
de Souza, Críston Pereira, de Araujo, Paulo Henrique Macedo, Costa, Iana Mary Gomes, de Vasconcelos, Davi Romero, Magalhães, Regis Pires
Publikováno v:
In Information Systems February 2023 112
Autor:
DAVI ROMERO DE VASCONCELOS
[pt] O termo jogo tem sido utilizado como uma metáfora, em várias áreas do conhecimento, para modelar e analisar situações onde agentes(jogadores) interagem em ambientes compartilhados para a realização de seus objetivos sejam eles individuais
Autor:
DAVI ROMERO DE VASCONCELOS
Publikováno v:
Repositório Institucional da PUC_RIOPontifícia Universidade Católica do Rio de JaneiroPUC_RIO.
COORDENAÇÃO DE APERFEIÇOAMENTO DO PESSOAL DE ENSINO SUPERIOR
CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICO
O termo jogo tem sido utilizado como uma metáfora, em várias áreas do conhecimento, para modelar e analisar s
CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICO
O termo jogo tem sido utilizado como uma metáfora, em várias áreas do conhecimento, para modelar e analisar s
In this work, we present a logic based on first-order CTL, namely Game Analysis Logic (GAL), in order to reason about games. We relate models and solution concepts of Game Theory as models and formulas of GAL, respectively. Precisely, we express exte
Externí odkaz:
http://arxiv.org/abs/1402.1377
Autor:
DAVI ROMERO DE VASCONCELOS
[pt] Em métodos formais, uma das abordagens que vem obtendo sucesso nos últimos anos é a de verificação formal. Dentro desta, vem se destacando uma técnica chamada de verificação de modelos (model checking), na qual se verifica automaticament
Autor:
DAVI ROMERO DE VASCONCELOS
Publikováno v:
Repositório Institucional da PUC_RIOPontifícia Universidade Católica do Rio de JaneiroPUC_RIO.
COORDENAÇÃO DE APERFEIÇOAMENTO DO PESSOAL DE ENSINO SUPERIOR
Em métodos formais, uma das abordagens que vem obtendo sucesso nos últimos anos é a de verificação formal. Dentro desta, vem se destacando uma técnica chamada de verificação
Em métodos formais, uma das abordagens que vem obtendo sucesso nos últimos anos é a de verificação formal. Dentro desta, vem se destacando uma técnica chamada de verificação
Publikováno v:
Anais do XXX Workshop sobre Educação em Computação (WEI 2022).
A disciplina de Lógica para Computação faz parte da maioria dos cursos de Tecnologia da Informação e Comunicação. O sistema de Dedução Natural é amplamente utilizado para o ensino de demonstrações e este conteúdo consta em muitos dos liv
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::26a47c30a0775d4bc6b8f60766c7ced7
https://doi.org/10.5753/wei.2022.222875
https://doi.org/10.5753/wei.2022.222875
Autor:
Wagner Luiz Braga Bezerra, Alan Nascimento Gomes, Emanuel Ferreira Coutinho, Criston Pereira de Souza, Regis Pires Magalhaes, Davi Romero de Vasconcelos
Publikováno v:
11 Euro American Conference on Telematics and Information Systems.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e13d5eea9a07aaed829def2ce4505fc7
https://doi.org/10.1145/3544538.3544653
https://doi.org/10.1145/3544538.3544653