16 registros retornados

• 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 Buscar na Web Processando consulta.

• Christian P. Ullrich.  Software for fast validated solution of linear systems.  21 - 34 Buscar na Web Processando consulta.

• 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 Buscar na Web Processando consulta.

• Christoph Baumhof,  Gerd Bohlender.  A VLSI vector arithmetic coprocessor for the PCs.  55 - 72 Buscar na Web Processando consulta.

• Michael J. Schulte.  Hardware interval multipliers.  73 - 90 Buscar na Web Processando consulta.

• Fernanda A. Oliveira.  Enclosing solutions of two point boundary value problems.  91 - 98 Buscar na Web Processando consulta.

• Evgenija D. Popova,  Christian P. Ullrich.  Embedding directed intervals in Mathematica.  99 - 116 Buscar na Web Processando consulta.

• Paulo W. de Oliveira,  Dalcidio Moraes Claudio.  An Interval fixed-point theorem.  117 - 132 Buscar na Web Processando consulta.

• Regivan H. N. Santiago,  Benedito Melo Acióly.  Toward a logic for numerical approximations.  147 - 166 Buscar na Web Processando consulta.

• Tiarajú Asmuz Diverio,  Dalcidio Moraes Claudio.  Computational arithmetic: an updated view.  167 - 181 Buscar na Web Processando consulta.

• João Batista S. de Oliveira.  A Backward Mode for slope evaluation and remark on backward methods for interval variables.  7 - 21 Buscar na Web Processando consulta.

• Agenor Martins,  Edilson Ferneda.  Aprendizagem por analogia na máquina e nas pessoas.  23 - 38 Buscar na Web Processando consulta.

• Antônio Carlos da Rocha Costa,  Raul Sidnei Wazlawick.  Non-supervised sensory-motors agents learning.  39 - 50 Buscar na Web Processando consulta.

• 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 Buscar na Web Processando consulta.

• Norian Maranghello.  Simulação de circuitos elétricos: uma resenha.  65 - 90 Buscar na Web Processando consulta.

• Sílvia Delgado Olabarriaga.  Tricotomia e a reprodução de cores em computador.  91 - 110 Buscar na Web Processando consulta.