4372 artículos
Este artículo presenta un marco de monitoreo en línea eficiente y escalable para la Lógica Temporal Métrica (MTL) en sistemas ciberfísicos, basado en la construcción unificada de redes secuenciales mediante una técnica de marcado temporal futuro que utiliza representaciones simbólicas basadas en intervalos para comportamientos en tiempo discreto y denso.
Este artículo establece que la verificación de módulos en sistemas multiagente de pila (PMS) es 2EXPTIME-completa para especificaciones ATL y 4EXPTIME-completa para ATL*, demostrando que este último caso es exponencialmente más difícil que la verificación de modelos y constituye un problema natural elemental con una complejidad superior al tiempo triplemente exponencial.
Este artículo demuestra que los contadores probabilísticos, como el de Morris y el MaxGeo, pueden garantizar la privacidad diferencial en la agregación de datos mediante su aleatorización inherente, sin necesidad de añadir ruido externo, ofreciendo así una alternativa eficiente para encuestas distribuidas.
Este artículo presenta una generalización unificada de la operación de conmutación para (n,m)-grafos, establece resultados fundamentales sobre sus homomorfismos, resuelve problemas abiertos mediante la construcción de un producto categórico y determina el número cromático para bosques utilizando nociones de teoría de grupos.
Este estudio presenta un marco metodológico basado en un modelo de regresión de Poisson y datos filtrados para estimar la demanda excedente en sistemas de transporte público, aplicándolo exitosamente a los datos de la Autoridad Portuaria de Pittsburgh para cuantificar el número de pasajeros que no pudieron abordar los autobuses debido a la falta de capacidad.
Este estudio revisa y amplía la investigación sobre sesgos implícitos en el arbitraje de la NBA, utilizando datos de jugadas y reportes de los últimos dos minutos para concluir que, aunque existe un sesgo favorable hacia los equipos locales (especialmente en playoffs) y ciertos jugadores se benefician estadísticamente de las decisiones arbitrales, no se encontró evidencia de sesgos negativos hacia jugadores o equipos específicos, ni de sesgos raciales.
Este artículo presenta un nuevo problema de selección de planes informativos (TIPS) y un algoritmo de aproximación para identificar planes de consulta alternativos representativos que mejoren la comprensión de los optimizadores de consultas en la educación de bases de datos, validando su eficacia mediante evaluaciones a largo plazo en el aula.
Este artículo presenta una nueva prueba elemental del propiedad de modelo finito para el álgebra de Kleene, demostrando que es completa respecto a modelos relacionales finitos mediante el uso de autómatas de transformación y unificando así resultados previos de Kozen, Pratt y Palka.
Este artículo estudia las palabras de Dyck en secuencias binarias, demostrando que las palabras libres de potencias $7/3$ tienen un nivel de anidamiento acotado, caracterizando y contando los factores de la palabra de Thue-Morse que son de Dyck, y estableciendo cotas ajustadas para su número.
Este artículo demuestra cómo utilizar el demostrador de teoremas Walnut para obtener una prueba computacionalmente directa de un teorema clásico sobre representaciones , lo que permite recuperar automáticamente resultados existentes y obtener nuevos hallazgos de manera uniforme y sin inducción.
Este artículo demuestra que la eliminación de cuantificadores universales en estructuras automáticas puede requerir un aumento exponencial doble en el tamaño de la representación, estableciendo que el problema de decidir la vacuidad de tales lenguajes es completo para EXPSPACE.
Este artículo refina la técnica de grafos de tipos ponderados para probar la terminación de sistemas de transformación gráfica DPO, aumentando su potencia, generalizándola a otras categorías y adaptándola a variaciones de DPO presentes en la literatura.
El artículo presenta BOPIM, un algoritmo de optimización bayesiana que supera a los métodos existentes en velocidad y eficacia para la maximización de influencia en redes temporales, resolviendo desafíos de espacio combinatorio mediante nuevas funciones de kernel y cuantificando por primera vez la incertidumbre en los conjuntos de nodos semilla óptimos.
Este estudio longitudinal revela que las actualizaciones sucesivas de modelos de lenguaje grandes (como GPT, Llama y Qwen) no garantizan una mejora consistente en su robustez adversarial frente a la mala clasificación, los jailbreaks y las alucinaciones, demostrando que versiones más recientes o de mayor tamaño pueden incluso degradar ciertos aspectos de seguridad.
Este artículo generaliza los axiomas de cardinalidad de las álgebras de relaciones a las álgebras de Stone para modelar grafos ponderados, estableciendo condiciones suficientes para su representabilidad y derivando axiomas más simples para las álgebras de relaciones.
Este artículo caracteriza los conjuntos de grafos definibles en lógica monádica de segundo orden con conteo y contextolibres, demostrando su equivalencia con conjuntos reconocibles de ancho arbóreo acotado, conjuntos analizables mediante transducciones definibles y la imagen de conjuntos de árboles reconocibles bajo transducciones definibles, basándose en la conexión entre resultados seminales de Courcelle, Engelfriet, Bojanczyk y Pilipczuk.
El artículo demuestra que, mientras existen continuas extensiones axiomáticas de la lógica sin la regla de intercambio que poseen la propiedad de interpolación deductiva, exactamente sesenta extensiones con intercambio (y sus variedades algebraicas correspondientes) cumplen dicha propiedad y admiten una completación de modelo.
Este artículo establece una base para un cálculo de expresiones contextuales sin ligadores de variables mediante la identificación de una copia del cierre de punto fijo de un álgebra de Kleene dentro de un producto tensorial con un álgebra poliacíclica, utilizando representaciones de autómatas y teoremas de forma normal que restringen la aparición de paréntesis.
Este artículo presenta un algoritmo de tiempo polinómico para particionar un polígono simple en el número mínimo de polígonos estelares, resolviendo así un problema teórico abierto durante más de cuatro décadas.
El artículo generaliza desigualdades para la función sumatoria de la suma de dígitos en una base entera, demostrando que varios resultados conocidos se deducen de un teorema de un trabajo de 2023 sobre la robustidad mutacional máxima en mapas genotipo-fenotipo.