2008 MSC Theses

• MSC-2008-01 Fady Massarwi (Craig Gotsman, Gershon Elber): Papercraft from 3D Polygonal Models
• MSC-2008-02 Guy Flysher (Reuven Bar-Yehuda): Approximation Algorithms for Partial Capacitated Covering Problems
• MSC-2008-03 Yulia Dubov (Michael Kaminski): Infinite alphabet pushdown automata: various approaches and comparison of their consequences
• MSC-2008-04 Kermany Haim (Erez Petrank): The Compressor: Concurrent, Incremental, and Parallel Compaction
• MSC-2008-05 Einav Itamar (Alon Itai): Using Movie Subtitles for Creating Statistical Alignment Models
• MSC-2008-06 Yuri Pekelny (Craig Gotsman): Articulated Object Reconstruction and Motion Capture from Depth Video
• MSC-2008-07 Amjad Aboud (Yuval Rabani): Correlation Clustering with Penalties and Approximating the Reordering Buffer Management Problem
• MSC-2008-08 Roy Fox (Moshe Tennenholtz): Reinforcement Learning in Partially Observable Decision Processes
• MSC-2008-09 Li-Tal Mashiach (Ziv Bar-Yossef): Local Approximation of PageRank and Reverse PageRank
• MSC-2008-10 Saab Mansour (Alon Itai, Yoad Winter): Combining Character and Morpheme Based Models for Part-Of-Speech Tagging of Semitic Languages
• MSC-2008-11 Gil Gattegno (Illan Shimshoni and Michael Lindenbaum): Object Recognition Using Geometric Hashing Extensions
• MSC-2008-12 Mark Ginzburg (Prof. Alfred Bruckstein): Holographic Video-Scene Watermarking in the 3D DFT domain
• MSC-2008-13 Benny Godlin (Ofer Strichman): Regression Verification: Theoretical and Implementation Aspects
• MSC-2008-14 Alex Kogan (Hagit Attiya): Efficient and Robust Local Mutual Exclusion in Mobile Ad Hoc Networks
• MSC-2008-15 Evelina Zarivach (Yossi Gil): Evaluating Datalog Programs over Infinite and Founded Databases
• MSC-2008-16 Andrey Klinger (Moshe Tennenholtz): Stability Against Group Deviations in Non-Cooperative Computation
• MSC-2008-17 Ari Shotland (Roy Friedman): Efficient Route Discovery in Hybrid Networks
• MSC-2008-18 Benny Yoshpa (Ariel Orda, Assaf Schuster): Economic Aspects of QoS in Grid Computing
• MSC-2008-19 Ron Gross (Michael Kaminski): Invariance Under Stuttering in Branching-Time Temporal Logic
• MSC-2008-20 Guy Rosman (Ron Kimmel): Efficient Flattening in Manifold Learning and Image Processing
• MSC-2008-21 Rotem Oshman (Orna Grumberg): Bounded Model-Checking for Branching-Time Logic
• MSC-2008-22 Tal Zamir (Assaf Schuster and Michael Factor): Speculative Lock Acquisition for Fault-Tolerant Distributed Systems
• MSC-2008-23 Adi Mano (Ron Y. Pinter): Building Phylogenetic Trees Based on Biochemical Pathways
• MSC-2008-24 Anan Marie (Avigdor Gal): Second Line Schema Matchers
• MSC-2008-25 Ishay Goldin (Alfred M. Bruckstein): Vesicles and Amoebae: On Globally Constrained Shape Deformation