CS Department Events and Talks

  • Effective deductive verification of safety of distributed protocols in unbounded systems

    T B A

    Speaker:
    Mooly Sagiv - COLLOQUIUM LECTURE
    Date:
    Tuesday, 20.6.2017, 14:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • CRYPTODAY 2017

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

    Date:
    Thursday, 15.6.2017, 09:00
    Place:
    CS Taub Auditorium 1

    [Full version]

  • How to find cryptographic needles in exponentially large haystacks

    T B A

    Speaker:
    Adi Shamir - COLLOQUIUM LECTURE
    Date:
    Tuesday, 6.6.2017, 14:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Quantum computation: A computational lens on quantum physics

    Speaker:
    Dorit Aharonov - COLLOQUIUM LECTURE
    Date:
    Tuesday, 16.5.2017, 14:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Communication-efficient Algorithms for Distributed Stream Mining

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

    Speaker:
    Moshe Gabel
    Date:
    Wednesday, 10.5.2017, 13:00
    Place:
    Taub 601

    [Full version]

  • CSpecial Guest: Design by Introspection

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

    Speaker:
    Andrei Alexandrescu
    Date:
    Tuesday, 9.5.2017, 11:00
    Place:
    Room 337 Taub Bld.

    [Full version]

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

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

    Date:
    Friday, 5.5.2017, 09:30
    Place:
    TCE, TECHNION

    [Full version]

  • Coding Theory: LDPC Codes over the q-ary Multi-Bit Channel

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

    Speaker:
    Rami Cohen (CS, Technion)
    Date:
    Sunday, 30.4.2017, 14:30
    Place:
    Taub 601

    [Full version]

  • CGGC Seminar: Geometric Methods for Realistic Animation of Faces

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

    Speaker:
    Amit Bermano (Princeton Graphics Group)
    Date:
    Sunday, 30.4.2017, 13:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Theory Seminar: Agreement Testing and PCPs

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

    Speaker:
    Irit Dinur (​Weizmann Institute of Science)
    Date:
    Wednesday, 26.4.2017, 12:30
    Place:
    Taub 201

    [Full version]

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

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

    Date:
    Wednesday, 26.4.2017, 10:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • ''Blind'' Visual Inference

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

    Speaker:
    Michal Irani - COLLOQUIUM LECTURE
    Date:
    Tuesday, 25.4.2017, 14:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Pixel Club: On Elliptic Operators and Non-rigid Shapes

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

    Speaker:
    Yoni Choukroun (EE, Technnion)
    Date:
    Tuesday, 25.4.2017, 11:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Coding Theory: On the VC-Dimension of Binary Error-Correcting Codes

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

    Speaker:
    Sihuang Hu (Tel Aviv University)
    Date:
    Sunday, 23.4.2017, 14:30
    Place:
    Taub 601

    [Full version]

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

    TCE Guest Lecture: Making General-Purpose Computing Great AgainGeneral-Purpose (GP) CPUs are a quintessential example for “engineering for serendipity” as their current ubiquity seems to exceed the wildest dreams of its originators. ...

    Speaker:
    Uzi Vishkin (University of Maryland)
    Date:
    Thursday, 20.4.2017, 11:00
    Place:
    Room 337 Taub Bld.

    [Full version]

  • A GPU-Friendly Skiplist Algorithm

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

    Speaker:
    Nurit Moscovici
    Date:
    Wednesday, 19.4.2017, 14:00
    Place:
    Taub 601

    [Full version]

  • ceClub: Omid - Low latency, Scalable and Highly-Available Transactions in Distributed Data Storage

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

    Speaker:
    Ohad Shacham (Yahoo Research)
    Date:
    Wednesday, 19.4.2017, 11:30
    Place:
    Taub 301

    [Full version]

  • Entanglement and Geometrical Distances in Quantum Information and Quantum Cryptography

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

    Speaker:
    Rotem Liss
    Date:
    Tuesday, 18.4.2017, 15:00
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: Scalable Transparent ARguments-of-Knowledge

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

    Speaker:
    Michael Riabzev (CS, Technion)
    Date:
    Tuesday, 18.4.2017, 12:30
    Place:
    Taub 201

    [Full version]

  • Pixel Club: Detecting Similar Actions across videos using a view and appearance video descriptor

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

    Speaker:
    Michal Yarom (​Weizmann Institute of Science)
    Date:
    Tuesday, 18.4.2017, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Pixel Club: DT-MRI Guided Focused Ultrasound

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

    Speaker:
    Hagai Tzafrir (CS, Technion)
    Date:
    Thursday, 6.4.2017, 13:30
    Place:
    Taub 201

    [Full version]

  • CSpecial Guest: Page Fault Support for Network Controllers

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

    Speaker:
    Ilya Lesokhin (Technion & Mellanox)
    Date:
    Thursday, 6.4.2017, 13:00
    Place:
    Taub 601

    [Full version]

  • CSpecial Guest: Doing Stuff with LSTMs

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

    Speaker:
    Yoav Goldberg (Bar-Ilan University)
    Date:
    Thursday, 6.4.2017, 11:30
    Place:
    Taub 601

    [Full version]

  • ceClub: GPUpipes: A Scalable Multi-GPU Network Server

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

    Speaker:
    Amir Watad (EE, Technion)
    Date:
    Thursday, 6.4.2017, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Theory Seminar: The Theory that is Missing in The Software Industry

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

    Speaker:
    Yechiel Kimchi (CS,Technnion)
    Date:
    Wednesday, 5.4.2017, 12:30
    Place:
    Taub 201

    [Full version]

  • ceClub: On Routing Games and Net Neutrality

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

    Speaker:
    Ziv Berkovich (EE, Technion)
    Date:
    Wednesday, 5.4.2017, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Pixel Club: Shape Reconstruction: From Axiomatic Coded Light to Learning Stereo

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

    Speaker:
    Ron Slossberg (CS,Technnion)
    Date:
    Wednesday, 5.4.2017, 11:00
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Modularity, classification and networks in analysis of big biomedical data

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

    Speaker:
    Ron Shamir - COLLOQUIUM LECTURE
    Date:
    Tuesday, 4.4.2017, 14:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Pixel Club: Coresets for Kinematic Data: From Theorems to Autonomous Toy-Drones

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

    Speaker:
    Dan Feldman (Haifa University)
    Date:
    Tuesday, 4.4.2017, 11:00
    Place:
    EE Meyer Building 1061

    [Full version]

  • Setting Zigzag Straight - An erasure coding scheme and its evaluation in the cloud

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

    Speaker:
    Matan Liram
    Date:
    Thursday, 30.3.2017, 11:00
    Place:
    Taub 601

    [Full version]

  • Pixel Club: Analysis of Non-Rigid 3D Shapes

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

    Speaker:
    Zorah Lähnerand & Matthias Vestner (TU Munich)
    Date:
    Wednesday, 29.3.2017, 14:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Startup Day and Recruitment at CS

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

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

    [Full version]

  • Theory Seminar: Random High-dimensional Combinatorial Objects

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

    Speaker:
    Nathan Linial (Hebrew University of Jerusalem)
    Date:
    Wednesday, 29.3.2017, 12:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Pixel Club: Unsupervised Cross-Domain Image Generation

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

    Speaker:
    Adam Polyak (Facebook)
    Date:
    Wednesday, 29.3.2017, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • TCE Special Guest Lecture: Revisiting Virtual Caches

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

    Speaker:
    Guri Sohi (University of Wisconsin-Madison)
    Date:
    Wednesday, 29.3.2017, 11:30
    Place:
    EE Meyer Building 861

    [Full version]

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

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

    Date:
    Tuesday, 28.3.2017, 16:30
    Place:
    CS Taub Auditorium 2

    [Full version]

  • CGGC Seminar: Formulae Enumerating Polyominoes by both Area and Perimeter

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

    Speaker:
    Yufei Zheng (CS,Technnion)
    Date:
    Monday, 27.3.2017, 13:00
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Representations and applications of differential operators in geometry processing

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

    Speaker:
    Omri Azencot
    Date:
    Sunday, 26.3.2017, 13:30
    Place:
    Taub 401

    [Full version]

  • Coding Theory: Twenty (Simple) Questions

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

    Speaker:
    Yuval Filmus (CS,​​Technnion)​​
    Date:
    Sunday, 26.3.2017, 12:30
    Place:
    Taub 601

    [Full version]

  • Distributed Approximation for Tree Augmentation

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

    Speaker:
    Michal Dory
    Date:
    Sunday, 26.3.2017, 11:30
    Place:
    Taub 301

    [Full version]

  • Theory Seminar: Exact Learning of Juntas from Membership Queries

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

    Speaker:
    Areej Costa (CS,​​Technnion)​​
    Date:
    Wednesday, 22.3.2017, 12:30
    Place:
    Taub 201

    [Full version]

  • ceClub: Making Network Functions Software-Defined

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

    Speaker:
    Yotam Harchol (VMWare Research)​​
    Date:
    Wednesday, 22.3.2017, 11:30
    Place:
    Taub 301

    [Full version]

  • Pixel Club: RNN Fisher Vectors for Action Recognition and Image Annotation

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

    Speaker:
    Guy Lev (IBM)
    Date:
    Tuesday, 21.3.2017, 11:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • The Relationship Between Agnostic Selective Classification and Active Learning

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

    Speaker:
    Roei Gelbhart
    Date:
    Sunday, 19.3.2017, 15:00
    Place:
    Taub 601

    [Full version]

  • CGGC Seminar: Dense Packing of Congruent Circles in Free-form Non-convex Containers

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

    Speaker:
    Jinesh Machchhar (CS,​​Technnion)​​
    Date:
    Sunday, 19.3.2017, 13:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • The 4th Technion-Intel Challenge (2018)

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

    Date:
    Sunday, 19.3.2017, 13:30
    Place:
    EE Meyer Building 1003

    [Full version]

  • Exact Programming by Examples

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

    Speaker:
    Dana Drachsler-Cohen
    Date:
    Thursday, 16.3.2017, 11:00
    Place:
    Taub 601

    [Full version]

  • Algorithms for Environments with Uncertainty

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

    Speaker:
    Gregory Schwartzman
    Date:
    Wednesday, 15.3.2017, 15:00
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: Interactive Coding with Efficient Round and Communication Blowup

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

    Speaker:
    Elad Haramaty (Harvard University)
    Date:
    Wednesday, 15.3.2017, 12:30
    Place:
    Taub 201

    [Full version]

  • Pixel Club: Multi-scale Low Rank Matrix Decomposition

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

    Speaker:
    Frank Hai Ong (Berkeley​)
    Date:
    Wednesday, 15.3.2017, 11:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Twenty questions game using simple questions

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

    Speaker:
    Yuval Dagan
    Date:
    Tuesday, 14.3.2017, 13:00
    Place:
    Taub 601

    [Full version]

  • Pixel Club: ​​In Situ Target-Less Calibration of Turbid Media Optical Properties

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

    Speaker:
    Or Spier​​ (Technnion)​
    Date:
    Tuesday, 14.3.2017, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • TCE Guest Lecture: Nanoscale Memristive Devices for Brain-inspired Computing and BeyondNanoscale Memristive Devices for Brain-inspired Computing and Beyond

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

    Speaker:
    Q​​iangfei Xia (University of Massachusetts Amherst)
    Date:
    Tuesday, 14.3.2017, 11:30
    Place:
    EE Meyer Building 861

    [Full version]

  • CGGC Seminar: Solving Piecewise Polynomial Constraint Systems with Decomposition using Subdivision-Based Solver

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

    Speaker:
    Boris van Sosin (CS, Technion)
    Date:
    Sunday, 5.3.2017, 13:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Pixel Club: Perceptual Representation Learning Across Diverse Modalities and Domains

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

    Speaker:
    ​​Trevor Darrell​ (UC Berkeley​)​
    Date:
    Tuesday, 28.2.2017, 14:30
    Place:
    EE Meyer Building 1003

    [Full version]

  • Efficiently Enumerating Tree Decompositions

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

    Speaker:
    Nofar Carmeli
    Date:
    Sunday, 26.2.2017, 12:30
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: Public Randomness, Blockchains and Proofs-of-delay

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

    Speaker:
    Joseph Bonneau (Stanfrord University)
    Date:
    Sunday, 26.2.2017, 11:30
    Place:
    Taub 401

    [Full version]

  • Hash Code 2017 by Google at CS

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

    Date:
    Thursday, 23.2.2017, 18:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • A Scalable Linearizable Multi-Index Table

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

    Speaker:
    Gal Sheffi
    Date:
    Wednesday, 22.2.2017, 14:30
    Place:
    Taub 401

    [Full version]

  • Remote Memory References at Block Granularity

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

    Speaker:
    Gili Yavneh
    Date:
    Tuesday, 21.2.2017, 13:00
    Place:
    Taub 601

    [Full version]

  • Pixel Club: Computational Imaging Through Scattering

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

    Speaker:
    Guy Satat (​​MIT)
    Date:
    Tuesday, 21.2.2017, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Class invariants: old concept and new results

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

    Speaker:
    Bertrand Meyer - GUEST LECTURE - Note unusual day
    Date:
    Monday, 20.2.2017, 14:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Syntax-Guided Modular Analysis of Semantic Difference for Program Versions

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

    Speaker:
    Anna Trostanetski
    Date:
    Wednesday, 15.2.2017, 13:00
    Place:
    Taub 701

    [Full version]

  • An Automata-Theoretic Approach to Modeling Systems and Specifications Over Infinite Data

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

    Speaker:
    Hadar Frenkel
    Date:
    Wednesday, 15.2.2017, 12:00
    Place:
    Taub 701

    [Full version]

  • Nano-Patterns Language for Java

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

    Speaker:
    Ori Marcovitch
    Date:
    Tuesday, 14.2.2017, 13:30
    Place:
    Taub 601

    [Full version]

  • Geosocial Search: Finding Places based on Geotagged Social-Media

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

    Speaker:
    Barak Pat
    Date:
    Tuesday, 14.2.2017, 12:30
    Place:
    Taub 601

    [Full version]

  • Pixel Club: Diving into Haze-Lines: Underwater Color Restoration using Haze-Lines

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

    Speaker:
    Dana Berman (Tel-Aviv University)
    Date:
    Tuesday, 14.2.2017, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Two-Party Direct-Sum Questions through the Lens of Multiparty Communication Complexity

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

    Speaker:
    Itay Hazan
    Date:
    Monday, 13.2.2017, 13:00
    Place:
    Taub 337

    [Full version]

  • Pixel Club: ​Inner-Scene Similarities as a Contextual Cue for Object Detection

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

    Speaker:
    Noa Arbel​ (CS,​​Technnion)​​
    Date:
    Tuesday, 7.2.2017, 11:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • CGGC Seminar: Subdivision Based Solvers: Solutions with Topological Guarantee of Algebraic Sets with Applications

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

    Speaker:
    Yonathan Mizrahi (Mathematics, Technion)
    Date:
    Sunday, 5.2.2017, 13:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Face Reconstruction - A Learning Approach

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

    Speaker:
    Elad Richardson
    Date:
    Thursday, 2.2.2017, 11:30
    Place:
    Taub 337

    [Full version]

  • Formulae and Growth Rates of Animals on Cubical and Triangular Lattices

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

    Speaker:
    Mira Shalah
    Date:
    Wednesday, 1.2.2017, 13:00
    Place:
    Taub 601

    [Full version]

  • YAHOO DAY at CS

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

    Date:
    Wednesday, 25.1.2017, 15:00
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Theory Seminar: Lower Bound on the Step Complexity of Anonymous Binary Consensus

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

    Speaker:
    Ohad Ben Baruch (Ben-Gurion University)
    Date:
    Wednesday, 25.1.2017, 12:30
    Place:
    Taub 201

    [Full version]

  • ceClub: Achieving Scalable Formal Verification through Generalization and Abstraction

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

    Speaker:
    Yakir Vizel (Princeton University)
    Date:
    Wednesday, 25.1.2017, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Project Fair in IoT and Android

    Project Fair in IoT and AndroidThe Systems and Software Development Laboratory (SSDL) invites you to visit the IoT and Android Fair and check out the new projects presented by ...

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

    [Full version]

  • Pixel Club: ​Human Pose Estimation using Deep Consensus Voting

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

    Speaker:
    Ethan Fetaya (​Weizmann Institute of Science)
    Date:
    Tuesday, 24.1.2017, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Robust and Simple Market Design

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

    Speaker:
    Inbal Talgam Cohen - CS-Lecture
    Date:
    Monday, 23.1.2017, 10:30
    Place:
    Room 601 Taub Bld.

    [Full version]

  • Coding Theory: Multiset Combinatorial Batch Codes

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

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

    [Full version]

  • Achieving Scalable Formal Verification through Generalization and Abstraction

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

    Speaker:
    Yakir Vizel - CS-Lecture
    Date:
    Thursday, 19.1.2017, 10:30
    Place:
    Room 601 Taub Bld.

    [Full version]

  • ceClub: Leveraging RDMA for Strongly Consistent Replication at Large Scale

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

    Speaker:
    Ken Birman (Cornell University)
    Date:
    Wednesday, 18.1.2017, 14:30
    Place:
    Taub 301

    [Full version]

  • Theory Seminar: Multi-parameter Approximation Schemes for APX-Hard Optimization Problems

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

    Speaker:
    Nir Halman (Hebrew University of Jerusalem)
    Date:
    Wednesday, 18.1.2017, 12:30
    Place:
    Taub 201

    [Full version]

  • ceClub: Crowd Mining: A Framework for Mining the Knowledge of Web Users

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

    Speaker:
    Yael Amsterdamer (Ben-Gurion University)
    Date:
    Wednesday, 18.1.2017, 11:30
    Place:
    Taub 401

    [Full version]

  • Antibiotic resistance: machine learning to the rescue

    Speaker:
    Roy Kishony - COLLOQUIUM LECTURE
    Date:
    Tuesday, 17.1.2017, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • How to Prove the Corretness of Computations

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

    Speaker:
    Ron Rothblum - CS-Lecture
    Date:
    Thursday, 12.1.2017, 10:30
    Place:
    Room 601 Taub Bld.

    [Full version]

  • On the consistency of principal component analysis in software metrics

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

    Speaker:
    Gal Lalouche
    Date:
    Wednesday, 11.1.2017, 13:30
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: Non-adaptive learning of a hidden Hypergraph

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

    Speaker:
    Hasan Abasi (CS, Technion)
    Date:
    Wednesday, 11.1.2017, 12:30
    Place:
    Taub 201

    [Full version]

  • ceClub: Distributed and Privacy Preserving Planning

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

    Speaker:
    Ronen Brafman (Ben-Gurion University)
    Date:
    Wednesday, 11.1.2017, 11:30
    Place:
    EE Meyer Building 861

    [Full version]

  • CS Guest Lecture: Cracking Multi-Language Transformations

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

    Speaker:
    Jimmy Koppel (MIT)
    Date:
    Monday, 9.1.2017, 11:30
    Place:
    Taub 701

    [Full version]

  • Hardness in P

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

    Speaker:
    Amir Abboud - CS-LECTURE
    Date:
    Sunday, 8.1.2017, 10:30
    Place:
    Room 601 Taub Bld.

    [Full version]

  • Graph Algorithms for Distributed Networks

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

    Speaker:
    Merav Parter - CS-Lecture -
    Date:
    Thursday, 5.1.2017, 10:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Pixel Club: Calibration of Multi-Camera Systems by Global Constraints on the Motion of Silhouettes

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

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

    [Full version]

  • Constraint Based Isotope Tracing

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

    Speaker:
    Michael Balber
    Date:
    Wednesday, 4.1.2017, 13:00
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: Explicit Two-source Extractors for Near-logarithmic Min-entropy

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

    Speaker:
    Dean Doron (Tel-Aviv University)
    Date:
    Wednesday, 4.1.2017, 12:30
    Place:
    Taub 201

    [Full version]

  • On Artificial Olfaction, and How to Test For It

    Speaker:
    David Harel - COLLOQUIUM LECTURE
    Date:
    Tuesday, 3.1.2017, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Learning to act from observational data

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

    Speaker:
    Uri Shalit
    Date:
    Tuesday, 3.1.2017, 10:30
    Place:
    Room 601 Taub Bld.

    [Full version]

  • Pixel Club: How Structure can Improve the Theory and Practice in Neural Networks?

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

    Speaker:
    Raja Giryes (Tel-Aviv University)
    Date:
    Tuesday, 3.1.2017, 10:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Learning to act from observational data

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

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

    [Full version]