5292 artículos
Este artículo demuestra que ciertos diagramas de -logoses pueden reconstruirse en la teoría de tipos homotópicos extendida con modalidades léxicas y accesibles, lo que permite utilizar esta teoría para razonar sobre diagramas de -logoses y ofrece una versión de dimensión superior de la computabilidad sintética de Sterling.
Este artículo ofrece una visión general de las tecnologías y problemas abiertos en la conducción autónoma, abarcando áreas clave como percepción, localización y control, y analizando estas cuestiones dentro del marco del ciclo de datos cerrado para abordar los problemas de larga cola.
El documento presenta MCQUIC, una extensión del protocolo QUIC que habilita la transmisión multicast segura y eficiente para eventos en vivo a gran escala mediante cifrado, verificación de integridad y una caída automática a unicast, resolviendo así los desafíos de escalabilidad y privacidad que limitan su adopción en navegadores.
Este estudio compara la evolución de la financiación de investigación en salud entre la Unión Europea y los Institutos Nacionales de Salud de EE. UU. desde 2008, revelando que, aunque las agencias europeas han desplazado sus prioridades hacia la investigación orientada a pacientes y sistemas de salud, la producción científica resultante mantiene una fuerte continuidad en la investigación biomédica básica debido a restricciones institucionales y epistémicas.
Este artículo generaliza los resultados de accesibilidad directa para consultas conjuntivas positivas a las consultas conjuntivas con negaciones, demostrando la tratabilidad de esta operación mediante circuitos que representan datos relacionales y estableciendo la eficiencia para clases como las consultas negativas -acíclicas y de ancho de anidamiento acotado.
Este artículo introduce la unificación de segundo orden sin variables de primer orden (SOGU), demuestra que su variante asociativa (ASOGU) es indecidible mediante una reducción del décimo problema de Hilbert, y establece un nuevo límite inferior para la indecidibilidad de la unificación de segundo orden que requiere solo una variable de segundo orden y una única constante.
El artículo demuestra que la teoría ecuacional del cálculo positivo de relaciones con clausura transitiva (PCoR*) y sus extensiones son EXPSPACE-completas, presentando un método de decisión basado en derivadas sobre grafos que generalizan las derivadas de palabras para construir autómatas finitos.
Este artículo presenta ChatSearch, un nuevo conjunto de datos y un modelo de recuperación generativa llamado ChatSearcher, diseñados para facilitar la búsqueda de imágenes en dominios abiertos mediante conversaciones multimodales interactivas.
Este artículo demuestra que los esquemas actuales de marcaje de agua mediante puertas traseras para la verificación de propiedad de conjuntos de datos son vulnerables a la falsificación, ya que un atacante puede generar marcas de agua falsas estadísticamente indistinguibles de las originales para refutar alegaciones de infracción.
El artículo presenta Sketch2Cinemagraph, un marco de trabajo que utiliza bocetos manuales y prompts de texto para guiar la generación condicional de cinemagrafías de paisajes estilizados con control preciso sobre los elementos espaciales y de movimiento.
El artículo presenta vS-Graphs, un marco de SLAM visual en tiempo real que integra la comprensión de escenas jerárquica en grafos de escena 3D optimizables para generar mapas semánticamente ricos y precisos, logrando una mejora del 15,22% en la precisión de localización frente a los métodos más avanzados.
Este artículo presenta PromCopilot, un marco basado en modelos de lenguaje grande que utiliza un grafo de conocimiento para traducir consultas en lenguaje natural a PromQL, simplificando así el monitoreo de métricas en sistemas de servicios en línea nativos de la nube.
Este trabajo propone una estrategia de muestreo de pares positivos impulsada por el contexto espacial que mejora el aprendizaje auto-supervisado en patología computacional al aprovechar la coherencia morfológica de parches adyacentes en imágenes de diapositivas completas, logrando mejoras significativas en el rendimiento sin depender de anotaciones extensas.
El artículo presenta FlexHook, un nuevo marco de dos etapas para el seguimiento de objetos múltiples referenciados que supera a los métodos actuales al abordar las limitaciones de la construcción de características heurística y el modelado de correspondencia frágil mediante un gancho de condicionamiento y un decodificador de correspondencia por pares.
El artículo presenta ConDU, un enfoque novedoso de aprendizaje continuo para modelos visión-idioma que utiliza fusión de modelos y desencoplamiento de expertos para mitigar el olvido catastrófico, mejorar el rendimiento en tareas secuenciales y potenciar las capacidades de cero disparos sin necesidad de conjuntos de datos de referencia adicionales.
Este artículo presenta el diseño, la fabricación y el análisis experimental de un robot cuadrúpedo de tamaño medio impulsado por cadenas con patas tipo sándwich, que ofrece una plataforma de investigación asequible, fiable y de bajo costo capaz de realizar diversas locomociones.
Este artículo investiga y establece las condiciones necesarias y suficientes para lograr una comunicación fiable en redes dinámicas que enfrentan fallas bizantinas, pérdidas de mensajes y retrasos computacionales, identificando además las clases de redes donde estas condiciones se satisfacen.
Este artículo presenta un método de preprocesamiento lineal basado en un nuevo tipo de descomposición gráfica llamada árbol acíclico-conectado (A-C), que permite mejorar la complejidad temporal de los algoritmos de camino más corto desde un origen (SSSP) en grafos con estructuras modulares, logrando tiempos lineales para grafos acíclicos y reduciendo la dependencia del número de vértices al ancho de anidamiento del grafo.
Este artículo presenta TCBS-Attack, un nuevo método de ataque de jailbreak en caja negra que utiliza una búsqueda evolutiva guiada por los límites de decisión de los verificadores de texto e imagen para superar eficazmente las defensas de cadena completa en modelos de generación de texto a imagen.
El artículo presenta SEGA, un método novedoso que genera avatares de cabeza 3D fotorrealistas y controlables a partir de una sola imagen, combinando priores generalizados con un marco jerárquico de *Gaussian Splatting* en espacio UV para lograr una alta fidelidad, consistencia 3D y rendimiento en tiempo real.