Results 241 to 250 of about 268,099 (291)

Impact of early, longitudinal community-based education on medical student self-efficacy: a qualitative study. [PDF]

BMC Med Educ
Padiko YY, Suhoyo Y, Prihatiningsih TS.
europepmc   +1 more source

From "quantifying the child" to "supporting the caregiver": a paradigm evaluation and ethical pathway selection for AI applications in child development. [PDF]

Front Psychol
Xu Y, Chen H, Wei MM, Zhang Y, Cui HT, Liu F.   +5 more
europepmc   +1 more source

Revisiting Eck and Dayhoff's Building Block Model of Ferredoxin Evolution on Dayhoff's 100th Birthday. [PDF]

J Mol Evol
Caetano-Anollés G.
europepmc   +1 more source

A virtual reality test to evaluate dismounted soldiers' cognitive and psychomotor performance in an operationally relevant setting. [PDF]

Front Psychol
Koedijk M, Landman A, Bottenheft C, Fonken YM, Binsch O.   +4 more
europepmc   +1 more source

Predicate abstraction for hyperliveness verification. [PDF]

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

Problematic Social Media Use and Anxiety: A Literature Review and Conceptual Model

Sahu A, Shukla V, Gillespie K, Tobin SJ, Bartlett SE.   +4 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Loop-Check Specification for a Sequent Calculus of Temporal Logic

Studia Logica, 2022
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Romas Alonderis, Regimantas Pliuškevičius, Aida Pliuškevičienė, Haroldas Giedra   +3 more
openaire   +2 more sources

Efficient loop-check for KD 45 logic

Lithuanian Mathematical Journal, 2006
We introduce a new sequent calculus for KD 45 logic. A loop-check technique is used to determine whether a sequent derivable or not. We concentrate ourselves on the efficiency of the loop-check technique used. The efficiency is obtained by making the loop-check to act locally (then we need to check only one or two current sequents), instead of a global
openaire   +1 more source