Algorithms for Dynamic Geometric Problems over Data Streams
风景画在自然风景欠佳的地方畅销,报业在人际关系稀薄的产业地带发达。
Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Program Verification
佐藤春夫曾说:“聋者看似愚人,盲者看似贤者。” 只因聋者每当听人说话时,会蹙起眉头,张口瞠目,或斜首或仰面,给人呆头呆脑之感,而盲人则默然端坐,低眉垂首,宛如瞑目沉思,俨然深思熟虑者,故有此说。
Quantum Loop Programs and Verification of Quantum Programs
到底为什么要叫做 “孤独地狱” 呢?当时他曾觉得该不会是标题搞错了吧?现在总算搞清楚了,能够理解了。所谓孤独,就是追求幻想而得不到满足的饥渴。
Sublinear Algorithms
Such physical matters were nice, yet, to him, intelligence and passion born of living, the ability to move and be moved by subtleties of the mind and spirit, were what really counted.
Sketching, streaming and sub-linear space algorithms
a man to whom the difference between a pasture and a meadow seemed important, who got excited about sky color, who wrote a little poetry but not much fiction.