Repositorio TEC: Recent submissions
Now showing items 1-20 of 9996
-
Transmogrifying performance analysis: data analytics on GPU application codes
(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
(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
(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
(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
(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
(2022-11-01)En programación Python, mostrar la estructura de bifurcación o condicional. -
Números triangulares
(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
(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
(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
(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
(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
(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
(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
(2022-07)Se presentan diferentes métodos de demostración y una explicación de como abordarlos. -
Lógica 6 - Equivalencias y cuantificadores
(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
(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
(2022-07)Se presenta una lista de las reglas de inferencias lógicas y sus nombres. -
Lógica 3 - Leyes de la lógica
(2022-07)Se presenta una lista de las equivalencias lógicas y sus nombres. -
Lógica 2 - Tautología - Falacia - Eventualidad
(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
(2022-07)Se presenta la definición de una proposición y las tablas de verdad para proposiciones compuestas.