Browsing by Subject "Algoritmos"
Now showing items 1-13 of 13
-
Algoritmos para decidir definibilidad de fragmentos de lógica en primer orden
(2023-06-29)Dada una estructura A, decimos que un conjunto T es definible en primer orden sin cuantificadores si y solo si existe una fórmula sin cuantificadores φ tal queA ⊨φ(x) para todo x∈T, mientras que A ⊭φ(x) para todo x∈A\T. ... -
Algoritmos para decidir definibilidad de relaciones en fragmentos de primer orden
(2016-03)En este trabajo desarrollamos algoritmos para decidir definibilidad de relaciones sobre familias finitas de estructuras finitas de primer orden. Presentamos algoritmos para los siguientes tipos de fórmulas: abiertas, ... -
Alteraciones en la modulación respiratoria del vector cardíaco en pacientes con enfermedad de Chaga
(Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales., 2014)Hace hincapié a que pueden existir alteraciones eléctricas en el sistema de conducción del corazón y cambios de propagación y modulación del potencial de acción cardíaco (PAC) debido a la invasión miocardia del Trypanosoma ... -
Análisis de estructuras de sufijos de strings
(2021)El problema de desarrollar algoritmos que decidan si un cierto patrón o palabra aparece o no en un determinado texto es fundamental en ciencias de la computación. Diversos algoritmos se han desarrollado en las últimas ... -
Análisis numérico de sólidos bidimensionales en grandes deformaciones elasto-viscoplásticas con acoplamiento termomecánico
(Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales., 2011)Desarrolla una herramienta numérica basada en el método de elementos finitos, para simular computacionalmente procesos de conformado plástico de metales en frío y en caliente, en particular problemas de forjado y extrusión ... -
Análisis y comparación de medidas e índices de similaridad para imágenes digitales
(2019)El enorme desarrollo de los recursos tecnológicos de las últimas décadas, ha sido un factor determinante en la construcción e implementación computacional de diferentes índices y medidas de calidad para cuantificar la ... -
Codificación para corrección de errores con aplicación en sistemas de transmisión y almacenamiento de información
(Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales., 2013)Trata de una técnica de diseño de códigos de chequeo de paridad de baja densidad ( más conocidas por sigla en ingles como LDPC) y un nuevo algoritmo de post- procesamiento para la reducción del piso de error -
Desarrollo y evaluación de algoritmos para combinar mallas de elementos finitos con grillas del método de red de vórtices inestacionario con topología arbitraria
(Universidad Nacional de Córdoba. Facultad de Ciencias Exactas Físicas y Naturales. Escuela de Ingeniería Aeronáutica, 2014)Desarrolla e implementa algoritmos eficientes y robustos que permitan transferir datos entre grillas aerodinámicas y mallas estructurales, ambas, con topología arbitraria e independiente; y , de forma particular, consiste ... -
Evaluación de algoritmos de agrupamientos para inferir estructura genética poblacional en datos genómicos
(2021)La disponibilidad de herramientas basadas en biotecnologías para evaluar miles de variantes genómicas simultáneamente ha revolucionado el paradigma en los estudios de diversidad genética. La información provista por los ... -
Interpretación electroencefalográfica en la neurofisiología clínica y sus relaciones con la cuantificación de señales electroencefalográficas humanas. Análisis físico-matemáticos en el procesamiento de señales de electroencefalografía humana : una aproximación a patrones funcionales y fisiopatológicos
(2023-06-01)El objetivo de este trabajo es cuantificar, optimizar, precisar y sistematizar la interpretación médica del electroencefalograma a partir de la incorporación de cuantificadores. Para este fin se aplicaron métodos de teoría ... -
Modelos no lineales de pronóstico de series temporales basados en inteligencia computacional para soporte en la toma de decisiones agrícolas
(Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales., 2016)Centra modelos predictivos basados en redes neuronales destinados a pronosticar datos históricos de lluvia observados para la toma de desiciones. Estos algoritmos de aprendizaje automático pueden mejorarse en numerosos ... -
Protocolos para el Procesamiento Distribuido de Funciones de Umbral en Redes Inalámbricas de Sensores
(Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales., 2015)Determina el esquema de procesamiento más adecuado para la computación de funciones de tipo umbral en redes inalámbricas de sensores, se define un arquitectura determina el funcionamiento de cada nodo de la red y se ... -
Reconocimiento de patrones en campos aleatorios de Markov mediante modelos bayesianos para la agricultura de precisión
(Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales., 2016)Trata novedoso modelos matemáticos capaces de analizar e interpretar datos relacionados a la agricultura. Estos datos pueden ser macroscópico, como imágenes digitales o microscópicos, como sensores de humedad de suelos.