Charge recovery logic for thermal harvesting applications.

Leo Filippini Baris Taskin

Published in: ISCAS (2016)

Keyphrases

infrared
logic programming
modal logic
multi valued
defeasible logic
predicate logic
recovery algorithm
automated reasoning
classical logic
visible spectrum
image recovery
charge coupled devices
real time
high temperature
proof theory
set theory
face recognition
metadata
information systems
databases