אירועים והרצאות בפקולטה למדעי המחשב
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 טאוב.
Algorithms for Two-Player Turn-Based Stochastic Games
Two-player turn-based zero-sum stochastic games is an interesting family of infinite duration games played on a finite set of states. These games may be ...
- דובר:
- Uri Zwick - COLLOQUIUM LECTURE- CANCELLED
- תאריך:
- יום שלישי, 7.4.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 - CANCELLED
- תאריך:
- יום שלישי, 31.3.2020, 14:30
- מקום:
- חדר 337 טאוב.
היום - שידור חי! - יום פתוח לתארים מתקדמים במדעי המחשב
האירוע יתקיים בשידור חי באמצעות Z00M - מס' פגישה: 518018934 היום הפתוח מזמין בוגרי תואר ראשון מצטיינים מכל האוניברסיטאות להירשם ללימודי תארים מתקדמים ...- תאריך:
- יום רביעי, 25.3.2020, 12:30
- מקום:
- שידור חי באמצעות ZOOM - מס' פגישה: 518018934
When You Have to Lock, Lock. Don't Talk: Breaking Lock Screens with Voice Assistants
Voice assistants are designed to make our lives easier. By responding to spoken commands and questions, they provide a natural way of interaction with ...
- דובר:
- יובל רון
- תאריך:
- יום שלישי, 24.3.2020, 13:00
- מקום:
- טאוב 601
CANCELLED! - Pixel Club: Deep Internal Learning
Deep Learning has always been divided into two phases: Training and Inference. Deep networks are mostly used with large data-sets, both under supervised (Classification, ...
- דובר:
- אסף שוחר (מכון ויצמן למדע)
- תאריך:
- יום שלישי, 17.3.2020, 11:30
- מקום:
- חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Arithmetization for Probabilistically Checkable and Interactive Oracle Proofs Supervisor
Recently, there is an increase in delegating computations to powerful remote servers. This appearance raises questions of computational integrity and efficient verification. For instance, ...
- דובר:
- ינון חורש
- תאריך:
- יום ראשון, 15.3.2020, 15:00
- מקום:
- טאוב 601
CGGC Seminar: Multidimensional Multimodal Content-Oriented Presentations
Contemporary presentation software provides sufficient tools for simple presentation scenarios. However, such tools have not changed for about two decades and are unsuitable for ...
- דובר:
- דניאל רודין (מדעי המחשב, טכניון)
- תאריך:
- יום ראשון, 8.3.2020, 13:30
- מקום:
- טאוב 301
Multidimensional Multimodal Content-Oriented Presentations
Contemporary presentation software provides sufficient tools for simple presentation scenarios. However, such tools have not changed for about two decades and are unsuitable for ...
- דובר:
- דניאל רודין
- תאריך:
- יום ראשון, 8.3.2020, 13:30
- מקום:
- טאוב 301
Leveraging Machine Learning Algorithms in Online Portfolio Selection
Online Portfolio Selection, aiming to optimize the allocation of wealth across a set of assets, is a fundamental research problem in computational finance and ...
- דובר:
- גיא עוזיאל
- תאריך:
- יום רביעי, 4.3.2020, 13:30
- מקום:
- טאוב 601
ceClub: Service Rates in Distributed Systems with Redundancy
Applications such as distributed learning and edge computing strive to maximize the number of service requests (e.g., for data access) that can be concurrently ...
- דובר:
- פרופ' אמינה סולז'נין
- תאריך:
- יום רביעי, 4.3.2020, 11:30
- מקום:
- טאוב 201
Breaking the Bluetooth Pairing the Fixed Coordinate Invalid Curve Attack
Bluetooth is a widely deployed standard for wireless communications between mobile devices. It uses authenticated Elliptic Curve Diffie-Hellman for its key exchange. In this ...
- דובר:
- ליאור נוימן
- תאריך:
- יום רביעי, 4.3.2020, 11:00
- מקום:
- טאוב 601
Pixel Club: Multitask Regression and Flood Forecasting
In this talk, we will discuss recent advances in multitask regression and their application to flood forecasting. We will begin with a brief overview ...
- דובר:
- Ami Wiesel (Hebrew University of Jerusalem
- תאריך:
- יום שלישי, 3.3.2020, 11:30
- מקום:
- חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Learning feasible and efficient MR imaging
Magnetic Resonance Imaging (MRI) has long been considered to be among "the gold standards" of diagnostic medical imaging. The long acquisition times, however, render ...
- דובר:
- תומר וייס
- תאריך:
- יום רביעי, 26.2.2020, 11:45
- מקום:
- טאוב 012 (מרכז רב תכליתי)
Formal Program Repair
The manual detection, examination and repair of computer bugs are all notoriously difficult tasks that programmers face daily. Automated program repair receives a program ...
- דובר:
- בת-חן רוטנברג
- תאריך:
- יום רביעי, 26.2.2020, 11:30
- מקום:
- טאוב 601
Learning-based design of ultrasound imaging systems
Medical ultrasound is a widespread imaging modality owing its popularity to cost efficiency, portability, speed, and lack of harmful ionizing radiation. In this work, ...
- דובר:
- סנקט ודולה
- תאריך:
- יום רביעי, 26.2.2020, 11:00
- מקום:
- טאוב 012 (מרכז רב תכליתי)
Pixel Club: Joint Design of Optics and Post-Processing Algorithms Based on Deep Learning for Generating Advanced Imaging Features
The recent and on-going Deep-Learning (DL) revolution, introduces a paradigm shift in almost all disciplines of signal processing. Traditionally, Computer Vision (CV) and Image ...
- דובר:
- שי אלמלם (אונ' תל-אביב)
- תאריך:
- יום שלישי, 25.2.2020, 11:30
- מקום:
- חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
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, בניין מאייר, הפקולטה להנדסת חשמל
Answering (Unions of) Join Queries using Random Access and Random-Order Enumeration
As data analytics becomes more crucial to digital systems, so grows the importance of characterizing the database queries that admit a more efficient evaluation. ...
- דובר:
- שי זאבי
- תאריך:
- יום ראשון, 16.2.2020, 11:00
- מקום:
- טאוב 601
Personal Assistant Programming in Esperanto
We are interested in the following question: How could one create a digital personal assistant, capable of acquiring and applying new skills through spoken ...
- דובר:
- ליאור שמואל
- תאריך:
- יום שלישי, 4.2.2020, 13:30
- מקום:
- טאוב 601
Pixel Club: Towards high spatial and/or temporal resolution fMRI at ultra-high field 7T human MRI
The recent push towards ultra-high (magnetic) fields in Magnetic Resonance Imaging (MRI) is expected to change the face of biomedical imaging. Recent studies employing ...
- דובר:
- ריטה שמידט (מכון ויצמן למדע)
- תאריך:
- יום שלישי, 4.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
- מקום:
- חדר 337, בניין טאוב למדעי המחשב
Pixel Club: From Voxels to Pixels and Back: Self-Supervision in Natural-Image Reconstruction from fMRI
Reconstructing observed images from fMRI brain recordings is challenging. Unfortunately, acquiring sufficient "labeled" pairs of {Image, fMRI} (i.e., images with their corresponding fMRI responses) ...
- דובר:
- גיא גזיב (מכון ויצמן למדע)
- תאריך:
- יום שלישי, 28.1.2020, 11:30
- מקום:
- חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
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, סייבר, אבטחת מידע, רשתות תקשורת, ראייה ממוחשבת ומציאות מדומה
מעבדות הפקולטה למדעי המחשב: המעבדה לפיתוח תוכנה ומערכות (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 טאוב.
