Download Results
25 research outcomes, page 1 of 3
  • publication . Article . 2020
    Open Access English
    Authors:
    Leonardo Lima Marinho; Suelen Regina C. dos Santos; Leonardo Andrade; Bruna Costa Cons; Marcelo Schots; Vera Maria Werneck;
    Publisher: Instituto de Informática - 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...

  • publication . Article . 2020
    Open Access English
    Authors:
    Giovani Farias; Bruna Leitzke; Míriam Born; Marilton Aguiar; Diana Adamatti;
    Publisher: Instituto de Informática - 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 English
    Authors:
    Saulo Popov Zambiasi; Ricardo J. Rabelo;
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    <jats:p>The use of virtual assistants has become popularized by their adhesion by large companies. This is because they have brought benefits to a certain extent in people’s daily activities or in their tasks in organizations, with reminders, automation of repetitive ta...

  • publication . Article . 2020
    Open Access
    Authors:
    André Rauber Du Bois; Rodrigo Ribeiro; Maycon Amaro;
    Publisher: 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
    Authors:
    Alfio Ricardo 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:
    Guilherme Bayer Schneider; Bruno Moura Paz de Moura; Adenauer C Yamin; Renata Hax Sander Reiser;
    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:
    Gilmário Barbosa Santos; André 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 English
    Authors:
    Ciniro Nametala;
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    <jats:p>The National High School Examination (ENEM) gains each year more importance, as it gradually, replacing traditional vestibular. Many simulations are done almost randomly by teachers or systems, with questions chosen without discretion. With this methodology, if ...

  • publication . Article . 2020
    Open Access
    Authors:
    Antonio Rafael Braga; Juliana De Castro Rabelo; Arthur De Castro Callado; Atslands Rego da Rocha; Breno M. Freitas; Danielo G. Gomes;
    Publisher: 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:
    Branco Neto, Wilson Castello; Salvi, Andrey de Aguiar; Souza, William Passig de;
    Publisher: 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...

25 research outcomes, page 1 of 3
Last index information