Buscar
Mostrando ítems 101-110 de 1786
Desarrollo de un Sistema Inteligente para la generación, identificación, clasificación, redacción y recomendaciones de noticias utilizando GPT-J
(2022-07)
Intelligent system using an autoregressive (AR) language model that allows to identify, classify, generate and recommend Ecuadorian news through topics or parameters entered by the user, using intelligent models such as GPT-J.
Reconstructing propositional proofs in type theory
(Universidad EAFITMaestría en Matemáticas AplicadasEscuela de Ciencias. Departamento de Ciencias Básicas, 2017)
We describe a syntactical proof-reconstruction approach to verify derivations generated by Metis prover to theorems in classical propositional logic -- To verify such derivations, we formalize in type theory each inference ...
Sistema de control para un convertidor buck
(Instituto Tecnológico MetropolitanoFacultad de IngenieríasIngeniería ElectrónicaInstituto Tecnológico Metropolitano, 2017)
Se diseñó un sistema de control para un convertidor Buck con el cual se pretende realizar investigaciones en aplicaciones con energía renovable. Dicho control, está compuesto por una tarjeta Arduino Mega2560 y un controlador ...
Modelamiento ambiental matemático con aplicaciones en R: ejemplos y ejercicios prácticos
(Universidad de La Salle. Ediciones Unisalle, 2021)
Modelamiento computacional del efecto del envejecimiento sobre el procesamiento sintáctico.
(Universidad de Concepción.Departamento de EspañolDepartamento de Español., 2011)
Los años que preceden al diagnóstico de la Enfermedad de
Alzheimer (EA) o a la comprobación de un envejecimiento exitoso
preocupan cada día más a los especialistas en el tema y a los
directivos de los sistemas de salud. ...
Category theory applied to functional programming
(Universidad EAFITIngeniería de SistemasEscuela de Ingeniería. Departamento de Ingeniería de Sistemas, 2014)
We study some of the applications of category theory to functional programming, particularly in the context of the Haskell functional programming language, and the Agda dependently typed functional programming language and ...
Prototipo del protocolo NETCONF para la gestión integrada de elementos de red
(Pontificia Universidad Javeriana, 2015)
Identificación de parámetros prosódicos en señales de voz, mediante el uso de dispositivos de hardware reconfigurable (FPGA)
(Pereira : Universidad Tecnológica de PereiraFacultad de Ingenierías Eléctrica, Electrónica, Física y Ciencias de la ComputaciónIngeniería Eléctrica, 2011)
Implementación de solución de integración utilizando herramientas de software libre
(Universidad EAFITIngeniería de SistemasEscuela de Ingeniería. Departamento de Ingeniería de Sistemas, 2007)
Introducción a los sistemas de control
(Universidad de La Salle. Facultad de Ingeniería. Ingeniería Eléctrica, 1993)