Liquid Jets as Logic-Computing Fluid-User-Interfaces.

Audrey Ziwei Hu Ryan E. Janzen Max Hao Lu Steve Mann

Published in: ACM Multimedia (Thematic Workshops) (2017)

Keyphrases

user interface
user friendly
logic programming
user interaction
automated reasoning
navier stokes equations
asynchronous circuits
numerical simulations
delay insensitive
proof theory
computational properties
classical logic
modal logic
genetic algorithm
human computer interaction
expert systems
information systems