# CS Department Events and Talks

• ## ceClub: A Fast Interface for SGX Secure Enclaves

Secure execution technologies, such as Intel SGX, offer an attractive solution for protecting one's private data in the public cloud environment. In this talk, ...

Speaker:
Ofir Weisse (University of Michigan)
Date:
Sunday, 31.12.2017, 13:30
Place:
EE Meyer Building 1061
• ## CGGC Seminar: Adjective-based Yacht Hull Design and Model Sampling CAD Products

A novel yacht hull design framework and a generative design technique for CAD products will be explained in this talk. A new design framework ...

Speaker:
Erkan Gunpinar (School of Mechanical Engineering, Istanbul Technical University)
Date:
Sunday, 31.12.2017, 13:30
Place:
Room 337 Taub Bld.
• ## Exact Learning in Data-driven Systems

Many software systems rely on data-driven models to make decisions. Examples include self-driving cars, malware detection and aircraft collision avoidance detection. Unfortunately, data-driven models ...

Speaker:
Dana Drachsler Cohen - SPECIAL GUEST LECTURE
Date:
Thursday, 28.12.2017, 14:30
Place:
Room 337 Taub Bld.
• ## Special Guest Lecture: Can We Trust SQL as a Data Analytics Tool?

Multiple surveys show that SQL and relational databases remain the most common tools used by data scientists. But can we fully trust them? We ...

Speaker:
Leonid Libkin (School of Informatics, University of Edinburgh)
Date:
Thursday, 28.12.2017, 11:30
Place:
Room 337 Taub Bld.
• ## Theory Seminar: Fault Tolerant Subgraph for Single Source Reachability: Generic and Optimal

Let G=(V,E) be an n-vertices m-edges directed graph. Let s∈ V be any designated source vertex. We address the problem of single source reachability ...

Speaker:
Liam Roditty (Bar-Ilan University)
Date:
Wednesday, 27.12.2017, 12:30
Place:
Taub 201
• ## ceClub: Online Detection of Effectively Callback Free Objects with Applications to Smart Contracts

Callbacks are essential in many programming environments, but drastically complicate program understanding and reasoning because they allow to mutate object’s local states by external ...

Speaker:
Guy Golan-Gueta (VMWare Research)
Date:
Wednesday, 27.12.2017, 11:30
Place:
Taub 301
• ## Pixel Club: Deep Neural Networks Meet PDE’s

In this talk we will explore deep neural networks from a dynamical systems point of view. We will show that the learning problem can ...

Speaker:
Date:
Monday, 25.12.2017, 11:00
Place:
Room 337 Taub Bld.
• ## CGGC Seminar: How to Use Open Access Sources Wisely

Open Access (OA) refers to various forms of research outputs that are openly available online and are free of many restrictions on access and ...

Speaker:
Ronit Marco (Elyachar Central Library)
Date:
Sunday, 24.12.2017, 13:30
Place:
Room 337 Taub Bld.
• ## Overcoming Intractability in Learning

Machine learning has recently been revolutionized by the introduction of Deep Neural Networks. However, from a theoretical viewpoint these methods are still poorly understood. ...

Speaker:
Roi Livni - CS-Lecture
Date:
Thursday, 21.12.2017, 10:30
Place:
Room 601 Taub Bld.
• ## Faster and Simpler Distributed CONGEST-Algorithms for Testing and Correcting Graph Properties

We consider the following problem introduced by [Censor-Hillel et al., DISC 2016]. Design a distributed algorithm (called an $\epsilon$-tester) that tests whether the network ...

Speaker:
Guy Even - COLLOQUIUM LECTURE
Date:
Tuesday, 19.12.2017, 14:30
Place:
Room 337 Taub Bld.
• ## Interplays between Machine Learning and Optimization

Over the past two decades, machine learning has rapidly evolved and emerged as a highly influential discipline of computer science and engineering. One of ...

Speaker:
Tomer Koren - CS-Lecture
Date:
Monday, 18.12.2017, 10:30
Place:
Room 601 Taub Bld.
• ## Theory Seminar: The Maximum Star Forest and The Maximum Carpool Matching Problems

The minimum dominating set problem in a graph $G = (V, E)$ asks to find a minimum size set $D \subseteq V$ such that ...

Speaker:
Date:
Wednesday, 13.12.2017, 12:30
Place:
Taub 201
• ## Pixel Club: Local-to-Global Point Cloud Registration using a Viewpoint Dictionary

Local-to global point cloud registration is a challenging task due to the substantial differences between these two types of data, and the different techniques ...

Speaker:
David Avidar (EE, Technion)
Date:
Tuesday, 12.12.2017, 11:30
Place:
EE Meyer Building 1061
• ## Detection of BGP Hijacking Using TTL Analysis

The Border Gateway Protocol (BGP) is a crucial part of the Internet infrastructure. However, it was developed in the 1980s with limited concern for ...

Speaker:
Tamir Carmeli
Date:
Monday, 11.12.2017, 13:30
Place:
Taub 601
• ## Coding Theory: Frobenius Problem in Numerical Semigroups

See attached document.

Speaker:
Leonid Fel (Technion)
Date:
Sunday, 10.12.2017, 14:30
Place:
Taub 601
• ## CGGC Seminar: Geometry Processing Methods and Their Real-Life Applications

Digital geometry processing (DGP) is one of the core topics of computer graphics, and has been an active line of research for over two ...

Speaker:
Amit Bermano (Princeton Graphics Group)
Date:
Sunday, 10.12.2017, 13:30
Place:
Room 337 Taub Bld.
• ## Research Presentation Event at CS

CS invites all-degree students to a Research Presentation Event including lectures in various topics by faculty members: Miri Ben-Chen - Computing with 3D Surfaces ...

Date:
Wednesday, 6.12.2017, 12:30
Place:
Room 337 Taub Bld.
• ## Theory Seminar: White-box vs. Black-box Search Problems: a Cryptographic Perspective

Ramsey theory assures us that in any graph there is a clique or independent set of a certain size, roughly logarithmic in the graph ...

Speaker:
Moni Naor (Weizmann Institute of Science)
Date:
Wednesday, 6.12.2017, 12:30
Place:
Taub 201
• ## Fault-Tolerant Operating System for Many-Core Processors

This seminar presents a fault-tolerant distributed operating system designed to harness the massive parallelism in many-core (1,000-10,000+) distributed shared memory processors. In order to ...

Speaker:
Amit Fuchs
Date:
Wednesday, 6.12.2017, 10:30
Place:
Taub 601
• ## Unstructured Parallelism Considered Harmful - Improving Software Reliability and Performance through Structured Parallelism

It is widely recognized that a major disruption is under way in computer hardware as processors strive to extend, and go beyond, the end-game ...

Speaker:
Prof. Vivek Sarkar - COLLOQUIUM LECTURE
Date:
Tuesday, 5.12.2017, 14:30
Place:
Room 337 Taub Bld.
• ## TCE Guest Lecture: Sensing CPU Electro-Magnetic Emanations for Voltage Noise Characterization

A combination of supply-voltage scaling, GHz+ operating frequencies and multi-core execution makes power-delivery a critical challenge for high-end processing systems. Previous work on Power-Delivery ...

Speaker:
Yanos Sazeides (University of Cyprus)
Date:
Tuesday, 5.12.2017, 11:30
Place:
EE Meyer Building 1061
• ## Pixel Club: Curriculum Learning in Perceptual Learning and Affect Recognition, With and Without Deep Learning

I will talk about two recent results concerning problems motivated by human cognition. (i) In the first part I will talk about modeling of ...

Speaker:
Daphna Weinshall (Hebrew University of Jerusalem)
Date:
Tuesday, 5.12.2017, 11:30
Place:
Room 337 Taub Bld.
• ## CSpecial Talk: How to Start Looking for a Job

We are happy to invite your to the second of series of meetings on career and job seeking which will be held at CS. ...

Speaker:
Orly Militzer (Dell EMC ScaleIO)
Date:
Monday, 4.12.2017, 17:00
Place:
Taub 7
• ## CSpecial Talk: Learning to Understand Source Code with Machine Learning

Deep Neural Networks are succeeding at a range of natural language tasks such as machine translation and text summarization. Recently, the interdisciplinary field of ...

Speaker:
Miltos Allamanis (Microsoft Research)
Date:
Monday, 4.12.2017, 12:30
Place:
Taub 3
• ## Coding Theory: High-rate Locally List, Recoverable Codes & Other Beasts

We give the first construction of high-rate locally list-recoverable codes. List-recovery has been an extremely useful building block in coding theory, and our motivation ...

Speaker:
Noga Ron-Zewi (Haifa University)
Date:
Sunday, 3.12.2017, 14:30
Place:
Taub 601
• ## ceClub: Real-time Hierarchical Heavy Hitters Measurements" (based on ACM SIGCOMM'17 paper)

Monitoring tasks, such as anomaly and DDoS detection, require identifying frequent flow aggregates based on common IP prefixes. These are known as hierarchical heavy ...

Speaker:
Ran Ben-Basaf (CS, Technion)
Date:
Sunday, 3.12.2017, 13:00
Place:
EE Meyer Building 1061
• ## NFV Placement for Dynamic Workload

Network Function Virtualization (NFV) is an emerging networking paradigm where network functions are located at Commercially-Off-The-Shelf (COTS) servers distributed across a network. This paradigm ...

Speaker:
Yaron Fairstein
Date:
Wednesday, 29.11.2017, 13:30
Place:
Taub 601
• ## Theory Seminar: High-rate Locally List, Recoverable Codes & Other Beasts

We give the first construction of high-rate locally list-recoverable codes. List-recovery has been an extremely useful building block in coding theory, and our motivation ...

Speaker:
Noga Ron-Zewi (Haifa University)
Date:
Wednesday, 29.11.2017, 12:30
Place:
Taub 201
• ## A Query Engine for Probabilistic Preferences

Models of uncertain preferences, such as Mallows, have been extensively studied due to their plethora of application domains. In a recent work, a conceptual ...

Speaker:
Uzi Cohen
Date:
Wednesday, 29.11.2017, 11:30
Place:
Taub 3
• ## CGGC Seminar: Computational Design for the Next Manufacturing Revolution

Over the next few decades, we are going to transition to a new economy where highly complex, customizable products are manufactured on demand by ...

Speaker:
Adriana Schulz (MIT Computer Graphics Group)
Date:
Tuesday, 28.11.2017, 12:30
Place:
Taub 401
• ## Pixel Club: On the Utility of Context for Object Detection and when it is Lacking

The recurring context in which objects appear holds valuable information that can be employed to predict their existence. This intuitive observation indeed led many ...

Speaker:
Ehud Barnea (Ben-Gurion University)
Date:
Tuesday, 28.11.2017, 11:30
Place:
Room 337 Taub Bld.
• ## Inverse Problems and Unsupervised Learning with applications to Cryo-Electron Microscopy (cryo-EM)

Cryo-EM is an imaging technology that is revolutionizing structural biology; the Nobel Prize in Chemistry 2017 was recently awarded to Jacques Dubochet, Joachim Frank ...

Speaker:
Roy Lederman - CS-Lecture
Date:
Sunday, 26.11.2017, 10:30
Place:
Room 401 Taub Bld.
• ## Theory Seminar: A Structure Theorem for Biased Boolean Functions with A Small Total Influence

The influence of the k'th coordinate on a Boolean function f:{0,1}^n -> {0,1} is the probability that flipping x_k changes the value f(x). The ...

Speaker:
Nathan Keller (Bar-Ilan University)
Date:
Wednesday, 22.11.2017, 12:30
Place:
Taub 201
• ## Bayesian Viewpoint-Dependent Robust Classification under Uncertainty

Object classification and more generally - semantic perception, are an important aspect in situational awareness in autonomous systems. Recent advances in visual information processing ...

Speaker:
Yuri Feldman
Date:
Tuesday, 21.11.2017, 15:30
Place:
Taub 601
• ## Information Theory of Deep Learning

I will present a novel comprehensive theory of large scale learning with Deep Neural Networks, based on the correspondence between Deep Learning and the ...

Speaker:
Naftali Tishby - COLLOQUIUM LECTURE
Date:
Tuesday, 21.11.2017, 14:30
Place:
Room 337 Taub Bld.
• ## Pixel Club: Co-occurrence Filter

Co-occurrence Filter (CoF) is a boundary preserving filter. It is based on the Bilateral Filter (BF) but instead of using a Gaussian on the ...

Speaker:
Shai Avidan (Tel-Aviv University)
Date:
Tuesday, 21.11.2017, 11:30
Place:
Room 337 Taub Bld.
• ## Microsoft Evening at CS

Microsoft will hold an event of lectures, drinks and snacks on Monday evening, November 20, 2017, between 17: 00-18: 30, in the lobby of ...

Date:
Monday, 20.11.2017, 17:30
Place:
CS Taub Lobby
• ## Modelling Collaborative Discovery

The goal of this work is to develop collaborative mechanisms which help people gain understanding of complex phenomena. We start by presenting an online, ...

Speaker:
Eden Saig
Date:
Monday, 20.11.2017, 15:30
Place:
Taub 601
• ## Coding Theory: Pseudo-random Matrices

Random matrices have become a very active area of research in the recent years and have found enormous applications in modern mathematics, physics, engineering, ...

Speaker:
Eliahu Soloveychik (Harvard School of Engineering and Applied Sciences)
Date:
Sunday, 19.11.2017, 14:30
Place:
Taub 601
• ## Theory Seminar: Fooling Views: A New Lower Bound Technique for Distributed Computations under Congestion.

We introduce a novel lower bound technique for distributed graph algorithms under bandwidth limitations. We define the notion of fooling views and exemplify its ...

Speaker:
Seri Khouy (CS, Technion)
Date:
Wednesday, 15.11.2017, 12:30
Place:
Taub 201
• ## Pixel Club: Temporal Tessellation: A unified Approach for Video Analysis

We present a general approach to video understanding, inspired by semantic transfer techniques that have been successfully used for 2D image analysis. Our method ...

Speaker:
Dotan Kaufman (Amazon)
Date:
Tuesday, 14.11.2017, 09:30
Place:
Room 337 Taub Bld.
• ## Explaining the Success of AdaBoost and Random Forests as Interpolating Classifiers

There is a large literature explaining why AdaBoost is a successful classifier. The literature on AdaBoost focuses on classifier margins and boosting's interpretation as ...

Speaker:
Abraham (Adi) Wyner - SPECIAL GUEST LECTURE - TECHNION MACHINE LEARNING SEMINAR
Date:
Monday, 13.11.2017, 12:30
Place:
Room 337 Taub Bld.
• ## Theory Seminar: Collaborative Discovery: A study of Guru-follower Dynamics

Gurus are individuals who claim to possess mental powers of insight and prediction that far surpass those of the average person; they compete over ...

Speaker:
Eden Saig (CS, Technion)
Date:
Wednesday, 8.11.2017, 12:30
Place:
Taub 201
• ## From Convolutional Sparse Coding to Deep Sparsity

Sparse approximation and dictionary learning have been applied with great success to several image processing tasks, often leading to state-of-the-art results. Yet, these methods ...

Speaker:
Jeremias Sulam
Date:
Wednesday, 8.11.2017, 10:30
Place:
Taub 201
• ## Complexity-Theoretic Foundations of Quantum Supremacy Experiments

In the near future, there will likely be special-purpose quantum computers with 50 or so high-quality qubits. In this talk, I'll discuss general theoretical ...

Speaker:
Scott Aaronson - COLLOQUIUM LECTURE
Date:
Tuesday, 7.11.2017, 14:30
Place:
Room 337 Taub Bld.
• ## Pixel Club: Seeing Through Noise: Audio-visual Speech Separation and Enhancement

When video is recorded in a studio, sound is clear of external noises and unrelated sounds. However, most video is not shot at studios. ...

Speaker:
Aviv Gabbay (Hebrew University of Jerusalem)
Date:
Tuesday, 7.11.2017, 11:30
Place:
Room 337 Taub Bld.
• ## Pixel Club: Inverse Problems of Medical Ultrasound and a Little Beyond

The coherent nature of ultrasound imaging along with the bandlimitedness of its beamforming mechanism impose limitations on the resolution and contrast of ultrasound scans. ...

Speaker:
Oleg Michailovich (University of Waterloo)
Date:
Sunday, 5.11.2017, 11:30
Place:
Room 337 Taub Bld.
• ## CSpecial Talk: How to Turn a Degree to a Career

We are happy to invite your to the first of series of meetings on career and job seeking which will be held at CS. ...

Speaker:
Yonathan Yaniv (YOTPO)
Date:
Sunday, 5.11.2017, 11:30
Place:
CS Taub Build. Auditorium 1
• ## ceClub: A 1,000x Improvement in Computer Systems using Current Fabs and Process

For over 4 decades, the gap between computer processing speed and memory access has grown at about 50% per year, to more than 1,000x ...

Speaker:
Zvi Or-Bach (CEO, MonolithIC 3D™Inc.)
Date:
Wednesday, 1.11.2017, 11:30
Place:
EE Meyer Building 861
• ## Pixel Club: Deep Learning for Inverse Problems in Image Restoration

In the past decade we are experiencing a massive come-back of Neural Networks that flourished in the eighties, this time with a much greater ...

Speaker:
David Boublil (EE, Technion)
Date:
Tuesday, 31.10.2017, 11:30
Place:
Room 337 Taub Bld.
• ## Google TECH TALK at CS

Google team will visit CS to give a tech talk focusing on Machine Learning and to present to you various opportunities to discuss with ...

Speaker:
Date:
Monday, 30.10.2017, 17:00
Place:
CS Taub Build. Auditorium 1
• ## Coding Theory: Codes for Erasures over Directed Graphs

In this work, we continue the study of a new class of codes, called codes over graphs Here we consider storage systems where the ...

Speaker:
Lev Yohananov (CS, Technion)
Date:
Sunday, 29.10.2017, 14:30
Place:
Taub 601
• ## Automating Training of Deep Neural Networks via adaptive learning rate.

The choice of hyper parameters, such as learning rate, when training Deep Neural Networks is more of art than science. However, correctly setting them ...

Speaker:
Shai Vaknin
Date:
Thursday, 26.10.2017, 13:30
Place:
Mayer 1061
• ## Restricted Optimism via Posterior Sampling

Optimistic methods for solving Reinforcement Learning problems are very popular in the literature. In practice, however, these methods show inferior performance compared to other ...

Speaker:
Snir Cohen
Date:
Wednesday, 25.10.2017, 14:00
Place:
Taub 601
• ## Theory Seminar: Ad-hoc Window Summation

Computing the sum of elements over a sliding window is a textbook interview question. By storing the last window and its sum in memory, ...

Speaker:
Ran Ben-Basat (CS, Technion)
Date:
Wednesday, 25.10.2017, 12:30
Place:
Taub 201
• ## ceClub: The Technion Computer Engineering Club

Remote computing services (e.g., virtualization and cloud services) offer advantages to organizations and individuals, putting at their disposal enormous computing resources while permitting them ...

Speaker:
Ofir Shwartz (EE, Technion)
Date:
Wednesday, 25.10.2017, 11:30
Place:
EE Meyer Building 861
• ## TONIGHT! Exposure Night to CS Information for 2017-18

CS invites all degrees students to attend the "Exposure Night" - An information fair that will present the variety of CS projects, seminars and ...

Date:
Tuesday, 24.10.2017, 18:00
Place:
CS Taub Lobby
• ## CGGC Seminar: 2-3 Cuckoo Filters for Faster Triangle Listing and Set Intersection

We introduce new dynamic set intersection data structures, which we call 2-3 cuckoo filters and hash tables. These structures differ from the standard cuckoo ...

Speaker:
Michael T. Goodrich (University of California, Irvine)
Date:
Monday, 23.10.2017, 14:30
Place:
Room 337 Taub Bld.
• ## A Deep Learning Approach to Autonomous Driving

This talk describes a system, known as PilotNet, that provides perception and control for self-driving cars. PilotNet learns from data, emulating the behavior of ...

Speaker:
Larry Jackel (NVIDIA) - CS Special Guest Talk
Date:
Thursday, 19.10.2017, 14:30
Place:
Room 337 Taub Bld.
• ## Large Batch Training of Convolutional Networks with Linear-wise Adaptive Rate Scaling

A common way to speed up training of large convolutional networks is to add computational units. Training is then performed using data-parallel synchronous Stochastic ...

Speaker:
Boris Ginsburg (NVIDIA) - CS Special Guest Talk
Date:
Thursday, 19.10.2017, 14:30
Place:
Room 337 Taub Bld.
• ## AI WILL CHANGE THE WORLD

Jansen Huang, NVIDIA president and world techniology leader, will visit CS and will give a special talk: "AI WILL CHANGE THE WORLD". The lecture ...

Speaker:
Jansen Huang (NVIDIA) - CS Special Guest Talk
Date:
Thursday, 19.10.2017, 11:00
Place:
CS Taub Build. Auditorium 2
• ## On the Gap Between Deterministic Communication Complexity and the Partition Number

In 1979, Yao has defined the communication complexity model, including the two measures: Deterministic communication complexity and partition number. The relation between deterministic communication ...

Speaker:
Saar Zehavi
Date:
Wednesday, 18.10.2017, 13:00
Place:
Taub 601
• ## Efficent Monitoring of Distributed Data Streams

Emerging large-scale applications rely on continuous tracking of complex queries over collections of massive, dynamic, and physically-distributed data streams. Thus, in addition to the ...

Speaker:
Arnon Lazerson
Date:
Sunday, 15.10.2017, 12:00
Place:
Taub 301
• ## Pixel Club: On Thinning Transducer Arrays for Ultrasound Imaging using Multiplicative Beamforming

Element reduction in ultrasound transducers allows for several benefits, such asmore compact ultrasound systems and more efficient implementation of signal enhancement algorithms. However, element ...

Speaker:
​​Omri Soceanu​ (EE, Technion)
Date:
Tuesday, 26.9.2017, 11:30
Place:
EE Meyer Building 861
• ## CGGC Seminar: IGATOOLS: A General Purpose C++14 Library for Isogeometric Analysis

We present the design and the implementation of IGATOOLS [1], a C++14 general purpose library for solving PDEs using the isogeometric analysis framework [2]. ...

Speaker:
Pablo Antolin (Ecole Polytechnique F´ed´erale de Lausanne - EPFL, Switzerland)
Date:
Monday, 25.9.2017, 14:00
Place:
Room 337 Taub Bld.
• ## Incremental SAT solving based on analyzing previous resolution proofs.

The majority of SAT solving applications are incremental in nature, i.e., instead of solving a single formula, a sequence of (syntactically) similar formulas are ...

Speaker:
Ofer Guthmann
Date:
Sunday, 24.9.2017, 11:00
Place:
Taub 601
• ## ceClub: Sharing Cloud Networks

Cloud computing has become ubiquitous in our lives. We store our Dropbox files and run our Google searches on the cloud. However, the cloud ...

Speaker:
Aran Bergman (EE, Technion)
Date:
Wednesday, 13.9.2017, 11:30
Place:
EE Meyer Building 861
• ## Theory Seminar: On Communication Complexity of Classification Problems

We study the two-party communication and sample complexities of classification problems. We consider a variant of Yao's classical model in which the parties may ...

Speaker:
Shay Moran (University of California San Diego)
Date:
Tuesday, 12.9.2017, 13:30
Place:
Room 337 Taub Bld.
• ## The 6th Summer School on Cyber and Computer Security

The Hiroshi Fujiwara Cyber Security Research Center will hold the 6th Summer School on Cyber and Computer Security: "Decentralized Cryptographic Currencies and Blockchains". The ...

Date:
Sunday, 10.9.2017, 09:00
Place:
Technion
• ## Theory Seminar: Simulators Programming

The traditional view of simulation is that processors are programmed and then simulators execute the processors threads. That is, the programmer thinks about processors ...

Speaker:
Eli Gafni (UCLA)
Date:
Sunday, 3.9.2017, 12:30
Place:
Room 337 Taub Bld.
• ## Pixel Club: A Quest for a Universal Model for Signals: From Sparsity to ConvNets

Modeling data has led to a revolution in the fields of signal and image processing, and machine learning. Consider the simplest restoration problem - ...

Speaker:
Yaniv Romano (EE, Technion)
Date:
Wednesday, 30.8.2017, 11:30
Place:
Room 337 Taub Bld.
• ## Complexity of identifying cheaters

A secret sharing scheme allows a dealer to distribute a secret amongst a group of participants, where each participant is given a share of ...

Speaker:
Majd Omary
Date:
Tuesday, 29.8.2017, 15:30
Place:
Taub 601
• ## On Visibility and Point Clouds

We introduce the concept of visibility detection within a point set to new domains. Specifically, we show that a simple representation of an image ...

Speaker:
Nati Kligler
Date:
Tuesday, 29.8.2017, 11:30
Place:
Taub 601
• ## Automatic Feature Generation for Predicting Program Properties

We present a novel approach for automatic feature generation for predicting program properties. Our approach automatically produces features that can capture long-distance syntactic relationships ...

Speaker:
Uri Alon
Date:
Thursday, 17.8.2017, 10:00
Place:
Taub 601
• ## ceClub: Enabling Secure Distributed Storage and Private Information Retrieval in the Presence of Adversaries with Side Information

The talk includes two parts. First, we consider the problem of designing repair-efficient distributed storage systems that are secure against a passive eavesdropper that ...

Speaker:
Alex Sprintson (Texas A&M University)
Date:
Wednesday, 9.8.2017, 11:30
Place:
EE Meyer Building 861
• ## Pixel Club: On the Spatial Distribution of Colour In Images and its Role in Image Resizing

The Total Variation (TV) framework has been shown to give a good scale-space representation for many purposes. Much has been done in showing the ...

Speaker:
Yedidya Hyams (EE, Technion)
Date:
Tuesday, 8.8.2017, 11:30
Place:
EE Meyer Building 861
• ## Gathering of Agents on the Line

We consider a group of mobile agents on a line, identical and indistinguishable, memoryless, having the capability to only sense the presence of neighboring ...

Speaker:
Dmitry Rabinovich
Date:
Wednesday, 26.7.2017, 14:30
Place:
Taub 601
• ## Compositional Semantic Parsing of Instructions in Unseen Domains

Semantic parsing is the task of mapping natural language sentences into a formal representation of their meaning, often defined as logical forms. One of ...

Speaker:
Ofer Givoli
Date:
Wednesday, 26.7.2017, 10:00
Place:
Taub 601
• ## Pixel Club: Models of Stochastic Textures and their Applications in Image Processing

Textures are what differentiates true, real-life images, from cartoon images. The latter emphasize mainly smooth content other than the edges and contours, whereas the ...

Speaker:
Ido Zachevsky (EE, Technion)
Date:
Tuesday, 25.7.2017, 11:30
Place:
EE Meyer Building 815
• ## Named Entity Disambiguation for Noisy Text with deep learning

We address the task of Named Entity Disambiguation (NED) for noisy text. We present WikilinksNED, a large-scale NED dataset of text fragments from the ...

Speaker:
Yotam Eshel
Date:
Wednesday, 19.7.2017, 12:00
Place:
Taub 601
• ## CGGC Seminar: Efficient Collision Detection and Avoidance for Tree Structures using Sweep-based BVH

We present an interactive tree modeling and deformation system that supports an efficient collision detection and avoidance using a bounding volume hierarchy of sweep ...

Speaker:
Myung Soo Kim (Seoul National University)
Date:
Sunday, 16.7.2017, 13:30
Place:
Room 337 Taub Bld.
• ## Mutually Uncorrelated Codes for DNA Storage

Mutually Uncorrelated (MU) codes are a class of codes in which no proper prefix of one codeword is a suffix of another codeword. These ...

Speaker:
Maya Levy
Date:
Thursday, 13.7.2017, 14:30
Place:
Taub 601
• ## Pixel Club: Increasing CNN Robustness to Occlusions by Reducing Filter Support

Convolutional neural networks (CNNs) provide the current state of the art in visual object classification, but they are far less accurate when classifying partially ...

Speaker:
Date:
Thursday, 13.7.2017, 11:30
Place:
EE Meyer Building 861
• ## Theory Seminar: On Axis-Parallel Tests for Tensor Product Codes

Axis-parallel tests are variants of low-degree tests where the input function can only be examined via its restrictions to axis-parallel lines or hyperplanes. In ...

Speaker:
Peter Manohar (Berkeley University)
Date:
Wednesday, 12.7.2017, 12:30
Place:
TBA
• ## Theory Seminar: A New Approach to Zero Knowledge

Existing constructions of zero knowledge proof systems typically work as follows: construct a proof system which is information-theoretically sound but not zero knowledge, then ...

Speaker:
Nick Spooner (University of Toronto)
Date:
Monday, 10.7.2017, 12:30
Place:
Taub 301
• ## Theoretical and Experimental Methods for Concurrent Search Trees

As core counts continue to rise in modern processors, it is increasingly important for applications to be scalable. Designing scalable concurrent software is notoriously ...

Speaker:
Maya Arbel
Date:
Monday, 10.7.2017, 11:00
Place:
Taub 601
• ## Coding Schemes for Non-Volatile Memories

Flash memories is a non-volatile technology that is both electrically programmable and electrically erasable. It incorporates a set of cells maintained at a set ...

Speaker:
Michal Horovitz
Date:
Thursday, 6.7.2017, 14:30
Place:
Taub 601
• ## High-Order Attention Models for Visual Question Answering

The quest for algorithms which enable cognitive abilities is an important part of machine learning. A common trait in these recent cognitive-like tasks is ...

Speaker:
Idan Schwartz
Date:
Wednesday, 5.7.2017, 17:30
Place:
Taub 601
• ## Pixel Club: Visual Looming Approach for Autonomous Navigation

Have you ever wondered about “order amidst chaos” in a “crazy” intersection where drivers, bikers and pedestrians manage to cross it without collisions?​ This ...

Speaker:
Daniel Raviv​ ​and ​Juan David Yepes (CS, Technion)
Date:
Wednesday, 5.7.2017, 14:30
Place:
Room 337 Taub Bld.
• ## Theory Seminar: Randomized Online Matching in Regular Graphs

In this talk, we will discuss the classic bipartite matching problem in the online setting, first introduced in the seminal work of Karp, Vazirani ...

Speaker:
David Wajc (Carnegie Mellon University)
Date:
Wednesday, 5.7.2017, 12:30
Place:
Taub 201
• ## IBM Quantum Experience: Prospects for universal quantum computing in the marketplace

IBM recently released IBM Quantum Experience, a freely accessible programming interface to its 5-bit universal quantum computer, accompanied by a 16-bit beta version, both ...

Speaker:
Yehuda Naveh - SPECIAL GUEST LECTURE
Date:
Tuesday, 4.7.2017, 14:30
Place:
Room 337 Taub Bld.
• ## Project Fair in IoT and Android

On Tuesday, July 4th, 2017, the Systems and Software Development Laboratory (SSDL) will hold a project Fair on IoT and Android, presenting the ...

Date:
Tuesday, 4.7.2017, 12:30
Place:
CS Taub Lobby
• ## Theory Students Meeting

Theory graduate students will present their field of study alongside some of the problems they are conducting research on. More details in the attached ...

Date:
Sunday, 2.7.2017, 14:30
Place:
Taub 301
• ## Probabilistic Pursuits on Graphs

We consider a discrete system of "ant-like" agents which pursue each other on the vertices of a graph environment. Visually reminiscent of a trail ...

Speaker:
Michael Amir
Date:
Thursday, 29.6.2017, 11:30
Place:
Taub 301
• ## Generalizations of the Cardinality Estimation Problem and Applications to Computer Networks

Sketch-based streaming algorithms allow efficient processing of big data. These algorithms use small fixed-size storage to store a summary ("sketch") of the input data, ...

Speaker:
Aviv Yehezkel
Date:
Wednesday, 28.6.2017, 13:00
Place:
Taub 601
• ## The True Difference Between Emulation and Paravirtualization of High-Throughput I/O Devices

Machine virtualization has grown in popularity in recent years with the growth of cloud computing. Virtual machines use virtual I/O devices to perform their ...

Speaker:
Arthur Kiyanovski
Date:
Wednesday, 28.6.2017, 13:00
Place:
Taub 701
• ## Exposure to Virtual Reality Course Event

The Geometric Image Processing Laboratory (GIP) and the Center for Graphics and Geometric Computing (CGGC) invite you to a special event of ...

Date:
Wednesday, 28.6.2017, 12:30
Place:
CS Taub Lobby
• ## ceClub: Securing Internet Routing from the Ground Up

The Internet's communication infrastructure (TCP/IP, DNS, BGP, etc.) is alarmingly insecure, as evidenced by many high-profile incidents. I will illustrate the challenges en route ...

Speaker:
Michael Schapira (Hebrew University of Jerusalem)
Date:
Wednesday, 28.6.2017, 11:30
Place:
EE Meyer Building 861
• ## Probabilistic Reasoning Meets Heuristic Search

Graphical models, including constraint networks, Bayesian networks, Markov random fields and influence diagrams, have become a central paradigm for knowledge representation and reasoning in ...

Speaker:
Rina Dechter - SPECIAL GUEST LECTURE - Note unusual day and time
Date:
Wednesday, 28.6.2017, 11:30
Place:
Room 337 Taub Bld.
• ## Pixel Club: InterpoNet, A Brain Inspired Neural Network for Optical Flow Dense Interpolation

Sparse-to-dense interpolation for optical flow is a fundamental phase in the pipeline of most of the leading optical flow estimation algorithms. The current state-of-the-art ...

Speaker:
Shay Zweig (Bar-Ilan & Tel-Aviv University)
Date:
Tuesday, 27.6.2017, 11:30
Place:
EE Meyer Building 1061
• ## CGGC Seminar: Consistent Functional Cross Field Design for Mesh Quadrangulation

We propose a novel technique for computing consistent cross fields on a pair of triangle meshes given an input correspondence, which we use as ...

Speaker:
Omri Azencot (CS, Technion)
Date:
Sunday, 25.6.2017, 14:00
Place:
Taub 401
• ## Pixel Club: Computational Geometric Vision

By combining geometric principles for shape analysis with modern sensing techniques, large-scale datasets and powerful computational architectures we show various new ways of enabling ...

Speaker:
Aaron Wetzler (CS, Technion)
Date:
Thursday, 22.6.2017, 11:30
Place:
Room 337 Taub Bld.
• ## Theory Seminar: Competitive Distributed Controller with Heterogeneous Edge Costs

Most communication networks exhibit a large variety of links that may differ significantly in terms of the cost incurred for sending messages over them. ...

Speaker:
Shimon Bitton (IE, Technion)
Date:
Wednesday, 21.6.2017, 12:30
Place:
Taub 201
• ## Pixel Club: Shape Correspondence using Spectral Methods and Deep Learning

The interest in acquiring and analyzing the geometry of the world is ever increasing, fueling a wide range of computer vision algorithms in the ...

Speaker:
Alon Shtern (CS, Technion)
Date:
Wednesday, 21.6.2017, 11:30
Place:
Taub 601
• ## TODAY! The 7th Annual International TCE Conference on Coding for Storage and Information Systems

The 7th annual international TCE conference will take place on Wednesday-Thursday, June 21-22, 2017 at the Technion CS Taub Building and will focus onadvancing ...

Date:
Wednesday, 21.6.2017, 08:30
Place:
CS Taub Building
• ## ceClub: Finding the Next Curves: Towards a Scalable Future for Specialized Architectures

The end of CMOS transistors scaling marks a new era for modern computer systems. As the gains from traditional general-purpose processors diminish, researchers explore ...

Speaker:
Date:
Tuesday, 20.6.2017, 11:30
Place:
EE Meyer Building 1007
• ## Pixel Club: Improved Stereo Matching with Constant Highway Networks and Reflective Confidence Learning

I'll present two new concepts in deep learning and show how we used them to achieve a significant improvement in stereo matching, which is ...

Speaker:
Amit Shaked (Tel-Aviv University)
Date:
Tuesday, 20.6.2017, 11:30
Place:
EE Meyer Building 1061
• ## Coding Theory: Coded Gradient Computation form Cyclic MDS Codes and Expander Graphs

Stochastic Gradient Descent (SGD) is a popular method for learning classes of linear predictors. If the size of the training set is large, a ...

Speaker:
Netanel Raviv (CS, Technion)
Date:
Sunday, 18.6.2017, 14:30
Place:
Taub 601
• ## CGGC Seminar: GWCNN: A Metric Alignment Layer for Deep Shape Analysis & Deblurring and Denoising of Maps between Shapes

Title: GWCNN: A Metric Alignment Layer for Deep Shape Analysis Abstract: Deep neural networks provide a promising tool for incorporating semantic information in geometry ...

Speaker:
Danielle Ezuz (CS, Technion)
Date:
Sunday, 18.6.2017, 13:30
Place:
Taub 601
• ## CRYPTODAY 2017

The 2017 Workshop in Cryptology will be held on Thursday, June 15 2017, between 9:00-17:15, in Auditorium 1, at the CS Taub Building, Technion. ...

Date:
Thursday, 15.6.2017, 13:00
Place:
CS Taub Build. Auditorium 1
• ## TCE Guest Lecture: Memcomputing: a Brain-inspired Topological Computing Paradigm

Which features make the brain such a powerful and energy-efficient computing machine? Can we reproduce them in the solid state, and if so, what ...

Speaker:
Massimiliano Di Ventra (University of California San Diego)
Date:
Thursday, 15.6.2017, 12:30
Place:
EE Meyer Building 1003
• ## Constructions of PIR and Batch Codes for Distributed Storage

Distributed and cloud storage systems today are required to tolerate the failure or unavailability of some of the nodes in the system. The simplest ...

Speaker:
Helal Assi
Date:
Wednesday, 14.6.2017, 15:00
Place:
Taub 601
• ## CSpecial Guest: Computer Graphics in the View of Time: Past, Present and Future

More details in the attached ad. You are all invited.

Speaker:
Eyal Bar Lev - CANCELLED
Date:
Wednesday, 14.6.2017, 12:30
Place:
Taub 7
• ## Seminar in Cryptology: Tutorial on the Construction of SHA-1 Collision Attacks

The cryptographic hash function SHA-1 has been known to be weak since 2004 with the first theoretical collision attack. Since then many techniques for ...

Speaker:
Marc Stevens (CWI, Netherlands)
Date:
Wednesday, 14.6.2017, 12:30
Place:
Taub 201
• ## Theory Seminar: Non-constructive Combinatorics

I will describe several old and new applications of topological and algebraic methods in the derivation of combinatorial results. In all of them the ...

Speaker:
Noga Alon (Tel-Aviv University)
Date:
Wednesday, 14.6.2017, 12:30
Place:
Room 337 Taub Bld.
• ## Effective deductive verification of safety of distributed protocols in unbounded systems

Safety of a distributed protocol means that the protocol never reaches a bad state, e.g., a state where two nodes become leaders in a ...

Speaker:
Mooly Sagiv - COLLOQUIUM LECTURE - RESCHEDULED
Date:
Tuesday, 13.6.2017, 14:30
Place:
Room 337 Taub Bld.
• ## Pixel Club: Distilled Collections and Applications

In the talk, I will present a distillation algorithm which operates on a large, unstructured, and noisy collections of internet images returned from an ...

Speaker:
Date:
Tuesday, 13.6.2017, 11:30
Place:
EE Meyer Building 1061
• ## Coding Theory: Mutually Uncorrelated Codes for DNA Storage

Mutually Uncorrelated (MU) codes are a class of codes in which no proper prefix of one codeword is a suffix of another codeword. These ...

Speaker:
Maya Levy (CS, Technion)
Date:
Sunday, 11.6.2017, 14:30
Place:
Taub 601
• ## CGGC Seminar: Precise Algebraic-based Swept Volumes for Arbitrary Free-form Shaped Tools towards Multi-axis CNC Machining Verification

We will discuss a variation of the Ginzburg-Landau functional, a common tool in applications such as image segmentation (Ambrosio-Tortorelli) and phase-field methods in fluid ...

Speaker:
Jinesh Machchhar (CS, Technion)
Date:
Sunday, 11.6.2017, 14:30
Place:
Room 337 Taub Bld.
• ## Accelerating Multidimensional NMR Spectroscopy by Compressed Sensing of Hypercomplex FTs

Multidimensional NMR (MDNMR) experiments are an important tool in physical chemistry,but can take a long time, in some cases weeks, to conduct. At first ...

Speaker:
David L. Donoho - SPECIAL GUEST LECTURE - Note unusual hour
Date:
Sunday, 11.6.2017, 13:30
Place:
Room 337 Taub Bld.
• ## Theory Seminar: Refuting Random 3-CNFs Using Polynomials Requires Large Proof Space

To prove space lower bounds​ for refuting random k-CNF formulas in the UNSAT region we use the expansion property of the incidence graph of ...

Speaker:
Nicola Galesi (Sapienza - University of Rome)
Date:
Wednesday, 7.6.2017, 12:30
Place:
Taub 201
• ## ceClub: Revisiting Email Search

With the rapid growth in machine-generated traffic and in storage capacities offered by Web mail services, our mailboxes get larger and larger. Search therefore ...

Speaker:
Ariel Raviv (Yahoo Research)
Date:
Wednesday, 7.6.2017, 11:30
Place:
Taub 301
• ## Improving SSD-based Caches Lifetime with Write-Once Memory Codes

Solid State Disks (SSDs) have the potential to revolutionize the storage system landscape. They have gained popularity as cache devices in data centers because, ...

Speaker:
Ran Koretzki
Date:
Wednesday, 7.6.2017, 11:30
Place:
Taub 601
• ## How to Find Cryptographic Needles In Exponentially Large Haystacks

One of the most common algorithmic tasks is to find a single interesting event (a needle) in an exponentially large collection (haystack) of N=3D2^n ...

Speaker:
Date:
Tuesday, 6.6.2017, 14:30
Place:
Room 337 Taub Bld.
• ## Pixel Club: Optical Flow Requires Multiple Strategies (but only one network)

I will present our pipeline for optical flow computing, based on a CNN for generating local descriptors. I will focus on our recent research, ...

Speaker:
Tal Schuster (Tel-Aviv University)
Date:
Tuesday, 6.6.2017, 11:30
Place:
EE Meyer Building 1061
• ## TCE Workshop: 2017 Stephen and Sharon Seiden Frontiers in Engineering and Science

You are invited to the upcoming 2017 Stephen and Sharon Seiden Frontiers in Engineering and Science Workshop. This year, the workshop will be titled ...

Date:
Monday, 5.6.2017, 09:30
Place:
TCE, TECHNION
• ## Coding Theory: A Brief Introduction to Lattice Coding Theory

Lattices are error-correcting codes defined over the real numbers. In the physical world, 1 plus 1 is 2, and it is the same for ...

Speaker:
Brian Kurkoski (Japan Advanced Institute of Science and Technology)
Date:
Sunday, 4.6.2017, 14:30
Place:
Taub 601
• ## CGGC Seminar: Design of 3D Printed Mathematical Art

When visualising topological objects via 3D printing, we need a three-dimensional geometric representation of the object. There are approximately three broad strategies for doing ...

Speaker:
Henry Segerman (Oklahoma State University)
Date:
Sunday, 4.6.2017, 13:30
Place:
Room 337 Taub Bld.
• ## CGGC Seminar: Obstacle-Ginzburg-Landau Functionals

This work proposes an algorithm for computing dense packings of congruent circles inside general 2D containers. Unlike the previous approaches which accept as containers, ...

Speaker:
Orestis Vantzos (CS, Technion)
Date:
Monday, 29.5.2017, 13:30
Place:
Room 337 Taub Bld.
• ## CSpecial Guest: The NFV Industry: Current state, Challenges and Next Steps

The lecture will be given as part of the Network Function Virtualization advanced course (cs236635). Dudu Amzallag is Technion CS Ph.D. graduate and is ...

Speaker:
Dudu Amzallag (SDN and NFV)
Date:
Monday, 29.5.2017, 10:30
Place:
Taub 4
• ## Coding Theory: Codes for Graph Erasures

Motivated by systems where the information is represented by a graph, such as neural networks, associative memories, and distributed systems, we present in this ...

Speaker:
Lev Yohananov (CS, Technion)
Date:
Sunday, 28.5.2017, 14:30
Place:
Taub 601
• ## CGGC Seminar: Moebius Geometry Processing

The mainstream approaches in digital geometry processing utilize triangular (simplicial) meshes, discretize differential quantities using finite-element function spaces, and describe transformations with piecewise affine ...

Speaker:
Amir Vaxman (Utrecht University)
Date:
Sunday, 28.5.2017, 13:30
Place:
Room 337 Taub Bld.
• ## Pixel Club: 3D on the Fly

Elbit Aerospace utilizes 3D mapping in a variety of different projects. We present two of these projects; in the first project, a 3D model ...

Speaker:
Date:
Thursday, 25.5.2017, 11:30
Place:
Room 337 Taub Bld.
• ## TCE Guest Lecture: CANCELLED!

Advances in machine learning, notably deep learning, have led to computers matching or surpassing human performance in several cognitive tasks including vision, speech and ...

Speaker:
Kaushik Roy (Purdue University)
Date:
Thursday, 25.5.2017, 11:30
Place:
EE Meyer Building 861
• ## JPM Talk: Technology Ignites our Business - Discover the power of Tech in Financial Services

This talk describes the importance technology plays in financial services. Amir will describe several examples of domains where technology is disrupting the market, together ...

Speaker:
Amir Nahir (J.P.Morgan)
Date:
Wednesday, 24.5.2017, 13:30
Place:
Taub 9
• ## Theory Seminar: Approximating the Number of $k$ Cliques in a Graph in Sublinear Time

We present a sublinear-time algorithm for approximating the number of $k$-cliques in an input graph. We assume the standard general graphs access model via ...

Speaker:
Talya Eden (Tel-Aviv University)
Date:
Wednesday, 24.5.2017, 12:30
Place:
Taub 201
• ## ceClub: cuSTINGER - A Sparse Dynamic Graph and Matrix Data Structure

Sparse data computations are ubiquitous in science and engineering. Two widely used applications requiring sparse data computations are graph algorithms and linear algebra operations ...

Speaker:
Oded Green (Georgia Tech)
Date:
Wednesday, 24.5.2017, 11:30
Place:
Taub 301
• ## Modular Verification of Concurrent Programs via Sequential Model Checking

Verification of concurrent programs is known to be extremely difficult. On top of the challenges inherent in verifying sequential programs, it adds the need ...

Speaker:
Dan Rasin
Date:
Wednesday, 24.5.2017, 11:00
Place:
Taub 601
• ## Pixel Club: Expressive Efficiency and Inductive Bias of Convolutional Networks: Analysis and Design through Hierarchical Tensor Decompositions

The driving force behind convolutional networks - the most successful deep learning architecture to date, is their expressive power. Despite its wide acceptance and ...

Speaker:
Nadav Cohen (Hebrew University of Jerusalem)
Date:
Tuesday, 23.5.2017, 11:30
Place:
EE Meyer Building 1061
• ## TODAY! CS RESEARCH DAY 2017

The seventh CS Research Day for graduate studies will be held on Tuesday, May 21, 2017, between 15:30-176:30, at the lobby of the CS ...

Date:
Sunday, 21.5.2017, 15:30
Place:
CS Taub Lobby
• ## CGGC Seminar: Four Open Mathematical Problems Related to Computer Graphics and Geometric Modeling

Four unsolved problems that originate from research in Computer Graphics and Geometric Modeling will be presented. The first problem involves understanding the notion oscillation ...

Speaker:
Ron Goldman (Rice University)
Date:
Sunday, 21.5.2017, 14:35
Place:
Taub 401
• ## Coding Theory: Coding for Racetrack Memories

Racetrack memory is a new technology which utilizes magnetic domains along a nanoscopic wire in order to obtain extremely high storage density. In racetrack ...

Speaker:
Eitan Yaakobi (Coding for Racetrack Memories)
Date:
Sunday, 21.5.2017, 14:30
Place:
Taub 601
• ## CGGC Seminar: Solving Piecewise Polynomial Constraint Systems with Decomposition using Subdivision-Based Solver

Piecewise polynomial constraint systems are common in numerous problems in computational geometry, such as constraint programming, modeling, and kinematics. In this talk, we present ...

Speaker:
Boris van Sosin (CS, Technion)
Date:
Sunday, 21.5.2017, 13:30
Place:
Taub 401
• ## Theory Seminar: Incidence Geometry, Rank Bounds for Design Matrices, and Applications

The classical Sylvester-Gallai theorem states the following: Given a finite set of points in the Euclidean plane, if the line through every pair of ...

Speaker:
Shubhangi Saraf (Rutgers University)
Date:
Wednesday, 17.5.2017, 12:30
Place:
Taub 201
• ## ceClub: Moore with Less: Specializing Cores for the Cloud

Big data is revolutionizing the way we live, work, and socialize. This revolution is powered by datacenters built with commodity hardware technologies that are ...

Speaker:
Boris Grot (University of Edinburgh)
Date:
Wednesday, 17.5.2017, 11:30
Place:
EE Meyer Building 861
• ## Quantum computation: A computational lens on quantum physics

While the jury is still out as to whether the impressive experimental progress on quantum gates and qubits will lead one day to a ...

Speaker:
Dorit Aharonov - COLLOQUIUM LECTURE
Date:
Tuesday, 16.5.2017, 14:30
Place:
Room 337 Taub Bld.
• ## Pixel Club: ​On Clutter Rejection in Ultrasound Imaging​​

Ultrasound images are often contaminated with acoustic clutter, which obscures image details of interest, thus leading to potentially inaccurate medical diagnosis. In order to ...

Speaker:
Avi Goldman (EE, Technion)
Date:
Tuesday, 16.5.2017, 11:30
Place:
EE Meyer Building 1061
• ## Coding Theory: Reconstruction of Sequences over Non-Identical Channels

Motivated by the error behavior in DNA storage channels, in this work we extend the previously studied sequence reconstruction problem by Levenshtein. The reconstruction ...

Speaker:
Horovitz Michal (CS Technion)
Date:
Sunday, 14.5.2017, 14:30
Place:
Taub 601
• ## CGGC Seminar: Depth with Respect to a Family of Convex Sets

We introduce the notion of depth with respect to a finite family F of convex sets in R^d that generalizes the well-studied Tukey depth. ...

Speaker:
Leonardo Martínez (Ben-Gurion University)
Date:
Sunday, 14.5.2017, 13:30
Place:
Room 337 Taub Bld.
• ## Communication-efficient Algorithms for Distributed Stream Mining

Recent years has seen an explosion in the number of connected devices, which means not only growth in velocity and volume of data, but ...

Speaker:
Moshe Gabel
Date:
Wednesday, 10.5.2017, 13:00
Place:
Taub 601
• ## Theory Seminar: Locally Testable and Locally Correctable Codes Approaching the Gilbert-Varshamov Bound

Abstract We show that there exist binary locally testable codes (for all rates) and locally correctable codes (for low rates) with rate and distance ...

Speaker:
Swastik Kopparty (Rutgers University)
Date:
Wednesday, 10.5.2017, 12:30
Place:
Taub 201
• ## ceClub: The Challenges of Mining Machine-Generated Web Mail

In the last decade, Web mail traffic has evolved, very much like regular snail mail, into being dominated by machine- generated messages. Some recent ...

Speaker:
Liane Lewin-Eytan (Yahoo Research)
Date:
Wednesday, 10.5.2017, 11:30
Place:
Taub 301
• ## CSpecial Guest: Design by Introspection

Over the years, a few programming paradigms have been successful enough to enter the casual vocabulary of software engineers: procedural, imperative, object-oriented, functional, generic, ...

Speaker:
Andrei Alexandrescu
Date:
Tuesday, 9.5.2017, 11:00
Place:
Room 337 Taub Bld.
• ## Coding Theory: Nearly Optimal Constructions of PIR and Batch Codes

In this work we study two families of codes with availability, namely \emph{PIR codes} and \emph{batch codes}. While the former requires that every information ...

Speaker:
Helal Assi (CS, Technion)
Date:
Sunday, 7.5.2017, 14:30
Place:
Taub 601
• ## Pixel Club: A Deep Learning Perspective on the Origin of Facial Expressions

Facial expressions play a significant role in human communication and behavior.​ ​Psychologists have long studied the relationship between facial expressions and emotions.​ ​Paul Ekman ...

Speaker:
​Ran Breuer (CS, Technion​)
Date:
Thursday, 4.5.2017, 11:30
Place:
Room 337 Taub Bld.
• ## Distributed construction of graph spanners

A spanner of a given graph is a sparse subgraph that approximately preserves distances. Since their introduction in the late 1980's, spanners have found ...

Speaker:
Ami Paz
Date:
Wednesday, 3.5.2017, 12:30
Place:
Taub 201
• ## Coding Theory: LDPC Codes over the q-ary Multi-Bit Channel

The rapid development of memory technologies has introduced challenges to the continued scaling of memory devices in density and access speed. Many of these ...

Speaker:
Rami Cohen (CS, Technion)
Date:
Sunday, 30.4.2017, 14:30
Place:
Taub 601
• ## CGGC Seminar: Geometric Methods for Realistic Animation of Faces

In this talk, I will briefly introduce myself, mainly focusing on my doctoral dissertation, addressing realistic facial animation. Realistic facial synthesis is one of ...

Speaker:
Amit Bermano (Princeton Graphics Group)
Date:
Sunday, 30.4.2017, 13:30
Place:
Room 337 Taub Bld.
• ## Theory Seminar: Agreement Testing and PCPs

I will describe the notion of agreement testing, which allows to deduce global structure from local agreement checks. In retrospect, agreement testing theorems are ...

Speaker:
Irit Dinur (​Weizmann Institute of Science)
Date:
Wednesday, 26.4.2017, 12:30
Place:
Taub 201
• ## TODAY! Open Day For Graduate Studies At Technion Computer Science and Electrical Engineering

The 2016 open day invites outstanding undergraduates from all universities to come to the Technion and learn about the faculties of Computer Science and  ...

Date:
Wednesday, 26.4.2017, 10:30
Place:
Room 337 Taub Bld.
• ## ''Blind'' Visual Inference

In this talk I will show how ''blind'' visual inference can be performed by exploiting the internal redundancy inside a single visual datum (whether ...

Speaker:
Michal Irani - COLLOQUIUM LECTURE
Date:
Tuesday, 25.4.2017, 14:30
Place:
Room 337 Taub Bld.
• ## Pixel Club: On Elliptic Operators and Non-rigid Shapes

Many shape analysis methods treat the geometry of an object as a metric space captured by the Laplace-Beltrami operator. We present an adaptation of ...

Speaker:
Yoni Choukroun (EE, Technnion)
Date:
Tuesday, 25.4.2017, 11:30
Place:
Room 337 Taub Bld.
• ## Coding Theory: On the VC-Dimension of Binary Error-Correcting Codes

We investigate the asymptotic rates of length-$n$ binary codes with VC-dimension at most $dn$ and minimum distance at least $\delta n$. Two upper bounds ...

Speaker:
Sihuang Hu (Tel Aviv University)
Date:
Sunday, 23.4.2017, 14:30
Place:
Taub 601
• ## TCE Guest Lecture: Making General-Purpose Computing Great Again

General-Purpose (GP) CPUs are a quintessential example for “engineering for serendipity” as their current ubiquity seems to exceed the wildest dreams of its originators. ...

Speaker:
Uzi Vishkin (University of Maryland)
Date:
Thursday, 20.4.2017, 11:00
Place:
Room 337 Taub Bld.
• ## A GPU-Friendly Skiplist Algorithm

We propose a design for a fine-grained lock-based skiplist optimized for Graphics Processing Units (GPUs). While GPUs are often used to accelerate streaming parallel ...

Speaker:
Nurit Moscovici
Date:
Wednesday, 19.4.2017, 14:00
Place:
Taub 601
• ## ceClub: Omid - Low latency, Scalable and Highly-Available Transactions in Distributed Data Storage

We present Omid - a low latency transaction processing service that powers web-scale production systems at Yahoo. Omid provides ACID transaction semantics on top ...

Speaker:
Date:
Wednesday, 19.4.2017, 11:30
Place:
Taub 301
• ## Entanglement and Geometrical Distances in Quantum Information and Quantum Cryptography

The counter-intuitive features of Quantum Mechanics make it possible to solve problems and perform tasks that are beyond the abilities of classical computers and ...

Speaker:
Rotem Liss
Date:
Tuesday, 18.4.2017, 15:00
Place:
Taub 601
• ## Theory Seminar: Scalable Transparent ARguments-of-Knowledge

There are various theoretically-efficient constructions of public-randomness (i.e., Arthur-Merlin type) Zero-Knowledge Succinct Arguments of Knowledge in the random oracle model, for computations-verification (also known ...

Speaker:
Michael Riabzev (CS, Technion)
Date:
Tuesday, 18.4.2017, 12:30
Place:
Taub 201
• ## Pixel Club: Detecting Similar Actions across videos using a view and appearance video descriptor

The ability to detect similar actions across videos can be very useful for real-world applications in many fields. In this talk I will describe ...

Speaker:
Michal Yarom (​Weizmann Institute of Science)
Date:
Tuesday, 18.4.2017, 11:30
Place:
EE Meyer Building 1061
• ## Pixel Club: DT-MRI Guided Focused Ultrasound

We present an analysis method to improve treatment procedures for a set of neurological pathologies, specifically essential tremor disorder. By combining anatomical and pathological ...

Speaker:
Hagai Tzafrir (CS, Technion)
Date:
Thursday, 6.4.2017, 13:30
Place:
Taub 201
• ## CSpecial Guest: Page Fault Support for Network Controllers

Direct network I/O allows network controllers (NICs) to expose multiple instances of themselves, to be used by untrusted software without a trusted intermediary. Direct ...

Speaker:
Ilya Lesokhin (Technion & Mellanox)
Date:
Thursday, 6.4.2017, 13:00
Place:
Taub 601
• ## CSpecial Guest: Doing Stuff with LSTMs

The premise of the talk is processing natural language using machine learning techniques. While deep learning methods in Natural Language Processing are arguably overhyped, ...

Speaker:
Yoav Goldberg (Bar-Ilan University)
Date:
Thursday, 6.4.2017, 11:30
Place:
Taub 601
• ## ceClub: GPUpipes: A Scalable Multi-GPU Network Server

While augmenting a system with multiple GPUs is an appealing way to push more compute power inside a single machine, it is not without ...

Speaker:
Date:
Thursday, 6.4.2017, 11:30
Place:
EE Meyer Building 1061
• ## Theory Seminar: The Theory that is Missing in The Software Industry

The theory of software creation (aka programming) relies on several theoretical domains: Computability, complexity, algorithms, graph theory, and alike. Alas, the above are related ...

Speaker:
Yechiel Kimchi (CS,Technnion)
Date:
Wednesday, 5.4.2017, 12:30
Place:
Taub 201
• ## ceClub: On Routing Games and Net Neutrality

Net neutrality is getting major attention these days, as it is at the crossroads between technology, economics and regulation. Discussions and new net neutrality ...

Speaker:
Ziv Berkovich (EE, Technion)
Date:
Wednesday, 5.4.2017, 11:30
Place:
EE Meyer Building 1061
• ## Pixel Club: Shape Reconstruction: From Axiomatic Coded Light to Learning Stereo

1. Freehand Laser Scanning Using Mobile Phone 3D scanners are growing in their popularity as many new applications and products are becoming a commodity. ...

Speaker:
Ron Slossberg (CS,Technnion)
Date:
Wednesday, 5.4.2017, 11:00
Place:
Room 337 Taub Bld.
• ## Modularity, classification and networks in analysis of big biomedical data

Supervised and unsupervised methods have been used extensively to analyze genomics data, with mixed results. On one hand, new insights have led to new ...

Speaker:
Ron Shamir - COLLOQUIUM LECTURE
Date:
Tuesday, 4.4.2017, 14:30
Place:
Room 337 Taub Bld.
• ## Pixel Club: Coresets for Kinematic Data: From Theorems to Autonomous Toy-Drones

A coreset (or core-set) of a dataset is its semantic compression with respect to a set of queries, such that querying the (small) coreset ...

Speaker:
Dan Feldman (Haifa University)
Date:
Tuesday, 4.4.2017, 11:00
Place:
EE Meyer Building 1061
• ## Setting Zigzag Straight - An erasure coding scheme and its evaluation in the cloud

Erasure codes protect data in large scale data centers against multiple concurrent failures. However, in the frequent case of a single node failure, the ...

Speaker:
Matan Liram
Date:
Thursday, 30.3.2017, 11:00
Place:
Taub 601
• ## Pixel Club: Analysis of Non-Rigid 3D Shapes

Zorah Lähner and Matthias Vestner are PhD students from the group of Daniel Cremers at TU Munich. Both are working in the Analysis of ...

Speaker:
Zorah Lähnerand & Matthias Vestner (TU Munich)
Date:
Wednesday, 29.3.2017, 14:30
Place:
Room 337 Taub Bld.
• ## Startup Day and Recruitment at CS

CS invites you to a STARTUP DAY and recruitment by the presenting firms: Augury, Axxana, CNOGA, Colu, Driveway, ENSILO, JFrog, Lightbits, SCIO, Sesame, Tabbola, ...

Date:
Wednesday, 29.3.2017, 12:30
Place:
CS Taub Lobby
• ## Theory Seminar: Random High-dimensional Combinatorial Objects

This is part of our ongoing effort to develop the field of high-dimensional combinatorics. The probabilistic method and the properties of random graphs, random ...

Speaker:
Nathan Linial (Hebrew University of Jerusalem)
Date:
Wednesday, 29.3.2017, 12:30
Place:
Room 337 Taub Bld.
• ## Pixel Club: Unsupervised Cross-Domain Image Generation

We study the problem of transferring a sample in one domain to an analog sample in another domain. Given two related domains, S and ...

Speaker:
Date:
Wednesday, 29.3.2017, 11:30
Place:
EE Meyer Building 1061
• ## TCE Guest Lecture: Revisiting Virtual Caches

Virtual caches have been around for several decades. They have several advantages in performance and energy efficiency, but have not been used in ubiquitous ...

Speaker:
Date:
Wednesday, 29.3.2017, 11:30
Place:
EE Meyer Building 861
• ## TODAY! The Finals - 2016-17 Amdocs Best Project Contest

You are invited to the final stage of the 2016-17 Amdocs Best Project Contest. The competing teams will present and talk about their ...

Date:
Tuesday, 28.3.2017, 16:30
Place:
CS Taub Build. Auditorium 2
• ## CGGC Seminar: Formulae Enumerating Polyominoes by both Area and Perimeter

A polyomino of area n is an edge-connected set of n cells on the square lattice. To-date, no formulae enumerating polyominoes by area (number ...

Speaker:
Yufei Zheng (CS,Technnion)
Date:
Monday, 27.3.2017, 13:00
Place:
Room 337 Taub Bld.
• ## Representations and applications of differential operators in geometry processing

Geometry processing deals with the design of effective discrete methods for complex problems which appear in various areas of computational science and engineering. In ...

Speaker:
Omri Azencot
Date:
Sunday, 26.3.2017, 13:30
Place:
Taub 401
• ## Coding Theory: Twenty (Simple) Questions

Huffman coding has a search-theoretic interpretation as the optimal strategy for the twenty questions game. In this game, Alice chooses x ∈ {1,...,n} according ...

Speaker:
Yuval Filmus (CS,​​Technnion)​​
Date:
Sunday, 26.3.2017, 12:30
Place:
Taub 601
• ## Distributed Approximation for Tree Augmentation

A minimum spanning tree is an essential structure for distributed algorithms, since it is a low-cost connected subgraph which provides an effcient way to ...

Speaker:
Michal Dory
Date:
Sunday, 26.3.2017, 11:30
Place:
Taub 301
• ## Theory Seminar: Exact Learning of Juntas from Membership Queries

Learning from membership queries has flourished due to its many applications in different fields. Many of the new applications raised new models and new ...

Speaker:
Areej Costa (CS,​​Technnion)​​
Date:
Wednesday, 22.3.2017, 12:30
Place:
Taub 201
• ## ceClub: Making Network Functions Software-Defined

OpenBox is a framework that makes network functions (NFs) software-defined by decoupling their control plane from their data plane, similarly to SDN solutions that ...

Speaker:
Yotam Harchol (VMWare Research)​​
Date:
Wednesday, 22.3.2017, 11:30
Place:
Taub 301
• ## Pixel Club: RNN Fisher Vectors for Action Recognition and Image Annotation

Recurrent Neural Networks (RNNs) have had considerable success in classifying and predicting sequences. We demonstrate that RNNs can be effectively used in order to ...

Speaker:
Guy Lev (IBM)
Date:
Tuesday, 21.3.2017, 11:30
Place:
Room 337 Taub Bld.
• ## The Relationship Between Agnostic Selective Classification and Active Learning

A selective classifier (f,g) consists of a classification function f and a binary selection function g, which determines if the classifier abstains from prediction, ...

Speaker:
Roei Gelbhart
Date:
Sunday, 19.3.2017, 15:00
Place:
Taub 601
• ## CGGC Seminar: Dense Packing of Congruent Circles in Free-form Non-convex Containers

This work proposes an algorithm for computing dense packings of congruent circles inside general 2D containers. Unlike the previous approaches which accept as containers, ...

Speaker:
Jinesh Machchhar (CS,​​Technnion)​​
Date:
Sunday, 19.3.2017, 13:30
Place:
Room 337 Taub Bld.
• ## The 4th Technion-Intel Challenge (2018)

The 4th Technion-Intel Challenge invites you to challenge the next generation depth sensing technologies (3D cameras), deep learning techniques and IoT devices, and to ...

Date:
Sunday, 19.3.2017, 13:30
Place:
EE Meyer Building 1003
• ## Exact Programming by Examples

The vast majority of computer users do not know how to code. Programming by examples (PBE) has flourished in recent years to address exactly ...

Speaker:
Dana Drachsler-Cohen
Date:
Thursday, 16.3.2017, 11:00
Place:
Taub 601
• ## Algorithms for Environments with Uncertainty

In this research we study computation in environments with uncertainty, specifically, the distributed and streaming environments. We adapt the local-ratio technique to the distributed ...

Speaker:
Gregory Schwartzman
Date:
Wednesday, 15.3.2017, 15:00
Place:
Taub 601
• ## Theory Seminar: Interactive Coding with Efficient Round and Communication Blowup

We construct an interactive coding scheme, a notion introduced by Schulman (FOCS 1992, STOC 1993). Loosely speaking, we show how to convert any two-party ...

Speaker:
Date:
Wednesday, 15.3.2017, 12:30
Place:
Taub 201
• ## Pixel Club: Multi-scale Low Rank Matrix Decomposition

Data matrices constructed from multimedia data are often correlated at different scales. Motivated by this observation, we consider the decomposition of a matrix into ...

Speaker:
Frank Hai Ong (Berkeley​)
Date:
Wednesday, 15.3.2017, 11:30
Place:
Room 337 Taub Bld.
• ## Twenty questions game using simple questions

A basic combinatorial interpretation of Shannon's entropy function is via the 20 questions'' game. This cooperative game is played by two players, Alice and ...

Speaker:
Yuval Dagan
Date:
Tuesday, 14.3.2017, 13:00
Place:
Taub 601
• ## Pixel Club: ​​In Situ Target-Less Calibration of Turbid Media Optical Properties

The color of an object imaged in a turbid medium varies with distance and medium properties, deeming color an unstable source of information in ...

Speaker:
Or Spier​​ (Technnion)​
Date:
Tuesday, 14.3.2017, 11:30
Place:
EE Meyer Building 1061
• ## TCE Guest Lecture: Nanoscale Memristive Devices for Brain-inspired Computing and BeyondNanoscale Memristive Devices for Brain-inspired Computing and Beyond

Developing electronics beyond Moore’s Law requires revolutionary vision in novel devices, disruptive technologies, new materials and alternative computer architecture. Memristor is an emerging nanoelectronic ...

Speaker:
Q​​iangfei Xia (University of Massachusetts Amherst)
Date:
Tuesday, 14.3.2017, 11:30
Place:
EE Meyer Building 861
• ## CGGC Seminar: Solving Piecewise Polynomial Constraint Systems with Decomposition using Subdivision-Based Solver

Piecewise polynomial constraint systems are common in numerous problems in computational geometry, such as constraint programming, modeling, and kinematics. In this talk, we present ...

Speaker:
Boris van Sosin (CS, Technion)
Date:
Sunday, 5.3.2017, 13:30
Place:
Room 337 Taub Bld.
• ## Pixel Club: Perceptual Representation Learning Across Diverse Modalities and Domains

Learning of layered or "deep" representations has provided significant advances in computer vision in recent years, but has traditionally been limited to fully sup​​ervised ...

Speaker:
​​Trevor Darrell​ (UC Berkeley​)​
Date:
Tuesday, 28.2.2017, 14:30
Place:
EE Meyer Building 1003
• ## Efficiently Enumerating Tree Decompositions

Many intractable problems on graphs, can be efficiently solved for trees or forests. Tree decompositions allow taking advantage of this fact to handle general ...

Speaker:
Nofar Carmeli
Date:
Sunday, 26.2.2017, 12:30
Place:
Taub 601
• ## Theory Seminar: Public Randomness, Blockchains and Proofs-of-delay

A public, unpredictable source of randomness would enable many exciting applications, starting with verifiable public lotteries. It is an essential building block for many ...

Speaker:
Joseph Bonneau (Stanfrord University)
Date:
Sunday, 26.2.2017, 11:30
Place:
Taub 401
• ## Hash Code 2017 by Google at CS

Google will host a hub at CS for the Online Qualification Round of Hash Code, a team-based programming competition created by Google for ...

Date:
Thursday, 23.2.2017, 18:30
Place:
Room 337 Taub Bld.
• ## A Scalable Linearizable Multi-Index Table

Cocurrent data structures typically index data using a single primary key and provide fast access to data associated with a given key value. However, ...

Speaker:
Gal Sheffi
Date:
Wednesday, 22.2.2017, 14:30
Place:
Taub 401
• ## Remote Memory References at Block Granularity

The cost of accessing shared objects that are stored in remote memory, while neglecting accesses to shared objects that are cached in the local ...

Speaker:
Gili Yavneh
Date:
Tuesday, 21.2.2017, 13:00
Place:
Taub 601
• ## Pixel Club: Computational Imaging Through Scattering

Imaging through scattering media has long been a challenge, as scattering corrupts measurements in a non-invertible way. Using near-visible wavelengths to image through scattering ...

Speaker:
Guy Satat (​​MIT)
Date:
Tuesday, 21.2.2017, 11:30
Place:
EE Meyer Building 1061
• ## Class invariants: old concept and new results

Class invariants play a central role in understanding object-oriented programming. They also raise some tricky problems for the verification of OO programs, in particular ...

Speaker:
Bertrand Meyer - GUEST LECTURE - Note unusual day
Date:
Monday, 20.2.2017, 14:30
Place:
Room 337 Taub Bld.
• ## Syntax-Guided Modular Analysis of Semantic Difference for Program Versions

We present a modular and demand-driven analysis of the semantic difference between program versions. Our analysis characterizes initial states for which final states in ...

Speaker:
Anna Trostanetski
Date:
Wednesday, 15.2.2017, 13:00
Place:
Taub 701
• ## An Automata-Theoretic Approach to Modeling Systems and Specifications Over Infinite Data

Data-parameterized systems model finite state systems over an infinite data domain. VLTL is an extension of LTL that uses variables in order to specify ...

Speaker:
Date:
Wednesday, 15.2.2017, 12:00
Place:
Taub 701
• ## Nano-Patterns Language for Java

Roughly speaking Nano-Patterns are recurring, short snippets of code which represent a common approach for dealing with small scale implementation issues. Examples include, e.g., ...

Speaker:
Ori Marcovitch
Date:
Tuesday, 14.2.2017, 13:30
Place:
Taub 601
• ## Geosocial Search: Finding Places based on Geotagged Social-Media

Geographic search, where the user provides keywords and receives relevant locations depicted on a map, is a popular web application. Typically, such a search ...

Speaker:
Barak Pat
Date:
Tuesday, 14.2.2017, 12:30
Place:
Taub 601
• ## Pixel Club: Diving into Haze-Lines: Underwater Color Restoration using Haze-Lines

Images taken in scattering media, such as haze, fog, and underwater, often look faded and lack contrast. We detect changes in pixels' distribution in ...

Speaker:
Dana Berman (Tel-Aviv University)
Date:
Tuesday, 14.2.2017, 11:30
Place:
EE Meyer Building 1061
• ## Two-Party Direct-Sum Questions through the Lens of Multiparty Communication Complexity

The direct-sum question in two-party communication complexity is the following; Alice receives $(x_1,\dots,x_\ell)$ and Bob receives $(y_1,\dots,y_\ell)$, where each $x_i$ and $y_i$ ...

Speaker:
Itay Hazan
Date:
Monday, 13.2.2017, 13:00
Place:
Taub 337
• ## Pixel Club: ​Inner-Scene Similarities as a Contextual Cue for Object Detection

Using image context is an effective approach for improving object detection. Previously proposed methods used contextual cues that rely on semantic or spatial information. ...

Speaker:
Noa Arbel​ (CS,​​Technnion)​​
Date:
Tuesday, 7.2.2017, 11:30
Place:
Room 337 Taub Bld.
• ## CGGC Seminar: Subdivision Based Solvers: Solutions with Topological Guarantee of Algebraic Sets with Applications

Algebraic constraints arise in various applications, across domains in science and engineering. Polynomial and piece-wise polynomial (B-Spline) constraints are an important class, frequently arising ...

Speaker:
Yonathan Mizrahi (Mathematics, Technion)
Date:
Sunday, 5.2.2017, 13:30
Place:
Room 337-8 Taub Bld.
• ## Face Reconstruction - A Learning Approach

Fast and robust three-dimensional reconstruction of facial geometric structure from a single image is a challenging task with numerous applications in computer vision and ...

Speaker:
Date:
Thursday, 2.2.2017, 11:30
Place:
Taub 337
• ## Formulae and Growth Rates of Animals on Cubical and Triangular Lattices

A polyomino of size n consists of n squares joined along their edges. A popular example is the computer game Tetris, which features polyominoes ...

Speaker:
Mira Shalah
Date:
Wednesday, 1.2.2017, 13:00
Place:
Taub 601
• ## YAHOO DAY at CS

Yahoo will hold the annual event at Technion CS on Wednesday, January 25, 2017, 14:30-16:30, in room 337 (3rd floor) of the CS Taub ...

Date:
Wednesday, 25.1.2017, 15:00
Place:
Room 337 Taub Bld.
• ## Theory Seminar: Lower Bound on the Step Complexity of Anonymous Binary Consensus

Obstruction-free consensus, ensuring that a process running solo will eventually terminate, is at the core of practical ways to solve consensus, e.g., by using ...

Speaker:
Date:
Wednesday, 25.1.2017, 12:30
Place:
Taub 201
• ## ceClub: Achieving Scalable Formal Verification through Generalization and Abstraction

Modern computerized systems are complex designs that include hardware and software components. Designing and implementing such systems requires extensive engineering. Yet, unlike other domains ...

Speaker:
Yakir Vizel (Princeton University)
Date:
Wednesday, 25.1.2017, 11:30
Place:
EE Meyer Building 1061
• ## Project Fair in IoT and Android

On Tuesday, January 24, 2017, the Systems and Software Development Laboratory (SSDL) will hold a project Fair on IoT and Android, presenting the ...

Date:
Tuesday, 24.1.2017, 12:30
Place:
CS Taub Lobby
• ## Pixel Club: ​Human Pose Estimation using Deep Consensus Voting

I will present out approach to human pose estimation, where each location in the image votes for the position of each keypoint using a ...

Speaker:
Ethan Fetaya (​Weizmann Institute of Science)
Date:
Tuesday, 24.1.2017, 11:30
Place:
EE Meyer Building 1061
• ## Robust and Simple Market Design

Algorithms and the Internet are revolutionizing "markets" - the mechanisms through which resources are allocated among players under optimization criteria. While resource allocation is ...

Speaker:
Inbal Talgam Cohen - CS-Lecture
Date:
Monday, 23.1.2017, 10:30
Place:
Room 601 Taub Bld.
• ## Coding Theory: Multiset Combinatorial Batch Codes

Batch codes, first introduced by Ishai, Kushilevitz, Ostrovsky, and Sahai, mimic a distributed storage of a set of n data items on m servers, ...

Speaker:
Hui Zhang (CS, Technion)
Date:
Sunday, 22.1.2017, 14:30
Place:
Taub 601
• ## Achieving Scalable Formal Verification through Generalization and Abstraction

Modern computerized systems are complex designs that include hardware and software components. Designing and implementing such systems requires extensive engineering. Yet, unlike other domains ...

Speaker:
Yakir Vizel - CS-Lecture
Date:
Thursday, 19.1.2017, 10:30
Place:
Room 601 Taub Bld.
• ## ceClub: Leveraging RDMA for Strongly Consistent Replication at Large Scale

My work focuses on ways of replicating data in demanding settings, most recently the cloud. The cloud is a setting where copying information and ...

Speaker:
Ken Birman (Cornell University)
Date:
Wednesday, 18.1.2017, 14:30
Place:
Taub 301
• ## Theory Seminar: Multi-parameter Approximation Schemes for APX-Hard Optimization Problems

For every given real value epsilon>0, a Fully Polynomial Time Approximation Scheme (FPTAS) computes in polynomial time (in both the input size and 1/epsilon) ...

Speaker:
Nir Halman (Hebrew University of Jerusalem)
Date:
Wednesday, 18.1.2017, 12:30
Place:
Taub 201
• ## ceClub: Crowd Mining: A Framework for Mining the Knowledge of Web Users

Crowd Mining is concerned with identifying significant patterns in the knowledge of the crowd, capturing, e.g., habits and preferences, by posing internet users with ...

Speaker:
Yael Amsterdamer (Ben-Gurion University)
Date:
Wednesday, 18.1.2017, 11:30
Place:
Taub 401
• ## Antibiotic resistance: machine learning to the rescue

Speaker:
Roy Kishony - COLLOQUIUM LECTURE
Date:
Tuesday, 17.1.2017, 14:30
Place:
Room 337-8 Taub Bld.
• ## How to Prove the Corretness of Computations

Efficient proof verification is at the heart of the study of computation. Seminal results such as the IP=SPACE Theorem [LFKN92,Shamir92] and the PCP theorem ...

Speaker:
Ron Rothblum - CS-Lecture
Date:
Thursday, 12.1.2017, 10:30
Place:
Room 601 Taub Bld.
• ## On the consistency of principal component analysis in software metrics

Software metrics are used by software engineers to help gauge the health of their projects. Researchers hope to correlate easy to measure properties, such ...

Speaker:
Gal Lalouche
Date:
Wednesday, 11.1.2017, 13:30
Place:
Taub 601
• ## Theory Seminar: Non-adaptive learning of a hidden Hypergraph

We give a new deterministic algorithm that non-adaptively learn a hidden hypergraph from edge-detecting query. This algorithm use a very interesting algebraic families: Perfect ...

Speaker:
Hasan Abasi (CS, Technion)
Date:
Wednesday, 11.1.2017, 12:30
Place:
Taub 201
• ## ceClub: Distributed and Privacy Preserving Planning

Classical AI planning is concerned with the following problem: Given a deterministic system, an initial system state, and a goal condition, find a sequence ...

Speaker:
Ronen Brafman (Ben-Gurion University)
Date:
Wednesday, 11.1.2017, 11:30
Place:
EE Meyer Building 861
• ## CS Guest Lecture: Cracking Multi-Language Transformations

Programming languages have many similarities, and so, when writing a source-to-source transformation on one language, it would be nice to reuse code from a ...

Speaker:
Jimmy Koppel (MIT)
Date:
Monday, 9.1.2017, 11:30
Place:
Taub 701
• ## Hardness in P

The class P attempts to capture the efficiently solvable computational tasks. It is full of practically relevant problems, with varied and fascinating combinatorial structure. ...

Speaker:
Amir Abboud - CS-LECTURE
Date:
Sunday, 8.1.2017, 10:30
Place:
Room 601 Taub Bld.
• ## Graph Algorithms for Distributed Networks

I will describe two branches of my work related to algorithms for distributed networks. The main focus will be devoted for Fault-Tolerant (FT) Network ...

Speaker:
Merav Parter - CS-Lecture -
Date:
Thursday, 5.1.2017, 10:30
Place:
Room 337 Taub Bld.
• ## Pixel Club: Calibration of Multi-Camera Systems by Global Constraints on the Motion of Silhouettes

Computing the epipolar geometry between cameras with very different viewpoints is often problematic as matching points are hard to find. In these cases, it ...

Speaker:
Gil Ben-Artzi (​Weizmann Institute of Science)
Date:
Thursday, 5.1.2017, 10:30
Place:
EE Meyer Building 1061
• ## Constraint Based Isotope Tracing

Motivation: Isotope tracing coupled with Metabolic Flux Analysis (MFA) is a commonly used approach for quantifying cellular metabolic fluxes. Isotope tracing involves feeding cells ...

Speaker:
Michael Balber
Date:
Wednesday, 4.1.2017, 13:00
Place:
Taub 601
• ## Theory Seminar: Explicit Two-source Extractors for Near-logarithmic Min-entropy

In this talk, we show an explicit construction of extractors for two independent sources of near-logaritmic min-entropy. Previous constructions required either polylog(n) min-entropy or ...

Speaker:
Dean Doron (Tel-Aviv University)
Date:
Wednesday, 4.1.2017, 12:30
Place:
Taub 201
• ## On Artificial Olfaction, and How to Test For It

Speaker:
David Harel - COLLOQUIUM LECTURE
Date:
Tuesday, 3.1.2017, 14:30
Place:
Room 337-8 Taub Bld.
• ## Learning to act from observational data

The proliferation of data collection in the health, commercial, and economic spheres, brings with it opportunities for extracting new knowledge with concrete policy implications. ...

Speaker:
Uri Shalit
Date:
Tuesday, 3.1.2017, 10:30
Place:
Room 601 Taub Bld.
• ## Pixel Club: How Structure can Improve the Theory and Practice in Neural Networks?

The past five years have seen a dramatic increase in the performance of recognition systems due to the introduction of deep architectures for feature ...

Speaker:
Raja Giryes (Tel-Aviv University)
Date:
Tuesday, 3.1.2017, 10:30
Place:
Room 337 Taub Bld.
• ## Learning to act from observational data

The proliferation of data collection in the health, commercial, and economic spheres, brings with it opportunities for extracting new knowledge with concrete policy implications. ...

Speaker:
Uri Shalit - CS-Lecture - Note unusual hour and place
Date:
Tuesday, 3.1.2017, 10:30
Place:
Room 601 Taub Bld.