• 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)
      Text en actes de congrés
      Accés obert
      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)
      Report de recerca
      Accés obert
      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)
      Text en actes de congrés
      Accés obert
      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 ...