In an ideal world, there would be infinite computing resources. These resources would be free and sustainable, with no impact on the future of our planet. They would run services that would be accessible anytime…
As we are building smart energy infrastructure that includes various forms of hybrid energy resources including electric vehicles, solar, battery storage etc., it firstly requires data to be collected from these disparate energy sources and…
As algorithms reach ever more deeply into our daily lives, increasing concern that they be “fair” has resulted in an explosion of research in the theory and machine learning communities. This talk surveys key results…
I will present a new data compression algorithm that compresses human text more effectively than all current variants of PPM, CTW, DMC, LZ (Lempel-Ziv), LZMA, CSE and BWT. It uses a hierarchical non-parametric sequence model…
We give a constant-factor approximation algorithm for the asymmetric traveling salesman problem. Our approximation guarantee is analyzed with respect to the standard LP relaxation, and thus our result confirms the conjectured constant integrality gap of…
Coinduction is a powerful technique for reasoning about unfounded sets, unbounded structures, infinite automata, and interactive computations. Where induction corresponds to least fixed points semantics, co-induction corresponds to greatest fixed point semantics. In this talk…
Is matching in NC, i.e., is there a deterministic fast parallel algorithm for it? This has been an outstanding open question in TCS for over three decades, ever since the discovery of Random NC matching…
