The goal of the growing discipline of neuro-symbolic artificial intelligence (AI) is to develop
AI systems with more human-like reasoning capabilities by combining symbolic reasoning …

Quantum annealing provides a method to solve combinatorial optimization problems in
complex energy landscapes by exploiting thermal fluctuations that exist in a physical system …

Hopfield networks are an attractive choice for solving many types of computational problems
because they provide a biologically plausible mechanism. The Self-Optimization (SO) model …

The field of pharmacogenomics investigates how genomics may modulate pathological
trends using information on both genotype and phenotype, with the aim of designing …

Much has been promised about quantum computing accelerators, but few actual commercial
technologies have been made available so far. The D-Wave Computers Series constitutes …

This paper presents the implementation of ARQ-PROP II, a limited-depth propositional
neural reasoner based on the Resolution Principle. The SATyrus platform was used in the …

The EELA Project (E-Infrastructure shared between Europe and Latin America) is a
collaboration between Latin American and European institutions that has developed a …

This paper presents the implementation of ARQ-PROP II, a limited-depth propositional
reasoner, via the compilation of its specification into an exact formulation using the sat yrus …

Computer chips are composed by large amounts of transistors that flip between states, on
and off, to build binary digits. These traditional computers based on bits, store all data as 1s …

Propomos neste trabalho uma plataforma para a modelagem de sistemas baseados em
compartilhamento de recursos. Esta plataforma permite descrever sistemas que disputam …