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
- PDF
DenseNet-DC: Optimizing DenseNet Parameters Through Feature Map Generation Control

Andre Tavares da Silva, Cristiano Roberto Siebert

25-39
- PDF
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
- PDF
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
- PDF
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
- PDF

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
- PDF
Reasoning about Partial Correctness Assertions in Isabelle/HOL

Alfio Ricardo Martini

84-101
- PDF
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
- PDF