Results 121 to 130 of about 47,777 (170)

Predicate abstraction for hyperliveness verification. [PDF]

Form Methods Syst Des
Beutner R, Finkbeiner B.
europepmc   +1 more source

Some completeness results for intermediate propositional logics.

Notre Dame Journal of Formal Logic, 1967
openaire   +3 more sources

Conducting transformative research protocols in sports science. [PDF]

Front Sports Act Living
Santi R, Isserte S, Gaudin C, Chaliès S.   +3 more
europepmc   +1 more source

Who adapts to whom: technology or older adults? Mechanisms of technology anxiety among older AI users. [PDF]

Front Psychol
Ji P, Liu X.
europepmc   +1 more source

A class of models for intermediate logics.

Notre Dame Journal of Formal Logic, 1971
openaire   +3 more sources

Dynamical analysis of a model of BCL-2-dependent cellular decision making. [PDF]

NPJ Syst Biol Appl
Cloete I, Alarcón T.
europepmc   +1 more source

Factors Influencing Bereavement Care Competence in Midwifery Students: Regression and QCA Analysis. [PDF]

Nurs Open
Zhu Y, Zhang Q, Zhang Y, Zhao Q, Zhang A.   +4 more
europepmc   +1 more source

Implementing Intermediate Logics

Haaksema, Bastiaan, Otten, Jens, Ramanayake, Revantha   +2 more
openaire   +1 more source

The labor market of digital labor platforms in Chile: companies, state regulation and workers. [PDF]

Front Sociol
Stecher A, Morales K, Valenzuela A.
europepmc   +1 more source