7189 artigos
O artigo propõe um algoritmo de Controle Preditivo Não Linear (NMPC) adaptativo e robusto baseado em tubos elipsoidais, que utiliza estimativa de parâmetros por conjunto de pertinência e linearização sucessiva para garantir o cumprimento de restrições, a viabilidade recursiva e a estabilidade em sistemas com parâmetros desconhecidos e distúrbios limitados.
Este artigo fornece uma interpretação de estabilizador para a álgebra de Lie linearizada de duplo emparelhamento e sua extensão, demonstrando que os estabilizadores preservam a extensão entre essas duas álgebras, inspirando-se no trabalho anterior de Enriquez e Furusho.
Este artigo demonstra que as constantes de Bloch e Landau para a classe de funções meromorfas com um polo simples são infinitas, refutando uma conjectura recente e estendendo esse resultado para funções com dois polos simples.
O artigo apresenta um exemplo de equação diferencial parcial linear cujo problema de Cauchy, originalmente bem-posto apenas em classes de Gevrey no caso determinístico, torna-se bem-posto na categoria quando perturbado por um ruído multiplicativo do tipo Browniano de Stratonovich.
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.