Antônio Carlos da Rocha Costa

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
From Intervals to –? Studies in Computational Intelligence	2023-03-30	Paper
Elements for a formal model of intentional systems	2017-05-19	Paper
Towards multi-level semantics for multi-agent systems	2017-05-19	Paper
Quantum arrows in Haskell Electronic Notes in Theoretical Computer Science	2014-01-17	Paper
Interactive computation: stepping stone in the pathway from classical to developmental computation	2013-12-04	Paper
Recognizing and learning models of social exchange strategies for the regulation of social interactions in open agent societies Journal of the Brazilian Computer Society	2013-08-06	Paper
A programming language for the interval geometric machine Electronic Notes in Theoretical Computer Science	2013-06-06	Paper
O Modelo de Máquina Geométrica Intervalar TEMA - Tendências em Matemática Aplicada e Computacional	2011-04-04	Paper
First Steps in the Construction of the Geometric Machine Model TEMA - Tendências em Matemática Aplicada e Computacional	2011-04-04	Paper
Probabilidade Intervalar e Cadeias de Markov Intervalares no Maple TEMA - Tendências em Matemática Aplicada e Computacional	2011-04-04	Paper
The stochastic geometric machine model TEMA - Tendências em Matemática Aplicada e Computacional	2011-04-04	Paper
Uma Abordagem Funcional na Implementação do Algoritmo de Teleportação Quântica TEMA - Tendências em Matemática Aplicada e Computacional	2011-04-04	Paper
scientific article; zbMATH DE number 5874225 (Why is no real title available?)	2011-04-04	Paper
Interpretações do Interferômetro de Mach-Zehnder no Modelo qMG TEMA - Tendências em Matemática Aplicada e Computacional	2011-04-04	Paper
From intervals to domains: towards a general description of validated uncertainty, with potential applications to geospatial and meteorological data Journal of Computational and Applied Mathematics	2007-02-02	Paper
ICTM: an interval tessellation-based model for reliable topographic segmentation Numerical Algorithms	2005-09-05	Paper
The interval geometric machine model Numerical Algorithms	2005-09-05	Paper
scientific article; zbMATH DE number 2087327 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 2014715 (Why is no real title available?)	2003-12-08	Paper
scientific article; zbMATH DE number 2000440 (Why is no real title available?)	2003-11-03	Paper
A coherence space of rational intervals for a construction of \(\mathbb{I}\mathbb{R}\) Reliable Computing	2001-03-28	Paper

Research outcomes over time

This page was built for person: Antônio Carlos da Rocha Costa