278 papers
Dit artikel presenteert een continu-tijd Markoviaans model voor een multi-server wachtrijensysteem met staat-afhankelijke gestimuleerde aankomsten en een gedifferentieerd twee-fasen vakantiebeleid, waarbij gebruik wordt gemaakt van waarschijnlijkheidsgenererende functies om lange-termijn waarschijnlijkheden en prestatie-maten af te leiden voor realistische service-omgevingen.
Dit artikel stelt het bestaan vast en karakteriseert de profielen van voortbewegende golven in een ruimtelijk discreet cel-naar-cel virusinfectiemodel met verdeelde tijdsvertragingen, gebruikmakend van vaste-puntargumenten, fasevlakanalyse van een gereduceerd ODE-systeem en numerieke simulaties.
Dit artikel presenteert een computationeel raamwerk gebaseerd op Brouwers intuïtionistische visie op het continuüm, waarbij asymptotische functiesreeksen op eenhedenintervalpartities worden gebruikt om continue functies te benaderen en de Brouwer Continuïteitstelling te bewijzen zonder gebruik te maken van het Continuïteitsaxioma.
Dit artikel toont aan dat fractale logistische en Hénon-kaarten exact kunnen worden geherformuleerd als autonome systemen op geheugenmodi om efficiënte berekening van Lyapunov-exponenten mogelijk te maken, waarbij wordt onthuld dat de beginconditie fungeert als een afnemende machtswet-dwang die een persistente, niet-triviale herinnering aan de begintoestand induceert in chaotische regimes.
Dit artikel stelt een nieuw twee-traps eindelementalgoritme voor dat hogere-orde elementen op gegradeerde roosters gebruikt om rigoureuze onderste grenzen voor eigenwaarden te genereren die even scherp zijn als standaard hogere-orde bovengrenzen, waardoor een langlopende kloof in nauwkeurigheid effectief wordt gedicht en bestaande methoden zoals Crouzeix–Raviart aanzienlijk wordt overtroffen in termen van computationele efficiëntie.
Dit artikel introduceert de nieuwe complexe probabilistische neutrosofische (CPN) verzameling om acceptatieniveaus van expertmeningen in onzekere scenario's uit het echte leven beter te vatten, stelt nieuwe gewogen gemiddelde en geometrische aggregatie-operatoren voor, en valideert een bijbehorend raamwerk voor besluitvorming met meerdere criteria aan de hand van een casus over autoselectie en een vergelijkende analyse.
Dit artikel hanteert een semiotisch-cultureel kader om te analyseren hoe bewijsassistenten, specifiek Verbose Lean, functioneren als epistemische revelatoren in de bacheloropleiding wiskunde door bewijspraktijken te herconfigureren en impliciete aannames expliciet te maken door de noodzakelijke formalisering van wiskundige objecten en inferentiële stappen.
Dit artikel ontwikkelt een dubbel-som imexact cyclisch proximaal punt algoritme voor Hadamard-ruimten, waarbij de lineaire en superlineaire convergentie onder metrische subregulariteit wordt vastgesteld, het eindige eindigheidsbewijs via zwakke scherpe minima wordt bewezen, en deze resultaten worden toegepast om een nieuw gegeneraliseerd Fermat–Torricelli-probleem op te lossen met expliciete resolventformules en numerieke validatie.
Dit artikel evalueert en vergelijkt de Talbot-, Euler- en zadelpuntbenaderingstechnieken voor het numeriek inverteren van de Laplace-transformatie om faillissementskansen te schatten in een samengesteld Poisson-proces dat wordt verstoord door diffusie, waarbij wordt vastgesteld dat hoewel alle drie de methoden kleine relatieve fouten opleveren voor extreem kleine waarschijnlijkheden, de Talbot-methode de hoogste nauwkeurigheid bereikt.
Dit artikel presenteert een nieuw algoritme om voor het eerst base-sequenties BS(n+1,n) te construeren voor n=41, 42 en 43, terwijl het de conjectuur van Yang weerlegt door het niet-bestaan aan te tonen van near-normal sequenties voor n=42 en 44 en normal sequenties voor n=41 tot en met 45, inclusclusief een algemeen bewijs dat er geen normal sequenties bestaan wanneer n=8k-2.