Download Results
47 research outcomes, page 1 of 5
  • 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 . 2010
    Open Access English
    Authors:
    Hai Yang Sun; Jian Yang; Weiliang Zhao;
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    Based on the temporal rules defined for the business processe participating in a business collaboration, we present an implementation for a system called TiCoBTS to verify the reliability of the business collaboration.

  • publication . Article . 2010
    Open Access English
    Authors:
    Mirel Cosulschi; Roberto De Virgilio; Tommaso Di Noia; Roberto Mirizzi;
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    An important aspect of research for Web information extraction relates to the inference of complex reasoning and correlation based on distributed information available in many different Web data sources. By defining the semantics of information and services available on...

  • publication . Article . 2010
    Open Access English
    Authors:
    Caio Northfleet; Paulo Maciel; Hamid Reza Motahari Nezhad; Julio Cesar Damasceno; Bruno Silva; Nelson Souto Rosa; André Ricardo da Silva Souza; Bryan Stephenson; Jun Li; Robson Wagner Albuquerque de Medeiros; ...
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    The need for using high-level modeling tools (e.g. BPMN) is increasing considerably. The proliferation of the service oriented architectures (SOA) is also apparent. In this context, there is a gap between the developed model and its execution. This work introduces the M...

  • 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 . 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 ...

47 research outcomes, page 1 of 5