A Formalization of SQL with Nulls. [PDF]
Ricciotti W, Cheney J.
europepmc +1 more source
A review of data abstraction. [PDF]
Cima G, Console M, Lenzerini M, Poggi A.
europepmc +1 more source
Hypothesizing an algorithm from one example: the role of specificity. [PDF]
Muggleton FREng SH.
europepmc +1 more source
Efficient Integrity-Tree Structure for Convolutional Neural Networks through Frequent Counter Overflow Prevention in Secure Memories. [PDF]
Kim J, Lee W, Hong J, Kim S.
europepmc +1 more source
Flexible multi-client functional encryption for set intersection. [PDF]
Rafiee M.
europepmc +1 more source
Predicting heart failure onset in the general population using a novel data-mining artificial intelligence method. [PDF]
Miyashita Y +5 more
europepmc +1 more source
The Usage of Histamine Type 1 Receptor Antagonist and Risk of Dementia in the Elderly: A Nationwide Cohort Study. [PDF]
Yang CC +4 more
europepmc +1 more source
First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems: Automation, Formalization, Certification. [PDF]
Middeldorp A +2 more
europepmc +1 more source
Graph transformer for link prediction on N-ary facts. [PDF]
Hu B, Tao X, Guo H, Li J, Pang G, Xie D.
europepmc +1 more source

