Results 91 to 100 of about 158 (143)

Extract, model, refine: improved modelling of program verification tools through data enrichment. [PDF]

Softw Syst Model
Lathouwers S, Liu Y, Zaytsev V.
europepmc   +1 more source

Spin-Bounded Correlations: Rotation Boxes Within and Beyond Quantum Theory. [PDF]

Commun Math Phys
Aloy A, Galley TD, Jones CL, Ludescher SL, Müller MP.   +4 more
europepmc   +1 more source

Attraction Effects for Verbal Gender and Number Are Similar but Not Identical: Self-Paced Reading Evidence From Modern Standard Arabic. [PDF]

Front Psychol, 2020
Tucker MA, Idrissi A, Almeida D.
europepmc   +1 more source

Explaining Wrong Queries Using Small Examples. [PDF]

Proc ACM SIGMOD Int Conf Manag Data, 2019
Miao Z, Roy S, Yang J.
europepmc   +1 more source

The Projective Consciousness Model and Phenomenal Selfhood. [PDF]

Front Psychol, 2018
Williford K, Bennequin D, Friston K, Rudrauf D.   +3 more
europepmc   +1 more source

Program synthesis: challenges and opportunities. [PDF]

Philos Trans A Math Phys Eng Sci, 2017
David C, Kroening D.
europepmc   +1 more source