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

CS Department Events and Talks

  • Deep Learning Models for Language: What they learn, where they fail, and how to make them more robust

    Deep learning has become pervasive in everyday life, powering language applications like Apple's Siri, Amazon's Alexa, and Google Translate. The inherent limitation of these ...

    Speaker:
    Yonatan Belinkov - CS-Lecture
    Date:
    Monday, 31.12.2018, 10:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • CRYPTODAY 2018

    CRYPTODAY 2018The 2018 Workshop in Cryptology, organized by the Technion Hiroshi Fujiwara Cyber Security Research Center, will be held on Monday, December 31 2018, ...

    Date:
    Monday, 31.12.2018, 09:00
    Place:
    Water Institute Auditorium, Technion

    [Full version]

  • Coding Theory: Covering Sets for Limited-Magnitude Errors

    For a set M = {−µ, −µ + 1, . . . , λ} \ {0} with non-negative integers λ, µ Small covering sets ...

    Speaker:
    Igor Shparlinski (The University of New South Wales)
    Date:
    Sunday, 30.12.2018, 14:30
    Place:
    Taub 601

    [Full version]

  • Certifiable Algorithms in Automated Verification

    In formal verification, one uses mathematical tools in order to prove that a system satisfies a given specification. A limitation of traditional formal-verification algorithms ...

    Speaker:
    Shaull Almagor - CS-Lecture
    Date:
    Thursday, 27.12.2018, 10:30
    Place:
    Room 601 Taub Bld.

    [Full version]

  • Theory Seminar: Approximating Edit Distance Within Constant Factor in Truly Sub-Quadratic Time

    Edit distance is a measure of similarity of two strings based on the minimum number of character insertions, deletions, and substitutions required to transform ...

    Speaker:
    Elazar Goldenberg (Academic College of Tel Aviv-Yaffo)
    Date:
    Wednesday, 26.12.2018, 12:30
    Place:
    Taub 201

    [Full version]

  • Pixel Club: Underwater Wide-Field Tomography of Sediment Resuspension

    Sediment resuspension is the transport of previously settled particles from the seafloor back into the overlying water. Measuring these abrupt and spatially varying events ...

    Speaker:
    Adi Vainiger (EE, Technion)
    Date:
    Tuesday, 25.12.2018, 11:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Predicting a Better Future for Asynchronous SGD with DANA

    Distributed training can significantly reduce the training time of neural networks. Despite its potential, however, distributed training has not been widely adopted due to ...

    Speaker:
    Ido Hakimi
    Date:
    Monday, 24.12.2018, 11:00
    Place:
    Taub 601

    [Full version]

  • Coding Theory: Constrained Code and Its Applications for Flash Memories.

    Constrained codes have been studied actively for a long time with numerous applications in data recording and data communication systems. Recently, various types of ...

    Speaker:
    Vu Van Khu (Nanyang Technological University, Singapore)
    Date:
    Sunday, 23.12.2018, 14:30
    Place:
    Taub 601

    [Full version]

  • Towards Interpretable Deep Learning for Natural Language Processing

    Despite their superb empirical performance, deep learning models for natural language processing (NLP) are often considered black boxes, as relatively little is known as ...

    Speaker:
    Roy Schwartz - CS-Lecture
    Date:
    Thursday, 20.12.2018, 10:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Theory Seminar: Almost Polynomial Hardness of Node-Disjoint Paths in Grids

    In the classical Node-Disjoint Paths (NDP) problem, we are given an n-vertex graph G, and a collection of pairs of its vertices, called demand ...

    Speaker:
    Julia Chuzhoy (TTIC)
    Date:
    Wednesday, 19.12.2018, 12:30
    Place:
    Taub 201

    [Full version]

  • Pixel Club: Computational Optimal Transport for Data Sciences

    Optimal transport (OT) has become a fundamental mathematical tool at the interface between calculus of variations, partial differential equations and probability. It took however ...

    Speaker:
    Gabriel Peyré (CNRS and Ecole Normale Supérieure)
    Date:
    Tuesday, 18.12.2018, 11:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Coding Theory: New constructions of batch codes

    A primitive k-batch code encodes a string x of length n into string y of length N, such that each multiset of k symbols ...

    Speaker:
    Ilya Vorobyev (Skolkovo Institute of Science and Technology in Moscow)
    Date:
    Sunday, 16.12.2018, 14:30
    Place:
    Taub 601

    [Full version]

  • Towards the Next Generation of Proof Assistants: Enhancing the Proofs-as-Programs Paradigm

    As software has grown increasingly critical to our society's infrastructure, mechanically-verified software has grown increasingly important, feasible, and prevalent. Proof assistants have seen tremendous ...

    Speaker:
    Liron Cohen - CS-Lecture
    Date:
    Sunday, 16.12.2018, 10:30
    Place:
    Room 701 Taub Bld.

    [Full version]

  • Beyond SGD: Data Adaptive Methods for Machine Learning

    The tremendous success of the Machine Learning paradigm heavily relies on the development of powerful optimization methods. The canonical algorithm for training learning models ...

    Speaker:
    Kfir Levy - CS-Lecture
    Date:
    Thursday, 13.12.2018, 10:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • CSpecial Talk: Efficient Identification of Malicious Flows and Networks

    CSpecial Talk: Efficient Identification of Malicious Flows and NetworksDistributed Denial of Service (DDoS) attacks are doubling in both number and volume on a yearly basis. These pose a critical threat to financial ...

    Speaker:
    Ran Ben-Basat (Harvard University)
    Date:
    Wednesday, 12.12.2018, 13:30
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: Fairness through Computationally-Bounded Awareness

    As algorithmic prediction systems have become more widespread, so too have concerns that these systems may be discriminatory against groups of people protected by ...

    Speaker:
    Michael Kim (Stanford University)
    Date:
    Wednesday, 12.12.2018, 12:30
    Place:
    Taub 201

    [Full version]

  • VNF Latency Aware Placement in Multi-Access Edge Computing Environment

    Multi-access Edge Computing (MEC) is a new network architecture that allows applications and network services to be executed at the edge of the network. ...

    Speaker:
    Dor Harris
    Date:
    Tuesday, 11.12.2018, 14:00
    Place:
    Taub 601

    [Full version]

  • Pixel Club: Re-rendering Reality: Enhancing Vision and Hearing

    We all capture the world around us through digital data such as images, videos and sound. However, in many cases, we are interested in ...

    Speaker:
    Tali Dekel (Google,Cambridge)
    Date:
    Tuesday, 11.12.2018, 11:30
    Place:
    Electrical Eng. Building 1061

    [Full version]

  • MMSE Approximation For Sparse Coding Algorithms Using Stochastic Resonance

    Sparse coding refers to the pursuit of the sparsest representation of a signal in a typically overcomplete dictionary. From a Bayesian perspective, sparse coding ...

    Speaker:
    Dror Simon
    Date:
    Monday, 10.12.2018, 15:00
    Place:
    Taub 201

    [Full version]

  • Coding Theory: Improved Decoding of Folded Reed-Solomon and Multiplicity Codes

    List-decoding is an important primitive in the theory of error correcting codes, and it has long been a goal to obtain explicit constructions of ...

    Speaker:
    Mary Wootters (Stanford University)
    Date:
    Sunday, 9.12.2018, 14:30
    Place:
    Taub 601

    [Full version]

  • CGGC Seminar: A NURBS-based Multi-stage Approach for Shape Optimization of Mixing Elements in Single-screw Extruder

    Today, extrusion is a one of the most important techniques for manufacturing continuous polymer profiles. Despite their widespread use, extruded products initially often suffer ...

    Speaker:
    Sebastian Eusterholz (RWTH Aachen University)
    Date:
    Wednesday, 5.12.2018, 13:30
    Place:
    Taub 401

    [Full version]

  • Coding Theory: Load Balanced Fractional Repetition Codes

    We introduce load-balanced fractional repetition (LBFR) codes, which are a strengthening of fractional repetition (FR) codes. LBFR codes have the additional property that multiple ...

    Speaker:
    Shashwat Silas (Stanford University)
    Date:
    Sunday, 2.12.2018, 14:30
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: The Power of Distributed Verifiers in Interactive Proofs

    We explore the power of interactive proofs with a distributed verifier. In this setting, the verifier consists of $n$ nodes and a graph $G$ ...

    Speaker:
    Eylon Yogev (CS, Technion)
    Date:
    Wednesday, 28.11.2018, 12:30
    Place:
    Taub 201

    [Full version]

  • ceClub: New Paradigms for Cryptographic Hashing

    Cryptographic hash functions are the basis of many important and far reaching results in cryptography, complexity theory, and beyond. In particular, hash functions are ...

    Speaker:
    Ilan Komargodski (Cornell Tech)
    Date:
    Wednesday, 28.11.2018, 11:30
    Place:
    EE Meyer Building 861

    [Full version]

  • Coding Theory: Coding over Sets for DNA Storage

    In this talk, we will present error-correcting codes for the storage of data in synthetic deoxyribonucleic acid (DNA). We investigate a storage model where ...

    Speaker:
    Andreas Lenz (Technical University of Munich)
    Date:
    Sunday, 25.11.2018, 14:30
    Place:
    Taub 601

    [Full version]

  • CGGC Seminar: Real-time Viscous Thin Films

    We propose a novel discrete scheme for simulating viscous thin films at real-time frame rates. Our scheme is based on a new formulation of ...

    Speaker:
    Orestis Vantzos and Saar Raz (CS, Technion)
    Date:
    Thursday, 22.11.2018, 09:00
    Place:
    Taub 401

    [Full version]

  • CSpecial Talk: Constructing a Trapped Ion Quantum Computer

    CSpecial Talk: Constructing a Trapped Ion Quantum ComputerQuantum computers may be able to solve certain problems that are so complicated that even the fastest supercomputer would take millions of years to ...

    Speaker:
    Winfried Hensinger (Sussex Centre for Quantum Technologies)
    Date:
    Wednesday, 21.11.2018, 15:00
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: Colouring Directed Hamilton Cycles Online

    Consider a directed analogue of the random graph process on $n$ vertices, whereby the $n^2-n$ directed edges are ordered uniformly at random and revealed ...

    Speaker:
    Joseph Briggs (Mathematics, Technion)
    Date:
    Wednesday, 21.11.2018, 12:30
    Place:
    Taub 201

    [Full version]

  • ceClub: Vulnerability, Security and Privacy at the Edge of Computing

    The steady rise of intelligence and autonomy over a scale of distributed, connected and smart components is heralding the era of Internet-of-Intelligence. Without adequate ...

    Speaker:
    Anupam Chattopadhyay (Nanyang Technological University)
    Date:
    Wednesday, 21.11.2018, 11:30
    Place:
    EE Meyer Building 861

    [Full version]

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

    CSpecial Talk: How to Turn a Degree to a CareerWe are happy to invite your to the first of series of meetings on career and job seeking which will be held at CS. ...

    Speaker:
    Yonathan Yaniv (YOTPO)
    Date:
    Tuesday, 20.11.2018, 18:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Pixel Club: Understanding Scene Semantics from Vehicles

    Going from driving assistance to autonomous driving, requires a deeper understanding of the surroundings of the vehicle. Driving assistance systems provide technological solutions that ...

    Speaker:
    Idan Geller and Kobi Bentolila (Mobileye)
    Date:
    Tuesday, 20.11.2018, 11:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • CSpecial Talk: Neuro-Symbolic Program Synthesis

    Program synthesis, the task of automatically finding a program that satisfies a given user intent specification, has been successfully applied to aid commercial data ...

    Speaker:
    Alex (Oleksandr) Polozov (Microsoft Research AI – Redmond)
    Date:
    Monday, 19.11.2018, 12:00
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Coding Theory: Spatially-Coupled LDPC Codes With Random Access

    One of the most promising error correcting schemes is the family of Spatially-Coupled (SC) LDPC codes. SC-LDPC codes achieve capacity universally on memoryless binary ...

    Speaker:
    Eshed Ram (Technion)
    Date:
    Sunday, 18.11.2018, 14:30
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: Bounded Independence Plus Noise and its Applications to Coding Theory and Pseudorandomness

    We show that bounded independent distributions under perturbation of noise fool product tests, which are products of bounded functions defined on disjoint inputs. These ...

    Speaker:
    Chin Ho Lee (Northeastern University)
    Date:
    Wednesday, 14.11.2018, 12:30
    Place:
    Taub 201

    [Full version]

  • ceClub: Smart Distributed Storage for the Datacenter

    There is a widening gap in the datacenter between data growth and stagnating CPU performance. This gap limits our ability to solve more complex ...

    Speaker:
    Zsolt Istvan (IMDEA Software Institute in Madrid, Spain)
    Date:
    Wednesday, 14.11.2018, 11:30
    Place:
    Electrical Eng. Building 1061

    [Full version]

  • COLLOQUIUM LECTURE - Facing Old New Frontiers in Visual Object Recognition Using Deep Learning

    The emergence of very effective deep learning techniques in recent years has affected almost all areas of research remotely related to AI, and computer ...

    Speaker:
    Daphna Weinshall
    Date:
    Tuesday, 13.11.2018, 14:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • FORESHADOW: Extracting the Keys to the Intel SGX Kingdom with Transient Out-of-Order Execution

    Trusted execution environments, and particularly the Software Guard eXtensions (SGX) included in recent Intel x86 processors, gained significant traction in recent years. A long ...

    Speaker:
    Marina Minkin
    Date:
    Sunday, 11.11.2018, 17:30
    Place:
    Electrical Eng. Building 1061

    [Full version]

  • Coding Theory: Functional PIR and Batch Codes

    Codes with locality and/or availability have been extensively studied in recent years, including locally repairable codes (LRC), PIR codes, batch codes, etc. Usually in ...

    Speaker:
    Yiwei Zhang (CS, Technion)
    Date:
    Sunday, 11.11.2018, 14:30
    Place:
    Taub 601

    [Full version]

  • LOFT: Lock-Free Transactional Data Structures

    Concurrent data structures are widely used in modern multi-core architectures, providing atomicity (linearizability) for each concurrent operation. However, it is often desirable to execute ...

    Speaker:
    Avner Elizarov
    Date:
    Sunday, 11.11.2018, 11:00
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: Lossless Dimension Expanders via Linearized Polynomials and Subspace Designs

    or a vector space F^n over a field F, an (η, ß)-dimension expander of degree d is a collection of d linear maps Γ_j ...

    Speaker:
    Nicolas Resch (Carnegie Mellon University)
    Date:
    Wednesday, 7.11.2018, 12:30
    Place:
    Taub 201

    [Full version]

  • Indoor Positioning of a Robotic Vehicle Using a Single Camera and a Floorplan

    Global localization for robotic vehicles is an essential backbone for robust autonomous navigation. While GPS systems offer effective solutions in outdoor environments, they are ...

    Speaker:
    John Noonan
    Date:
    Tuesday, 6.11.2018, 15:00
    Place:
    Taub 601

    [Full version]

  • COLLOQUIUM LECTURE - Learning-Driven Network Protocols

    Machine learning (ML) has deeply impacted many areas of computer science, including computer vision, natural language processing, computational biology, and beyond. Yet, computer networking ...

    Speaker:
    Michael Schapira
    Date:
    Tuesday, 6.11.2018, 14:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Pixel Club: Multicolor Localization Microscopy by Deep Learning

    Deep learning has become an extremely effective tool for image classification and image restoration problems. Here, we apply deep learning to microscopy, and demonstrate ...

    Speaker:
    Eran Hershko (EE, Technion)
    Date:
    Tuesday, 6.11.2018, 11:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Coding Theory: On the List-decodability of Random Linear Rank-metric Codes

    At its core, coding theory studies how many elements of a (finite) vector space one can pack subject to the constraint that the elements ...

    Speaker:
    Nicolas Resch (Carnegie Mellon University)
    Date:
    Sunday, 4.11.2018, 14:30
    Place:
    Taub 601

    [Full version]

  • CGGC Seminar: Tangent Estimation of 3D Digital Curves

    In this talk I will discuss a new tangent estimator for 3D digital curves. The proposed estimator is based on 3D digital line recognition, ...

    Speaker:
    Kacper Pluta (CS, Technion)
    Date:
    Sunday, 4.11.2018, 13:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Theory Seminar: Random Binary Search Trees with Concurrent Insertions

    We consider the following simple random experiment to determine the impact of concurrency on the performance of binary search trees: n randomly permuted keys ...

    Speaker:
    George Giakkoupis (IRISA/INRIA Rennes)
    Date:
    Wednesday, 31.10.2018, 12:30
    Place:
    Taub 201

    [Full version]

  • Coding Theory: Codes, Computation, and Privacy

    Data intensive tasks have been ubiquitous ever since the data science revolution. The immensity of contemporary datasets no longer allows computations to be done ...

    Speaker:
    Netanel Raviv (California Institute of Technology)
    Date:
    Sunday, 28.10.2018, 14:30
    Place:
    Taub 601

    [Full version]

  • Exploring the signal manifold of super-imposed pulses

    Large points cloud X in $R^{n\times D}$ are often assumed to be sampled from a k-dimensional manifold where $k 1$). However, there is no ...

    Speaker:
    Charles Sutton
    Date:
    Thursday, 25.10.2018, 14:00
    Place:
    Taub 401

    [Full version]

  • Theory Seminar: Exploring Crypto Dark Matter: New Simple PRF Candidates and Their Applications

    Pseudorandom functions (PRFs) are one of the fundamental building blocks in cryptography. Traditionally, there have been two main approaches for PRF design: the "practitioner's ...

    Speaker:
    David Wu (Stanford University)
    Date:
    Wednesday, 24.10.2018, 12:30
    Place:
    Taub 201

    [Full version]

  • Pixel Club: Ultrasound Imaging with Deep Neural Networks

    Medical ultrasound (US) is a widespread imaging modality owing its popularity to cost efficiency, portability, speed, and lack of harmful ionizing radiation. At the ...

    Speaker:
    Ortal Senouf (CS, Technion)
    Date:
    Tuesday, 23.10.2018, 11:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • TCE Guest Lecture: Future of Computing – Domain Specific Accelerators

    TCE Guest Lecture: Future of Computing – Domain Specific AcceleratorsScaling of computing performance enables new applications and greater value from computing. With the end of Moore’s Law and Dennard Scaling, continued performance scaling ...

    Speaker:
    William J. Dally (Stanford University)
    Date:
    Wednesday, 17.10.2018, 14:30
    Place:
    EE Meyer Building 280

    [Full version]

  • Pixel Club: A Local Block Coordinate Descent Algorithm for the Convolutional Sparse Coding Model

    The Convolutional Sparse Coding (CSC) model has recently gained considerable traction in the signal and image processing communities. By providing a global, yet tractable, ...

    Speaker:
    Ev Zisselman (CS, Technion)
    Date:
    Tuesday, 16.10.2018, 11:00
    Place:
    Taub 401

    [Full version]

  • Label Expansion - Integrating Prior Knowledge to Large Label Set Tasks

    In many Natural Language Processing classification tasks, the label space consists of the entire vocabulary, and therefore might have hundreds of thousands of labels. ...

    Speaker:
    Dor Zohar
    Date:
    Thursday, 11.10.2018, 14:30
    Place:
    Taub 301

    [Full version]

  • Pixel Club: Approximation Algorithms for Aligning Points to Lines with Applications to Visual Tracking

    We consider the pose-estimation problem of aligning (rotating and translating) a set of n points to a corresponding set of n lines, both on ...

    Speaker:
    Ibrahim Jubran (Haifa University)
    Date:
    Monday, 8.10.2018, 11:00
    Place:
    Taub 401

    [Full version]

  • The 7th Summer School on Cyber and Computer Security

    The 7th Summer School on Cyber and Computer Security The Hiroshi Fujiwara Cyber Security Research Center will hold the 7th Summer School on Cyber and Computer Security: "Trusted Execution and Hardware Side Channels". ...

    Date:
    Tuesday, 2.10.2018, 09:30
    Place:
    Technion

    [Full version]

  • Trivariate volumes - Algorithms and Applications

    This work investigates algorithms and data structures for volumetric representation (V-reps) of 3D objects, representing the interior of the object in addition to its ...

    Speaker:
    Fady Massarwi
    Date:
    Sunday, 16.9.2018, 13:30
    Place:
    Taub 337

    [Full version]

  • CGGC Seminar: Improving the Upper Bound on the Number of Polycubes

    A d-dimensional polycube is a facet-connected set of cells (cubes) on the d-dimensional cubical lattice. Let Ad(n) denote the number of d-dimensional polycubes (distinct ...

    Speaker:
    Mira Shalah (Stanford University)
    Date:
    Wednesday, 12.9.2018, 13:30
    Place:
    Taub 401

    [Full version]

  • CGGC Seminar: From Geometry to Simulation and Back: Numerical Design in Primary Manufacturing Processes

    Using a mold or die, primary shaping manufacturing processes form material from an initially unshaped state (usually melt) into a desired shape. Examples of ...

    Speaker:
    Stefanie Elgeti (RWTH Aachen University)
    Date:
    Wednesday, 5.9.2018, 13:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Characterization of Cellular Metabolism throughout the Cell Cycle in Cancer: An Integrated Experimental-Computational Approach

    Cellular metabolic demands change throughout the cell cycle. Nevertheless, a characterization of how metabolic fluxes adapt to the changing demands throughout the cell cycle ...

    Speaker:
    Eunyong Ahn
    Date:
    Tuesday, 4.9.2018, 14:00
    Place:
    Taub 601

    [Full version]

  • Trusted Execution Environments

    As the cyber security threat continues to grow, we need to better defend our systems. One of the ways to improve the security of ...

    Speaker:
    Assaf Rosenbaum
    Date:
    Wednesday, 29.8.2018, 10:00
    Place:
    Taub 601

    [Full version]

  • Pixel Club: A Deep Learning Approach for Generic Image Segmentation

    Recent advances in deep learning and convolutional neural networks (CNNs) have had a profound impact on almost every computer vision task. However, generic (non-semantic) ...

    Speaker:
    Oran Shayer (EE, Technion)
    Date:
    Sunday, 19.8.2018, 10:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • CGGC Seminar: Automatic View Placement in 3D toward Hierarchical Non-linear Presentations

    Moving from the concept of discrete sequences of 2D slides towards smooth 3D multimodal hierarchical presentations promises many improvements in quality and effectiveness of ...

    Speaker:
    Daniil Rodin (CS, Technion)
    Date:
    Sunday, 5.8.2018, 13:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Hardware Security Seminar: Discovered@Technion -- Breaking the Bluetooth Pairing

    Hardware Security Seminar: Discovered@Technion -- Breaking the Bluetooth PairingBluetooth is a widely deployed platform for wireless communications between mobile devices. It uses authenticated Elliptic Curve Diffie-Hellman for its key exchange. We show ...

    Speaker:
    Lior Neumann (CS, Technion)
    Date:
    Sunday, 29.7.2018, 09:30
    Place:
    Taub 601

    [Full version]

  • Prototype-Based Drug Discovery using Conditional Diversity Networks

    Designing a new drug is an expensive and lengthy process. The first stage is drug discovery, in which potential drugs are identified before selecting ...

    Speaker:
    Shahar Harel
    Date:
    Sunday, 22.7.2018, 13:30
    Place:
    Taub 301

    [Full version]

  • Multi-Task Learning for Text Processing on the Web

    Text processing on the web is challenging due to the use of informal and ungrammatical language. Yet, this is a very prominent domain for ...

    Speaker:
    Rivka Malca
    Date:
    Thursday, 19.7.2018, 15:00
    Place:
    Taub 601

    [Full version]

  • Metabolic Modeling for Bioengineering

    Efficient and sustainable conversion of biomass into valuable products is a major challenge for bioengineering. The composition of the feedstock biomass and the ability ...

    Speaker:
    Edward Vitkin
    Date:
    Sunday, 1.7.2018, 14:30
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: An Equivalence Between Attribute-Based Signatures and Homomorphic Signatures, and New Constructions for Both

    In Attribute-Based Signatures an authority can generate multiple signing keys, where each key is associated with a constraint f. A key respective to f ...

    Speaker:
    Rotem Tsabary (Weizmann Institute of Science)
    Date:
    Wednesday, 27.6.2018, 12:30
    Place:
    Taub 201

    [Full version]

  • Real-time Learning using Core-Sets: Autonomous Drones for Rami Levy

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

    Speaker:
    Dan Feldman - COLLOQUIUM LECTURE
    Date:
    Tuesday, 26.6.2018, 14:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • TODAY! CS Yearly Project Fair

    TODAY! CS Yearly Project FairCS Labs invited you to visit the Yearly Project Fair that will be held on Tuesday, June 26, 2018, starting at 13:00, in ...

    Date:
    Tuesday, 26.6.2018, 13:00
    Place:
    CS Taub Lobby and 1st Floor

    [Full version]

  • Properties of Minimal-Perimeter Polyominoes

    A polyomino is an edge-connected set of cells on the square lattice. The problem of counting poyominoes dates back to the 1950s when it ...

    Speaker:
    Gil Ben-Shachar
    Date:
    Tuesday, 26.6.2018, 10:30
    Place:
    Taub 601

    [Full version]

  • New Lower Bounds for Communication Models under Bandwidth Restrictions

    In this talk I will sketch two lower bound techniques for distributed models under bandwidth restrictions. The first is via reductions from the two ...

    Speaker:
    Seri Khoury
    Date:
    Monday, 25.6.2018, 13:30
    Place:
    Taub 601

    [Full version]

  • CGGC Seminar: An Explicit Structure-preserving Numerical Scheme for EPDiff

    We present a new structure-preserving numerical scheme for solving the Euler–Poincaré Differential (EPDiff) equation on arbitrary triangle meshes. Unlike existing techniques, our method solves ...

    Speaker:
    Orestis Vantzos (Mathematics, Technion)
    Date:
    Sunday, 24.6.2018, 13:30
    Place:
    Taub 401

    [Full version]

  • Hardware Security Seminar: Intel SGX keys Management and Trusted Computing Base (TCB) Recovery

    Hardware Security Seminar: Intel SGX keys Management and Trusted Computing Base (TCB) RecoveryBugs, possibly leading to security flaws, are inevitable in the extremely complex modern processors. Some of such bugs may be later fixed in the ...

    Speaker:
    Ilya Alexandrovich (Intel)
    Date:
    Sunday, 24.6.2018, 09:30
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: On Distributional Collision Resistant Hashing

    Collision resistant hashing is a fundamental concept that is the basis for many of the important cryptographic primitives and protocols. Collision resistant hashing is ...

    Speaker:
    Eylon Yogev (Weizmann Institute of Science)
    Date:
    Wednesday, 20.6.2018, 12:30
    Place:
    Taub 201

    [Full version]

  • Novel Image and Video Super-Resolution Relying on Denoising Algorithms

    Single Image Super-Resolution (SISR) aims to recover a high-resolution image from a given low resolution version of it (the given image is assumed to ...

    Speaker:
    Alon Brifman
    Date:
    Tuesday, 19.6.2018, 11:00
    Place:
    Taub 601

    [Full version]

  • TODAY! CS RESEARCH DAY 2018

    TODAY! CS RESEARCH DAY 2018The 8th CS Research Day for graduate studies will be held on Monday, June 18, 2018 between 15:00-17:00, at the lobby of the CS ...

    Date:
    Monday, 18.6.2018, 15:00
    Place:
    CS Taub Lobby

    [Full version]

  • CGGC Seminar: Multi-chart Generative Surface Modeling

    We introduce a 3D shape generative model based on deep neural networks. A new image-like (i.e., tensor) data representation for genus-zero 3D shapes is ...

    Speaker:
    Heli Ben Hamu (Weizmann Institute of Science)
    Date:
    Sunday, 17.6.2018, 13:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • The 8th Annual International TCE Conference on Deep Learning: Theory & Practice

    The 8th Annual International TCE Conference on Deep Learning: Theory & PracticeThe 8th annual international TCE conference on Deep Learning: Theory & Practice will take place on Thurs June 14, 2018 at the Technion Electrical ...

    Date:
    Thursday, 14.6.2018, 08:30
    Place:
    EE, Meyer 280

    [Full version]

  • Theory Seminar: Deterministic Meeting in Networks

    The task of rendezvous (also called gathering) calls for a meeting of two or more mobile entities, starting from different positions in some environment. ...

    Speaker:
    Andrzej Pelc (Université du Québec en Outaouais, Canada)
    Date:
    Wednesday, 13.6.2018, 12:30
    Place:
    Taub 201

    [Full version]

  • ceClub: Making Triangle Counting Fast - Introducing Logarithmic Radix Binning & Vectorized Tri-Counting

    Triangle counting is a scalable analytic that benefits from a large number of processors. Similar to many other graph analytics, the control flow for ...

    Speaker:
    Oded Green (Georgia Institute of Technology)
    Date:
    Wednesday, 13.6.2018, 11:30
    Place:
    EE Meyer Building 861

    [Full version]

  • Privacy, and Why You Should Care

    Over the past decade, the computer science research community has converged around a formal notion of data privacy, known as differential privacy, and has ...

    Speaker:
    Katrina Ligett - COLLOQUIUM LECTURE
    Date:
    Tuesday, 12.6.2018, 14:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • When Dictionary Learning Meets Graph Signal Processing

    Dictionary Learning techniques aim to find sparse signal representations that capture prominent characteristics in the given data. For signals residing on non-Euclidean topologies, represented ...

    Speaker:
    Yael Yankelevsky
    Date:
    Tuesday, 12.6.2018, 11:30
    Place:
    Taub 337

    [Full version]

  • System-Aware Compression: Optimizing Imaging Systems from the Compression Standpoint

    In typical imaging systems, an image/video is first acquired, then compressed for transmission or storage, and eventually presented to human observers using different and ...

    Speaker:
    Yehuda Dar
    Date:
    Tuesday, 12.6.2018, 10:15
    Place:
    Taub 337

    [Full version]

  • Coding Theory: Recent Results in Covert Communication

    Covert communication considers the following problem -- if Alice wishes towhisper to Bob while ensuring that the eavesdropper Eve cannot even detect whether or ...

    Speaker:
    Sidharth Jaggi (The Chinese University of Hong Kong)
    Date:
    Sunday, 10.6.2018, 14:30
    Place:
    Taub 601

    [Full version]

  • CGGC Seminar: Subdivision Directional Fields

    Subdivision surfaces are a mainstream methodology in computer graphics and geometry processing to create smooth surfaces with a multiresolution hierarchy. The recent popularity of ...

    Speaker:
    Amir Vaxman (Utrecht University)
    Date:
    Sunday, 10.6.2018, 13:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Theory Seminar: Sub-logarithmic Distributed Oblivious RAM with Small Block Size

    Oblivious RAM (ORAM) is a cryptographic primitive that allows a client to securely execute RAM programs over data that is stored in an untrusted ...

    Speaker:
    Tamer Mour (CS, Technion)
    Date:
    Wednesday, 6.6.2018, 12:30
    Place:
    Taub 201

    [Full version]

  • Matching Visual Data

    Matching pixels is used in various computer vision applications such as template matching, tracking and image editing. I will give an overview of my ...

    Speaker:
    Shai Avidan - COLLOQUIUM LECTURE
    Date:
    Tuesday, 5.6.2018, 14:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Qubit 2018 - Quantum Communication: Celebrating Bennett & Brassard's Wolf Prize for Physics

    Qubit 2018 - Quantum Communication: Celebrating Bennett & Brassard's Wolf Prize for PhysicsThe Technion Hiroshi Fujiwara Cyber Security Research Center is happy to invite you to the Qubit 2018 - Quantum Communication: Celebrating Bennett & ...

    Date:
    Sunday, 3.6.2018, 09:30
    Place:
    CS Taub Building

    [Full version]

  • Theory Seminar: Approximation Algorithms for Dynamic NFV Workload

    The dynamic NFV placement problem captures one of the main challenges facing the telecom industry following the emergence of the Network Function Virtualization (NFV) ...

    Speaker:
    Yaron Fairstein (CS, Technion)
    Date:
    Wednesday, 30.5.2018, 12:30
    Place:
    Taub 201

    [Full version]

  • ceClub: Space Bounds for Reliable Coded Storage, and Beyond

    The bulk of the talk will deal with space requirements of reliable storage algorithms in asynchronous distributed systems. A number of recent works have ...

    Speaker:
    Alexander Spiegelman (EE, Technion)
    Date:
    Wednesday, 30.5.2018, 11:30
    Place:
    EE Meyer Building 861

    [Full version]

  • Accelerating Innovation Through Analogy Mining

    The availability of large idea repositories (e.g., the U.S. patent database) could significantly accelerate innovation and discovery by providing people with inspiration from solutions ...

    Speaker:
    Dafna Shahaf - COLLOQUIUM LECTURE
    Date:
    Tuesday, 29.5.2018, 14:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Pixel Club: The Perception-Distortion Tradeoff

    Image restoration algorithms are typically evaluated by some distortion measure (e.g. PSNR, SSIM, IFC, VIF) or by human opinion scores that quantify perceived perceptual ...

    Speaker:
    Yochai Blau (EE, Technion)
    Date:
    Tuesday, 29.5.2018, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • CSpecial Talk: How to Manage Negotiation on Employment Contract

    CSpecial Talk: How to Manage Negotiation on Employment ContractWe are happy to invite your to the sixth of series of meetings on career and job seeking which will be held at CS, ...

    Speaker:
    Sarah Karu (Talent management specialist)
    Date:
    Monday, 28.5.2018, 17:00
    Place:
    Room 337 Taub Bld.

    [Full version]

  • CGGC Seminar: Integer-Only Cross Field Computation

    We propose a new iterative algorithm for computing smooth cross fields on triangle meshes that is simple, easily parallelizable on the GPU and finds ...

    Speaker:
    Nahum Farchi (CS, Technion)
    Date:
    Sunday, 27.5.2018, 13:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Theory Seminar: Approximate Modularity Revisited

    Set functions with convenient properties (such as submodularity) often arise in algorithmic game theory, and allow for improved properties of optimization algorithms and mechanisms. ...

    Speaker:
    Inbal Talgam-Cohen (CS, Technion)
    Date:
    Wednesday, 23.5.2018, 12:30
    Place:
    Taub 201

    [Full version]

  • Pixel Club: Numerical Methods in Visual Computing: what we can learn from each other

    Visual computing is a wide area that includes computer graphics and image processing, where the "eyeball-norm" rules. I will briefly discuss two case studies ...

    Speaker:
    Uri Ascher (UBC)
    Date:
    Wednesday, 23.5.2018, 11:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • ceClub: RISC-V - Why a new CPU Architecture?

    Who needs a new Instruction Set Architecture (ISA)? Architectures have reached some unspoken Truce through Markets Segment dominance (IA64 - PC and Server market, ...

    Speaker:
    Oded Lempel (Mellanox Technologies)
    Date:
    Wednesday, 23.5.2018, 11:30
    Place:
    EE Meyer Building 861

    [Full version]

  • Pixel Club: OATM: Occlusion Aware Template Matching by Consensus Set Maximization

    We present a novel approach to template matching that is efficient, can handle partial occlusions, and comes with provable performance guarantees. A key component ...

    Speaker:
    Simon Korman (Weizmann Institute of Science)
    Date:
    Tuesday, 22.5.2018, 11:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Theory Seminar: Learning Software Constraints via Installation Attempts

    Modern software systems are expected to be secure and contain all the latest features, even when new versions of software are released multiple times ...

    Speaker:
    Ran Ben Basat (CS, Technion)
    Date:
    Wednesday, 16.5.2018, 12:30
    Place:
    Taub 201

    [Full version]

  • ceClub: Security and Reliability Using OS

    Computer systems have been developed tremendously over the past few years and as a result new challenges arise in the fields of security and ...

    Speaker:
    Noam Shalev (EE, Technion)
    Date:
    Wednesday, 16.5.2018, 11:30
    Place:
    EE Meyer Building 861

    [Full version]

  • Pixel Club: Deep Learning for Biomedical Imaging: Can We Get Better, Higher or Faster?

    Recent progress in imaging technologies leads to a continuous growth in biomedical data, which can provide better insight into important clinical and biological questions. ...

    Speaker:
    Tammy Riklin Raviv (Ben-Gurion University)
    Date:
    Tuesday, 15.5.2018, 11:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Sub-logarithmic Distributed Oblivious RAM with Small Block Size

    Oblivious RAM (ORAM) is a cryptographic primitive that allows a client to securely execute RAM programs over data that is stored in an untrusted ...

    Speaker:
    Tamer Mour
    Date:
    Monday, 14.5.2018, 14:30
    Place:
    Taub 601

    [Full version]

  • CGGC Seminar: Rigid Motions on 3D Digital Space

    In digital geometry, Euclidean objects are represented by their discrete approximations e.g., subsets of the lattice of integers. Rigid motions of such sets have ...

    Speaker:
    Kacper Pluta (CS, Paris-Est Marne-la-Vallée University, France)
    Date:
    Sunday, 13.5.2018, 13:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Hardware Security Seminar: Main Cyber Security Challenges in Vehicles and in Vehicle-to-vehicle Communication

    Hardware Security Seminar: Main Cyber Security Challenges in Vehicles and in Vehicle-to-vehicle CommunicationThe review will include the main modern cyber security challenges that exists in vehicles today and in the coming future. There will specific focus ...

    Speaker:
    Yoni Kahana (General Motors, Israel)
    Date:
    Sunday, 13.5.2018, 09:30
    Place:
    Taub 601

    [Full version]

  • Efficient Extreme Classification

    In extreme classification problems, machine learning algorithms are required to map instances to labels from an extremely large label set. We build on a ...

    Speaker:
    Itay Evron
    Date:
    Wednesday, 9.5.2018, 13:30
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: Complexity Analysis for Relational Queries over Text

    A recent principled approach to information extraction from text views the query as an ordinary relational query, but not on ordinary relations; instead, the ...

    Speaker:
    Liat Peterfreund (CS, Technion)
    Date:
    Wednesday, 9.5.2018, 12:30
    Place:
    Taub 201

    [Full version]

  • Frugal Counting

    In this talk we will present improvements to the accuracy, memory and speed of counting algorithms. Counters are one of the most basic building ...

    Speaker:
    Yaron Kassner
    Date:
    Wednesday, 9.5.2018, 11:30
    Place:
    Taub 601

    [Full version]

  • ceClub: But Why Does It Work? A "Rational Protocol Design" Treatment of Bitcoin

    As the first and most popular decentralized cryptocurrency to date, Bitcoin has ignited much excitement, not only for its novel realization of a central ...

    Speaker:
    Juan Garay (Texas A&M University)
    Date:
    Wednesday, 9.5.2018, 11:30
    Place:
    EE Meyer Building 861

    [Full version]

  • Workshop on Distant Servers

    Workshop on Distant ServersCS is happy to invite you to the third of series of workshops that will hand you applicable tools for working, developing and managing ...

    Date:
    Monday, 7.5.2018, 18:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Pixel Club: The Steerable Graph Laplacian and its Application to Filtering Image Datasets

    In recent years, improvements in various scientific image acquisition techniques gave rise to the need for adaptive processing methods, particularly aimed for large data-sets ...

    Speaker:
    Boris Landa (Tel-Aviv University)
    Date:
    Monday, 7.5.2018, 11:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • CS Spring Hackathon

    CS Spring HackathonCS invites you to assemble a winning team and start working on a brilliant idea for the Spring Hackaton that will take place on ...

    Date:
    Thursday, 3.5.2018, 09:00
    Place:
    CS Taub

    [Full version]

  • Theory Seminar: Distributed PCP Theorems for Hardness of Approximation in P

    We present a new model of probabilistically checkable proof (PCP), which we call "Distributed PCP": A satisfying assignment (x in {0,1}^n) to a SAT ...

    Speaker:
    Aviad Rubenstein (Stanford University)
    Date:
    Wednesday, 2.5.2018, 12:30
    Place:
    Taub 201

    [Full version]

  • Genetics media

    In the last decade, the human population has produced zettabytes (10^21) of digital data. This creates immense opportunities and challenges for biology research. In ...

    Speaker:
    Yaniv Erlich - COLLOQUIUM LECTURE - RESCHEDULED FROM 10/4/18
    Date:
    Tuesday, 1.5.2018, 14:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Template Matching with Deformable Diversity Similarity

    We propose a novel measure for template matching named Deformable Diversity Similarity -- based on the diversity of feature matches between a target image ...

    Speaker:
    Itamar Talmi
    Date:
    Tuesday, 1.5.2018, 11:30
    Place:
    Taub 337

    [Full version]

  • CSpecial Talk: Crush Your Coding Interview

    CSpecial Talk: Crush Your Coding InterviewWe are happy to invite your to the fifth of series of meetings on career and job seeking which will be held at CS, ...

    Speaker:
    Dor Gross (Facebook Israel)
    Date:
    Monday, 30.4.2018, 17:00
    Place:
    Room 337 Taub Bld.

    [Full version]

  • EUROCRYPT 2018

    EUROCRYPT 2018EUROCRYPT 2018 is the 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques. Covering all aspects of cryptology, including theoretical foundations, deployment ...

    Date:
    Sunday, 29.4.2018, 18:00
    Place:
    Tel-Aviv

    [Full version]

  • Research Career in the Industry

    Research Career in the IndustryWe are happy to invite you to a special meeting fot graduate students that will deal this time with research career: is there research ...

    Date:
    Sunday, 29.4.2018, 15:30
    Place:
    CS Grads Club

    [Full version]

  • On Graph Learning

    A graph learning problem is a problem of finding a hidden graph $G=(V,E)$ using edge-detecting queries, where an edge-detecting query $Q_G(S)$, for $S \subseteq ...

    Speaker:
    Hassan Abassie
    Date:
    Thursday, 26.4.2018, 11:00
    Place:
    Taub 701

    [Full version]

  • On Graph Learning

    A graph learning problem is a problem of finding a hidden graph $G=(V,E)$ using edge-detecting queries, where an edge-detecting query $Q_G(S)$, for $S \subseteq ...

    Speaker:
    Hassan Abassie
    Date:
    Thursday, 26.4.2018, 11:00
    Place:
    Taub 701

    [Full version]

  • Theory Seminar: Distributed Spanner Approximation

    A k-spanner is a sparse subgraph that preserves distances up to a multiplicative factor of k. First introduced in the late 80's, spanners have ...

    Speaker:
    Michal Dory (CS, Technion)
    Date:
    Wednesday, 25.4.2018, 12:30
    Place:
    Taub 201

    [Full version]

  • TODAY! CS Open Day For Graduate Studies

    TODAY! CS Open Day For Graduate StudiesThe 2018 open day invites outstanding undergraduates from all universities to come to the Technion and learn about the Computer Science and Department, to meet ...

    Date:
    Wednesday, 25.4.2018, 12:15
    Place:
    Room 337 Taub Bld.

    [Full version]

  • 1+1=3: Combining Object Storage with Other Data Services

    AI, Cognitive, Analytics, IoT all run on data. This data is needed by data scientists, line of business, developers, CDOs and others. Without data, ...

    Speaker:
    Michael Factor - COLLOQUIUM LECTURE
    Date:
    Tuesday, 24.4.2018, 14:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Pixel Club: On GANs and GMMs

    GANs have recently gained attention due to their success in generating realistic new samples of natural images, yet the extent to which such models ...

    Speaker:
    Eitan Richardson (Hebrew University of Jerusalem)
    Date:
    Tuesday, 24.4.2018, 11:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • The Information Era: Past, Present and Future Conference

    The Information Era: Past, Present and Future ConferenceCS is happy to invite you to The Marconi Society conference: "The Information Era: Past, Present and Future", on Tuesday, April 24th, 2018 in ...

    Date:
    Tuesday, 24.4.2018, 09:00
    Place:
    CS Taub Build. Auditorium 2

    [Full version]

  • Two Researches on Lattice Animals

    Lattice animals are connected subgraphs of a lattice. In this talk, we consider two types of lattices, the $d$-dimensional hypercubic lattice and the triangular ...

    Speaker:
    Yufei Zheng
    Date:
    Sunday, 22.4.2018, 13:30
    Place:
    Taub 301

    [Full version]

  • Textual Membership Queries

    Labeling textual data by humans can become very time-consuming and expensive, yet critical for the success of an automatic text classification system. In order ...

    Speaker:
    Yonatan Zarecki
    Date:
    Tuesday, 17.4.2018, 12:30
    Place:
    Taub 601

    [Full version]

  • Hardware Security Seminar: Software and Hardware Based Approached for Fine Grain Memory Protection

    Hardware Security Seminar: Software and Hardware Based Approached for Fine Grain Memory ProtectionFuture servers are expected to have huge amount of volatile and nonvolatile main memory that can be directly accessed by the processors. Managing such ...

    Speaker:
    Avi Mendelson (CS, Technion)
    Date:
    Sunday, 15.4.2018, 09:30
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: Voronoi Diagrams for Planar Graphs

    Given a set of points (sites) in the plane, a Voronoi diagram is a partitioning of the plane into regions such that each region ...

    Speaker:
    Oren Weimann (Haifa University)
    Date:
    Wednesday, 11.4.2018, 12:30
    Place:
    Taub 201

    [Full version]

  • Pixel Club: Viewpoint Estimation - Insights & Model

    This thesis addresses the problem of viewpoint estimation of an object in a given image, where the objects belong to several known categories. Convolutional ...

    Speaker:
    Gilad Divon (EE, Technion)
    Date:
    Wednesday, 11.4.2018, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • MAGIC SQUARES WONDER CUBES and OTHER SAME SUM OBJECTS

    A MAGIC SQUARE is an arrangement of nxn disjoint integers on an nxn square in a way such that the n rows, the n ...

    Speaker:
    Prof. Emeritus Azaria Paz - Distinguished Guest Lecture
    Date:
    Tuesday, 10.4.2018, 14:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Parallel Execution Using Memory Versioning and Renaming

    The memory interface is a striking example of a hardware/software interface that is ill-suited for parallelism, and specifically for parallel access to the program's ...

    Speaker:
    Eran Gilad
    Date:
    Tuesday, 10.4.2018, 14:00
    Place:
    Taub 601

    [Full version]

  • Pixel Club: Video Scene Detection Using Optimal Sequential Grouping

    Video scene detection is the task of temporally dividing a video into its semantic sections called "scenes" - a series of video shots depicting ...

    Speaker:
    Daniel Rotman (IBM)
    Date:
    Tuesday, 10.4.2018, 11:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Workshop on "Coding Together"

    Workshop on "Coding Together"CS is happy to invite you to the second of series of workshops that will hand you applicable tools for working, developing and managing ...

    Date:
    Monday, 9.4.2018, 18:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Compile-Time LL(1) Parsing in Java's Typesystem

    A recent result shows that the Java type system and its type-checker are mighty enough to emulate deterministic pushdown automata (DPDAs), and hence, capable ...

    Speaker:
    Ori Roth
    Date:
    Wednesday, 28.3.2018, 13:30
    Place:
    Taub 401

    [Full version]

  • Quality and Algebraic Representation of Tests

    The quality of unit tests gains substantial importance in modern software systems. We explore the way in which Junit tests are written in real ...

    Speaker:
    Dor Ma'ayan
    Date:
    Wednesday, 28.3.2018, 12:30
    Place:
    Taub 401

    [Full version]

  • Serializability Reasoning for Eventual Consistency

    High-availability requirements in modern software triggered the widespread adoption of eventually consistent data stores. Unfortunately, reasoning about the correctness of programs running under eventual ...

    Speaker:
    Dimitar Dimitrov - GUEST LECTURE
    Date:
    Tuesday, 27.3.2018, 14:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Pixel Club: "Zero-Shot" Super-Resolution using Deep Internal Learning

    Deep Learning has led to a dramatic leap in Super-Resolution (SR) performance in the past few years. However, being supervised, these SR methods are ...

    Speaker:
    Assaf Shocher (Weizmann Institute of Science)
    Date:
    Tuesday, 27.3.2018, 11:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • When Codes for Storage Systems Meet Storage Systems

    Large-scale storage systems lie at the heart of the big data revolution. As these systems grow in scale and capacity, their complexity grows accordingly, ...

    Speaker:
    Gala Yadgar - CS-Lecture
    Date:
    Tuesday, 27.3.2018, 10:30
    Place:
    Room 601 Taub Bld.

    [Full version]

  • eBay Research Event at CS

    eBay Research Event at CSeBay will hold a special event designated for graduate students on Thursday, March 22, 2018, between 10:30-12:00, in room 337, CS Taub Building. The ...

    Date:
    Thursday, 22.3.2018, 10:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • TODAY! The Finals - 2018 Best Project Contest by Amdocs

    TODAY! The Finals - 2018 Best Project Contest by AmdocsYou are invited to the final stage of the 2018 Best Project Contest. The finalist teams will present and talk about their projects. ...

    Date:
    Wednesday, 21.3.2018, 12:30
    Place:
    CS Taub Build. Auditorium 2

    [Full version]

  • Theory Seminar: The Firing Squad Problem Revisited

    In the classical firing squad problem, an unknown number of nodes represented by identical finite states machines is arranged on a line and in ...

    Speaker:
    Shlomo Moran (CS, Technion)
    Date:
    Wednesday, 21.3.2018, 12:30
    Place:
    Taub 201

    [Full version]

  • Cued Person Identification From Motion

    We introduce a new approach for identifying individuals based on their motion patterns in interactive scenarios. We formalize the identification process in the context ...

    Speaker:
    Igor Kviatkovsky
    Date:
    Wednesday, 21.3.2018, 11:30
    Place:
    Taub 601

    [Full version]

  • Cued Person Identification From Motion

    We introduce a new approach for identifying individuals based on their motion patterns in interactive scenarios. We formalize the identification process in the context ...

    Speaker:
    Igor Kviatkovsky
    Date:
    Wednesday, 21.3.2018, 11:30
    Place:
    Taub 601

    [Full version]

  • Pixel Club: Why is it So Difficult to Obtain Medical Images for R&D ?!

    Research in medical image analysis, especially after the deep-learning revolution, relies on access to medical image databases. Specific categories of medical images have been ...

    Speaker:
    Nahum Kiryati (Tel-Aviv University)
    Date:
    Sunday, 18.3.2018, 11:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Improved Bounds for Online Multi-level Aggregation

    We consider a multi-level aggregation problem in a weighted rooted tree, studied recently by Bienkowski et al. In this problem requests arrive over time ...

    Speaker:
    Ohad Talmon
    Date:
    Wednesday, 7.3.2018, 11:30
    Place:
    Taub 601

    [Full version]

  • ceClub: Cascading Denial-of- Service Attacks on Wi-Fi Networks

    We unveil the existence of a vulnerability in Wi-Fi (802.11) networks, which allows an adversary to remotely launch a Denial-of- Service (DoS) attack that ...

    Speaker:
    David Starobinski (Boston University)
    Date:
    Wednesday, 7.3.2018, 11:30
    Place:
    c

    [Full version]

  • Sensory Routines for Indoor Autonomous Quad-Copter

    Quad-Copters are versatile unmanned aircraft that are used for a myriad of tasks from manual aerial photography to autonomous surveillance. After their initial success ...

    Speaker:
    Amir Geva
    Date:
    Tuesday, 6.3.2018, 15:30
    Place:
    Taub 601

    [Full version]

  • Sensory Routines for Indoor Autonomous Quad-Copter

    Quad-Copters are versatile unmanned aircraft that are used for a myriad of tasks from manual aerial photography to autonomous surveillance. After their initial success ...

    Speaker:
    Amir Geva
    Date:
    Tuesday, 6.3.2018, 15:30
    Place:
    Taub 601

    [Full version]

  • Sensory Routines for Indoor Autonomous Quad-Copter

    Quad-Copters are versatile unmanned aircraft that are used for a myriad of tasks from manual aerial photography to autonomous surveillance. After their initial success ...

    Speaker:
    Amir Geva
    Date:
    Tuesday, 6.3.2018, 15:30
    Place:
    Taub 601

    [Full version]

  • Sensory Routines for Indoor Autonomous Quad-Copter

    Quad-Copters are versatile unmanned aircraft that are used for a myriad of tasks from manual aerial photography to autonomous surveillance. After their initial success ...

    Speaker:
    Amir Geva
    Date:
    Tuesday, 6.3.2018, 15:30
    Place:
    Taub 601

    [Full version]

  • Sensory Routines for Indoor Autonomous Quad-Copter

    Quad-Copters are versatile unmanned aircraft that are used for a myriad of tasks from manual aerial photography to autonomous surveillance. After their initial success ...

    Speaker:
    Amir Geva
    Date:
    Tuesday, 6.3.2018, 15:30
    Place:
    Taub 601

    [Full version]

  • Hardware Security Seminar: The Journey of Intel® Software Guard Extension (SGX)

    Hardware Security Seminar: The Journey of Intel® Software Guard Extension (SGX)In 2015, Intel launched its 6th generation Core, codenamed Skylake, that implements a new ISA for security – Intel® SGX. The talk will provide ...

    Speaker:
    Ittai Anati (Intel Corporation)
    Date:
    Sunday, 4.3.2018, 09:30
    Place:
    Taub 601

    [Full version]

  • Google Hash Code 2018 at CS

    Google Hash Code 2018 at CS Google will host a hub at CS for the 2018 Online Qualification Round of Hash Code on Thursday, March 1st, at 18:30 CET, ...

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

    [Full version]

  • Boosting Selective Regression with Ensembles

    Using selective regression, it is possible to increase accuracy of predictions by abstaining from answering when there is insufficient knowledge. This work is about ...

    Speaker:
    Amit Gross
    Date:
    Sunday, 25.2.2018, 08:30
    Place:
    Taub 601

    [Full version]

  • End to End Deep Neural Network Frequency Demodulation of Speech Signals

    Frequency modulation (FM) is a form of radio broadcasting which is widely used nowadays and has been for almost a century. The widest use ...

    Speaker:
    Dan Elbaz
    Date:
    Wednesday, 21.2.2018, 16:30
    Place:
    Taub 601

    [Full version]

  • Access Patterns and Adaptive Caching

    Trying to predict which items are likely to be accessed in the near future is the basis for most cache management policies. Storage workloads ...

    Speaker:
    Ohad Eytan
    Date:
    Thursday, 15.2.2018, 13:30
    Place:
    Taub 601

    [Full version]

  • IOMMU-resistant DMA attacks

    The direct memory access (DMA) mechanism allows I/O devices to independently access the memory without CPU involvement, improving performance but exposing systems to malicious ...

    Speaker:
    Gil Kupfer
    Date:
    Wednesday, 14.2.2018, 18:00
    Place:
    Taub 601

    [Full version]

  • Network Measurement meets Virtual Switching

    In modern cloud infrastructures, each physical server often runs multiple virtual machines and employs a software Virtual Switch (VS) to handle their traffic. In ...

    Speaker:
    Ran Ben-Basat
    Date:
    Wednesday, 14.2.2018, 14:30
    Place:
    Taub 601

    [Full version]

  • Pixel Club: Probabilistic Gathering of Agents With Simple Sensors

    We present novel probabilistic gathering algorithms for agents that can only detect the presence of other agents in front or behind them. The agents ...

    Speaker:
    Ariel Barel (TASP)
    Date:
    Tuesday, 13.2.2018, 11:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Shape Synthesis and Analysis by Deformable Models

    The surface separating the interior of a given object or body from its exterior defines a shape. A key challenge in computer vision is ...

    Speaker:
    Matan Sela
    Date:
    Thursday, 8.2.2018, 11:30
    Place:
    Taub 401

    [Full version]

  • Relational Framework for Information Extraction

    Textual data written in some natural language carries concealed and valuable information within. Information Extraction (IE) is the task of automatically extracting this information ...

    Speaker:
    Yoav Nahshon
    Date:
    Wednesday, 7.2.2018, 13:30
    Place:
    Taub 401

    [Full version]

  • SciLMM: Computing heritability with millions of individuals

    The rapid digitization of genealogical and medical records enables the assembly of extremely large pedigree records spanning millions of individuals. Such pedigrees provide the ...

    Speaker:
    Tal Shor
    Date:
    Wednesday, 7.2.2018, 11:30
    Place:
    Taub 601

    [Full version]

  • Efficiently combining privacy and availability in distributed storage systems

    When sensitive data is stored in the cloud, the only way to ensure its secrecy is by encrypting it before it is uploaded. Not ...

    Speaker:
    Roman Shor
    Date:
    Wednesday, 7.2.2018, 10:30
    Place:
    Taub 601

    [Full version]

  • Celebrating 40th Anniversary of the Lempel-Ziv Algorithm

    Celebrating 40th Anniversary of the Lempel-Ziv AlgorithmYou are invited to a special lecture and ceremony celebrating 40th Anniversary of the Lempel-Ziv Algorithm, by Prof. Meir Feder from the School of ...

    Date:
    Monday, 5.2.2018, 14:00
    Place:
    EE Meyer Building 1003

    [Full version]

  • Theory Seminar: What Cannot Be Learned With Bounded Memory

    How does computational learning change when one cannot store all the examples one sees in memory? This question has seen a burst of interest ...

    Speaker:
    Dana Moshkovitz (University of Texas at Austin)
    Date:
    Wednesday, 31.1.2018, 12:30
    Place:
    Taub 201

    [Full version]

  • Ranked Enumeration of Tree Decompositions

    A tree decomposition of a graph facilitates computations by grouping vertices into bags that are interconnected in an acyclic structure; hence their importance in ...

    Speaker:
    Noam Ravid
    Date:
    Wednesday, 31.1.2018, 11:30
    Place:
    Taub 601

    [Full version]

  • ceClub: Closing the Loop on Secure Operating System Design

    Secure system design should be guided by two principles: (1) system security should not impede third-party developers, who are often the main source of ...

    Speaker:
    Amit Levy (Stanford University)
    Date:
    Wednesday, 31.1.2018, 11:30
    Place:
    Taub 301

    [Full version]

  • Pixel Club: Improving Semantic Classification in Deep Learning Models

    We consider the image classification problem using deep models. Most of the works in the recent years consider only the flat precision (FP) measure ...

    Speaker:
    Yakir Matari (EE, Technion)
    Date:
    Tuesday, 30.1.2018, 11:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Coding Theory: On the Metric Dimension of Cartesian Powers of a Graph

    A set of vertices S resolves a graph if every vertex is uniquely determined by its vector of distances to the vertices in S. ...

    Speaker:
    Nikita Polyansky (Technion)
    Date:
    Sunday, 28.1.2018, 14:30
    Place:
    Taub 601

    [Full version]

  • CGGC Seminar: Algorithms for Geometrically-Structured Optimization

    Many problems in geometry processing, graph theory, and machine learning involve optimizations whose variables are defined over a geometric domain. The geometry of the ...

    Speaker:
    Justin Solomon (MIT)
    Date:
    Sunday, 28.1.2018, 13:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Inferring Cancer Dependencies on Metabolic Genes from Large-Scale Genetic Screens

    Alterations in metabolic activity in tumors provide novel means to selectively target cancer cells. A powerful tool for identifying genes essential for cancer cell ...

    Speaker:
    Shoval Lagziel
    Date:
    Thursday, 25.1.2018, 12:30
    Place:
    Taub 601

    [Full version]

  • Processing Human Language with Recurrent Neural Networks and Multiple Training Signals

    While deep learning methods in Natural Language Processing are arguably overhyped, recurrent neural networks (RNNs), and in particular gated recurrent networks like the LSTM, ...

    Speaker:
    Yoav Goldberg - CS-Lecture
    Date:
    Thursday, 25.1.2018, 10:30
    Place:
    Room 601 Taub Bld.

    [Full version]

  • Exposure Evening to Communication Networks

    Exposure Evening to Communication Networks The CS Computer Communication Lab (LCCN) invites you to an exposure evening to communication networks - to get to know the laboratory activity, ...

    Date:
    Wednesday, 24.1.2018, 18:30
    Place:
    Taub 401

    [Full version]

  • On The Existence of q-Fano Planes

    A q-Steiner System S_q(t,k,n) is set S of k-subspaces in a space of dimension n over a finite field, such that each t-subspace of ...

    Speaker:
    Niv Hooker
    Date:
    Wednesday, 24.1.2018, 16:30
    Place:
    Taub 601

    [Full version]

  • Exposure to Virtual Reality Course Event

    Exposure to Virtual Reality Course EventThe Geometric Image Processing Laboratory (GIP) and the Center for Graphics and Geometric Computing (CGGC) invite you to a special event of ...

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

    [Full version]

  • Theory Seminar: The Discrete-logarithm Problem with Preprocessing

    We study discrete-log algorithms that use preprocessing. In our model, an adversary may use a very large amount of precomputation to produce an "advice" ...

    Speaker:
    Henry Corrigan-Gibbs (Stanford University)
    Date:
    Wednesday, 24.1.2018, 12:30
    Place:
    Taub 201

    [Full version]

  • ceClub: Recent Developments in Linkography Based Cyber Security

    Cyber attacks on critical cyber systems are not decreasing in frequency or complexity. Aggressors choose the time and place of these engagements; protectors must ...

    Speaker:
    Robert Mitchell (Sandia National Laboratories)
    Date:
    Wednesday, 24.1.2018, 11:30
    Place:
    Taub 301

    [Full version]

  • Project Fair in IoT and Android

    Project Fair in IoT and AndroidOn Tuesday, January 23, 2018, between 12:30-14:30, at the CS Taub Loby, the Systems and Software Development Laboratory (SSDL) will hold a project ...

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

    [Full version]

  • On the Expressive Power of ConvNets and RNNs as a Function of their Architecture

    Expressive efficiency refers to the relation between two architectures A and B, whereby any function realized by B could be replicated by A, but ...

    Speaker:
    Amnon Shashua - COLLOQUIUM LECTURE -
    Date:
    Tuesday, 23.1.2018, 10:30
    Place:
    CS Taub Build. Auditorium 2

    [Full version]

  • A Persistent Queue for Non-Volatile Memory

    Non-volatile memory is expected to coexist with (or even displace) volatile DRAM for main memory in upcoming architectures. This has led to increasing interest ...

    Speaker:
    Michal Friedman
    Date:
    Monday, 22.1.2018, 14:30
    Place:
    Taub 601

    [Full version]

  • Coding Theory: Private Information Retrieval in Distributed Storage Systems

    A private information retrieval (PIR) protocol allows a user to retrieve a data item from a database without revealing any information about the identity ...

    Speaker:
    Yiwei Zhang (CS, Technion)
    Date:
    Sunday, 21.1.2018, 14:30
    Place:
    Taub 601

    [Full version]

  • On Polynomial time Constructions of Minimum Height Decision Tree

    We address the problem of constructing a minimum height decision tree of a class C in polynomial time. This problem has many interesting applications ...

    Speaker:
    Waseem Makhoul
    Date:
    Wednesday, 17.1.2018, 14:30
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: Removal Lemma For Ordered Graphs and Matrices

    The triangle removal lemma, proved by Ruzsa and Szemerédi in 1976, states that if a graph contains a small number of triangles then it ...

    Speaker:
    Omri Ben-Eliezer (Tel-Aviv University)
    Date:
    Wednesday, 17.1.2018, 12:30
    Place:
    Taub 201

    [Full version]

  • ceClub: Redesigning Bitcoin's Fee Market

    The security of the Bitcoin system is based on having a large amount of computational power in the hands of honest miners. Such miners ...

    Speaker:
    Ron Lavi (IE, Technion)
    Date:
    Wednesday, 17.1.2018, 11:30
    Place:
    EE Meyer Building 861

    [Full version]

  • CSpecial Guest: Why Entrepreneurship? and First Steps

    CSpecial Guest: Why Entrepreneurship? and First StepsThe Technion's Entrepreneurship Center, and the Electrical Engineering and Computer Science Departments invite you to a guest lecture by Marius Nacht, one of the ...

    Speaker:
    Marius Nacht (Check Point)
    Date:
    Tuesday, 16.1.2018, 18:30
    Place:
    EE Meyer Building 1003

    [Full version]

  • Personalization is a Two-Way Street

    Recommender systems are first and foremost about matching users with items the systems believe will delight them. The "main street" of personalization is thus ...

    Speaker:
    Ronny Lempel - COLLOQUIUM LECTURE
    Date:
    Tuesday, 16.1.2018, 14:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Pixel Club: Large Scale Recovery of Scattering Media: The Atmosphere as a Case Study

    The composition of the earth's atmosphere has a vital effect on life on earth. Accordingly, the task of monitoring its contents, i.e. aerosol and ...

    Speaker:
    Amit Aides (EE, Technion)
    Date:
    Tuesday, 16.1.2018, 14:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Pixel Club: One-Sided Unsupervised Domain Mapping via Distance Correlations

    In unsupervised domain mapping, the learner is given two unmatched datasets A and B. The goal is to learn a mapping G_AB that translates ...

    Speaker:
    Sagie Benaim (Tel-Aviv University)
    Date:
    Tuesday, 16.1.2018, 11:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Concurrent Approximate Frugal Counting

    Counting network flows’ statistics is at the heartof network monitoring, network security, and similar networkfunctionalities.Virtualization in datacenters as well as networkfunction virtualization (NFV) trends ...

    Speaker:
    Dolev Adas
    Date:
    Sunday, 14.1.2018, 13:30
    Place:
    Taub 601

    [Full version]

  • Excellent Female Students Award Ceremony

    Excellent Female Students Award CeremonyYou are invited to scholarship award ceremony for CS and EE excellent female students by Intel and DELL-EMC. The event will be held on ...

    Date:
    Thursday, 11.1.2018, 15:00
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Scalable Data Extraction Via Program Synthesis

    Web extraction is an important research topic that has been studied extensively, receiving a lot of attention and focus. Large amounts of data are ...

    Speaker:
    Adi Omari
    Date:
    Thursday, 11.1.2018, 12:30
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: Testing Bounded Arboricity

    In this work we consider the problem of testing whether a graph has bounded arboricity. The family of graphs with bounded arboricity includes, among ...

    Speaker:
    Dana Ron (Tel-Aviv University)
    Date:
    Wednesday, 10.1.2018, 12:30
    Place:
    Taub 201

    [Full version]

  • ceClub: Coded Caching for Content Distribution Networks

    Caching is the most effective practice for reducing delays and congestion in networks aimed at content distribution. In this work we address the setup ...

    Speaker:
    Barak Farbman (EE, Technion)
    Date:
    Wednesday, 10.1.2018, 11:30
    Place:
    EE Meyer Building 861

    [Full version]

  • Computational Challenges and Algorithms in Planning for Robotic Systems

    In recent years, robots have played an active role in everyday life: medical robots assist in complex surgeries, low-cost commercial robots clean houses and ...

    Speaker:
    Oren Salzman - CS-Lecture
    Date:
    Wednesday, 10.1.2018, 10:30
    Place:
    Room 644 Taub Bld.

    [Full version]

  • Bridging the Gap between End-users and Knowledge Sources: Discovery, Selection and Utilization

    Increasingly adopted Web-based knowledge sources, such as knowledge graphs and crowdsourcing platforms, pose a great challenge in making them accessible to non-expert end-users. In ...

    Speaker:
    Yael Amsterdamer - COLLOQUIUM LECTURE
    Date:
    Tuesday, 9.1.2018, 14:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Pixel Club: Weakly Supervised Learning for Mammogram Classification

    In several clinical routines such as mammography, the early detection of breast cancer has an enormous impact in the patient survival. Radiologists nowadays are ...

    Speaker:
    Rami Ben-Ari (IBM)
    Date:
    Tuesday, 9.1.2018, 11:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Cryptography Outside the Black Box

    Computational problems whose input is a program are central in Cryptography, as well as Complexity, Learning, and Optimization. The nature of such problems crucially ...

    Speaker:
    Omer Paneth - CS-Lecture
    Date:
    Tuesday, 9.1.2018, 10:30
    Place:
    Room 601 Taub Bld.

    [Full version]

  • Designing Robust Sensing Matrix for Compressive Sensing and a Speeding-Up Convergence Method via SESOP with Multigrid

    In the previous research, people tend to optimize the sensing matrix to improve the signal reconstruction accuracy for compressive sensing (CS) system. However, they ...

    Speaker:
    Tao Hong
    Date:
    Monday, 8.1.2018, 14:30
    Place:
    Taub 601

    [Full version]

  • YAHOO DAY at CS

    YAHOO DAY at CSYahoo will hold the annual event at Technion CS on Monday, January 8, 2018, 12:00-14:00, in room 337 (3rd floor) of the CS Taub ...

    Date:
    Monday, 8.1.2018, 12:00
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Selective Classification for Deep Neural Networks

    Selective classification techniques (also known as reject option) have not yet been considered in the context of deep neural networks (DNNs). These techniques can ...

    Speaker:
    Yonatan Geifman
    Date:
    Sunday, 7.1.2018, 13:30
    Place:
    Taub 601

    [Full version]

  • Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples

    We address the problem of extracting an automaton from a trained recurrent neural network (RNN). We present a novel algorithm that uses exact learning ...

    Speaker:
    Gail Weiss
    Date:
    Thursday, 4.1.2018, 12:30
    Place:
    Taub 601

    [Full version]

  • Evolving hardware and operating system interfaces through programmability

    Hardware and operating system interfaces should ideally enable to build performant systems that are also robust and secure. Alas, these goals frequently conflict, necessitating ...

    Speaker:
    Nadav Amit - CS-Lecture
    Date:
    Thursday, 4.1.2018, 10:30
    Place:
    Room 601 Taub Bld.

    [Full version]

  • CSpecial Talk: How to Stop Fearing Code Changes: Version Management with git

    CSpecial Talk: How to Stop Fearing Code Changes: Version Management with gitYou are invited  to the first of series of meetings of technical workshop on various topics, on Wednesday, January 3rd, 2018, ate 18:30. The ...

    Speaker:
    Maya Anderson (IBM Research}
    Date:
    Wednesday, 3.1.2018, 18:30
    Place:
    TBD

    [Full version]

  • Academic Career, How is it Done?

    Academic Career, How is it Done?We are happy to invite your to the third of series of meetings on career and job seeking which will be held at CS, ...

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

    [Full version]

  • Theory Seminar: Locally-Iterative Coloring below Szegedy-Vishwanathan’s Barrier

    We consider graph coloring and related problems in the distributed message-passing model. **Locally-iterative** algorithms are especially important in this setting. These are algorithms in ...

    Speaker:
    Michael Elkin (Ben-Gurion University)
    Date:
    Wednesday, 3.1.2018, 12:30
    Place:
    Taub 201

    [Full version]

  • ceClub: Side Channel Attacks on Implementations of Curve25519

    In recent years, applications increasingly adopt security primitives designed from the start with built-in side channel protection. A concrete example is Curve25519, which has ...

    Speaker:
    Daniel Genkin and Yuval Yarom (University of Pennsylvania and University of Maryland; University of Adelaide)
    Date:
    Wednesday, 3.1.2018, 11:30
    Place:
    EE Meyer Building 861

    [Full version]

  • Theory Talk: The Edited Truth

    We introduce two new cryptographic notions in the realm of public and symmetric key encryption. * Encryption with invisible edits is an encryption scheme ...

    Speaker:
    Saleet Klein (MIT)
    Date:
    Tuesday, 2.1.2018, 12:30
    Place:
    Taub 401

    [Full version]

  • Pixel Club: Sparse Continuous Wavelet Transforms via a Wavelet-Plancherel Theory

    It is well known that certain classes of signals can be effectively represented using a wavelet basis or a wavelet frame, keeping only a ...

    Speaker:
    Ron Levie (Tel-Aviv University)
    Date:
    Tuesday, 2.1.2018, 11:30
    Place:
    Taub 401

    [Full version]

  • CGGC Seminar: Two Modeling Primitives for Computer Aided Geometric Design

    Computer Aided Geometric Design concerns development of algorithms and accompanying software, towards design of parts and structures with a high degree of numerical precision. ...

    Speaker:
    Jinesh Machchhar (CS, Technion)
    Date:
    Monday, 1.1.2018, 14:00
    Place:
    Taub 401

    [Full version]