Vol. 27 No. 3 (2020)

View Vol. 27 No. 3 (2020)
Published: 2020-06-18

Regular Papers

  • A Mechanized Proof of a Textbook Type Unification Algorithm

    André Rauber Du Bois, Rodrigo Ribeiro, Maycon Amaro
    13-24
    DOI: https://doi.org/10.22456/2175-2745.100968

  • DenseNet-DC: Optimizing DenseNet Parameters Through Feature Map Generation Control

    Andre Tavares da Silva, Cristiano Roberto Siebert
    25-39
    DOI: https://doi.org/10.22456/2175-2745.98369

  • Automatic identification of knowledge related to dengue cases in the state of Piauí in public databases using Filtered-Association Rules Networks

    Joan Davi Santos Silva, Jâina Carolina Meneses Calçada, Solange Oliveira Rezende, Dario Brito Calçada
    40-49
    DOI: https://doi.org/10.22456/2175-2745.99849

  • BeeNotified! A Notification System of Physical Quantities for Beehives Remote Monitoring

    Antonio Rafael Braga, Juliana de Castro Rabelo, Arthur de Castro Callado, Atslands Rego da Rocha, Breno M. Freitas, Danielo G. Gomes
    50-61
    DOI: https://doi.org/10.22456/2175-2745.90724

  • WebGIS development for base flow separation and recharge estimation

    Taison Anderson Bortolin, Lucas Moraes dos Santos, Adriano Gomes da Silva, Vania Elisabete Schneider
    62-71
    DOI: https://doi.org/10.22456/2175-2745.94235

Selected Papers - WEIT 2019

  • Experiments on Model-Based Software Energy Consumption Analysis Involving Sorting Algorithms

    Danilo Silva Alves, Oseias Ayres Ferreira, Lucio Mauro Duarte, Davi Silva, Paulo Henrique Maia
    72-83
    DOI: https://doi.org/10.22456/2175-2745.98904

  • Reasoning about Partial Correctness Assertions in Isabelle/HOL

    Alfio Ricardo Martini
    84-101
    DOI: https://doi.org/10.22456/2175-2745.98483

  • Int-FLBCC: Model for Load Balancing in Cloud Computing using Fuzzy Logic Type-2 and Admissible Orders.

    Guilherme Bayer Schneider, Bruno Moura Paz de Moura, Adenauer C Yamin, Renata Hax Sander Reiser
    102-117
    DOI: https://doi.org/10.22456/2175-2745.98362