7425 artículos
Este artículo presenta una encuesta sobre enfoques sistemáticos para fragmentos restringidos de la lógica proposicional y modal, analizando cómo su poder expresivo y complejidad computacional dependen de los operadores permitidos, integrando marcos históricos y resultados sobre aprendibilidad para clasificar estos fragmentos y proponer problemas abiertos.
Este artículo analiza asintóticamente el aprendizaje multitarea en modelos de perceptrón, demostrando teóricamente que combinar tareas actúa como una regularización implícita que mejora la generalización y empíricamente que retrasa o mitiga el fenómeno de la doble caída.
El artículo demuestra que el desanillo de dos componentes en la 4-esfera admite infinitas clases de isotopía de 3-discos que lo abarcan y son Brunianos.
Este trabajo demuestra la estabilización de flujos en redes de canales abiertos modelados por ecuaciones de Saint-Venant con fricción mediante el diseño de una nueva función de Lyapunov explícita que permite controlar el sistema únicamente en los nodos terminales, incluso cuando los estados estacionarios son no uniformes.
Este artículo desarrolla estimaciones de error cuantitativas que vinculan las fluctuaciones microscópicas de sistemas de partículas con las movilidades macroscópicas de sus límites hidrodinámicos, proporcionando cotas explícitas para procesos de exclusión y partículas brownianas, así como resultados de comportamiento asintótico para ecuaciones estocásticas con coeficientes irregulares.
El artículo establece una estimación dispersiva con tasa de decaimiento para la ecuación de Schrödinger unidimensional perturbada por una serie de potenciales delta de corto alcance, bajo suposiciones de decaimiento en las constantes de acoplamiento y en ausencia de resonancia de energía cero.
Este artículo inicia el estudio de los grafos mínimamente duros en la clase de los grafos débilmente cordales, proporcionando clasificaciones completas para varias subclases y ofreciendo demostraciones simplificadas de resultados previos sobre el tema.
Este artículo demuestra que los esquemas de grupos Bruhat-Tits reductivos divididos sobre una base de dimensión superior son afines, presentando además una nueva construcción de tales esquemas más general que los parabólicos mediante la extensión de la construcción de J.-K. Yu, dilataciones de Néron-Raynaud y técnicas de teoría de estructuras.
Este artículo aborda un problema de programación de máquinas paralelas uniformes en un contexto de optimización bilevel optimista, demostrando su NP-dureza fuerte y proponiendo un algoritmo de programación dinámica, una formulación MIP y un algoritmo de ramificación y acotación con generación de columnas para resolver instancias de hasta 80 trabajos.
Este artículo presenta un marco paramétrico robusto basado en el estimador de mínima divergencia de densidad de potencia (MDPDE) para la detección y clasificación consistente de saltos en procesos de difusión CIR y CKLS observados a alta frecuencia, aprovechando la separación asintótica entre las componentes de difusión y salto para establecer un umbral de detección válido y minimizar las falsas alarmas.
El artículo presenta una demostración incondicional de que los ceros no triviales de la función zeta de Riemann se encuentran estrictamente en la línea crítica, utilizando expansiones de Taylor recursivas para derivar una contradicción lógica a partir de la suposición de la existencia de ceros fuera de dicha línea.
El artículo introduce las lógicas modales constructivas y , demuestra que ambas son completas en tiempo exponencial (EXPTIME) y poseen la propiedad de modelo finito de tamaño exponencial, resolviendo así la conjetura de Afshari et al. sobre su fragmento sin diamantes y estableciendo que los problemas de validez de y también se encuentran en EXPTIME mediante su incrustación en estas lógicas.
Basándose en los métodos de Iwasawa y Kida, este artículo establece resultados explícitos sobre los invariantes de las extensiones -ciclotómicas de cuerpos numéricos, derivando una fórmula concreta para campos multi-cuadráticos imaginarios bajo la conjetura de Greenberg y proporcionando un criterio para determinar la paridad de sus números de clase.
Este artículo introduce la familia de medidas de curvatura dual -afines para cuerpos convexos, estudia sus problemas de Minkowski correspondientes estableciendo condiciones suficientes y necesarias para la existencia de soluciones, y demuestra que el caso suave equivale a resolver un nuevo tipo de ecuaciones en derivadas parciales relacionadas con transformadas de coseno .
Este artículo establece nuevas cotas de Berry-Esseen para la estimación de parámetros en procesos gaussianos observados a alta frecuencia, utilizando un estimador de segundo momento y técnicas novedosas que demuestran tasas de convergencia más precisas que las existentes en la literatura.
Este artículo establece una condición necesaria para que un núcleo de reproducción -invariante en un dominio de Cartan tenga la propiedad de Nevanlinna-Pick completa, generaliza el Lema de Kaluza y caracteriza dicha propiedad mediante la extensión y construcción explícita de funciones características para contracciones en el marco de la teoría de Sz.-Nagy--Foias.
Este trabajo regulariza el principio de superposición para ecuaciones de Fokker-Planck (incluyendo el caso no lineal de las ecuaciones de medio poroso generalizado) mediante la construcción de un proceso de Markov fuerte asociado, lo que permite resolver problemas de flujo fundamental y de Dirichlet para coeficientes altamente generales y establecer la validez de la propiedad de Markov fuerte en este contexto.
Este artículo presenta un algoritmo de gradiente implícito suavizado (SIGA) para resolver problemas de optimización con restricciones de desigualdad variacional paramétrica en conjuntos móviles, demostrando la continuidad Lipschitz de la solución, la existencia de puntos estacionarios bajo regularidad métrica automática y validando la eficiencia del método mediante gestión de carteras con datos reales.
El artículo demuestra que, a diferencia de las funciones convexas, no es posible extender en general las funciones cuasiconvexas lipschitzianas definidas en un conjunto convexo cerrado de un espacio normado de dimensión finita a todo el espacio preservando la propiedad de Lipschitz, aunque la existencia de extensiones uniformemente continuas o continuas se caracteriza por propiedades geométricas del conjunto.
Este artículo investiga las condiciones que inducen estructuras planas en dibujos de grafos completos, demostrando que ciertas reglas de cruce hacen inevitables las curvas disjuntas, mientras que otras permiten dibujos donde todas las curvas se intersecan, caracterizando así la aparición de estructuras planas bajo diferentes restricciones.