2020 MSC Theses
- MSC-2020-01
Thomas Dagès (Michael Lindenbaum, Alfred M. Bruckstein):
Seeing Things in Random-Dot Videos
- MSC-2020-02
Uzi Smadja (Mor Naaman, Shaul Markovitch):
Text Readability and its Relationship with Backtracking Actions
- MSC-2020-03
Shunit Agmon (Assaf Schuster):
Preventing Collusion in Cloud Computing Auctions
- MSC-2020-04
Uri Shomroni (Avi Mendelson):
Performance Prediction of Programs on Heterogeneous and Massively-Parallel Architectures
- MSC-2020-05
Rojeh Hayek (Oded Shmueli):
Machine Learning of SQL Queries Containment Rate and Result Cardinality
- MSC-2020-06
Yoav Zuriel (Erez Petrank and Nachshon Cohen):
Efficient Lock-Free Durable Sets
- MSC-2020-07
Rachel Nirit Berman (Ronny Roth):
On the Number of Factorizations of Polynomials with Application to Rank-Metric Codes
- MSC-2020-08
Muhammad Tibi (Benny Kimelfeld):
Query Evaluation in Election Databases
- MSC-2020-09
Gal Novich (Roy Kishony, Zohar Yakhini):
Tree-Test: an association test for observations on a directed tree Gal
- MSC-2020-10
Dov Bridger (Ayellet Tal):
Solving Square Jigsaw Puzzles with Eroded Boundaries using GAN Inpainting
- MSC-2020-11
Yair Feldman (Ran El-Yaniv):
Multi-Hop Paragraph Retrieval for Open-Domain Question Answering
- MSC-2020-12
Matan Peled (Yossi Gil, David H. Lorenz):
Thapl—A Theatrical Programming Language
- MSC-2020-13
Yair Reani (Mirela Ben-Chen):
Functional Tracing of Discrete Vector Fields
- MSC-2020-15
Nadav Bhonker (Ran El-Yaniv):
Neural Models for Personalized Jazz Improvisations
- MSC-2020-16
Yehonatan Rubin (Danny Raz):
Quantifying the Impact of Latency on High Frequency Trading
- MSC-2020-17
Gary Mataev (Michael Elad):
Deep Image Prior Powered by RED
- MSC-2020-18
Sanketh Vedula (Prof. Alex Bronstein, Dr. Michael Zibulevsky):
Learning-based design of ultrasound imaging systems
- MSC-2020-19
Yinon Horesh (Eli Ben-Sasson, Yuval Ishai):
Arithmetization for Probabilistically Checkable and Interactive Oracle Proofs
- MSC-2020-20
Shai Zeevi (Benny Kimelfeld):
Answering (Unions of) Join Queries using Random Access and Random-Order Enumeration
- MSC-2020-21
Yuval Efron (Keren Censor-Hillel):
New Advances in Distributed Optimization and Distance Computation
- MSC-2020-22
Yonatan Elul (Alexander Bronstein, Yael Yaniv, Assaf Schuster):
Applied Artificial Intelligence for Medicine - A Deep Learning Framework for Diagnosis of Cardiac Arrhythmia
- MSC-2020-23
Tomer Ghelber (Shachar Itzahki):
Worst Casr Resour e Qnalysis in Program Synthesis
- MSC-2020-24
Roi Gabay (Shachar Itzhaky):
Synthesis with Granular Interactive Model
- MSC-2020-25
Omer Sabary (Eitan Yaakobi):
Reconstruction Algorithms for DNA-based Storage Systems
- MSC-2020-26
Roman Rabinovich (Ron Kimmel):
Coded Beacons for Localization, Object Tracking and SLAM Augmentation
- MSC-2020-27
Lior Neumann (Eli Biham):
Security Analysis of the Bluetooth Pairing Protocol
- MSC-2020-28
Saar Raz (Prof. Mirela Ben-Chen):
Real-Time Simulation of Viscous Thin-Films
- MSC-2020-29
Yuval Ron (Eli Biham, Amichai Shulman):
On the Security of Voice Assistants on Lock Screens
- MSC-2020-30
Sean Hadar (Shachar Itzhaky):
Incremental Computation of Spreadsheet Formulas
- MSC-2020-31
Ran Yeheskel (Roy Schwartz):
Graph Balancing with Orientation Costs
- MSC-2020-32
Aviv Nachman (Gala Yadgar):
Managing Capacity in Deduplicated Storage Systems
- MSC-2020-33
Amram Abutbul (Ran El-Yaniv):
Deep Neural Network Architecture for Tabular Data
- MSC-2020-34
Mark Fonaryov (Michael Lindenbaum):
In Search of the Minimal Recognizable Patch
- MSC-2020-35
Qasem Sayah (Prof. Reuven Cohen):
Hardware Schemes for Routing HTTP Connections and Protecting Against SYN Attacks
- MSC-2020-36
Or Isaacs (Michael Lindenbaum):
Boundaries and Region Representations Fusion
- MSC-2020-37
Alon Reshef (Benny Kimelfeld):
Computing the Shapley Value of Tuples in Conjunctive Queries with Negation
- MSC-2020-38
Mohammad Nassar (Eitan Yaakobi):
Array Codes for Functional PIR and Batch Codes
- MSC-2020-39
Roi Bar-Zur (Ittay Eyal and Aviv Tamar):
Efficient MDP Analysis for Selfish-Mining in Blockchains
- MSC-2020-40
Yaakov Sokolik (Ori Rottenstriech):
Age-aware Fairness in Blockchain Transaction Ordering
- MSC-2020-41
Inbar Kaslasi (Ron Rothblum):
Batch Verification for Statistical Zero-Knowledge Proofs
- MSC-2020-42
Guy Kushilevitz (Shaul Markovitch, Yoav Goldberg):
Pattern And Distributional Based Hybrid Methods For Semantic Extraction Tasks
- MSC-2020-43
Lior Samuel (Yossi Gil):
Domsaĝo a Spoken Programming Language as a Step Towards Personal Assistant Programming
- MSC-2020-44
Rajaei Khatib (Michael Elad):
Learned Greedy Method (LGM): A Novel Neural Architecture for Sparse Coding and Beyond
To the main CS technical reports page