Português English
Contato
Publicado em: 21/06/2020

RITA tem nova publicação – volume 27 – nº 3/2020

Terceiro volume de 2020 da Revista de Informática Teórica e Aplicada já está disponível.

Anunciamos a publicação do Vol 27, Nr 3 (2020) da Revista de Informática Teórica e Aplicada – RITA.

Confira aqui.

Table of Contents

Regular Papers

A Mechanized Proof of a Textbook Type Unification Algorithm
André Rauber Du Bois, Rodrigo Ribeiro, Maycon Amaro
RITA Vol. 27 Nr. 3 (2020) Pag. 13-24

DenseNet-DC: Optimizing DenseNet Parameters Through Feature Map Generation Control
Andre Tavares da Silva, Cristiano Roberto Siebert
RITA Vol. 27 Nr. 3 (2020) Pag. 25-39

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
RITA Vol. 27 Nr. 3 (2020) Pag. 40-49

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
RITA Vol. 27 Nr. 3 (2020) Pag. 50-61

WebGIS Development for Base Flow Separation and Recharge Estimation
Taison Anderson Bortolin, Lucas Moraes dos Santos, Adriano Gomes da Silva, Vania Elisabete Schneid
RITA Vol. 27 Nr. 3 (2020) Pag. 62-71

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
RITA Vol. 27 Nr. 3 (2020) Pag. 72-83

Reasoning about Partial Correctness Assertions in Isabelle/HOL
Alfio Ricardo Martini
RITA Vol. 27 Nr. 3 (2020) Pag. 84-101

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
RITA Vol. 27 Nr. 3 (2020) Pag. 102-117