Tunable Phantoms and Their Verification.

Qing Zhang Masood Ur Rehman Xiaodong Yang

Published in: J. Medical Imaging Health Informatics (2020)

Keyphrases

model checking
artificial intelligence
database
neural network
genetic algorithm
knowledge base
database systems
relational databases
evolutionary algorithm
formal verification
person identification