278 articoli
Questo articolo presenta un modello marcoviano a tempo continuo per un sistema di code a più server caratterizzato da arrivi stimolati dipendenti dallo stato e una politica di vacanza differenziata a due stadi, utilizzando funzioni generatrici di probabilità per derivare le probabilità di lungo periodo e le misure di prestazione per ambienti di servizio realistici.
Questo articolo stabilisce l'esistenza e caratterizza i profili delle onde viaggianti in un modello di infezione virale cellula-a-cellula spazialmente discreto con ritardi temporali distribuiti, utilizzando argomenti di punto fisso, l'analisi del piano di fase di un sistema ODE ridotto e simulazioni numeriche.
Questo articolo presenta un framework computazionale basato sulla visione intuizionista del continuo di Brouwer, utilizzando sequenze asintotiche di funzioni su partizioni dell'intervallo unitario per approssimare funzioni continue e dimostrare il Teorema di Continuità di Brouwer senza fare affidamento sull'Assioma di Continuità.
Questo articolo dimostra che le mappe logistica frazionaria e di Hénon possono essere riformulate esattamente come sistemi autonomi su modi di memoria per consentire il calcolo efficiente degli esponenti di Lyapunov, rivelando che la condizione iniziale agisce come una forza a legge di potenza decrescente che induce una memoria persistente e non banale dello stato iniziale nei regimi caotici.
Questo articolo propone un nuovo algoritmo a elementi finiti in due stadi che impiega elementi di alto ordine su mesh graduate per generare limiti inferiori di autovalori rigorosi e precisi quanto i classici limiti superiori di alto ordine, colmando efficacemente un divario di accuratezza durato a lungo e superando significativamente i metodi esistenti come il metodo di Crouzeix--Raviart in termini di efficienza computazionale.
Questo articolo introduce il nuovo insieme neutrosofico probabilistico complesso (CPN) per catturare meglio i livelli di accettazione dell'opinione degli esperti in scenari reali incerti, propone nuovi operatori di aggregazione geometrica e di media ponderata, e valida un corrispondente quadro di processo decisionale multicriterio attraverso uno studio di caso sulla selezione di un'auto e un'analisi comparativa.
Questo articolo impiega un quadro semiotico-culturale per analizzare come gli Assistenti alla Dimostrazione, specificamente Verbose Lean, funzionino come rivelatori epistemici nell'ambito della matematica universitaria riconfigurando le pratiche dimostrative e rendendo espliciti i presupposti impliciti attraverso la necessaria formalizzazione degli oggetti matematici e dei passaggi inferenziali.
Questo articolo sviluppa un algoritmo del punto prossimale ciclico impreciso a doppia somma per gli spazi di Hadamard, stabilendo la sua convergenza lineare e superlineare sotto subregolarità metrica, dimostrando la terminazione finita tramite minimi debolmente acuti e applicando tali risultati per risolvere un nuovo problema di Fermat–Torricelli generalizzato con formule esplicite del risolvente e validazione numerica.
Questo articolo valuta e confronta le tecniche di approssimazione di Talbot, Euler e del punto di sella per l'inversione numerica della trasformata di Laplace al fine di stimare le probabilità di rovina in un processo di Poisson composto perturbato da diffusione, riscontrando che, sebbene tutti e tre i metodi producano errori relativi piccoli per probabilità estremamente piccole, il metodo di Talbot raggiunge l'accuratezza più elevata.
Questo articolo presenta un nuovo algoritmo per costruire sequenze base BS(n+1,n) per la prima volta per n=41, 42 e 43, smentendo al contempo la congettura di Yang attraverso la dimostrazione della non esistenza di sequenze quasi-normali per n=42 e 44 e di sequenze normali per n da 41 a 45, incluso un teorema generale secondo cui non esistono sequenze normali quando n=8k-2.