Download Results
105 research outcomes, page 1 of 11
  • publication . Article . 2016
    Open Access Portuguese
    Authors:
    Comissão Organizadora Egb;
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul
  • publication . Article . 2018
    Open Access English
    Authors:
    Rodrigo Machado; Arthur Giesel Vedana; Alvaro Moreira;
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    <jats:p>This article introduces the V language, a purely functional programming language with a novel approach to records.Based on a system of type traits, V attempts to solve issues commonly found when manipulating records in purely functional programming languages.</j...

  • 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 . 2017
    Open Access English
    Authors:
    Antônio Carlos da Rocha Costa;
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    This paper concerns material agent societies, that is, agent societies inhabited by material agents. The paper introduces the concept of energy system of a material agent society, as the organizational sub-system of the society that is responsible for the coordination o...

  • publication . Article . 2017
    Open Access Portuguese
    Authors:
    Jerusa Marchi; Thiago Ângelo Gelaim; Diego Couto;
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    <jats:p>Emoções assumem um papel muito importante no processo de tomada de decisão de seres humanos e é natural que a sua utilização torne-se um campo bastante fértil na área de Inteligência Artificial, seja com o intuito de aproximar o comportamentode agentes computaci...

  • 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 . 2019
    Open Access English
    Authors:
    Gabriella Lopes Andrade; Márcia Cristina Cera;
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    <jats:p>Run tracing allows you to identify issues affecting the performance of parallel applications. This work consists in evaluating the parallelization of a Genetic Algorithm applied to the Vehicle Routing Problem with OpenMP, where the performance obtained was not i...

  • publication . Article . 2018
    Open Access English
    Authors:
    Alane M. de Lima; Renato Carmo;
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    <jats:p>The graph coloring problem is the problem of partitioning the vertices of a graph into the smallest possible set of independent sets. Since it is a well-known NP-Hard problem, it is of great interest of the computer science finding results over exact algorithms ...

  • publication . Article . Other literature type . 2018
    Open Access Portuguese
    Authors:
    Maíla de Lima Claro; Leonardo Pereira Sousa; Andre M. Santana; Rodrigo de Melo Souza Veras; Luis H. S. Vogado;
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    Glaucoma e uma doenca ocular que danifica o nervo optico causando a perda da visao. Ela e a segunda principal causa de cegueira no mundo. Varios sistemas de diagnostico automatico de glaucoma tem sido propostos, contudo e possivel realizar melhorias nestas tecnicas, vis...

105 research outcomes, page 1 of 11