278 artigos
Este artigo prova matematicamente que a estratégia de posicionamento do Gerador de Formas de Multi-Esferas identifica efetivamente centros de esferas inscritas máximas ao demonstrar que os máximos locais de seu campo residual aprimorado por características correspondem ao eixo medial da forma alvo.
Este artigo apresenta uma estrutura matemática unificada que integra Redes Neurais Informadas pela Física com otimização metaheurística para criar um gêmeo digital escalável e em tempo real para a engenharia sustentável que garante convergência e estabilidade, ao mesmo tempo em que reduz significativamente a complexidade computacional e o consumo de energia em comparação com os métodos numéricos clássicos.
Este artigo desenvolve um novo modelo epidemiológico de quatro compartimentos para a dinâmica da dependência que demonstra como a saturação da capacidade de tratamento, em vez da saturação da incidência, impulsiona de forma única a bifurcação retroativa e a bistabilidade, criando uma lacuna crítica de política onde o número de reprodução básico falha em capturar o risco de persistência de longo prazo mesmo abaixo dos limiares tradicionais.
Este artigo estabelece um critério de derivada de Lie livre de coordenadas para a sincronização de seções de fibrados de fibras com dinâmicas internas idênticas em variedades conectadas, provando que derivadas de Lie nulas das diferenças de seções implicam difeomorfismo equivariante ao fluxo sem requerer diagonalização de Laplaciano ou uma configuração de comando-resposta.
Este artigo caracteriza retratos holomorfos através do centro de polibolas com fatores estritamente convexos como sendo biholomorficamente equivalentes a retratos lineares de fatores individuais ou produtos destes, um resultado que estabelece a unicidade essencial de suas representações de produto ao provar que eles não podem ser biholomorficamente equivalentes a outros domínios de produto com contagens de fatores ou dimensões distintas.
Este artigo propõe um método de atribuição modificado para a chave de eliminatórias da Copa do Mundo da FIFA 2026 que trata a alocação dos classificados em terceiro lugar como um problema de emparelhamento bipartido capacitado para garantir que nenhuma dupla de equipes do mesmo grupo se enfrente antes das semifinais, melhorando assim a justiça e o apelo do torneio em comparação com o cronograma oficial, que falha nesta condição em 70 de 495 cenários.
Este artigo estabelece um arcabouço matemático para determinar a recuperabilidade de explicações de IA ao formulá-las como problemas inversos, derivando uma tricotomia completa de condições de identificabilidade e estabilidade para sistemas lineares e não lineares, e fornecendo limites explícitos que distinguem a subdeterminação intrínseca da variabilidade algorítmica.
Este estudo introduz um método numérico híbrido de bloco de um passo para trás, robusto e preciso, derivado via colocação de múltiplos passos com polinômios de Chebyshev, para resolver eficazmente problemas de valor inicial de segunda ordem estritos-oscilatórios.
Este artigo introduz um sistema replicador de Caputo tridimensional regularizado com fatores emocionais que resolve a singularidade inerente na origem, estabelece continuidade Lipschitz global e caracteriza analiticamente a transição dinâmica completa da estabilidade para o caos através de bifurcação de Hopf e certificação de caos, tudo validado contra modelos não regularizados e dados comportamentais empíricos.
Este artigo apresenta uma biblioteca de camadas em Lean 4 para fundamentos quânticos de dimensão finita que formaliza teoremas de representação e resultados de complexidade fundamentais, ao mesmo tempo em que introduz um framework de auditoria de premissas tipadas para verificar a coerência e a validade de teoremas matemáticos condicionais, tais como a independência dos pesos de subespaços em relação a decomposições ortogonais.