


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)

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID













