דלג לתוכן (מקש קיצור 's')
Logo of Technion
Logo of CS Department
אירועים

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

The Metric Relaxation for 0-Extension Admits an Omega(log²⸍³k) Gap
event speaker icon
ניצן טור
event date icon
יום רביעי, 30.12.2020, 12:30
event location icon
Zoom, Meeting ID: 954 7347 4134, Password: 5-digit Technion Zip Code
We consider the 0-Extension problem, where we are given an undirected graph G=(V,E) equipped with non-negative edge weights w: E→ℝ+, a collection T={t1,…,tk}⊆V of k special vertices called terminals, and a semi-metric D over T. The goal is to assign every non-terminal vertex to a terminal while minimizing the sum over all edges of the weight of the edge multiplied by the distance in D between the terminals to which the endpoints of the edge ...
[לנוסח המלא]
CGGC Seminar: On Reconstructing 3D Thin Structures
event speaker icon
Wenping Wang (The University of Hong Kong)
event date icon
יום שני, 28.12.2020, 16:00
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/91344952941
Thin structures are ubiquitous, such as ropes, cables, tree branches, wire arts, and wire-frame furniture. It is well known that 3D thin structures are challenging to reconstruct due to their narrow width and lack of distinct features. However, their reconstruction has received relatively little research attention. Clearly, the detection and reconstruction of these thin objects have many applications in computer graphics, computer vision, and robotics. In this talk I will present our recent works on ...
[לנוסח המלא]
Distributed computations with global edges of limited bandwidth
event speaker icon
וולודימיר פולוסוחין
event date icon
יום רביעי, 23.12.2020, 14:30
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j//95590421983
Our research is focused on two distributed models that allow global communication. The first one is the well-known Congested Clique model and another is the recently introduced Hybrid network model. In this talk, I will present three scheduling algorithms for the Congested Clique model, which we developed during my M.Sc studies. These algorithms run a set of distributed jobs in near-optimal time in a black-box manner, without a priori knowledge of their communication pattern.
[לנוסח המלא]
Maximizing the Correlation: Extending Grothendieck’s Inequality to Large Domains
event speaker icon
דור קצלניק
event date icon
יום רביעי, 23.12.2020, 12:30
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/95612638603
Correlation Clustering is an elegant model where given a graph with edges labeled + or −, the goal is to produce a clustering that agrees the most with the labels: + edges should reside within clusters and − edges should cross between clusters. In this work we study the MaxCorr objective, aiming to find a clustering that maximizes the difference between edges classified correctly and incorrectly. We focus on the case of bipartite graphs and ...
[לנוסח המלא]
ceClub: The Brave New World of Storage Processors
event speaker icon
אדוארד בורטניקוב (VP Technology, Pliops)
event date icon
יום רביעי, 23.12.2020, 11:30
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/98581976624
Storage processors are a new type of acceleration device that offloads centerpiece storage stack functions from legacy software to high-performance hardware. The legacy software paradigms waste flash capacity and performance, pushing the users to deploy expensive and overprovisioned SSDs. For example, the high write amplification induced by inefficient software limits the applicability of the next-generation low-cost flash technologies like QLC and PLC, as well as ZNS SSDs. Storage processors are purpose-built to exploit flash devices ...
[לנוסח המלא]
Pixel Club: Deep into 3DV: Pushing the Boundaries of 3D Vision
event speaker icon
הדר אברבוך-אלאור (קורנל-טק)
event date icon
יום שלישי, 22.12.2020, 15:30
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/95065005676
3D computer vision has significantly advanced over the past several decades, with modern algorithms successfully reconstructing entire urban cities. However, many questions remain unexplored, as geometric reasoning alone cannot fully infer the connections among images capturing different parts of the scene or semantic relationships between images captured at distant geographic locations. In this talk, I will present an ongoing line of research that leverages powerful deep networks to address new and exciting problems in 3D ...
[לנוסח המלא]
Pixel Club: DPDist: Comparing Point Clouds Using Deep Point Cloud Distance
event speaker icon
דליה אורבך (הנדסת חשמל, טכניון)
event date icon
יום שלישי, 22.12.2020, 11:30
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/98509054809
We introduce a new deep learning method for point cloud comparison. Our approach, named Deep Point Cloud Distance (DPDist), measures the distance between the points in one cloud and the estimated surface from which the other point cloud is sampled. The surface is estimated locally and efficiently using the 3D modified Fisher vector representation. The local representation reduces the complexity of the surface, enabling efficient and effective learning, which generalizes well between object categories. We ...
[לנוסח המלא]
On-the-fly Model Checking with Guided Abstraction
event speaker icon
גל שדה
event date icon
יום שני, 21.12.2020, 16:00
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/94459929157
Model checking is an automatic verification method that accepts a system model and a specification, and checks whether the model satisfies the specification. CTL is a branching temporal logic suitable for specifying behaviors of both software and hardware systems. In this work, we present a novel approach that combines on-the-fly verification with abstraction in order to obtain an efficient model checking. On-the-fly verification ensures that only parts that are needed for determining the satisfaction of ...
[לנוסח המלא]
Reinforcement Learning Based Flow Control for Real-Time Video Over Cellular Channels
event speaker icon
ליאור כהן
event date icon
יום שני, 21.12.2020, 11:30
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j//97808941214
Evolving applications such as autonomous vehicle teleoperation call for high-quality and low latency video transmission. Existing technology allows high-quality video to be transmitted over several parallel cellular channels, with suitable rate control. Leveraging these systems to vehicles in motion involves further challenges due to the higher variability of the cellular channels. Major players in these technologies are the Israeli-based company LiveU and its spinoff DriveU. Here, we present a reinforcement learning based flow control algorithm ...
[לנוסח המלא]
Accelerating Big-Data Sorting Through Programmable Switches
event speaker icon
ימית ברשץ
event date icon
יום רביעי, 16.12.2020, 13:00
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/95176272923
Programmable switches are advanced network switches that can be programmed to perform certain actions besides routing packets. Programmable switches enable combining the logic and flexibility of software with the speed and efficiency of hardware and thus enjoy the benefits of both. Interstingly, programmable switches are also 2-3 orders of magnitude more power to compute efficient than GPUs and FPGAs. Alas, they offer a very restricted and non-intuitive programming model. Sorting is a fundamental and well ...
[לנוסח המלא]
Incomplete Information VCG Contracts
event speaker icon
טל אלון
event date icon
יום חמישי, 10.12.2020, 10:00
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/92154369162
We study the social efficiency of contracts as economic mechanisms when multiple principals simultaneously manage a common agent. We consider an incomplete-information setting: The agent chooses an unobservable action that induces both a cost for the agent and an expected value for each principal. The sum of these terms is referred to as the resulting social welfare. The agent’s choice is incentivized by payment schemes (“contracts”) set forth by the principals, who have different private ...
[לנוסח המלא]
Theory Seminar: A-Approximation for the Monotone Submodular Multiple Knapsack Problem
event speaker icon
ירון פיירסטיין (מדעי המחשב, טכניון)
event date icon
יום רביעי, 9.12.2020, 12:30
event location icon
Zoom, Meeting ID: 954 7347 4134, Password: 5-digit Technion Zip Code
We study the problem of maximizing a monotone submodular function subject to a Multiple Knapsack constraint (SMKP). The input is a set I of items, each associated with a non-negative weight, and a set of bins, each having a capacity. Also, we are given a submodular, monotone and non-negative function f over subsets of the items. The objective is to find a subset of items A⊆I and a packing of the items in the bins, ...
[לנוסח המלא]
ceClub: Digital Social Contracts: A Foundation for an Egalitarian and Just Digital Society
event speaker icon
אהוד שפירו (מכון ויצמן למדע)
event date icon
יום רביעי, 9.12.2020, 11:30
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/94245784857
Almost two centuries ago Pierre-Joseph Proudhon proposed social contracts -- voluntary agreements among free people -- as a foundation from which an egalitarian and just society can emerge. A digital social contract is the novel incarnation of this concept for the digital age. Digital social contracts are: Conceptually, voluntary agreements among genuinely-identified people, specified, undertaken, and fulfilled in the digital realm. Mathematically, a novel computational model specifying concurrent, non-deterministic asynchronous agents updating a monotonic shared ...
[לנוסח המלא]
CGGC Seminar: Turning Planar Materials Into Curved Structures
event speaker icon
Mina Konakovic Lukovic (MIT Computer Science and Artificial Intelligence Lab)
event date icon
יום שני, 7.12.2020, 16:00
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/91344952941
Recent advances in material science and digital fabrication provide promising opportunities for product design, mechanical and biomedical engineering, robotics, architecture, art, and science. Engineered materials and personalized fabrication are revolutionizing manufacturing culture and having a significant impact on various scientific and industrial works. As new fabrication technologies emerge, effective computational tools are needed to fully exploit the potential of digital fabrication. In this talk, I will discuss how we use the insights from discrete differential ...
[לנוסח המלא]
Parallel Complex Event Processing: Hybrid Parallelism Approach
event speaker icon
מאור ינקוביץ
event date icon
יום חמישי, 3.12.2020, 13:00
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/95015969339
The ability to promptly and efficiently detect arbitrarily complex patterns in massive real-time data streams is a crucial requirement for a wide range of modern applications. The ever-growing scale of these applications and the sophistication of the patterns involved makes it imperative to employ advanced solutions that can optimize pattern detection. One of the most prominent and well-established ways to achieve the above goal is to apply complex event processing (CEP) in a parallel manner, ...
[לנוסח המלא]
Bayesian Persuasion under Ex Ante and Ex Post Constraints
event speaker icon
קונסטנטין זברני
event date icon
יום רביעי, 2.12.2020, 12:30
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/95473474134, סיסמא: 32000
Bayesian persuasion, as introduced by Kamenica and Gentzkow in 2011, is the study of information sharing policies among strategic agents. A prime example is signaling in online ad auctions: what information should a platform signal to an advertiser regarding a user when selling the opportunity to advertise to her? Practical considerations such as preventing discrimination, protecting privacy or acknowledging limited attention of the information receiver impose constraints on information sharing. Despite their importance in real-life ...
[לנוסח המלא]
ceClub: Adversarially Robust Streaming Algorithms
event speaker icon
אילון יוגב (אונ' תל-אביב ואונ' בוסטון)
event date icon
יום רביעי, 2.12.2020, 11:30
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/97588457501
A streaming algorithm is given a long sequence of items and seeks to compute or approximate some function of this sequence using a small amount of memory. A body of work has been developed over the last two decades, resulting in optimal streaming algorithms for a wide range of problems. While randomized streaming algorithms are well-studied, the vast majority of them are defined and analyzed in the static setting, where the stream is assumed to ...
[לנוסח המלא]
Pixel Club: Learning on Pointclouds for 3D Scene Understanding
event speaker icon
אור ליטני (INVIDIA)
event date icon
יום שלישי, 1.12.2020, 11:30
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/95668947180
In this talk i'll be covering several works in the topic of 3D deep learning on pointclouds for scene understanding tasks. First, I'll describe VoteNet (ICCV 2019): a method for object detection from 3D pointclouds input, inspired by the classical generalized Hough voting technique. I'll then explain how we integrated image information into the voting scheme to further boost 3D detection (ImVoteNet, CVPR 2020). In the second part of my talk i'll describe a recent ...
[לנוסח המלא]
Better Prediction of Mutation Score
event speaker icon
דור מעין
event date icon
יום שלישי, 1.12.2020, 10:30
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/91983657482
Mutation score is widely accepted to be a reliable measurement for the effectiveness of software tests. Recent studies, however, show that mutation analysis is extremely costly and hard to use in practice. We present a novel direct prediction model of mutation score using neural networks. Relying solely on static code features that do not require compilation or execution of the tests, we predict mutation score with an accuracy better than a quintile. When we include ...
[לנוסח המלא]
יום עיון 2020 See Beyond Reality
event date icon
יום שלישי, 1.12.2020, 09:00
event location icon
אירוע באמצעות הזום: הרשמה
הנכם מוזמנים ליום עיון 2020 See Beyond Reality - שיתוף פעולה של חברת רפאל והפקולטה למדעי המחשב בטכניון אשר יתקיים ביום רביעי, 2 בדצמבר, 2020, החל מהשעה 09:00, בפגישה מקוונת. יום העיון יעסוק במחקרים מתחום Image Processing, Computer Vision, Computer Graphics פרטים נוספים בכרזה המצורפת וקישור לאירוע יישלח לאחר הרשמה.
[לנוסח המלא]
CGGC Seminar: Perception for Creativity Assistance
event speaker icon
Duygu Ceylan (Adobe)
event date icon
יום שני, 30.11.2020, 17:30
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/91344952941
We are living in an era where the digital world is becoming an inevitable part of our professional and daily lives. Digital creation tools are essential for many professions including design, entertainment, gaming etc. In our daily lives, we all take many pictures or capture many videos each day to record and share our memories. There is a stronger demand to transform such digital workflows into life-like experiences. My research focuses on enabling such a ...
[לנוסח המלא]
A Tight Approximation for Submodular Maximization with Mixed Packing and Covering Constraints
event speaker icon
אייל מזרחי
event date icon
יום ראשון, 29.11.2020, 11:30
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/92565691576
Motivated by applications in machine learning, such as subset selection and data summarization, we consider the problem of maximizing a monotone submodular function subject to mixed packing and covering constraints. We present a tight approximation algorithm that for any constant $\eps >0$ achieves a guarantee of $1-\nicefrac[ ]{1}{\e}-\eps$ while violating only the covering constraints by a multiplicative factor of $1-\eps$. Our algorithm is based on a novel enumeration method, which unlike previously known enumeration techniques, ...
[לנוסח המלא]
High quality sets of questions in the "20 Questions" game
event speaker icon
עידן מהלל
event date icon
יום רביעי, 25.11.2020, 12:30
event location icon
Zoom, Meeting ID: 954 7347 4134, Password: 32000
In the "20 questions" game Alice picks a probability distribution over the set {1,...,n}, and draws a secret element x from it. Bob's goal is to construct a strategy to reveal x using only "Yes or No" questions, while minimizing the expected number of questions asked. Bob's success is guaranteed if he uses Huffman code, but then he might ask any possible question. In the paper "Twenty (simple) questions", Dagan et al. showed that the ...
[לנוסח המלא]
ceClub: Accelerating Biology and Medicine with Hardware Specialization
event speaker icon
Yatish Turakhia (UC Santa Cruz)
event date icon
יום שלישי, 24.11.2020, 16:30
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/96066651915
Genome sequencing data is rising exponentially at a rate (125%/year) that is far higher than our current transistor performance scaling (currently 3%/year). New medical and comparative genomics applications have emerged that ensure that the demand for more sequencing will continue to rise, which threatens to overwhelm our current compute capacities. Domain-specific acceleration (DSA), i.e. using specialized hardware for accelerating a narrow domain of algorithms, will enable us to tap the vast potential of this data ...
[לנוסח המלא]
Pixel Club: Towards General-Purpose Single-Photon Cameras
event speaker icon
Atul Ingle (University of Wisconsin-Madison)
event date icon
יום שלישי, 24.11.2020, 11:30
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/91775955366
Image sensors capable of detecting individual photons are typically used in specialized low-light imaging applications. In this talk I will make a case for using time-resolved single-photon sensors as general-purpose image sensors, not limited to photon-starved scenarios. This may seem counterintuitive. Why would one want to use a single-photon sensor for situations other than imaging in low light? What additional information can a single-photon sensor provide that a conventional camera sensor cannot? I will present ...
[לנוסח המלא]
CGGC Seminar: Freeform Quad-based Kirigami
event speaker icon
Johannes Wallner (TU Graz University of Technology)
event date icon
יום שני, 23.11.2020, 11:00
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/91344952941
Kirigami, the traditional Japanese art of paper cutting and folding generalizes origami and has initiated new research in material science as well as graphics. Jere we use its capabilities to perform geometric modeling with corrugated surface representations possessing an isometric unfolding into a planar domain after appropriate cuts are made. We initialize our box-based kirigami structures from orthogonal networks of curves, compute a first approximation of their unfolding via mappings between meshes, and complete the ...
[לנוסח המלא]
תחרות CTF - Capture The Flag הראשונה במדעי המחשב
event date icon
יום שישי, 20.11.2020, 16:00
event location icon
אירוע זום: הרשמה
הנכם מוזמנים לתחרות CTF- Capture The Flag הפקולטית הראשונה בנושאים שונים בתכנות, אבטחת מידע, אלגוריתמיקה, בינה מלאכותית ועוד. התחרות תיערך בקבוצות שיתמודדו עם אתגרים שיוצבו מטעם חברות גדולות בתעשייה, חברי סגל, סטודנטים ובוגרים בימים שישי עד ראשון, 20-22 בנובמבר, 20. בין המקומות הראשונים יחולקו פרסים כספיים באדיבות החברות: Cadence Design Systems Israel CheckPoint Elbit Systems Huawei Company Imperva Intel NVIDIA RAFAEL Toga Networks פרטים נוספים והרשמה
[לנוסח המלא]
Theory Seminar: Efficient List-Decoding with Constant Alphabet and List Sizes
event speaker icon
Zeyu Guo (University of Haifa)
event date icon
יום רביעי, 18.11.2020, 12:30
event location icon
Zoom, Meeting ID: 954 7347 4134, Password: 5-digit Technion Zip Code
The notion of list-decoding, introduced by Elias in the 1950s, is a natural generalization of unique decoding, where the decoder is allowed to output a list of codewords that contains the transmitted codeword instead of a single codeword. Besides being a fundamental concept in coding theory, list decoding has found diverse applications in theoretical computer science. Error-correcting codes of rate R that are list-decodable up to the relative radius 1−R−ε are said to achieve the ...
[לנוסח המלא]
Blockchain State Sharding with Space-aware Representations
event speaker icon
אבי מזרחי
event date icon
יום שני, 16.11.2020, 12:00
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/98536821813
State sharding is a common solution to the scalability problem in blockchain systems, allowing nodes to hold a partial view of the system state. With sharding, the processing of a transaction might not be completed locally within a node and potentially requires involvement of multiple shards. Such cross-shards transactions have a negative impact on system performance and are frequent with traditional state partition solutions which are often based on a simple mapping of data into ...
[לנוסח המלא]
CGGC Seminar: Shape Analysis: From Local to Non-local Information and Learning
event speaker icon
Julie Digne (LIRIS Laboratoire d’InfoRmatique en Image et Systemes d’information)
event date icon
יום שני, 16.11.2020, 11:00
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/91344952941
In this talk we explore two contributions for shape analysis. In a first case, we consider surfaces and how local analysis of the angular oscillations and polynomial radial behavior around surface points leads to accurate normal estimation and new integral invariants. A direct application of these integral invariants is geometric detail exaggeration. This however assumes that the shape can be represented as a height function over some parameterization plane in a neighborhood of fixed radius ...
[לנוסח המלא]
Charting and Navigating the Space of Solutions for Recurrent Neural Networks
event speaker icon
אליה טורנר
event date icon
יום רביעי, 11.11.2020, 14:00
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/96867387806
RNNs are a class of Machine learning models used to solve tasks with sequential structure. Since most neural circuits are recurrent, RNNs are often deployed to explain neural activity during computational tasks with a temporal dimension. Unlike their natural counterparts, an RNN’s entire computation is accessible. Yet, most works treat them as a black box and analyze their generated activity directly. A recent line of work uses RNNs as a hypothesis generation tool; The activity ...
[לנוסח המלא]
Theory Seminar: Analysis of Two-variable Recurrence Relations with Application to Parameterized Approximations
event speaker icon
אריאל קוליק (מדעי המחשב, טכניון)
event date icon
יום רביעי, 11.11.2020, 12:30
event location icon
Zoom, Meeting ID: 954 7347 4134, Password: 5-digit Technion Zip Code
In this paper we introduce randomized branching as a tool for parameterized approximation and develop the mathematical machinery for its analysis. Our algorithms improve the best known running times of parameterized approximation algorithms for Vertex Cover and 3-Hitting Set for a wide range of approximation ratios. One notable example is a simple parameterized random 1.5-approximation algorithm for Vertex Cover, whose running time of O*(1.01657k) substantially improves the best known running time of O*(1.0883k) [Brankovic and ...
[לנוסח המלא]
Efficient Resource-Constrained Monitoring
event speaker icon
ג'ליל מוראני
event date icon
יום רביעי, 11.11.2020, 12:30
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/93616254487
Monitoring network traffic is an important building block for various management and security systems. In typical settings, the number of active flows in a network node is much larger than the number of available monitoring resources and there is no practical way to maintain "per-flow" state at the node. This situation gave rise to the recent interest in streaming algorithms where complex data structures are used to perform monitoring tasks like identifying the top-$k$ flows, ...
[לנוסח המלא]
BebopNet: Deep Neural Models for Personalized Jazz Improvisations
event speaker icon
שונית חביב
event date icon
יום רביעי, 11.11.2020, 12:00
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/99327852951
A major bottleneck in the evaluation of music generation is that music appreciation is a highly subjective matter. When considering an average appreciation as an evaluation metric, user studies can be helpful. The challenge of generating personalized content, however, has been examined only rarely in the literature. In this paper, we address generation of personalized music and propose a novel pipeline for music generation that learns and optimizes user-specific musical taste. We focus on the ...
[לנוסח המלא]
ceClub: Lightning Network Economics: Cost-minimal Channels and their Implications for Network Structure
event speaker icon
קלרה שיכלמן (אונ' תל-אביב)
event date icon
יום רביעי, 11.11.2020, 11:30
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/94151824902
A channel in the Lightning Network allows two parties to secure bitcoin payments and escrow holdings between them. Designed to increase transaction immediacy and reduce blockchain congestion, this has the potential to solve many issues associated with Bitcoin. In this talk, we study the economics of the Lightning Network. We present conditions under which two parties optimally establish a channel and give explicit formulas for channels’ costs. Using these, we derive implications for the network’s ...
[לנוסח המלא]
Pixel Club: Estimation of Manifolds from Point Clouds: Building Models from Data
event speaker icon
ברק סובר (מתמטיקה, אונ' דיוק)
event date icon
יום שלישי, 10.11.2020, 11:30
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/92081476610
A common observation in data-driven applications is that high dimensional data has a low intrinsic dimension, at least locally. Thus, when one wishes to work with data that is not governed by a clear set of equations, but still wishes to perform statistical or other scientific analysis, an optional model is the assumption of an underlying manifold from which the data was sampled. This manifold, however, is not given explicitly but we can obtain samples ...
[לנוסח המלא]
CGGC Seminar: Curvature! The Starting Point of Manufacturing
event speaker icon
Takashi Maekawa (Waseda Research Institute for Science and Engineering)
event date icon
יום שני, 9.11.2020, 11:00
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/91344952941
The potential benefits of taking surface curvature into account in engineering design have not yet been fully utilized. One of the problems is that differential geometry is often not offered in the undergraduate engineering program. In this presentation, I focus on a couple of research topics that demonstrate how curvatures play important roles in engineering design. The first topic is the effect of curvature on the energy absorption characteristics of cylindrical corrugated tubes under compression. ...
[לנוסח המלא]
Pixel Club: On the Injectivity and (in) Stability of Invariant Encoding
event speaker icon
נדב דים (מתמטיקה, אונ' דיוק)
event date icon
יום ראשון, 8.11.2020, 15:00
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/97741777795
Quotient spaces are a natural mathematical tool to describe a variety of algorithmic problems in computer vision and related fields, where different objects are to be compared while their natural symmetries are to be ignored. One popular approach for working in quotient spaces is cancelling out symmetries by finding a canonical alignment of the objects at hand. This approach typically involves solving a challenging optimization problem over the symmetry group. We will review the tractability ...
[לנוסח המלא]
סדנת חשיפה למשרות בתעשייה - עושים סדר ב-Buzz Words
event date icon
יום חמישי, 5.11.2020, 17:30
event location icon
שידור ישיר בזום (פרטים לאחר הרשמה)
הנכם מוזמנים לסדנת "חשיפה למשרות בתעשייה - עושים סדר ב-Buzz Words" אשר מטרתה לסווג את המשרות בתעשייה, לפרש את מושגיה ומוצריה ולהמחיש יום עבודה טיפוסי בתפקידים השונים שהיא מציעה. הסדנה תתקיים באופן מקוון, בשני מפגשים: המפגש הראשון יתקיים ביום חמישי, 5 בנובמבר, 2020 בשעה 17:30 וידון בנושאים באורך 15 דקות כל אחד: - מסלול Web- רותם קלנר, Frontend team lead בסטארט-אפ Augury - מסלול Cyber Security- יהונתן לוסקי, חוקר אבטחת מידע ב- Intel - מסלול ...
[לנוסח המלא]
Theory Seminar: Polynomial Protocols for Range Proofs
event speaker icon
אריאל גביזון (Aztec)
event date icon
יום רביעי, 4.11.2020, 12:30
event location icon
Zoom, Meeting ID: 954 7347 4134, Password: 5-digit Technion Zip Code
In a polynomial protocol a prover sends messages that are polynomials, and the verifier is allowed to check polynomial identities between these polynomials. The prover complexity is measured as the sum of degrees of the polynomials sent. The motivation for the definition is to capture prover complexity in zero knowledge proofs systems based on polynomial commitment schemes. We will present and illustrate this notion; and present an open question on improved protocols for “range proofs” ...
[לנוסח המלא]
מיומנו של מראיין סדרתי: המדריך להכנה (נכונה) לראיונות טכניים
event date icon
יום שלישי, 3.11.2020, 19:00
event location icon
שידור ישיר בזום (פרטים לאחר הרשמה)
הנכם מוזמנים להרצאה ושיחה עם איתי רוזנבלט, ראש קבוצה ומוביל טכני ב-scaleIO ומייסד שותף וסמנכ"ל מו"פ בסטארט-אפ חדש, אשר יעסקו בנושא הראיון הטכני ובמרכיבי ההצלחה והרושם הראשוני שהוא מעניק: • מה המראיין מחפש בכל חלק מהראיון • מה ההזדמנות שלך כמועמד • איך להתכונן ההרצאה תתקיים יום שלישי, 3 בנובמבר, 2020, בשעה 19:00, באמצעות זום (קישור יישלח לאחר הרשמה.
[לנוסח המלא]
Theory Seminar: On Computing Multilinear Polynomials Using Depth Four Circuits of Bounded Individual Degree
event speaker icon
Suryajith Chillara (University of Haifa)
event date icon
יום רביעי, 28.10.2020, 12:30
event location icon
Zoom, Meeting ID: 954 7347 4134, Password: 5-digit Technion Zip Code
The complexity of Iterated Matrix Multiplication is a central theme in Computational Complexity theory, as the problem is closely related to the problem of separating various complexity classes within P. In this talk, we will talk about the complexity of computing an entry in the product of d many n×n generic matrices (denoted IMMn,d) by depth four circuits of bounded individual degree. We show that for all r ≤ na for a fixed constant a, ...
[לנוסח המלא]
יום הכוון בפקולטה למדעי המחשב תשפ"א, 2020-21
event date icon
יום שלישי, 20.10.2020, 10:30
event location icon
שידור ישיר בזום
יום הכוון בפקולטה למדעי המחשב תשפ"א, 2020-21, לסטודנטים חדשים יתקיים באופן מקוון באמצעות שידור זום, ביום שלישי, 20 באוקטובר 2020, בשעה 10:30, ויכלול הרצאות מפי דיקן הפקולטה, סגן דיקן ללימודי תואר ראשון, נציגי ועד הסטודנטים ועוד, ולאחריהן יתקיימו מפגשי שאלות ותשובות בקבוצות קטנות עם תלמידי תואר ראשון ותיקים, מסטרנטים, דוקטורנטים, ועם סגל אקדמי ומינהלי. פרטים נוספים במזכירות לימודי הסמכה. ברוכים הבאים לפקולטה למדע המחשב, בהצלחה ושנת לימודים פורייה!
[לנוסח המלא]
היום! טקס בוגרי הפקולטה למדעי המחשב - תש"ף 2019-2020
event date icon
יום חמישי, 15.10.2020, 18:30
event location icon
שידור ישיר ביוטיוב: https://youtu.be/zg1WRzEz6TY
כולם מוזמנים לטקס הענקת תארים לבוגרי מחזור צ"א שיתקיים בשידור ישיר ביוטיוב היום, יום חמישי, 15 באוקטובר 2020, בשעה 18:30. מצפים לכם בהתרגשות!
[לנוסח המלא]
Learning by Sampling: A Deep Learning Approach To The Planted Clique Problem With Unlimited Sampling
event speaker icon
נבואני נג'יב
event date icon
יום חמישי, 15.10.2020, 16:30
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/93620048284
The planted clique problem plays an important role in the field of average-case complexity. The problem consists of detecting graphs that contain a hidden clique of size $k$ that was planted in graphs from the Erdos-Renyi model $G_{n,0.5}$. The planted clique conjecture suggests that there is no polynomial-time algorithm that can solve the planted clique problem when $2\log_2(n) \ll k \ll \sqrt{n}$. This conjecture has served as the underlying hardness assumption in several different works ...
[לנוסח המלא]
ceClub: Reliable and Time-efficient Virtualized Function Placement
event speaker icon
רועי בן-חיים (הנדסת חשמל, טכניון)
event date icon
יום רביעי, 14.10.2020, 11:30
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/91078173462
Reliability and time-efficiency are two key elements to consider in network design. Commonly, each is measured per service - availability probability of a specific service, the latency of a specific service, and overall - system average reliability and system average latency, considering the demand for every service. Intuitively, minimizing latency requires minimizing the number of network elements a service makes use of. In a non-redundant environment, this would also guarantee the maximal reliability of a ...
[לנוסח המלא]
Batch Verification for Statistical Zero-Knowledge Proofs
event speaker icon
ענבר קסלסי
event date icon
יום שלישי, 13.10.2020, 17:00
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/96366651773
A statistical zero-knowledge proof for a problem Pi enables a computationally unbounded prover to convince a polynomial-time verifier that x belongs to Pi without revealing any additional information about x to the verifier, in a strong information-theoretic sense. Suppose, however, that the prover wishes to convince the verifier that k separate inputs x_1,...,x_k all belong to Pi (without revealing anything else). A naive way of doing so is to simply run the SZK protocol separately ...
[לנוסח המלא]
Age-aware Fairness in Blockchain Transaction Ordering
event speaker icon
יעקב סוקוליק
event date icon
יום שלישי, 13.10.2020, 15:30
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/99311227766
In blockchain applications, transaction latency is a key factor in the quality of service (QoS). Each application that uses the blockchain network has the motivation to reduce the latency for its own transactions. The block proposer selects which pending transaction to include in the proposed block and would like to prioritize its own application transactions over those of other applications. To maintain fairness, a block proposer can be asked to select the transactions randomly among ...
[לנוסח המלא]
Learned Greedy Method (LGM): A Novel Neural Architecture for Sparse Coding
event speaker icon
ח'טיב רג'אאי
event date icon
יום שלישי, 13.10.2020, 14:00
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/94623716017
The fields of signal and image processing have been deeply influenced by the introduction of deep neural networks. These are successfully deployed in a wide range of real-world applications, obtaining state of the art results and surpassing well-known and well-established classical methods. Despite their impressive success, the architectures used in many of these neural networks come with no clear justification. As such, these are usually treated as ``black box'' machines that lack any kind of ...
[לנוסח המלא]
Array Codes for Functional PIR and Batch Codes
event speaker icon
מוחמד נסאר
event date icon
יום שני, 12.10.2020, 16:00
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/95909579454
A functional PIR array code is a coding scheme which encodes some s information bits into a tXm array such that every linear combination of the s information bits has k mutually disjoint recovering sets. Every recovering set consists of some of the array's columns while it is allowed to read at most l encoded bits from every column in order to receive the requested linear combination of the information bits. Functional batch array codes ...
[לנוסח המלא]
A Two-Stage Masked LM Method for Term Set Expansion
event speaker icon
גיא קושלביץ
event date icon
יום חמישי, 1.10.2020, 11:30
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/98063183973
We tackle the task of Term Set Expansion (TSE): given a small seed set of example terms from a semantic class, finding more members of that class. The task is of great practical utility, and also of theoretical utility as it requires generalization from few examples. Previous approaches to the TSE task can be characterized as either distributional or pattern-based. We harness the power of neural masked language models (MLM) and propose a novel TSE ...
[לנוסח המלא]
Theory Seminar: On the Expressiveness of Comparisons
event speaker icon
שי מורן (מתמטיקה, טכניון)
event date icon
יום רביעי, 23.9.2020, 18:30
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/96000595000
Shay Moran, Technion CS graduate, will give a lecture on his work in the theory of learning.
[לנוסח המלא]
Clustering-Correcting Codes
event speaker icon
טל שינקאר
event date icon
יום שלישי, 22.9.2020, 18:30
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/96882521222
A new family of codes, called clustering-correcting codes, is presented in this paper. This family of codes is motivated by the special structure of the data that is stored in DNA-based storage systems. The data stored in these systems has the form of unordered sequences, also called strands, and every strand is synthesized thousands to millions of times, where some of these copies are read back during sequencing. Due to the unordered structure of the ...
[לנוסח המלא]
Distributed Computing Seminar: Distributed and Concurrent Optimization for Machine Learning
event speaker icon
Dan Alistarh (IST Austria)
event date icon
יום חמישי, 17.9.2020, 11:30
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/96000595000
Machine learning has made considerable progress over the past decade, matching and even surpassing human performance on a varied set of narrow computational tasks. This progress has been enabled by the widespread availability of large datasets, as well as by improved algorithms and models. Distribution, implemented either through single-node concurrency or through multi-node parallelism, has been the third key ingredient to these advances. The goal of this talk is to provide an overview of the ...
[לנוסח המלא]
היום! - טקס חלוקת תארי דוקטור לפילוסופיה 2020 לבוגרי מדעי המחשב
event date icon
יום רביעי, 16.9.2020, 18:30
event location icon
אירוע בפייסבוק: https://www.facebook.com/events/1646805155478444/
טקס חלוקת תעודות לבוגרי תואר שלישי בטכניון יתקיים באופן מקוון הערב, יום רביעי, 16 בספטמבר 2020, וישודר בפייסבוק. השנה יוענקו תעודות למספר מכובד של בוגרים - 231 בוגרי הטכניון בשנה"ל תשע"ט-תש"ף 2019-2020 - מתוכם 14 מהפקולטה למדעי המחשב ע"ש הנרי ומרילין טאוב: יונתן גייפמן בנושא: שערוך אי ודאות ושימושיה ברשתות נוירונים עמוקות בהנחיית: רן אל-יניב עומר כץ בנושא:  גישות סטאטיסטיות להנדוס לאחור בהנחיית: ערן יהב אסתר ליבשיץ בנושא: הסיבוכיות החישובית של מדדי חוסר עקביות במסדי ...
[לנוסח המלא]
בית-ספר קיץ השמיני על סייבר ואבטחת מחשבים
event date icon
יום שני, 7.9.2020, 10:00
event location icon
שידור ישיר בזום (פרטים לאחר הרשמה)
מרכז המחקר לאבטחת סייבר ע"ש הירושי פוג'יווארה יקיים את בית-ספר קיץ השמיני על סייבר ואבטחת מחשבים בנושא: "Privacy in Challenging Times" הכנס יתקיים בימים ב'-ה', 10-7 בספטמבר, 2020, בשידור זום הטכניון. דוברים: Keynote Speakers: Ross Anderson, University of Cambridge, UK Ann Cavoukian, Global Privacy & Security by Design Centre, Canada Susan Landau, Tufts University, USA Confirmed Speakers: Alessandro Acquisti, Carnegie Mellon University, USA Michael Birnhack, Tel Aviv University, Israel Sofía Celi, Cloudflare, Inc., UK Kamalika ...
[לנוסח המלא]
Efficient MDP Analysis for Selfish-Mining in Blockchains
event speaker icon
רועי בר צור
event date icon
יום רביעי, 2.9.2020, 11:30
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/95908254875
A proof of work (PoW) blockchain protocol distributes rewards to its participants, called miners, according to their share of the total computational power. Sufficiently large miners can perform selfish mining - deviate from the protocol to gain more than their fair share. Such systems are thus secure if all miners are smaller than a threshold size so their best response is following the protocol. To find the threshold, one has to identify the optimal strategy ...
[לנוסח המלא]
איך הופכים תואר לקריירה?
event date icon
יום שלישי, 1.9.2020, 17:00
event location icon
Zoom Lecture: Registration
הנכם מוזמנים להרצאה ושיחה עם דר' יונתן יניב, בוגר הפקולטה וראש קבוצת המחקר בחברת YOTPO, אשר יעסקו בשאלות: האם כדאי לעבוד במהלך התואר? כיצד להשתלב בתעשייה, בייחוד עכשיו בתקופת הקורונה? כיצד מוצאים את המשרה המתאימה לכם? כיצד בונים מסלול קריירה? עבודה בחברה גדולה לעומת;סטארט-אפ, ועוד. ההרצאה תתקיים בחלקו הראשון של המפגש ובחלקו השני יתקיים סבב שאלות פתוחות (אפשר להכין מראש). המפגש יתקיים ביום שלישי, 1 בספטמבר, 2020, 17:00, באמצעות זום (קישור יישלח לאחר הרשמה).
[לנוסח המלא]
Computing the Shapley Value of Tuples in Conjunctive Queries with Negation
event speaker icon
אלון רשף
event date icon
יום ראשון, 30.8.2020, 11:00
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/96838343281
The Shapley value is a conventional and well-studied function for determining the contribution of a player to the coalition in a cooperative game. Among its applications in a plethora of domains, it has recently been proposed to use the Shapley value for quantifying the contribution of a tuple to the result of a database query. In particular, we have a thorough understanding of the tractability frontier for the class of Conjunctive Queries (CQs) and aggregate ...
[לנוסח המלא]
סדנה וירטואלית בנושא מערכות לומדות ואבטחת חומרה
event date icon
יום רביעי, 26.8.2020, 09:00
event location icon
שידור ישיר בזום (פרטים לאחר הרשמה)
הנכם מוזמנים להשתתף בסדנה וירטואלית ב נושא מערכות לומדות ואבטחת חומרה שתתקיים בימים רביעי וחמישי, 26-27 באוגוסט, 2020, בשידור בזום. מארגני הסדנה: פרופ' אבי מנדלסון, הטכניון דר' שיאם בהסין, NTU, סינגפור פרטים נוספים, תוכנית והרשמה: https://cyber.technion.ac.il ההשתתפות אינה כרוכה בתשלום אך מחייבת הרשמה מראש.
[לנוסח המלא]
Pixel Club: SCATTER: Selective Context Attentional Scene Text Recognizer
event speaker icon
רון ליטמן (אמאזון)
event date icon
יום שלישי, 25.8.2020, 11:30
event location icon
הרצאה באמצעות זום: Zoom Lecture: https://technion.zoom.us/j/92004594093
Scene Text Recognition (STR), the task of recognizing text against complex image backgrounds, is an active area of research. Current state-of-the-art (SOTA) methods still struggle to recognize text written in arbitrary shapes. In this paper, we introduce a novel architecture for STR, named Selective Context ATtentional Text Recognizer (SCATTER). SCATTER utilizes a stacked block architecture with intermediate supervision during training, that paves the way to successfully train a deep BiLSTM encoder, thus improving the encoding ...
[לנוסח המלא]
Managing Capacity in Deduplicated Storage Systems
event speaker icon
אביב נחמן
event date icon
יום שני, 24.8.2020, 10:00
event location icon
Zoom Lecture: https://technion.zoom.us/j/9494079607
Deduplication decreases the physical occupancy of files in a storage volume by removing duplicate copies of data chunks,but creates data-sharing dependencies that complicate standard storage management tasks. Specifically, data migration plans must consider the dependencies between files that are remapped to new volumes and files that are not. Thus far, only greedy approaches have been suggested for constructing such plans, and it is unclear how they compare to one another and how much they can ...
[לנוסח המלא]
The Power of Implicit Acyclicity in the Enumeration Complexity of Database Queries
event speaker icon
נופר כרמלי
event date icon
יום ראשון, 16.8.2020, 11:00
event location icon
Zoom Lecture: https://technion.zoom.us/j/99974085218
We inspect the fine-grained complexity of answering queries over relational databases. With the ideal guarantees, linear time is required before the first answer to read the input and determine its existence, and then we need to print the answers one by one. Consequently, we wish to identify the queries that can be solved with linear preprocessing time and constant or logarithmic delay between answers. A known dichotomy classifies CQs into those that admit such enumeration ...
[לנוסח המלא]
Pixel Club: Semi-Supervised Varying Length Handwritten Text Generation
event speaker icon
שרון פוגל (אמאזון)
event date icon
יום שלישי, 11.8.2020, 11:30
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/99647504267
Optical character recognition (OCR) systems performance have improved significantly in the deep learning era. This is especially true for handwritten text recognition (HTR ), where each author has a unique style, unlike printed text, where the variation is smaller by design. That said, deep learning based HTR is limited, as in every other task, by the number of training examples. Gathering data is a challenging and costly task, and even more so, the labeling task ...
[לנוסח המלא]
Not a COINcidence: Sub-Quadratic Asynchronous Byzantine Agreement WHP
event speaker icon
שיר כהן
event date icon
יום שני, 10.8.2020, 11:00
event location icon
Zoom Lecture: https://technion.zoom.us/j/9479665459
King and Saia were the first to break the quadratic word complexity bound for Byzantine Agreement in synchronous systems against an adaptive adversary, and Algorand broke this bound with near-optimal resilience (first in the synchronous model and then with eventual-synchrony). Yet the question of asynchronous sub-quadratic Byzantine Agreement remained open. To the best of our knowledge, we are the first to answer this question in the affirmative. A key component of our solution is a ...
[לנוסח המלא]
Pixel Club: Sparsity-based Methods for Solving Inverse Problems in Medical Imaging
event speaker icon
אפרת שימרון (אונ' ברקלי)
event date icon
יום שלישי, 4.8.2020, 11:30
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/95491544306
Although Magnetic Resonance Imaging (MRI) is a superb medical imaging modality, its clinical use is limited by its long acquisition time. The acquisition time can be shortened by sampling data with a sub-Nyquist rate; however, this requires suitable methods for solving the ill-posed inverse problem of accurate image reconstruction from highly subsampled data. In this seminar, four novel methods for solving the MRI reconstruction problem will be presented. These methods build upon the well-established Compressed ...
[לנוסח המלא]
Pixel Club: Let's Agree to Agree: Neural Networks Share Classification Order on Real Datasets
event speaker icon
אור הכהן (האונ' העברית בירושלים)
event date icon
יום שלישי, 28.7.2020, 11:30
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/93489482905
We report a series of robust empirical observations, whereby deep Neural Networks learn the examples in both the training and test sets in a similar order. This phenomenon is observed in all the commonly used benchmarks we evaluated, including many image classification benchmarks, and one text classification benchmark. While this phenomenon is strongest for models of the same architecture, it also crosses architectural boundaries -- models of different architectures start by learning the same examples, ...
[לנוסח המלא]
Distance Computation in Distributed Networks
event speaker icon
מיכל דורי
event date icon
יום רביעי, 24.6.2020, 14:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/99489358773
In this talk, I will describe a couple of results from my PhD thesis, that studies distributed algorithms for connectivity and distance related graph problems. I will focus on a recent line of work studying distance computation in the Congested Clique model of distributed computing. We design fast algorithms for the fundamental all-pairs shortest paths (APSP) and multi-source shortest paths (MSSP) problems. In particular, we show constant-factor approximation algorithms for weighted APSP and MSSP that ...
[לנוסח המלא]
Pixel Club: Faithful Autoencoder Interpolation by Shaping the Latent Space
event speaker icon
אלון אורינג (המרכז הבינתחומי, הרצליה)
event date icon
יום שלישי, 23.6.2020, 11:30
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/97576927101
One of the fascinating properties of deep learning is the ability of the network to reveal the underlying factors characterizing elements in datasets of different types. Autoencoders represent an effective approach for computing these factors and also have been studied in the context of their ability to interpolate between data points by decoding mixed latent vectors. This interpolation often incorporates disrupting artifacts or produces unrealistic images during reconstruction. We argue that these incongruities are due ...
[לנוסח המלא]
New Advances in Distributed Optimization and Distance Computation
event speaker icon
יובל אפרון
event date icon
יום רביעי, 17.6.2020, 11:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/96006478037
Finding exact solutions to many fundamental optimization and distance computation problems is known to be a hard task in the distributed CONGEST model of computation. A natural relaxation then is to look for approximate solutions. In this talk, I will discuss some of the research I did during my M.Sc. studies that concerns the trade-off between approximation ratio and round complexity for central optimization and distance computation problems.
[לנוסח המלא]
ceClub: The Security of Machine Learning in the Real World and Machine Learning for Personalized Security
event speaker icon
מחמוד שריף (אונ' קרנגי מלון)
event date icon
יום רביעי, 17.6.2020, 10:30
event location icon
הרצאה באמצעות זום: https://technion.zoom.us/j/93035147116
In the first part of this two-part talk, I will describe my work in adversarial machine learning (ML). Prior work has demonstrated that ML algorithms are vulnerable to evasion attacks at inference time by so-called adversarial examples. However, the implications of attacks in practice, under real-world constraints, remained largely unknown. To fill the gap, we propose evasion attacks that satisfy multiple objectives (e.g., smoothness and robustness against changes in imaging conditions), and show that these ...
[לנוסח המלא]
Distributed Computing Seminar: A Distributed Algorithm for Directed Minimum-Weight Spanning Tree
event speaker icon
אור פישר (אונ' תל-אביב)
event date icon
יום ראשון, 14.6.2020, 11:30
event location icon
הרצאה באמצעות זום: at https://technion.zoom.us/j/95598274575 (הקישור יהיה פעיל מ-11:15)
In the directed minimum spanning tree problem (DMST, also called minimum weight arborescence), the network is given a root node r, and needs to construct a minimum-weight directed spanning tree, rooted at r and oriented outwards. In this paper we present the first sub-quadratic DMST algorithms in the distributed CONGEST network model, where the messages exchanged between the network nodes are bounded in size. We consider three versions: a model where the communication links are ...
[לנוסח המלא]
Flutter - פיתוח אפליקציות על-פי גוגל
event date icon
יום רביעי, 10.6.2020, 19:00
event location icon
הרצאה באמצעות זום (הרשמה)
הפקולטה למדעי המחשב מזמינה אתכם למפגש היכרות עם Flutter - טכנולוגיית אפליקציות חדשה של גוגל - באמצעות ZOOM, ביום רביעי, 10 ביוני, 19:00.בהשתתפות: ברק מנחם, מנהל קהילת Flutter Israel Developers תמיר חיים רביע, מומחה Flutter, React Native בתוכנית: טכנולוגיות Cross-platform מהי Flutter ומדוע להשתמש בה סדנת HandsOn ושימוש בטכנולוגיה כיצד ניתן להיעזר בה לפיתוח פרויקטים אקדמיים קישור להרצאה יישלח לאחר הרשמה מראש.
[לנוסח המלא]
יום עיון בסייבר ואבטחת מידע 2020
event date icon
יום רביעי, 10.6.2020, 09:00
event location icon
הרצאה באמצעות זום
יום העיון בסייבר ואבטחת מידע 2020 באירגונם של אלי ביהם, שרה ביתן ומרכז המחקר לאבטחת סייבר ע"ש הירושי פוג'יאוורה, יתקיים במרחב הסייבר (באמצעות זום - קישור יישלח בסמוך לאירוע לאחר הרשמה), ביום רביעי, 10 ביוני 2020. בתוכנית: * Hashomer: A Proposal for a Privacy-Preserving Bluetooth Based Contact Tracing Scheme for Hamagen * Neural Reverse Engineering of Stripped Binaries * Adventures in Cryptographic Standardization * Dragonblood: Analyzing the Dragonfly Handshake of WPA3 and EAP-pwd * Rogue7: ...
[לנוסח המלא]
Symbolic algorithms for synthesis of freeform spline-based geometry
event speaker icon
Boris van Sosin
event date icon
יום ראשון, 7.6.2020, 13:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/98410090397
Automated tools and algorithms for synthesizing geometry have been ubiquitous in computer-aided design systems, since their very inception. Beyond the simple example of sketching tools for designers, algorithms for synthesizing geometry take many forms, such as design-by-constraints, optimization, and toolpath generation. In this thesis, we will present three problems in the field on geometry processing, and examine them both within the context of geometry synthesis, and in their broader applications. The first problem we discuss ...
[לנוסח המלא]
קריירת מחקר בתעשייה - מפגש ייעודי לתארים מתקדמים
event date icon
יום רביעי, 3.6.2020, 18:30
event location icon
הרצאה באמצעות זום (הרשמה)
הפקולטה למדעי המחשב מזמינה תלמידי תארים מתקדמים למפגש בנושא מחקר בתעשיית ההיטק: האם יש מחקר בתעשייה בישראל ומהם סוגי המשרות ומסלולי קריירה הקיימים, אשר יידון בפאנל עם: ליאן לוין איתן, מנהלת מחקר בכירה, אמאזון טל מזרחי, אדריכל וחוקר ראשי, Huawei נדב אורבך, מנהל כללי, קבוצת הדמייה ומצלמות, אינטל תמר (תמי) אברהם, Co-Founder and CTO, Coral Detection Systems ההרצאה תתקיים באמצעות ZOOM, ביום רביעי, 3 ביוני, 18:30. קישור להרצאה יישלח לאחר הרשמה מראש.
[לנוסח המלא]
ceClub: Accelerator-level Parallelism
event speaker icon
Mark D. Hill (University of Wisconsin-Madison)
event date icon
יום רביעי, 3.6.2020, 16:00
event location icon
Zoom Lecture: https://technion.zoom.us/j/92224131182
Computer system performance has improved due to creatively using more transistors (Moore’s Law) in parallel via bit-, instruction-, thread-, and data-level parallelism. With the slowing of technology scaling, a way to further improve computer system performance under energy constraints is to employ hardware accelerators. Each accelerator is a hardware component that executes a targeted computation class faster and usually with (much) less energy. Already today, many chips in mobile, edge and cloud computing concurrently employ ...
[לנוסח המלא]
Pixel Club: Computational Studio: A Computational Machinery to Enhance Social Communication
event speaker icon
Aayush Bansal (Carnegie Mellon University)
event date icon
יום שלישי, 19.5.2020, 11:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/92570206785
Licklider and Taylor (1968) envisioned computational machinery that could enable better communication between humans than face-to-face. In the last fifty years, we have used computing to develop various means of communication, such as mails, messaging, video conversation, or virtual reality. These are, however, a proxy of face-to-face communication that aims at encoding words, expressions, emotions, and body language at source and try to decode them reliably at the destination. The true potential of computing to ...
[לנוסח המלא]
Second-order Optimization for Machine Learning, Made Practical
event speaker icon
Tomer Koren - COLLOQUIUM LECTURE - CANCELLED
event date icon
יום שלישי, 5.5.2020, 14:30
event location icon
חדר 337 טאוב.
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 second-order derivatives and/or second-order statistics of the data---have become far less prevalent despite strong theoretical properties, due to their impractical computation, memory and communication costs. I will present some recent theoretical, algorithmic and infrastructural advances that allow for overcoming these challenges in using second-order methods and obtaining significant performance gains in ...
[לנוסח המלא]
Pixel Club: Light Field Analysis for Non-Lambertian Scenes
event speaker icon
Antonin Sulc (Czech Technical University in Prague, Prague, Czech Republic)
event date icon
יום שלישי, 5.5.2020, 11:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/98806794904
The idea of light field technology is relatively old, however, apart from various attempts of construction of imaging devices which can densely capture scene radiance, only recent availability of devices from companies like Lytro and Raytrix started a significant increase of interest in the light field technology. The core idea of the light field is in the dense sampling of viewpoints where the dense collection of views distinguishes is from the sparse sampling in multiview ...
[לנוסח המלא]
Node Embedding over Temporal Graphs
event speaker icon
אוריאל זינגר - בוטל
event date icon
יום ראשון, 19.4.2020, 15:30
event location icon
טאוב 601
In this work, we present a method for node embedding in temporal graphs. We propose an algorithm that learns the evolution of a temporal graph's nodes and edges over time and incorporates this dynamics in a temporal node embedding framework for different graph prediction tasks. We present a joint loss function that creates a temporal embedding of a node by learning to combine its historical temporal embeddings, such that it optimizes per given task (e.g., ...
[לנוסח המלא]
Algorithms for Two-Player Turn-Based Stochastic Games
event speaker icon
Uri Zwick - COLLOQUIUM LECTURE- CANCELLED
event date icon
יום שלישי, 7.4.2020, 14:30
event location icon
חדר 337 טאוב.
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 seen as an extension of Markov Decisions Processes (MDPs) to a two-player setting. Such games have applications in various areas ranging from Artificial Intelligence, Operations Research and Automatic Verification. From the theoretical point of view they are interesting because they are known to be in NP intersection co-NP, yet no polynomial ...
[לנוסח המלא]
Hypernetworks and a New Feedback Model
event speaker icon
Lior Wolf - COLLOQUIUM LECTURE - CANCELLED
event date icon
יום שלישי, 31.3.2020, 14:30
event location icon
חדר 337 טאוב.
Hypernetworks, also known as dynamic networks, are neural networks in which the weights of at least some of the layers vary dynamically based on the input. Such networks have composite architectures in which one network predicts the weights of another network. I will briefly describe the early days of dynamic layers and present recent results from diverse domains: 3D reconstruction from a single image, image retouching, electrical circuit design, decoding block codes, graph hypernetworks for ...
[לנוסח המלא]
היום - שידור חי! - יום פתוח לתארים מתקדמים במדעי המחשב
event date icon
יום רביעי, 25.3.2020, 12:30
event location icon
שידור חי באמצעות ZOOM - מס' פגישה: 518018934
האירוע יתקיים בשידור חי באמצעות Z00M  - מס' פגישה: 518018934 היום הפתוח מזמין בוגרי תואר ראשון מצטיינים מכל האוניברסיטאות להירשם ללימודי תארים מתקדמים בפקולטה למדעי המחשב בסמטר חורף תשפ"א. האירוע יתקיים ביום ד', 25 במרס, 2020, בין השעות 12:30-13:30 באמצעות: ZOOM - Meeting ID: 518018934 תוכנית היום תכלול סקירה על מהלך לימודי תארים מתקדמים, על המחקר ועל החיים בפקולטה למדעי המחשב בטכניון. פרטים נוספים ותוכנית מלאה. המעוניינים להגיע לאירוע מתבקשים להירשם מראש.
[לנוסח המלא]
When You Have to Lock, Lock. Don't Talk: Breaking Lock Screens with Voice Assistants
event speaker icon
יובל רון
event date icon
יום שלישי, 24.3.2020, 13:00
event location icon
טאוב 601
Voice assistants are designed to make our lives easier. By responding to spoken commands and questions, they provide a natural way of interaction with computers and smartphones. The problem starts when these voice assistants run by default even when the device is locked, which requires vendors to balance comfort with security. In this talk, I will take the audience on an amusing journey of discovering more than twenty new security vulnerabilities in popular voice assistants, ...
[לנוסח המלא]
CANCELLED! - Pixel Club: Deep Internal Learning
event speaker icon
אסף שוחר (מכון ויצמן למדע)
event date icon
יום שלישי, 17.3.2020, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
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, Regression etc.) or unsupervised (Autoencoders, GANs) regimes. Such networks are only applicable to the type of data they were trained for, and do not exploit the internal statistics of a single datum. We introduce Deep Internal Learning; We train a signal-specific network, we do it at test-time and on the test-input ...
[לנוסח המלא]
Arithmetization for Probabilistically Checkable and Interactive Oracle Proofs Supervisor
event speaker icon
ינון חורש
event date icon
יום ראשון, 15.3.2020, 15:00
event location icon
טאוב 601
Recently, there is an increase in delegating computations to powerful remote servers. This appearance raises questions of computational integrity and efficient verification. For instance, the server can be unreliable, therefore it may output erroneous results. In other contexts, where preserving information privacy is crucial, as in medical and forensic data, other issues might arise. The veils of secrecy, that are designed to keep the data hidden from the public, may be abused to cover up ...
[לנוסח המלא]
CGGC Seminar: Multidimensional Multimodal Content-Oriented Presentations
event speaker icon
דניאל רודין (מדעי המחשב, טכניון)
event date icon
יום ראשון, 8.3.2020, 13:30
event location icon
טאוב 301
Contemporary presentation software provides sufficient tools for simple presentation scenarios. However, such tools have not changed for about two decades and are unsuitable for many complex modern needs. Content is typically limited to text and images only and cannot be expressed well in terms of 2D slides and bullets quantization. Such limitations are ill-suited for many modern needs where linear sequences of fixed-sized 2D slides consisting of text and images is not nearly sufficient. In ...
[לנוסח המלא]
Multidimensional Multimodal Content-Oriented Presentations
event speaker icon
דניאל רודין
event date icon
יום ראשון, 8.3.2020, 13:30
event location icon
טאוב 301
Contemporary presentation software provides sufficient tools for simple presentation scenarios. However, such tools have not changed for about two decades and are unsuitable for many complex modern needs. Content is typically limited to text and images only and cannot be expressed well in terms of 2D slides and bullets quantization. Such limitations are ill-suited for many modern needs where linear sequences of fixed-sized 2D slides consisting of text and images is not nearly sufficient. In ...
[לנוסח המלא]
Leveraging Machine Learning Algorithms in Online Portfolio Selection
event speaker icon
גיא עוזיאל
event date icon
יום רביעי, 4.3.2020, 13:30
event location icon
טאוב 601
Online Portfolio Selection, aiming to optimize the allocation of wealth across a set of assets, is a fundamental research problem in computational finance and machine learning. Despite the theoretical challenges, the implementation of a real-world trading system is extremely challenging. This issue has been extensively studied across several research communities, including finance, statistics, coding and information theory and machine learning. This long-standing problem, however, still poses many challenges. We begin with a discussion of the ...
[לנוסח המלא]
ceClub: Service Rates in Distributed Systems with Redundancy
event speaker icon
פרופ' אמינה סולז'נין
event date icon
יום רביעי, 4.3.2020, 11:30
event location icon
טאוב 201
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 executed by the system. Redundancy, in the form of simple replication and erasure coding, has emerged as an efficient and robust way to enable simultaneous access of different data objects by many users competing for the system’s resources. Here, replication and coding of data affect the rates at which users can ...
[לנוסח המלא]
Breaking the Bluetooth Pairing the Fixed Coordinate Invalid Curve Attack
event speaker icon
ליאור נוימן
event date icon
יום רביעי, 4.3.2020, 11:00
event location icon
טאוב 601
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 paper we show that the authentication provided by the Bluetooth pairing protocols is insufficient and does not provide the promised MitM protection. We present a new attack that modifies the y-coordinates of the public keys (while preserving the x-coordinates). The attack compromises the encryption keys of all of the current Bluetooth ...
[לנוסח המלא]
Pixel Club: Multitask Regression and Flood Forecasting
event speaker icon
Ami Wiesel (Hebrew University of Jerusalem
event date icon
יום שלישי, 3.3.2020, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
In this talk, we will discuss recent advances in multitask regression and their application to flood forecasting. We will begin with a brief overview of Google’s flood forecasting initiative in India. The project involves time series prediction in different geographical locations based on a limited number of heavy tailed samples. To address these challenges, we will consider non-convex robust multitask models based on elliptical distributions. Next, we will present a spectral algorithm for learning shared ...
[לנוסח המלא]
Learning feasible and efficient MR imaging
event speaker icon
תומר וייס
event date icon
יום רביעי, 26.2.2020, 11:45
event location icon
טאוב 012 (מרכז רב תכליתי)
Magnetic Resonance Imaging (MRI) has long been considered to be among "the gold standards" of diagnostic medical imaging. The long acquisition times, however, render MRI prone to motion artifacts, let alone their adverse contribution to the relative high costs of MRI examination. Over the last few decades, multiple studies have focused on the development of both physical and post-processing methods for accelerated acquisition of MRI scans. These two approaches, however, have so far been addressed ...
[לנוסח המלא]
Formal Program Repair
event speaker icon
בת-חן רוטנברג
event date icon
יום רביעי, 26.2.2020, 11:30
event location icon
טאוב 601
The manual detection, examination and repair of computer bugs are all notoriously difficult tasks that programmers face daily. Automated program repair receives a program with a bug, and outputs a set of changes to the program that would make it bug-free. We focus on formal program repair, which means that programs are repaired with respect to a formal specification. Formal program repair, in contrast to test-based repair, guarantees that programs meet the specification for all ...
[לנוסח המלא]
Learning-based design of ultrasound imaging systems
event speaker icon
סנקט ודולה
event date icon
יום רביעי, 26.2.2020, 11:00
event location icon
טאוב 012 (מרכז רב תכליתי)
Medical ultrasound is a widespread imaging modality owing its popularity to cost efficiency, portability, speed, and lack of harmful ionizing radiation. In this work, we demonstrate that replacing the traditional ultrasound processing pipeline with a data-driven, learnable counterpart leads to significant improvement in image quality. Moreover, we demonstrate that greater improvement can be achieved through a learning-based design of the transmitted beam patterns simultaneously with learning an image reconstruction pipeline. We evaluate our method on ...
[לנוסח המלא]
Pixel Club: Joint Design of Optics and Post-Processing Algorithms Based on Deep Learning for Generating Advanced Imaging Features
event speaker icon
שי אלמלם (אונ' תל-אביב)
event date icon
יום שלישי, 25.2.2020, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
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 Processing (IP) methods were based on hand-crafted feature extraction from the initial optical image, and then some hand-crafted classifier/filter was defined to achieve the desired result IP/CV. The machine learning approach seeks to learn the 'classifier' stage using data (either labeled or unlabeled), i.e. the decision rule is not explicitly derived ...
[לנוסח המלא]
Pixel Club: Learning-Based Strong Solutions to Forward and Inverse Problems in Partial Differential Equations
event speaker icon
לאה בר (אונ' תל-אביב)
event date icon
יום שלישי, 18.2.2020, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
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 free, and the solution is approximated by a neural network. We employ an unsupervised approach such that the input to the network is a points set in an arbitrary domain, and the output is the set of the corresponding function values. The network is trained to minimize deviations of the learned ...
[לנוסח המלא]
Answering (Unions of) Join Queries using Random Access and Random-Order Enumeration
event speaker icon
שי זאבי
event date icon
יום ראשון, 16.2.2020, 11:00
event location icon
טאוב 601
As data analytics becomes more crucial to digital systems, so grows the importance of characterizing the database queries that admit a more efficient evaluation. We consider the tractability yardstick of answer enumeration with a polylogarithmic delay after a linear-time preprocessing phase. Such an evaluation is obtained by constructing, in the preprocessing phase, a data structure that supports polylogarithmic-delay enumeration. In this paper, we seek a structure that supports the more demanding task of a “random ...
[לנוסח המלא]
Personal Assistant Programming in Esperanto
event speaker icon
ליאור שמואל
event date icon
יום שלישי, 4.2.2020, 13:30
event location icon
טאוב 601
We are interested in the following question: How could one create a digital personal assistant, capable of acquiring and applying new skills through spoken interaction? The most rudimentary requirement of such skill acquisition would be Turing complete programming. Other such acquisitions might be the deduction of routines from user actions and their automation thereof. Modern digital personal assistants do not possess the ability to learn through Voice User Interface (VUI), which is their primary communication ...
[לנוסח המלא]
Pixel Club: Towards high spatial and/or temporal resolution fMRI at ultra-high field 7T human MRI
event speaker icon
ריטה שמידט (מכון ויצמן למדע)
event date icon
יום שלישי, 4.2.2020, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
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 state of the art 7 T MRI scanners achieved submillimeter resolution in 3D anatomical imaging of the human brain. However, the higher field also comes with new challenges, especially since we want to acquire the images with high spatial or temporal resolution to study the human brain function. These challenges include ...
[לנוסח המלא]
Theory Seminar: Strong Average-Case Circuit Lower Bounds from Non-trivial Derandomization
event speaker icon
Lijie Chen (MIT)
event date icon
יום רביעי, 29.1.2020, 12:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
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 was even open whether E^NP can be (1/2+1/sqrt(n))-approximated by AC^0[2] circuits. As a straightforward application, we obtain an infinitely often non-deterministic pseudorandom generator for poly-size ACC^0 circuits with seed length 2^{log^eps n}, for all eps > 0. More generally, we establish a connection showing that, for a typical circuit class C, ...
[לנוסח המלא]
Pixel Club: From Voxels to Pixels and Back: Self-Supervision in Natural-Image Reconstruction from fMRI
event speaker icon
גיא גזיב (מכון ויצמן למדע)
event date icon
יום שלישי, 28.1.2020, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
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) to span the huge space of natural images is prohibitive for many reasons. We present a novel approach which, in addition to the scarce labeled data (training pairs), allows to train fMRI-to-image reconstruction networks also on "unlabeled" data (i.e., images without fMRI recording, and fMRI recording without images). The proposed model ...
[לנוסח המלא]
Search for Smart Evaders with UAV Swarms
event speaker icon
רועי פרנצוס
event date icon
יום ראשון, 26.1.2020, 11:00
event location icon
טאוב 401
Suppose that in a given planar circular region, there are some smart mobile evaders and we would like to find them using swarms of sweeping agents. A smart evader is a target that detects and responds to the motions of searchers by performing evasive maneuvers, to avoid interception. We assume various search configurations for the sweeping swarm of agents, and present guaranteed search techniques for single agent and multi agent swarms. These search procedures enable ...
[לנוסח המלא]
Theory Seminar: Foundations of Distributed Computing in the 2020s
event speaker icon
Jukka Suomela (Aalto University)
event date icon
יום רביעי, 22.1.2020, 12:30
event location icon
טאוב 201
In this talk I will review some major advances in the theory of distributed computing in the past decade and discuss key research challenges for the 2020s, with the main focus on distributed graph algorithms. I will present promising new approaches for doing research in the field, and I will also highlight examples of seemingly elementary questions that are still beyond the reach of our current techniques.
[לנוסח המלא]
יריד פרוייקטים ב-IoT, תוכנה, אפליקציות אנדרואיד, AI, סייבר, אבטחת מידע, רשתות תקשורת, ראייה ממוחשבת ומציאות מדומה
event date icon
יום שלישי, 21.1.2020, 12:30
event location icon
האולם השקוף , בית הסטודנט
מעבדות הפקולטה למדעי המחשב: המעבדה לפיתוח תוכנה ומערכות (ICST), המעבדה לסייבר ואבטחת מידע (CYBER) ותקשורת מחשבים (LCCN), והמעבדה לעיבוד גיאומטרי של תמונות (GIP), מזמינות אתכם לבקר ביריד האביב של פרוייקטים בתחומי IoT, תוכנה, אפליקציות אנדרואיד, AI, סייבר, אבטחת מידע, רשתות תקשורת, ראייה ממוחשבת ומציאות מדומה, ובו יציגו, ידגימו ויענו על שאלות בנושא מחקרם 60 צוותי תלמידי תואר ראשון. האירוע יתקיים ביום שלישי, 21 בינואר 2020, בין השעות 12:30-14:30, באולם השקוף בבית הסטודנט. כולם מוזמנים! הפרוייקטים ...
[לנוסח המלא]
Pixel Club: Fast and Accurate Least-Mean-Squares Solvers
event speaker icon
Alaa Maalouf and Ibrahim Jubran (Haifa University)
event date icon
יום שלישי, 21.1.2020, 10:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
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 the building blo cks in a variety of other methods, such as decision trees and matrix factorizations. We suggest an algorithm that gets a finite set of n d-dimensional real vectors and returns a weighted subset of d + 1 vectors whose sum is exactly the same. The proof in Caratheodory’s ...
[לנוסח המלא]
CGGC Seminar: Robust Shape Collection Matching and Correspondence from Shape Differences
event speaker icon
אהרן כהן (מדעי המחשב, טכניון
event date icon
יום שני, 20.1.2020, 16:00
event location icon
טאוב 401
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 the inter-maps between the collections. Given the intra-maps in each collection, we extract the corresponding shape difference operators, and use them to construct an embedding of the shape space of each collection. We then align the two shape spaces, and use the knowledge gained from the alignment to compute the inter-maps. ...
[לנוסח המלא]
Data Science & Deep Learning: Synthetic Data Generation
event speaker icon
רון ליבני (אונ' תל-אביב)
event date icon
יום שני, 20.1.2020, 12:30
event location icon
טאוב 301
The task of synthetic data generation can be, roughly, stated as follows: A learner gets to observe examples, sampled from some unknown distributions, and needs to output "synthetic" examples that "look similar". For example, think of an algorithm that receives examples of music tunes from some genre (e.g. jazz, classical, etc.) and in turn generates new synthetic pieces of music from that genre. This task has won considerable attention lately, due to the introduction of ...
[לנוסח המלא]
Similarity in Binary Executable
event speaker icon
יניב דוד
event date icon
יום ראשון, 19.1.2020, 16:00
event location icon
טאוב 601
We address the problem of binary code search in stripped executables (with no debug information). The main challenge is establishing binary code similarity even when the binary code has been compiled using different compilers, optimization levels and targeting diverse architectures. Moreover, the source code being compiled might be from another version of the software package or another implementation altogether. Overcoming these challenges, while avoiding false-positives, is invaluable to guiding other more costly tasks in the ...
[לנוסח המלא]
Coding Theory: The Capacity of Multidimensional Permutations With Restricted Movement
event speaker icon
דור אלימלך (אונ' בן-גוריון)
event date icon
יום ראשון, 19.1.2020, 14:30
event location icon
טאוב 601
The study of permutations is motivated by their application in coding for flash memories, and their relevance in different applications of networking technologies and various channels. We study the multidimensional constrained systems of $\mathbb{Z}^d$-permutations with restricted movement. During the talk, we will show a correspondence between these restricted permutations and perfect matchings. We will use the theory of perfect matchings to investigate several two-dimensional cases, for which we compute the exact capacity of the constrained ...
[לנוסח המלא]
Reliability, Equity, and Reproducibility in Modern Machine Learning
event speaker icon
Yaniv Romano - CS-Lecture
event date icon
יום חמישי, 16.1.2020, 10:30
event location icon
חדר 337 טאוב.
Modern machine learning algorithms have achieved remarkable performance in a myriad of applications, and are increasingly used to make impactful decisions in the hiring process, criminal sentencing, healthcare diagnostics and even to make new scientific discoveries. The use of data-driven algorithms in high-stakes applications is exciting yet alarming: these methods are extremely complex, often brittle, notoriously hard to analyze and interpret. Naturally, concerns have raised about the reliability, fairness, and reproducibility of the output of ...
[לנוסח המלא]
Theory Seminar: Average Sensitivity of Graph Algorithms
event speaker icon
ניטין וארמה
event date icon
יום רביעי, 15.1.2020, 12:30
event location icon
טאוב 201
Inmodern applications of graph algorithms, where the graphs of interest arelarge and dynamic, it is unrealistic to assume that an input representationcontains the full information of a graph being studied. For example, consider asocial network, where a vertex corresponds to a user and an edge corresponds toa friendship relation. It is reasonable to assume that users do not alwaysupdate new friendships on the social network, and that sometimes theydo not fully disclose their friendship relations ...
[לנוסח המלא]
Coding for Emerging Technologies
event speaker icon
Ohad Elishco - CS-Lecture
event date icon
יום רביעי, 15.1.2020, 10:30
event location icon
חדר 601 טאוב.
We are living in the era of massive data. Some estimate that more than 90% of the worlds data was generated in recent years. This large amount of data comes with technological challenges such as: distributed storage systems, synchronization issues, density constraints, power constraints and more. The talk will be partitioned into two, independent parts in which some solutions to those challenges will be discussed. Specifically, we will touch upon dynamical distributed storage systems, and ...
[לנוסח המלא]
Data Science & Deep Learning: Linear Quadratic Control and Online Learning
event speaker icon
ישי מנצור (אונ' תל-אביב)
event date icon
יום שני, 13.1.2020, 12:30
event location icon
טאוב 301
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 dynamics, or (2) unknown dynamics but known quadratic losses. We present an efficient online learning algorithms for both setting with vanishing regret. Based on joint works with Alon Cohen, Avinatan Hassidim, Tomer Koren, Nevena Lazic, and Kunal Talwar Bio: Prof. Yishay Mansour got his PhD from MIT in 1990, following it ...
[לנוסח המלא]
Verification of distributed protocols using decidable logics
event speaker icon
Oded Padon - CS-Lecture
event date icon
יום שני, 13.1.2020, 10:30
event location icon
חדר 601 טאוב.
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 develop a methodology for verifying distributed algorithms and systems using decidable logics, employing decomposition, abstraction, and user interaction. This methodology is implemented in an open-source tool, and has resulted in the first mechanized proofs of several important distributed protocols. I will also describe a novel approach to the problem of invariant ...
[לנוסח המלא]
Fundamental limits of modern machine learning and how to get around them
event speaker icon
Yair Carmon - CS-Lecture
event date icon
יום ראשון, 12.1.2020, 10:30
event location icon
חדר 337 טאוב.
This talk presents new computational and statistical barriers in machine learning, along with the algorithmic developments that they inspire. The computational barriers arise in nonconvex optimization: we prove lower bounds on the (oracle) complexity of finding stationary points using (stochastic) gradient methods, showing that gradient descent is unimprovable for a natural class of problems. We bypass this barrier by designing an algorithm that outperforms gradient descent for a large subclass of problems with high-order smoothness. ...
[לנוסח המלא]
CGGC Seminar: Functional Tracing of Discrete Vector Fields
event speaker icon
יאיר ריעאני (מדעי המחשב, טכניון)
event date icon
יום רביעי, 8.1.2020, 16:00
event location icon
חדר 337, בניין טאוב למדעי המחשב
We propose a method for tracing the flowlines of a discrete tangent vector field on a triangle mesh. Our method makes use of functional vector fields, namely modeling of vector fields as operators acting on functions. In particular, we use the recently proposed adjoint representations of directional derivatives. Our method is characterized by making use of mostly global solutions, as opposed to iterative local algorithms that trace the vector triangle-by-triangle. We compare our approach to ...
[לנוסח המלא]
Functional Tracing of Discrete Vector Fields
event speaker icon
יאיר ריעאני
event date icon
יום רביעי, 8.1.2020, 16:00
event location icon
חדר 337, בניין טאוב למדעי המחשב
We propose a method for tracing the flowlines of a discrete tangent vector field on a triangle mesh. Our method makes use of functional vector fields, namely modeling of vector fields as operators acting on functions. In particular, we use the recently proposed adjoint representations of directional derivatives. Our method is characterized by making use of mostly global solutions, as opposed to iterative local algorithms that trace the vector triangle-by-triangle. We compare our approach to ...
[לנוסח המלא]
ceClub: Deep Reinforcement Learning in Compiler
event speaker icon
אמיר חאג' אלי ( אונ' קליפורניה בברקלי)
event date icon
יום רביעי, 8.1.2020, 15:30
event location icon
חדר 815, בניין מאייר, הפקולטה להנדסת חשמל
Compilers are designed today to use fixedAbstract -cost models that are based on heuristics to make different code optimizations. However, these models are unable to capture the data dependency, the computation graph, or the organization of instructions. Therefore, with these models compilers achieve suboptimal performance. In his talk, Ameer will show how to use deep reinforcement learning to overcome such hard compiler challenges. This includes the NP-Hard compiler phase ordering challenge (AutoPhase, FCCM2019, SysML2020) and ...
[לנוסח המלא]
Theory Seminar: Nearly Instance-Optimal Mechanisms in Differential Privacy
event speaker icon
הלאל עאסי (אונ' סטנפורד)
event date icon
יום רביעי, 8.1.2020, 12:30
event location icon
טאוב 201
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 that our mechanisms, with a modest increase in sample size (logarithmic or constant), are instance-optimal for a large family of functions. In contrast to existing mechanisms, which use the global or local sensitivity of the function being estimated, and so are necessarily instance suboptimal, the key to our construction is to ...
[לנוסח המלא]
ceClub: Quantum Money and Some of its Extensions
event speaker icon
אור סתת (אונ' בן-גוריון)
event date icon
יום רביעי, 8.1.2020, 11:30
event location icon
חדר 861, בניין מאייר, הפקולטה להנדסת חשמל
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 similar to the cash we use, but in addition, it is physically impossible to forge. In this talk, I will discuss quantum money, and some of its extensions (quantum coins, semi quantum money, tokens for digital signatures, quantum copy protection, and quantum lightning). I will also descrube a way to use ...
[לנוסח המלא]
Pixel Club: Recovering Dynamics in Geometry Processing, Fluid Mechanics, Image Processing and Social Sciences via Koopman Theory
event speaker icon
עומרי איזנקוט (אונ' קליפרוניה)
event date icon
יום שלישי, 7.1.2020, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
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 made increasing amounts of observations of such systems readily available. Unfortunately, in many practical scenarios, the governing equations of the dynamics are unknown. For instance, what would be the mathematical model for periodic questionnaire data that describes personalities? Despite the lack of existing models, scientists and engineers are required to address ...
[לנוסח המלא]
SequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair
event speaker icon
Prof. Martin Monperrus - COLLOQUIUM LECTURE -
event date icon
יום שני, 6.1.2020, 14:30
event location icon
חדר 337 טאוב.
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 fixing bugs based on sequence-to-sequence learning on source code. This approach uses the copy mechanism to overcome the unlimited vocabulary problem that occurs with big code. Our system is data-driven; we train it on 35,578 samples, carefully curated from commits to open-source repositories. We evaluate it on 4,711 independent real bug ...
[לנוסח המלא]
Data Science & Deep Learning: An Online Learning Approach to Generative Adversarial Networks
event speaker icon
כפיר לוי (הנדסת חשמל, טכניון)
event date icon
יום שני, 6.1.2020, 12:30
event location icon
טאוב 301
We consider the problem of training and evaluating generative models with a Generative Adversarial Network (GAN). Although GANs can accurately model complex distributions, they are known to be difficult to train due to instabilities caused by a difficult minimax optimization problem. In this work, we view the problem of training GANs as finding a mixed strategy in a zero-sum game. This leads to a new training method that builds upon ideas from game theory and ...
[לנוסח המלא]
Meaning Representation in Natural Language Tasks
event speaker icon
Gabriel Stanovsky - CS-Lecture
event date icon
יום ראשון, 5.1.2020, 10:30
event location icon
חדר 337 טאוב.
Recent developments in Natural Language Processing (NLP) allow models to leverage large, unprecedented amounts of raw text, culminating in impressive performance gains in many of the field's long-standing challenges, such as machine translation, question answering, or information retrieval. In this talk, I will show that despite these advances, state-of-the-art NLP models often fail to capture crucial aspects of text understanding. Instead, they excel by finding spurious patterns in the data, which lead to biased and ...
[לנוסח המלא]
Leveraging Programmable Switches for In-network Computing
event speaker icon
Ran Ben Basat - CS-Lecture
event date icon
יום חמישי, 2.1.2020, 10:30
event location icon
חדר 337 טאוב.
The network line rate is constantly on the rise to support the exploding amounts of data. This means that we have less time to process individual packets, despite a growing demand for better network telemetry. Moreover, CPU speeds are not rising at the same rate as we near the end of Moore’s law, making it harder to rely on software computations. Programmable hardware switches are an emerging technology that enables flexible packet processing while optimizing ...
[לנוסח המלא]