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:
- Eldad Haber (UBS)
- 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:
- Gilad Kutiel (CS, Technion)
- 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 Ultrasoundand 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 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:
- Google Team
- Date:
- Monday, 30.10.2017, 17:00
- Place:
- CS Taub 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 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:
- Elad Osherov (EE, Technion)
- 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 Networkfor 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:
- Adi Fuchs (Princeton)
- 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
e 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 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:
- Hadar Averbuch (Tel-Aviv University)
- 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:
- Adi Shamir - COLLOQUIUM LECTURE
- 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:
- Hadas Kogan (Elbit Aerospace Division)
- 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 aFamily 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:
- Ohad Shacham (Yahoo Research)
- 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:
- Amir Watad (EE, Technion)
- 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:
- Adam Polyak (Facebook)
- 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:
- Guri Sohi (University of Wisconsin-Madison)
- 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 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:
- Elad Haramaty (Harvard University)
- 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 Devicesfor Brain-inspired Computing and BeyondNanoscale Memristive Devicesfor 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:
- Qiangfei 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 supervised ...
- 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:
- Hadar Frenkel
- 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:
- Elad Richardson
- 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:
- Ohad Ben Baruch (Ben-Gurion University)
- 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 Replicationat 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-parameterApproximation Schemesfor 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 Theoryand 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.