אירועים והרצאות בפקולטה למדעי המחשב

  • Second-order Optimization for Machine Learning, Made Practical

    Optimization in machine learning, both theoretical and applied, is presently dominated by first-order gradient methods such as stochastic gradient descent. Second-order optimization methods---that involve ...

    דובר:
    Tomer Koren - COLLOQUIUM LECTURE
    תאריך:
    יום שלישי, 5.5.2020, 14:30
    מקום:
    חדר 337 טאוב.

    [לנוסח המלא]

  • Hypernetworks and a New Feedback Model

    Hypernetworks, also known as dynamic networks, are neural networks in which the weights of at least some of the layers vary dynamically based on ...

    דובר:
    Lior Wolf - COLLOQUIUM LECTURE
    תאריך:
    יום שלישי, 31.3.2020, 14:30
    מקום:
    חדר 337 טאוב.

    [לנוסח המלא]

  • Pixel Club :Learning-Based Strong Solutions to Forward and Inverse Problems in Partial Differential Equations

    We introduce a novel neural network-based partial differential equations solver for forward and inverse problems. The solver is grid free, mesh free and shape ...

    דובר:
    לאה בר (אונ' תל-אביב)
    תאריך:
    יום שלישי, 18.2.2020, 11:30
    מקום:
    חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

    [לנוסח המלא]

  • Theory Seminar: Strong Average-Case Circuit Lower Bounds from Non-trivial Derandomization

    We prove that for all constants a, NQP = NTIME[n^polylog(n)] cannot be (1/2 + 2^(-log^a n) )-approximated by 2^(log^a n)-size ACC^0 circuits. Previously, it ...

    דובר:
    Lijie Chen (MIT)
    תאריך:
    יום רביעי, 29.1.2020, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • Search for Smart Evaders with UAV Swarms

    Suppose that in a given planar circular region, there are some smart mobile evaders and we would like to find them using swarms of ...

    דובר:
    רועי פרנצוס
    תאריך:
    יום ראשון, 26.1.2020, 11:00
    מקום:
    טאוב 401

    [לנוסח המלא]

  • Theory Seminar: Foundations of Distributed Computing in the 2020s

    In this talk I will review some major advances in the theory of distributed computing in the past decade and discuss key research challenges ...

    דובר:
    Jukka Suomela (Aalto University)
    תאריך:
    יום רביעי, 22.1.2020, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • יריד פרוייקטים ב-IoT, תוכנה, אפליקציות אנדרואיד, AI, סייבר, אבטחת מידע, רשתות תקשורת, ראייה ממוחשבת ומציאות מדומה

    Project Fair in IoT, Software, Android Apps, AI, Cyber, Computer Security, Networks, Computer Vision and Virtual Realityמעבדות הפקולטה למדעי המחשב: המעבדה לפיתוח תוכנה ומערכות (ICST), המעבדה לסייבר ואבטחת מידע (CYBER) ותקשורת מחשבים (LCCN), והמעבדה לעיבוד גיאומטרי של תמונות (GIP), ...

    תאריך:
    יום שלישי, 21.1.2020, 12:30
    מקום:
    האולם השקוף , בית הסטודנט

    [לנוסח המלא]

  • Pixel Club: Fast and Accurate Least-Mean-Squares Solvers

    Least-mean squares (LMS) solvers such as Linear / Ridge / Lasso-Regression, SVD and Elastic-Net not only solve fundamental machine learning problems, but are also ...

    דובר:
    Alaa Maalouf and Ibrahim Jubran (Haifa University)
    תאריך:
    יום שלישי, 21.1.2020, 10:30
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • CGGC Seminar: Robust Shape Collection Matching and Correspondence from Shape Differences

    We propose a method to automatically match two shape collections with a similar shape space structure, e.g. two characters in similar poses, and compute ...

    דובר:
    אהרן כהן (מדעי המחשב, טכניון
    תאריך:
    יום שני, 20.1.2020, 16:00
    מקום:
    טאוב 401

    [לנוסח המלא]

  • Data Science & Deep Learning: Synthetic Data Generation

    The task of synthetic data generation can be, roughly, stated as follows: A learner gets to observe examples, sampled from some unknown distributions, and ...

    דובר:
    רון ליבני (אונ' תל-אביב)
    תאריך:
    יום שני, 20.1.2020, 12:30
    מקום:
    טאוב 301

    [לנוסח המלא]

  • Similarity in Binary Executable

    We address the problem of binary code search in stripped executables (with no debug information). The main challenge is establishing binary code similarity even ...

    דובר:
    יניב דוד
    תאריך:
    יום ראשון, 19.1.2020, 16:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Coding Theory: The Capacity of Multidimensional Permutations With Restricted Movement

    The study of permutations is motivated by their application in coding for flash memories, and their relevance in different applications of networking technologies and ...

    דובר:
    דור אלימלך (אונ' בן-גוריון)
    תאריך:
    יום ראשון, 19.1.2020, 14:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Reliability, Equity, and Reproducibility in Modern Machine Learning

    Modern machine learning algorithms have achieved remarkable performance in a myriad of applications, and are increasingly used to make impactful decisions in the hiring ...

    דובר:
    Yaniv Romano - CS-Lecture
    תאריך:
    יום חמישי, 16.1.2020, 10:30
    מקום:
    חדר 337 טאוב.

    [לנוסח המלא]

  • Theory Seminar: Average Sensitivity of Graph Algorithms

    Inmodern applications of graph algorithms, where the graphs of interest arelarge and dynamic, it is unrealistic to assume that an input representationcontains the full ...

    דובר:
    ניטין וארמה
    תאריך:
    יום רביעי, 15.1.2020, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • Coding for Emerging Technologies

    We are living in the era of massive data. Some estimate that more than 90% of the worlds data was generated in recent years. ...

    דובר:
    Ohad Elishco - CS-Lecture
    תאריך:
    יום רביעי, 15.1.2020, 10:30
    מקום:
    חדר 601 טאוב.

    [לנוסח המלא]

  • Data Science & Deep Learning: Linear Quadratic Control and Online Learning

    We study the online problems related to controlling a linear time-invariant systems with noisy dynamics where either: (1) onlinevadversarially chosen quadratic losses and known ...

    דובר:
    ישי מנצור (אונ' תל-אביב)
    תאריך:
    יום שני, 13.1.2020, 12:30
    מקום:
    טאוב 301

    [לנוסח המלא]

  • Verification of distributed protocols using decidable logics

    Formal verification of infinite-state systems, and distributed systems in particular, is a long standing research goal. I will describe a series of works that ...

    דובר:
    Oded Padon - CS-Lecture
    תאריך:
    יום שני, 13.1.2020, 10:30
    מקום:
    חדר 601 טאוב.

    [לנוסח המלא]

  • Fundamental limits of modern machine learning and how to get around them

    This talk presents new computational and statistical barriers in machine learning, along with the algorithmic developments that they inspire. The computational barriers arise in ...

    דובר:
    Yair Carmon - CS-Lecture
    תאריך:
    יום ראשון, 12.1.2020, 10:30
    מקום:
    חדר 337 טאוב.

    [לנוסח המלא]

  • CGGC Seminar: Functional Tracing of Discrete Vector Fields

    We propose a method for tracing the flowlines of a discrete tangent vector field on a triangle mesh. Our method makes use of functional ...

    דובר:
    יאיר ריעאני (מדעי המחשב, טכניון)
    תאריך:
    יום רביעי, 8.1.2020, 16:00
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Functional Tracing of Discrete Vector Fields

    We propose a method for tracing the flowlines of a discrete tangent vector field on a triangle mesh. Our method makes use of functional ...

    דובר:
    יאיר ריעאני
    תאריך:
    יום רביעי, 8.1.2020, 16:00
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • ceClub: Deep Reinforcement Learning in Compiler

    Compilers are designed today to use fixedAbstract -cost models that are based on heuristics to make different code optimizations. However, these models are unable ...

    דובר:
    אמיר חאג' אלי ( אונ' קליפורניה בברקלי)
    תאריך:
    יום רביעי, 8.1.2020, 15:30
    מקום:
    חדר 815, בניין מאייר, הפקולטה להנדסת חשמל

    [לנוסח המלא]

  • Theory Seminar: Nearly Instance-Optimal Mechanisms in Differential Privacy

    We develop differentially private mechanisms that achieve nearly instance-optimal losses, achieving lower loss than all appropriately unbiased mechanisms for any possible instance. We show ...

    דובר:
    הלאל עאסי (אונ' סטנפורד)
    תאריך:
    יום רביעי, 8.1.2020, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • ceClub: Quantum Money and Some of its Extensions

    One of the unique aspects of quantum mechanics is the no-cloning theorem. This theorem has direct applications in quantum crpytography: quantum money is very ...

    דובר:
    אור סתת (אונ' בן-גוריון)
    תאריך:
    יום רביעי, 8.1.2020, 11:30
    מקום:
    חדר 861, בניין מאייר, הפקולטה להנדסת חשמל

    [לנוסח המלא]

  • Pixel Club: Recovering Dynamics in Geometry Processing, Fluid Mechanics, Image Processing and Social Sciences via Koopman Theory

    Dynamical systems are everywhere, from the flow of particles in the air to the evolution of people's personalities. Recently, the big data revolution has ...

    דובר:
    עומרי איזנקוט (אונ' קליפרוניה)
    תאריך:
    יום שלישי, 7.1.2020, 11:30
    מקום:
    חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

    [לנוסח המלא]

  • SequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair

    This talk presents a novel end-to-end approach to program repair based on sequence-to-sequence learning. We devise, implement, and evaluate a system, called SequenceR, for ...

    דובר:
    Prof. Martin Monperrus - COLLOQUIUM LECTURE -
    תאריך:
    יום שני, 6.1.2020, 14:30
    מקום:
    חדר 337 טאוב.

    [לנוסח המלא]

  • Data Science & Deep Learning: An Online Learning Approach to Generative Adversarial Networks

    We consider the problem of training and evaluating generative models with a Generative Adversarial Network (GAN). Although GANs can accurately model complex distributions, they ...

    דובר:
    כפיר לוי (הנדסת חשמל, טכניון)
    תאריך:
    יום שני, 6.1.2020, 12:30
    מקום:
    טאוב 301

    [לנוסח המלא]

  • Meaning Representation in Natural Language Tasks

    Recent developments in Natural Language Processing (NLP) allow models to leverage large, unprecedented amounts of raw text, culminating in impressive performance gains in many ...

    דובר:
    Gabriel Stanovsky - CS-Lecture
    תאריך:
    יום ראשון, 5.1.2020, 10:30
    מקום:
    חדר 337 טאוב.

    [לנוסח המלא]

  • Leveraging Programmable Switches for In-network Computing

    The network line rate is constantly on the rise to support the exploding amounts of data. This means that we have less time to ...

    דובר:
    Ran Ben Basat - CS-Lecture
    תאריך:
    יום חמישי, 2.1.2020, 10:30
    מקום:
    חדר 337 טאוב.

    [לנוסח המלא]