Chronic dentoalveolar abscess in a pediatric patient with rare drainage

Autor: Sheinaz Farias Hassam, Maiana Coelho Cardoso dos Santos, Paulo Andrei Costa Coelho, Tamara Costa Lopes Schiavotelo, Juliana Andrade Cardoso, Jener Gonçalves de Farias

Publikováno v: Revista Cubana de Estomatología, Vol 56, Iss 4, Pp 1-13 (2019)

Introduction: Infections of the maxillomandibular complex are common in dentistry and may be easily reversed, depending on the professional's ability to diagnose and treat promptly, as well as the patient's immunocompetence. In most cases their etiol

Externí odkaz: https://doaj.org/article/38533b0537cc4c90b92a8ebef0d46cb4

Dynamics of the abortion agenda in the Brazilian Senate from 1988 to October 2020

Autor: MARIA CLARA FIGUEIREDO DALLA COSTA AMES, MAURICIO CUSTÓDIO SERAFIM, MARCELLO BECKERT ZAPPELLINI, ANDREI COSTA COLONETTI

Publikováno v: Cadernos EBAPE.BR, Volume: 19, Issue: spe, Pages: 656-674, Published: 20 DEC 2021
Cadernos EBAPE.BR v.19 n.spe 2021
Cadernos EBAPE.BR
Fundação Getulio Vargas (FGV)
instacron:FGV
Cadernos EBAPE.BR, Vol 19, Iss spe, Pp 656-674 (2021)

Resumo O tema do aborto é uma complexa questão filosófica e moral, que, na análise de políticas públicas, tem sido tratado como uma política de moralidade. Este artigo busca analisar as dinâmicas da agenda política do aborto no Senado Federa

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f51443ba69b8644c206a6d431b5bf3cb
http://www.scielo.br/scielo.php?script=sci_arttext&pid=S1679-39512021000400656&lng=en&tlng=en

Using formal methods for content validation of medical procedure documents

Autor: Erika Cota, Rosiana Estéfane da Silva, Gláucia Fernandes Cota, Jonas Santos Bezerra, Andrei Costa, Leila Ribeiro

Publikováno v: International Journal of Medical Informatics. 104:10-25

Objective We propose the use of a formal approach to support content validation of a standard operating procedure (SOP) for a therapeutic intervention. Such an approach provides a useful tool to identify ambiguities, omissions and inconsistencies, an

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::63e37a966a66bdfa8f7bac36eb2e4164
https://doi.org/10.1016/j.ijmedinf.2017.04.012

The Verigraph System for Graph Transformation

Autor: Rodrigo Machado, Andrei Costa, Leonardo Marques Rodrigues, Jonas Santos Bezerra, Guilherme Grochau Azzi, Leila Ribeiro

Publikováno v: Graph Transformation, Specifications, and Nets ISBN: 9783319753959
Graph Transformation, Specifications, and Nets

Graph transformation (GT) is a rule-based framework, suitable for modelling both static and dynamic aspects of complex systems in an intuitive yet formal manner. The algebraic approach to GT is based on category theory, allowing the instantiation of

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::31288950e7348f3023d79a7a0d362ded
https://doi.org/10.1007/978-3-319-75396-6_9

Verigraph: A System for Specification and Analysis of Graph Grammars

Autor: Rodrigo Machado, Jonas Santos Bezerra, Ricardo Gabriel Herdt, Andrei Costa, Thiago Rafael Becker, Guilherme Grochau Azzi, Leonardo Marques Rodrigues

Publikováno v: Lecture Notes in Computer Science ISBN: 9783319498140
SBMF

Graph grammars are models that allow for a visual representation of both static and dynamic aspects of a system. There are several tools that allow the edition, simulation and analysis of graph grammars, each of them focusing on one kind of analysis

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::f402f82a924299f81e5ae15d00c9eeb3
https://doi.org/10.1007/978-3-319-49815-7_5