Lógica: conceptos, formalización y aplicación en los sistemas computacionales [PDF]
, 2021 Desde sus inicios la lógica ha intentado encontrar la verdad o en algunos casos el sentido, en la antigua Grecia fue la partida de la formalización tanto del lenguaje como las matemáticas.
Leon Tabares , Juan Jose +1 more
core +1 more source
Aproximación de soluciones del problema MAX-SAT usando cómputo cuántico adiabático [PDF]
, 2018 Actualmente, se han propuesto tecnologías cuánticas basadas en el algoritmo de temple cuántico y cómputo cuántico adiabático con aplicaciones a problemas de optimización combinatorios.
MORALES HUERTA, MARTHA GUADALUPE +1 more
core
Metodología para el diseño y uso eficiente de los recursos espaciales y temporales en la solución de problemas en sistemas aritméticos digitales [PDF]
, 2017 En la electrónica actual, los sistemas digitales desempeñan un papel muy importante en la vida cotidiana, ya que se está en un período del boom tecnológico; anteriormente las aplicaciones de la electrónica se limitaban a la informática, pero en la ...
Pineda Vargas, Xiliana
core
Software para la gestión de requerimientos del modelo conceptual de un sistema de información [PDF]
, 2016 El presente trabajo describe una aplicación web denominada SIAR (Sistema Integral de Administración de Requerimientos) que administra y valida los requerimientos del Modelado Conceptual de un sistema de información mediante Casos de Uso, según los ...
Castro, Claudia +5 more
core +4 more sources
XLOP (XML Language-Oriented Processing) [PDF]
, 2009 En este trabajo de Sistemas Informáticos se ha desarrollado un entorno para el procesamiento de documentos XML mediante gramáticas de atributos denominado XLOP(XML Language‐Oriented Processing).
Martínez Avilés, Alberto +1 more
core
Estudio de una Red Neuronal Recurrente Dual aplicada a la generación de secuencias [PDF]
, 2020 Máster Universitario en en Investigación e Innovación en Inteligencia Computacional y Sistemas InteractivosSe ha realizado un estudio de la equivalencia entre las redes neuronales recurrentes y los autómatas finitos deterministas con el fin de ...
Oliva Moya, Christian
core
¿Determinismo y Causalidad? Sobre la inexistencia del Libre Arbitrio [PDF]
, 2007 El Presente Artículo, Centrándose En El Reciente Libro Del Profesor Juan Aranalos Filósofos Y La Libertad, Critica, Desde El Materialismo Filosófico, La Ideade Libre Arbitrio.
Pérez Jara, Javier
core
Checking equivalence of specifications based on regular expressions [PDF]
, 2021 Trabajo de Fin de Grado Ingería Informática, Facultad de Informática UCM, Departamento de Ingeniería del Software e Inteligencia Artificial, Curso 2020/2021, el código de esta herramienta está disponible en el repositorio de GitHub: https://github.com ...
Benito Montoro, Raúl, Chen, Xukai
core +1 more source
Evaluación del desempeño de un Autómata Finito Determinista Bidireccional con memoria Lifo/Fifo [PDF]
, 2017 En el campo de las máquinas abstractas hay una franja muy interesante que normalmente recibe poca atención, que está integrada por aquellas de capacidad inferior a la Máquina de Turing y mayor a la del Autómata Finito.
Constable, Leticia +3 more
core +1 more source
Diseño e implementación de un analizador de biosecuencias: Análisis de subsecuencias de repetición [PDF]
, 2016 [ES] En el presente TFG se desarrollará un analizador de secuencias de carácter bioquímico (fundamentalmente, secuencias de ADN y de ARN) para la búsqueda de posibles mutaciones debidas a la repetición de subsecuencias.
Villar Lafuente, Carlos José
core