ARTICLE
|
doi:10.20944/preprints201905.0090.v1
Subject:
Computer Science And Mathematics,
Artificial Intelligence And Machine Learning
Keywords:
intelligence; inductive methods; deductive methods; pseudorandom number; artificial intelligence; Prolog; Otter; Z3; deep learning; ensemble methods; automated reasoning; coin-weighing puzzles
Online: 8 May 2019 (10:03:46 CEST)
REVIEW
|
doi:10.20944/preprints202309.0163.v1
Subject:
Medicine And Pharmacology,
Medicine And Pharmacology
Keywords:
molecular hydrogen; diabetic kidney disease; mitochondrial dysfunction; oxidative stress; in-flammation; reactive oxygen species; medical application
Online: 4 September 2023 (11:16:33 CEST)