Results 1 to 10 of about 2,753 (280)

A Formalization of SQL with Nulls. [PDF]

J Autom Reason, 2022
Ricciotti W, Cheney J.
europepmc   +1 more source

A review of data abstraction. [PDF]

Front Artif Intell, 2023
Cima G, Console M, Lenzerini M, Poggi A.
europepmc   +1 more source

Hypothesizing an algorithm from one example: the role of specificity. [PDF]

Philos Trans A Math Phys Eng Sci, 2023
Muggleton FREng SH.
europepmc   +1 more source

Efficient Integrity-Tree Structure for Convolutional Neural Networks through Frequent Counter Overflow Prevention in Secure Memories. [PDF]

Sensors (Basel), 2022
Kim J, Lee W, Hong J, Kim S.
europepmc   +1 more source

High-arity Sample Compression

29 pages v2: corrected minor ...
Coregliano, Leonardo N., Opich, William
openaire   +2 more sources

Flexible multi-client functional encryption for set intersection. [PDF]

J Supercomput, 2023
Rafiee M.
europepmc   +1 more source

Predicting heart failure onset in the general population using a novel data-mining artificial intelligence method. [PDF]

Sci Rep, 2023
Miyashita Y, Hitsumoto T, Fukuda H, Kim J, Washio T, Kitakaze M.   +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]

Front Aging Neurosci, 2022
Yang CC, Chien WC, Chung CH, Lai CY, Tzeng NS.   +4 more
europepmc   +1 more source

First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems: Automation, Formalization, Certification. [PDF]

J Autom Reason, 2023
Middeldorp A, Lochmann A, Mitterwallner F.   +2 more
europepmc   +1 more source

Graph transformer for link prediction on N-ary facts. [PDF]

Sci Rep
Hu B, Tao X, Guo H, Li J, Pang G, Xie D.
europepmc   +1 more source