Mixed Integer Programming Accelerator

Igor Zarivach

Wednesday, 28.12.2016, 13:30

Taub 601

The availability of effective exact or heuristic solution methods for general Mixed-Integer Programs (MIPs) is of a paramount importance for practical applications. Unfortunately, in most practical large scale problems, a general-purpose MIP solver may prove not effective even after a clever tuning. In the present ...

[Full version]

[Full version]

Theory Seminar: Complete Derandomization of Identity Testing of Read-Once Formulas

Ilya Volkovic (University of Michigan)

Wednesday, 28.12.2016, 12:30

Taub 201

In this paper we study the identity testing problem of arithmetic read-once formulas (ROF) and some related models. A read-once formula is formula (a circuit whose underlying graph is a tree) in which the operations are {+, ×} and such that every input variable labels ...

[Full version]

[Full version]

ceClub: Secure Computation in Hostile Environments

Daniel Genkin (Post Doc Fellow - University of Pennsylvania
and University of Maryland)

Wednesday, 28.12.2016, 11:30

EE Meyer Building 861

Computer systems are everywhere, often controlling critical processes and containing sensitive secret information. However, the ubiquitous nature of computer systems also means that such systems often operate in hostile environments where they are subjected to various attacks by adversarial parties. Even if the system's security ...

[Full version]

[Full version]

Requirements for Tools for Hairy Requirements or Software Engineering Tasks

Daniel M. Berry - COLLOQUIUM LECTURE

Tuesday, 27.12.2016, 14:30

Room 337-8 Taub Bld.

ceClub: Temporal Planning - Towards Highly Utilized Clouds

Ishai Menache (Microsoft Research, Redmond)

Tuesday, 27.12.2016, 11:30

Taub 301

Existing resource management frameworks for large scale cloud systems leave unresolved the problematic tension between high resource utilization and job's performance predictability - respectively coveted by operators and users. In this talk, I will present recent efforts to resolve this tension through temporal planning: unlike ...

[Full version]

[Full version]

TODAY! A Workshop in Honor of Prof. Johann Makowsky’s Retirement

Sunday, 25.12.2016, 13:30

Room 337-8 Taub Bld.

CS will hold a symposium honoring Prof. Johann Makowsky’s retirement on: Logic in Computer Science and Combinatorics On the agenda greetings by CS Dean Prof. Irad Yavneh and talks by: Moshe Y. Vardi Eldar Fischer Tomer Kotek Nadia Labai Elena Ravve Johann Makowsky More details ...

[Full version]

[Full version]

Special Guest Lecture: The Automated-Reasoning Revolution: From Theory to Practice and Back

Moshe Y. Vardi (Rice University)

Sunday, 25.12.2016, 13:30

Room 337 Taub Bld.

For the past 40 years computer scientists generally believed that NP-complete problems are intractable. In particular, Boolean satisfiability (SAT), as a paradigmatic automated-reasoning problem, has been considered to be intractable. Over the past 20 years, however, there has been a quiet, but dramatic, revolution, and ...

[Full version]

[Full version]

Shared-memory concurrency in programming languages: Problems, challenges, solutions

Ori Lahav

Sunday, 25.12.2016, 10:30

Room 601 Taub Bld.

With the proliferation of multi-core processors, shared-memory concurrent programming has become increasingly important. Nevertheless, despite decades of research, there are still no adequate answers to the following fundamental questions: 1. What is the right semantics for concurrent programs in higher-level languages? 2. Which reasoning principles ...

[Full version]

[Full version]

On Simulation, Verification and Monitoring of Cyber-Physical Systems

Oded Maler - Special Guest Lecture

Thursday, 22.12.2016, 14:30

Room 337 Taub Bld.

In this talk I will present some of the research I have been involved in concerning the specification and monitoring of timed, continuous and hybrid behaviors using formalism such as Signal Temporal Logic and Timed Regular Expressions. I will discuss the similarities and differences between ...

[Full version]

[Full version]

Recent advances in randomness extractors and their applications

Gil Cohen - CS-Lecture -

Thursday, 22.12.2016, 10:30

Room 337 Taub Bld.

We present recent developments in randomness extractors theory and applications to classical, long-standing, open problems such as Ramsey graphs constructions and privacy amplification protocols. This exciting progress heavily relies on two new pseudo-random primitives we call correlation breakers and independence-preserving mergers, which we discuss. Short ...

[Full version]

[Full version]

Theory Seminar: Low Contention Nested Parallelism using Dynamic SNZI

Naama Ben-David (Carnegie Mellon University)

Wednesday, 21.12.2016, 12:30

Taub 201

The study and design of concurrent data structures has mostly focused on verifying their correctness and proving general progress guarantees. In contrast, very little work has been done on analyzing the running time of these data structures, possibly due to a lack of a good ...

[Full version]

[Full version]

ceClub: Challenges in Modeling, Optimization and Control
of Energy Networks (Transmission and Distribution of Power and Natural Gas)

Michael Chertkov (Los Alamos National Lab (LANL)

Wednesday, 21.12.2016, 11:30

EE Meyer Building 861

Challenges in simulation, optimization and control of natural gas transmission systems and their coupling to power transmission systems are reviewed in this presentation describing research on the subject by the Grid Science Team at LANL. In this presentation I will describe opportunities but also challenges ...

[Full version]

[Full version]

Coding Theory: Semiconstrained Systems

Ohad Elishco (Ben-Gurion University)

Sunday, 18.12.2016, 14:30

Taub 601

When transmitting information over a noisy channel, two approaches are common: assuming the channel errors are independent of the transmitted content and devising an error-correcting code, or assuming the errors are data dependent and devising a constrained-coding scheme that eliminates all offending data patterns. In ...

[Full version]

[Full version]

Cloud resource provisioning for social notifications at mass scale

Roman Vitenberg - COLLOQUIUM LECTURE

Thursday, 15.12.2016, 14:30

Room 337 Taub Bld.

Delivery of social notifications has become a popular component in many electronic services. While a small number of services for social notifications, e.g., Twitter, are dedicated, an increasingly large number of such services are provided as an enhancement of the main functionality. For example, the ...

[Full version]

[Full version]

Linear and Generalized Linear Mixed Models for Genetic Case Control Studies

Omer Weissbrod

Wednesday, 14.12.2016, 13:00

Taub 601

In recent years, genetic studies have revolutionized our understanding of common diseases like diabetes and cancer. However, the analysis of genetic studies of disease poses substantial statistical and computational challenges, owing to the data collection scheme and to the extremely large data dimensionality. We propose ...

[Full version]

[Full version]

FACEBOOK TECH TALK at CS

Wednesday, 14.12.2016, 12:30

Room 337 Taub Bld.

Facebook Engineers will come to CS and will offer you full-time positions and internship opportunities on Wednesday, December 14, 2016, 12:30-13:30, at CS Taub Building, Room , 3rd Floor, and will give an Engineering Tech Talk on: Data Driven Engineering @ Facebook: At Facebook, we ...

[Full version]

[Full version]

Theory Seminar: Cohomology for Computer Science

Alex Lubotzky (Hebrew University of Jerusalem)

Wednesday, 14.12.2016, 12:30

Taub 201

We will start with presenting the basic notions of (co)homomology of simplical complexes (which requires only basic linear algebra over the field of order 2) and then we will indicate its relevance for several topics in computer science and combinatorics: 1) Property testing.: 2) Quantum ...

[Full version]

[Full version]

ceClub: Resampling with Feedback - A New Paradigm of Using Workload Data for Performance Evaluation

Dror Feitelson (Hebrew University of Jerusalem)

Wednesday, 14.12.2016, 11:30

Taub 401

Reliable performance evaluations require representative workloads. This has led to the use of accounting logs from production systems as a source for workload data in simulations. I will survey 20 years of ups and downs in the use of workload logs, culminating with the idea ...

[Full version]

[Full version]

Pixel Club: Big Data-small Data: Image Classification for Colorectal Cancer Diagnosis

Dori Peleg (Medtronic)

Tuesday, 13.12.2016, 11:30

EE Meyer Building 1061

Capsule Endoscopy for the Colon is an emerging market with the potential to become a screening tool for detecting colorectal cancer. The patient swallows a pill that includes cameras which provide a video of the digestive system. If a significant polyp, which is a precursor ...

[Full version]

[Full version]

Pixel Club: Arranging & Improving Photos

Ohad Fried (Princeton)

Sunday, 11.12.2016, 14:30

EE Meyer Building 1061

There are *many* photos in the world. An average user might have thousands of photos in their personal photo collection. We have reached a point where photo acquisition is trivial, and the next challenge lies in arranging and easily editing such large photo collections. I ...

[Full version]

[Full version]

CGGC Seminar: OpenMP - In Practice

Boaz Sternfeld (CS, Technion)

Sunday, 11.12.2016, 13:30

Room 337-8 Taub Bld.

OpenMP is an API for writing multithreaded, shared memory parallelism, it consists of a set of compiler directives none intrusive to the original serial code. In addition I shall present parfor concept in MATLAB which is useful where you need many loop iterations of a ...

[Full version]

[Full version]

Finding Security Vulnerabilities in Network Protocols Using Methods of Formal Verification

Adi Sosnovich

Wednesday, 7.12.2016, 15:30

Taub 601

The Internet infrastructure relies almost entirely on network protocols that are based on open standards. However, the majority of network devices on the Internet, e.g. routers and switches, are proprietary and closed source. Hence, there is no straightforward way to analyze them. Specifically, one cannot ...

[Full version]

[Full version]

Theory Seminar: Online Matching: Haste Makes Waste!

Yuval Emek (IE, Technion)

Wednesday, 7.12.2016, 12:30

Taub 201

We address a new online problem, referred to as min-cost perfect matching with delays (MPMD), where requests arrive in a continuous time online fashion at the points of a finite metric space $mathcal{M}$ and should be served by matching them to each other. The algorithm ...

[Full version]

[Full version]

ceClub: From Theory to Practice: The Actual Outcome of Two 'Somewhat Disjoint' Network Evaluation Studies

Jose Yallouz (EE,Technion & Intel)

Wednesday, 7.12.2016, 11:30

EE Meyer Building 861

Network Function Virtualization (NFV) is a novel paradigm that enables flexible and scalable implementation of network services on cloud infrastructure, while Network Survivability is an traditional well-studied subject for maintaining network service continuity in the presence of failures. This talk will address these two important ...

[Full version]

[Full version]

Pixel Club: Signal Modeling: From Convolutional Sparse Coding to Convolutional Neural Networks

Vardan Papyan (CS, Technion)

Tuesday, 6.12.2016, 11:30

Room 337 Taub Bld.

Within the wide field of sparse approximation, convolutional sparse coding (CSC) has gained increasing attention in recent years. This model assumes a structured-dictionary built as a union of banded Circulant matrices. Most attention has been devoted to the practical side of CSC, proposing efficient algorithms ...

[Full version]

[Full version]

Market Driven Queuing

Boris Pismenny

Monday, 5.12.2016, 15:30

Taub 301

Network providers must dynamically allocate scarce physical resources among their clients to maximize benefit. Network pricing is one way for providers to maximize client benefit by allowing them to share available bandwidth according to their willingness to pay for it. The resulting allocation grants additional ...

[Full version]

[Full version]

Coding Theory: Cyclic Subspace Codes from Sidon Sets

Netanel Raviv (CS, Technion)

Sunday, 4.12.2016, 14:30

Taub 601

The interest in subspace codes has increased recently due to their application in error correction for random network coding. In order to study their properties and find good constructions, the notion of cyclic subspace codes was introduced by using the extension field structure of the ...

[Full version]

[Full version]

Comparing evolutionary distances via adaptive distance functions

Yanir Damty

Wednesday, 30.11.2016, 14:30

Taub 601

Distance based reconstruction methods of phylogenetic trees consist of two independent parts: first, inter-species distances are estimated assuming some stochastic model of sequence evolution; then the inferred distances are used to construct the tree. These methods rely heavily on comparisons of the inferred distances and ...

[Full version]

[Full version]

Theory Seminar: Pseudorandomness when the Odds are Against You

Ronen Shaltiel (Haifa University)

Wednesday, 30.11.2016, 12:30

Taub 201

A celebrated result by Impagliazzo and Wigderson is that under complexity theoretic hardness assumptions, every randomized algorithm can be transformed into one that uses only logarithmically many bits, with polynomial slowdown. Such algorithms can then be completely derandomized, with polynomial slowdown. In the talk I ...

[Full version]

[Full version]

ceClub: Practical Plausibly Deniable Encryption through Low-Level Flash Behavior

Aviad Zuck (CS, Technion)

Wednesday, 30.11.2016, 11:30

Taub 401

Users of solid-state disks and mobile devices may benefit from the ability to hide sensitive data in a manner that disallows powerful adversaries from detecting that data has been hidden. In this talk I present a new technique to achieve this goal by manipulating the ...

[Full version]

[Full version]

From Reachability to Temporal Specifications in Game Theory

Orna Kupferman - COLLOQUIUM LECTURE

Tuesday, 29.11.2016, 14:30

Room 337-8 Taub Bld.

Pixel Club: Recovering Hyperspectral Signals from RGB images via Sparse Dictionary Learning

Boaz Arad (Ben-Gurion University)

Tuesday, 29.11.2016, 11:30

EE Meyer Building 1061

Hyperspectral (HS) images or "hyperspectral data-cubes" contain radiance spectrum information at high spectral resolution for each point in the scene. Until recently, acquiring such information involved expensive, bulky equipment which required long exposure times - making HS imaging impractical for "natural" imaging (ground-level, horizontally viewed ...

[Full version]

[Full version]

Faster Projection-free Machine Learning and Optimization

Dan Garber - CS-Lecture -

Monday, 28.11.2016, 10:30

Room 337-8 Taub Bld.

Projected gradient descent (PGD), and its close variants, are often considered the methods of choice for solving a large variety of machine learning optimization problems, including empirical risk minimization, statistical learning, and online learning. This is not surprising, since PGD is often optimal in a ...

[Full version]

[Full version]

Google TECH TALK at CS

Sunday, 27.11.2016, 17:00

Room 337-8 Taub Bld.

Google's Cloud & Networking group will visit CS and will give a Tech Talk presenting ithe technical highlights and challenges of building a project called "Effingo" - Google's internal (very) large scale file copy service, as well as on their hiring process. Please pre-register.

[Full version]

[Full version]

Pixel Club: Statistical Non-Rigid Shape Correspondence

Emanuele Rodolà (USI Lugano )

Sunday, 27.11.2016, 11:00

Room 337 Taub Bld.

Many algorithms for the computation of correspondences between deformable shapes rely on some variant of nearest neighbor matching in a descriptor space. Such are, for example, various point-wise correspondence recovery algorithms used as a post-processing stage in the functional correspondence framework. Such frequently used techniques ...

[Full version]

[Full version]

From Programming Languages to Programming Systems - Software Development by Refinement

Shachar Itzhaky - CS-Lecture -

Thursday, 24.11.2016, 10:30

Room 337 Taub Bld.

Everyone wants to program with "high-level concepts", rather than meddle with the fine details of the implementation, such as pointers, network packets, and asynchronous callbacks. This is usually achieved by introducing layers of abstraction - but every layer incurs some overhead, and when they accumulate, ...

[Full version]

[Full version]

Theory Seminar: New Hardness Results for Routing on Disjoint Paths

Julia Chuzhoy (University of Chicago)

Wednesday, 23.11.2016, 12:30

Taub 201

In the classical Node-Disjoint Paths (NDP) problem, the input consists of an undirected $n$-vertex graph $G$, and a collection $M=\{(s_1,t_1),\ldots,(s_k,t_k)\}$ of pairs of its vertices, called source-destination, or demand, pairs. The goal is to route the largest possible number of the demand pairs via node-disjoint ...

[Full version]

[Full version]

Intel Technion Executive Seminar: From Small Firms to World Giants

Wednesday, 23.11.2016, 09:00

EE Meyer Building 1003

Please see details in the Hebrew page.

[Full version]

[Full version]

Pixel Club: Finding a Needle in a (Deformable) Haystack

Michael Bronstein (USI Lugano &Tel Aviv University)

Tuesday, 22.11.2016, 12:30

Room 337-8 Taub Bld.

Finding correspondence between 3D shapes is one of the prototypical problems in computer graphics, geometric processing, and vision. Different flavors of this problem arise in applications ranging from texture mapping and animation to marker-less motion capture. The recent progress in the development of commercial real-time ...

[Full version]

[Full version]

Coding Theory: Combinatorial Batch Codes: Bounds and Constructions

Srimanta Bhattacharya (Indian Statistical Institute, Kolkata, India)

Sunday, 20.11.2016, 14:30

Taub 601

An (n, N, k, m, t)-batch code abstracts the following distributed database problem: n items are to be distributed among m servers in such a way that any (multi)set of k items can be retrieved by reading at most t items from each server with ...

[Full version]

[Full version]

Exact Learning of Juntas from Membership Queries

Areej Costa

Thursday, 17.11.2016, 13:30

Taub 601

Learning from membership queries has flourished due to its many applications in group testing, blood testing, chemical leak testing, chemical reactions, electric shorting detection, codes, multi-access channel communications, molecular biology, VLSI testing and AIDS screening. Many of the new applications raised new models and new ...

[Full version]

[Full version]

Theory Seminar: Branching Program size lower bounds via Projective Dimension

Sajin Koroth (Indian Institute of Technology, Madras)

Wednesday, 16.11.2016, 12:30

Taub 201

Branching program is a combinatorial model of computation which models space in Turing machines. One of the holy grail in complexity theory is to understand the relationship between efficient space (class L, logarithmic space in input) and efficient time (class P, polynomial time in input). ...

[Full version]

[Full version]

ceClub: Underlay Aware Overlay Routing

Ron Banner (HP-Labs, Israel )

Wednesday, 16.11.2016, 11:30

EE Meyer Building 861

Network function cloudification aims at executing virtual network functions on the cloud to enable rapid deployment of new services with greater flexibility and better CAPEX and OPEX efficiencies. While the cloud provides a convenient overlay abstraction to the underlying compute and network infrastructure, the data ...

[Full version]

[Full version]

Teaching Computer Science, in Israel and Abroad: Teaching, Learning, and Teacher Training

Orit Hazzan and Noa Ragonis - COLLOQUIUM LECTURE

Tuesday, 15.11.2016, 14:30

Room 337-8 Taub Bld.

Pixel Club: Applications in Speech, Vision and Cognition

Hongkai Zhao (University of California, Irvine)

Tuesday, 15.11.2016, 11:30

Room 337-8 Taub Bld.

We present a general framework for solving partial differential equations on manifolds represented by meshless points, i.e. point clouds, without parameterization or connection information. Our method is based on a local approximation of the manifold as well as functions defined on the manifold, such as ...

[Full version]

[Full version]

Special Guest Lecture: Functional Safety and IT-Security: The Critical Combination

Prof. Dr. Juergen Mottok

Monday, 14.11.2016, 15:15

Taub 601

Functional Safety and IT-Security are the most important quality factors for future real-time embedded systems. This talk will cover state of the art techniques and research results covering functional safety and IT-Security in relation to functional safety. Focus mainly on your knowledge and experience in ...

[Full version]

[Full version]

Special Guest Lecture: Safe and Secure Systems: Implications on System Architecture

Prof. Georg Scharfenberg (OTH-Regensburg University, Bavaria Germany)

Monday, 14.11.2016, 14:30

Taub 601

Embedded real-time systems focusing on functional safety applications must be error-free and have to master faults occurring during operation. In this talk we will deal with types of faults and how the system architecture will control them. We will ask the question: "How much safety ...

[Full version]

[Full version]

Pixel Club: End-to-End Learning: Applications in Speech, Vision and Cognition

Yedid Hoshen (Hebrew University of Jerusalem)

Monday, 14.11.2016, 11:30

Room 337-8 Taub Bld.

One of the most exciting possibilities opened by deep neural networks is end-to-end learning: the ability to learn tasks without the need for feature engineering or breaking down into sub-tasks. This talk will present three cases illustrating how end-to-end learning can operate in machine perception ...

[Full version]

[Full version]

CGGC Seminar: 3D Printing, User Basics

Ben Ezair (CS, Technion)

Sunday, 13.11.2016, 13:30

Room 337-8 Taub Bld.

This talk will present some basic concepts to help (aspiring) users of 3D printing. The talk will focus on the pipeline and use of the common FDM printers found in the CGGC lab.

[Full version]

[Full version]

Fast Distributed Approximation for Max-Cut

Rina Levy

Wednesday, 9.11.2016, 14:30

Taub 401

One of the fundamental tasks in many computational settings is finding the maximum cut. Surprisingly, it has been insufficiently studied in the classic distributed settings, where vertices communicate by synchronously sending messages to their neighbours according to the underlying graph. In the talk we will ...

[Full version]

[Full version]

Theory Seminar: Simplex Transformations and the Multiway Cut Problem

Baruch Weizman (Tel Aviv University)

Wednesday, 9.11.2016, 12:30

Taub 201

We consider the Multiway Cut problem, a basic graph partitioning problem in which the goal is to find the minimum weight collection of edges disconnecting a given set of special vertices called terminals. Multiway Cut admits a well known simplex embedding relaxation, where rounding this ...

[Full version]

[Full version]

ceClub: Breaking the ISA Barrier in Modern Computing

Ashish Venkat (UC San Diego)

Wednesday, 9.11.2016, 11:30

Taub 401

On-chip heterogeneity has been shown to be an effective mechanism to improve execution efficiency for general purpose and embedded computing. Existing heterogeneous designs either feature a single ISA or multiple ISAs that statically partition work. In this talk, PhD candidate from UC San Diego Ashish ...

[Full version]

[Full version]

High Throughput Connectomics

Nir Shavit - COLLOQUIUM LECTURE

Tuesday, 8.11.2016, 14:30

Room 337-8 Taub Bld.

Pixel Club: Diffusion Nets and Manifold Learning for High-Dimensional Data Analysis in the Presence of Outliers

Gal Mishne (EE,Technion)

Tuesday, 8.11.2016, 11:30

EE Meyer Building 1061

In the analysis of high-dimensional data, manifold learning methods are used to reduce the dimensionality of the data, while preserving local neighborhoods and revealing meaningful structures. Out-of-sample function extension techniques are then used for analyzing new points, yet these techniques are inherently limited for handling ...

[Full version]

[Full version]

A fast distributed (2+epsilon)-approximation for weighted vertex cover

Gregory Schwartzman

Wednesday, 2.11.2016, 14:30

Taub 701

The field of distributed graph algorithms deals with solving graph problems in a network (graph) of independent agents while minimizing the amount of communication between nodes. One such fundamental problem is weighted vertex cover. We show a fast distributed (2+epsilon)-approximation algorithm using the local ratio ...

[Full version]

[Full version]

Theory Seminar: Compression of Interactive Communication

Anat Ganor (Weizmann Institute of Science)

Wednesday, 2.11.2016, 12:30

Taub 201

In a profoundly influential paper, Shannon introduced information theory and used it to study the one-way data transmission problem, initiating the study of data compression. In the last few decades, the study of efficient communication using tools from information theory has led to many interesting ...

[Full version]

[Full version]

Pixel Club: Light Invariant Video Imaging –Capabilities and Applications

Amir Kolaman (Ben-Gurion University)

Tuesday, 1.11.2016, 11:30

EE Meyer Building 1061

Controlled light conditions improve considerably the performance of most computer vision algorithms. Dynamic light conditions create varying spatial changes in color and intensity across the scene. These condition, caused by a moving shadow for example, force developers to create algorithms which are robust to such ...

[Full version]

[Full version]

Declarative Data Cleaning via Preferred Repairs

Ester Livshits

Monday, 31.10.2016, 12:30

Taub 301

An inconsistent database is a database that violates some of the integrity constraints assumed to hold. Managing data inconsistency has been one of the major challenges in the research and practice of database management. In the Big Data era, applications often collect and integrate information ...

[Full version]

[Full version]

Pixel Club: From Pixels to Information - Recent Advances in Visual Search

Bernd Girod (Stanford University)

Thursday, 27.10.2016, 15:30

Room 337-8 Taub Bld.

With intelligent processing, cameras have great potential to link the real world and the virtual world. We review advances and opportunities for algorithms and applications that retrieve information from large databases using images as queries. For rate-constrained applications, remarkable improvements have been achieved over the ...

[Full version]

[Full version]

Pixel Club: Anatomy of the SIFT Method

Ives Rey Otero (North Carolina State University)

Thursday, 27.10.2016, 11:30

Room 337-8 Taub Bld.

The SIFT method is the first efficient image comparison model. It was the first method to propose a practical scale-space sampling and to put in practice the theoretical scale invariance in scale-space theory. SIFT associates with each image a list of translation, rotation and scale ...

[Full version]

[Full version]

First Information Fair at CS

Wednesday, 26.10.2016, 12:30

CS Taub Lobby

CS invites all degrees students to attend the first information fair and to check out the variety of CS projects, seminars and advanced courses to be given in the 2016-2017 academic year. The event will take place on Wednesday's Noon, 12:30-14:30, at the lobby of ...

[Full version]

[Full version]

Theory Seminar: Explicit List-Decodable Codes with Optimal Rate for Computationally Bounded Channels

Jad Silbak (Haifa University)

Wednesday, 26.10.2016, 12:30

Taub 201

Guruswami and Smith (Journal of the ACM, to appear) present a construction for an explicit codes for additive channels (channels that can induce a fixed error) that succeeds with high probability. Furthermore Guruswami and Smith gave an explicit construction against channels of size n^c if ...

[Full version]

[Full version]

Pixel Club: Example-Based Image Synthesis via Randomized Patch-Matching

Yi Ren (CS Technion)

Tuesday, 25.10.2016, 11:30

Taub 401

Image and texture synthesis is a challenging task that has long been drawing attention in the fields of image processing, graphics, and machine learning. This problem consists of modelling the desired type of images, either through training examples or via a parametric modeling, and then ...

[Full version]

[Full version]

Software Management of Hardware Memory Versioning

Tehila Mayzels

Tuesday, 27.9.2016, 13:00

Taub 601

Task-based programming is an emerging paradigm that simplifies parallel programming. Task-based models, however, mostly focus on expressing concurrency and, for the most part, do not reason about data synchronization. The recently proposed O-structures memory versioning model is intended to fill this gap and dynamically track ...

[Full version]

[Full version]

Pixel Club: Gathering & Control of Unicycle A(ge)nts with Crude Bearing-Only Sensing Capabilities

David Dovrat (TASP-Technion)

Tuesday, 27.9.2016, 11:30

Room 337-8 Taub Bld.

We present a model in which extremely simple agents, able only to detect how many other agents are in a sector directly in front of them, without ever knowing actual bearings towards any other agent, come to an agreement about a common center of rotation ...

[Full version]

[Full version]

Pixel Club: From the Optics Lab to Computer Vision

Achuta Kadambi (MIT)

Tuesday, 20.9.2016, 12:00

EE Meyer Building 1061

Computer science and optics are usually studied separately -- separate people, in separate departments, meet at separate conferences. This is changing. The exciting promise of technologies like virtual reality and self-driving cars demand solutions that draw from the best aspects of computer vision, computer graphics, ...

[Full version]

[Full version]

Low-Complexity Collision Resistant Hashing

Naama Haramaty

Thursday, 8.9.2016, 14:30

Taub 601

A collision resistant hash function is a function that compresses the input, yet it is computationally infeasible to find two inputs on which it has the same output. Collision resistant hash functions are widely used for making digital signatures efficient and have many other applications ...

[Full version]

[Full version]

ceClub: Progress in Automatic GPU Compilation and Why you Want to Run MPI on Your GPU

Torsten Hoefler (ETH)

Tuesday, 6.9.2016, 15:00

EE Meyer Building 1061

Auto-parallelization of programs that have not been developed with parallelism in mind is one of the holy grails in computer science. It requires understanding the source code's data flow to automatically distribute the data, parallelize the computations, and infer synchronizations where necessary. We will discuss ...

[Full version]

[Full version]

Special Guest Lecture: Efficient large scale parameter estimation with application to Full Waveform Inversion.

Eran Treister (University of British Columbia, Vancouver, Canada)

Monday, 5.9.2016, 12:30

Taub 401

Parameter estimation is performed by fitting data measurements to a model using Bayesian statistics, assuming additional prior information. The estimation requires a numerical solution of a large scale optimization problem, whose objective traditionally includes data fidelity and regularization terms. In this talk we will concentrate ...

[Full version]

[Full version]

Pixel Club: Optimal Placement of Multiple Cameras in Cluttered, Dynamic Scenes

Maria Hänel (University of Bayreuth Germany}

Monday, 5.9.2016, 11:30

EE Meyer Building 1061

Motion capture is the process of recording the movement of objects or people by sensors and transforming it into computer readable format. To achieve best results, the environment needs to be optimally covered by the sensors. I will propose my latest advances in optimally placing ...

[Full version]

[Full version]

The 5th TCE Summer School on Cyber and Computer Security

Sunday, 4.9.2016, 09:00

EE Meyer Building 1003

The 5th TCE Summer School on Cyber and Computer Security will be held on Sunday-Thursday, September 4th-8th, 2016. Location: Room 1003, Meyer Building (EE), Technion, Haifa. Attendance is free, but registration is required Topics include innovation and entrepreneurship in big data: from preaching to (effective, ...

[Full version]

[Full version]

Linear Discriminant Analysis Model Monitoring in Distributed Systems.

Ran Bernstein

Sunday, 28.8.2016, 11:00

Taub 601

Real systems for mining dynamic data streams should be able to detect changes that affect the accuracy of their model. A distributed setting is one of the main challenges in this kind of change detection. In a distributed setting, model training requires centralizing the data ...

[Full version]

[Full version]

Extrapolation and Synthesis for Relaxed Memory Models

Yuri Meshman

Wednesday, 17.8.2016, 14:00

Taub 601

In modern architectures memory operations may be reordered and executed non-atomically. Consistency is guarantied for single thread execution, but not across threads. Both software and hardware Relaxed Memory Models are defined to capture the possible execution behaviors. Each Relaxed Memory Model poses its own challenges ...

[Full version]

[Full version]

Automatic Generation of Language-Independent Features for Cross-Langauge Classification

Sarai Duek

Wednesday, 17.8.2016, 12:00

Taub 601

Text categorization is a prominent task of labeling documents with predefined categories. The main approach to performing text categorization is learning from labeled examples. For many tasks, it may be difficult to find examples in one language but easy in others. The problem of learning ...

[Full version]

[Full version]

Differential Program Analysis

Nimrod Saban Partosh

Tuesday, 2.8.2016, 15:00

Taub 601

Studying the evolution of software is an emerging topic, receiving much attention and focus as every line of code written today is more likely to belong to an existing piece of software. Our work is an effort at modeling and quantifying the semantic impact of ...

[Full version]

[Full version]

CGGC Seminar: Metric Transformation through Local Linear Maps: Application to Frame Field Generation

Alex Shevlyakov (CS, Technion)

Tuesday, 2.8.2016, 14:00

Taub 401

Generic frame fields are important for many applications in computer graphics such as texture mapping and quadrangulation. The vast majority of existing approaches rely on computing an intermediate metric induced by an ambient Euclidean space, thus increasing the complexity and restricting the space of possible ...

[Full version]

[Full version]

Multi-Robot Decentralized Belief Space Planning in Unknown Environments via Efficient Re-Evaluation of Impacted Paths

Tal Regev

Wednesday, 20.7.2016, 13:00

Taub 601

Collaboration between multiple robots (or agents) pursuing common or individual tasks is important in numerous problem domains, including cooperative autonomous navigation, mapping and 3D reconstruction, tracking and active sensing. A key required capability is to autonomously determine robot actions while taking into account different sources ...

[Full version]

[Full version]

Efficient Information Transfer Leveraging Wirless D2D Communication

David Sainz

Wednesday, 20.7.2016, 11:00

Taub 601

Mobile phones and tablets are becoming the main devices to access the Internet, and wireless proximity technology has improved significantly over the last years. This creates the right environment for mobile applications that rely on proximity and close peers to improve their performance. One possible ...

[Full version]

[Full version]

ceClub: Timed Consistent Network Updates in Software Defined Networks

Efi Saat (EE, Technion)

Wednesday, 13.7.2016, 11:30

EE Meyer Building 861

Software Defined Networks (SDN) is a new approach to computer networking that provides simple network management by the abstraction of higher level functionality. The SDN framework enables flexible and frequent updates, and it introduces challenges in terms of consistency and scalability. This seminar considers the ...

[Full version]

[Full version]

Coding Theory: Consecutive Switch Codes

Sarit Buzaglo (University of California, San Diego)

Sunday, 3.7.2016, 14:30

Taub 601

Switch codes are a coding scheme which enables one to encode the input packets into the banks such that the packet requests by the output ports can be answered efficiently. Mathematically speaking, a switch code is required to satisfy the following property. Assume that there ...

[Full version]

[Full version]

Flexible Resource Allocation for Network Problems

Ariella Voloshin

Thursday, 30.6.2016, 13:00

Taub 601

Resource allocation problems arise in a wide range of applications. In many of these classic problems, we are given a set of requests competing for resources, where each request utilizes predefined amounts of the resources. We seek a feasible allocation of the resources, subject to ...

[Full version]

[Full version]

Mutual enrichment in aggregated ranked lists with applications to gene expression regulation

Dalia Alperovich

Thursday, 30.6.2016, 10:00

Taub 601

It is often the case in biological measurement data that results are given as a ranked list of quantities, for example differential expression (DE) of genes as inferred from microarrays or RNA-seq. Recent years brought considerable progress in statistical tools for enrichment analysis in ranked ...

[Full version]

[Full version]

The Infinite Odometry

Alexander Kreimer

Wednesday, 29.6.2016, 12:00

Taub 601

In this work we revisit the problem of visual odometry. Visual odometry is the process of estimating the motion of the camera by examining the changes that the motion induces on the images made by it. The approach we propose exploits a scene structure typical ...

[Full version]

[Full version]

Pixel Club: Cinema 3D:Large Scale Automultiscopic Display

Netalee Efrat (Weizmann Institute of Science)

Tuesday, 28.6.2016, 11:30

EE Meyer Building 1061

While 3D movies are gaining popularity, viewers in a 3D cinema still need to wear cumbersome glasses in order to enjoy them. Automultiscopic displays provide a better alternative to the display of 3D content, as they present multiple angular images of the same scene without ...

[Full version]

[Full version]

Coding Theory: d-imbalance WOM Codes for Reduced Inter-Cell Interference in Multi-Level NVMs

Evyatar Hemo (Technion)

Sunday, 26.6.2016, 14:30

Taub 601

In recent years, due to the spread of multi-level nonvolatile memories (NVM), q-ary write-once memories (WOM) codes have been extensively studied. By using WOM codes, it is possible to rewrite NVMs t times before erasing the cells. The use of WOM codes enables to improve ...

[Full version]

[Full version]

CSpecial Talk: An Exponential Separation Between Randomized and Deterministic Complexity in the LOCAL Model

Yi-Jun Chang University of Michigan)

Thursday, 23.6.2016, 10:30

Taub 301

Over the past 30 years numerous algorithms have been designed for symmetry breaking problems in the LOCAL model, such as maximal matching, MIS, vertex coloring, and edge-coloring. For most problems the best randomized algorithm is at least exponentially faster than the best deterministic algorithm. In ...

[Full version]

[Full version]

Optimistic Methods Meets Memory Management

Nachson Cohen

Wednesday, 22.6.2016, 14:30

Taub 601

With the rapid development of parallel platforms, optimistic methods become increasingly common. However, existing memory management schemes for such algorithms imposes high performance overhead and are considered notoriously complex. In this talk, I will describe how memory management can benefit from optimistic methods. I will ...

[Full version]

[Full version]

Towards practical publicly verifiable zero-knowledge Computational Integrity

Michael Riabzev

Wednesday, 22.6.2016, 14:30

Taub 401

We are interested in public-setup Zero-Knowledge proof systems for natural languages in NP with poly-logarithmic Verifier and quasi-linear Prover. Systems having such properties can be compiled efficiently to succinct publicly verifiable arguments, that could in practice effect our lives in many aspects. Although the theory ...

[Full version]

[Full version]

Theory Seminar: A Principled Way of Designing Efficient Distributed Protocols

Yoram Moses (Technion)

Wednesday, 22.6.2016, 12:30

Taub 201

Decisions taken by agents in distributed and multi-agent systems depend on their local information. A novel formulation of the connection between knowledge and action in such systems allows new insights into the design of correct and efficient protocols. This talk will discuss and illustrate how ...

[Full version]

[Full version]

ceClub: Refinement Reloaded, or – Deriving Divide-and-Conquer Dynamic Programming Algorithms by Transformation

Shachar Itzhaky (MIT)

Wednesday, 22.6.2016, 11:30

Taub 4

We introduce a framework allowing domain experts to manipulate computational terms in the interest of deriving better, more efficient implementations. It employs deductive reasoning to generate provably correct efficient implementations from a very high-level specification of an algorithm, and inductive constraint-based synthesis to improve automation. ...

[Full version]

[Full version]

Sidecore Managment for Virtualized Environments

Eyal Moscovici

Wednesday, 22.6.2016, 10:00

Taub 601

Virtualization is the ability of modern computer systems to run guest Virtual Machines (VMs). The VM host exposes various I/O devices to its guests such as the Network Interface Controller (NIC), hard disk, etc. Para-virtual I/O is a common technique for presenting the guest VM ...

[Full version]

[Full version]

Second Project Fair 2016 at CS

Tuesday, 21.6.2016, 12:30

CS Taub Lobby

CS students in the course "Project in Advanced Programming" invite you to an Arduino project fair on Tuesday, June 21, 2016, between 12:3.30, in the lobby of CS Taub Building. The fair will exhibit new Arduino and Android projects as well as yearly projects. You ...

[Full version]

[Full version]

Pixel Club: Detecting Repeating Objects using Patch Correlation Analysis

Inbar Huberman (Florida Institute of Technology)

Tuesday, 21.6.2016, 11:30

EE Meyer Building 1061

In this paper we describe a new method for detecting and counting a repeating object in an image. While the method relies on a fairly sophisticated deformable part model, unlike existing techniques it estimates the model parameters in an unsupervised fashion thus alleviating the need ...

[Full version]

[Full version]

Coding Theory: On the Capacity of Non-Binary Write-Once Memory

Michal Horovitz (CS, Technion)

Sunday, 19.6.2016, 14:30

טאוב 601

Write-once memory (WOM) is a storage device consisting of q-ary cells that can only increase their values. A WOM code is a scheme to write messages to the memory without decreasing the cells' levels. There are four models of WOM which depend on whether the ...

[Full version]

[Full version]

Understanding Word Embeddings

Omer Levy - CS-Lecture -

Thursday, 16.6.2016, 15:00

Room 337-8 Taub Bld.

Hardening Cassandra Against Byzantine Failures

Roni Licher

Wednesday, 15.6.2016, 13:30

Taub 701

Cassandra is a highly popular distributed data store. It supports flexible consistency semantics over a wide-column data access model. In our work, we propose protocols for hardening Cassandra against Byzantine failures, in which some nodes in the system may act arbitrarily, including in a malicious ...

[Full version]

[Full version]

CGGC Seminar: Advection-based Function Matching on Surfaces

Omri Azencot (CS, Technion)

Wednesday, 15.6.2016, 13:30

Room 337-8 Taub Bld.

A tangent vector field on a surface is the generator of a smooth family of maps from the surface to itself, known as the flow. Given a scalar function on the surface, it can be transported, or advected, by composing it with a vector field's ...

[Full version]

[Full version]

Theory Seminar: Contention Resolution Schemes:
Offline and Online

Moran Feldman (Open University)

Wednesday, 15.6.2016, 12:30

Taub 201

Contention resolution schemes are an algorithmic technique originally devised in the context of submodular functions maximization. Recent works, however, have extended contention resolution schemes into a robust tool with many applications in various fields such as stochastic optimization, auctions and prophet inequalities. In this talk ...

[Full version]

[Full version]

ceClub: Cooperative Game Theoretic Models for Network Interconnections

Gideon Blocq (EE, Technion)

Wednesday, 15.6.2016, 11:30

EE Meyer Building 861

Research on the application of game theory in the context of networking has focused on non-cooperative games, where the selfish agents cannot reach a binding agreement on the way they would share the infrastructure. Many approaches have been proposed for mitigating the typically inefficient operating ...

[Full version]

[Full version]

Google TECH TALK at CS

Gilad Barkai (Google)

Tuesday, 14.6.2016, 16:30

Room 337-8 Taub Bld.

Gilad Barkai from Google's AUTO-COMPLETE team will give a talk about the system - its daily use, challenges and different features as the programmer sees them. Please pre-register.

[Full version]

[Full version]

A new dimension of media

Alexander Bronstein - COLLOQUIUM LECTURE

Tuesday, 14.6.2016, 14:30

Room 337-8 Taub Bld.

ceClub: The Technion Computer Engineering Club

Sagi Shahar (EE, Technion)

Tuesday, 14.6.2016, 14:30

EE Meyer Building 1061

Modern discrete GPUs have been the processors of choice primarily for compute-intensive applications, but using them in large-scale data processing is extremely challenging. Unfortunately, they do not provide important I/O abstractions that have long been established in CPU context, like memory mapped files, which shield ...

[Full version]

[Full version]

Pixel Club: Data to Knowledge: Understanding Dynamic Medical Images

Debasis Mitra (Florida Institute of Technology)

Tuesday, 14.6.2016, 11:30

EE Meyer Building 1061

Computer Science (CS) is the new language of science as Mathematics was until the Twentieth Century. CS generalizes mathematics toward being more versatile. In this talk we will focus on some problems in bio-medical imaging science and discuss and how we try to address them. ...

[Full version]

[Full version]

CGGC Seminar:Incorporating Sharp Features in the General Solid Sweep Framework

Jinesh Machchhar (CS, Technion)

Monday, 13.6.2016, 14:30

Room 337-8 Taub Bld.

This work extends a recently proposed robust computational framework for constructing the boundary representation (B-rep) of the volume swept by a given smooth solid moving along a one parameter family h of rigid motions. Our extension allows the input solid to have sharp features, and ...

[Full version]

[Full version]

CGGC Seminar: A B-spline based Framework for Volumetric Object Modeling

Fady Massarwi (CS, Technion)

Monday, 13.6.2016, 14:00

Room 337-8 Taub Bld.

This work extends a recently proposed robust computational framework for constructing the boundary representation (B-rep) of the volume swept by a given smooth solid moving along a one parameter family h of rigid motions. Our extension allows the input solid to have sharp features, and ...

[Full version]

[Full version]

ceClub: From Algorithms to Architectures – Why Branch Predictors Are Not Great for Irregular Algorithms

Oded Green (Georgia Tech)

Thursday, 9.6.2016, 11:30

EE Meyer Building 1061

Irregular algorithms, such as sorting and graph algorithms, are prevalent in computer science applications. Until recently, it was assumed that the irregular algorithms also greatly benefited from the the Out-of-Order Execution engines found in most modern day CPU processors. Out-of-Order execution, using branch predictors, speculates ...

[Full version]

[Full version]

CSta Cafe: A Talk over Coffee and Pizza

Michael Elad (CS, Technion)

Wednesday, 8.6.2016, 13:00

Room 337-8 Taub Bld.

On Image Processing, Visual Information Models and ... why is it so hard for us in Numeric Analysis?

[Full version]

[Full version]

Theory Seminar: Proof Complexity Lower Boundsfrom Algebraic Circuit Complexity

Amir Shpilka (Tel-Aviv University)

Wednesday, 8.6.2016, 12:30

Taub 201

Proof complexity studies the complexity of mathematical proofs, with the aim of exhibiting (true) statements whose proofs are always necessarily long. One well-known proof system is Hilbert’s Nullstellensatz, which shows that if the family F={f1,…,fm} of n-variate polynomials have no common solution to the system ...

[Full version]

[Full version]

CGGC Seminar: Bounded Distortion Harmonic Shape Interpolation

Edward Chien (Mathematics - Hill Center, Rutgers University)

Tuesday, 7.6.2016, 14:30

Taub 701

Planar shape interpolation is a classic problem in computer graphics. We present a novel shape interpolation method that blends C∞ planar harmonic mappings represented in closed-form. The intermediate mappings in the blending are guaranteed to be locally injective C∞ harmonic mappings, with conformal and isometric ...

[Full version]

[Full version]

Pixel Club: Three Dimensional Structure Determination of macro-Molecules in Cryo-electron Microscopy

Gabi Pragier (Tel-Aviv University)

Tuesday, 7.6.2016, 11:30

EE Meyer Building 1061

One of the primary challenges in single particle reconstruction in cryo-electron microscopy is to find the three-dimensional structure of a molecule using its two-dimensional noisy projection-images. We suggest a method to estimate the unknown imaging orientations of all projection-images that is independent of their distribution. ...

[Full version]

[Full version]

CGGC Seminar: 2D Simulation and Mapping using the Cauchy-Green Complex Barycentric Coordinates

Aviv Segall (CS, Technion)

Sunday, 5.6.2016, 13:30

Taub 701

Conformal maps are especially useful in geometry processing for computing shape preserving deformations, image warping and manipulating harmonic functions. The Cauchy-Green coordinates are complex-valued barycentric coordinates, which can be used to parameterize a space of conformal maps from a planar domain bounded by a simple ...

[Full version]

[Full version]

2D Simulation and Mapping using the Cauchy-Green Complex Barycentric Coordinates

Aviv Segall

Sunday, 5.6.2016, 13:30

Taub 401

Conformal maps are especially useful in geometry processing for computing shape preserving deformations, image warping and manipulating harmonic functions. The Cauchy-Green coordinates are complex-valued barycentric coordinates, which can be used to parameterize a space of conformal maps from a planar domain bounded by a simple ...

[Full version]

[Full version]

On Routing schemes that are robust to changes in bandwidth demand

Gal Cohen

Sunday, 5.6.2016, 10:00

Taub 601

A major challenge in optimizing network utilization is how to reduce bottleneck links, while taking into account that bandwidth demands may be increased over time. Traffic engineering algorithms attempt to address this challenge by employing smart routing, however current solutions optimization criterion is biased towards ...

[Full version]

[Full version]

Theory Seminar: Two Applications of Communication Complexity in Distributed Computing

Rotem Oshman (Tel-Aviv University)

Wednesday, 1.6.2016, 12:30

Taub 201

In distributed systems, communication between the participants in the computation is usually the most expensive part of the computation. Theoretical models of distributed systems usually reflect this by neglecting the cost of local computation, and charging only for messages sent between the participants; in particular, ...

[Full version]

[Full version]

Intel@Technion Lectures: Game Changing Design

Shlomit Weiss (Intel)

Wednesday, 1.6.2016, 11:30

Room 337-8 Taub Bld.

produce design developed in through the years in many fronts and requirements. Today SOC products require aggressive targets in all fronts: frequency, performance, low cost, low power…… To address those new and growing requirement there needs to be a basic change in the design concept ...

[Full version]

[Full version]

TODAY! - CS RESEARCH DAY 2016

Tuesday, 31.5.2016, 15:30

CS Taub

The Sixth CS Research Day for graduate studies will be held on Tuesday, May 31, 2016, between 14:30-16:30, at the lobby of the CS Taub Building. Research Day events are opportunity for our graduate students to expose their researches using posters and presentations to CS ...

[Full version]

[Full version]

Pixel Club: Joint Embeddings of Shapes and Images via CNN Image Purification

Yangyan Li (CS, Tel-Aviv University)

Tuesday, 31.5.2016, 11:30

EE Meyer Building 1061

Both 3D models and 2D images contain a wealth of information about everyday objects in our environment. However, it is difficult to semantically link together these two media forms, even when they feature identical or very similar objects. Real-world images are naturally variable in a ...

[Full version]

[Full version]

CGGC Seminar: Volumetric T-spline Parameterization for Isogeometric Analysis

Yongjie Jessica Zhang (Carnegie Mellon University)

Sunday, 29.5.2016, 15:00

Taub 401

As a new advancement of traditional finite element method, isogeometric analysis (IGA) was proposed to integrate design and analysis. In this talk, I will present our latest research on volumetric T-spline parameterization for IGA applications. For arbitrary-topology objects, we first build a polycube whose topology ...

[Full version]

[Full version]

Pixel Club: A Focus on Selection for Fixation

John Tsotsos (York University, Canada)

Thursday, 26.5.2016, 11:30

EE Meyer Building 1061

A functional, computational and mechanistic, explanation of the relationship among visual attention, interpretation of visual stimuli, and eye movements, and how these produce visual behavior, seems elusive. Here, we focus on one component, how selection is accomplished for the next fixation. The popularity of saliency ...

[Full version]

[Full version]

Theory Seminar: Making Generalization Robust

Katrina Ligett (Hebrew University of Jerusalem)

Wednesday, 25.5.2016, 12:30

Taub 201

Generalization, informally, is the ability of a learner to reflect not just its training data, but properties of the underlying distribution from which the data are drawn. When paired with empirical risk minimization, it is a fundamental goal of learning. Typically, we say that a ...

[Full version]

[Full version]

ceClub: Imperfection is Beautiful and Efficient: Approximate Computing from Language to Hardware, and Beyond

Luis Ceze (University of Washington)

Wednesday, 25.5.2016, 11:30

Room 337-8 Taub Bld.

A significant proportion of computer system resources are devoted to applications that can inherently tolerate inaccuracies in their data, execution and communication. Hence, “approximate computing” is promising for performance and energy efficiency. However, taking advantage of approximate computing needs: language support to specify where and ...

[Full version]

[Full version]

The 6th Annual International TCE Conference on 3D Visual Computing: Graphics, Geometry and Everything in Between.

Tuesday, 24.5.2016, 09:00

Churchill Auditorium, Technion, Haifa

The 6th annual international TCE conference (Tuesday-Wednesday, May 24-25, 2016) will focus on recent trends in 3D Visual Computing: Graphics, Geometry and everything in between. Conference Chairs: Mirela Ben-Chen (CS Technion), Yoav Schechner (EE Technion) With the advent of widespread consumer devices generating 3D data, ...

[Full version]

[Full version]

DNA-based Archival Storage System

Luis Ceze - TCE guest

Monday, 23.5.2016, 14:30

Room Class 7 Taub Bld.

Compression and generalization

Shay Moran

Thursday, 19.5.2016, 12:00

Taub 601

[Note the change of time and date] Generalization and simplification are deeply related to each other: simpler explanations often reveal principles that apply more generally, and predictive scientific theories often boil down to a few simple (and deep) laws. This talk is about a manifestation ...

[Full version]

[Full version]

Some limitations and possibilities toward data-driven optimization

Yaron Singer - COLLOQUIUM LECTURE - Note unusual day

Wednesday, 18.5.2016, 14:30

Room 337-8 Taub Bld.

Theory Seminar: Improved *Deterministic* Algorithms for Partially Dynamic Shortest Paths

Shiri Chechik (Tel-Aviv University)

Wednesday, 18.5.2016, 12:30

Taub 201

Computing shortest paths is one of the fundamental problems of graph algorithms. The goal of *dynamic* single source shortest paths (SSSP) is to maintain a shortest path tree from a fixed source s as the edges of the graph change over time. The most general ...

[Full version]

[Full version]

ceClub: A Brief History of Time in Software Defined Networks

Tal Mizrahi (Technion)

Wednesday, 18.5.2016, 11:30

EE Meyer Building 861

The emerging trend of Software Defined Networks (SDN) has been enthusiastically explored by researchers over the last decade, as it provides the flexibility and agility to update networks dynamically, in a way that efficiently utilizes the network resources. In this talk we explore the use ...

[Full version]

[Full version]

Pixel Club: Analysis of High-throughput Microscopy Videos: Catching Up with Cell Dynamics

Assaf Arbelle (Ben-Gurion University)

Monday, 16.5.2016, 11:30

EE Meyer Building 1061

We present a novel framework for high-throughput live cell lineage analysis in time-lapse microscopy images. Our algorithm ties together two fundamental aspects of live cell lineage construction, namely cell segmentation and tracking, via a Bayesian inference of dynamic models. The proposed contribution exploits the Kalman ...

[Full version]

[Full version]

Global versus Local Modeling of Signals

Vardan Papyan

Monday, 16.5.2016, 10:30

Taub 337

Many image restoration algorithms in recent years are based on patch-processing. The core idea is to decompose the target image into fully overlapping patches, restore each of them separately, and then merge the results somehow. This concept has been demonstrated to be highly effective, leading ...

[Full version]

[Full version]

Subspace codes and distributed storage codes.

Netanel Raviv

Sunday, 15.5.2016, 16:30

Taub 601

The interest in subspace codes has increased lately due to their application in error correction for random network coding. A subspace code is a collection of subspaces of a vector space under the subspace distance $d_s(U,V)=\dim U + \dim V-2\dim(U\cap V)$. In this dissertation we ...

[Full version]

[Full version]

Plug and Play Priors for Poisson Inverse Problems

Arie Rond

Sunday, 15.5.2016, 16:30

Taub 201

The Anscombe transform offers an approximate conversion of a Poisson random variable into unit-variance Gaussian one. This transform is important and appealing, as it is easy to compute, and becomes handy in various inverse problems with Poisson noise contamination. Solution to such problems can be ...

[Full version]

[Full version]

Coding Theory: Gabidulin Codes over Fields of Characteristic Zero and Their Applications

Sven Puchinger (Ulm University)

Sunday, 15.5.2016, 14:30

Taub 601

Gabidulin codes, originally defined over finite fields, are an important class of rank metric codes with various applications. Recently, their definition was generalized to certain fields of characteristic zero. This generalization led to new applications, such as novel constructions of space-time codes and methods for ...

[Full version]

[Full version]

Unsupervised Ensemble Learning

Boaz Nadler - COLLOQUIUM LECTURE

Tuesday, 10.5.2016, 14:30

Room 337-8 Taub Bld.

TODAY! The Finals - 2015-16 Amdocs Best Project Contest

Sunday, 8.5.2016, 14:30

CS Taub Build. Auditorium 2

You are invited to the final stage of the 2015-16 Amdocs Best Project Contest. The competing teams will present and talk about their projects. The event will take place on Sunday,May 8, 2015, 14:30-16:30, in Auditorium 2, CS Taub Building. You are all invited to ...

[Full version]

[Full version]

Coding Theory: Generalized Notion of Graph Capacity

Ofer Shayevitz (Tel Aviv University)

Sunday, 8.5.2016, 14:30

Taub 601

Motivated by the problem of zero-error communication over a broadcast channel, we introduce a new notion of graph capacity that generalizes the Shannon capacity of a graph. We derive upper and lower bounds on this quantity for arbitrary graphs, and provide a tighter upper bound ...

[Full version]

[Full version]

CGGC Seminar: Regularized Harmonic Map Flow: a Tool for Improvement of Maps between Shapes

Danielle Ezuz (CS, Technion)

Sunday, 8.5.2016, 13:30

Room 337-8 Taub Bld.

The problem of computing shape correspondence is a fundamental task in Computer Graphics. While recent methods produce semantically meaningful maps globally, the maps are distorted locally. The harmonic map heat flow is a tool for local minimization of the Dirichlet energy, that measures the smoothness ...

[Full version]

[Full version]

Secure Computation in Hostile Environments

Daniel Genkin

Sunday, 8.5.2016, 11:00

Taub 601

The ubiquitous nature of computer systems means that they often operate in hostile environments where they are subjected to various attacks by adversarial parties. The purpose of such attacks varies, ranging from simply corrupting the system's behaviour to a complete extraction of otherwise-unavailable secret information. ...

[Full version]

[Full version]

Pixel Club: Visual Perception through Hyper Graphs

Nikos Paragios (CentraleSupelec, Inria, University of Paris-Saclay)

Thursday, 5.5.2016, 11:30

Room 337-8 Taub Bld.

Computational vision, visual computing and biomedical image analysis have made tremendous progress of the past decade. This is mostly due the development of efficient learning and inference algorithms which allow better and richer modeling of visual perception tasks. Hyper-Graph representations are among the most prominent ...

[Full version]

[Full version]

Interpreting the Ratio Criterion for Matching SIFT Descriptors

Avraham Kaplan

Wednesday, 4.5.2016, 16:30

Taub 601

Matching keypoints by minimizing the Euclidean distance between their SIFT descriptors is an effective and extremely popular technique. Using the ratio between distances, as suggested by Lowe, is even more effective and leads to excellent matching accuracy. Probabilistic approaches that model the distribution of the ...

[Full version]

[Full version]

Algebraic RAM

Evgenya Pergament

Wednesday, 4.5.2016, 13:30

Taub 601

Due to the lack of computational power, many users don't perform the computation locally, rather outsource the computation to a remote server. This raises the problem of computational integrity. Using Probabilistically Checkable Proofs (PCP) the remote server can prove to the user (with high probability) ...

[Full version]

[Full version]

Theory Seminar: The Possibilities and Limitations of Private Prediction Markets

Rachel Cummings (California Institute of Technology)

Wednesday, 4.5.2016, 12:30

Taub 201

We consider the design of private prediction markets, financial markets designed to elicit predictions about uncertain events without revealing too much information about market participants' actions or beliefs. Our goal is to design market mechanisms in which participants' trades or wagers influence the market's behavior ...

[Full version]

[Full version]

ceClub: IoT-Enabled Community Care Provisioning for Sustainable Ageing-in-Place: A Singapore Example

Tan Hwee Pink (School of Information Systems, Singapore Management University)

Wednesday, 4.5.2016, 11:30

EE Meyer Building 861

In 2014, 12.4% of the population in Singapore were above 65 years of age and this is projected to increase to 19% by 2030. Among them, those living alone is likely to increase to 83,000 by 2030, up from 35,000 today. The ability to “age ...

[Full version]

[Full version]

Welfare Maximization via Posted Prices

Michal Feldman - COLLOQUIUM LECTURE

Tuesday, 3.5.2016, 14:30

Room 337-8 Taub Bld.

Pixel Club: Patch-Ordering as a regularization for Inverse Problems in Image Processing

Grisha Vaksman (Technion)

Tuesday, 3.5.2016, 12:30

EE Meyer Building 1061

In recent years much work has been devoted to the development of image processing algorithms using local patches. The main idea in this line of work is to impose a statistical prior on the patches of the desired image. An algorithm following this path extracts ...

[Full version]

[Full version]

Pixel Club: Point Registration via Efficient Convex Relaxation

Haggai Maron & Nadav Dym (Weizmann Institute of Science)

Tuesday, 3.5.2016, 11:30

EE Meyer Building 1061

We will discuss two related works:1) "Point Registration via Efficient Convex Relaxation" Point cloud registration is a fundamental task in computer graphics, and more specifically, in rigid and non-rigid shape matching. The rigid shape matching problem can be formulated as the problem of simultaneously aligning ...

[Full version]

[Full version]

CSpecial Talk: MST in Log-Star Rounds of Congested Clique

Merav Parter (MIT)

Tuesday, 3.5.2016, 10:30

Taub 301

We present a randomized algorithm that computes a Minimum Spanning Tree (MST) in O(log^* n) rounds, with high probability, in the Congested Clique model of distributed computing. In this model, the input is a graph on n nodes, initially each node knows only its incident ...

[Full version]

[Full version]

Coding Theory: Vector Network Coding Based on Subspace Codes Outperforms Scalar Linear Network Coding

Antonia Wachter-Zeh (CS, Technion)

Sunday, 1.5.2016, 14:30

Taub 601

This talk considers vector network coding based on rank-metric codes and subspace codes. Our main result is that vector network coding can significantly reduce the required field size compared to scalar linear network coding in the same multicast network. The achieved gap between the field ...

[Full version]

[Full version]

Startup Day and Recruitment at CS

Wednesday, 20.4.2016, 12:30

CS Taub Build. Auditorium 2

CS invites you to a STARTUP DAY and recruitment by the presenting firms: Augury, Bidalgo, Checkmarx, Jelly Button, Kaltura, Outbrain, Zerto and more. In addition, lectures will be given by the firms representatives and entrepreneurs . The event will take place on Wednesday, April 20, ...

[Full version]

[Full version]

Theory Seminar: Tokenized Blind Signatures from Quantum Money

Or Sattath (Hebrew University and MIT)

Wednesday, 20.4.2016, 12:30

Taub 201

Quantum money is a quantum state that can be easily verified but is hard to copy. I will start by reviewing Aaronson & Christiano's quantum money scheme. Then we'll extend their scheme to construct a tokenized blind signature scheme. A (standard) digital signature scheme uses ...

[Full version]

[Full version]

Applying theory to practice (and practice to theory)

Ronald Fagin - TCE Henry Taub Distinguished Visitor

Tuesday, 19.4.2016, 14:30

Room Auditorium 2 Taub Bld.

Pixel Club: On a Multi-Component Approach for Improved Compression and Enhancement of Medical Images

Shira Nemirovsky-Rotman (Technion)

Tuesday, 19.4.2016, 12:30

EE Meyer Building 1061

Many medical images are produced daily. Compression thus plays a major role in storage and transmission applications, while enhancement, such as image de-noising, is important for diagnosis purposes. Requirements could often be conflicting, however. In order to mitigate this limitation we suggest to decompose the ...

[Full version]

[Full version]

Pixel Club: On Chirp Excitation and Compressionfor Ultrasound Imaging

Dorin Danial (Technion)

Tuesday, 19.4.2016, 11:30

EE Meyer Building 1061

Although chirp-coded signals can theoretically improve the performance of ultrasound medical imaging, they are presently of limited use. Their main advantage is better power delivery without loss of axial resolution. Their drawback, however, is that the biological tissue distorts the ultrasound echo of the chirp, ...

[Full version]

[Full version]

Coding Theory: Codes and Card Tricks:Magic for Adversarial Crowds

Lele Wang (Tel Aviv University)

Sunday, 17.4.2016, 14:30

Taub 601

Rated by Ron Graham as a top-10 mathematical card trick of the 20th century, Diaconis’ mind reader is a magic trick that involves the interaction with five collaborative volunteers. Inspired by this magic, we perform in this talk a card trick that can tolerate bluffing ...

[Full version]

[Full version]

How to Use Bitcoin to Play Decentralized Poker

Iddo Bentov

Thursday, 14.4.2016, 13:00

Taub 601

We study a model of secure computation in which deviating parties are forced to pay monetary penalties, without relying on a trusted party to provide an ideal bank functionality. Our protocols work in a hybrid model where parties have access to claim-or-refund or multilock ideal ...

[Full version]

[Full version]

Theory Seminar: Constant-rate Coding for Multi-Party Interactive Communication is Impossible

Klim Efremenko

Wednesday, 13.4.2016, 12:30

Taub 201

In this talk, we will consider coding schemes for multi-party interactive communication over synchronous networks that suffer from stochastic noise, where each bit is independently flipped with probability ε. We analyze the minimal overhead that must be added by the coding scheme in order to ...

[Full version]

[Full version]

ceClub: Pricing Complexity

Noam Nisan (Hebrew University of Jerusalem)

Wednesday, 13.4.2016, 11:30

EE Meyer Building 861

As economic systems "move" to the Internet, they can become much more complex and this new complexity often becomes their defining characteristic. We will consider a very simple scenario of this form: a single seller that is selling multiple items to a single buyer. We ...

[Full version]

[Full version]

Mining causality to predict the future events

Kira Radinsky - COLLOQUIUM LECTURE

Tuesday, 12.4.2016, 14:30

Room 337-8 Taub Bld.

Pixel Club: In-Situ Multi-View Multi-Scattering Stochastic Tomography

Vadim Holodovsky (CS, Technion)

Tuesday, 12.4.2016, 11:30

EE Meyer Building 1061

To recover the three dimensional (3D) volumetric distribution of matter in an object, images of the object are captured from multiple directions and locations. Using these images, tomographic computations seek the distribution. In highly scattering media and constrained irradiance, tomography must explicitly account for off-axis ...

[Full version]

[Full version]

Coding Theory: Combinatorial Systematic Switch Codes

Hui Zhang (CS, Technion)

Sunday, 10.4.2016, 14:30

Taub 601

Multiport switches are commonly used as data processing and routing devices in computer networks. A network switch routes data packets between its multiple input and output ports. Packets from input ports are stored upon arrival in a switch fabric comprising multiple memory banks. This can ...

[Full version]

[Full version]

CGGC Seminar: Interacting with Personal Fabrication Machines

Stefanie Mueller (Human Computer Interaction Group, Hasso-Plattner-Institute, Germany)

Sunday, 10.4.2016, 13:30

Room 337-8 Taub Bld.

In anticipation of 3D printers reaching millions of users, I am investigating how to allow future users to interact with the new hardware. I present a series of interactive software+hardware systems that I created to answer this question. They are characterized by two main properties. ...

[Full version]

[Full version]

Leading in Technology

Wednesday, 6.4.2016, 16:30

CS Taub Build. Auditorium

You are invited to the event "Leading in Technology": "Presidents on the Edge". Special guests will be Prof. Rivka Carmi, President of Ben-Gurion University and Prof. Peretz Lavie, Technion President. Einav Galili will conduct a panel on "Initiatives - Leading in Technology" hosting entrepreneurs and ...

[Full version]

[Full version]

From Secure Computation to Zero-Knowledge Probabilistic Checking and Back Again

Mor Weiss

Wednesday, 6.4.2016, 12:30

Taub 201

In the past few decades, probabilistic checking techniques were shown to yield dramatic efficiency improvements in verifying proofs and approximating distance from error-correcting codes. We show connections between cryptography and ``zero-knowledge'' variants of these techniques, such as Probabilistically Checkable Proofs (PCPs) and PCPs of Proximity ...

[Full version]

[Full version]

ceClub: Near Optimal Placement of Virtual Network Functions

Seffi Naor (CS, Technion)

Wednesday, 6.4.2016, 11:30

Taub 401

Network Function Virtualization (NFV) is a new networking paradigm where network functions are executed on commodity servers located in small cloud nodes distributed across the network, and where software defined mechanisms are used to control the network flows. This paradigm is a major turning point ...

[Full version]

[Full version]

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

Wednesday, 6.4.2016, 10:30

Room 337-8 Taub Bld.

The 2016 open day invite outstanding undergraduates from all universities to come to the Technion and learn about the faculties of Computer Science and Electrical Engineering, meet faculty and graduate students and hear a fascinating talk by Dr. Yoelle Maarek, VP Research for EMEA at ...

[Full version]

[Full version]

Designing Communication Receivers Using Machine Learning Techniques

Brian M. Kurkoski - COLLOQUIUM LECTURE

Tuesday, 5.4.2016, 14:30

Room 337-8 Taub Bld.

Workshop and Inauguration of the Technion Cyber Security Research Center

Tuesday, 5.4.2016, 13:30

CS Taub Build. Auditorium 1

You are invited to a workshop and inauguration event of the Technion Cyber Security Research Center, in the presence of Prof. Peretz Lavie, Technion President and Dr. Evyatar Matanya, head of the National Cyber Bureau. The event will be held on Tuesday, April 5th, 2016, ...

[Full version]

[Full version]

Pixel Club: Blind Dehazing Using Internal Patch Recurrence

Yuval Bahat (Weizmann Institute of Science)

Tuesday, 5.4.2016, 11:30

EE Meyer Building 1061

Images of outdoor scenes are often degraded by haze, fog and other scattering phenomena. In this work we show how such images can be dehazed using internal patch recurrence. Small image patches tend to repeat abundantly inside a natural image, both within the same scale, ...

[Full version]

[Full version]

Automated Program Repair

Batchen Rothenberg

Monday, 4.4.2016, 15:30

Taub 401

This work presents a novel approach for automatically repairing a program with respect to a given set of assertions. Programs are repaired using a predefined set of mutations. We impose no assumptions on the number of erroneous locations in the program, yet we are able ...

[Full version]

[Full version]

Women and Students in Technology Meeting

Wednesday, 30.3.2016, 17:00

Taub 3

You are invited to a Women and Students in Technology Meeting by Microsoft. The event is held to mark The International Women's Day and will be conducted by executives and senior position representatives, including a professional panel on Career Management. More details and pre-registration.

[Full version]

[Full version]

Your phone can and should do all the image/video processing and machine learning you need: Video Enhancement and Face Recognition

Prof. Guillermo Sapiro - DISTINGUISHED POLLAK LECTURE SERIES

Wednesday, 30.3.2016, 14:30

Room 337-8 Taub Bld.

Theory Seminar: Toward the KRW conjecture:Cubic Lower Boundsvia Communication Complexity

Or Meir (Haifa University)

Wednesday, 30.3.2016, 12:30

Taub 201

One of the major challenges of the research in circuit complexity is proving super-polynomial lower bounds for de-Morgan formulas. Karchmer, Raz, and Wigderson suggested to approach this problem by proving that formula complexity behaves “as expected” with respect to the composition of functions. They showed ...

[Full version]

[Full version]

ceClub: TinyLFU: A Highly Efficient Cache Admission Policy

Roy Friedman (CS, Technion)

Wednesday, 30.3.2016, 11:30

Taub 401

In this talk, I introduce a frequency based cache admission policy in order to boost the effectiveness of caches subject to skewed access distributions. Given a newly accessed item and an eviction candidate from the cache, our scheme decides, based on the recent access history, ...

[Full version]

[Full version]

CGGC Seminar: e-NABLE: A Global Network of DigitalHumanitarians built on an infrastructureof electronic communications, 3D printing and good will

Jon Schull (Enable Community Foundation)

Wednesday, 30.3.2016, 11:00

Room 337-8 Taub Bld.

e-NABLE is an online community that designs, customizes, fabricates, and disseminates 3D-printed prosthetic hands and arms for free. E-NABLE extends the methods and philosophies of Open Source software to hardware, assistive technology development, and human resources. I'll tell the story of this remarkable community, and ...

[Full version]

[Full version]

Pixel Club: Bi-level Optimization with Application to Rank Pooling for Activity Recognition

Stephen Gould (Australian National University)

Tuesday, 29.3.2016, 14:30

EE Meyer Building 1061

In this talk I will first give a brief overview of the topic of bi-level mathematical programming, in which the solution of an inner optimization problem is used within the objective function of a outer problem. These problems were originally studied in the context of ...

[Full version]

[Full version]

Pixel Club: Learning Ordinal Relationships for Mid-Level Vision

Daniel Zoran (Google DeepMind)

Tuesday, 29.3.2016, 11:30

EE Meyer Building 1061

We propose a framework which infers mid-level visual properties of an image by learning about ordinal relationships. Instead of estimating metric quantities directly, the system proposes ordinal relationship estimates for pairs of points in the input image. These probabilistic ordinal measurements are then aggregated and ...

[Full version]

[Full version]

Your phone can and should do all the image/video processing and machine learning you need: Child Development Screening for Everybody

Prof. Guillermo Sapiro - DISTINGUISHED POLLAK LECTURE SERIES

Monday, 28.3.2016, 14:30

Room Auditorium 2 Taub Bld.

Lightweight Crypto Day

Monday, 28.3.2016, 09:00

EE Meyer Building 1003

TCE in Collaboration with Caesarea Rothschild Institute will hold a Lightweight Crypto Day. Lightweight cryptography is an emerging field of research trying to address low-end devices that need security such as RFID tags or devices connected to Internet of Things (IoT). As known security solutions ...

[Full version]

[Full version]

Amdocs Seminar on "Network Virtualization"

Sunday, 27.3.2016, 16:30

Taub 3

You are invited to a seminar on "Network Virtualization" held by Amdocs on Sunday, March 27 at 16:30, in class 3, CS Taub Building. Detailed agenda in the attached poster and pre-registration.

[Full version]

[Full version]

Coding Theory: The Analysis of Hard-Decision Multi-Threshold Decoding of Non-Binary LDPC Codes

Alexey Frolov (Institute for Information Transmission Problems}

Sunday, 27.3.2016, 14:30

Taub 601

Non-binary low-density parity-check (LDPC) codes significantly outperform their binary counterparts. Moreover, non-binary LDPC codes are especially good for the channels with burst errors and high-order modulations. Unfortunately, their decoding complexity is still large, that is why iterative hard and soft-reliability based decoding majority algorithms are ...

[Full version]

[Full version]

On body and Out of body Interactions

Jessica Cauchard - CS-Lecture -

Sunday, 27.3.2016, 14:30

Room 601 Taub Bld.

Theory Seminar: A fast Distributed2+epsilon Approximationfor Weighted Vertex Cover

Gregory Schwartzman (CS, Technion)

Wednesday, 23.3.2016, 12:30

Taub 201

The field of distributed graph algorithms deals with solving graph problems in a network (graph) of independent agents while minimizing the amount of communication between nodes. One such fundamental problem is weighted vertex cover. We show a fast distributed (2+epsilon)-approximation algorithm using the local ratio ...

[Full version]

[Full version]

Intel@Technion Lectures: High speed I/O ports for Client Compute devices

Shahaf Kieselstein (Intel)

Wednesday, 23.3.2016, 11:30

Room 337-8 Taub Bld.

The high speed I/O market in client platforms is going through major changes in the last few years, with latest silicon process that enable high bit rate on the wire while using low power to drive those bits. Where are those trends leading ? what ...

[Full version]

[Full version]

Pixel Club: Stretchable Non-rigid Structures Abstract

Dan Raviv (MIT)

Tuesday, 22.3.2016, 11:30

EE Meyer Building 1061

Geometrical understanding of bendable and stretchable structures is crucial for many applications where comparison, inference and reconstruction play an important role. Moreover, it is the first step in quantifying normal and abnormal phenomena in non-rigid domains. Moving from Euclidean (straight) distances towards intrinsic (geodesic) measures, ...

[Full version]

[Full version]

Coding Theory: Reed-Muller Codes for Random Erasures and Errors

Amir Shpilka (Tel-Aviv University)

Sunday, 20.3.2016, 14:30

Taub 601

Reed-Muller codes encode an m-variate polynomial of degree r by evaluating it on all points in {0,1}^m. Its distance is 2^{m-r} and so it cannot correct more than that many errors/erasures in the worst case. For random errors one may hope for a better result. ...

[Full version]

[Full version]

CS Spring Hakton 2016

Wednesday, 16.3.2016, 14:00

CS Taub

The Department of Computer Science and WomenTechPro invite you and you open the annual Spring Hakton HackPRO! where? Computer Science Department, Technion. when? Wednesday-Thursday-Friday in the first week of the spring semester, 16-18 March 2016 Think wearable technology! The Intel Edison is a tiny computer ...

[Full version]

[Full version]

Theory Seminar: Fast Submodular Maximization

Roy Schwartz (CS, Technion)

Wednesday, 16.3.2016, 12:30

Taub 201

Submodular maximization captures both classical problems in combinatorial optimization and recent more practical applications that arise in other disciplines, e.g., machine learning and data mining. Typically, the size of the inputs in these applications is very large. Hence, it is interesting to devise algorithms that ...

[Full version]

[Full version]

TCE Guest Lecture: Technology Considerations in Computer Architecture

Jean-Luc Gaudiot (University of California)

Wednesday, 16.3.2016, 11:30

Taub 401

Good engineering practice uses the characteristics of existing technologies to optimize implementation. Often, this will mean that design techniques optimal in a previous generation prove impractical or even unusable when a new technology becomes dominant. This rule is all too often forgotten, which we will ...

[Full version]

[Full version]

Sex and the causes of mutation: work at the interface of evolutionary biology and theoretical computer science

Adi Livnat - COLLOQUIUM LECTURE

Tuesday, 15.3.2016, 14:30

Room 337-8 Taub Bld.

Coding Theory: Burst-erasure Correcting Codes with Optimal Average Delay

Nitzan Adler (Technion)

Sunday, 13.3.2016, 14:30

Taub 601

The objective of low-delay codes is to protect communication streams from erasure bursts by minimizing the time between the packet erasure and its reconstruction. Previous work has concentrated on the constant-delay scenario, where all erased packets need to exhibit the same decoding delay. We consider ...

[Full version]

[Full version]

Multi Scale Dictionary Learning for Sparse Representation of Images

Boaz Ophir

Wednesday, 9.3.2016, 14:30

Taub 601

The main topic of our research is creating a multi-scale dictionary learning paradigm for sparse and redundant signal and image representations. The appeal of a multi-scale dictionary is obvious - in many cases data naturally comes at different scales. To date, popular dictionary based approaches ...

[Full version]

[Full version]

The List Update Problem

Erez Timnat

Wednesday, 9.3.2016, 12:30

Taub 601

In this work, we consider the list update problem as defined in the seminal work on competitive analysis by [Sleator, Tarjan 85]. In this problem, a sequence of requests, consisting of items to access in a linked list, is given. After an item is accessed ...

[Full version]

[Full version]

Intel@Technion Lectures: nabling Breakthroughs in Parkinson’s Disease with Wearables and Big Data Analytics

Shahar Cohen (Intel)

Wednesday, 9.3.2016, 11:30

Room 337-8 Taub Bld.

Parkinson’s Disease (PD) is a progressive, degenerative disorder of the central nervous system. It is characterized by significant motor symptom, such as: tremor, slowness of movement, and gait deficiencies; but also entails non-motor symptoms, such as: depression, cognitive slowness and sleep difficulties. Intel Corporation is ...

[Full version]

[Full version]

Technology and the Future of Work and Money

Seth Goldstein - COLLOQUIUM LECTURE

Tuesday, 8.3.2016, 14:30

Room 337-8 Taub Bld.

Internal and external privacy in a distributed setting

Gal Maor

Wednesday, 2.3.2016, 14:30

Taub 601

In this work, we analyze privacy in a distributed setting, where privacy is measured in an information theoretic way (i.e. no cryptographic assumptions). The three complexity measures we analyze are (1) internal information, which measures the counter-party privacy-loss inherent in a communication protocol, (2) output ...

[Full version]

[Full version]

CGGC Seminar: Optimal Transportation for Practical Geometric Problems

Justin Solomon (lEE & CS,, MIT)

Wednesday, 2.3.2016, 10:30

Taub 401

Optimal transportation (OT) has gained considerable popularity as a tool for relating signals defined over geometric domains. Despite recent progress developing generic machinery for understanding and optimizing OT problems, considerable effort is still required to transition OT from a theoretical challenge to a practical tool ...

[Full version]

[Full version]

Pixel Club: Patch-Ordering as a Regularization for Inverse Problems in Image Processing

Grisha Vaksman (Technion) - CANCELLED!

Tuesday, 1.3.2016, 12:30

חדר 337, בניין טאוב למדעי המחשב

In recent years much work has been devoted to the development of image processing algorithms using local patches. The main idea in this line of work is to impose a statistical prior on the patches of the desired image. An algorithm following this path extracts ...

[Full version]

[Full version]

Pixel Club: Linearized Kernel Dictionary Learning

Alona Zadneprovski (Technion)

Tuesday, 1.3.2016, 11:30

חדר 337, בניין טאוב למדעי המחשב

In this work we present a new approach of incorporating kernels into dictionary learning. The kernel K-SVD algorithm (KKSVD), which has been introduced recently, shows an improvement in classification performance, with relation to its linear counterpart K-SVD. However, this algorithm requires the storage and handling ...

[Full version]

[Full version]

Pixel Club: In-Situ Multi-View Multi-Scattering Stochastic Tomography

Vadim Holodovsky (EE, Technion)

Tuesday, 1.3.2016, 11:30

EE Meyer Building 1061

To recover the three dimensional (3D) volumetric distribution of matter in an object, images of the object are captured from multiple directions and locations. Using these images, tomographic computations seek the distribution. In highly scattering media and constrained irradiance, tomography must explicitly account for off-axis ...

[Full version]

[Full version]

A Language Approach to Language Preprocessing

Iddo Zmiry

Wednesday, 24.2.2016, 13:30

Taub 601

The C preprocessor (cpp) is probably the most familiar macro preprocessor. However, it lacks the expressibility of general purpose programming languages. We propose a language approach to preprocessing, based on writing code in a high-level programming language. Our intent is to make it easy to ...

[Full version]

[Full version]

Automatic generation of Java fluent APIs from BNF specifications

Tomer Levy

Wednesday, 24.2.2016, 12:30

Taub 601

Fluent APIs increasingly gain popularity and research interest. It allows an API designer to enforce correct usage of the API by type-safety. Although many people design new fluent APIs manually, the question of automating the process remained unanswered yet. In this work, we explain why ...

[Full version]

[Full version]

CGGC Mini-Symposium

Monday, 22.2.2016, 10:00

Room 337-8 Taub Bld.

Time: 10:00-10:45 Speaker: Prof Myung Soo Kim (Computer Science and Engineering Department, Seoul National University, Korea) Title: Efficient Voronoi Diagram Construction for Planar Freeform Spiral Curves Abstract: We present a real-time algorithm for computing the Voronoi diagram of planar freeform piecewise-spiral curves. The efficiency and ...

[Full version]

[Full version]

Pixel Club: From Pixels to Brain Networks: Modeling Brain Connectivity and Its Changes in Disease

Polina Golland (CSAIL MIT)

Monday, 15.2.2016, 11:30

Taub 201

We propose a novel probabilistic framework to model connectivity patterns in the brain as a latent network graph. In particular, we model the interaction between latent anatomical and functional connectivity and present an intuitive extension to population studies. The method simultaneously infers the templates of ...

[Full version]

[Full version]

Enhanced Human: Wearable computing that transforms how we perceive and interact with our world

Jeremy Cooperstock - COLLOQUIUM LECTURE

Thursday, 11.2.2016, 14:30

Room 337-8 Taub Bld.

Intel@Technion Lectures: On the Way to Visual Understanding

Gershom Kutliroff (Intel)

Wednesday, 10.2.2016, 11:30

Room 337-8 Taub Bld.

n the past several years, the field of computer vision has chalked up significant achievements, fueled by new algorithms (such as deep neural networks), new hardware (such as consumer 3D cameras) and new available processing (such as GPU’s). When we consider the problems that tomorrow’s ...

[Full version]

[Full version]

Pixel Club: From representation to inference:Respecting and Exploiting Mathematical Structuresin Computer Vision and Machine Learning

Oren Freifeld (CSAIL MIT)

Tuesday, 2.2.2016, 11:30

EE Meyer Building 1061

Stochastic analysis of real-world signals consists of 3 main parts: mathematical representation; probabilistic modeling; statistical inference. For it to be effective, we need mathematically-principled and practical computational tools that take into consideration not only each of these components by itself but also their interplay. This ...

[Full version]

[Full version]

Intel@Technion Lectures: Cloud Computing – The Beginning Or The End?

Nava Levy (Intel)

Wednesday, 27.1.2016, 11:30

EE Meyer Building 1061

Cloud Computing is considered to be one of the most important paradigm shifts of this century. In this presentation we will explain what cloud computing is all about, review the key drivers and inhibitors of cloud and what is fueling its exponential growth. We will ...

[Full version]

[Full version]

Pixel Club: Large Scale Feature Selection for Visual Representation Learning

Aharon Bar Hillel (Microsoft Research)

Tuesday, 26.1.2016, 11:30

EE Meyer Building 1061

Training accurate visual classifiers from large data sets critically depend on learning the right representation for the problem. In this talk, I will discuss a representation learning framework based on an iterative interaction of two components: a feature generator suggesting candidate features, and a feature ...

[Full version]

[Full version]

TODAY! - Winter 2016 Application Fair

Wednesday, 20.1.2016, 14:30

Room 337-8 Taub Bld.

CS students in the course "Project in Advanced Programming" invite you to an android applications fair on Wednesday, January 20, 2016, between 14:15-16:30, in room 337 (3rd floor) of CS Taub Building. The fair will exhibit new android applications designed to facilitate life in all ...

[Full version]

[Full version]

Theory Seminar:Quasi-Linear Size Zero Knowledge from Linear-Algebraic PCPs

Ariel Gabizon (CS, Technion)

Wednesday, 20.1.2016, 12:30

Taub 201

A probabilistically checkable proof (PCP) enables checking, for example, the satisfiability of a 3-SAT boolean formula phi, while only examining a constant number of randomly chosen symbols of the proof. Suppose an assignment to phi has length n. A long line of research led to ...

[Full version]

[Full version]

ceClub: The Fascinating Structure of Planar Graphs

Oren Weimann (Haifa University)

Wednesday, 20.1.2016, 11:30

Taub 401

Graph optimization problems are the most studied problems in theoretical computer science. These problems are not only mathematically intriguing. They have a crucial impact on our increasingly-computerized environment. Among the tractable optimization problems, the most fundamental are shortest paths, maximum flow, minimum cut, maximum matching, ...

[Full version]

[Full version]

Adversarial Robotics: Robotic Strategic Behavior in Adversarial Environments

Noa Agmon - COLLOQUIUM LECTURE

Tuesday, 19.1.2016, 14:30

Room 337-8 Taub Bld.

Pixel Club: The Spatial Order of Features as a Geometric Model

Lior Talker (Haifa University)

Tuesday, 19.1.2016, 11:30

EE Meyer Building 1061

Correctly matching feature points across images is an important preprocessing step for many computer vision applications (specifically such that require geometric reasoning). Once an initial set of putative matches is obtained, the common methods to detect the correct matches, e.g., RANSAC, use a parametric model ...

[Full version]

[Full version]

Winter 2016 Arduino Fair at CS

Sunday, 17.1.2016, 13:30

Room 337-8 Taub Bld.

CS students in the course "Project in Advanced Programming" invite you to the Winter 2016 Arduino project fair on Sunday, January 17 2016, between 13 00-16.30, in room 337 (3rd floor) of CS Taub Building. The fair will exhibit new Arduino pojects designed to facilitate ...

[Full version]

[Full version]

Scalable Machine Learning for structured high-dimensional outputs

Ofer Meshi - CS-Lecture - Note unusual day

Wednesday, 13.1.2016, 14:30

Room 337-8 Taub Bld.

Theory Seminar:The Periodic Joint Replenishment Problem is Strongly NP-Hard

Tamar Cohen (MIT)

Wednesday, 13.1.2016, 12:30

Taub 201

In this research we study the long-standing open question regarding the computational complexity of one of the core problems in supply chains management, the periodic joint replenishment problem. This problem has received a lot of attention over the years and many heuristic and approximation algorithms ...

[Full version]

[Full version]

ceClub: Network Measurement in the World of Crowd-Sourcing

Scott Kirkpatrick (HUJI)

Wednesday, 13.1.2016, 11:30

Room 337-8 Taub Bld.

Traditionally, network measurement takes a small-data approach. Data is expensive, must be gathered unobtrusively, validated carefully, and used to address sharply-defined problems, if we are to obtain reliable answers. The undeniable existence of BigData in and around telephone and data networks (which have merged years ...

[Full version]

[Full version]

The probabilistic method meets the game of Go

Graham Farr - COLLOQUIUM LECTURE

Tuesday, 12.1.2016, 14:30

Room 337-8 Taub Bld.

Pixel Club: A General Preprocessing Method for Improved Performance of Epipolar Geometry Estimation Algorithms

Maria Kushnir (Haifa University)

Tuesday, 12.1.2016, 11:30

EE Meyer Building 1061

A deterministic preprocessing algorithm, especially designed to deal with repeated structures and wide baseline image pairs, is presented. It generates putative matches and their probabilities. They are then given as input to state-of-the-art epipolar geometry estimation algorithms, improving their results considerably, succeeding on hard cases ...

[Full version]

[Full version]

TCE Guest Lecture (Part II): Creative Teams

Rob Cook (Pixar)

Monday, 11.1.2016, 18:30

CS Taub Build. Auditorium 2

Making a Pixar movie involves a team of hundreds of people from widely different disciplines using a lot of sophisticated technology. The scale and complexity of the process make it challenging to create a cohesive story that audiences find moving. This talk looks at how ...

[Full version]

[Full version]

TCE Guest Lecture (Part I): Cartoon Physics

Rob Cook (Pixar)

Monday, 11.1.2016, 11:30

CS Taub Build. Auditorium 2

Pixar’s animated films are created using computer graphics, so the characters are constructed and animated in a virtual 3D world. Manipulating that world involves using physics and math for everything from sculpting the shapes of objects to animating the characters to lighting the scenes to ...

[Full version]

[Full version]

Beyond Conditional Lower Bounds: Overcoming the Square Root Phenomenon in Theory and Practice.

Tsvi Kopelowitz - CS-Lecture

Thursday, 7.1.2016, 14:30

Room 337-8 Taub Bld.

Algorithms for Combinatorial Reoptimization

Gal Tamir

Wednesday, 6.1.2016, 15:30

Taub 601

Traditional combinatorial optimization problems require finding solutions for a single problem instance. However, many real-life applications involve systems that change dynamically over time. Thus, throughout the continuous operation of such a system, it is required to compute solutions for new problem instances, derived from previous ...

[Full version]

[Full version]

The Role of Interaction in Economics and Parallel Computation

Omri Weinstein - CS-Lecture - Note unusual day

Wednesday, 6.1.2016, 14:30

Room 337-8 Taub Bld.

Automated Circular Assume-Guarantee Reasoning

Karam Abdelkader

Wednesday, 6.1.2016, 12:30

in Taub 601

Compositional verification techniques aim to decompose the verification of a large system into the more manageable verification of its components. In recent years, compositional techniques have gained significant successes following a breakthrough in the ability to automate assume-guarantee reasoning. However, automation is still restricted to ...

[Full version]

[Full version]

Theory Seminar: Robust Entanglement Systems

Lior Eldar (MIT)

Wednesday, 6.1.2016, 12:30

Taub 201

The folklore on quantum entanglement is that it is a fragile phenomenon and physically very hard to maintain. In quantum complexity theory this raises the possibility that there is no analog of the classical hardness-of-approximation in the quantum setting, namely a quantum analog of the ...

[Full version]

[Full version]

Intel@Technion Lectures: AVX-512: New Opportunities and Challenges for Compilers and Programmers

Ayal Zaks (Intel)

Wednesday, 6.1.2016, 11:30

Room 337-8 Taub Bld.

The next generation of Intel’s multicore and many-core product lines will use AVX-512, the biggest extension to Intel Instruction Set Architecture (ISA). This extension will provide new HW capabilities, yet poses a critical challenge for SW – how can modern compilers and programmers make efficient ...

[Full version]

[Full version]

Crowd-Powered Data Management

Tova Milo - COLLOQUIUM LECTURE

Tuesday, 5.1.2016, 14:30

Room 337-8 Taub Bld.

Pixel Club: On the Stability of Deep Networks and its Relationship with Compressed Sensing and Metric Learning

Raja Giryes( Tel-Aviv University)

Tuesday, 5.1.2016, 11:30

EE Meyer Building 1061

This lecture will address the fundamental question: What are deep neural networks doing to metrics in the data? We know that two important properties of a classification machinery are: (i) the system preserves the important information of the input data; (ii) the training examples convey ...

[Full version]

[Full version]

Pixel Club: Blind Signal Processing: Sparse Signal Reconstruction in Bilinear Inverse Problems

Yoram Bresler (Urbana-Champaign)

Monday, 4.1.2016, 14:30

Room 337-8 Taub Bld.

While the solution of linear inverse problems (BIPs) under both classical signal models and modern sparsity models has been studied extensively and is well understood, relatively little is known about the solution of bilinear inverse problems. In signal processing, these problems arise in so-called blind ...

[Full version]

[Full version]

Improving Parallel Programs with Architectural Insights

Adam Morrison - CS-Lecture

Sunday, 3.1.2016, 14:30

Room 337-8 Taub Bld.