278 articles
Cet article présente un modèle markovien en temps continu pour un système de file d'attente multi-serveurs présentant des arrivées stimulées dépendant de l'état et une politique de vacances différenciée à deux étapes, utilisant des fonctions génératrices de probabilité pour dériver les probabilités à long terme et les mesures de performance pour des environnements de service réalistes.
Cet article établit l'existence et caractérise les profils des ondes progressives dans un modèle d'infection virale de cellule à cellule spatialement discret avec des délais temporels distribués, en utilisant des arguments de point fixe, l'analyse du plan de phase d'un système d'EDO réduit et des simulations numériques.
Cet article présente un cadre computationnel basé sur la vision intuitionniste du continuum de Brouwer, utilisant des séquences asymptotiques de fonctions sur des partitions de l'intervalle unité pour approximer des fonctions continues et prouver le théorème de continuité de Brouwer sans recourir à l'axiome de continuité.
Cet article démontre que les cartes logistiques et de Hénon fractionnaires peuvent être reformulées exactement comme des systèmes autonomes sur des modes de mémoire afin de permettre un calcul efficace des exposants de Lyapunov, révélant que la condition initiale agit comme un forçage de puissance décroissante qui induit une mémoire persistante et non triviale de l'état initial dans les régimes chaotiques.
Cet article propose un nouvel algorithme d'éléments finis en deux étapes qui utilise des éléments d'ordre élevé sur des maillages gradués pour générer des bornes inférieures de valeurs propres rigoureuses aussi précises que les bornes supérieures standards d'ordre élevé, comblant ainsi efficacement un écart de précision de longue date et surpassant de manière significative les méthodes existantes telles que Crouzeix--Raviart en termes d'efficacité de calcul.
Cet article introduit le nouvel ensemble neutrosophique probabiliste complexe (CPN) afin de mieux capturer les niveaux d'acceptation des opinions d'experts dans des scénarios réels incertains, propose de nouveaux opérateurs d'agrégation géométrique et de moyenne pondérée, et valide un cadre de prise de décision multicritère correspondant à travers une étude de cas sur la sélection d'une voiture et une analyse comparative.
Cet article emploie un cadre sémiotico-culturel pour analyser comment les assistants de preuve, spécifiquement Verbose Lean, fonctionnent comme des révélateurs épistémiques dans l'enseignement des mathématiques de premier cycle en reconfigurant les pratiques de démonstration et en rendant explicites les hypothèses implicites à travers la formalisation nécessaire des objets mathématiques et des étapes inférentielles.
Cet article développe un algorithme de point proximal cyclique inexact à double somme pour les espaces de Hadamard, établissant sa convergence linéaire et superlinéaire sous la condition de sous-régularité métrique, prouvant la terminaison finie via des minima faiblement nets, et appliquant ces résultats pour résoudre un nouveau problème de Fermat–Torricelli généralisé avec des formules de résolvante explicites et une validation numérique.
Cet article évalue et compare les techniques d'approximation de Talbot, d'Euler et de point selle pour l'inversion numérique de la transformée de Laplace afin d'estimer les probabilités de ruine dans un processus de Poisson composé perturbé par une diffusion, concluant que bien que les trois méthodes produisent de faibles erreurs relatives pour des probabilités extrêmement petites, la méthode de Talbot atteint la précision la plus élevée.
Cet article présente un nouvel algorithme pour construire des séquences de base BS(n+1,n) pour la première fois pour n=41, 42 et 43, tout en infirmant la conjecture de Yang en prouvant la non-existence de séquences quasi-normales pour n=42 et 44 et de séquences normales pour n=41 à travers 45, incluant une preuve générale que aucune séquence normale n'existe lorsque n=8k-2.