3447 artículos
Este trabajo presenta un método de diagnóstico impulsado por mediciones para O-RAN que, mediante el análisis conjunto de la latencia de cola y los indicadores de la capa de radio en escenarios reales, revela diferencias dependientes del dispositivo y propone banderas de degradación para un monitoreo y solución de problemas más efectivos.
El artículo presenta LLMGreenRec, un nuevo sistema de recomendación multiagente basado en modelos de lenguaje grande que fomenta el consumo sostenible en el comercio electrónico al identificar intenciones ecológicas de los usuarios y reducir simultáneamente la huella de carbono digital.
Este trabajo resuelve una pregunta abierta demostrando la primera separación explícita entre la privacidad diferencial en el modelo de observación continua para los casos no adaptativo y adaptativo, mostrando que un algoritmo no adaptativo puede mantener la precisión durante un número exponencial de pasos temporales mientras que cualquier algoritmo adaptativo falla tras unos pocos pasos.
El artículo presenta las "Reading Activity Traces" (RATs), un marco que revaloriza la lectura como una actividad creativa en sí misma al hacer visibles los procesos de navegación, interpretación y curación que las herramientas automatizadas suelen ocultar, ilustrado mediante una implementación especulativa en Wikipedia llamada WikiRAT.
El artículo presenta DynVLA, un modelo de VLA para conducción autónoma que introduce el paradigma "Dynamics CoT" mediante un tokenizador de dinámicas que comprime y decodifica la evolución del mundo en representaciones compactas antes de generar acciones, logrando así una toma de decisiones más informada y físicamente fundamentada que supera a los métodos tradicionales de razonamiento textual y visual.
El artículo presenta Agentar-Fin-OCR, un sistema de análisis de documentos financieros que transforma PDFs de gran longitud en salidas estructuradas y auditables mediante algoritmos de consolidación de contenido entre páginas y aprendizaje curricular adaptativo, acompañado del lanzamiento de FinDocBench, un nuevo benchmark especializado para evaluar el rendimiento en este dominio.
Este artículo presenta una discusión exhaustiva sobre el concepto, la arquitectura y el modelado de beneficios del *network slicing* en la red 5G, analizando sus dimensiones de implementación propia y arrendamiento de recursos, además de abordar los desafíos y direcciones de investigación futuros.
Este estudio combina datos de una muestra representativa de estadounidenses con información de *Have I Been Pwned* para estimar que al menos el 82,84% de los adultos en EE. UU. han sufrido al menos una violación de sus cuentas en línea, con un promedio de tres brechas por persona, siendo más propensas a verse afectadas las mujeres, los blancos, las personas de mediana edad y los más educados.
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.