Results 271 to 280 of about 1,263,769 (305)

Fixed Versus Lottery Incentives for Promoting Engagement With a Cadence-Based Smartphone App: Randomized Crossover Trial. [PDF]

JMIR Form Res
Hayashi K, Imai H, Oikawa I, Wakuda H, Miura I, Uenohara S, Kuwae A, Kai M, Furuya K, Uemura N.   +9 more
europepmc   +1 more source

The impact of Medicaid expansion on coverage among those lacking housing basics, 2010-2019. [PDF]

Health Aff Sch
Zhang C, Freund D, Kominski GF, Rasmussen PW.   +3 more
europepmc   +1 more source

Dynamics of a discrete-time predator-prey model with exponential prey growth and saturated response. [PDF]

Sci Rep
Emam HH, El-Metwally H, Hamada MY.
europepmc   +1 more source

MultiFixRadSoft: A Comprehensive Tool for Primary Relative Radiometric Scale Realization in Radiation Thermometry. [PDF]

Sensors (Basel)
Ertürk M, Karabulut M, Kadı ÖF, Gözönünde C, Broberg P, Olsen ÅAF, Nasibli H.   +6 more
europepmc   +1 more source

Fixed points of antimorphisms

, 1979
openaire   +1 more source

General existence theorem of zero points.

Yang, Z., Herings, P.J.J., Talman, A.J.J., Koshevoy, G.A.   +3 more
core  

Some of the next articles are maybe not open access.

Related searches:

Provable Fixed Points

Mathematical Logic Quarterly, 1988
The paper establishes some general conditions under wich a formula A(p) has only provable fixed points in Guaspari-Solovay modal logic of provability R. This result is used to give another proof of Parikh's theorem: For each natural number \(k\geq 1\) there is an arithmetical sentence A, provable in PA, such that \(\square^ kA\) has a much shorter ...
Dick De Jongh, Franco Montagna
openaire   +2 more sources

On Common Fixed Points

gmj, 2002
Abstract Some fixed point theorems based on an asymptotic regularity condition have been obtained, which generalize the previously well-known results.
Liu, Zeqing, Khan, M. S., Pathak, H. K.
openaire   +2 more sources

Incompleteness and Fixed Points

MLQ, 2002
Summary: Our purpose is to present some connections between modal incompleteness and modal logics related to the Gödel-Löb logic GL. One of our goals is to prove that for all \(m,n,k,l \in\mathbb{N}\) the logic \(\text{K}+\bigwedge_{i=m}^n \square^i (\bigwedge^l_{j=k} \square^j p\leftrightarrow p)\to \bigwedge^n_{i=m} \square^ip\) is incomplete and ...
openaire   +2 more sources

Fixed points of functors

Journal of Logical and Algebraic Methods in Programming, 2018
Abstract This is a survey on fixed points of endofunctors, including initial algebras and terminal coalgebras. We also consider the rational fixed point, a canonical domain of behavior for finitely presentable systems. In addition to the basic existence theorems for fixed points, several new results are presented.
Jirí Adámek, Stefan Milius, Lawrence S. Moss   +2 more
openaire   +1 more source