Diseño e implementación de un analizador de biosecuencias: Análisis de subsecuencias de repetición [PDF]
[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
Optimización del proceso de corte de una serrería mediante programación dinámica y lenguajes formales [PDF]
La optimización es una rama de la matemática que se encarga de la determinación de las mejores soluciones, respecto a un objetivo, para ciertos problemas que pueden ser matemáticamente modelados y para los cuales existen modelos bien definidos.
Gutiérrez Gallego, Manuel Felipe
core
Determinismo e historia en Karl Marx. [PDF]
Sin ...
Sánchez Estop, Juan Domingo
core +2 more sources
Implementación de una herramienta didáctica para la manipulación de autómatas finitos y expresiones regulares [PDF]
En este trabajo presentamos una herramienta que pretende facilitar la labor docente de la asignatura Lenguajes, gramáticas y autómatas, y en particular el uso y manejo de autómatas finitos y expresiones regulares.
Cabós, Joan +2 more
core
Diseño e implementación de una metaheurística híbrida basada en recocido simulado, algoritmos genéticos y teoría de autómatas para la optimización bi-objetivo de problemas combinatorios [PDF]
En la actualidad solo un trabajo de investigación se ha dedicado al estudio del espacio factible para problemas combinatorios multi-objetivo basándose en la teoría de Autómatas Finitos Deterministas.
Nieto Parra, Henry David
core
Metaheurística basada en autómatas finitos y algoritmos genéticos para la optimización triobjetivo del problema de la gente viajero simétrico multiobjetivo [PDF]
En la actualidad solo existe una metaheurística basada en Autómata Finito Determinista que permite modelar y describir un espacio de soluciones factibles para optimizar problemas combinatorios multi-objetivo tipo hard, llamada Metaheurística de ...
Chinchilla Camargo, Anangélica Isabel
core
From formal languages to finite automata [PDF]
RESUMEN: Un lenguaje formal se puede definir por el conjunto de palabras, y para saber si una palabra pertenece a un lenguaje, se pueden utilizar autómatas diseñados a partir de la definición del lenguaje.
Tapia Ruiz, Álvar
core
¿Kant contra Spinoza?: dos éticas de la autonomía. [PDF]
Sin ...
Fernández García, Eugenio
core +1 more source
Herramienta Flex para el analisis lexicográfico de lenguajes formales [PDF]
Flex y Bison son dos herramientas útiles para crear programas que reaccionen a una entrada de datos con una estructura y un lenguaje predeterminado. Como ejemplo se pueden crear compiladores intérprete y analizadores de línea de comando. Flex define
Resendiz Chavez, Guillermo
core
Anatomía de un acto espontáneo [PDF]
Este trabajo presenta la espontaneidad humana como una manifestación inconsciente del fuero interno de los individuos; una revelación de todo lo instintivo que hay en el hombre; una expresión que lo identifica, lo hace libre o lo condena.
Parra Patiño, Sandra Dayana +1 more
core

