• A methodology for the synthesis to logical netlist of an ASIC 

      Gurdián-Murillo, Mauricio (Instituto Tecnológico de Costa Rica, 2017)
      The advances in technology for manufacturing ASICs allow more features to be added. As result, and depending on the architecture of the ASIC, more functional blocks do exist to support such additional features. This imply ...
    • Cooking skills: combinando colores con código 

      Hernández-Castro, Franklin (2022-02-04)
      Este documento responde a cómo combinar colores, al mostrar el modo más fácil y seguro de manejar una composición, inicialmente indeterminada, desde código.
    • Cooking skills: diseñando escalas cromáticas por código 

      Hernández-Castro, Franklin (2019)
      Este documento resume los aspectos más importantes a tomar en cuenta cuando se programan escalas cromáticas en visualización de datos. es decir, en los casos en que hay que definir una escala cromática para visualizar ...
    • Modelado de forma de larvas utilizando máquinas restringidas de Boltzmann 

      Soto-Vásquez, David (Instituto Tecnológico de Costa Rica, 2015)
      Occlusion and presence of incomplete shapes on digital images of vermiform structures as larvae make the automated process for larvae counting and segmentation hard to complete. The suggested solution provides a method ...
    • Verificación funcional de un controlador de memoria para un dispositivo médico implantable. 

      Rodríguez-Mejía, Jean Carlo (Instituto Tecnológico de Costa Rica, 2018)
      When a design is made for a product that needs to have a stable and continuous operation and also that is not expected to fail, the fucntional operation of the devices must be checked before delivering them to the end ...