Últimos artículos para Ciencias de la Computación

Explora el papel de las categorías y estructuras aplicativas en matemáticas y ciencias de la computación.

Explorando el complicado problema de invertir permutaciones en criptografía.

La investigación destaca el tamaño mínimo para un sistema de Kochen-Specker en mecánica cuántica.

Examinando la propiedad de borde-Erdős-Pósa en grafos subcúbicos complejos.

Una visión general de la conectividad en grafos y la propiedad de borde de Erdős-Pósa.

Este artículo habla sobre métodos eficientes para verificar sistemas de compartición de bloqueos ante posibles problemas.

Explora el papel de las bases de Gröbner en la resolución de ecuaciones polinómicas.

LearnWSAT mejora la resolución de problemas SAT utilizando técnicas de aprendizaje por refuerzo.

Explora el juego estratégico de polis y ladrones jugado en grafos.

Explorando gráficos localmente irregulares y sus implicaciones en varios campos.

Una mirada al análisis de seguridad en sistemas distribuidos usando encuentros no bloqueantes.

Un nuevo método que usa mallas prismáticas ofrece mejor precisión en las soluciones de la ecuación de calor.

Este estudio investiga el problema de síntesis en procesos compartidos y particionados.

Una exploración detallada de la formalización de la teoría de categorías en matemáticas.

Un nuevo método mejora las configuraciones de GPU para simulaciones de dinámica de fluidos a través del aprendizaje automático.

Examinando las conexiones entre el movimiento de fluidos y la geometría a través de la ecuación EPDiff.

Un nuevo modelo para entender redes complejas con múltiples conexiones.

Un nuevo método reduce el costo de entrenar modelos grandes en aprendizaje automático.

Explora métodos efectivos para muestrear de distribuciones de datos complejas en redes.

Una mirada a nuevos métodos de subtipado para tipos de sesión libres de contexto en programación.

El algoritmo MGB aborda de manera eficiente PDEs no lineales complejas para varias aplicaciones.

Aprovechando modelos de lenguaje para generar explicaciones claras de soluciones de programación.

Examinando cómo las hiperpropiedades probabilísticas pueden mejorar la seguridad del programa.

Una mirada a las fórmulas que ayudan a entender el comportamiento de los sistemas.

Una mirada a los grupos reductivos, sus propiedades y aplicaciones.

Examinando la exclusión mutua y el impacto de los tipos de registros en los algoritmos.

Este artículo habla sobre estrategias para reducir la comunicación en problemas de regresión distribuidos.

Una mirada simplificada a dos conceptos clave en la teoría de categorías.

Este artículo explora cómo los ZDDs mejoran la resolución de acertijos lógicos.

Una mirada a los autómatas celulares y sus conexiones con la mecánica cuántica y la termodinámica.

Los modelos de conciencia explican cómo las personas perciben el conocimiento y las creencias.

Examinando cómo los límites variables afectan la lógica y la decidibilidad en el cálculo relacional.

Optimizando operaciones con tensores dispersos para mejorar el rendimiento y la eficiencia.

Explora cómo los gráficos dinámicos capturan la naturaleza cambiante de las relaciones.

Esta investigación compara la efectividad de los oráculos SAT y NP para el conteo de modelos aproximados.

Una nueva forma de integrar la parametricidad interna en la teoría de tipos, mejorando la fiabilidad.

Aprende cómo simplificar expresiones regulares puede mejorar su claridad y eficiencia.

Técnicas para evaluar las propiedades de seguridad de protocolos criptográficos.

Una mirada a los esquemas de etiquetado para mantener la conectividad del grafo en medio de fallos de vértices.

Explora el papel de la factorización de polinomios en campos finitos y sus aplicaciones.