Results 81 to 90 of about 21,307,672 (156)

Correspondence of Contradictions in the Constructive Connexive Calculus <b>C</b>. [PDF]

Arch Math Log
Niki S.
europepmc   +1 more source

Adult-onset STING-associated vasculopathy. [PDF]

J Hum Immun
Riley TR, Kotzin JJ, Park DJ, Banerjee S, Takanohashi A, Vanderver A, Penn Medicine Biobank, Baker JF, Finck AV, Miner JJ.   +9 more
europepmc   +1 more source

Concurrent kripke structures

, 1993
We consider a class of Kripke Structures in which the atomic propositions are events. This enables us to represent worlds as sets of events and the transition and satisfaction relations of Kripke structures as the subset and membership relations on sets.
Vineet Gupta
core  

The social phenomenon of rare diseases: a logical-modal analysis. [PDF]

Front Sociol
Fernández-Vilas E, Coca JR, Plaza-Gómez N, Toscano FS.   +3 more
europepmc   +1 more source

Accelerometer data processing pipeline using ActiLife software for reproducible 24-hour physical behavior assessment in the ELSA-Brasil cohort. [PDF]

MethodsX
Moura BP, Sasaki JE, Griep RH, Feter N, Schmidt MI, da Fonseca MJM.   +5 more
europepmc   +1 more source

Definability in Quantum Kripke Frames

, 2014
I characterize the first-order definable, bi-orthogonally closed subsets of a quasi-quantum Kripke frame satisfying a reasonable assumption. The techniques are generalization of those in Goldblatt's paper published in 1984.
Zhong, Shengyang
core  

Comparison and Validation of Actigraphy Algorithms Using a Large Community Dataset: Algorithm Validation Study. [PDF]

JMIR Form Res
Panesar D, Vichare A, Goncalves J, Stremler R.   +3 more
europepmc   +1 more source

PHILOSOPHICAL TEXT AS A TRANSLATION OBJECT (BASED ON THE WORK OF S. A. KRIPKE “WITTGENSTEIN ON RULES AND PRIVATE LANGUAGE”)

Многоязычие в образовательном пространстве
The article examines the problems of informative translation, in particular, translating philosophical texts. The relevance of this research lies in the fact that philosophical texts are used not only by philosophers, but also by scientists of various ...
Yu.A. Borisenko, D.S. Vladimirov
doaj  

Polygenic Risk Score Predicts Prostate Cancer Risk Independent of Type 2 Diabetes. [PDF]

Diabetes Obes Metab
Lee GJ, Jung SH, Lee J, Moon KW, Penn Medicine Biobank, Yun JS, Kim D.   +6 more
europepmc   +1 more source

REST, Exploring Sleep Patterns and Influencing Factors in Elite Female Football Athletes. [PDF]

Sci Data
Boeker M, Alexandersen A, Thambawita V, Midoglu C, Johansen D, Riegler MA, Halvorsen P.   +6 more
europepmc   +1 more source