Results 121 to 130 of about 4,636,755 (203)

"I have always found the whole area a minefield": Wikidata, historical lives, and knowledge infrastructure. [PDF]

Int J Digit Humanit
Baker J, Mahal AK.
europepmc   +1 more source

Joint attention and exogenous attention allocation during mother-infant interaction at 12 months associate with 24-month vocabulary composition. [PDF]

Front Psychol
Capelli E, Grumi S, Vercellino L, Provenzi L.   +3 more
europepmc   +1 more source

Open optimism as an "embodied-health" ethic for the information era. [PDF]

Front Pharmacol
Naidoo M.
europepmc   +1 more source

Visualization and exploration of linked data using virtual reality. [PDF]

Database (Oxford)
Kellmann AJ, Postema M, de Keijser J, Svetachov P, Wilson RC, van Enckevort EJ, Swertz MA.   +6 more
europepmc   +1 more source

Blockchain-enabled data governance for privacy-preserved sharing of confidential data. [PDF]

PeerJ Comput Sci
Zhang J, Datta A.
europepmc   +1 more source

Comprehensive analysis of the impact of primary percutaneous coronary intervention on patients with ST-segment elevation myocardial infarction. [PDF]

World J Exp Med
Bangolo AI, Wadhwani N.
europepmc   +1 more source

Computational improvements in Prolog applications by predicate variable pointers

IEEE Transactions on Software Engineering, 1990
The programming tradeoffs between structure-oriented and clause-oriented operations on data structures in Prolog are limited in current implementations because the assertion of clauses that include uninstantiated variables destroys any binding between ...
G.M. Karam
semanticscholar   +4 more sources

Hybrid cegar: combining variable hiding and predicate abstraction

2007 IEEE/ACM International Conference on Computer-Aided Design, 2007
Variable hiding and predicate abstraction are two popular abstraction methods to obtain simplified models for model checking. Although both methods have been used successfully in practice, no attempt has been made to combine them in counterexample guided abstraction refinement (CEGAR).
Chao Wang, Hyondeuk Kim, Aarti Gupta
semanticscholar   +5 more sources

A Free Variable Version of the First-Order Predicate Calculus

Journal of Logic and Computation, 1991
The authors present here a free variable version of the first-order predicate calculus. Based on some refinements of the Skolem functions and epsilon calculus, the paper develops in a purely technical and syntactical manner the equivalence of their free variable version of quantification with the usual first-order predicate calculus by showing that ...
Martin Davis, RONALD FECHTER
semanticscholar   +4 more sources