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. 7-21
• Agenor Martins, Edilson Ferneda: Aprendizagem por analogia na máquina e nas pessoas. 23-38
• Antônio Carlos da Rocha Costa, Raul Sidnei Wazlawick: Non-supervised sensory-motors agents learning. 39-50
• 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. 51-63
• Norian Maranghello: Simulação de circuitos elétricos: uma resenha. 65-90
• Sílvia Delgado Olabarriaga: Tricotomia e a reprodução de cores em computador. 91-110

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. 5-20
• Christian P. Ullrich: Software for fast validated solution of linear systems. 21-34
• Tiarajú Asmuz Diverio, Philippe Olivier Alexandre Navaux, Dalcidio Moraes Claudio, Carlos Amaral Hölbig, U. A. L. Fernandes, R. L. Sagula: High performance with high accuracy laboratory. 35-54
• Christoph Baumhof, Gerd Bohlender: A VLSI vector arithmetic coprocessor for the PCs. 55-72
• Michael J. Schulte: Hardware interval multipliers. 73-90
• Fernanda A. Oliveira: Enclosing solutions of two point boundary value problems. 91-98
• Evgenija D. Popova, Christian P. Ullrich: Embedding directed intervals in Mathematica. 99-116
• Paulo W. de Oliveira, Dalcidio Moraes Claudio: An Interval fixed-point theorem. 117-132
• Genésio Gomes da Cruz Neto, Rafael Dueire Lins: Are functional languages suitable for scientific computing? 133-146
• Regivan H. Nunes Santiago, Benedito Melo Acióly: Toward a logic for numerical approximations. 147-166
• Tiarajú Asmuz Diverio, Dalcidio Moraes Claudio: Computational arithmetic: an updated view. 167-181