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
To the main CS technical reports page