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

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

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

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

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

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

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

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

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