Cryptographic protocols are extremely hard to design and prove correct, ...
Noting that lemmas are a key feature of mathematics, we engage in an
inv...
Concurrent programming is used in all large and complex computer systems...
We develop and test a novel unsupervised algorithm for word sense induct...
Super resolution is an essential tool in optics, especially on interstel...
In today's technology environment, information is abundant, dynamic, and...
Policy learning is a quickly growing area. As robotics and computers con...
Contextual multi-armed bandits (CMAB) have been widely used for learning...