7425 artigos
Este artigo apresenta uma revisão sistemática de fragmentos restritos de lógicas proposicionais e modais, analisando como sua expressividade e complexidade computacional dependem dos operadores permitidos, integrando abordagens baseadas em reticulados de Post e frameworks de conectivos modais, além de discutir resultados sobre aprendibilidade e identificar problemas em aberto.
Este artigo analisa assintoticamente o aprendizado multi-tarefa, demonstrando que combinar tarefas relacionadas equivale a adicionar termos de regularização que melhoram a generalização e adiam ou mitigam o fenômeno de "double descent".
O artigo demonstra que o 2-desenlace na 4-esfera admite infinitas classes de isotopia de 3-discos estendidos que são Brunnianos.
Este trabalho demonstra a estabilização de fluxos em redes de canais abertos governados pelas equações de Saint-Venant com atrito, propondo uma nova função de Lyapunov que permite o controle ótimo apenas nos nós terminais e estabelece condições explícitas para os parâmetros de ajuste.
Este artigo desenvolve estimativas de erro quantitativas que conectam as flutuações microscópicas de sistemas de partículas interagentes às mobilidades de seus limites hidrodinâmicos, fornecendo limites explícitos para discrepâncias em processos de exclusão e partículas brownianas, além de analisar o comportamento assintótico de equações estocásticas com coeficientes irregulares no contexto de soluções cinéticas renormalizadas.
O artigo estabelece uma estimativa de dispersão com taxa de decaimento para a equação de Schrödinger unidimensional com uma sequência de potenciais delta de curto alcance, sob condições de decaimento nos acoplamentos e na ausência de ressonância de energia zero, utilizando um princípio de absorção limite e a expansão em série de Born da extensão de Friedrichs.
Este artigo inicia o estudo de grafos minimamente duros na classe dos grafos fracamente cordais, fornecendo classificações completas para várias subclasses e oferecendo provas simplificadas de resultados anteriores sobre o tema.
Este artigo demonstra que os esquemas de grupos Bruhat-Tits redutivos split sobre bases de dimensão superior são afins, apresentando uma nova construção mais geral que as subvariedades parahóricas por meio da extensão da construção de J.-K. Yu, dilatações de Néron-Raynaud e técnicas de estruturas de grupos.
Este artigo aborda um problema de escalonamento em máquinas paralelas uniformes com duas opções de velocidade no contexto de otimização bilevel otimista, demonstrando sua NP-dificuldade forte e propondo um algoritmo de programação dinâmica, uma formulação MIP e um algoritmo branch-and-bound com geração de colunas para resolver instâncias de até 80 trabalhos e 4 máquinas.
Este artigo desenvolve um quadro paramétrico robusto para a detecção de saltos em processos de difusão com saltos do tipo CKLS de alta frequência, utilizando o estimador de divergência mínima de densidade de potência (MDPDE) para explorar a separação assintótica entre incrementos de difusão e de salto, estabelecendo assim um procedimento de classificação consistente e validado por simulações.
O artigo apresenta uma prova incondicional de que os zeros não triviais da função Zeta de Riemann estão estritamente na linha crítica, utilizando expansões de Taylor recursivas para demonstrar por contradição que a existência de zeros fora dessa linha é impossível.
Este artigo introduz as lógicas modais construtivas e , demonstrando que ambas são completas em EXPTIME e possuem a propriedade de modelo finito exponencial, o que resolve a conjectura de Afshari et al. para seu fragmento sem diamante e permite a incorporação das lógicas e com complexidade de validade em EXPTIME.
Este artigo estabelece fórmulas explícitas para os invariantes de Iwasawa em extensões cíclicas de de corpos numéricos multi-quadráticos, utilizando unidades de Hasse e ramificações, e deriva, sob a conjectura de Greenberg, um critério para determinar a paridade do número de classes nesses corpos.
Este artigo introduz a família de medidas de curvatura dual -afim, analisa seus casos limite que recuperam medidas clássicas como a medida de volume cônica, e investiga o problema de Minkowski associado a essas medidas, estabelecendo condições de existência e unicidade para soluções, especialmente no caso par e suave.
Este artigo estabelece novas e mais precisas limites de Berry-Esseen para a estimação de parâmetros de processos gaussianos observados em alta frequência, utilizando o estimador do segundo momento e técnicas inovadoras de cumulantes para demonstrar taxas de convergência superiores às da literatura existente.
Este artigo estabelece condições necessárias e suficientes para que núcleos de reprodução invariantes sob em domínios de Cartan possuam a propriedade de Nevanlinna-Pick completa, generalizando o Lema de Kaluza e caracterizando essa propriedade através da extensão da função característica da teoria de Sz.-Nagy--Foias para contrações -comutantes.
Este trabalho resolve um problema aberto ao utilizar o princípio de superposição para construir um processo de Markov forte (um processo à direita) associado a equações de Fokker-Planck não lineares sob condições gerais de mensurabilidade, permitindo a obtenção de soluções de fluxo fundamental, a prova de resultados de bem-postura para o problema de Dirichlet parabólico e a introdução de uma capacidade de Choquet, com aplicações específicas na equação de meio poroso generalizada e em equações diferenciais estocásticas de McKean-Vlasov.
Este artigo investiga problemas de otimização com restrições de desigualdades variacionais paramétricas em conjuntos móveis, demonstrando a continuidade Lipschitz da solução e a regularidade métrica automática, e propondo um Algoritmo de Gradiente Implícito Suavizado (SIGA) que converge para pontos estacionários e é validado empiricamente em gestão de carteiras.
O artigo demonstra que, ao contrário das funções convexas, as funções quasiconvexas lipschitzianas definidas em conjuntos convexos fechados de dimensão finita geralmente não admitem extensões lipschitzianas, mas que a existência de extensões contínuas ou uniformemente contínuas é caracterizada por propriedades geométricas específicas do conjunto.
Este artigo investiga as condições que induzem estruturas planares em desenhos de grafos completos, demonstrando que muitas curvas disjuntas são inevitáveis sob regras específicas de cruzamento, enquanto também apresenta uma configuração onde nenhuma curva é disjunta e caracterizando as estruturas planares garantidas por cada regra.