Skip to main menu (access key '1') Skip to content (access key 's') Skip to contact info (access key '2') Skip to phone directory (access key '3') Skip to site map (access key '4') Skip to accessibility information (access key '0')
You are here: › › ›

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

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • Coding Theory: Frobenius Problem in Numerical Semigroups

    See attached document.

    Speaker:
    Leonid Fel (Technion)
    Date:
    Sunday, 10.12.2017, 14:30
    Place:
    Taub 601

    [Full version]

  • 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.

    [Full version]

  • Research Presentation Event at CS

    Research Presentation Event at CSCS 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.

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • CSpecial Talk: How to Start Looking for a Job

    CSpecial Talk: How to Start Looking for a JobWe 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]

  • Microsoft Evening at CS

    Microsoft Evening at CSMicrosoft 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]

  • CSpecial Talk: How to Turn a Degree to a Career

    CSpecial Talk: How to Turn a Degree to a CareerWe 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

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • Google TECH TALK at CS

    Google TECH TALK at CSGoogle 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 Build. Auditorium 1

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • TONIGHT! Exposure Night to CS Information for 2017-18

    TONIGHT! Exposure Night to CS Information for 2017-18CS 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

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]

  • AI WILL CHANGE THE WORLD

    AI WILL CHANGE THE WORLDJansen 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • The 6th Summer School on Cyber and Computer Security

    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

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • Project Fair in IoT and Android

    Project Fair in IoT and AndroidOn 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

    [Full version]

  • Theory Students Meeting

    Theory Students MeetingTheory 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • Exposure to Virtual Reality Course Event

    Exposure to Virtual Reality Course EventThe 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

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • TODAY! The 7th Annual International TCE Conference on Coding for Storage and Information Systems

    TODAY! The 7th Annual International TCE Conference on Coding for Storage and Information SystemsThe 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • CRYPTODAY 2017

    CRYPTODAY 2017The 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • CSpecial Guest: Computer Graphics in the View of Time: Past, Present and Future

    CSpecial Guest: Computer Graphics in the View of Time: Past, Present and FutureMore details in the attached ad. You are all invited.

    Speaker:
    Eyal Bar Lev - CANCELLED
    Date:
    Wednesday, 14.6.2017, 12:30
    Place:
    Taub 7

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • 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

    [Full version]

  • TCE Workshop: 2017 Stephen and Sharon Seiden Frontiers in Engineering and Science

    TCE Workshop: 2017 Stephen and Sharon Seiden Frontiers in Engineering and ScienceYou 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

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]

  • TCE Guest Lecture: CANCELLED!

    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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • TODAY! CS RESEARCH DAY 2017

    TODAY! CS RESEARCH DAY 2017The 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • 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

    [Full version]

  • TODAY! Open Day For Graduate Studies At Technion Computer Science and Electrical Engineering

    TODAY! Open Day For Graduate Studies At Technion Computer Science and Electrical EngineeringThe 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.

    [Full version]

  • ''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.

    [Full version]

  • 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.

    [Full version]

  • 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

    [Full version]

  • TCE Guest Lecture: Making General-Purpose Computing Great Again

    TCE Guest Lecture: Making General-Purpose Computing Great AgainGeneral-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.

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • Startup Day and Recruitment at CS

    Startup Day and Recruitment at CSCS 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

    [Full version]

  • 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.

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • TODAY! The Finals - 2016-17 Amdocs Best Project Contest

    TODAY! The Finals - 2016-17 Amdocs Best Project ContestYou 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

    [Full version]

  • 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.

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • The 4th Technion-Intel Challenge (2018)

    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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • Hash Code 2017 by Google at CS

    Hash Code 2017 by Google at CSGoogle 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.

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • YAHOO DAY at CS

    YAHOO DAY at CSYahoo 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.

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • Project Fair in IoT and Android

    Project Fair in IoT and AndroidOn 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

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]