2018 MSC Theses
- MSC-2018-01
Yuval Dagan (Yuval Filmus):
Twenty Questions Game Using Restricted Sets of Questions
- MSC-2018-02
Snir Cohen (Shie Mannor):
Restricted Optimism
- MSC-2018-03
Dan Rasin (Orna Grumberg, Sharon Shoham):
Modular Verification of Concurrent Programs via Sequential Model Checking
- MSC-2018-04
Hilal Asi (Eitan Yaakobi):
Constructions of PIR and Batch Codes for Distributed Storage
- MSC-2018-05
Tamir Carmeli (Reuven Cohen):
Detection of BGP Hijacking Using TTL Analysis
- MSC-2018-06
Roman Shor (Gala Yadgar, Eitan Yaakobi, Assaf Schuster):
Efficiently Combining Confidentiality and Availability in Distributed Storage Systems
- MSC-2018-07
Tal Shor (Dan Geiger):
SciLMM: Computing heritability with millions of individuals
- MSC-2018-08
Maya Levy (Eitan Yaakobi):
Mutually Uncorrelated Codes for DNA Storage
- MSC-2018-09
Noam Ravid (Benny Kimelfeld):
Ranked Enumeration of Tree Decompositions
- MSC-2018-10
Ali Tabaja (Reuven Cohen):
A Network Layer Attack for the Price of a Physical Layer Attack in a Wireless Mesh Network with Application to RPL
- MSC-2018-11
Waseem Makhoul (Nader Bshouty):
On Polynomial time Constructions of Minimum Height Decision Tree
- MSC-2018-12
Niv Hooker (Tuvi Etzion):
On the existence of q-Fano Planes
- MSC-2018-13
Gili Yavneh (Hagit Attiya):
Remote Memory References at Block Granularity
- MSC-2018-14
Amit Gross (Ran El-Yaniv):
Usages of Selective Regression
- MSC-2018-15
Nahum Farchi (Mirela Ben-Chen):
Integer-Only Cross Field Computation
- MSC-2018-16
Eden Saig (Eli Ben-Sasson):
Modeling Collaborative Discovery
- MSC-2018-17
Uzi Cohen (Benny Kimelfeld):
Query Engine System for Probabilistic Preferences
- MSC-2018-18
Yufei Zheng (Gill Barequet):
Two Researches on Lattice Animals
- MSC-2018-19
Sa'ar Zehavi (Eyal Kushilevitz):
On the Gap Between Deterministic Communication Complexity and the Partition Number
- MSC-2018-20
Majd Omari (Yuval Ishai):
The Complexity of Identifying Cheaters
- MSC-2018-21
Gil Kupfer (Dan Tsafrir and Nadav Amit):
IOMMU-resistant DMA attacks
- MSC-2018-22
Dan Elbaz (Michael Zibulevsky):
Speech Signals Frequency Modulation Decoding via Deep Neural Networks
- MSC-2018-23
Yoav Nahshon (Benny Kimelfeld):
Relational Framework for Information Extraction
- MSC-2018-24
Seri Khoury (Keren Censor-Hillel):
New Lower Bounds for the CONGEST Model
- MSC-2018-25
Yuval Nezri (Reuven Cohen):
Cardinality Estimation in a Virtualized Network Device Using Online Machine Learning
- MSC-2018-26
Itamar Talmi (Lihi Zelnik-Manor):
Template Matching with Deformable Diversity Similarity
- MSC-2018-27
Rivka Malca (Roi Reichart):
Neural Transition Based Parsing of Web Queries: An Entity Based Approach
- MSC-2018-28
Amit Fuchs (Avi Mendelson):
Fault-Tolerant Operating System for Many-core Processors
- MSC-2018-29
Michael Balber (Tomer Shlomi):
Constraint-based Isotope Tracing (CBIT): Inferring Flux Constraints from Isotopic Tracing Data
- MSC-2018-30
Tamer Mour (Eyal Kushilevitz):
New Eļ¬cient Constructions for Distributed Oblivious RAM
- MSC-2018-31
Jonathan Zarecki (Shaul Markovitch):
Textual Membership Queries
- MSC-2018-32
Ofer Givoli (Roi Reichart):
Zero-Shot Semantic Parsing for Instructions
- MSC-2018-33
Alon Brifman (Michael Elad):
Novel Image and Video Super-Resolution Relying on Denoising Algorithms
PDF files of the technical reports and theses from this year are currently accessible only within the Technion network.
To the main CS technical reports page