2013 MSC Theses

• MSC-2013-01 Shay Ben-Elazar (Itai Yanai, Zohar Yakhini): Computational Methods for Analyzing Gene Regulation in Model Organisms
• MSC-2013-02 Alon Mishne (Eran Yahav): Prime - Programming with Millions of Examples
• MSC-2013-03 Yoav Haimovitch (Koby Crammer, Shie Mannor): Large Scale Semi-Supervised Sentiment Analysis
• MSC-2013-04 Michael Beder (Reuven Bar-Yehuda): Approximation Algorithms for Resource Scheduling and Allocation Problems
• MSC-2013-05 Hanna Fadida (Alon Itai and Shuly Wintner): Automatic Extraction of Subcategorization Frames for Hebrew
• MSC-2013-06 Ranit Gotsman (Yaron Kanza): Generating map-based routes from GPS trajectories and their compact representation
• MSC-2013-07 Dmitry Pidan (Ran El-Yaniv): Selective Prediction with Hidden Markov Models
• MSC-2013-08 Omer Strulovich (Yuval Ishai, Eyal Kushilevitz): Lossy Chains and Fractional Secret Sharing
• MSC-2013-09 Nadav Shragai (Gershon Elber): Geometric Covering
• MSC-2013-10 Assaf Rappaport (Danny Raz): Approximation Algorithms for Soft-Capacitated Connected Facility Location Problems R
• MSC-2013-11 Ami Paz (Hagit Attiya): Counting-Based Impossibility Proofs for Distributed Tasks
• MSC-2013-12 Roman Zeyde (Irad Yavneh): Computational Electrokinetics
• MSC-2013-13 Shaked Flur (Orna Grumberg): Weak Omega Automata
• MSC-2013-14 Shai Gretz (Alon Itai, Shuly Wintner): Syntactic Annotation of the Hebrew CHILDES Corpora
• MSC-2013-15 Netanel Raviv (Eyal Kushlevitz): Truth table minimization of computational models
• MSC-2013-16 Eyal Posener (Assaf Schuster): Dynamic Memory Allocation in Cloud Computers using Progressive Second Price Auction
• MSC-2013-17 Karine Even ( Eran Yahav, Hana Chockler): Finding rare numerical stability errors in concurrent computations
• MSC-2013-18 Moshe Gabel (Assaf Schuster, Ran Gilad-Bachrach): Unsupervised Anomaly Detection in Large Datacenters
• MSC-2013-19 Pavel Gurevich (Meir Orenstein, Tal Mor): Experimental Quantum Key Distribution with Clasical Alice
• MSC-2013-20 Sabih Agbaria (Yossi Gil): On Incomplete Bug Fixes and Programmer's Intuition on These
• MSC-2013-21 Amir Geva (Michael Heymann): Far Field Surveillance Target classification
• MSC-2013-22 Erez Druk (Yuval Ishai): Linear-Time Encodable Codes and Cryptography
• MSC-2013-23 Assaf Israel (Danny Raz): Cost Aware Fault Recovery in Clouds
• MSC-2013-24 Elior Malul (Yossi Gil and Opher Etzion): Towards temporal correctness of event processing
• MSC-2013-25 Raeda Naamneh (Gill Barequet): Fair Multi-Label Reconstruction from Cross-Sections
• MSC-2013-26 David Wajc (Nir Ailon, Seffi Naor, Hadas Shachnai): Parameterizing P: Proximity to Easy Variants
• MSC-2013-27 Rouven Strauss (Gershon Elber): Geometric Multi-Covering
• MSC-2013-28 Dany Rybnikov (Mirella Ben-Chen, Chaim (Craig) Gotsman): A Semi-Automatic System for Non-Rigid Matching and Temporally Coherent 3D Shading of Animation Sequences