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
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
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
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
Trazabilidad y validación de requerimientos funcionales de sistemas informáticos mediante la transformación de modelos conceptuales [PDF]
Resumen: El objetivo de este trabajo es caracterizar un método que permita la trazabilidad y validación de requerimientos funcionales de un sistema de información mediante la transformación de modelos conceptuales.
Groppo, Mario Alberto +2 more
core +1 more source
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

