Listar por título
Mostrando ítems 6466-6485 de 10446
-
Low power embedded software optimization for the NuttX RTOS
(Instituto Tecnológico de Costa Rica, 2013)This paper presents the study of the implementation for a new feature that allows the NuttX RTOS, handling the power consumption in order to optimize it. The project was focused on controlling different power states, ... -
Lógica 1 - Proposiciones
(2022-07)Se presenta la definición de una proposición y las tablas de verdad para proposiciones compuestas. -
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 3 - Leyes de la lógica
(2022-07)Se presenta una lista de las equivalencias lógicas y sus nombres. -
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 5 - Cuantificadores
(2022-07)Se presenta la definición de proposición abierta y los cuantificadores existencial y universal. -
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 7 - Métodos de demostración
(2022-07)Se presentan diferentes métodos de demostración y una explicación de como abordarlos. -
Luthiers de la Tecnología (LuTec). Construcción de productos educativos mediante el uso de laboratorios de fabricación personal. III Etapa: Elementos de construcción y programación de robots.
(Instituto Tecnológico de Costa Rica., 2012)Como resultado de esta investigación se logró diseñar, construir y probar los módulos planteados; estos fueron: contadores, temporizadores y sensores de luz, aunque estos últimos se pueden adaptar a cualquier sensor de ... -
Macromodel Extraction for Drivers in High-Speed Communications Channels
(Instituto Tecnológico de Costa Rica, 2015)This thesis describes the process performed for extracting a descriptive macromodel for a generic transmitter block at IC level for high-speed channels applications. The work has been focused on a first approach to ... -
Maderas de la Península de Osa: su descripción e identificación para el control de su aprovechamiento
(Instituto Tecnológico de Costa Rica. Escuela de Ingeniería Forestal, 2011)La Península de Osa posee una de las vegetaciones más exuberantes, complejas y diversas de Costa Rica. Sus nutridas selvas se deben a la convinación de elementos naturales que han promovido el establecimiento de unidades ... -
Maderas de Reforestación Hacia la Sostenibilidad (MADERHAS)
(Instituto Tecnológico de Costa Rica., 2008-12)En el presente documento presenta la información de 10 de las especies forestales, a saber acacia (Acacia mangnium), jaul (Alnus acuminata), pochote (Bombacosis quinatum), Cupressus lisutanica, laurel (Cordia alliodora), ...