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

Metabolic reprogramming is a hallmark of cancer, providing novel means to selectively target cancer cells, for precision medicine and early diagnosis. Understanding tumor-specific metabolic alterations facilitates the identification of induced dependency on specific enzymes whose inhibition selectively targets cancer cells. In addition, the altered metabolic ...
[לנוסח המלא]

We consider scheduling real-time jobs in the classic flow shop model. The input is a set of n jobs, each consisting of m segments to be processed on m machines in the specified order. Each job also has a release time, a due date, and ...
[לנוסח המלא]

This talk presents some of the geometrical aspects involved in treating irregular heart beat rhythm (Arrythmia) using Carto 3 System. Carto 3 is a product of Biosense-Webster, a global leader in the science of diagnosing and treating heart rhythm disorders. CARTO 3 System enables accurate ...
[לנוסח המלא]

הנכם מוזמנים להשתתף בסדנה טכנולוגית מקוונת בהנחיית אביב רוזנברג, תלמיד תואר שלישי ומתרגל בפקולטה, על ניהול גרסאות עם git: איך להפסיק לפחד משינוי קוד, אשר תתקיים ביום רביעי, 21 באפריל, 2021, 17:30. פרטים נוספים על תוכנית הסדנה והרשמה מראש.
[לנוסח המלא]

The connection between information theoretic proof systems and cryptography has been extremely fruitful. In this thesis, we further explore this connection, showing both new limitations and opportunities. In the talk we will focus on the new opportunities and show constructions of computational relaxations of objects ...
[לנוסח המלא]

היום הפתוח במדעי המחשב בטכניון מזמין בוגרי תואר ראשון מצטיינים מכל האוניברסיטאות להירשם ללימודי תארים מתקדמים בפקולטה למדעי המחשב בסמסטר חורף תשפ"ב. האירוע יתקיים ביום ד', 21 באפריל, 2021, בין השעות 12:30-13:45 באמצעות ZOOM: פגישה מס' 96244586510. תוכנית היום תכלול סקירה על מהלך לימודי תארים ...
[לנוסח המלא]

יום זרקור מקוון של חברת CISCO יתקיים ביום ב', 19 באפריל 2021, בשעה 18:00, ויכלול מפגש עם צוות הסטודנטים ו בחברה, שיספרו על העבודה בסיסקו ועל אפשרויות תעסוקה בחברה. פרטים נוספים והרשמה. כולם מוזמנים!
[לנוסח המלא]

In recent years, topological and geometric data analysis (TGDA) has emerged as a new and promising field for processing, analyzing and understanding complex data. Indeed, geometry and topology form natural platforms for data analysis, with geometry describing the ”shape” behind data; and topology characterizing / ...
[לנוסח המלא]

Fairness has emerged as an important concern in automated decision-making in recent years, especially when these decisions affect human welfare. In this work, we study fairness in temporally extended decision-making settings, specifically those formulated as Markov Decision Processes (MDPs). Our proposed notion of fairness ensures ...
[לנוסח המלא]

32% of all global deaths in the world are caused by cardiovascular diseases. The Electrocardiogram (ECG) is a non-invasive tool to measure the electrical activity of the heart, and it is the most common test performed by cardiologists to detect heart-diseases. Analyzing ECG signals manually ...
[לנוסח המלא]

A butterfly network consists of logarithmically many layers, each with a linear number of pre-specified nonzero weights. We propose to replace a dense linear layer in any neural network by an architecture based on the butterfly network. The proposed architecture significantly improves upon the quadratic ...
[לנוסח המלא]

A butterfly network consists of logarithmically many layers, each with a linear number of pre-specified nonzero weights. We propose to replace a dense linear layer in any neural network by an architecture based on the butterfly network. The proposed architecture significantly improves upon the quadratic ...
[לנוסח המלא]

Deep learning has taken the Computer Graphics world by storm. While remarkable progress has been reported in the context of supervised learning, the state of unsupervised learning, in contrast, remains quite primitive. In this talk, we will discuss recent advances where we have combined knowledge ...
[לנוסח המלא]

הנכם מוזמנים להשתתף בסדנת Code Retreat שתתקיים בפקולטה לראשונה, במטרה לחדד את מיומנות הפיתוח ולתרגל שיטת תכנות בארבע ידיים ומקלדת אחת (Pair Programming), במהלכה המשתתפים מתרגלים כתיבת קוד בזוגות ומחדדים מיומנויות של עבודה על קוד תוך תיאום ציפיות בעבודה קבוצתית, והתמודדות עם בעיה אחת מספר ...
[לנוסח המלא]

Time-series forecasting is widely employed in a variety of domains to predict future trends, tendencies, and properties of the data. However, predicting simple data items is often not enough. Many applications are characterized by a requirement to simultaneously monitor hundreds or even thousands of data ...
[לנוסח המלא]

Many texts, especially in Chemistry and Biol-ogy, describe complex processes. To answer questions about such processes one needs to understand the interactions between the different entities and to track the state transition between the different stages of the process. In this work, we tackle this ...
[לנוסח המלא]

Anomaly detection is a technique for finding unusual patterns in the given data. The study of anomaly detection has a long history and spans multiple disciplines including engineering, machine learning, statistics and real-life applications. We consider the problem of anomaly detection in tabular data, and ...
[לנוסח המלא]

We address the problem of predicting edit completions based on a learned model that was trained on past edits. Given a code snippet that is partially edited, our goal is to predict a completion of the edit for the rest of the snippet. We refer ...
[לנוסח המלא]

In this talk, we offer an entirely “white box’’ interpretation of deep (convolution) networks from the perspective of data compression (and group invariance). In particular, we show how modern deep layered architectures, linear (convolution) operators and nonlinear activations, and even all parameters can be derived ...
[לנוסח המלא]

DNA-based storage offers significant advantages over magnetic and optical storage solutions in terms of density, durability and not requiring a constant power supply. Given current trends of cost reduction in DNA synthesis and sequencing, it is now acknowledged that within the next 10 – 15 ...
[לנוסח המלא]

יום זרקור מקוון באמצעות TEAMS של חברת NVDIA יתקיים היום, יום ב', 5 באפריל 2021, בשעה 18:30, ויכלול הרצאות טכנולוגיות קצרות, מפגש שאלות ותשובות עם מהנדסי החברה, הצעות עבודה ומידע על משרות פתוחות  
[לנוסח המלא]

A butterfly network consists of logarithmically many layers, each with a linear number of pre-specified nonzero weights. We propose to replace a dense linear layer in any neural network by an architecture based on the butterfly network. The proposed architecture significantly improves upon the quadratic ...
[לנוסח המלא]

Drug repurposing is the process of applying known drugs to treat new diseases. Successful repurposing can reduce costs and time to market as medications have already passed studies of human safety. It is an important task due to the length of time and the large ...
[לנוסח המלא]

Using DNA molecules as a data storage volume was first introduced in the 1960s by Richard Feynman. Later, in 1990, the human genome project led to a significant progress in sequencing and assembly methods. As a result, the interest in storage solutions based on DNA ...
[לנוסח המלא]

Recent advances in digital manufacturing, where computational design, materials science and engineering meet, offer whole new perspectives for tailoring mechanical properties and fabrication of material with applications as diverse as product design, architecture, engineering and art. Auxetic materials are characterized by a negative Poisson’s ratio. ...
[לנוסח המלא]

תלמידי תארים מתקדמים בפקולטה מוזמנים לפגישה בנושא Webinar של חברת Huawei, ביום ראשון, 21 במרס, 2021, 19:30-20:30. להשתתפות נא להירשם מראש באמצעות אימייל. פרטים נוספים
[לנוסח המלא]

הנכם מוזמנים להרצאה מאת דר' קירה רדינסיקי: "לחזות את העתיד - הניבוי שיציל את העולם", ביום ראשון, 21 במרס, 17:00. קישור לפגישת זום יישלח לאחר הרשמה מראש.
[לנוסח המלא]

This research aims to investigate the application of the Shapley value to quantify the contribution of a tuple to a query answer. The Shapley value is a widely known numerical measure in cooperative game theory and in many applications of game theory for assessing the ...
[לנוסח המלא]

Mining complex patterns from large data sets has attracted much attention in the last few decades. A plethora of methods and algorithms have been designed for mining a variety of patterns, ranging from simple association rules and frequent itemsets to advanced graph-based structures. However, as ...
[לנוסח המלא]

When matching non-rigid shapes, the regular or scale-invariant Laplace-Beltrami Operator (LBO) eigenfunctions could potentially serve as intrinsic descriptors which are invariant to isometric transformations. However, the computed eigenfunctions of two quasi-isometric surfaces could be substantially different. Such discrepancies include sign ambiguities and possible rotations and ...
[לנוסח המלא]

In virtual setups, guest virtual machines (VMs) perform their I/O through virtual I/O devices that are implemented by the hypervisor in software. There are two major flavors of virtual I/O devices. The first is ``emulation’’, which provides an interface identical to that of some preexisting ...
[לנוסח המלא]

The Hebrew Bible (Tanach) has been extensively quoted by historical religious text and commentaries throughout history. Nowadays, many of these text resources are publicly available online. Yet, the Bible quotations within them are often partially identified if at all. Knowing the exact quotations may be ...
[לנוסח המלא]

The quest for algorithms that enable cognitive abilities is an integral part of machine learning and appears in many facets, such as virtual assistant and visual reasoning. A cognitive system requires an effective approach to extract details and nuances from the multiple sensors that pound ...
[לנוסח המלא]

The WPA3 certification aims to secure home networks, while EAP-pwd is used by certain enterprise WiFi networks to authenticate users. Both use the Dragonfly handshake to provide forward secrecy and resistance to dictionary attacks. In this paper, we systematically evaluate Dragonfly's security. First, we audit ...
[לנוסח המלא]

תלמידי תארים מתקדמים בפקולטה מוזמנים לפגישה בנושא תוכנית ההתמחות של חברת Verizon Media, ביום שלישי, 9 במרס, 2021, 17:00. להשתתפות נא להירשם מראש. פרטים נוספים
[לנוסח המלא]

Clustering is a basic machine learning task. In this task, a stream of input items needs to be grouped into clusters, such that all items classified into the same cluster are closer to each other than to items classified to other clusters. Each cluster is ...
[לנוסח המלא]

For nearly two millennia, the word "geometry" was synonymous with Euclidean geometry, as no other types of geometry existed. Euclid's monopoly came to an end in the 19th century, where multiple examples of non-Euclidean geometries were shown. However, these studies quickly diverged into disparate fields, ...
[לנוסח המלא]

We show a new connection between circuit lower bounds and interactive proofs in restricted computational models. Specifically, we focus on the frontier problem of whether a DNF augmented with an additional layer of parity (XOR) gates, can approximate the inner product function. We show that ...
[לנוסח המלא]

Neural models of code have shown impressive results when performing tasks such as predicting method names and identifying certain kinds of bugs. We show that these models are vulnerable to adversarial examples, and introduce a novel approach for attacking trained models of code using adversarial ...
[לנוסח המלא]

We present automata over infinite data domains and their use in program verification and repair. In particular, we discuss assume-guarantee based verification, a compositional verification method that uses automata learning in order to modularly verify the correctness of a system. Then we present Assume-Guarantee-Repair (AGR) ...
[לנוסח המלא]

Deep neural networks (DNN) became a common tool for solving complex tasks in various fields such as computer vision, natural language processing, and recommendation systems. Despite recent progress made in enhancing the DNN performance, there are still two major obstacles hindering the practicality of DNNs ...
[לנוסח המלא]

תחרות Hash Code 2021 של גוגל תתקיים ביום חמישי, 25 בפברואר, 2021, בין השעות: 19:30-23:45 ואתם מוזמנים להירשם ל-HUB הטכניוני עד יום רביעי, 24 בפברואר, בשעה 13:00 שעון מקומי. פרטים נוספים והרשמה קבוצת ה-HUB הטכניוני בפייסבוק
[לנוסח המלא]

In this work, we initiate the study of fault tolerant Max-Cut, where given an edge-weighted undirected graph G=(V,E), the goal is to find a cut S, that maximizes the total weight of edges that cross S even after an adversary removes k vertices from G. ...
[לנוסח המלא]

We worked on a particular case of Deep Learning where the model is too large to fit into the memory of a single commodity GPU during training. Such is the case for fine-tuning, an increasingly common technique that leverages transfer learning to dramatically expedite the ...
[לנוסח המלא]

While Deep learning has brought a huge advancement to computer vision, for most tasks we still need hundreds of labeled samples per class. The few-shot learning tasks attempts to alleviate the data problem by learning from 1/ 5 samples per class. We will discuss the ...
[לנוסח המלא]

Our research focuses on the task of Batched Vertex Cover Reconfiguration, both in centralized and distributed systems. In this talk, I will present a centralized black-box compression scheme for reconfiguration schedules. Afterwards, I will introduce the concept of Small Separator Decomposition which can be used ...
[לנוסח המלא]

אירוע אמזון מחקר בנושאי תוכנית ההתמחות בקניות Alexa והצגת תוכנית התמחות במחקר 2021 לסטודנטים לתארים מתקדמים במדעי המחשב יתקיים ביום חמישי, 18 בפברואר, 2021, בין השעות 14:00-15:00 . בתוכנית: 14:00 - 14:20 “Alexa can you help me shop?“ Yoelle Maarek, VP of Research, Alexa Shopping, ...
[לנוסח המלא]

A concurrency semantics (aka a memory model) for a programming language defines the allowed behaviors of multithreaded programs. For programmers, sequential consistency (i.e., standard interleaving-based semantics) is considered as the most intuitive model. However, it is too costly to implement. Designing a satisfactory substitute is ...
[לנוסח המלא]

Recent advances in computational imaging have significantly expanded our ability to image through scattering layers such as biological tissues, by exploiting the auto-correlation properties of captured speckle patterns. However, most experimental demonstrations of this capability focus on the far-field imaging setting, where obscured light sources ...
[לנוסח המלא]

Blending and filleting are well established operations in solid modeling and computer-aided geometric design. The creation of a transition surface which smoothly connects the boundary surfaces of two (or more) objects has been extensively investigated. In this talk, we will introduce several algorithms for the ...
[לנוסח המלא]

Malicious I/O devices might compromise the OS using DMAs. The OS therefore utilizes the IOMMU to map and unmap every target buffer right before and after its DMA is processed, thereby restricting DMAs to their designated locations. This usage model, however, is neither truly secure ...
[לנוסח המלא]

Intelligent systems which can be deployed to explore indoor buildings on a frequent and regular basis are beneficial to personnel operating remotely for security, manufacturing, or warehouse pack-and-ship. In this talk, I will present a new minimalistic approach to indoor exploration: minimal sensing, minimal prior ...
[לנוסח המלא]

For a size parameter s: N -> N, the Minimum Circuit Size Problem (denoted by MCSP[s(n)]) is the problem of deciding whether the minimum circuit size of a given function f: {0,1}^n -> {0,1} (represented by a string of length N := 2^n) is at ...
[לנוסח המלא]

In-network caching promises to improve the performance of distributed and networked applications. This is by storing so-called hot items in the network switches on-route between clients who need access to the data and the storage servers who maintain it. Since the data flows through those ...
[לנוסח המלא]

We consider the REQUIREMENT CUT problem, where given an undirected graph G = (V, E) equipped with non-negative edge weights c , and g groups of vertices X1, . , Xg in V each equipped with a requirement ri, the goal is to find a ...
[לנוסח המלא]

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 ...
[לנוסח המלא]

Data-driven methods are increasingly being used in domains such as fraud and risk detection, where data-driven algorithmic decision making may affect human life. The growing impact of data and data-driven systems on society makes it important that people be able to trust analytical results obtained ...
[לנוסח המלא]

Speculative execution attacks present an enormous security threat, capable of reading arbitrary program data under malicious speculation and later exfiltrating that data over microarchitectural covert channels. This talk will describe a comprehensive hardware protection from speculative execution attacks. We will first describe Speculative Taint Tracking ...
[לנוסח המלא]

Engineering design is a task that comes with high responsibility: A failed design may easily cause not only monetary damage but, even more importantly, injuries of users. Based on a collection of design flaws [Petroski1994], this presentation will give an overview over modern design approaches ...
[לנוסח המלא]

Hyperproperties lift conventional trace properties in a way that describes how a system behaves in its entirety, and not just based on its individual traces. We generalize this notion to multi-properties, which describe the behavior of a set of systems, called a multi-model. We show ...
[לנוסח המלא]

Offchain networks are dominant as a solution to the scalability problem of blockchain systems, allowing users to perform payments without their recording on the chain by relying on predefined payment channels. Users together with the offchain channels form a graph, known as the offchain network ...
[לנוסח המלא]

Most AI research focuses exclusively on the AI agent itself, i.e., given some input, what are the improvements to the agent’s reasoning that will yield the best possible output? In my research, I take a novel approach to increasing the capabilities of AI agents via ...
[לנוסח המלא]

We present a new approach to the acceleration of geometric algorithms for freeform surfaces using a hierarchy of bounding volumes, including those based on the osculating toroidal patches to the surfaces. Using this approach, we revisit some non-trivial conventional geometric algorithms, including those for computing ...
[לנוסח המלא]

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, best paper nomination): a method for object detection from 3D pointclouds input, inspired by the classical generalized Hough ...
[לנוסח המלא]

Sketches maintain compact approximate statistics about streams of data, thereby enabling quickly answering queries regarding the data stream without having to reprocess it. In this talk we will present four different papers that studies concurrent sketches and their applications. In particular we looked at these ...
[לנוסח המלא]

Quotient spaces are a natural mathematical tool to describe a variety of algorithmic problems where different objects are to be compared while their natural symmetries are to be ignored. In particular, we will focus on graphs and sets whose symmetries are permutation of the vertices, ...
[לנוסח המלא]

We discretize mappings between surfaces as correspondences between checkerboard patterns derived from quad meshes. This method captures the degrees of freedom inherent in smooth maps and provides a very simple and efficient computational approach to important types of maps such as conformal or isometric maps. ...
[לנוסח המלא]

הנכם מוזמנים לשעת זרקור של אלביט מערכות המציגה הזדמנויות וטכנולוגיות והרצאה מפי יונתן אברהם, ר"צ פיתוח, על פתרונות ייחודיים של תקשורת נטולת-תשתיות, וכן שיחה פתוחה עם גיא איסטמטי, מנהל קשרי האקדמיה, על הזדמנויות קריירה ותהליכי גיוס.   לצפייה באמצעות תוכנת Webex יש להירשם מראש.
[לנוסח המלא]

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 ...
[לנוסח המלא]

There is a growing number of tasks that work directly on point clouds. As the size of the point cloud grows, so do the computational demands of these tasks. A possible solution is to sample the point cloud first. Classic sampling approaches, such as farthest ...
[לנוסח המלא]

Program synthesis is the problem of generating a program to satisfy a specification of user intent. Since these specifications are usually partial, this means searching a space of candidate programs for one that exhibits the desired behavior. The lion's share of the work on program ...
[לנוסח המלא]

My primary goal in this fringe direction of research is to develop a simple, intuitive formal framework for the automatic representation of simplified shapes and materials that can support Hyper-Realism in a wide variety of rendering applications. I observe that with the emphasis on the ...
[לנוסח המלא]