Results 31 to 40 of about 1,127,269 (277)

A Constructive Model of Uniform Continuity [PDF]

open access: yes, 2013
We construct a continuous model of Godel’s system T and its logic HA ω in which all functions from the Cantor space 2ℕ to the natural numbers are uniformly continuous. Our development is constructive, and has been carried out in intensional type theory in Agda notation, so that, in particular, we can compute moduli of uniform continuity of T-definable ...
Chuangjie Xu, Martín Hötzel Escardó
openaire   +1 more source

Relative computability and uniform continuity of relations [PDF]

open access: yesJournal of Logic and Analysis, 2013
23 pages, 5 ...
Arno Pauly, Martin Ziegler 0001
openaire   +5 more sources

Structure and Functions of Topological Metagroups

open access: yesAxioms, 2020
In this article, the structure of topological metagroups was investigated. Relations between topological and algebraic properties of metagroups were scrutinized. A uniform continuity of functions on them was studied.
Sergey V. Ludkowski
doaj   +1 more source

Uniform continuity of the value of zero-sum games with differential information [PDF]

open access: yes, 2004
We establish uniform continuity of the value for zero-sum games with differential information, when the distance between changing information fields of each player is measured by the Boylan (1971) pseudo-metric.
Shitovitz, Benyamin   +3 more
core   +1 more source

Approximate Hahn decompositions, uniform absolute continuity and uniform integrability [PDF]

open access: yes, 1981
This paper contains an approximate Hahn-type decomposition for disjoint sequences of finitely additive measures; a different proof of a recently obtained lattice theoretic characterization of uniform absolute continuity; a refinement integrability ...
Bell, Wayne C
core   +1 more source

Approximation properties of generalized Baskakov–Schurer–Szasz–Stancu operators preserving e−2ax,a>0 $e^{-2ax}, a>0$

open access: yesJournal of Inequalities and Applications, 2019
The current paper deals with a modified form of the Baskakov–Schurer–Szasz–Stancu operators which preserve e−2ax $e^{-2ax}$ for a>0 $a>0$. The uniform convergence of the modified operators is shown.
Melek Sofyalıoğlu, Kadir Kanat
doaj   +1 more source

Forecasting the Dialysis Burden in Japan: Validation‐Based Projections of Prevalence and Incidence Through 2050

open access: yesTherapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Background Japan has one of the highest dialysis prevalence rates worldwide and a shrinking, aging population. Whether dialysis burden has entered a sustained post‐peak phase or whether recent declines partly reflect pandemic‐related disruptions remains uncertain.
Hatice Şahin   +2 more
wiley   +1 more source

Uniform continuity of the solution map for nonlinear wave equation in Reissner-Nordstrom metric

open access: yesElectronic Journal of Qualitative Theory of Differential Equations, 2007
In this paper we study the properties of the solutions to the Cauchy problem $$ (u_{tt}-\Delta u)_{g_s}=f(u)+g(|x|),\quad t\in [0, 1], x\in {\cal R}^3, \tag{1} $$ $$ u(1, x)=u_0\in {\dot H}^1({\cal R}^3),\quad u_t(1, x)=u_1\in L^2({\cal R}^3), \tag{2} $$
Svetlin Georgiev
doaj   +1 more source

Polynomial-Based Non-Uniform Ternary Interpolation Surface Subdivision on Quadrilateral Mesh

open access: yesMathematics, 2023
For non-uniform control polygons, a parameterized four-point interpolation curve ternary subdivision scheme is proposed, and its convergence and continuity are demonstrated.
Kaijun Peng, Jieqing Tan, Li Zhang
doaj   +1 more source

Organizing the interface—Plasma membrane architecture and receptor dynamics in virus‐cell interactions

open access: yesFEBS Letters, EarlyView.
Plasma membranes contain dynamic nanoscale domains that organize lipids and receptors. Because viruses operate at similar scales, this architecture shapes early infection steps, including attachment, receptor engagement, and entry. Using influenza A virus and HIV‐1 as examples, we highlight how receptor nanoclusters, multivalent glycan interactions ...
Jan Schlegel, Christian Sieben
wiley   +1 more source

Home - About - Disclaimer - Privacy