CS Department Events and Talks

  • Mixed Integer Programming Accelerator

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

    Speaker:
    Igor Zarivach
    Date:
    Wednesday, 28.12.2016, 13:30
    Place:
    Taub 601

    [Full version]

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

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

    Speaker:
    Ilya Volkovic (University of Michigan)
    Date:
    Wednesday, 28.12.2016, 12:30
    Place:
    Taub 201

    [Full version]

  • ceClub: Secure Computation in Hostile Environments

    Computer systems are everywhere, often controlling critical processes and containing sensitive secret information. However, the ubiquitous nature of computer systems also means that such ...

    Speaker:
    Daniel Genkin (Post Doc Fellow - University of Pennsylvania and University of Maryland)
    Date:
    Wednesday, 28.12.2016, 11:30
    Place:
    EE Meyer Building 861

    [Full version]

  • Requirements for Tools for Hairy Requirements or Software Engineering Tasks

    Speaker:
    Daniel M. Berry - COLLOQUIUM LECTURE
    Date:
    Tuesday, 27.12.2016, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • ceClub: Temporal Planning - Towards Highly Utilized Clouds

    Existing resource management frameworks for large scale cloud systems leave unresolved the problematic tension between high resource utilization and job's performance predictability - respectively ...

    Speaker:
    Ishai Menache (Microsoft Research, Redmond)
    Date:
    Tuesday, 27.12.2016, 11:30
    Place:
    Taub 301

    [Full version]

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

    TODAY! A Workshop in Honor of Prof. Johann Makowsky’s RetirementCS will hold a symposium honoring Prof. Johann Makowsky’s retirement on: Logic in Computer Science and Combinatorics On the agenda greetings by CS Dean ...

    Date:
    Sunday, 25.12.2016, 13:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

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

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

    Speaker:
    Moshe Y. Vardi (Rice University)
    Date:
    Sunday, 25.12.2016, 13:30
    Place:
    Room 337 Taub Bld.

    [Full version]

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

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

    Speaker:
    Ori Lahav
    Date:
    Sunday, 25.12.2016, 10:30
    Place:
    Room 601 Taub Bld.

    [Full version]

  • On Simulation, Verification and Monitoring of Cyber-Physical Systems

    In this talk I will present some of the research I have been involved in concerning the specification and monitoring of timed, continuous and ...

    Speaker:
    Oded Maler - Special Guest Lecture
    Date:
    Thursday, 22.12.2016, 14:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Recent advances in randomness extractors and their applications

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

    Speaker:
    Gil Cohen - CS-Lecture -
    Date:
    Thursday, 22.12.2016, 10:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Theory Seminar: Low Contention Nested Parallelism using Dynamic SNZI

    The study and design of concurrent data structures has mostly focused on verifying their correctness and proving general progress guarantees. In contrast, very little ...

    Speaker:
    Naama Ben-David (Carnegie Mellon University)
    Date:
    Wednesday, 21.12.2016, 12:30
    Place:
    Taub 201

    [Full version]

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

    Challenges in simulation, optimization and control of natural gas transmission systems and their coupling to power transmission systems are reviewed in this presentation describing ...

    Speaker:
    Michael Chertkov (Los Alamos National Lab (LANL)
    Date:
    Wednesday, 21.12.2016, 11:30
    Place:
    EE Meyer Building 861

    [Full version]

  • Pixel Club: Accelerated Quadratic Proxy for Geometric Optimization

    We present the Accelerated Quadratic Proxy (AQP) - a simple first order algorithm for the optimization of geometric energies defined over triangular and tetrahedral ...

    Speaker:
    Meirav Galun (Weizmann Institute of Science)
    Date:
    Tuesday, 20.12.2016, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Coding Theory: Semiconstrained Systems

    When transmitting information over a noisy channel, two approaches are common: assuming the channel errors are independent of the transmitted content and devising an ...

    Speaker:
    Ohad Elishco (Ben-Gurion University)
    Date:
    Sunday, 18.12.2016, 14:30
    Place:
    Taub 601

    [Full version]

  • Cloud resource provisioning for social notifications at mass scale

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

    Speaker:
    Roman Vitenberg - COLLOQUIUM LECTURE
    Date:
    Thursday, 15.12.2016, 14:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Linear and Generalized Linear Mixed Models for Genetic Case Control Studies

    In recent years, genetic studies have revolutionized our understanding of common diseases like diabetes and cancer. However, the analysis of genetic studies of disease ...

    Speaker:
    Omer Weissbrod
    Date:
    Wednesday, 14.12.2016, 13:00
    Place:
    Taub 601

    [Full version]

  • FACEBOOK TECH TALK at CS

    FACEBOOK TECH TALK at CS 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 ...

    Date:
    Wednesday, 14.12.2016, 12:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Theory Seminar: Cohomology for Computer Science

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

    Speaker:
    Alex Lubotzky (Hebrew University of Jerusalem)
    Date:
    Wednesday, 14.12.2016, 12:30
    Place:
    Taub 201

    [Full version]

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

    Reliable performance evaluations require representative workloads. This has led to the use of accounting logs from production systems as a source for workload data ...

    Speaker:
    Dror Feitelson (Hebrew University of Jerusalem)
    Date:
    Wednesday, 14.12.2016, 11:30
    Place:
    Taub 401

    [Full version]

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

    Capsule Endoscopy for the Colon is an emerging market with the potential to become a screening tool for detecting colorectal cancer. The patient swallows ...

    Speaker:
    Dori Peleg​ (​Medtronic)
    Date:
    Tuesday, 13.12.2016, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Pixel Club: Arranging & Improving Photos

    There are *many* photos in the world. An average user might have thousands of photos in their personal photo collection. We have reached a ...

    Speaker:
    Ohad Fried (Princeton)
    Date:
    Sunday, 11.12.2016, 14:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • CGGC Seminar: OpenMP - In Practice

    OpenMP is an API for writing multithreaded, shared memory parallelism, it consists of a set of compiler directives none intrusive to the original serial ...

    Speaker:
    Boaz Sternfeld (CS, Technion)
    Date:
    Sunday, 11.12.2016, 13:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Finding Security Vulnerabilities in Network Protocols Using Methods of Formal Verification

    The Internet infrastructure relies almost entirely on network protocols that are based on open standards. However, the majority of network devices on the Internet, ...

    Speaker:
    Adi Sosnovich
    Date:
    Wednesday, 7.12.2016, 15:30
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: Online Matching: Haste Makes Waste!

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

    Speaker:
    Yuval Emek (IE, Technion)
    Date:
    Wednesday, 7.12.2016, 12:30
    Place:
    Taub 201

    [Full version]

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

    Network Function Virtualization (NFV) is a novel paradigm that enables flexible and scalable implementation of network services on cloud infrastructure, while Network Survivability is ...

    Speaker:
    Jose Yallouz (​EE,​Technion & Intel)
    Date:
    Wednesday, 7.12.2016, 11:30
    Place:
    EE Meyer Building 861

    [Full version]

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

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

    Speaker:
    Vardan Papyan​ (CS, Technion)
    Date:
    Tuesday, 6.12.2016, 11:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Market Driven Queuing

    Network providers must dynamically allocate scarce physical resources among their clients to maximize benefit. Network pricing is one way for providers to maximize client ...

    Speaker:
    Boris Pismenny
    Date:
    Monday, 5.12.2016, 15:30
    Place:
    Taub 301

    [Full version]

  • Coding Theory: Cyclic Subspace Codes from Sidon Sets

    The interest in subspace codes has increased recently due to their application in error correction for random network coding. In order to study their ...

    Speaker:
    Netanel Raviv (CS, Technion)
    Date:
    Sunday, 4.12.2016, 14:30
    Place:
    Taub 601

    [Full version]

  • Comparing evolutionary distances via adaptive distance functions

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

    Speaker:
    Yanir Damty
    Date:
    Wednesday, 30.11.2016, 14:30
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: Pseudorandomness when the Odds are Against You

    A celebrated result by Impagliazzo and Wigderson is that under complexity theoretic hardness assumptions, every randomized algorithm can be transformed into one that uses ...

    Speaker:
    Ronen Shaltiel (Haifa University)
    Date:
    Wednesday, 30.11.2016, 12:30
    Place:
    Taub 201

    [Full version]

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

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

    Speaker:
    Aviad Zuck (CS, Technion)
    Date:
    Wednesday, 30.11.2016, 11:30
    Place:
    Taub 401

    [Full version]

  • From Reachability to Temporal Specifications in Game Theory

    Speaker:
    Orna Kupferman - COLLOQUIUM LECTURE
    Date:
    Tuesday, 29.11.2016, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

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

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

    Speaker:
    Boaz Arad (Ben-Gurion University)
    Date:
    Tuesday, 29.11.2016, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Faster Projection-free Machine Learning and Optimization

    Projected gradient descent (PGD), and its close variants, are often considered the methods of choice for solving a large variety of machine learning optimization ...

    Speaker:
    Dan Garber - CS-Lecture -
    Date:
    Monday, 28.11.2016, 10:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Google TECH TALK at CS

    Google TECH TALK at CSGoogle's Cloud & Networking group will visit CS and will give a Tech Talk presenting ithe technical highlights and challenges of building a project ...

    Date:
    Sunday, 27.11.2016, 17:00
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club: Statistical Non-Rigid Shape Correspondence ​

    Many algorithms for the computation of correspondences​ ​between deformable shapes rely on some variant of​ ​nearest neighbor matching in a descriptor space. Such are,​ ...

    Speaker:
    Emanuele Rodolà​​ (USI Lugano )
    Date:
    Sunday, 27.11.2016, 11:00
    Place:
    Room 337 Taub Bld.

    [Full version]

  • From Programming Languages to Programming Systems - Software Development by Refinement

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

    Speaker:
    Shachar Itzhaky - CS-Lecture -
    Date:
    Thursday, 24.11.2016, 10:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Theory Seminar: New Hardness Results for Routing on Disjoint Paths

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

    Speaker:
    Julia Chuzhoy (University of Chicago)
    Date:
    Wednesday, 23.11.2016, 12:30
    Place:
    Taub 201

    [Full version]

  • Intel Technion Executive Seminar: From Small Firms to World Giants

    Intel Technion Executive Seminar: From Small Firms to World GiantsPlease see details in the Hebrew page.

    Date:
    Wednesday, 23.11.2016, 09:00
    Place:
    EE Meyer Building 1003

    [Full version]

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

    Finding correspondence between 3D shapes is one of the prototypical problems in computer graphics, geometric processing, and vision. Different flavors of this problem arise ...

    Speaker:
    Michael Bronstein (USI Lugano &Tel Aviv University​​)
    Date:
    Tuesday, 22.11.2016, 12:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Coding Theory: Combinatorial Batch Codes: Bounds and Constructions

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

    Speaker:
    Srimanta Bhattacharya (Indian Statistical Institute, Kolkata, India)
    Date:
    Sunday, 20.11.2016, 14:30
    Place:
    Taub 601

    [Full version]

  • Exact Learning of Juntas from Membership Queries

    Learning from membership queries has flourished due to its many applications in group testing, blood testing, chemical leak testing, chemical reactions, electric shorting detection, ...

    Speaker:
    Areej Costa
    Date:
    Thursday, 17.11.2016, 13:30
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: Branching Program size lower bounds via Projective Dimension

    Branching program is a combinatorial model of computation which models space in Turing machines. One of the holy grail in complexity theory is to ...

    Speaker:
    Sajin Koroth (Indian Institute of Technology, Madras)
    Date:
    Wednesday, 16.11.2016, 12:30
    Place:
    Taub 201

    [Full version]

  • ceClub: Underlay Aware Overlay Routing

    Network function cloudification aims at executing virtual network functions on the cloud to enable rapid deployment of new services with greater flexibility and better ...

    Speaker:
    Ron Banner (HP-Labs, Israel ​)
    Date:
    Wednesday, 16.11.2016, 11:30
    Place:
    EE Meyer Building 861

    [Full version]

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

    Speaker:
    Orit Hazzan and Noa Ragonis - COLLOQUIUM LECTURE
    Date:
    Tuesday, 15.11.2016, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club: Applications in Speech, Vision and Cognition

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

    Speaker:
    Hongkai Zhao​ (​​University of California, Irvine)
    Date:
    Tuesday, 15.11.2016, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

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

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

    Speaker:
    Prof. Dr. Juergen Mottok
    Date:
    Monday, 14.11.2016, 15:15
    Place:
    Taub 601

    [Full version]

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

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

    Speaker:
    Prof. Georg Scharfenberg (OTH-Regensburg University, Bavaria Germany)
    Date:
    Monday, 14.11.2016, 14:30
    Place:
    Taub 601

    [Full version]

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

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

    Speaker:
    Yedid Hoshen (Hebrew University of Jerusalem)
    Date:
    Monday, 14.11.2016, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • CGGC Seminar: 3D Printing, User Basics

    This talk will present some basic concepts to help (aspiring) users of 3D printing. The talk will focus on the pipeline and use of ...

    Speaker:
    Ben Ezair (CS, Technion)
    Date:
    Sunday, 13.11.2016, 13:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Fast Distributed Approximation for Max-Cut

    One of the fundamental tasks in many computational settings is finding the maximum cut. Surprisingly, it has been insufficiently studied in the classic distributed ...

    Speaker:
    Rina Levy
    Date:
    Wednesday, 9.11.2016, 14:30
    Place:
    Taub 401

    [Full version]

  • Theory Seminar: Simplex Transformations and the Multiway Cut Problem

    We consider the Multiway Cut problem, a basic graph partitioning problem in which the goal is to find the minimum weight collection of edges ...

    Speaker:
    Baruch Weizman (Tel Aviv University)
    Date:
    Wednesday, 9.11.2016, 12:30
    Place:
    Taub 201

    [Full version]

  • ceClub: Breaking the ISA Barrier in Modern Computing

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

    Speaker:
    Ashish Venkat (UC San Diego)
    Date:
    Wednesday, 9.11.2016, 11:30
    Place:
    Taub 401

    [Full version]

  • High Throughput Connectomics

    Speaker:
    Nir Shavit - COLLOQUIUM LECTURE
    Date:
    Tuesday, 8.11.2016, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

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

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

    Speaker:
    Gal Mishne (​EE,​Technion)
    Date:
    Tuesday, 8.11.2016, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Theory Seminar: Compression of Interactive Communication

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

    Speaker:
    Anat Ganor (​Weizmann Institute of Science)
    Date:
    Wednesday, 2.11.2016, 12:30
    Place:
    Taub 201

    [Full version]

  • Pixel Club: Light Invariant Video Imaging –Capabilities and Applications

    Controlled light conditions improve considerably the performance of most computer vision algorithms. Dynamic light conditions create varying spatial changes in color and intensity across ...

    Speaker:
    Amir Kolaman (Ben-Gurion University)
    Date:
    Tuesday, 1.11.2016, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Declarative Data Cleaning via Preferred Repairs

    An inconsistent database is a database that violates some of the integrity constraints assumed to hold. Managing data inconsistency has been one of the ...

    Speaker:
    Ester Livshits
    Date:
    Monday, 31.10.2016, 12:30
    Place:
    Taub 301

    [Full version]

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

    With intelligent processing, cameras have great potential to link the real world and the virtual world. We review advances and opportunities for algorithms and ...

    Speaker:
    ​​​​​Bernd Girod (Stanford University)
    Date:
    Thursday, 27.10.2016, 15:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club: Anatomy of the SIFT Method

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

    Speaker:
    Ives Rey Otero (​North Carolina State University)
    Date:
    Thursday, 27.10.2016, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • First Information Fair at CS

    First Information Fair at CSCS invites all degrees students to attend the first information fair and to check out the variety of CS projects, seminars and advanced courses ...

    Date:
    Wednesday, 26.10.2016, 12:30
    Place:
    CS Taub Lobby

    [Full version]

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

    Guruswami and Smith (Journal of the ACM, to appear) present a construction for an explicit codes for additive channels (channels that can induce a ...

    Speaker:
    Jad Silbak (Haifa University)
    Date:
    Wednesday, 26.10.2016, 12:30
    Place:
    Taub 201

    [Full version]

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

    Image and texture synthesis is a challenging task that has long been drawing attention in the fields of image processing, graphics, and machine learning. ...

    Speaker:
    ​​​​​​​Yi Ren (CS Technion)
    Date:
    Tuesday, 25.10.2016, 11:30
    Place:
    Taub 401

    [Full version]

  • Software Management of Hardware Memory Versioning

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

    Speaker:
    Tehila Mayzels
    Date:
    Tuesday, 27.9.2016, 13:00
    Place:
    Taub 601

    [Full version]

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

    We present a model in which extremely simple agents, able only to detect how many other agents are in a sector directly in front ...

    Speaker:
    David Dovrat (TASP-Technion)
    Date:
    Tuesday, 27.9.2016, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club: ​From the Optics Lab to Computer Vision

    Computer science and optics are usually studied separately -- separate people, in separate departments, meet at separate conferences. This is changing. The exciting promise ...

    Speaker:
    Achuta Kadambi (MIT​)
    Date:
    Tuesday, 20.9.2016, 12:00
    Place:
    EE Meyer Building 1061

    [Full version]

  • Low-Complexity Collision Resistant Hashing

    A collision resistant hash function is a function that compresses the input, yet it is computationally infeasible to find two inputs on which it ...

    Speaker:
    Naama Haramaty
    Date:
    Thursday, 8.9.2016, 14:30
    Place:
    Taub 601

    [Full version]

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

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

    Speaker:
    Torsten Hoefler (ETH)
    Date:
    Tuesday, 6.9.2016, 15:00
    Place:
    EE Meyer Building 1061

    [Full version]

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

    Parameter estimation is performed by fitting data measurements to a model using Bayesian statistics, assuming additional prior information. The estimation requires a numerical solution ...

    Speaker:
    Eran Treister (University of British Columbia, Vancouver, Canada)
    Date:
    Monday, 5.9.2016, 12:30
    Place:
    Taub 401

    [Full version]

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

    Motion capture is the process of recording the movement of objects or people by sensors and transforming it into computer readable format. To achieve ...

    Speaker:
    Maria Hänel (University of Bayreuth Germany}
    Date:
    Monday, 5.9.2016, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • The 5th TCE Summer School on Cyber and Computer Security

    The 5th TCE Summer School on Cyber and Computer SecurityThe 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), ...

    Date:
    Sunday, 4.9.2016, 09:00
    Place:
    EE Meyer Building 1003

    [Full version]

  • Linear Discriminant Analysis Model Monitoring in Distributed Systems.

    Real systems for mining dynamic data streams should be able to detect changes that affect the accuracy of their model. A distributed setting is ...

    Speaker:
    Ran Bernstein
    Date:
    Sunday, 28.8.2016, 11:00
    Place:
    Taub 601

    [Full version]

  • Extrapolation and Synthesis for Relaxed Memory Models

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

    Speaker:
    Yuri Meshman
    Date:
    Wednesday, 17.8.2016, 14:00
    Place:
    Taub 601

    [Full version]

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

    Text categorization is a prominent task of labeling documents with predefined categories. The main approach to performing text categorization is learning from labeled examples. ...

    Speaker:
    Sarai Duek
    Date:
    Wednesday, 17.8.2016, 12:00
    Place:
    Taub 601

    [Full version]

  • Differential Program Analysis

    Studying the evolution of software is an emerging topic, receiving much attention and focus as every line of code written today is more likely ...

    Speaker:
    Nimrod Saban Partosh
    Date:
    Tuesday, 2.8.2016, 15:00
    Place:
    Taub 601

    [Full version]

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

    Generic frame fields are important for many applications in computer graphics such as texture mapping and quadrangulation. The vast majority of existing approaches rely ...

    Speaker:
    Alex Shevlyakov (CS, Technion)
    Date:
    Tuesday, 2.8.2016, 14:00
    Place:
    Taub 401

    [Full version]

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

    Collaboration between multiple robots (or agents) pursuing common or individual tasks is important in numerous problem domains, including cooperative autonomous navigation, mapping and 3D ...

    Speaker:
    Tal Regev
    Date:
    Wednesday, 20.7.2016, 13:00
    Place:
    Taub 601

    [Full version]

  • Efficient Information Transfer Leveraging Wirless D2D Communication

    Mobile phones and tablets are becoming the main devices to access the Internet, and wireless proximity technology has improved significantly over the last years. ...

    Speaker:
    David Sainz
    Date:
    Wednesday, 20.7.2016, 11:00
    Place:
    Taub 601

    [Full version]

  • ceClub: Timed Consistent Network Updates in Software Defined Networks

    Software Defined Networks (SDN) is a new approach to computer networking that provides simple network management by the abstraction of higher level functionality. The ...

    Speaker:
    Efi Saat (EE, Technion)
    Date:
    Wednesday, 13.7.2016, 11:30
    Place:
    EE Meyer Building 861

    [Full version]

  • Coding Theory: Consecutive Switch Codes

    Switch codes are a coding scheme which enables one to encode the input packets into the banks such that the packet requests by the ...

    Speaker:
    Sarit Buzaglo (University of California, San Diego)
    Date:
    Sunday, 3.7.2016, 14:30
    Place:
    Taub 601

    [Full version]

  • Flexible Resource Allocation for Network Problems

    Resource allocation problems arise in a wide range of applications. In many of these classic problems, we are given a set of requests competing ...

    Speaker:
    Ariella Voloshin
    Date:
    Thursday, 30.6.2016, 13:00
    Place:
    Taub 601

    [Full version]

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

    It is often the case in biological measurement data that results are given as a ranked list of quantities, for example differential expression (DE) ...

    Speaker:
    Dalia Alperovich
    Date:
    Thursday, 30.6.2016, 10:00
    Place:
    Taub 601

    [Full version]

  • The Infinite Odometry

    In this work we revisit the problem of visual odometry. Visual odometry is the process of estimating the motion of the camera by examining ...

    Speaker:
    Alexander Kreimer
    Date:
    Wednesday, 29.6.2016, 12:00
    Place:
    Taub 601

    [Full version]

  • Pixel Club: Cinema 3D: Large Scale Automultiscopic Display

    While 3D movies are gaining popularity, viewers in a 3D cinema still need to wear cumbersome glasses in order to enjoy them. Automultiscopic displays ...

    Speaker:
    Netalee Efrat (​Weizmann Institute of Science)
    Date:
    Tuesday, 28.6.2016, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

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

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

    Speaker:
    Evyatar Hemo (Technion)
    Date:
    Sunday, 26.6.2016, 14:30
    Place:
    Taub 601

    [Full version]

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

    Over the past 30 years numerous algorithms have been designed for symmetry breaking problems in the LOCAL model, such as maximal matching, MIS, vertex ...

    Speaker:
    Yi-Jun Chang University of Michigan)
    Date:
    Thursday, 23.6.2016, 10:30
    Place:
    Taub 301

    [Full version]

  • Optimistic Methods Meets Memory Management

    With the rapid development of parallel platforms, optimistic methods become increasingly common. However, existing memory management schemes for such algorithms imposes high performance overhead ...

    Speaker:
    Nachson Cohen
    Date:
    Wednesday, 22.6.2016, 14:30
    Place:
    Taub 601

    [Full version]

  • Towards practical publicly verifiable zero-knowledge Computational Integrity

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

    Speaker:
    Michael Riabzev
    Date:
    Wednesday, 22.6.2016, 14:30
    Place:
    Taub 401

    [Full version]

  • Theory Seminar: A Principled Way of Designing Efficient Distributed Protocols

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

    Speaker:
    Yoram Moses (Technion)
    Date:
    Wednesday, 22.6.2016, 12:30
    Place:
    Taub 201

    [Full version]

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

    We introduce a framework allowing domain experts to manipulate computational terms in the interest of deriving better, more efficient implementations. It employs deductive reasoning ...

    Speaker:
    Shachar Itzhaky (MIT)
    Date:
    Wednesday, 22.6.2016, 11:30
    Place:
    Taub 4

    [Full version]

  • Sidecore Managment for Virtualized Environments

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

    Speaker:
    Eyal Moscovici
    Date:
    Wednesday, 22.6.2016, 10:00
    Place:
    Taub 601

    [Full version]

  • Second Project Fair 2016 at CS

    Second Project Fair 2016 at CSCS 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 ...

    Date:
    Tuesday, 21.6.2016, 12:30
    Place:
    CS Taub Lobby

    [Full version]

  • Pixel Club: Detecting Repeating Objects using Patch Correlation Analysis

    In this paper we describe a new method for detecting and counting a repeating object in an image. While the method relies on a ...

    Speaker:
    Inbar Huberman (​Florida Institute of Technology)
    Date:
    Tuesday, 21.6.2016, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

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

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

    Speaker:
    Michal Horovitz (CS, Technion)
    Date:
    Sunday, 19.6.2016, 14:30
    Place:
    טאוב 601

    [Full version]

  • Understanding Word Embeddings

    Speaker:
    Omer Levy - CS-Lecture -
    Date:
    Thursday, 16.6.2016, 15:00
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Hardening Cassandra Against Byzantine Failures

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

    Speaker:
    Roni Licher
    Date:
    Wednesday, 15.6.2016, 13:30
    Place:
    Taub 701

    [Full version]

  • CGGC Seminar: Advection-based Function Matching on Surfaces

    A tangent vector field on a surface is the generator of a smooth family of maps from the surface to itself, known as the ...

    Speaker:
    Omri Azencot (CS, Technion)
    Date:
    Wednesday, 15.6.2016, 13:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Theory Seminar: Contention Resolution Schemes: Offline and Online

    Contention resolution schemes are an algorithmic technique originally devised in the context of submodular functions maximization. Recent works, however, have extended contention resolution schemes ...

    Speaker:
    Moran Feldman (Open University)
    Date:
    Wednesday, 15.6.2016, 12:30
    Place:
    Taub 201

    [Full version]

  • ceClub: Cooperative Game Theoretic Models for Network Interconnections

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

    Speaker:
    Gideon Blocq (EE, Technion)
    Date:
    Wednesday, 15.6.2016, 11:30
    Place:
    EE Meyer Building 861

    [Full version]

  • Google TECH TALK at CS

    Google TECH TALK at CSGilad Barkai from Google's AUTO-COMPLETE team will give a talk about the system - its daily use, challenges and different features as the programmer ...

    Speaker:
    Gilad Barkai (Google)
    Date:
    Tuesday, 14.6.2016, 16:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • A new dimension of media

    Speaker:
    Alexander Bronstein - COLLOQUIUM LECTURE
    Date:
    Tuesday, 14.6.2016, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • ceClub: The Technion Computer Engineering Club

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

    Speaker:
    Sagi Shahar (EE, Technion)
    Date:
    Tuesday, 14.6.2016, 14:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Pixel Club: Data to Knowledge: Understanding Dynamic Medical Images

    ​Computer Science (CS) is the new language of science as Mathematics was until the Twentieth Century. CS generalizes mathematics toward being more versatile. In ...

    Speaker:
    Debasis Mitra (​Florida Institute of Technology)
    Date:
    Tuesday, 14.6.2016, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

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

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

    Speaker:
    Jinesh Machchhar (CS, Technion)
    Date:
    Monday, 13.6.2016, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

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

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

    Speaker:
    Fady Massarwi (CS, Technion)
    Date:
    Monday, 13.6.2016, 14:00
    Place:
    Room 337-8 Taub Bld.

    [Full version]

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

    Irregular algorithms, such as sorting and graph algorithms, are prevalent in computer science applications. Until recently, it was assumed that the irregular algorithms also ...

    Speaker:
    Oded Green (Georgia Tech)
    Date:
    Thursday, 9.6.2016, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • CSta Cafe: A Talk over Coffee and Pizza

    CSta Cafe: A Talk over Coffee and PizzaOn Image Processing, Visual Information Models and ... why is it so hard for us in Numeric Analysis?

    Speaker:
    Michael Elad (CS, Technion)
    Date:
    Wednesday, 8.6.2016, 13:00
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Theory Seminar: Proof Complexity Lower Bounds from Algebraic Circuit Complexity

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

    Speaker:
    Amir Shpilka (Tel-Aviv University)
    Date:
    Wednesday, 8.6.2016, 12:30
    Place:
    Taub 201

    [Full version]

  • CGGC Seminar: Bounded Distortion Harmonic Shape Interpolation

    Planar shape interpolation is a classic problem in computer graphics. We present a novel shape interpolation method that blends C∞ planar harmonic mappings represented ...

    Speaker:
    Edward Chien (Mathematics - Hill Center, Rutgers University)
    Date:
    Tuesday, 7.6.2016, 14:30
    Place:
    Taub 701

    [Full version]

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

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

    Speaker:
    Gabi Pragier (Tel-Aviv University)
    Date:
    Tuesday, 7.6.2016, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

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

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

    Speaker:
    Aviv Segall (CS, Technion)
    Date:
    Sunday, 5.6.2016, 13:30
    Place:
    Taub 701

    [Full version]

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

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

    Speaker:
    Aviv Segall
    Date:
    Sunday, 5.6.2016, 13:30
    Place:
    Taub 401

    [Full version]

  • On Routing schemes that are robust to changes in bandwidth demand

    A major challenge in optimizing network utilization is how to reduce bottleneck links, while taking into account that bandwidth demands may be increased over ...

    Speaker:
    Gal Cohen
    Date:
    Sunday, 5.6.2016, 10:00
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: Two Applications of Communication Complexity in Distributed Computing

    In distributed systems, communication between the participants in the computation is usually the most expensive part of the computation. Theoretical models of distributed systems ...

    Speaker:
    Rotem Oshman (Tel-Aviv University)
    Date:
    Wednesday, 1.6.2016, 12:30
    Place:
    Taub 201

    [Full version]

  • Intel@Technion Lectures: Game Changing Design

    produce design developed in through the years in many fronts and requirements. Today SOC products require aggressive targets in all fronts: frequency, performance, low ...

    Speaker:
    Shlomit Weiss (Intel)
    Date:
    Wednesday, 1.6.2016, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • TODAY! - CS RESEARCH DAY 2016

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

    Date:
    Tuesday, 31.5.2016, 15:30
    Place:
    CS Taub

    [Full version]

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

    Both 3D models and 2D images contain a wealth of information about everyday objects in our environment. However, it is difficult to semantically link ...

    Speaker:
    Yangyan Li (CS, Tel-Aviv University)
    Date:
    Tuesday, 31.5.2016, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • CGGC Seminar: Volumetric T-spline Parameterization for Isogeometric Analysis

    As a new advancement of traditional finite element method, isogeometric analysis (IGA) was proposed to integrate design and analysis. In this talk, I will ...

    Speaker:
    Yongjie Jessica Zhang (Carnegie Mellon University)
    Date:
    Sunday, 29.5.2016, 15:00
    Place:
    Taub 401

    [Full version]

  • Pixel Club: A Focus on Selection for Fixation

    A functional, computational and mechanistic, explanation of the relationship among visual attention, interpretation of visual stimuli, and eye movements, and how these produce visual ...

    Speaker:
    John Tsotsos (York University, Canada)
    Date:
    Thursday, 26.5.2016, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Theory Seminar: Making Generalization Robust

    Generalization, informally, is the ability of a learner to reflect not just its training data, but properties of the underlying distribution from which the ...

    Speaker:
    Katrina Ligett (Hebrew University of Jerusalem)
    Date:
    Wednesday, 25.5.2016, 12:30
    Place:
    Taub 201

    [Full version]

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

    A significant proportion of computer system resources are devoted to applications that can inherently tolerate inaccuracies in their data, execution and communication. Hence, “approximate ...

    Speaker:
    Luis Ceze (University of Washington)
    Date:
    Wednesday, 25.5.2016, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

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

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

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

    Date:
    Tuesday, 24.5.2016, 09:00
    Place:
    Churchill Auditorium, Technion, Haifa

    [Full version]

  • DNA-based Archival Storage System

    Speaker:
    Luis Ceze - TCE guest
    Date:
    Monday, 23.5.2016, 14:30
    Place:
    Room Class 7 Taub Bld.

    [Full version]

  • Compression and generalization

    [Note the change of time and date] Generalization and simplification are deeply related to each other: simpler explanations often reveal principles that apply more ...

    Speaker:
    Shay Moran
    Date:
    Thursday, 19.5.2016, 12:00
    Place:
    Taub 601

    [Full version]

  • Some limitations and possibilities toward data-driven optimization

    Speaker:
    Yaron Singer - COLLOQUIUM LECTURE - Note unusual day
    Date:
    Wednesday, 18.5.2016, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

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

    Computing shortest paths is one of the fundamental problems of graph algorithms. The goal of *dynamic* single source shortest paths (SSSP) is to maintain ...

    Speaker:
    Shiri Chechik (Tel-Aviv University)
    Date:
    Wednesday, 18.5.2016, 12:30
    Place:
    Taub 201

    [Full version]

  • ceClub: A Brief History of Time in Software Defined Networks

    The emerging trend of Software Defined Networks (SDN) has been enthusiastically explored by researchers over the last decade, as it provides the flexibility and ...

    Speaker:
    Tal Mizrahi (Technion)
    Date:
    Wednesday, 18.5.2016, 11:30
    Place:
    EE Meyer Building 861

    [Full version]

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

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

    Speaker:
    Assaf Arbelle (Ben-Gurion University)
    Date:
    Monday, 16.5.2016, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Global versus Local Modeling of Signals

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

    Speaker:
    Vardan Papyan
    Date:
    Monday, 16.5.2016, 10:30
    Place:
    Taub 337

    [Full version]

  • Subspace codes and distributed storage codes.

    The interest in subspace codes has increased lately due to their application in error correction for random network coding. A subspace code is a ...

    Speaker:
    Netanel Raviv
    Date:
    Sunday, 15.5.2016, 16:30
    Place:
    Taub 601

    [Full version]

  • Plug and Play Priors for Poisson Inverse Problems

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

    Speaker:
    Arie Rond
    Date:
    Sunday, 15.5.2016, 16:30
    Place:
    Taub 201

    [Full version]

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

    Gabidulin codes, originally defined over finite fields, are an important class of rank metric codes with various applications. Recently, their definition was generalized to ...

    Speaker:
    Sven Puchinger (Ulm University)
    Date:
    Sunday, 15.5.2016, 14:30
    Place:
    Taub 601

    [Full version]

  • Unsupervised Ensemble Learning

    Speaker:
    Boaz Nadler - COLLOQUIUM LECTURE
    Date:
    Tuesday, 10.5.2016, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

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

    TODAY! The Finals - 2015-16 Amdocs Best Project ContestYou are invited to the final stage of the 2015-16 Amdocs Best Project Contest. The competing teams will present and talk about their ...

    Date:
    Sunday, 8.5.2016, 14:30
    Place:
    CS Taub Auditorium 2

    [Full version]

  • Coding Theory: Generalized Notion of Graph Capacity

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

    Speaker:
    Ofer Shayevitz (Tel Aviv University)
    Date:
    Sunday, 8.5.2016, 14:30
    Place:
    Taub 601

    [Full version]

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

    The problem of computing shape correspondence is a fundamental task in Computer Graphics. While recent methods produce semantically meaningful maps globally, the maps are ...

    Speaker:
    Danielle Ezuz (CS, Technion)
    Date:
    Sunday, 8.5.2016, 13:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Secure Computation in Hostile Environments

    The ubiquitous nature of computer systems means that they often operate in hostile environments where they are subjected to various attacks by adversarial parties. ...

    Speaker:
    Daniel Genkin
    Date:
    Sunday, 8.5.2016, 11:00
    Place:
    Taub 601

    [Full version]

  • Pixel Club: Visual Perception through Hyper Graphs

    Computational vision, visual computing and biomedical image analysis have made tremendous progress of the past decade. This is mostly due the development of efficient ...

    Speaker:
    Nikos Paragios (CentraleSupelec, Inria, University of Paris-Saclay)
    Date:
    Thursday, 5.5.2016, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Interpreting the Ratio Criterion for Matching SIFT Descriptors

    Matching keypoints by minimizing the Euclidean distance between their SIFT descriptors is an effective and extremely popular technique. Using the ratio between distances, as ...

    Speaker:
    Avraham Kaplan
    Date:
    Wednesday, 4.5.2016, 16:30
    Place:
    Taub 601

    [Full version]

  • Algebraic RAM

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

    Speaker:
    Evgenya Pergament
    Date:
    Wednesday, 4.5.2016, 13:30
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: The Possibilities and Limitations of Private Prediction Markets

    We consider the design of private prediction markets, financial markets designed to elicit predictions about uncertain events without revealing too much information about market ...

    Speaker:
    Rachel Cummings (California Institute of Technology)
    Date:
    Wednesday, 4.5.2016, 12:30
    Place:
    Taub 201

    [Full version]

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

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

    Speaker:
    Tan Hwee Pink (School of Information Systems, Singapore Management University)
    Date:
    Wednesday, 4.5.2016, 11:30
    Place:
    EE Meyer Building 861

    [Full version]

  • Welfare Maximization via Posted Prices

    Speaker:
    Michal Feldman - COLLOQUIUM LECTURE
    Date:
    Tuesday, 3.5.2016, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

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

    In recent years much work has been devoted to the development of image processing algorithms using local patches. The main idea in this line ...

    Speaker:
    Grisha Vaksman (Technion)
    Date:
    Tuesday, 3.5.2016, 12:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Pixel Club: Point Registration via Efficient Convex Relaxation

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

    Speaker:
    Haggai Maron & Nadav Dym (Weizmann Institute of Science)
    Date:
    Tuesday, 3.5.2016, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

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

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

    Speaker:
    Merav Parter (MIT)
    Date:
    Tuesday, 3.5.2016, 10:30
    Place:
    Taub 301

    [Full version]

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

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

    Speaker:
    Antonia Wachter-Zeh (CS, Technion)
    Date:
    Sunday, 1.5.2016, 14:30
    Place:
    Taub 601

    [Full version]

  • Startup Day and Recruitment at CS

    Startup Day and Recruitment at CSCS invites you to a STARTUP DAY and recruitment by the presenting firms: Augury, Bidalgo, Checkmarx, Jelly Button, Kaltura, Outbrain, Zerto and more. In ...

    Date:
    Wednesday, 20.4.2016, 12:30
    Place:
    CS Taub Auditorium 2

    [Full version]

  • Theory Seminar: Tokenized Blind Signatures from Quantum Money

    Quantum money is a quantum state that can be easily verified but is hard to copy. I will start by reviewing Aaronson & Christiano's ...

    Speaker:
    Or Sattath (Hebrew University and MIT)
    Date:
    Wednesday, 20.4.2016, 12:30
    Place:
    Taub 201

    [Full version]

  • Applying theory to practice (and practice to theory)

    Speaker:
    Ronald Fagin - TCE Henry Taub Distinguished Visitor
    Date:
    Tuesday, 19.4.2016, 14:30
    Place:
    Room Auditorium 2 Taub Bld.

    [Full version]

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

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

    Speaker:
    Shira Nemirovsky-Rotman (Technion)
    Date:
    Tuesday, 19.4.2016, 12:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Pixel Club: On Chirp Excitation and Compression for Ultrasound Imaging

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

    Speaker:
    Dorin Danial (Technion)
    Date:
    Tuesday, 19.4.2016, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

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

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

    Speaker:
    Lele Wang (Tel Aviv University)
    Date:
    Sunday, 17.4.2016, 14:30
    Place:
    Taub 601

    [Full version]

  • How to Use Bitcoin to Play Decentralized Poker

    We study a model of secure computation in which deviating parties are forced to pay monetary penalties, without relying on a trusted party to ...

    Speaker:
    Iddo Bentov
    Date:
    Thursday, 14.4.2016, 13:00
    Place:
    Taub 601

    [Full version]

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

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

    Speaker:
    Klim Efremenko
    Date:
    Wednesday, 13.4.2016, 12:30
    Place:
    Taub 201

    [Full version]

  • ceClub: Pricing Complexity

    As economic systems "move" to the Internet, they can become much more complex and this new complexity often becomes their defining characteristic. We will ...

    Speaker:
    Noam Nisan (Hebrew University of Jerusalem)
    Date:
    Wednesday, 13.4.2016, 11:30
    Place:
    EE Meyer Building 861

    [Full version]

  • Mining causality to predict the future events

    Speaker:
    Kira Radinsky - COLLOQUIUM LECTURE
    Date:
    Tuesday, 12.4.2016, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

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

    To recover the three dimensional (3D) volumetric distribution of matter in an object, images of the object are captured from multiple directions and locations. ...

    Speaker:
    Vadim Holodovsky (CS, Technion)
    Date:
    Tuesday, 12.4.2016, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Coding Theory: Combinatorial Systematic Switch Codes

    Multiport switches are commonly used as data processing and routing devices in computer networks. A network switch routes data packets between its multiple input ...

    Speaker:
    Hui Zhang (CS, Technion)
    Date:
    Sunday, 10.4.2016, 14:30
    Place:
    Taub 601

    [Full version]

  • CGGC Seminar: Interacting with Personal Fabrication Machines

    In anticipation of 3D printers reaching millions of users, I am investigating how to allow future users to interact with the new hardware. I ...

    Speaker:
    Stefanie Mueller (Human Computer Interaction Group, Hasso-Plattner-Institute, Germany)
    Date:
    Sunday, 10.4.2016, 13:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Leading in Technology

    Leading in TechnologyYou are invited to the event "Leading in Technology": "Presidents on the Edge". Special guests will be Prof. Rivka Carmi, President of Ben-Gurion University ...

    Date:
    Wednesday, 6.4.2016, 16:30
    Place:
    CS Taub Auditorium 1

    [Full version]

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

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

    Speaker:
    Mor Weiss
    Date:
    Wednesday, 6.4.2016, 12:30
    Place:
    Taub 201

    [Full version]

  • ceClub: Near Optimal Placement of Virtual Network Functions

    Network Function Virtualization (NFV) is a new networking paradigm where network functions are executed on commodity servers located in small cloud nodes distributed across ...

    Speaker:
    Seffi Naor (CS, Technion)
    Date:
    Wednesday, 6.4.2016, 11:30
    Place:
    Taub 401​

    [Full version]

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

    TODAY!: Open Day For Graduate Studies At Technion Computer Science and Electrical EngineeringThe 2016 open day invite outstanding undergraduates from all universities to come to the Technion and learn about the faculties of Computer Science and  ...

    Date:
    Wednesday, 6.4.2016, 10:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Designing Communication Receivers Using Machine Learning Techniques

    Speaker:
    Brian M. Kurkoski - COLLOQUIUM LECTURE
    Date:
    Tuesday, 5.4.2016, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Workshop and Inauguration of the Technion Cyber Security Research Center

    Workshop and Inauguration of the Technion Cyber Security Research CenterYou are invited to a workshop and inauguration event of the Technion Cyber Security Research Center, in the presence of Prof. Peretz Lavie, Technion ...

    Date:
    Tuesday, 5.4.2016, 13:30
    Place:
    CS Taub Auditorium 1

    [Full version]

  • Pixel Club: Blind Dehazing Using Internal Patch Recurrence

    Images of outdoor scenes are often degraded by haze, fog and other scattering phenomena. In this work we show how such images can be ...

    Speaker:
    Yuval Bahat (Weizmann Institute of Science)
    Date:
    Tuesday, 5.4.2016, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Automated Program Repair

    This work presents a novel approach for automatically repairing a program with respect to a given set of assertions. Programs are repaired using a ...

    Speaker:
    Batchen Golden
    Date:
    Monday, 4.4.2016, 15:30
    Place:
    Taub 401

    [Full version]

  • Women and Students in Technology Meeting

    Women and Students in Technology Meeting
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 ...

    Date:
    Wednesday, 30.3.2016, 17:00
    Place:
    Taub 3

    [Full version]

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

    Speaker:
    Prof. Guillermo Sapiro - DISTINGUISHED POLLAK LECTURE SERIES
    Date:
    Wednesday, 30.3.2016, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Theory Seminar: Toward the KRW conjecture: Cubic Lower Bounds via Communication Complexity

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

    Speaker:
    Or Meir (Haifa University)
    Date:
    Wednesday, 30.3.2016, 12:30
    Place:
    Taub 201

    [Full version]

  • ceClub: TinyLFU: A Highly Efficient Cache Admission Policy

    In this talk, I introduce a frequency based cache admission policy in order to boost the effectiveness of caches subject to skewed access distributions. ...

    Speaker:
    Roy Friedman (CS, Technion)
    Date:
    Wednesday, 30.3.2016, 11:30
    Place:
    Taub 401​

    [Full version]

  • CGGC Seminar: e-NABLE: A Global Network of Digital Humanitarians built on an infrastructure of electronic communications, 3D printing and good will

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

    Speaker:
    Jon Schull (Enable Community Foundation)
    Date:
    Wednesday, 30.3.2016, 11:00
    Place:
    Room 337-8 Taub Bld.

    [Full version]

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

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

    Speaker:
    Stephen Gould (Australian National University)
    Date:
    Tuesday, 29.3.2016, 14:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Pixel Club: Learning Ordinal Relationships for Mid-Level Vision

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

    Speaker:
    Daniel Zoran (Google DeepMind)
    Date:
    Tuesday, 29.3.2016, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

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

    Speaker:
    Prof. Guillermo Sapiro - DISTINGUISHED POLLAK LECTURE SERIES
    Date:
    Monday, 28.3.2016, 14:30
    Place:
    Room Auditorium 2 Taub Bld.

    [Full version]

  • Lightweight Crypto Day

    Lightweight Crypto Day TCE in Collaboration with Caesarea Rothschild Institute will hold a Lightweight Crypto Day. Lightweight cryptography is an emerging field of research trying to address ...

    Date:
    Monday, 28.3.2016, 09:00
    Place:
    EE Meyer Building 1003

    [Full version]

  • Amdocs Seminar on "Network Virtualization"

    Amdocs Seminar on "Network Virtualization"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. ...

    Date:
    Sunday, 27.3.2016, 16:30
    Place:
    Taub 3

    [Full version]

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

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

    Speaker:
    Alexey Frolov (Institute for Information Transmission Problems}
    Date:
    Sunday, 27.3.2016, 14:30
    Place:
    Taub 601

    [Full version]

  • On body and Out of body Interactions

    Speaker:
    Jessica Cauchard - CS-Lecture -
    Date:
    Sunday, 27.3.2016, 14:30
    Place:
    Room 601 Taub Bld.

    [Full version]

  • Theory Seminar: A fast Distributed 2+epsilon Approximation for Weighted Vertex Cover

    The field of distributed graph algorithms deals with solving graph problems in a network (graph) of independent agents while minimizing the amount of communication ...

    Speaker:
    Gregory Schwartzman (CS, Technion)
    Date:
    Wednesday, 23.3.2016, 12:30
    Place:
    Taub 201

    [Full version]

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

    Intel@Technion Lectures: High speed I/O ports for Client Compute devicesThe high speed I/O market in client platforms is going through major changes in the last few years, with latest silicon process that enable ...

    Speaker:
    Shahaf Kieselstein (Intel)
    Date:
    Wednesday, 23.3.2016, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club: Stretchable Non-rigid Structures Abstract

    Geometrical understanding of bendable and stretchable structures is crucial for many applications where comparison, inference and reconstruction play an important role. Moreover, it is ...

    Speaker:
    Dan Raviv (MIT)
    Date:
    Tuesday, 22.3.2016, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

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

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

    Speaker:
    Amir Shpilka (Tel-Aviv University)
    Date:
    Sunday, 20.3.2016, 14:30
    Place:
    Taub 601

    [Full version]

  • CS Spring Hakton 2016

    CS Spring Hakton 2016The 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 ...

    Date:
    Wednesday, 16.3.2016, 14:00
    Place:
    CS Taub

    [Full version]

  • Theory Seminar: Fast Submodular Maximization

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

    Speaker:
    Roy Schwartz (CS, Technion)
    Date:
    Wednesday, 16.3.2016, 12:30
    Place:
    Taub 201

    [Full version]

  • TCE Guest Lecture: Technology Considerations in Computer Architecture

    TCE Guest Lecture: Technology Considerations in Computer ArchitectureGood engineering practice uses the characteristics of existing technologies to optimize implementation. Often, this will mean that design techniques optimal in a previous generation ...

    Speaker:
    Jean-Luc Gaudiot (University of California)
    Date:
    Wednesday, 16.3.2016, 11:30
    Place:
    Taub 401​

    [Full version]

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

    Speaker:
    Adi Livnat - COLLOQUIUM LECTURE
    Date:
    Tuesday, 15.3.2016, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

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

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

    Speaker:
    Nitzan Adler (Technion)
    Date:
    Sunday, 13.3.2016, 14:30
    Place:
    Taub 601

    [Full version]

  • Multi Scale Dictionary Learning for Sparse Representation of Images

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

    Speaker:
    Boaz Ophir
    Date:
    Wednesday, 9.3.2016, 14:30
    Place:
    Taub 601

    [Full version]

  • The List Update Problem

    In this work, we consider the list update problem as defined in the seminal work on competitive analysis by [Sleator, Tarjan 85]. In this ...

    Speaker:
    Erez Timnat
    Date:
    Wednesday, 9.3.2016, 12:30
    Place:
    Taub 601

    [Full version]

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

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

    Speaker:
    Shahar Cohen (Intel)
    Date:
    Wednesday, 9.3.2016, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Technology and the Future of Work and Money

    Speaker:
    Seth Goldstein - COLLOQUIUM LECTURE
    Date:
    Tuesday, 8.3.2016, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Internal and external privacy in a distributed setting

    Internal and external privacy in a distributed settingIn this work, we analyze privacy in a distributed setting, where privacy is measured in an information theoretic way (i.e. no cryptographic assumptions). The ...

    Speaker:
    Gal Maor
    Date:
    Wednesday, 2.3.2016, 14:30
    Place:
    Taub 601

    [Full version]

  • CGGC Seminar: Optimal Transportation for Practical Geometric Problems

    Optimal transportation (OT) has gained considerable popularity as a tool for relating signals defined over geometric domains. Despite recent progress developing generic machinery for ...

    Speaker:
    Justin Solomon (lEE & CS,, MIT)
    Date:
    Wednesday, 2.3.2016, 10:30
    Place:
    Taub 401​

    [Full version]

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

    In recent years much work has been devoted to the development of image processing algorithms using local patches. The main idea in this line ...

    Speaker:
    Grisha Vaksman (Technion) - CANCELLED!
    Date:
    Tuesday, 1.3.2016, 12:30
    Place:
    חדר 337, בניין טאוב למדעי המחשב

    [Full version]

  • Pixel Club: Linearized Kernel Dictionary Learning

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

    Speaker:
    Alona Zadneprovski (Technion)
    Date:
    Tuesday, 1.3.2016, 11:30
    Place:
    חדר 337, בניין טאוב למדעי המחשב

    [Full version]

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

    To recover the three dimensional (3D) volumetric distribution of matter in an object, images of the object are captured from multiple directions and locations. ...

    Speaker:
    Vadim Holodovsky (EE, Technion)
    Date:
    Tuesday, 1.3.2016, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • A Language Approach to Language Preprocessing

    The C preprocessor (cpp) is probably the most familiar macro preprocessor. However, it lacks the expressibility of general purpose programming languages. We propose a ...

    Speaker:
    Iddo Zmiry
    Date:
    Wednesday, 24.2.2016, 13:30
    Place:
    Taub 601

    [Full version]

  • Automatic generation of Java fluent APIs from BNF specifications

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

    Speaker:
    Tomer Levy
    Date:
    Wednesday, 24.2.2016, 12:30
    Place:
    Taub 601

    [Full version]

  • CGGC Mini-Symposium

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

    Date:
    Monday, 22.2.2016, 10:00
    Place:
    Room 337-8 Taub Bld.

    [Full version]

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

    We propose a novel probabilistic framework to model connectivity patterns in the brain as a latent network graph. In particular, we model the interaction ...

    Speaker:
    Polina Golland (CSAIL MIT)
    Date:
    Monday, 15.2.2016, 11:30
    Place:
    Taub 201

    [Full version]

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

    Speaker:
    Jeremy Cooperstock - COLLOQUIUM LECTURE
    Date:
    Thursday, 11.2.2016, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Intel@Technion Lectures: On the Way to Visual Understanding

    Intel@Technion Lectures: On the Way to Visual Understandingn the past several years, the field of computer vision has chalked up significant achievements, fueled by new algorithms (such as deep neural networks), ...

    Speaker:
    Gershom Kutliroff (Intel)
    Date:
    Wednesday, 10.2.2016, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club: From representation to inference: Respecting and Exploiting Mathematical Structures in Computer Vision and Machine Learning

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

    Speaker:
    Oren Freifeld (CSAIL MIT)
    Date:
    Tuesday, 2.2.2016, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

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

    Intel@Technion Lectures: Cloud Computing – The Beginning Or The End?Cloud Computing is considered to be one of the most important paradigm shifts of this century. In this presentation we will explain what cloud ...

    Speaker:
    Nava Levy (Intel)
    Date:
    Wednesday, 27.1.2016, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Pixel Club: Large Scale Feature Selection for Visual Representation Learning

    Training accurate visual classifiers from large data sets critically depend on learning the right representation for the problem. In this talk, I will discuss ...

    Speaker:
    Aharon Bar Hillel (Microsoft Research)
    Date:
    Tuesday, 26.1.2016, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • TODAY! - Winter 2016 Application Fair

    TODAY! - Winter 2016  Application Fair 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 ...

    Date:
    Wednesday, 20.1.2016, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

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

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

    Speaker:
    Ariel Gabizon (CS, Technion)
    Date:
    Wednesday, 20.1.2016, 12:30
    Place:
    Taub 201

    [Full version]

  • ceClub: The Fascinating Structure of Planar Graphs

    Graph optimization problems are the most studied problems in theoretical computer science. These problems are not only mathematically intriguing. They have a crucial impact ...

    Speaker:
    Oren Weimann (Haifa University)
    Date:
    Wednesday, 20.1.2016, 11:30
    Place:
    Taub 401​

    [Full version]

  • Adversarial Robotics: Robotic Strategic Behavior in Adversarial Environments

    Speaker:
    Noa Agmon - COLLOQUIUM LECTURE
    Date:
    Tuesday, 19.1.2016, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

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

    Correctly matching feature points across images is an important preprocessing step for many computer vision applications (specifically such that require geometric reasoning). Once an ...

    Speaker:
    Lior Talker (Haifa University)
    Date:
    Tuesday, 19.1.2016, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Winter 2016 Arduino Fair at CS

    Winter 2016 Arduino Fair at CSCS students in the course "Project in Advanced Programming" invite you to the Winter 2016 Arduino project fair on Sunday, January 17 2016, between ...

    Date:
    Sunday, 17.1.2016, 13:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Scalable Machine Learning for structured high-dimensional outputs

    Speaker:
    Ofer Meshi - CS-Lecture - Note unusual day
    Date:
    Wednesday, 13.1.2016, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

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

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

    Speaker:
    Tamar Cohen (MIT)
    Date:
    Wednesday, 13.1.2016, 12:30
    Place:
    Taub 201

    [Full version]

  • ceClub: Network Measurement in the World of Crowd-Sourcing

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

    Speaker:
    Scott Kirkpatrick (HUJI)
    Date:
    Wednesday, 13.1.2016, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • The probabilistic method meets the game of Go

    Speaker:
    Graham Farr - COLLOQUIUM LECTURE
    Date:
    Tuesday, 12.1.2016, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

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

    A deterministic preprocessing algorithm, especially designed to deal with repeated structures and wide baseline image pairs, is presented. It generates putative matches and their ...

    Speaker:
    Maria Kushnir (Haifa University)
    Date:
    Tuesday, 12.1.2016, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • TCE Guest Lecture (Part II): Creative Teams

    TCE Guest Lecture (Part II): Creative TeamsMaking a Pixar movie involves a team of hundreds of people from widely different disciplines using a lot of sophisticated technology. The scale and ...

    Speaker:
    Rob Cook (Pixar)
    Date:
    Monday, 11.1.2016, 18:30
    Place:
    CS Taub Auditorium 2

    [Full version]

  • TCE Guest Lecture (Part I): Cartoon Physics

    TCE Guest Lecture (Part I): Cartoon Physics 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 ...

    Speaker:
    Rob Cook (Pixar)
    Date:
    Monday, 11.1.2016, 11:30
    Place:
    CS Taub Auditorium 2

    [Full version]

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

    Speaker:
    Tsvi Kopelowitz - CS-Lecture
    Date:
    Thursday, 7.1.2016, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Algorithms for Combinatorial Reoptimization

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

    Speaker:
    Gal Tamir
    Date:
    Wednesday, 6.1.2016, 15:30
    Place:
    Taub 601

    [Full version]

  • The Role of Interaction in Economics and Parallel Computation

    Speaker:
    Omri Weinstein - CS-Lecture - Note unusual day
    Date:
    Wednesday, 6.1.2016, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Automated Circular Assume-Guarantee Reasoning

    Compositional verification techniques aim to decompose the verification of a large system into the more manageable verification of its components. In recent years, compositional ...

    Speaker:
    Karam Abdelkader
    Date:
    Wednesday, 6.1.2016, 12:30
    Place:
    in Taub 601

    [Full version]

  • Theory Seminar: Robust Entanglement Systems

    The folklore on quantum entanglement is that it is a fragile phenomenon and physically very hard to maintain. In quantum complexity theory this raises ...

    Speaker:
    Lior Eldar (MIT)
    Date:
    Wednesday, 6.1.2016, 12:30
    Place:
    Taub 201

    [Full version]

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

    Intel@Technion Lectures: AVX-512: New Opportunities and Challenges for Compilers and ProgrammersThe 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 ...

    Speaker:
    Ayal Zaks (Intel)
    Date:
    Wednesday, 6.1.2016, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Crowd-Powered Data Management

    Speaker:
    Tova Milo - COLLOQUIUM LECTURE
    Date:
    Tuesday, 5.1.2016, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

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

    This lecture will address the fundamental question: What are deep neural networks doing to metrics in the data? We know that two important properties ...

    Speaker:
    Raja Giryes( Tel-Aviv University)
    Date:
    Tuesday, 5.1.2016, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

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

    While the solution of linear inverse problems (BIPs) under both classical signal models and modern sparsity models has been studied extensively and is well ...

    Speaker:
    Yoram Bresler (Urbana-Champaign)
    Date:
    Monday, 4.1.2016, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Improving Parallel Programs with Architectural Insights

    Speaker:
    Adam Morrison - CS-Lecture
    Date:
    Sunday, 3.1.2016, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]