Sign in
A Label-Free Fluorescent AND Logic Gate Aptasensor for Sensitive ATP Detection.
Jingjing Zhang
Chunzheng Yang
Chaoqun Niu
Chen Liu
Xuepin Cai
Jie Du
Yong Chen
Published in:
Sensors (2018)
Keyphrases
</>
object detection
detection method
multi label
automated theorem proving
automatic detection
logic programming
false positives
detection accuracy
detection algorithm
classical logic
computer vision
high frequency
false alarms
theorem prover
automated reasoning
learning algorithm
proof theory