Publicaciones (23) Publicaciones en las que ha participado algún/a investigador/a

2012

  1. Algorithmic strategies for optimizing the parallel reduction primitive in CUDA

    Proceedings of the 2012 International Conference on High Performance Computing and Simulation, HPCS 2012

  2. Generating coherent ray directions in path tracing

    22nd Spanish Computer Graphics Conference, CEIG 2012

  3. Improving ray traversal by using several specialized kd-trees

    GRAPP 2012 IVAPP 2012 - Proceedings of the International Conference on Computer Graphics Theory and Applications and International Conference on Information Visualization Theory and Applications

2011

  1. Traversing a BVH cut to exploit ray coherence

    GRAPP 2011 - Proceedings of the International Conference on Computer Graphics Theory and Applications

2009

  1. A tool for automatic code generation from schemas

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. CUDA solutions for the sssp problem

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  3. Herramienta de generación automática de código para el aprendizaje de patrones de diseño

    Universidad Complutense de Madrid

  4. Ray casting using a roped BVH with CUDA

    Proceedings - SCCG 2009: 25th Spring Conference on Computer Graphics

2008

  1. A fully CPU-implemented rigid body simulator

    GRAPP 2008 - Proceedings of the 3rd International Conference on Computer Graphics Theory and Applications

  2. A tool for teaching interactions between design patterns

    Proceedings of the Conference on Integrating Technology into Computer Science Education, ITiCSE

  3. Wheeling around von Neumann-Jordan constant in Banach spaces

    Studia Mathematica, Vol. 188, Núm. 2, pp. 135-150

2007

  1. CGR: A tool for programming using schemes

    Proceedings - International Computer Software and Applications Conference

2004

  1. Métodos de tableaux para lógicas con declaraciones de términos, dominios preordenados y operaciones monótonas

    Madrid : [Universidad Complutense], Servicio de Publicaciones, [2004]

  2. Oxygen saturation measurements in athletes attaining maximal exertion conditions

    Conference Record - IEEE Instrumentation and Measurement Technology Conference

  3. Transmittance photoplethysmography and pulse oximetry with near infrared laser diodes

    Conference Record - IEEE Instrumentation and Measurement Technology Conference

2002

  1. Simultaneous rigid sorted unification for tableaux

    Studia Logica, Vol. 72, Núm. 1, pp. 31-59

2000

  1. Monotonic preorders for free variable tableaux

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Simultaneous rigid sorted unification

    Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)