![](https://dblp.uni-trier.de./img/logo.320x120.png)
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
Revista de Informática Teórica e Aplicada - RITA, Volume 3
Volume 3, Number 1, July 1996
- João Batista S. de Oliveira:
A Backward Mode for slope evaluation and remark on backward methods for interval variables. RITA 3(1): 7-21 (1996) - Agenor Martins, Edilson Ferneda:
Aprendizagem por analogia na máquina e nas pessoas. RITA 3(1): 23-38 (1996) - Antônio Carlos da Rocha Costa, Raul Sidnei Wazlawick:
Non-supervised sensory-motors agents learning. RITA 3(1): 39-50 (1996) - Ana Valéria Farias Barroso, Bernadette Farias Lóscio, Mirna Geyla Lopes Brandão, Roberta Sousa Almeida Pontes:
O ambiente VITAO- visão integrada automatizada orientada a objetos. RITA 3(1): 51-63 (1996) - Norian Maranghello:
Simulação de circuitos elétricos: uma resenha. RITA 3(1): 65-90 (1996) - Sílvia Delgado Olabarriaga:
Tricotomia e a reprodução de cores em computador. RITA 3(1): 91-110 (1996)
Volume 3, Number 2, December 1996
- Tim Kersten:
A case study for the use of verifying BLAS in na LAPACK like verifying driver-routine for the solution of linear systems. RITA 3(2): 5-20 (1996) - Christian P. Ullrich:
Software for fast validated solution of linear systems. RITA 3(2): 21-34 (1996) - Tiarajú Asmuz Diverio, Philippe Olivier Alexandre Navaux, Dalcidio Moraes Claudio, Carlos Amaral Hölbig, Ursula A. L. Fernandes, R. L. Sagula:
High performance with high accuracy laboratory. RITA 3(2): 35-54 (1996) - Christoph Baumhof, Gerd Bohlender:
A VLSI vector arithmetic coprocessor for the PCs. RITA 3(2): 55-72 (1996) - Michael J. Schulte:
Hardware interval multipliers. RITA 3(2): 73-90 (1996) - Fernanda A. Oliveira:
Enclosing solutions of two point boundary value problems. RITA 3(2): 91-98 (1996) - Evgenija D. Popova, Christian P. Ullrich:
Embedding directed intervals in Mathematica. RITA 3(2): 99-116 (1996) - Paulo W. de Oliveira, Dalcidio Moraes Claudio:
An Interval fixed-point theorem. RITA 3(2): 117-132 (1996) - Genésio Gomes da Cruz Neto, Rafael Dueire Lins:
Are functional languages suitable for scientific computing? RITA 3(2): 133-146 (1996) - Regivan Hugo Nunes Santiago, Benedito Melo Acióly:
Toward a logic for numerical approximations. RITA 3(2): 147-166 (1996) - Tiarajú Asmuz Diverio, Dalcidio Moraes Claudio:
Computational arithmetic: an updated view. RITA 3(2): 167-181 (1996)
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.