280 articles
Cet article démontre mathématiquement que la stratégie de placement du générateur de formes multi-sphères identifie efficacement les centres des sphères inscrites maximales en démontrant que les maxima locaux de son champ résiduel enrichi par des caractéristiques correspondent à l'axe médian de la forme cible.
Cet article présente un cadre mathématique unifié intégrant les réseaux de neurones informés par la physique avec l'optimisation métaheuristique pour créer un jumeau numérique évolutif et en temps réel pour l'ingénierie durable qui garantit la convergence et la stabilité tout en réduisant considérablement la complexité computationnelle et la consommation d'énergie par rapport aux méthodes numériques classiques.
Cet article développe un nouveau modèle épidémiologique à quatre compartiments pour la dynamique de l'addiction qui démontre comment la saturation de la capacité de traitement, plutôt que la saturation de l'incidence, induit de manière unique une bifurcation rétrograde et une bistabilité, créant ainsi un écart politique critique où le nombre de reproduction de base ne parvient pas à capturer le risque de persistance à long terme, même en dessous des seuils traditionnels.
Cet article établit un critère de dérivée de Lie sans coordonnées pour la synchronisation de sections de fibrés avec des dynamiques internes identiques sur des variétés connexes, prouvant que l'annulation des dérivées de Lie des différences de sections implique un difféomorphisme équivariant par le flot sans nécessiter de diagonalisation du Laplacien ou de configuration de commande-réponse.
Cet article caractérise les rétractes holomorphes à travers le centre de polyballes avec des facteurs strictement convexes comme étant biholomorphes à des rétractes linéaires de facteurs individuels ou de produits de ceux-ci, un résultat qui établit l'unicité essentielle de leurs représentations en produit en prouvant qu'ils ne peuvent pas être biholomorphes à d'autres domaines produits présentant des nombres de facteurs ou des dimensions différents.
Cet article propose une méthode d'attribution modifiée pour le tableau de la phase à élimination directe de la Coupe du Monde de la FIFA 2026 qui traite l'allocation des qualifiés pour la troisième place comme un problème d'appariement bipartite capacité afin de garantir qu'aucune équipe de même groupe ne se rencontre avant les demi-finales, améliorant ainsi l'équité et l'attrait du tournoi par rapport au calendrier officiel qui échoue à cette condition dans 70 des 495 scénarios.
Cet article établit un cadre mathématique pour déterminer la récupérabilité des explications de l'IA en les formulant comme des problèmes inverses, en dérivant une trichotomie complète des conditions d'identifiabilité et de stabilité pour les systèmes linéaires et non linéaires, et en fournissant des bornes explicites qui distinguent la sous-détermination intrinsèque de la variabilité algorithmique.
Cette étude introduit une méthode numérique hybride à bloc, robuste et précise, d'un pas arrière, dérivée par collocation multi-pas avec des polynômes de Chebyshev, afin de résoudre efficacement les problèmes de valeur initiale de second ordre à oscillations raides.
Cet article introduit un système de réplicateur de Caputo tridimensionnel régularisé avec des facteurs émotionnels qui résout la singularité inhérente à l'origine, établit la continuité lipschitzienne globale et caractérise analytiquement la transition dynamique complète de la stabilité vers le chaos par la bifurcation de Hopf et la certification du chaos, le tout validé par rapport à des modèles non régularisés et des données comportementales empiriques.
Cet article présente une bibliothèque Lean 4 stratifiée pour les fondements quantiques de dimension finie qui formalise des théorèmes de représentation et des résultats de complexité clés tout en introduisant un cadre d'audit de prémisses typé pour vérifier la cohérence et la validité des théorèmes mathématiques conditionnels, tels que l'indépendance des poids de sous-espaces vis-à-vis des décompositions orthogonales.