Exploració per autor "Rivero Almeida, José Miguel"
Ara es mostren els items 1-3 de 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)
Text en actes de congrés
Accés obertThis 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 obertWe 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 obertSince 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 ...