Repositorio TEC: Recent submissions

Now showing items 1-20 of 9996

    • Transmogrifying performance analysis: data analytics on GPU application codes 

      Jiménez-Vargas, Diego (Instituto Tecnológico de Costa Rica, 2022-08)
      High Performance Computing (HPC) is now reaching exactable capabilities. Modern supercomputers are catalyzing scientific research and have become central tools in topics like big data analysis and machine/deep learning. ...

    • Algoritmo para automatizar el enrutamiento de señales en una placa de circuito impreso basado en operaciones morfológicas 

      Álvarez-Mata, Luis Carlos (Instituto Tecnológico de Costa Rica, 2022-09-08)
      El enrutamiento de señales consiste en resolver el problema de encontrar conexiones entre los componentes electrónicos colocados en una placa de circuito impreso (PCB, por sus siglas en inglés). Hoy en día se tienen circuitos ...

    • Design of a multi-FPGA system for biologically plausible neural networks based of heterogeneous computing 

      Alfaro-Badilla, Jason Kaled (Instituto Tecnológico de Costa Rica, 2022-08-31)
      Today neuroscience is vastly specialized such that computational neuroscience tries to bridge the gaps of knowledge between the theory and the experiments. In-silico experiments are computer simulations with complete control ...

    • Estudio de factibilidad de un centro de recuperación de residuos valorizables para la Municipalidad de Acosta 

      Marín-Miranda, Dennis Eduardo (Instituto Tecnológico de Costa Rica, 2022-06)
      El Cantón de Acosta, ubicado a 30 km al sur de la ciudad de San José, con una extensión de 342,24 km2 y caracterizado por ser topográficamente el más quebrado del país, actualmente no cuenta un Centro de Recuperación de ...

    • Plan de gestión de proyecto para la movilidad sostenible y accesibilidad en el tramo norte de la carretera de Circunvalación 

      González-Rodríguez, Andrea (Instituto Tecnológico de Costa Rica, 2022-08)
      El objetivo general de este proyecto de graduación es generar un plan de gestión de proyecto para la movilidad sostenible y accesibilidad en el tramo norte de la carretera de Circunvalación, el cual contribuya movilidad ...

    • Estructura de bifurcación condicional - Python 

      Espinoza-Guzmán, Julia (2022-11-01)
      En programación Python, mostrar la estructura de bifurcación o condicional.

    • Números triangulares 

      Solís-Palma, Angie (2022-01)
      Comprender el concepto de números triangulares, dentro del tema de sucesiones. El cuál se complementa con algunos ejercicios.

    • Alturas de triángulos 

      Céspedes-Camacho, Tracy; Montero-Mariño, Rebeca; Quesada-Muñoz, Gipzy; Torres-Alfaro, Andy; Sandoval-Salazar, Jose Manuel (2022-02)
      En este video se presenta cómo construir de manera correcta las alturas de un triángulo, utilizando GeoGebra.

    • Constructor de áreas y perímetros 

      Agüero-Calvo, Evelyn (2021-11)
      En este taller se les presenta una aplicación interactiva elaborada por la Universidad de Colorado, gratuita y de uso libre, que se ejecuta directamente en el navegador. También se puede descargar y enviar el archivo. Link: ...

    • La ciudad de pi 

      Solís-Palma, Angie (2022-02)
      En este video se presenta una actividad lúdica utilizando los decimales del número irracional Pi, para representar la silueta de una ciudad.

    • Bloques de patrones 

      Monge-Madriz, Carlos (2022-03)
      En este video se presenta una estrategia para trabajar las medidas de ángulos mediante un recurso en línea sobre bloques de patrones.

    • Ángulos tecnológicos 

      Acuña-Chacón, Reiman (2022-03)
      En este video se muestra la definición de ángulo, utilizando las partes del cuerpo y determinado las mediciones posibles con reglas y compás. Además, se usa la tecnología para posicionar los ángulos en paralelo con ...

    • Recursión y recorrido en árboles binarios 

      Valerio-Solís, Ana Lorena (2022-05)
      El video contiene una corta explicación del concepto de recursividad, su implementación y la ejecución de un ejemplo recursivo.

    • Lógica 7 - Métodos de demostración 

      Solís-Palma, Angie (2022-07)
      Se presentan diferentes métodos de demostración y una explicación de como abordarlos.

    • Lógica 6 - Equivalencias y cuantificadores 

      Solís-Palma, Angie (2022-07)
      Se presenta algunas equivalencia de proposiciones con cuantificadores y las condiciones para que proposiciones abiertas de dos variables sean verdaderas

    • Lógica 5 - Cuantificadores 

      Solís-Palma, Angie (2022-07)
      Se presenta la definición de proposición abierta y los cuantificadores existencial y universal.

    • Lógica 4 - Reglas de inferencias lógicas 

      Solís-Palma, Angie (2022-07)
      Se presenta una lista de las reglas de inferencias lógicas y sus nombres.

    • Lógica 3 - Leyes de la lógica 

      Solís-Palma, Angie (2022-07)
      Se presenta una lista de las equivalencias lógicas y sus nombres.

    • Lógica 2 - Tautología - Falacia - Eventualidad 

      Solís-Palma, Angie (2022-07)
      Se presentan las definiciones de tautología, falacia (contradicción) y eventualidad (contingencia). Y a partir de estas, las definiciones de tautológicamente equivalente, e implicar tautológicamente.

    • Lógica 1 - Proposiciones 

      Solís-Palma, Angie (2022-07)
      Se presenta la definición de una proposición y las tablas de verdad para proposiciones compuestas.