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

  • MPC Beyond the Generic Model - Private Intersection Analytics

    Effective data analysis often depends on data that is known to different sources, including private data whose owners cannot disclose. The task at hand ...

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

    [לנוסח המלא]

  • Degree-Bounded Polymatroids, with Applications to the Many-Visits TSP

    In the Bounded Degree Matroid Basis Problem, we are given a matroid and a hypergraph on the same ground set, together with costs for ...

    דובר:
    גיל כהן
    תאריך:
    יום שלישי, 3.12.2019, 14:30
    מקום:
    חדר 337 טאוב.

    [לנוסח המלא]

  • Theory Seminar: Scheduling Algorithms in the SINR Model for Wireless Networks

    SINR (aka physical model) is a model of wireless communication that has been studied from algorithmic perspective in the last decade, and is considered ...

    דובר:
    טיגראן טונויאן (מדעי המחשב, טכניון)
    תאריך:
    יום רביעי, 20.11.2019, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • ceClub: Beresheet's Journey to The Moon

    SpaceIL made history when Beresheet, the first privately funded spacecraft, have reached the Moon with a minute budget of 100M$. After eight years of ...

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

    [לנוסח המלא]

  • Pixel Club: What's in a Face? Metric Learning for Face Characterization

    We present a method for determining which facial parts (mouth, nose, etc.) best characterize an individual, given a set of that individual's portraits. We ...

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

    [לנוסח המלא]

  • Data Science & Deep Learning Seminar: Discrepancy, Coresets, and Sketches in Machine Learning

    This paper defines the notion of class discrepancy for families of functions. It shows that low discrepancy classes admit small offline and streaming coresets. ...

    דובר:
    עידו ליברטי
    תאריך:
    יום שני, 18.11.2019, 12:30
    מקום:
    טאוב 301

    [לנוסח המלא]

  • Machine Learning of SQL Queries Containment Rate and Result Cardinality

    Traditional query optimizer is crucially dependent on cardinality estimation, which enables choosing among different plan alternatives by using the cardinality estimation of intermediate results ...

    דובר:
    רוג'ה חאיכ
    תאריך:
    יום ראשון, 17.11.2019, 15:30
    מקום:
    חדר 601 טאוב.

    [לנוסח המלא]

  • Overlapping Correlation Clustering in Theory

    The overlapping correlation clustering problem has multiple real-world applications in diverse areas such as: social networks (community detection), biology (protein analysis) and information retrieval ...

    דובר:
    איילת קרבי
    תאריך:
    יום חמישי, 14.11.2019, 11:00
    מקום:
    חדר 601 טאוב.

    [לנוסח המלא]

  • Theory Seminar: Query-to-Communication Lifting Using Low-Discrepancy Gadgets

    Lifting theorems are theorems that relate the query complexity of a function $f : \{0, 1\}^{n} \rightarrow \{0, 1\}$  to the communication complexity of ...

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

    [לנוסח המלא]

  • Is there Logic in Software Engineering?

    When this logician moved to theoretical computer science, this did not seem such a big deal to him. The transition was seamless. The transition ...

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

    [לנוסח המלא]

  • Data Science & Deep Learning Seminar: Direct Optimization through arg max for Discrete Variational Auto-Encoder

    Reparameterization of variational auto-encoders with continuous random variables is an effective method for reducing the variance of their gradient estimates. Our work optimizes the ...

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

    [לנוסח המלא]

  • Using Neural Networks to Create Personalized Jazz Improvisations

    Learning to generate music is an ongoing AI challenge. A more difficult challenge is the generation of musical pieces that match human-specific preferences. In ...

    דובר:
    נדב בהונקר
    תאריך:
    יום ראשון, 10.11.2019, 13:30
    מקום:
    המרכז הרב-תכליתי, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Theory Seminar: The Adversarial Robustness of Sampling

    Suppose we receive a stream of data, sampling each arriving data element with some predetermined probability. It is well known that if the elements ...

    דובר:
    עומרי בן-אליעזר (אונ' תל-אביב)
    תאריך:
    יום רביעי, 6.11.2019, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • Training Neural Networks: The Bigger the Better?

    Artificial neural networks are nowadays routinely trained to solve challenging learning tasks, but our theoretical understanding of this phenomenon remains quite limited. One increasingly ...

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

    [לנוסח המלא]

  • Data Science & Deep Learning Seminar: Algorithmic Bias in Neural Networks: From Parameters to Function Space

    In many common datasets, neural networks can achieve zero training loss yet generalize well to unseen data. Recent works suggest that this because standard ...

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

    [לנוסח המלא]

  • A Calculus for Brain Computation

    How does the brain beget the mind? How do molecules, cells and synapses effect reasoning, intelligence, language, science? Despite dazzling progress in experimental neuroscience ...

    דובר:
    Prof. Christos Papadimitriou, Special Guest Talk, Harvey Prize Winner
    תאריך:
    יום שני, 4.11.2019, 11:00
    מקום:
    חדר Auditorium 2 טאוב.

    [לנוסח המלא]

  • CSpecial Talk: Barrier-enabled IO stack for Flash Storage

    This work is dedicated to eliminating the overhead required for guaranteeing the storage order in the modern IO stack. The existing block device adopts ...

    דובר:
    Youjip Won (School of Electrical Engineering, KAIST)
    תאריך:
    יום חמישי, 31.10.2019, 11:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Theory Seminar: Anti-concentration in Most Directions

    The talk is about anti-concentration of the inner product of two independent random vectors in Euclidean space. We shall discuss a proof, and some ...

    דובר:
    אמיר יהודיוף (טכניון)
    תאריך:
    יום רביעי, 30.10.2019, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • אירוע היובל של הפקולטה למדעי המחשב

    CS Jubilee Eventהפקולטה למדעי המחשב בטכניון חוגגת 50 שנה ומזמינה אתכם לאירוע CS City - פסטיבל של מדע וטכנולוגיה לכל המשפחה אשר יתקיים ביום שלישי, 29 ...

    תאריך:
    יום שלישי, 29.10.2019, 16:30
    מקום:
    בניין טאוב למדעי המחשב, הטכניון

    [לנוסח המלא]

  • Query Evaluation in Election Databases

    Election databases are the main elements of a recently introduced framework that aims to create bridges between the computational social choice and the data ...

    דובר:
    Muhammad Tibi
    תאריך:
    יום רביעי, 23.10.2019, 15:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • The Complexity of Database Inconsistency Measures

    Managing data inconsistency has been one of the major challenges in the research and practice of database management. Database inconsistency arises for different reasons ...

    דובר:
    Ester Livshits
    תאריך:
    יום רביעי, 23.10.2019, 13:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Theory Seminar: Explicit Binary Tree Codes with Polylogarithmic Size Alphabet

    A tree code is a combinatorial object introduced by Schulman in the early 90s as a key ingredient in interactive coding. Schulman proved the ...

    דובר:
    Gil Cohen
    תאריך:
    יום רביעי, 23.10.2019, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • DeepRED: Deep Image Prior Powered by RED

    Inverse problems in imaging are extensively studied, with a variety of strategies, tools, and theory that have been accumulated over the years. Recently, this ...

    דובר:
    גארי מטייב
    תאריך:
    יום שני, 16.9.2019, 11:30
    מקום:
    טאוב 401

    [לנוסח המלא]

  • Cross-Cultural Transfer Learning for Text Classification

    Large training datasets are required to achieve competitive performance in most natural language tasks. The acquisition process for these datasets is labor intensive, expensive, ...

    דובר:
    Dor Ringel
    תאריך:
    יום ראשון, 15.9.2019, 10:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Generating Personalized Product Descriptions from User Reviews

    Product descriptions play an important role in the e-commerce ecosystem, conveying information to buyers about merchandise they may purchase. Yet, on leading e-commerce websites, ...

    דובר:
    Guy Elad
    תאריך:
    יום חמישי, 12.9.2019, 16:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Online Linear Models for Edge Computing

    Maintaining an accurate trained model on an infinite data stream is challenging due to concept drifts that render a learned model inaccurate. Updating the ...

    דובר:
    הדר סיון
    תאריך:
    יום רביעי, 11.9.2019, 11:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • הכנס השנתי הבינלאומי התשיעי להנדסת מחשבים בטכניון בנושא Autonomous Systems

    The 9th Annual International TCE Conference on Autonomous Systemsביום רביעי, 11 בספטמבר, 2019 יקיים המרכז להנדסת מחשבים בטכניון (TCE) את הכנס השנתי הבינלאומי התשיעי בנושא: Autonomous Systems ויתמקד בהופעתם של מערכות אוטונומיות, ...

    תאריך:
    יום רביעי, 11.9.2019, 09:00
    מקום:
    אודיטוריום 1, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Efficient Lock-Free Durable Sets

    Non-volatile memory is expected to co-exist or replace DRAM in upcoming architectures. Durable concurrent data structures for non-volatile memories are essential building blocks for ...

    דובר:
    Yoav Zuriel
    תאריך:
    יום ראשון, 8.9.2019, 14:30
    מקום:
    טאוב 701

    [לנוסח המלא]

  • Theory Seminar: Transparent Polynomial Commitments and SNARKs

    We construct a new interactive polynomial commitment scheme using groups of unknown order. The interactive evaluation argument is public-coin and has logarithmic communication in ...

    דובר:
    בן פיש (אונ' סטנפורד)
    תאריך:
    יום ראשון, 8.9.2019, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • Tree-Test: an association test for observations on a directed tree

    In the field of population genetics, it is known that collected observations are not independent, as they all share a common ancestor. Current state-of-the-art ...

    דובר:
    Gal Novich
    תאריך:
    יום חמישי, 5.9.2019, 10:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Thapl - A Theaterical Programming Language

    The purpose of this research is to explore an innovative approach to the declarative and imperative paradigms of programming languages. To demonstrate this approach, ...

    דובר:
    Matan Peled
    תאריך:
    יום שלישי, 3.9.2019, 12:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Performance Prediction of Programs on Heterogeneous and Massively Parallel Architectures

    Massively parallel, throughput-oriented processors are becoming increasingly common. Maximizing the benefit of these processors requires algorithms to be implemented differently than the sequential algorithms ...

    דובר:
    אורי שומרוני
    תאריך:
    יום חמישי, 29.8.2019, 16:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Distributed Clique Detection in Dynamic Networks

    Real-world networks are dynamic in nature -- nodes may join or leave the network at any time, and communication links may appear or disappear ...

    דובר:
    Matthias Bonne
    תאריך:
    יום רביעי, 21.8.2019, 11:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • BQ: A Lock-Free Queue with Batching

    Concurrent data structures provide fundamental building blocks for concurrent programming. Standard concurrent data structures may be extended by allowing a sequence of operations to ...

    דובר:
    Gal Milman
    תאריך:
    יום חמישי, 15.8.2019, 11:00
    מקום:
    חדר 601 טאוב.

    [לנוסח המלא]

  • Learning for Numerical Geometry

    Numerical geometry comprises of principled computational methods that utilize theoretical insights from geometry along with the engineering concepts from numerical methods, for tackling various ...

    דובר:
    גאוטמ פאי
    תאריך:
    יום רביעי, 14.8.2019, 11:00
    מקום:
    טאוב 401

    [לנוסח המלא]

  • Solving Jigsaw Puzzles with Eroded Boundaries Using GAN Inpainting

    Jigsaw puzzle solving is an intriguing problem, having a wide variety of applications in archaeology, biology, document restoration and others. This paper focuses on ...

    דובר:
    דב ברידג'ר
    תאריך:
    יום שלישי, 13.8.2019, 14:00
    מקום:
    חדר 601 טאוב.

    [לנוסח המלא]

  • Market Driven Multi-Resource Allocation

    Suboptimal resource utilization among public and private cloud providers prevents them from maximizing their economic potential. Long-term allocated resources are often idle when they ...

    דובר:
    Liran Funaro
    תאריך:
    יום שני, 12.8.2019, 16:00
    מקום:
    טאוב 301

    [לנוסח המלא]

  • Pixel Club: The Information in the Weights of a Deep Network

    The information in the weights of deep networks plays a key role in understanding their behavior. When used as a regularizer during training (either ...

    דובר:
    סטפאנו סואטו (UCLAׁ)
    תאריך:
    יום שני, 12.8.2019, 14:30
    מקום:
    חדר 815, בניין מאייר, הפקולטה להנדסת חשמל

    [לנוסח המלא]

  • Program Synthesis for Programmers

    Recent years have seen great progress in automated synthesis techniques that can automatically generate code based on some intent expressed by the user, but ...

    דובר:
    הילה פלג
    תאריך:
    יום שלישי, 6.8.2019, 14:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • On the Generalization of Gaussian Dropout using PAC-Bayesian bounds and Log-Sobolev Inequalities

    The omnipresence of increasingly large deep networks derives primarily from their empirical successes. Indeed, empirical evidence places a strong emphasis on operating at scale, ...

    דובר:
    יניב נמקובסקי
    תאריך:
    יום שני, 29.7.2019, 10:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • A Learning Approach to Geometric Matrix Completion

    Different methods where presented through the years to find good solutions for the Matrix Completion Problem. This problem appears in many tasks in life ...

    דובר:
    מריה טוניק שמידט
    תאריך:
    יום שני, 22.7.2019, 10:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Enumeration for MSO Queries on Trees via Circuits

    This talk will present our approach for enumerating the results of queries in monadic second-order (MSO) on trees. Our goal is to first preprocess ...

    דובר:
    Prof. Antoine Amarilli - SPECIAL GUEST LECTURE
    תאריך:
    יום ראשון, 14.7.2019, 11:00
    מקום:
    חדר 301 טאוב.

    [לנוסח המלא]

  • ceClub: Preserving Locality across Virtual and Physical Address Spaces to Accelerate Address Translation

    Applications' memory consumption is growing rapidly, which increases their dependence on the memory system. Since each virtual-to-physical memory translation in modern systems requires cache ...

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

    [לנוסח המלא]

  • Probably Strongly Believed

    Whereas deterministic protocols are typically guaranteed to obtain particular goals of interest, probabilistic protocols typically provide only probabilistic guarantees. In this talk we initiate ...

    דובר:
    ניצן זמיר
    תאריך:
    יום ראשון, 7.7.2019, 11:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • On the Number of Factorizations of Polynomials with Application to List-Decoding of Rank-Metric Codes

    Rank-metric codes (RMCs) over finite fields were introduced some 40 years ago by Delsarte, Gabidulin and Roth. Interest in RMCs was revived in recent ...

    דובר:
    רחל נירית ברמן
    תאריך:
    יום חמישי, 4.7.2019, 14:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • CGGC Seminar: Linearly Converging Quasi Branch and Bound Algorithms for Global Rigid Registration

    Rigid registration is the problem of finding the optimal rigid motion and correspondence between two shapes, so that they are as similar as possible ...

    דובר:
    נדב דים (אונ' דיוק)
    תאריך:
    יום רביעי, 3.7.2019, 11:30
    מקום:
    טאוב 401

    [לנוסח המלא]

  • Coding Theory: Syndrome Decoding of Reed-Muller Codes and Tensor Decomposition over Finite Fields

    In this talk, we will look at decoding Reed-Muller codes beyond their minimum distance when the errors are random (i.e., in the binary symmetric ...

    דובר:
    Aditya Potukuchi (Rutgers University)
    תאריך:
    יום ראשון, 30.6.2019, 14:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • CGGC Seminar: Automatic Non-Isometric Shape Correspondence using a Genetic Algorithm

    Shape correspondence is a fundamental task in shape analysis. Given two shapes, the goal is to compute a semantic correspondence between points on them. ...

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

    [לנוסח המלא]

  • ceClub: Accelerating Software Defined Networking in Microsoft Azure

    Modern cloud architectures rely on each server running a software-defined networking stack to implement policy and virtualization. However, these networking stacks are becoming increasingly ...

    דובר:
    Daniel Firestone (Azure Host Networking)
    תאריך:
    יום חמישי, 27.6.2019, 13:30
    מקום:
    חדר 861, בניין מאייר, הפקולטה להנדסת חשמל

    [לנוסח המלא]

  • Theory Seminar: On the Role of Randomness in Local Distributed Graph Algorithm

    It is widely known that in the well-studied \LOCAL model of distributed computing, introduced by Linial [FOCS '87], many of the classic distributed graph ...

    דובר:
    יאניס מאוס (מדעי המחשב, טכניון)
    תאריך:
    יום רביעי, 26.6.2019, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • Pixel Club: Momen(e)t : Flavor the Moments in Learning to Classify Shapes

    A fundamental question in learning to classify 3D shapes is how to treat the data in a way that would allow us to construct ...

    דובר:
    מור יוסף-ריבלין (מדעי המחשב, טכניון)
    תאריך:
    יום רביעי, 26.6.2019, 11:00
    מקום:
    טאוב 401

    [לנוסח המלא]

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

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

    תאריך:
    יום שלישי, 25.6.2019, 12:30
    מקום:
    קומת הכניסה - בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • היום! יום מחקר 2019 בפקולטה למדעי המחשב

    TODAY! CS RESEARCH DAY 2019יום המחקר התשיעי לתארים מתקדמים בפקולטה למדעי המחשב יתקיים ביום ראשון, 24 ביוני, 2019, בין השעות 15:00-17:00, בלובי של בניין טאוב למדעי המחשב. יום ...

    תאריך:
    יום שני, 24.6.2019, 15:00
    מקום:
    קומת הכניסה - בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • ceClub: Networks that Never Drop Packets

    Datacenter congestion control remains to be a hard problem. The root of the problem is that the ability of end-hosts to react to congestion ...

    דובר:
    Rachit Agarwal (Cornell University)
    תאריך:
    יום שני, 24.6.2019, 14:30
    מקום:
    חדר 861, בניין מאייר, הפקולטה להנדסת חשמל

    [לנוסח המלא]

  • Coding Theory: Clustering-Correcting Codes

    In this talk, a new family of codes called clustering-correcting codes is presented. This family of codes is motivated by the special structure of ...

    דובר:
    טל שינקאר (מדעי המחשב, טכניון)
    תאריך:
    יום ראשון, 23.6.2019, 14:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • CGGC Seminar: Viscous Thin Films in Real Time

    I'll discuss our novel discrete scheme for simulating viscous thin films in 2D at real-time frame rates. Our scheme is based on a new ...

    דובר:
    סער רז (מדעי המחשב, טכניון)
    תאריך:
    יום ראשון, 23.6.2019, 13:30
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Pixel Club: Geometric Feature Descriptors based on Partial Differential Equations

    Abstract: One of the main tasks in three-dimensional shape analysis is to retrieve similarities between two or more non-rigid objects in terms of point-to-point ...

    דובר:
    רוברט דאשל (אונ' ברנדרבורג)
    תאריך:
    יום חמישי, 20.6.2019, 13:30
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Theory Seminar: Planar Diameter via Metric Compression

    We develop a new approach for distributed distance computation in planar graphs that is based on a variant of the metric compression problem recently ...

    דובר:
    מרב פרטר (מכון ויצמן למדע)
    תאריך:
    יום רביעי, 19.6.2019, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • Multiscale Models for Image Classification and Physics with Deep Networks

    Approximating high-dimensional functionals with low-dimensional models is a central issue of machine learning, image processing, physics and mathematics. Deep convolutional networks are able to ...

    דובר:
    Prof. Stéphane Mallat - SPECIAL GUEST LECTURE
    תאריך:
    יום שלישי, 18.6.2019, 14:30
    מקום:
    חדר 337 טאוב.

    [לנוסח המלא]

  • AI as an Accelerator to Great Scientific Research

    AI as an Accelerator to Great Scientific ResearchThe new and highly effective techniques frequently associated with Artificial Intelligence, including machine learning, pattern recognition, natural language processing, robotics, image analysis, and nonlinear ...

    דובר:
    סטיוארט פלדמן (Schmidt Futures)
    תאריך:
    יום ראשון, 16.6.2019, 14:30
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Coding Theory: Zero-error Communication over a Two-Way Channel

    In this talk, we consider the problem of communicating over a discrete memoryless two-way channel using non-adaptive schemes, under a zero probability of error ...

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

    [לנוסח המלא]

  • Special Distinguished Lecture: Putting Ethical AI to the Vote

    I will present the 'virtual democracy' framework for the design of ethical AI. In a nutshell, the framework consists of three steps: first, collect ...

    דובר:
    אריאל פרוקצ'יה (CMU)
    תאריך:
    יום ראשון, 16.6.2019, 11:30
    מקום:
    בלומפילד 527

    [לנוסח המלא]

  • Mitigating One-Sided Biases in Natural Language Understanding Datasets

    Many natural language understanding (NLU) tasks consist of identifying the relationship between two objects, such as a paragraph and a question (reading comprehension), an ...

    דובר:
    Yonatan Belinkov - CS-Lecture
    תאריך:
    יום ראשון, 16.6.2019, 10:30
    מקום:
    חדר 601 טאוב.

    [לנוסח המלא]

  • Preventing Collusion in Cloud Computing Auctions

    In recent years, cloud providers have been moving towards offering their clients separate cloud resources for short periods of time instead of offering bundles ...

    דובר:
    שונית אגמון
    תאריך:
    יום חמישי, 13.6.2019, 14:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • CGGC Seminar: Generative Design & Engineering

    Recent advances in manufacturing techniques have greatly expanded the types and complexity of shapes that can be produced. At the same time, advances in ...

    דובר:
    סוראז' מוסובאתי (סימנס)
    תאריך:
    יום חמישי, 13.6.2019, 11:00
    מקום:
    טאוב 401

    [לנוסח המלא]

  • יום עיון: SeeByondReality

    Workshop: SeeByondRealityהנכם מוזמנים ליום עיון משותף לפקולטה למדעי המחשב וחברת רפאל בנושאים: עיבוד תמונה, ראייה ממוחשבת, גרפיקה ממוחשבת ומציאות מדומה, אשר יתקיים ביום ה', 13 ...

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

    [לנוסח המלא]

  • Theory Seminar: On Symmetry and Initialization for Neural Network

    This work provides an additional step in the theoretical understanding of neural networks. We consider neural networks with one hidden layer and show that ...

    דובר:
    עידו נחום (מתמטיקה, טכניון)
    תאריך:
    יום רביעי, 12.6.2019, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • ceClub: Full-System Computer Architecture Using Open-Source Hardware and FPGA-Accelerated Simulation

    In this talk, I will describe several research projects developed in the Berkeley Architecture Research group which utilize FPGA-accelerated simulation and open-source hardware, demonstrating ...

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

    [לנוסח המלא]

  • CSpecial Talk: Circumventing Lower Bounds in Machine Learning using An Oracle Model: Applications to Boosting, Online And Private Learning

    The last decade saw a tremendous empirical success of machine learning algorithms, which often can not be explained theoretically using a worst-case analysis. Therefore, ...

    דובר:
    אלון גונן (אונ' פרינסטון)
    תאריך:
    יום שלישי, 11.6.2019, 15:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • SYNTECH: Synthesis Technologies for Reactive Systems Software Engineers

    Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive system from a given declarative, temporal specification. Examples of these systems include the ...

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

    [לנוסח המלא]

  • Pixel Club: A Monte Carlo Framework for Rendering Speckle Statistics in Scattering Media

    We present a Monte Carlo rendering framework for the physically-accurate simulation of speckle patterns arising from volumetric scattering of coherent waves. These noise-like patterns ...

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

    [לנוסח המלא]

  • CGGC Seminar: Volumetric Untrimming: Precise Decomposition of Trimmed Trivariates into Tensor Products

    3D objects, modeled using Computer Aided Geometric Design (CAGD) tools, are traditionally represented using a boundary representation (B-rep), and typically use spline functions to ...

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

    [לנוסח המלא]

  • TOY: A Total ordering Optimistic sYstem for Permissioned Blockchains

    Blockchains are distributed secure ledgers to which transactions are issued continuously and each block of transactions is tightly coupled to its predecessors. Permissioned blockchains ...

    דובר:
    יהונתן בוכניק
    תאריך:
    יום חמישי, 6.6.2019, 12:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • CSpecial Talk: Exploring New Frontiers in Container Technology

    CSpecial Talk: Exploring New Frontiers in Container TechnologyContainers (or Operating System based Virtualization) are an old technology; however, the current excitement (and consequent investment) around containers provides interesting avenues for research ...

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

    [לנוסח המלא]

  • Theory Seminar: Network Coding Gaps for Completion Time of Multiple Unicasts

    Arguably the most common network communication problem is multiple-unicasts: Distinct packets at different nodes in a network need to be delivered to a destination ...

    דובר:
    דוד וייץ (CMU)
    תאריך:
    יום רביעי, 5.6.2019, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • CSpecial Tutorial: Understanding the Bitcoin Protocol. Seriously. (two-hour tutorial)

    CSpecial Tutorial: Understanding the Bitcoin Protocol. Seriously. (two-hour tutorial)In the last six years, Bitcoin has obtained a good deal of attention, reaching in May 2019 a market capitalization of more than one ...

    דובר:
    מרטין אוגרטה (אונ' צ'ילה)
    תאריך:
    יום שלישי, 4.6.2019, 14:30
    מקום:
    טאוב 401

    [לנוסח המלא]

  • Bayesian Algorithms for Vision Acuity Tests

    Visual acuity (VA) tests are widely used in ophthalmology to measure vision quality, but even modern tests still rely on an algorithm created in ...

    דובר:
    אמיר דוד ניסן כהן
    תאריך:
    יום שלישי, 4.6.2019, 11:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Computational Integrity: from theory to practice

    Computation integrity (CI) protocols allow a strong prover to convince a skeptic verifier it has knowledge of an input satisfying a program. Although theoretical ...

    דובר:
    מיכאל ריאבצב
    תאריך:
    יום שני, 3.6.2019, 12:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Uncertainty and its Applications in Deep Neural Networks

    Deep neural networks (DNNs) have recently shown great success in many machine learning domains and problems. However, applying these models for mission critical tasks ...

    דובר:
    יונתן גייפמן
    תאריך:
    יום ראשון, 2.6.2019, 15:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Coding Theory: Reconstruction of Sequences in DNA Storage

    The sequence reconstruction problem corresponds to a model in which a sequence from some code is transmitted over several noisy channels. The channels are ...

    דובר:
    מאריה אבו סיני (מדעי המחשב, טכניון)
    תאריך:
    יום ראשון, 2.6.2019, 14:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • CGGC Seminar: Accessibility for Line-Cutting in Freeform Surfaces

    Manufacturing techniques such as hot-wire cutting, wire-EDM, wire-saw cutting, and flank CNC machining all belong to a class of processes called line-cutting where the ...

    דובר:
    בוריס סוסין (מדעי המחשב, טכניון)
    תאריך:
    יום ראשון, 2.6.2019, 13:30
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Theory Seminar: Fast Approximate Shortest Paths in the Congested Clique

    I will discuss our recent shortest paths algorithms in the distributed congested clique model. Our first contribution is a (2+epsilon)-approximation algorithm for all-pairs shortest ...

    דובר:
    מיכל דורי (מדעי המחשב, טכניון)
    תאריך:
    יום רביעי, 29.5.2019, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • ceClub: Memory Channels Are Needed for High Performance Data Analytics

    Graph processing is typically considered to be a memory-bound rather than compute-bound problem. One common line of thought is that more available memory bandwidth ...

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

    [לנוסח המלא]

  • Deep Learning: Optimization, Generalization and Architectures

    Artificial neural networks have recently revolutionized the field of machine learning, demonstrating striking empirical success on tasks such as image understanding, speech recognition and ...

    דובר:
    Amir Globerson - COLLOQUIUM LECTURE - RESCHEDULED
    תאריך:
    יום שלישי, 28.5.2019, 14:30
    מקום:
    חדר 337 טאוב.

    [לנוסח המלא]

  • Pixel Club: Multi-Scale Weighted Nuclear Norm Image Restoration

    A prominent property of natural images is that groups of similar patches within them tend to lie on low-dimensional subspaces. This property has been ...

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

    [לנוסח המלא]

  • Pixel Club: Photometric Stereo by Non-convex Minimisation

    The aim of photometric stereo is to estimate shape and appearance of a three-dimensional object from multiple input images taken from the same point ...

    דובר:
    גאורג ראדו (אונ' ברנדנברוג)
    תאריך:
    יום ראשון, 26.5.2019, 14:30
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Coding Theory: Nearly Optimal Robust Positioning Sequences

    A robust positioning pattern is a large array that allows a mobile device to locate its position by reading a possibly corrupted small window ...

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

    [לנוסח המלא]

  • Theory Seminar: How to Detect Extreme Bias: An Overview of Quantified Derandomization

    In the classical derandomization problem, we are given a description of a Boolean circuit, and want to deterministically approximate its acceptance probability, up to ...

    דובר:
    Roei Tell (Weizmann Institute of Science)
    תאריך:
    יום רביעי, 22.5.2019, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • Estimating Application Runtimes Using TLB Performance Metrics

    Instead of using full cycle-accurate simulations, recent virtual memory studies frequently utilize linear models to predict application runtimes from TLB misses. The benefit of ...

    דובר:
    מוחמד אגבאריה
    תאריך:
    יום רביעי, 22.5.2019, 09:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • A Study of Synchronization Optimizations for Parallel Dynamic Languages and Transactional Processing

    Dynamically-typed programming languages such as Python, Ruby and JavaScript are widely used, and much effort is spent on making them efficient. One substantial research ...

    דובר:
    אריה טל
    תאריך:
    יום שלישי, 21.5.2019, 13:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Pixel Club: Color and Multi-Spectral Sensing Using a Coded Aperture Camera

    Hyperspectral imaging allows measuring the spectrum of each pixel in the image of a scene. This modality has diverse applications, ranging from agriculture and ...

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

    [לנוסח המלא]

  • Coding Theory: On Optimal Locally Repairable Codes with Super-Linear Length

    In this talk, we consider locally repairable codes which are optimal with respect to the Singleton-type bound presented by Prakash \emph{et al.} New upper ...

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

    [לנוסח המלא]

  • CGGC Seminar: Barycentric Rational Interpolation of a Function and Its Derivatives

    Floater–Hormann interpolants constitute a family of barycentric rational interpolants based on the blend of local polynomial interpolants of degree d that have recently proved ...

    דובר:
    אמיליאנו סירילו (מדעי ה מחשב, טכניון)
    תאריך:
    יום ראשון, 19.5.2019, 13:30
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • CGGC Seminar: Non Isometric Shape Correspondence

    Shape correspondence is a fundamental task in shape analysis, with a variety of applications in computer graphics and computer vision. Example applications include statistical ...

    דובר:
    דניאל עזוז (מדעי המחשב, טכניון)
    תאריך:
    יום חמישי, 16.5.2019, 10:30
    מקום:
    טאוב 401

    [לנוסח המלא]

  • Non Isometric Shape Correspondence

    Shape correspondence is a fundamental task in shape analysis, with a variety of applications in computer graphics and computer vision. Example applications include statistical ...

    דובר:
    דניאל עזוז
    תאריך:
    יום חמישי, 16.5.2019, 10:30
    מקום:
    טאוב 401

    [לנוסח המלא]

  • Theory Seminar: Improved List Decoding of Algebraic Codes

    We show that Folded Reed-Solomon codes achieve list decoding capacity with constant list sizes, independent of the block length. Prior work yielded list sizes ...

    דובר:
    נגה רון-צבי (אונ' חיפה)
    תאריך:
    יום רביעי, 15.5.2019, 12:30
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • ceClub: The Technion Computer Engineering Club

    With their introduction in 2009, cryptocurrencies brought the promise of a global decentralized payment system. However, protocol limitations prevent them from managing the required ...

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

    [לנוסח המלא]

  • Some systems engineering problems and a little bit of theory

    We will consider the SITA server farm scheduling policies which were introduced and studied by Harchol-Balter and her collaborators. In particular we will discuss ...

    דובר:
    Eitan Bachmat - COLLOQUIUM LECTURE - RESCHEDULED
    תאריך:
    יום שלישי, 14.5.2019, 14:30
    מקום:
    חדר 337 טאוב.

    [לנוסח המלא]

  • סדנת Machine Learning on AWS Cloud

    Machine Learning on AWS Cloud Workshopחברי סגל ותלמידי תארים מתקדמים מוזמנים לסדנת Machine Learning on AWS Cloud, ביום שני, 13 במאי, 2019, 15:00-18:30, בחדר 337, בניין טאוב למדעי המחשב. ...

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

    [לנוסח המלא]

  • Pixel Club: Leveraging Hidden Structure in Unstructured Illumination

    Artificial illumination plays a vital role in human civilization. In computer vision, artificial light is extensively used to recover 3D shape, reflectance, and further ...

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

    [לנוסח המלא]

  • Pixel Club: On Mobile Sensing of Spatial Fields

    Mobile sensing is an emerging research area with many applications, including environmental monitoring and medical imaging. For example, tomography, which is used extensively in ...

    דובר:
    אריאל שלום (הנדסת חשמל)
    תאריך:
    יום שני, 6.5.2019, 13:00
    מקום:
    חדר 861, בניין מאייר, הפקולטה להנדסת חשמל

    [לנוסח המלא]

  • Coding Theory: The Hat Guessing Number of Graphs

    Consider the following hat guessing game: nn players are placed on nn vertices of a graph, each wearing a hat whose color is arbitrarily ...

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

    [לנוסח המלא]

  • פצח את קוד הראיון שלך

    CSpecial Talk: Crush Your Coding Interviewאנו שמחים להזמין אתכם לרביעי בסדרת מפגשים בנושא קריירה וחיפוש עבודה שיתקיים ביום רביעי, 1 במאי 201, בשעה 12 בכיתה 7, בניין טאוב למדעי ...

    דובר:
    דור גרוס (פייסבוק ישראל)
    תאריך:
    יום רביעי, 1.5.2019, 12:30
    מקום:
    טאוב 7

    [לנוסח המלא]

  • Theory Seminar: Complement-Free Couples Must Communicate: A Hardness Result for Two-Player Combinatorial Auctions

    We study the communication complexity of welfare maximization in combinatorial auctions with m items and two subadditive bidders. A 12-approximation can be guaranteed by ...

    דובר:
    תומר עזרא (אונ' תל-אביב)
    תאריך:
    יום רביעי, 1.5.2019, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • ceClub: Teechain: A Secure Asynchronous Blockchain Payment Network

    In recent years, cryptocurrencies, and blockchain as their underlying technology have emerged. They act as a decentralized ledger, i.e., an append-only log, where payments ...

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

    [לנוסח המלא]

  • Computer Agents that Interact Proficiently with People

    Automated agents that interact proficiently with people can be useful in supporting, training or replacing people in complex tasks. The inclusion of people presents ...

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

    [לנוסח המלא]

  • Deep Eikonal Solvers

    A deep learning approach to numerically approximate the solution to the Eikonal equation is introduced. The proposed method is built on the fast marching ...

    דובר:
    משה ליכטנשטיין
    תאריך:
    יום שני, 29.4.2019, 11:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • CGGC Seminar: Generalized Volumetric Foliation from Inverted Viscous Flow

    We propose a controllable geometric flow that decomposes the interior volume of a triangular mesh into a collection of encapsulating layers, which we denote ...

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

    [לנוסח המלא]

  • Generalized Volumetric Foliation from Inverted Viscous Flow

    We propose a controllable geometric flow that decomposes the interior volume of a triangular mesh into a collection of encapsulating layers, which we denote ...

    דובר:
    David Cohen
    תאריך:
    יום ראשון, 28.4.2019, 14:00
    מקום:
    טאוב 401

    [לנוסח המלא]

  • Effective Enumeration of Tree Decompositions for Solver Optimization

    Many intractable computational problems on graphs admit tractable algorithms when applied to trees or forests. In such cases, a tree decomposition of the input ...

    דובר:
    דביר דוכן
    תאריך:
    יום ראשון, 28.4.2019, 11:00
    מקום:
    טאוב 601

    [לנוסח המלא]

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

    CS Open Day For Graduate Studies היום הפתוח לקראת ההרשמה לשנה"ל תש"פ מזמין בוגרי תואר ראשון מצטיינים מכל האוניברסיטאות להגיע לטכניון ולהתרשם מהפקולטות למדעי המחשב, לפגוש חברי סגל וסטודנטים ...

    תאריך:
    יום רביעי, 17.4.2019, 12:15
    מקום:
    חדר 337 טאוב.

    [לנוסח המלא]

  • ceClub: What Are Machine Learning Models Hiding?

    Modern machine learning models exhibit super-human accuracy on tasks from image classification to natural-language processing, but accuracy does not tell the entire story of ...

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

    [לנוסח המלא]

  • Multi-Hop Paragraph Retrieval for Open-Domain Question Answering

    Question Answering (QA) is one of the core tasks in natural language understanding. This task requires the ability to process and understand natural language ...

    דובר:
    יאיר פלדמן
    תאריך:
    יום ראשון, 14.4.2019, 16:30
    מקום:
    טאוב 301

    [לנוסח המלא]

  • CGGC Seminar: Geometrical Challenges in Treating Irregular Heart Beat

    This talk presents some of the geometrical aspects involved in treating irregular heart beat rhythm (Arrythmia) using Carto 3 System. Carto 3 is a ...

    דובר:
    פאדי מצארווי (ביוסנס וובסטר)
    תאריך:
    יום ראשון, 14.4.2019, 13:30
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Gentle Measurement of Quantum States and Differential Privacy

    We prove a new connection between gentle measurement (where one wants to measure n quantum states, in a way that damages the states only ...

    דובר:
    גיא רוטבלום (מכון ויצמן למדע)
    תאריך:
    יום רביעי, 10.4.2019, 12:45
    מקום:
    טאוב 201

    [לנוסח המלא]

  • Theory Seminar: Using Cryptography to Utilize an Untrusted Quantum Computer

    The talk will survey new developments that use cryptographic tools in order to use a quantum computer even if it is operated by an ...

    דובר:
    צביקה ברקרסקי (מכון ויצמן למדע)
    תאריך:
    יום רביעי, 10.4.2019, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • The Complexity of Relational Queries over Extractions from Text

    Information Extraction (IE) is the task of extracting structured information from textual data. We explore a programming paradigm that is supported by several IE ...

    דובר:
    ליאת פטרפרוינד
    תאריך:
    יום שני, 8.4.2019, 13:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Pixel Club: Deep Neural Networks Motivated by Partial Differential Equations

    Partial differential equations (PDEs) are indispensable for modeling many physical phenomena and also commonly used for solving image processing tasks. In the latter area, ...

    דובר:
    אלדד הבר (אונ' קולומביה הבריטית)
    תאריך:
    יום שני, 8.4.2019, 12:30
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Knowledge-Based Learning through Feature Generation

    Machine learning algorithms have difficulties to generalize over a small set of examples. Humans can perform such a task by exploiting vast amount of ...

    דובר:
    מיכל בדיאן
    תאריך:
    יום ראשון, 7.4.2019, 14:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • יום עיון בחירות אלקטרוניות (e-lections 2019)

    e-lections 2019 Eventיום עיון בחירות אלקטרוניות (e-lections 2019) באירגונם של פרופ' אלי ביהם, אור דונקלמן ומרכז המחקר לאבטחת סייבר ע"ש הירושי פוג'יאוורה, יתקיים ביום ראשון, ...

    תאריך:
    יום ראשון, 7.4.2019, 09:00
    מקום:
    אודיטוריום 2, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Theory Seminar: Upgrading Security of Encryption Schemes

    There are two well studied security notions for public key encryption schemes: security against passive adversaries and security against active adversaries. In this talk, ...

    דובר:
    ונקטה קופולה (מכון ויצמן למדע)
    תאריך:
    יום רביעי, 3.4.2019, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • On-the-fly Model Checking with Guided Abstraction

    Model checking is an automatic verification method that accepts a system model and a specification, and checks whether the model satisfies the specification. CTL ...

    דובר:
    גל שדה
    תאריך:
    יום שלישי, 2.4.2019, 15:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • From Cognitive Biases to the Communication Complexity of Local Search

    In this talk I will tell you how analyzing economic markets where agents have cognitive biases has led to better understanding of the communication ...

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

    [לנוסח המלא]

  • Graph Balancing with Orientation Costs

    We consider the Graph Balancing problem, where we are given an undirected multigraph with edge weights and orientation costs. The goal is to find ...

    דובר:
    רן יחזקאל
    תאריך:
    יום שני, 1.4.2019, 11:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • CGGC Seminar: Volumetric Frame Fields for Hexahedral Meshing

    The hexahedral meshing problem is the volumetric analog of the quad meshing problem, with analogous applications in finite element modeling. One might expect that ...

    דובר:
    דוד פלמר (MIT)
    תאריך:
    יום חמישי, 28.3.2019, 11:00
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Theory Seminar: Improved Bounds for Excluded Grid Theorem

    We study the Excluded Grid Theorem, a fundamental structural result in graph theory, that was proved by Robertson and Seymour in their seminal work ...

    דובר:
    זיהאן טאן (אונ' שיקגו)
    תאריך:
    יום רביעי, 27.3.2019, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • Pixel Club: Spectral Analysis of a Non-Equilibrium Stochastic System on a General Network

    Unravelling underlying complex structures from limited resolution measurements is a known problem arising in many scientific disciplines. We study a stochastic dynamical model with ...

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

    [לנוסח המלא]

  • A Generic Sharding Scheme for Blockchain Protocols

    Blockchain protocols are notoriously bad at scaling. Most protocols do work reasonably well when used in a small scale. Yet, as the network size ...

    דובר:
    צופית פידלמן
    תאריך:
    יום שני, 25.3.2019, 13:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • CGGC Seminar: Geometry Treatment in Fictitious domain Methods

    Fictitious domain methods are an elegant way to circumvent a tedious discretization process, mostly meshing. The core idea is to embedded the geometrically complex ...

    דובר:
    בנג'מין ווסרמן (אונ' מינכן)
    תאריך:
    יום ראשון, 24.3.2019, 13:30
    מקום:
    טאוב 401

    [לנוסח המלא]

  • Theory Seminar: Optimal Short-Circuit Resilient Formulas

    We consider fault-tolerant boolean formulas in which the output of a faulty gate is short-circuited to one of the gate’s inputs. A recent result ...

    דובר:
    רן גלס (אונ' בר-אילן)
    תאריך:
    יום רביעי, 20.3.2019, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • היום! הגמר - תחרות הפרוייקט המצטיין בחסות אמדוקס 2019

    TODAY! The Finals - 2019 Best Project Contest by Amdocsהנכם מוזמנים להצגת הפרוייקטים שעלו לגמר בתחרות הפרוייקט המצטיין 2019. הצוותים המתמודדים יציגו את מחקריהם ויענו לשאלות השופטים והקהל. האירוע יתקיים ביום רביעי, ...

    תאריך:
    יום רביעי, 20.3.2019, 12:00
    מקום:
    חדר 337 טאוב.

    [לנוסח המלא]

  • CGGC Seminar: Correspondences between Subdivision Surfaces

    We present a novel method for computing correspondences between subdivision surfaces, represented as functional maps. We leverage two main advantages of the hierarchical structure: ...

    דובר:
    מגד שוהם (טכניון)
    תאריך:
    יום ראשון, 17.3.2019, 13:30
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Solving Archaeological Puzzles

    Puzzle solving is a difficult problem in its own right, even when the pieces are all square and build up a natural image. But ...

    דובר:
    ניב דרך
    תאריך:
    יום ראשון, 17.3.2019, 10:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • Statistical Approaches to Reverse Engineering

    Today we are literally surrounded by software. Almost all products and services we use on a daily basis involve some piece of software. The ...

    דובר:
    עומר כץ
    תאריך:
    יום חמישי, 14.3.2019, 14:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Find A Cure: Learning to Rank Articles for Molecular Queries

    Billions of dollars a year are spent to develop a new drug. The first step in the drug development process is drug discovery, where ...

    דובר:
    אבירם מגן
    תאריך:
    יום חמישי, 14.3.2019, 12:00
    מקום:
    טאוב 401

    [לנוסח המלא]

  • Differentiable Neural Architecture Search with Arithmetic Complexity Constraint

    Neural Architecture Search (NAS) aims to facilitate the design of deep networks for a given task. This is part of a larger trend – ...

    דובר:
    יוחאי צור
    תאריך:
    יום חמישי, 14.3.2019, 11:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Theory Seminar: Theory Seminar:A Crash Course in Quantum Computing - Lecture 2

    In this lecture we will introduce a few quantum complexity classes (BQP, QMA, QIP, and QPIP), the Deutsch-Jozsa algorithm, and Simon's algorithm; we will ...

    דובר:
    טל מור (מדעי המחשב, טכניון)
    תאריך:
    יום רביעי, 13.3.2019, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • ceClub: Network Vulnerabilities against Disasters

    We have witnessed worldwide network outages after large-scale natural disasters, such as earthquakes, hurricane, and terrorist attacks. In the talk, I will discuss how ...

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

    [לנוסח המלא]

  • יום עיון בסייבר ואבטחת מידע 2019

    CYBERDAY 2019יום עיון בסייבר ואבטחת מידע 2019 יום העיון בסייבר ואבטחת מידע 2019 באירגונם של פרופ' אלי ביהם, פרופ' שרה ביתן ומרכז המחקר לאבטחת ...

    תאריך:
    יום שלישי, 12.3.2019, 09:30
    מקום:
    Technion

    [לנוסח המלא]

  • Pixel Club: Connecting Existing Pieces of Evidence in Time and Space for Understanding Real-World Events

    In this talk, we will discuss problems associated with synchronizing specific events in space and time (X-coherence), fact-checking, and mining persons, objects and contents ...

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

    [לנוסח המלא]

  • Theory Seminar:A Crash Course in Quantum Computing - Lecture 1

    In this lecture we will introduce the quantum bit (qubit), the basic rules of quantum information/computing, the no-cloning principle, quantum gates for universal quantum ...

    דובר:
    טל מור (מדעי המחשב, טכניון)
    תאריך:
    יום רביעי, 6.3.2019, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • ceClub: Disaggregated Programmable Switching and Distributed Load Balancing

    Nowadays, as computer networks continuously increase in size and speed, making efficient use of compute and network resources becomes exceptionally challenging. At the heart ...

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

    [לנוסח המלא]

  • Advanced Geometric Methods in Machining and Additive Manufacturing

    In this thesis, we show how geometry, and specifically parametric freeform geometry, can be used to solve manufacturing related problems. This thesis deals with ...

    דובר:
    בן עזר
    תאריך:
    יום ראשון, 3.3.2019, 13:30
    מקום:
    טאוב 337

    [לנוסח המלא]

  • Latent Entities Extraction: How to Extract Entities that Do Not Appear in the Text?

    Named-entity Recognition (NER) is an important task in the NLP field, and is widely used to solve many challenges. However, in many scenarios, not ...

    דובר:
    אילון-אברהם שושן
    תאריך:
    יום ראשון, 3.3.2019, 12:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Pixel Club: Recent Achievements in Bidirectional Heuristic Search

    In bidirectional heuristic search the search proceeds from both the start and the goal simultaneously.The state of the art in bidirectional search has changed ...

    דובר:
    אריאל פלנר (אונ' בן-גוריון)
    תאריך:
    יום חמישי, 28.2.2019, 14:00
    מקום:
    חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

    [לנוסח המלא]

  • GAIA: An OS Page Cache for Heterogeneous Systems

    We propose a principled approach to integrating GPU memory with an OS page cache. We design GAIA, a weakly-consistent page cache that spans CPU ...

    דובר:
    טניה ברוכמן
    תאריך:
    יום רביעי, 27.2.2019, 11:30
    מקום:
    Electrical Eng. Building 861

    [לנוסח המלא]

  • Lazy Evaluation Methods for Complex Event Processing

    Rapid advances in data-driven applications over recent years have intensified the need for efficient mechanisms capable of real-time monitoring and detecting arbitrarily complex patterns ...

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

    [לנוסח המלא]

  • אונ' תל-אביב

    Inverse problems appear in many applications, such as image deblurring, inpainting and super-resolution. The common approach to address them is to design a specific ...

    דובר:
    תום טירר
    תאריך:
    יום שלישי, 26.2.2019, 11:30
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Understanding the Context of micro-actions on the Web

    The wide usage of smartphones encourages users to ubiquitously and constantly interact with web applications like microblogs and search engines. Examples of atomic interactions, ...

    דובר:
    אלעד קרבי
    תאריך:
    יום חמישי, 21.2.2019, 10:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Approximation Algorithms for the Maximum Carpool Matching and Submodular Maximization

    In the Maximum Carpool Matching problem we seek for the best way a group of people can share their ride based on their personal ...

    דובר:
    גלעד קותיאל
    תאריך:
    יום רביעי, 20.2.2019, 15:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Pixel Club: Improving Patch Similarity Measure Using Order Preserving Criterion and Learned Context Features

    Patch matching and local treatment of images has proven to be a successful strategy for problems such as image denoising, inpainting, super-resolution, image editing ...

    דובר:
    סתיו שפירו (מדעי המחשב והנדסת חשמל, טכניון)
    תאריך:
    יום שלישי, 19.2.2019, 11:30
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Pixel Club: The Contextual Loss

    Feed-forward CNNs trained for image transformation problems rely on loss functions that measure the similarity between the generated image and a target image. Most ...

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

    [לנוסח המלא]

  • Distribution-free models of social and information networks

    The mathematical study of social and information networks has historically centered around generative models for such networks (preferential attachment, the Chung-Lu random graph model, ...

    דובר:
    Prof. Tim Roughgraden - SPECIAL DISTINGUISHED LECTURE - note unusual date
    תאריך:
    יום חמישי, 7.2.2019, 14:30
    מקום:
    חדר 337 טאוב.

    [לנוסח המלא]

  • Understanding Reader Backtracking Behavior in Online News Articles

    Rich engagement data can shed light on how people interact with online content and how such interactions may be determined by the content of ...

    דובר:
    עוזי סמג'ה
    תאריך:
    יום שלישי, 29.1.2019, 12:30
    מקום:
    טאוב 401

    [לנוסח המלא]

  • ceClub: Practical Reliability of Systems

    Recent years have seen the emergence of new kinds of software including deep learning, programmable computer networks, and blockchains. Unfortunately, these systems have been ...

    דובר:
    דנה דרקסלר-כהן (ETH, Zurich)
    תאריך:
    יום שלישי, 29.1.2019, 11:30
    מקום:
    חדר 861, בניין מאייר, הפקולטה להנדסת חשמל

    [לנוסח המלא]

  • Pixel Club: Embrace The Noise-Mining Clinical Reports to Gain a Broad Understanding of Chest X-rays

    The chest X-ray scan is by far the most commonly performed radiological examination for screening and diagnosis of many cardiac and pulmonary diseases. It ...

    דובר:
    יונתן לזרסון (Zebra Medical Vision)
    תאריך:
    יום שלישי, 29.1.2019, 11:30
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Applying Machine Learning for Identifying Attacks at Run-time

    With the increase in malicious activity over the Internet, it has become extremely important to build tools for automatic detection of such activity. There ...

    דובר:
    נורית דביר
    תאריך:
    יום שני, 28.1.2019, 10:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Learning Word Relatedness over Time

    Search systems are often focused on providing relevant results for the "now", assuming both corpora and user needs that focus on the present. However, ...

    דובר:
    גיא רוזין
    תאריך:
    יום ראשון, 27.1.2019, 15:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Theory Seminar: Weak Zero-Knowledge Beyond the Black-Box Barrier

    The round complexity of zero-knowledge protocols is a long-standing open question, yet to be settled under standard assumptions. So far, the question has appeared ...

    דובר:
    Omer Paneth (MIT)
    תאריך:
    יום רביעי, 23.1.2019, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • הערב! ערב חשיפה לרשתות תקשורת

    TONIGHT! Exposure Evening to Communication Networksהמעבדה לתקשורת מחשבים (LCCN) בפקולטה למדעי המחשב מזמינה אתכם לערב חשיפה לרשתות תקשורת - להכיר מקרוב את פעילות המעבדה, המחקרים והפרוייקטים שהיא מציעה ...

    תאריך:
    יום שלישי, 22.1.2019, 18:30
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • יריד פרוייקטים ב-IoT, אנדרואיד, כופרה ורשתות

    Project Fair in IoT, Android, Ransomware and Networksמעבדות הפקולטה למדעי המחשב: המעבדה לפיתוח תוכנה ומערכות (SSDL), המעבדה לסייבר ואבטחת מידע (CYBER) ותקשורת מחשבים (LCCN) מזמינות אתכם לבקר ביריד הפרוייקטים השנתי ...

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

    [לנוסח המלא]

  • Pixel Club: On The Resistance of Neural Networks to Label Noise

    Neural Networks have been shown to be remarkably resistant to label noise. This means that you can train a network using a data set ...

    דובר:
    אמנון דורי (אונ' תל-אביב)
    תאריך:
    יום שלישי, 22.1.2019, 11:30
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Pixel Club: Isospectralization, Or How To Hear Shape, Style, and Correspondence

    The question whether one can recover the shape of a geometric object from its Laplacian spectrum (‘hear the shape of the drum’) is a ...

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

    [לנוסח המלא]

  • Decentralized Monetary Policy for Crypocurrencies

    The rapid increase in the popularity of cryptocurrencies brought with it not only questions regarding the quality of the technology itself, but also the ...

    דובר:
    אלון שטיירמן
    תאריך:
    יום שני, 21.1.2019, 11:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Theory Seminar: On Complexity of Closest Pair Problem

    Given a set of points in a metric space, the Closest Pair problem asks to find a pair of distinct points in the set ...

    דובר:
    Karthik C.S (מכון ויצמן למדע)
    תאריך:
    יום רביעי, 16.1.2019, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • Stream Frequency Over Interval Queries

    Stream frequency measurements are fundamental in many data stream applications such as financial data trackers, intrusion-detection systems, and network monitoring. Typically, recent data items ...

    דובר:
    רנא שחות
    תאריך:
    יום רביעי, 16.1.2019, 11:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • COLLOQUIUM LECTURE - Consolidating and Exploring Open Textual Knowledge

    How can we capture effectively the information expressed in multiple texts? How can we allow people, as well as computer applications, to easily explore ...

    דובר:
    Ido Dagan
    תאריך:
    יום שלישי, 15.1.2019, 14:30
    מקום:
    חדר 337 טאוב.

    [לנוסח המלא]

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

    The driving force behind convolutional and recurrent networks — two of the most successful deep learning architectures to date — is their expressive power. ...

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

    [לנוסח המלא]

  • Coding Theory: Iterative Programming of Noisy Memory Cells

    A model which mimics the programming operation of memory cells was first presented by Bunte and Lapidoth. Under this paradigm we assume that cells ...

    דובר:
    מיכל הורוביץ (Migal - Research Institute)
    תאריך:
    יום ראשון, 13.1.2019, 14:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Theory Seminar: Prophet Inequalities for Independent Random Variables from an Unknown Distribution

    A central object in optimal stopping theory is the single-choice prophet inequality for independent, identically distributed random variables: Given a sequence of random variables ...

    דובר:
    פול דואטינג (LSEׁ
    תאריך:
    יום רביעי, 9.1.2019, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • ceClub: Bitcoin-like Blockchain Architectures, Validation without per-Transaction Private Key Signatures

    Widely recognized as the inventor of digital cash, David is also known for other fundamental innovations in cryptography, including privacy and secure election technology. ...

    דובר:
    David Chaum (The inventor of digital cash)
    תאריך:
    יום רביעי, 9.1.2019, 11:30
    מקום:
    חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

    [לנוסח המלא]

  • Acquisition and Prediction of Gestures' Surface EMG Data Using Sequential Deep Learning Methods

    As technology becomes highly integrated into nearly every aspect of life, and in many cases is indispensable, maintaining relative hand functionality is crucial. A ...

    דובר:
    עידן חסון
    תאריך:
    יום שלישי, 8.1.2019, 11:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Pixel Club: Variational Plane-Sweeping for Robust Multi-Image Alignment

    We tackle the problem of multiple image alignment and 3D reconstruction under extreme noise. Photographs acquired in scenes with large intensity variations or in ...

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

    [לנוסח המלא]

  • Natural Language Programming: Turning Texts into Executable Code

    Can we program computers in our native tongue? This idea, termed natural language programming (NLPRO), has attracted attention almost since the inception of computers ...

    דובר:
    Reut Tsarfaty - GUEST LECTURE
    תאריך:
    יום שלישי, 8.1.2019, 10:30
    מקום:
    חדר 201 טאוב.

    [לנוסח המלא]

  • Deep Anomaly Detection Using Geometric Transformations

    We consider the problem of anomaly detection in images, and present a new detection technique. Given a sample of images, all known to belong ...

    דובר:
    יצחק גולן
    תאריך:
    יום שני, 7.1.2019, 11:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • ceClub: Neural Code Comprehension: A Learnable Representation of Code Semantics

    In the era of “Big Code”, research is being conducted into automating the understanding of computer programs. Most of the current works borrow techniques ...

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

    [לנוסח המלא]

  • Coding Theory: Private Information Retrieval: From Replicated to Arbitrary Linear Coded Data

    Private information retrieval (PIR) is a technique of retrieving data from servers in a distributed storage system (DSS), without revealing the identity of the ...

    דובר:
    סידהרתא קומאר (Simula UiB)
    תאריך:
    יום ראשון, 6.1.2019, 14:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • When Existing Techniques Preserve Differential Privacy

    It is no secret that online companies, hospitals, credit-card companies and governments hold massive datasets composed of our sensitive personal details. Information from such ...

    דובר:
    Or Sheffet - CS-Lecture
    תאריך:
    יום ראשון, 6.1.2019, 10:30
    מקום:
    חדר 601 טאוב.

    [לנוסח המלא]

  • On Optimization and Expressiveness in Deep Learning

    Understanding deep learning calls for addressing three fundamental questions: expressiveness, optimization and generalization. Expressiveness refers to the ability of compactly sized deep neural networks ...

    דובר:
    Nadav Cohen - CS-Lecture
    תאריך:
    יום חמישי, 3.1.2019, 10:30
    מקום:
    חדר 337 טאוב.

    [לנוסח המלא]

  • Theory Seminar: Function-Inversion Problem: Barriers and Opportunities

    n the function-inversion problem, an algorithm gets black-box access to a function $f:[N] \to [N]$ and takes as input a point $y \in [N]$, ...

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

    [לנוסח המלא]

  • ceClub: Learning-Assisted Hardware Security

    Hardware security of integrated circuits (ICs) is a significant concern in many emerging market segments, such as intelligent transportation, innovative health care, sophisticated security ...

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

    [לנוסח המלא]

  • COLLOQUIUM LECTURE - Toward Human-centered Programming Language Design

    Programming languages are a tool for human thought, expression, and work yet they are principally designed using mathematical and engineering techniques. In this talk, ...

    דובר:
    Joshua Sunshine
    תאריך:
    יום שלישי, 1.1.2019, 14:30
    מקום:
    חדר 337 טאוב.

    [לנוסח המלא]