Download Results
25 research outcomes, page 1 of 3
  • publication . Article . 2020
    Open Access English
    Authors:
    Andre Rauber Du Bois; Rodrigo Ribeiro; Maycon Amaro;
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    <jats:p>Unification is the core of type inference algorithms for modern functional programming languages, like Haskell and SML. As a first step towards a formalization of a type inference algorithm for such programming languages, we present a formalization in Coq of a t...

  • publication . Article . 2020
    Open Access English
    Authors:
    William Passig de Souza; Andrey de Aguiar Salvi; Wilson Castello Branco Neto;
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    <jats:p>The stock market is a stochastic, dynamic environment and is in constant evolution, and its prediction represents a big challenge. Many studies presented in the state of the art are facing this challenge, by making use of Artificial Neural Networks (ANN) as a to...

  • publication . Article . 2020
    Open Access English
    Authors:
    Juliana de Castro Rabelo; Arthur Callado; Breno Magalhães Freitas; Antonio Rafael Braga; Atslands Rego da Rocha; Danielo G. Gomes;
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    <jats:p>One of the ways to reduce inappropriate management of hives and monitor bee health is to send notifications/alerts about the data collected through sensors. This study presents  BeeNotified!, a solution for sending notifications through Telegram, e-mail, and SMS...

  • publication . Article . 2020
    Open Access
    Authors:
    Alfio Ricardo de Brito Martini;
    Publisher: Universidade Federal do Rio Grande do Sul

    <jats:p>Hoare Logic has a long tradition in formal verification and has been continuously developed and used to verify a broad class of programs, including sequential, object-oriented and concurrent programs. The purpose of this work is to provide a detailed and accessi...

  • publication . Article . 2020
    Open Access English
    Authors:
    Bruno Moura; Renata Reiser; Guilherme B. Schneider; Adenauer Yamin;
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    <jats:p>Dynamic consolidation of virtual machines (VMs) is an effective way to improve resource utilization and power efficiency in cloud computing, directly affecting Quality of Service aspects. This paper presents Int-FLBCC, a new proposal with exploring a Type-2 Fuzz...

  • publication . Article . 2020
    Open Access English
    Authors:
    Lucas Silveira Melo; Ruth Pastora Saraiva Leao; Giovanni Cordeiro Barroso; Raimundo Furtado Sampaio; Filipe Saraiva;
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    <jats:p>This paper describes the integration process between two tools in order to perform co-simulation for representation and analysis of dynamic environments in the context of smart grids. The integrated tools are Mosaik, a software to co-simulation management, and P...

  • publication . Article . 2020
    Open Access English
    Authors:
    Paulo Renato Alves Firmino; Tiago Alessandro Espindola Ferreira; Maria da Conceição Moraes Batista; Ademir Batista Santos Neto;
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    <jats:p>Cognitive models have been paramount for modeling phenomena for which empirical data are unavailable, scarce, or only partially relevant. These approaches are based on methods dedicated to preparing experts and then to elicit their opinions about the variables t...

  • publication . Article . 2020
    Open Access English
    Authors:
    Gilmário Barbosa dos Santos; André Luiz Tragancin Filho;
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    <jats:p>This paper describes experiments with PHOC (Pyramid Histogram of Color) features descriptor in terms of capacity for representing features presented in breast radiograph (also known as mammography). Patches were taken from regions in digital mammographies, repre...

  • publication . Article . 2020
    Open Access
    Authors:
    Míriam Blank Born; Giovani Parente Farias; Bruna Leitzke; Marilton Sanchotene de Aguiar; Diana Francisca Adamatti;
    Publisher: Universidade Federal do Rio Grande do Sul

    <jats:p>The paper aims to present a river basin modeling using GAMA platform for water resources analysis. Currently, several models based on multi-agent systems are used for natural resources management and they present satisfactory results for this type of scenario. G...

  • publication . Article . 2020
    Open Access
    Authors:
    Suelen Regina C. dos Santos; Marcelo Schots; Leonardo Lima Marinho; Vera Werneck; Leonardo Andrade; Bruna Costa Cons;
    Publisher: Universidade Federal do Rio Grande do Sul

    <jats:p>The use of agile methods has become essential in software development at the present time. Among the existing methods, Scrum is one of the major ones, and is used to manage projects in companies, even outside of the scope of software systems development. Conside...

25 research outcomes, page 1 of 3