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

Este artículo habla de una nueva variante de la lógica modal intuicionista, su estructura y aplicaciones.

Examinando los riesgos de seguridad de los ejecutables de DNN contra ataques de bit-flip.

Un método para mejorar el reconocimiento de entidades nombradas en consultas de búsqueda en chino.

Una visión general de las hipersuperficies ponderadas, la racionalidad y su importancia en las matemáticas.

Descubre los patrones matemáticos en el Solitario Búlgaro y sus sorprendentes revelaciones.

Las permutrees combinan características de árboles binarios y permutaciones para representar relaciones complejas.

Este artículo habla sobre el algoritmo de Nesterov con regularización de Tikhonov para una optimización efectiva.

Nuevos métodos reducen los errores de traducción en sistemas multilingües.

Aprende cómo los arreglos de datos afectan el rendimiento y el papel de los algoritmos evolutivos.

Un nuevo método mejora la equidad en la detección de pólipos de cáncer colorrectal.

Una mirada a cómo habilitar la bisimilitud preservadora y su impacto en el análisis de procesos.

Este artículo conecta autómatas de pila paralelos con gramáticas libres de contexto conmutativas.

Este artículo presenta un sistema de tipos para manejar bloqueos en programación.

Una mirada a las propiedades de cancelación en sistemas probabilísticos y sus implicaciones.

El declive de la investigación SOS nos hace mirar hacia sus perspectivas futuras.

Aprende cómo los tipos de sesión aseguran una comunicación segura en sistemas de software.

Un estudio que revisa diferentes formulaciones para cortar formas de manera eficiente.

Explorando puntos de corte dorados para mejorar la eficiencia de circuitos cuánticos.

Explora la importancia de los ideales de borde en gráficos orientados ponderados.

Nuevo método mejora el estudio del comportamiento de partículas en materia activa.

Nuevos métodos ofrecen mejor precisión para resolver problemas de eigenvalores paramétricos en varios campos.

VEATIC ofrece un conjunto de datos más completo para estudiar las emociones humanas en contexto.

Explorando la conexión entre redes residuales y ecuaciones diferenciales ordinarias neuronales.

Este estudio examina atractores globales y shadowing en sistemas dinámicos no compactos.

Un nuevo modelo mejora la clasificación de series temporales aprendiendo a deformar secuencias.

Una mirada a conceptos de teoría de grupos como la exponenciación y los autómatas.

Una mirada a cómo el aprendizaje de autómatas impacta en varios campos tecnológicos.

Aprende sobre la generación de código, técnicas de optimización y su importancia en la programación.

Un enfoque nuevo para comprobar la corrección de programas que usan aleatoriedad.

Aprende cómo el treewidth bipartito ayuda a resolver problemas complejos de grafos de manera eficiente.

Explorando el papel de los aniquiladores en mapas polinómicos y sus implicaciones.

Un nuevo método para representar y manipular gráficos dispersos de forma efectiva.

Nuevos modelos mejoran la precisión y la velocidad al analizar oraciones complejas.

Una visión general de la energía libre en sistemas complejos como los vidrios de espín.

Este artículo explora la aplicación de métodos de elementos finitos en el análisis en cuatro dimensiones.

Un nuevo método busca reducir los tiempos de compilación en tareas de computación cuántica.

Presentando el Método de Descenso Estocástico Más Empinado para una mejor optimización en espacios complejos.

Una mirada a autómatas que recorren cadenas de entrada en ambas direcciones.

Una visión general de autómatas cuánticos que reconocen lenguajes unarios usando métodos novedosos.

Explorando el papel de las formas sentenciales finales en la generación de lenguaje a través de CFGs.