Results 111 to 120 of about 14,300 (195)

Surprise, surprise: KK is innocent. [PDF]

Thought (Hoboken), 2021
Murzi J, Eichhorn L, Mayr P.
europepmc   +1 more source

Symbolic model checking quantum circuits in Maude. [PDF]

PeerJ Comput Sci
Minh Do C, Ogata K.
europepmc   +1 more source

Verification of temporal consistency constraints in the evolution of software for intelligent unmanned systems driven by model checking. [PDF]

Sci Rep
Lu C, Li C, Liu C, Wu X, Huang Y.
europepmc   +1 more source

Predicted effects of the introduction of long-acting injectable cabotegravir pre-exposure prophylaxis in sub-Saharan Africa: a modelling study. [PDF]

Lancet HIV, 2023
Smith J, Bansi-Matharu L, Cambiano V, Dimitrov D, Bershteyn A, van de Vijver D, Kripke K, Revill P, Boily MC, Meyer-Rath G, Taramusi I, Lundgren JD, van Oosterhout JJ, Kuritzkes D, Schaefer R, Siedner MJ, Schapiro J, Delany-Moretlwe S, Landovitz RJ, Flexner C, Jordan M, Venter F, Radebe M, Ripin D, Jenkins S, Resar D, Amole C, Shahmanesh M, Gupta RK, Raizes E, Johnson C, Inzaule S, Shafer R, Warren M, Stansfield S, Paredes R, Phillips AN, HIV Modelling Consortium.   +37 more
europepmc   +1 more source

Connexive Exclusion. [PDF]

Erkenntnis
Shramko Y, Wansing H.
europepmc   +1 more source

Cryptochromes in mammals: a magnetoreception misconception? [PDF]

Front Physiol, 2023
Zhang L, Malkemper EP.
europepmc   +1 more source

ON RANDOM KRIPKE FRAMES (Model theoretic techniques for constructing infinite structures)

, 2008
Koichiro Ikeda, Keishi Okamoto
openalex   +2 more sources

Dose-Response Relationship Between Sleep Regularity Index and Stage-Specific Alzheimer's Disease: Cross-Sectional Evidence from Japanese Adults. [PDF]

Geriatrics (Basel)
Cao Y, Lee J, Seol J, Tsunoda K, Shibuya K, Yoon J, Arai T, Okura T.   +7 more
europepmc   +1 more source

Vascular endothelial cells as signaling niches for epithelial stem cells in the skin. [PDF]

Front Cell Dev Biol
Tumbar T, Ganguly T, McMahon CE, Tavallaei MA.   +3 more
europepmc   +1 more source

Sheffer operation in relational systems. [PDF]

Soft comput, 2022
Chajda I, Länger H.
europepmc   +1 more source