Skip to main content
Skip to main navigation menu
Skip to site footer
Open Menu
Revista de Informática Teórica e Aplicada
About
About the Journal
Submissions
Editorial Team
Privacy Statement
Author Guidelines
Current
Archives
Search
Login
Contact
Search
Search
Register
Login
Search
Search
Home
/
Archives
/
Vol. 27 No. 3 (2020)
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
Make a Submission
Make a Submission
Tweets by @ritainfufrgs
Keywords
Most Read Articles
Tutorial: Introdução à Visão Computacional usando OpenCV
4030
Uma Introdução às Support Vector Machines
2855
Computação na Educação Básica no Brasil: o Estado da Arte
2647
A Model for Predicting Music Popularity on Streaming Platforms
2258
Teorias da Aleatoriedade
1907
Information
For Readers
For Authors
For Librarians