2015 CS Technical Reports

• CS-2015-01 Amir Vaxman, Mirela Ben-Chen: Dupin Meshing: A Parameterization Approach to Planar Hex-Dominant Meshing
• CS-2015-02 Avram Sidi: Minimal Polynomial and Reduced Rank Extrapolation Methods Are Related
• CS-2015-03 Gil Einziger and Roy Friedman: TinySet - An Access Ecient Self Adjusting Bloom Filter Construction
• CS-2015-04 Gil Einziger and Roy Friedman: Counting with TinyTable: Every Bit Counts!
• CS-2015-05 Yael Meller, Orna Grumberg, and Karen Yorav: Learning-Based Compositional Model Checking of Behavioral UML Systems
• CS-2015-06 David H. Lorenz and Boaz Rosenan: Separation of Powers in the Cloud: Where Applications and Users Become Peers