Browsing by Author "Rivero Almeida, José Miguel"Més informacióMés informació

Now showing items 1-3 of 3

    • A parallel coupled algorithm for the solution of deformable two-body contact problem 

      Rivero Almeida, José Miguel; Cajas García, Juan Carlos; Houzeaux, Guillaume; Vázquez, Mariano (Barcelona Supercomputing Center, 2015-05-05)
      Conference report
      Open Access
      This work presents a parallel iterative method for numerical solving frictionless contact problem for two elastic bodies. Each iterative step consists of a Dirichlet problem for the one body and a Neumann problem for ...

    • An implementation of the KNS ordering 

      Rivero Almeida, José Miguel (1991-04)
      Research report
      Open Access
      We describe an implementation of the KNS ordering within the TRIP system, a Quintus-Prolog written laboratory for experimenting with new rewrite-like approaches to theorem proving in first-order logic. The aim of the TRIP ...

    • Ordocoordinación: cómo organizar 700 estudiantes en un nuevo campus (y no morir en el intento) 

      Castro Rabal, Jorge; Farreres de la Morena, Xavier; Gabarró Vallès, Joaquim; Nivela Alós, M. Pilar Brígida; Pérez Poch, Antoni; Pino Blanco, Elvira; Rivero Almeida, José Miguel (Asociación de Enseñantes Universitarios de la Informática (AENUI), 2018)
      Conference report
      Open Access
      Since Autumn Term 2017 the Department of Computer Science of the Universitat Politecnica de Catalunya UPC-BarcelonaTech is in charge of teaching ”Fundamentals of Programming” in the new DiagonalBeso ´s Campus, at EEBE ...