• 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 ...
    • 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 ...