Browsing by Author "Rivero Almeida, José Miguel"
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 AccessThis 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 AccessWe 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 AccessSince 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 ...