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

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

Mixed Integer Programming Accelerator
event speaker icon
איגור זריבץ
event date icon
יום רביעי, 28.12.2016, 13:30
event location icon
טאוב 601
The availability of effective exact or heuristic solution methods for general Mixed-Integer Programs (MIPs) is of a paramount importance for practical applications. Unfortunately, in most practical large scale problems, a general-purpose MIP solver may prove not effective even after a clever tuning. In the present paper we investigate the use of a generic MIP solver as a black box tool to produce a sequence of reasonably good feasible solutions quickly. The procedure is based on ...
[לנוסח המלא]
Theory Seminar: Complete Derandomization of Identity Testing of Read-Once Formulas
event speaker icon
איליה וולקוביץ (אונ' מישיגן)
event date icon
יום רביעי, 28.12.2016, 12:30
event location icon
טאוב 201
In this paper we study the identity testing problem of arithmetic read-once formulas (ROF) and some related models. A read-once formula is formula (a circuit whose underlying graph is a tree) in which the operations are {+, ×} and such that every input variable labels at most one leaf. We obtain the first polynomial-time deterministic identity testing algorithm that operates in the black-box setting for read-once formulas, as well as some other related models. As ...
[לנוסח המלא]
ceClub: Secure Computation in Hostile Environments
event speaker icon
דניאל גנקין (פנסילבניה ומרילנד)
event date icon
יום רביעי, 28.12.2016, 11:30
event location icon
חדר 861, בניין מאייר, הפקולטה להנדסת חשמל
Computer systems are everywhere, often controlling critical processes and containing sensitive secret information. However, the ubiquitous nature of computer systems also means that such systems often operate in hostile environments where they are subjected to various attacks by adversarial parties. Even if the system's security is theoretically proven under some set of assumptions, when faced with real-word attack scenarios, many theoretical assumptions become flaky, inaccurate and often completely incorrect. In this talk I will present ...
[לנוסח המלא]
Requirements for Tools for Hairy Requirements or Software Engineering Tasks
event speaker icon
Daniel M. Berry - COLLOQUIUM LECTURE
event date icon
יום שלישי, 27.12.2016, 14:30
event location icon
חדר 337-8 טאוב.
ceClub: Temporal Planning - Towards Highly Utilized Clouds
event speaker icon
ישי מנשה (מיקרוסופט, רדמונד)
event date icon
יום שלישי, 27.12.2016, 11:30
event location icon
טאוב 301
Existing resource management frameworks for large scale cloud systems leave unresolved the problematic tension between high resource utilization and job's performance predictability - respectively coveted by operators and users. In this talk, I will present recent efforts to resolve this tension through temporal planning: unlike popular scheduling and routing schemes, we propose mechanisms that plan the resource allocations into future time steps. Intuitively, such planning allows the operator to pack the cloud more densely, while ...
[לנוסח המלא]
היום! יום עיון לרגל פרישתו של פרופ' יוהן מקובסקי
event date icon
יום ראשון, 25.12.2016, 13:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
הפקולטה למדעי המחשב תקיים יום עיון לרגל פרישתו של פרופ' יוהן מקובסקי בנושא: Logic in Computer Science and Combinatorics בתוכנית דברי ברכה מפי דיקן הפקולטה, פרופ' עירד יבנה, והרצאות מפי: משה י. ורדי אלדר פישר תומר קוטק נדיה לבאי אלנה רווה יוהן מקובסקי פרטים נוספים ותוכנית מלאה האירוע יתקיים ביום ראשון, 25 בדצמבר 2016 בין השעות 13:00-17:00, בחדר 337, בניין טאוב למדעי המחשב בטכניון כולם מוזמנים!
[לנוסח המלא]
הרצאת אורח: The Automated-Reasoning Revolution: From Theory to Practice and Back
event speaker icon
משה י. ורדי (אונ' רייס)
event date icon
יום ראשון, 25.12.2016, 13:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
For the past 40 years computer scientists generally believed that NP-complete problems are intractable. In particular, Boolean satisfiability (SAT), as a paradigmatic automated-reasoning problem, has been considered to be intractable. Over the past 20 years, however, there has been a quiet, but dramatic, revolution, and very large SAT instances are now being solved routinely as part of software and hardware design. In this talk I will review this amazing development and show how automated ...
[לנוסח המלא]
Shared-memory concurrency in programming languages: Problems, challenges, solutions
event speaker icon
Ori Lahav
event date icon
יום ראשון, 25.12.2016, 10:30
event location icon
חדר 601 טאוב.
With the proliferation of multi-core processors, shared-memory concurrent programming has become increasingly important. Nevertheless, despite decades of research, there are still no adequate answers to the following fundamental questions: 1. What is the right semantics for concurrent programs in higher-level languages? 2. Which reasoning principles apply to realistic shared-memory concurrency? Concerning the first question, the challenge lies in simultaneously allowing efficient implementation on modern hardware with compiler optimizations, while exposing a well-behaved programming model. Both ...
[לנוסח המלא]
On Simulation, Verification and Monitoring of Cyber-Physical Systems
event speaker icon
Oded Maler - Special Guest Lecture
event date icon
יום חמישי, 22.12.2016, 14:30
event location icon
חדר 337 טאוב.
In this talk I will present some of the research I have been involved in concerning the specification and monitoring of timed, continuous and hybrid behaviors using formalism such as Signal Temporal Logic and Timed Regular Expressions. I will discuss the similarities and differences between properties/assertions and other ''measures'' which are used in many application domains to evaluate behaviors, as well as the difference between monitoring real systems during their execution and monitoring simulated models ...
[לנוסח המלא]
Recent advances in randomness extractors and their applications
event speaker icon
Gil Cohen - CS-Lecture -
event date icon
יום חמישי, 22.12.2016, 10:30
event location icon
חדר 337 טאוב.
We present recent developments in randomness extractors theory and applications to classical, long-standing, open problems such as Ramsey graphs constructions and privacy amplification protocols. This exciting progress heavily relies on two new pseudo-random primitives we call correlation breakers and independence-preserving mergers, which we discuss. Short bio: ========== Gil Cohen is a postdoctoral researcher at Princeton University working with Mark Braverman. He obtained his Ph.D. in 2015 from The Weizmann Institute of Science under the guidance ...
[לנוסח המלא]
Theory Seminar: Low Contention Nested Parallelism using Dynamic SNZI
event speaker icon
נעמה בן-דוד (אונ' קרנגי מלון)
event date icon
יום רביעי, 21.12.2016, 12:30
event location icon
טאוב 201
The study and design of concurrent data structures has mostly focused on verifying their correctness and proving general progress guarantees. In contrast, very little work has been done on analyzing the running time of these data structures, possibly due to a lack of a good model under which to perform such analysis. We take a step in this direction by presenting a concurrent relaxed counter which we show how to use to keep track of ...
[לנוסח המלא]
ceClub: Challenges in Modeling, Optimization and Control of Energy Networks (Transmission and Distribution of Power and Natural Gas)
event speaker icon
מיכאל צ'רטקוב (LANL)
event date icon
יום רביעי, 21.12.2016, 11:30
event location icon
חדר 861, בניין מאייר, הפקולטה להנדסת חשמל
Challenges in simulation, optimization and control of natural gas transmission systems and their coupling to power transmission systems are reviewed in this presentation describing research on the subject by the Grid Science Team at LANL. In this presentation I will describe opportunities but also challenges emerging in view of new dependencies between power and natural gas regional, national, and international systems. The availability of natural gas and the need for cleaner electric power have prompted ...
[לנוסח המלא]
Coding Theory: Semiconstrained Systems
event speaker icon
אוהד אלישקו (אונ' בן-גוריון)
event date icon
יום ראשון, 18.12.2016, 14:30
event location icon
טאוב 601
When transmitting information over a noisy channel, two approaches are common: assuming the channel errors are independent of the transmitted content and devising an error-correcting code, or assuming the errors are data dependent and devising a constrained-coding scheme that eliminates all offending data patterns. In this talk we analyze a middle road, which we call a semiconstrained system. In such a system we do not eliminate the error-causing sequences entirely, but rather restrict the frequency ...
[לנוסח המלא]
Cloud resource provisioning for social notifications at mass scale
event speaker icon
Roman Vitenberg - COLLOQUIUM LECTURE
event date icon
יום חמישי, 15.12.2016, 14:30
event location icon
חדר 337 טאוב.
Delivery of social notifications has become a popular component in many electronic services. While a small number of services for social notifications, e.g., Twitter, are dedicated, an increasingly large number of such services are provided as an enhancement of the main functionality. For example, the main music streaming service of Spotify is accompanied by an engine that delivers real-time notifications to each online user. These notifications report when a user's friend comes online and goes ...
[לנוסח המלא]
Linear and Generalized Linear Mixed Models for Genetic Case Control Studies
event speaker icon
עומר ויסברוד
event date icon
יום רביעי, 14.12.2016, 13:00
event location icon
טאוב 601
In recent years, genetic studies have revolutionized our understanding of common diseases like diabetes and cancer. However, the analysis of genetic studies of disease poses substantial statistical and computational challenges, owing to the data collection scheme and to the extremely large data dimensionality. We propose a unified modeling framework that addresses these challenges in order to solve the three main problems associated with genetic disease studies: Searching for disease causing mutations, predicting risk of being ...
[לנוסח המלא]
הרצאה טכנית מטעם חברת פייסבוק
event date icon
יום רביעי, 14.12.2016, 12:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
מהנדסי פייסבוק יגיעו לפקולטה ויציעו לכם משרות והזדמנויות להתמחות, ביום רביעי, 14 בדצמבר 2016, בין 12:30-13:30, בחדר 337, קומה 3, בניין טאוב למדעי המחשב, וכן יתנו הרצאה טכנית בנושא: Data Driven Engineering @ Facebook: At Facebook, we use data to understand growth, as well as identify and execute on enhancements to product experiences. Given hundreds of millions of users worldwide and multiple products across different domains, the amount of data is tremendous and analyzing it ...
[לנוסח המלא]
Theory Seminar: Cohomology for Computer Science
event speaker icon
אלכס לובוצקי (האונ' העברית בירושלים)
event date icon
יום רביעי, 14.12.2016, 12:30
event location icon
טאוב 201
We will start with presenting the basic notions of (co)homomology of simplical complexes (which requires only basic linear algebra over the field of order 2) and then we will indicate its relevance for several topics in computer science and combinatorics: 1) Property testing.: 2) Quantum error correcting codes : 3) High dimensional expanders.: 4) Random simplical complexes.
[לנוסח המלא]
ceClub: Resampling with Feedback - A New Paradigm of Using Workload Data for Performance Evaluation
event speaker icon
דרור פייטלסון (האונ' העברית בירושלים)
event date icon
יום רביעי, 14.12.2016, 11:30
event location icon
טאוב 401
Reliable performance evaluations require representative workloads. This has led to the use of accounting logs from production systems as a source for workload data in simulations. I will survey 20 years of ups and downs in the use of workload logs, culminating with the idea of resampling with feedback. It all started with the realization that using workload logs directly suffers from various deficiencies, such as providing data about only one specific situation, and lack ...
[לנוסח המלא]
Pixel Club: Big Data-small Data: Image Classification for Colorectal Cancer Diagnosis
event speaker icon
דורי פלג (מדטרוניק)
event date icon
יום שלישי, 13.12.2016, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Capsule Endoscopy for the Colon is an emerging market with the potential to become a screening tool for detecting colorectal cancer. The patient swallows a pill that includes cameras which provide a video of the digestive system. If a significant polyp, which is a precursor to colorectal cancer, is detected with the capsule, the patient will be referred to Colonoscopy to have it treated. In this talk the challenge of detecting polyps will be introduced. ...
[לנוסח המלא]
Pixel Club: Arranging & Improving Photos
event speaker icon
אוהד פריד (אונ' פרינסטון)
event date icon
יום ראשון, 11.12.2016, 14:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
There are *many* photos in the world. An average user might have thousands of photos in their personal photo collection. We have reached a point where photo acquisition is trivial, and the next challenge lies in arranging and easily editing such large photo collections. I will start the talk by briefly surveying a few of our works that aim to arrange large collections, and to provide fast (yet sophisticated) image manipulation techniques. Next, I will ...
[לנוסח המלא]
CGGC Seminar: OpenMP - In Practice
event speaker icon
בעז שטרנפלד (מדעי המחשב, טכניון)
event date icon
יום ראשון, 11.12.2016, 13:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
OpenMP is an API for writing multithreaded, shared memory parallelism, it consists of a set of compiler directives none intrusive to the original serial code. In addition I shall present parfor concept in MATLAB which is useful where you need many loop iterations of a simple calculation.
[לנוסח המלא]
Finding Security Vulnerabilities in Network Protocols Using Methods of Formal Verification
event speaker icon
עדי סוסנוביץ
event date icon
יום רביעי, 7.12.2016, 15:30
event location icon
טאוב 601
The Internet infrastructure relies almost entirely on network protocols that are based on open standards. However, the majority of network devices on the Internet, e.g. routers and switches, are proprietary and closed source. Hence, there is no straightforward way to analyze them. Specifically, one cannot easily and systematically identify deviations of a network device's protocol implementation from the protocol's standard. Such deviations may degrade the security or resiliency of the network. In this talk I ...
[לנוסח המלא]
Theory Seminar: Online Matching: Haste Makes Waste!
event speaker icon
יובל עמק (תעשייה וניהול, טכניון)
event date icon
יום רביעי, 7.12.2016, 12:30
event location icon
טאוב 201
We address a new online problem, referred to as min-cost perfect matching with delays (MPMD), where requests arrive in a continuous time online fashion at the points of a finite metric space $mathcal{M}$ and should be served by matching them to each other. The algorithm that knows $mathcal{M}$ in advance is allowed to delay its matching commitments, but this does not come for free: the total cost of the algorithm is the sum of metric ...
[לנוסח המלא]
ceClub: From Theory to Practice: The Actual Outcome of Two 'Somewhat Disjoint' Network Evaluation Studies
event speaker icon
יוסי ילוז (הנדסת חשמל,טכניון ואינטל)
event date icon
יום רביעי, 7.12.2016, 11:30
event location icon
חדר 861, בניין מאייר, הפקולטה להנדסת חשמל
Network Function Virtualization (NFV) is a novel paradigm that enables flexible and scalable implementation of network services on cloud infrastructure, while Network Survivability is an traditional well-studied subject for maintaining network service continuity in the presence of failures. This talk will address these two important subjects through the results of two recent papers, namely "Optimal Link-Disjoint Node-“Somewhat Disjoint” Paths"[1] and "The Actual Cost of Software Switching for NFV Chaining"[2]. In [1], we investigate a crucial ...
[לנוסח המלא]
Pixel Club: Signal Modeling: From Convolutional Sparse Coding to Convolutional Neural Networks
event speaker icon
ורדן פפיאן (מדעי המחשב, טכניון)
event date icon
יום שלישי, 6.12.2016, 11:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
Within the wide field of sparse approximation, convolutional sparse coding (CSC) has gained increasing attention in recent years. This model assumes a structured-dictionary built as a union of banded Circulant matrices. Most attention has been devoted to the practical side of CSC, proposing efficient algorithms for the pursuit problem, and identifying applications that benefit from this model. Interestingly, a systematic theoretical understanding of CSC seems to have been left aside, with the assumption that the ...
[לנוסח המלא]
Market Driven Queuing
event speaker icon
בוריס פיסמניי
event date icon
יום שני, 5.12.2016, 15:30
event location icon
טאוב 301
Network providers must dynamically allocate scarce physical resources among their clients to maximize benefit. Network pricing is one way for providers to maximize client benefit by allowing them to share available bandwidth according to their willingness to pay for it. The resulting allocation grants additional bandwidth to those who need it the most, while decreasing the bandwidth of those who need it the least. Existing queueing algorithms use the results of pricing schemes as weights ...
[לנוסח המלא]
Coding Theory: Cyclic Subspace Codes from Sidon Sets
event speaker icon
נתנאל רביב (מדעי המחשב, טכניון)
event date icon
יום ראשון, 4.12.2016, 14:30
event location icon
טאוב 601
The interest in subspace codes has increased recently due to their application in error correction for random network coding. In order to study their properties and find good constructions, the notion of cyclic subspace codes was introduced by using the extension field structure of the ambient space. However, to this date there exists no general construction with a known relation between k, the dimension of the codewords, and n, the dimension of the entire space. ...
[לנוסח המלא]
Comparing evolutionary distances via adaptive distance functions
event speaker icon
יניר דמתי
event date icon
יום רביעי, 30.11.2016, 14:30
event location icon
טאוב 601
Distance based reconstruction methods of phylogenetic trees consist of two independent parts: first, inter-species distances are estimated assuming some stochastic model of sequence evolution; then the inferred distances are used to construct the tree. These methods rely heavily on comparisons of the inferred distances and of linear combinations thereof. In this work we show how to accurately and efficiently compare two evolutionary distances, and set the ground for more complicated comparisons (e.g., comparisons of sums ...
[לנוסח המלא]
Theory Seminar: Pseudorandomness when the Odds are Against You
event speaker icon
רונן שאלתיאל (אונ' חיפה)
event date icon
יום רביעי, 30.11.2016, 12:30
event location icon
טאוב 201
A celebrated result by Impagliazzo and Wigderson is that under complexity theoretic hardness assumptions, every randomized algorithm can be transformed into one that uses only logarithmically many bits, with polynomial slowdown. Such algorithms can then be completely derandomized, with polynomial slowdown. In the talk I will discuss recent work attempting to extend this approach to: 1. Randomized algorithms that err with probability $1-\epsilon$ for small $\epsilon$. (Here, the goal is to minimize the number of ...
[לנוסח המלא]
ceClub: Practical Plausibly Deniable Encryption through Low-Level Flash Behavior
event speaker icon
אביעד צוק (מדעי המחשב טכניון)
event date icon
יום רביעי, 30.11.2016, 11:30
event location icon
טאוב 401
Users of solid-state disks and mobile devices may benefit from the ability to hide sensitive data in a manner that disallows powerful adversaries from detecting that data has been hidden. In this talk I present a new technique to achieve this goal by manipulating the voltage level of randomly selected flash cells to encode two bits (rather than one), such that one bit is "public" and the other is private. Our technique leverages the inherent ...
[לנוסח המלא]
From Reachability to Temporal Specifications in Game Theory
event speaker icon
Orna Kupferman - COLLOQUIUM LECTURE
event date icon
יום שלישי, 29.11.2016, 14:30
event location icon
חדר 337-8 טאוב.
Pixel Club: Recovering Hyperspectral Signals from RGB images via Sparse Dictionary Learning
event speaker icon
בעז ארד (אונ' בן-גוריון)
event date icon
יום שלישי, 29.11.2016, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Hyperspectral (HS) images or "hyperspectral data-cubes" contain radiance spectrum information at high spectral resolution for each point in the scene. Until recently, acquiring such information involved expensive, bulky equipment which required long exposure times - making HS imaging impractical for "natural" imaging (ground-level, horizontally viewed scenes). The talk will present a novel methodology, allowing high-accuracy estimation of HS information from unseen scenes using only RGB data acquired from a consumer-grade camera. This is achieved by ...
[לנוסח המלא]
Faster Projection-free Machine Learning and Optimization
event speaker icon
Dan Garber - CS-Lecture -
event date icon
יום שני, 28.11.2016, 10:30
event location icon
חדר 337-8 טאוב.
Projected gradient descent (PGD), and its close variants, are often considered the methods of choice for solving a large variety of machine learning optimization problems, including empirical risk minimization, statistical learning, and online learning. This is not surprising, since PGD is often optimal in a very appealing information-theoretic sense. However, for many problems PGD is infeasible both in theory and practice since each step requires to compute an orthogonal projection onto the feasible set. In ...
[לנוסח המלא]
הרצאה טכנית מטעם גוגל
event date icon
יום ראשון, 27.11.2016, 17:00
event location icon
חדר 337, בניין טאוב למדעי המחשב
מהנדסי קבוצת Cloud & Networking של גוגל יגיעו למדעי המחשב וירצה על האתגרים העמדים בפני בוני "Effingo" וכן על תהליך הגיוס שלהם. אנא הירשמו מראש.
[לנוסח המלא]
Pixel Club: Statistical Non-Rigid Shape Correspondence ​
event speaker icon
עמנואל רודולה (USI, לוגנו)
event date icon
יום ראשון, 27.11.2016, 11:00
event location icon
חדר 337, בניין טאוב למדעי המחשב
Many algorithms for the computation of correspondences​ ​between deformable shapes rely on some variant of​ ​nearest neighbor matching in a descriptor space. Such are,​ ​for example, various point-wise correspondence recovery​​ algorithms used as a post-processing stage in the functional​ ​correspondence framework. Such frequently used techniques​ ​implicitly make restrictive assumptions (e.g., nearisometry)​ ​on the considered shapes and in practice suffer from lack of accuracy and result in poor surjectivity. We​ ​propose an alternative recovery technique capable ...
[לנוסח המלא]
From Programming Languages to Programming Systems - Software Development by Refinement
event speaker icon
Shachar Itzhaky - CS-Lecture -
event date icon
יום חמישי, 24.11.2016, 10:30
event location icon
חדר 337 טאוב.
Everyone wants to program with "high-level concepts", rather than meddle with the fine details of the implementation, such as pointers, network packets, and asynchronous callbacks. This is usually achieved by introducing layers of abstraction - but every layer incurs some overhead, and when they accumulate, this overhand becomes significant and sometimes prohibitive. Optimizing the program often requires to break abstractions, which leads to suboptimal design, higher maintenance costs, and subtle hard-to-trace bugs. I will present ...
[לנוסח המלא]
Theory Seminar: New Hardness Results for Routing on Disjoint Paths
event speaker icon
יוליה צ'וזוי (אונ' שיקגו)
event date icon
יום רביעי, 23.11.2016, 12:30
event location icon
טאוב 201
In the classical Node-Disjoint Paths (NDP) problem, the input consists of an undirected $n$-vertex graph $G$, and a collection $M=\{(s_1,t_1),\ldots,(s_k,t_k)\}$ of pairs of its vertices, called source-destination, or demand, pairs. The goal is to route the largest possible number of the demand pairs via node-disjoint paths. The best current approximation for the problem is achieved by a simple greedy algorithm, whose approximation factor is $O(\sqrt n)$, while the best current negative result is a roughly ...
[לנוסח המלא]
סמינר בכירי אינטל: מחברות קטנות לענקיות בינלאומיות
event date icon
יום רביעי, 23.11.2016, 09:00
event location icon
EE Meyer Building 1003
מחברות קטנות לענקיות בינלאומיות: כל מה שרציתם לדעת על איך להצליח בתעשיית ההייטק בזירה הטכנולוגית המורכבת של ימינו, ולא העזתם לשאול. בואו ללמוד מהמומחים – סמינר בנושאי תהליכי תכנון ופיתוח, מתודולוגיות, ניהול והובלת תהליכים – החל מהרעיון היצירתי ועד למוצר המפותח באתרים שונים בעולם והופך להצלחה מסחרית. סדר היום, התקצירים וההרשמה באתר. ההרצאות יינתנו על ידי מנהלים בכירים ומומחי תוכן מאינטל. Shlomit Weiss, Vice President Data Center Group, General Manager Network Platforms Group Silicon Engineering ...
[לנוסח המלא]
Pixel Club: Finding a Needle in a (Deformable) Haystack
event speaker icon
אלכס ברונשטיין (USI Lugano ואונ' ת"א)
event date icon
יום שלישי, 22.11.2016, 12:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
Finding correspondence between 3D shapes is one of the prototypical problems in computer graphics, geometric processing, and vision. Different flavors of this problem arise in applications ranging from texture mapping and animation to marker-less motion capture. The recent progress in the development of commercial real-time 3D scanning technology has brought the need for fast, accurate, and reliable correspondence methods capable of dealing with real-world noise and artifacts. Particularly hard settings of the correspondence problem include ...
[לנוסח המלא]
Coding Theory: Combinatorial Batch Codes: Bounds and Constructions
event speaker icon
Srimanta Bhattacharya (Indian Statistical Institute, Kolkata, India)
event date icon
יום ראשון, 20.11.2016, 14:30
event location icon
טאוב 601
An (n, N, k, m, t)-batch code abstracts the following distributed database problem: n items are to be distributed among m servers in such a way that any (multi)set of k items can be retrieved by reading at most t items from each server with the condition that the total storage over m servers be bounded by N. Combinatorial batch codes (CBCs) are replication based variants, i.e., for these codes each of the N stored ...
[לנוסח המלא]
Exact Learning of Juntas from Membership Queries
event speaker icon
אריג' קוסטה
event date icon
יום חמישי, 17.11.2016, 13:30
event location icon
טאוב 601
Learning from membership queries has flourished due to its many applications in group testing, blood testing, chemical leak testing, chemical reactions, electric shorting detection, codes, multi-access channel communications, molecular biology, VLSI testing and AIDS screening. Many of the new applications raised new models and new problems and in many of those applications the function being learned can be an arbitrary function that depends on few variables. We call this class of functions $d$-Junta, where $d$ ...
[לנוסח המלא]
Theory Seminar: Branching Program size lower bounds via Projective Dimension
event speaker icon
סאג'ין קורות' (מדרס, הודו)
event date icon
יום רביעי, 16.11.2016, 12:30
event location icon
טאוב 201
Branching program is a combinatorial model of computation which models space in Turing machines. One of the holy grail in complexity theory is to understand the relationship between efficient space (class L, logarithmic space in input) and efficient time (class P, polynomial time in input). It is widely believed that there are problems which are in P but not in L. To prove that a problem is not in L it is enough to prove ...
[לנוסח המלא]
ceClub: Underlay Aware Overlay Routing
event speaker icon
רון באנר (HP ישראל)
event date icon
יום רביעי, 16.11.2016, 11:30
event location icon
חדר 861, בניין מאייר, הפקולטה להנדסת חשמל
Network function cloudification aims at executing virtual network functions on the cloud to enable rapid deployment of new services with greater flexibility and better CAPEX and OPEX efficiencies. While the cloud provides a convenient overlay abstraction to the underlying compute and network infrastructure, the data will often travel over the network to be processed by these virtual functions and possibly travel again to be consumed elsewhere. Network overlays suppress important topological details of the underlying ...
[לנוסח המלא]
Teaching Computer Science, in Israel and Abroad: Teaching, Learning, and Teacher Training
event speaker icon
Orit Hazzan and Noa Ragonis - COLLOQUIUM LECTURE
event date icon
יום שלישי, 15.11.2016, 14:30
event location icon
חדר 337-8 טאוב.
Pixel Club: Applications in Speech, Vision and Cognition
event speaker icon
הונגקאי זאהו (אונ' קליפורניה)
event date icon
יום שלישי, 15.11.2016, 11:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
​We present a general framework for solving partial differential equations on manifolds represented by meshless points, i.e. point clouds, without parameterization or connection information. Our method is based on a local approximation of the manifold as well as functions defined on the manifold, such as using least squares, simultaneously in a local intrinsic coordinate system constructed by local principal component analysis using K nearest neighbors. Once the local reconstruction is available, differential operators on the ...
[לנוסח המלא]
Special Guest Lecture: Functional Safety and IT-Security: The Critical Combination
event speaker icon
פרופ' ג'ורגן מוטוק (אונ' בווריה, גרמניה)
event date icon
יום שני, 14.11.2016, 15:15
event location icon
טאוב 601
Functional Safety and IT-Security are the most important quality factors for future real-time embedded systems. This talk will cover state of the art techniques and research results covering functional safety and IT-Security in relation to functional safety. Focus mainly on your knowledge and experience in the Automotive Industry. Prof. Dr. Jürgen Mottok has been involved more than 20 years in the development and assessment of safety critical automotive systems at SIEMENS VDO Automotive AG, now ...
[לנוסח המלא]
Special Guest Lecture: Safe and Secure Systems: Implications on System Architecture
event speaker icon
פרופ' גאורג שארפנברג (אונ' בווריה, גרמניה)
event date icon
יום שני, 14.11.2016, 14:30
event location icon
טאוב 601
Embedded real-time systems focusing on functional safety applications must be error-free and have to master faults occurring during operation. In this talk we will deal with types of faults and how the system architecture will control them. We will ask the question: "How much safety do we need?" In the future, the automobile will drive autonomously and we will outline the question whether the valid automotive standard ISO26262 can be adapted for this purpose. Focus ...
[לנוסח המלא]
Pixel Club: End-to-End Learning: Applications in Speech, Vision and Cognition
event speaker icon
ידיד חושן (האונ' העברית בירושלים)
event date icon
יום שני, 14.11.2016, 11:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
One of the most exciting possibilities opened by deep neural networks is end-to-end learning: the ability to learn tasks without the need for feature engineering or breaking down into sub-tasks. This talk will present three cases illustrating how end-to-end learning can operate in machine perception across the senses (Hearing, Vision) an​​d even for the entire perception-cognition-action cycle. The talk begins with speech recognition, showing how acoustic models can be learned end-to-end. This approach skips the ...
[לנוסח המלא]
CGGC Seminar: 3D Printing, User Basics
event speaker icon
בן עזר (מדעי המחשב, טכניון)
event date icon
יום ראשון, 13.11.2016, 13:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
This talk will present some basic concepts to help (aspiring) users of 3D printing. The talk will focus on the pipeline and use of the common FDM printers found in the CGGC lab.
[לנוסח המלא]
Fast Distributed Approximation for Max-Cut
event speaker icon
רנה לוי
event date icon
יום רביעי, 9.11.2016, 14:30
event location icon
טאוב 401
One of the fundamental tasks in many computational settings is finding the maximum cut. Surprisingly, it has been insufficiently studied in the classic distributed settings, where vertices communicate by synchronously sending messages to their neighbours according to the underlying graph. In the talk we will discuss the techniques we developed for approximating Max-Cut in the distributed setting, and present several approximation algorithms obtained using them.
[לנוסח המלא]
Theory Seminar: Simplex Transformations and the Multiway Cut Problem
event speaker icon
ברוך ויצמן (אונ' תל-אביב)
event date icon
יום רביעי, 9.11.2016, 12:30
event location icon
טאוב 201
We consider the Multiway Cut problem, a basic graph partitioning problem in which the goal is to find the minimum weight collection of edges disconnecting a given set of special vertices called terminals. Multiway Cut admits a well known simplex embedding relaxation, where rounding this embedding is equivalent to partitioning the simplex. Current best known solutions for the problem are comprised of a mix of several different ingredients, resulting in intricate algorithms. Moreover, the best ...
[לנוסח המלא]
ceClub: Breaking the ISA Barrier in Modern Computing
event speaker icon
אשיש ונקט (אונ' סאן דייגו)
event date icon
יום רביעי, 9.11.2016, 11:30
event location icon
טאוב 401
On-chip heterogeneity has been shown to be an effective mechanism to improve execution efficiency for general purpose and embedded computing. Existing heterogeneous designs either feature a single ISA or multiple ISAs that statically partition work. In this talk, PhD candidate from UC San Diego Ashish Venkat, will describe his research that enables programs to cross a heretofore forbidden boundary -- the ISA. In particular, Venkat will describe a compiler and runtime strategy for swift and ...
[לנוסח המלא]
High Throughput Connectomics
event speaker icon
Nir Shavit - COLLOQUIUM LECTURE
event date icon
יום שלישי, 8.11.2016, 14:30
event location icon
חדר 337-8 טאוב.
Pixel Club: ​​Diffusion Nets and Manifold Learning for High-Dimensional Data Analysis in the Presence of Outliers
event speaker icon
גל משנה (הנדסת חשמל, טכניון)
event date icon
יום שלישי, 8.11.2016, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
In the analysis of high-dimensional data, manifold learning methods are used to reduce the dimensionality of the data, while preserving local neighborhoods and revealing meaningful structures. Out-of-sample function extension techniques are then used for analyzing new points, yet these techniques are inherently limited for handling outliers. I present an analysis of these limitations and propose a new Multiscale Anomaly Detection approach that overcomes them. We have applied our approach to challenging remote sensing datasets, demonstrating ...
[לנוסח המלא]
A fast distributed (2+epsilon)-approximation for weighted vertex cover
event speaker icon
גרגורי שוורצמן
event date icon
יום רביעי, 2.11.2016, 14:30
event location icon
טאוב 701
The field of distributed graph algorithms deals with solving graph problems in a network (graph) of independent agents while minimizing the amount of communication between nodes. One such fundamental problem is weighted vertex cover. We show a fast distributed (2+epsilon)-approximation algorithm using the local ratio method. Due to a known lower bound, the number of communication rounds our algorithm achieves is tight for all constant values of epsilon. This is a joint work with Keren ...
[לנוסח המלא]
Theory Seminar: Compression of Interactive Communication
event speaker icon
ענת גנור (מכון ויצמן למדע)
event date icon
יום רביעי, 2.11.2016, 12:30
event location icon
טאוב 201
In a profoundly influential paper, Shannon introduced information theory and used it to study the one-way data transmission problem, initiating the study of data compression. In the last few decades, the study of efficient communication using tools from information theory has led to many interesting results. In this talk we will focus on the interactive analog of data compression, the interactive compression question: Can we compress interactive communication to its information content? The standard way ...
[לנוסח המלא]
Pixel Club: Light Invariant Video Imaging –Capabilities and Applications
event speaker icon
עמיר קולאמן (אונ' בן-גוריון)
event date icon
יום שלישי, 1.11.2016, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Controlled light conditions improve considerably the performance of most computer vision algorithms. Dynamic light conditions create varying spatial changes in color and intensity across the scene. These condition, caused by a moving shadow for example, force developers to create algorithms which are robust to such variations. We suggest a computational camera which produces images that are not influenced by environmental variations in light conditions. The key insight is that many years ago, similar difficulties were ...
[לנוסח המלא]
Declarative Data Cleaning via Preferred Repairs
event speaker icon
אסתר ליבשיץ
event date icon
יום שני, 31.10.2016, 12:30
event location icon
טאוב 301
An inconsistent database is a database that violates some of the integrity constraints assumed to hold. Managing data inconsistency has been one of the major challenges in the research and practice of database management. In the Big Data era, applications often collect and integrate information from a large collection of information sources, containing imprecise measures, natural-language text, and so on. Sometimes these data sources contain inconsistent and imprecise information or they disagree with one another, ...
[לנוסח המלא]
Pixel Club: From Pixels to Information - Recent Advances in Visual Search
event speaker icon
ברנרד ג'ירוד (אונ' ג'ירוד)
event date icon
יום חמישי, 27.10.2016, 15:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
With intelligent processing, cameras have great potential to link the real world and the virtual world. We review advances and opportunities for algorithms and applications that retrieve information from large databases using images as queries. For rate-constrained applications, remarkable improvements have been achieved over the course the MPEG-CDVS (Compact Descriptors for Visual Search) standardization. Beyond CDVS lie applications that query video databases with images, while others continually match video frames against image databases. Exploiting the ...
[לנוסח המלא]
Pixel Club: Anatomy of the SIFT Method
event speaker icon
איב ריי אוטרו (אונ' צפון קרוליינה)
event date icon
יום חמישי, 27.10.2016, 11:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
The SIFT method is the first efficient image comparison model. It was the first method to propose a practical scale-space sampling and to put in practice the theoretical scale invariance in scale-space theory. SIFT associates with each image a list of translation, rotation and scale invariant features used for comparison with other images. Despite countless applications and an avalanche of variants, not much has been done to really understand this central algorithm and to find ...
[לנוסח המלא]
יריד מידע ראשון במדעי המחשב
event date icon
יום רביעי, 26.10.2016, 12:30
event location icon
CS טאוב Lobby
הפקולטה למדעי המחשב מזמינה סטודנטים לכל התארים להשתתף ביריד מידע חדש אשר יציג את מגוון הפרוייקטים, הסמינרים והקורסים המתקדמים שיינתנו בשנה"ל תשע"ז. היריד יתקיים בצהרי יום ד', 26 באוקטובר 2016, בלובי של בניין טאוב למדעי המחשב. כולם מוזמנים!
[לנוסח המלא]
Theory Seminar: Explicit List-Decodable Codes with Optimal Rate for Computationally Bounded Channels
event speaker icon
ג'אד סילבאק (אונ' חיפה)
event date icon
יום רביעי, 26.10.2016, 12:30
event location icon
טאוב 201
Guruswami and Smith (Journal of the ACM, to appear) present a construction for an explicit codes for additive channels (channels that can induce a fixed error) that succeeds with high probability. Furthermore Guruswami and Smith gave an explicit construction against channels of size n^c if we provide the encoding and decoding with public shared randomness (Monte-Carlo construction). In this paper we solve several open problems posed by Guruswami and Smith: 1. We show a fully ...
[לנוסח המלא]
Pixel Club: ​Example-Based Image Synthesis via Randomized Patch-Matching
event speaker icon
רן יא (מדעי המחשב, טכניון)
event date icon
יום שלישי, 25.10.2016, 11:30
event location icon
טאוב 401
Image and texture synthesis is a challenging task that has long been drawing attention in the fields of image processing, graphics, and machine learning. This problem consists of modelling the desired type of images, either through training examples or via a parametric modeling, and then generating images that belong to the same statistical origin. This work addresses the image synthesis task, focusing on two specific families of images -- handwritten digits and face images. This ...
[לנוסח המלא]
Software Management of Hardware Memory Versioning
event speaker icon
תהילה מייזלס
event date icon
יום שלישי, 27.9.2016, 13:00
event location icon
טאוב 601
Task-based programming is an emerging paradigm that simplifies parallel programming. Task-based models, however, mostly focus on expressing concurrency and, for the most part, do not reason about data synchronization. The recently proposed O-structures memory versioning model is intended to fill this gap and dynamically track data dependencies. The model extends the concept of register renaming to the entire memory and thereby eliminates false- and anti-dependencies between tasks. However, it only provides low-level primitives, which makes ...
[לנוסח המלא]
Pixel Club: Gathering & Control of Unicycle A(ge)nts with Crude Bearing-Only Sensing Capabilities
event speaker icon
דוד דברת (TASP-Technion)
event date icon
יום שלישי, 27.9.2016, 11:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
We present a model in which extremely simple agents, able only to detect how many other agents are in a sector directly in front of them, without ever knowing actual bearings towards any other agent, come to an agreement about a common center of rotation and synchronize their orientation to form a regular polygon or a set of regular polygons, depending on a simple predefined parameter, the agent's field of view. Methods of controlling the ...
[לנוסח המלא]
Pixel Club: ​From the Optics Lab to Computer Vision
event speaker icon
Achuta Kadambi (MIT​)
event date icon
יום שלישי, 20.9.2016, 12:00
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Computer science and optics are usually studied separately -- separate people, in separate departments, meet at separate conferences. This is changing. The exciting promise of technologies like virtual reality and self-driving cars demand solutions that draw from the best aspects of computer vision, computer graphics, and optics. Previously, it has proved difficult to bridge these communities. For instance, the laboratory setups in optics are often designed to image millimeter-size scenes in a vibration-free darkroom. In ...
[לנוסח המלא]
Low-Complexity Collision Resistant Hashing
event speaker icon
נעמה הרמתי
event date icon
יום חמישי, 8.9.2016, 14:30
event location icon
טאוב 601
A collision resistant hash function is a function that compresses the input, yet it is computationally infeasible to find two inputs on which it has the same output. Collision resistant hash functions are widely used for making digital signatures efficient and have many other applications in cryptography. The talk will discuss the question of minimizing the complexity of collision resistant hash functions, where complexity is measured in terms of algebraic degree, circuit size, or locality. ...
[לנוסח המלא]
ceClub: Progress in Automatic GPU Compilation and Why you Want to Run MPI on Your GPU
event speaker icon
טורסטן הופלר (ETH)
event date icon
יום שלישי, 6.9.2016, 15:00
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Auto-parallelization of programs that have not been developed with parallelism in mind is one of the holy grails in computer science. It requires understanding the source code's data flow to automatically distribute the data, parallelize the computations, and infer synchronizations where necessary. We will discuss our new LLVM-based research compiler Polly-ACC that enables automatic compilation to accelerator devices such as GPUs. Unfortunately, its applicability is limited to codes for which the iteration space and all ...
[לנוסח המלא]
Special Guest Lecture: Efficient large scale parameter estimation with application to Full Waveform Inversion.
event speaker icon
ערן טרייסטר (אונ' קולומביה הבריטית, קנדה)
event date icon
יום שני, 5.9.2016, 12:30
event location icon
טאוב 401
Parameter estimation is performed by fitting data measurements to a model using Bayesian statistics, assuming additional prior information. The estimation requires a numerical solution of a large scale optimization problem, whose objective traditionally includes data fidelity and regularization terms. In this talk we will concentrate on parameter estimation of physical models, obtained by solving optimization problems that are constrained by partial differential equations (PDEs). We will focus on the 3D Full Waveform Inversion, which arises ...
[לנוסח המלא]
Pixel Club: Optimal Placement of Multiple Cameras in Cluttered, Dynamic Scenes
event speaker icon
מריה האנל (אונ' ביירות, גרמניה)
event date icon
יום שני, 5.9.2016, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Motion capture is the process of recording the movement of objects or people by sensors and transforming it into computer readable format. To achieve best results, the environment needs to be optimally covered by the sensors. I will propose my latest advances in optimally placing and orienting multiple cameras for motion capture systems in risky industrial settings. Sample objectives for the optimization are to reconstruct an object most accurately, to maximally cover important regions of ...
[לנוסח המלא]
בית-ספר קיץ החמישי בנושא סייבר אבטחת מחשוב ומידע
event date icon
יום ראשון, 4.9.2016, 09:00
event location icon
אולם 1003, בניין מאייר, הפקולטה להנדסת חשמל
בימים א'-ה', 4-8 בספטמבר 2016 יערוך המרכז להנדסת מחשבים בטכניון את כנס הקיץ השנתי החמישי שלו בנושא סייבר ואבטחת מחשוב ומידע. ראשי הכנס, פרופ' אלי ביהםופרופ' אור דונקלמן, וכן הדוברים בכנס, הם ממובילי התחומים בארץ ובעולם. מרבית ההרצאות תינתנה באנגלית. ההשתתפות בכנס חופשית אך מחייבת רישום מוקדם – שימו לב שההרשמה הינה לכל יום בנפרד. מארגני הכנס: אלי ביהם (מדעי המחשב, טכניון) אור דונקלמן (מדעי המחשב, אוניברסיטת חיפה) דוברים ראשיים: George Danezis, University College London ...
[לנוסח המלא]
Linear Discriminant Analysis Model Monitoring in Distributed Systems.
event speaker icon
רן ברנשטיין
event date icon
יום ראשון, 28.8.2016, 11:00
event location icon
טאוב 601
Real systems for mining dynamic data streams should be able to detect changes that affect the accuracy of their model. A distributed setting is one of the main challenges in this kind of change detection. In a distributed setting, model training requires centralizing the data from all nodes (hereafter, synchronization), which is very costly in terms of communication. In order to minimize the communication, a monitoring algorithm should be executed locally at each node, while ...
[לנוסח המלא]
Extrapolation and Synthesis for Relaxed Memory Models
event speaker icon
יורי משמן
event date icon
יום רביעי, 17.8.2016, 14:00
event location icon
טאוב 601
In modern architectures memory operations may be reordered and executed non-atomically. Consistency is guarantied for single thread execution, but not across threads. Both software and hardware Relaxed Memory Models are defined to capture the possible execution behaviors. Each Relaxed Memory Model poses its own challenges to successful program verification, and, in cases where verification fails, poses its own challenges to automatic synthesis of program corrections. Our work covers Intel's x-86 TSO and PSO hardware buffered ...
[לנוסח המלא]
Automatic Generation of Language-Independent Features for Cross-Langauge Classification
event speaker icon
שרי דואק
event date icon
יום רביעי, 17.8.2016, 12:00
event location icon
טאוב 601
Text categorization is a prominent task of labeling documents with predefined categories. The main approach to performing text categorization is learning from labeled examples. For many tasks, it may be difficult to find examples in one language but easy in others. The problem of learning from examples in one or more languages and classify (categorize) in another is called Cross-language learning. Existing approaches for solving this problem relies on translation of the texts from all ...
[לנוסח המלא]
Differential Program Analysis
event speaker icon
נמרוד סבאן פרטוש
event date icon
יום שלישי, 2.8.2016, 15:00
event location icon
טאוב 601
Studying the evolution of software is an emerging topic, receiving much attention and focus as every line of code written today is more likely to belong to an existing piece of software. Our work is an effort at modeling and quantifying the semantic impact of these changes, over the scope of a single procedure, a whole program as well as compiled binaries.
[לנוסח המלא]
CGGC Seminar: Metric Transformation through Local Linear Maps: Application to Frame Field Generation
event speaker icon
אלכס שבליקוב
event date icon
יום שלישי, 2.8.2016, 14:00
event location icon
טאוב 401
Generic frame fields are important for many applications in computer graphics such as texture mapping and quadrangulation. The vast majority of existing approaches rely on computing an intermediate metric induced by an ambient Euclidean space, thus increasing the complexity and restricting the space of possible metrics. Other, intrinsic approaches, rely on a rather complicated formulation and require numeric approximations. We propose an intrinsic approach that obviates the necessity of an embedding and has a simple ...
[לנוסח המלא]
Multi-Robot Decentralized Belief Space Planning in Unknown Environments via Efficient Re-Evaluation of Impacted Paths
event speaker icon
טל רגב
event date icon
יום רביעי, 20.7.2016, 13:00
event location icon
טאוב 601
Collaboration between multiple robots (or agents) pursuing common or individual tasks is important in numerous problem domains, including cooperative autonomous navigation, mapping and 3D reconstruction, tracking and active sensing. A key required capability is to autonomously determine robot actions while taking into account different sources of uncertainty. The corresponding approaches, known as belief space planning, represent the states of interest (e.g. robot or camera pose, objects) via a probability distribution function and reason how the ...
[לנוסח המלא]
Efficient Information Transfer Leveraging Wirless D2D Communication
event speaker icon
דוד סאינז
event date icon
יום רביעי, 20.7.2016, 11:00
event location icon
טאוב 601
Mobile phones and tablets are becoming the main devices to access the Internet, and wireless proximity technology has improved significantly over the last years. This creates the right environment for mobile applications that rely on proximity and close peers to improve their performance. One possible use of this kind of applications applies to Opportunistic Networking, leveraging social contacts to efficiently transfer and store information. This generates the need of understanding the patterns and social characteristics ...
[לנוסח המלא]
ceClub: Timed Consistent Network Updates in Software Defined Networks
event speaker icon
Efi Saat (EE, Technion)
event date icon
יום רביעי, 13.7.2016, 11:30
event location icon
חדר 861, בניין מאייר, הפקולטה להנדסת חשמל
Software Defined Networks (SDN) is a new approach to computer networking that provides simple network management by the abstraction of higher level functionality. The SDN framework enables flexible and frequent updates, and it introduces challenges in terms of consistency and scalability. This seminar considers the time-based approach to updates in SDN networks, which has recently been proposed by Mizrahi and Moses. We demonstrate a time-based approach that provides lower overhead, shorter time duration, and improved ...
[לנוסח המלא]
Coding Theory: Consecutive Switch Codes
event speaker icon
שרית בוזגלו (אונ' קליפורניה(
event date icon
יום ראשון, 3.7.2016, 14:30
event location icon
טאוב 601
Switch codes are a coding scheme which enables one to encode the input packets into the banks such that the packet requests by the output ports can be answered efficiently. Mathematically speaking, a switch code is required to satisfy the following property. Assume that there are n​ input ports, k​ output ports, and m​ banks. In each generation the n​ packets from the input ports are encoded into m​ packets which are stored in the ...
[לנוסח המלא]
Flexible Resource Allocation for Network Problems
event speaker icon
אריאלה וולושין
event date icon
יום חמישי, 30.6.2016, 13:00
event location icon
טאוב 601
Resource allocation problems arise in a wide range of applications. In many of these classic problems, we are given a set of requests competing for resources, where each request utilizes predefined amounts of the resources. We seek a feasible allocation of the resources, subject to availability constraints, so as to maximize (or, minimize) certain objective function. However, in recent applications, such as flex-grid all-optical networks, cloud computing, and cellular networks, resource requests may be partially ...
[לנוסח המלא]
Mutual enrichment in aggregated ranked lists with applications to gene expression regulation
event speaker icon
דליה אלפרוביץ'
event date icon
יום חמישי, 30.6.2016, 10:00
event location icon
טאוב 601
It is often the case in biological measurement data that results are given as a ranked list of quantities, for example differential expression (DE) of genes as inferred from microarrays or RNA-seq. Recent years brought considerable progress in statistical tools for enrichment analysis in ranked lists. Several tools are now available that allow users to break the fixed set paradigm in assessing statistical enrichment of sets of genes. Continuing with the example, these tools identify ...
[לנוסח המלא]
The Infinite Odometry
event speaker icon
אלכסנדר קריימר
event date icon
יום רביעי, 29.6.2016, 12:00
event location icon
טאוב 601
In this work we revisit the problem of visual odometry. Visual odometry is the process of estimating the motion of the camera by examining the changes that the motion induces on the images made by it. The approach we propose exploits a scene structure typical for that seen by a moving car and is suitable for use in either the stereo or the monocular setting. We recover the rotation and the translation separately, thus dealing ...
[לנוסח המלא]
Pixel Club: Cinema 3D: Large Scale Automultiscopic Display
event speaker icon
נטלי אפרת (מכון ויצמן למדע)
event date icon
יום שלישי, 28.6.2016, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
While 3D movies are gaining popularity, viewers in a 3D cinema still need to wear cumbersome glasses in order to enjoy them. Automultiscopic displays provide a better alternative to the display of 3D content, as they present multiple angular images of the same scene without the need for special eyewear. However, automultiscopic displays cannot be directly implemented in a wide cinema setting due to variants of two main problems: (i) The range of angles at ...
[לנוסח המלא]
Coding Theory: d-imbalance WOM Codes for Reduced Inter-Cell Interference in Multi-Level NVMs
event speaker icon
אביתר חמו (טכניון)
event date icon
יום ראשון, 26.6.2016, 14:30
event location icon
טאוב 601
In recent years, due to the spread of multi-level nonvolatile memories (NVM), q-ary write-once memories (WOM) codes have been extensively studied. By using WOM codes, it is possible to rewrite NVMs t times before erasing the cells. The use of WOM codes enables to improve the performance of the storage device, however, it may also increase errors caused by inter-cell interference (ICI). In this talk I will present WOM codes that restrict the imbalance between ...
[לנוסח המלא]
CSpecial Talk: An Exponential Separation Between Randomized and Deterministic Complexity in the LOCAL Model
event speaker icon
ייג'ון צ'אנג (אונ' מישיגן)
event date icon
יום חמישי, 23.6.2016, 10:30
event location icon
טאוב 301
Over the past 30 years numerous algorithms have been designed for symmetry breaking problems in the LOCAL model, such as maximal matching, MIS, vertex coloring, and edge-coloring. For most problems the best randomized algorithm is at least exponentially faster than the best deterministic algorithm. In this paper we prove that these exponential gaps are necessary and establish connections between the deterministic and randomized complexities in the LOCAL model. Each result has a very compelling take-away ...
[לנוסח המלא]
Optimistic Methods Meets Memory Management
event speaker icon
נחשון כהן
event date icon
יום רביעי, 22.6.2016, 14:30
event location icon
טאוב 601
With the rapid development of parallel platforms, optimistic methods become increasingly common. However, existing memory management schemes for such algorithms imposes high performance overhead and are considered notoriously complex. In this talk, I will describe how memory management can benefit from optimistic methods. I will start by presenting a memory reclamation scheme for lock-free data structures, which operates by turning all reads into optimistic ones. This resulting lock-free scheme is easy to incorporate, imposes low ...
[לנוסח המלא]
Towards practical publicly verifiable zero-knowledge Computational Integrity
event speaker icon
מיכאל ריאבצב
event date icon
יום רביעי, 22.6.2016, 14:30
event location icon
טאוב 401
We are interested in public-setup Zero-Knowledge proof systems for natural languages in NP with poly-logarithmic Verifier and quasi-linear Prover. Systems having such properties can be compiled efficiently to succinct publicly verifiable arguments, that could in practice effect our lives in many aspects. Although the theory behind such systems has been studied for about 3 decades, practical solutions do not yet achieve desired requirements. In a "Theory to Practice and back again" research we have made ...
[לנוסח המלא]
Theory Seminar: A Principled Way of Designing Efficient Distributed Protocols
event speaker icon
יורם מוסס (טכניון)
event date icon
יום רביעי, 22.6.2016, 12:30
event location icon
טאוב 201
Decisions taken by agents in distributed and multi-agent systems depend on their local information. A novel formulation of the connection between knowledge and action in such systems allows new insights into the design of correct and efficient protocols. This talk will discuss and illustrate how a theory of what agents know about the world and about the knowledge of others can help in the design and analysis of distributed protocols for well-known problems. The talk ...
[לנוסח המלא]
ceClub: Refinement Reloaded, or – Deriving Divide-and-Conquer Dynamic Programming Algorithms by Transformation
event speaker icon
שחר יצחקי (MITׂ)
event date icon
יום רביעי, 22.6.2016, 11:30
event location icon
טאוב 4
We introduce a framework allowing domain experts to manipulate computational terms in the interest of deriving better, more efficient implementations. It employs deductive reasoning to generate provably correct efficient implementations from a very high-level specification of an algorithm, and inductive constraint-based synthesis to improve automation. Semantic information is encoded into program terms through the use of refinement types. In this paper, we develop the technique in the context of a system called Bellmania that uses ...
[לנוסח המלא]
Sidecore Managment for Virtualized Environments
event speaker icon
אייל מושקוביץ
event date icon
יום רביעי, 22.6.2016, 10:00
event location icon
טאוב 601
Virtualization is the ability of modern computer systems to run guest Virtual Machines (VMs). The VM host exposes various I/O devices to its guests such as the Network Interface Controller (NIC), hard disk, etc. Para-virtual I/O is a common technique for presenting the guest VM with an interface similar, but not identical, to the underlying hardware. Such interfaces are called virtual I/O devices, and their behavior is emulated by the VM host. This emulation must ...
[לנוסח המלא]
יריד פרוייקטים שני במדעי המחשב
event date icon
יום שלישי, 21.6.2016, 12:30
event location icon
לובי בניין טאוב למדעי המחשב
תלמידי הקורס "פרוייקט בתכנות מתקדם" במדעי המחשב מזמינים אתכם לבקר ביריד ארדואינו אשר יתקיים ביום ג', 21 ביוני 2016, בין השעות 14:30-12:30 בלובי בניין טאוב למדעי המחשב, במסגרת היריד יוצגו עבודות אנדרואיד, ארדואינו חדשים וכן פרוייקטים שנתיים. כולם מוזמנים! להלן הפרוייקטים המציגים: Arduino Bothhoven: Songs are stored on the cloud, streamed to the robotic pianist, and help you enjoy your time. Cipher: Cipher is a linear arcade game which pushes the limits of Arduino in ...
[לנוסח המלא]
Pixel Club: Detecting Repeating Objects using Patch Correlation Analysis
event speaker icon
ענבר הוברמן (מכון טכנולוגי פלורידה)
event date icon
יום שלישי, 21.6.2016, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
In this paper we describe a new method for detecting and counting a repeating object in an image. While the method relies on a fairly sophisticated deformable part model, unlike existing techniques it estimates the model parameters in an unsupervised fashion thus alleviating the need for a user-annotated training data and avoiding the associated specificity. This automatic fitting process is carried out by exploiting the recurrence of small image patches associated with the repeating object ...
[לנוסח המלא]
Coding Theory: On the Capacity of Non-Binary Write-Once Memory
event speaker icon
מיכל הורוביץ (מדעי המחשב, טכניון)
event date icon
יום ראשון, 19.6.2016, 14:30
event location icon
טאוב 601
Write-once memory (WOM) is a storage device consisting of q-ary cells that can only increase their values. A WOM code is a scheme to write messages to the memory without decreasing the cells' levels. There are four models of WOM which depend on whether the encoder and decoder are informed or uninformed with the previous state of the memory. The WOM capacity of the four models was extensively studied by Wolf et al. for the ...
[לנוסח המלא]
Understanding Word Embeddings
event speaker icon
Omer Levy - CS-Lecture -
event date icon
יום חמישי, 16.6.2016, 15:00
event location icon
חדר 337-8 טאוב.
Hardening Cassandra Against Byzantine Failures
event speaker icon
רוני ליכר
event date icon
יום רביעי, 15.6.2016, 13:30
event location icon
טאוב 701
Cassandra is a highly popular distributed data store. It supports flexible consistency semantics over a wide-column data access model. In our work, we propose protocols for hardening Cassandra against Byzantine failures, in which some nodes in the system may act arbitrarily, including in a malicious manner. We examine several alternative design choices and compare between them both qualitatively and empirically by using the Yahoo! Cloud Serving Benchmark (YCSB) performance benchmark. We report on our findings ...
[לנוסח המלא]
CGGC Seminar: Advection-based Function Matching on Surfaces
event speaker icon
עומרי איזנקוט (מדעי המחשב, טכניון
event date icon
יום רביעי, 15.6.2016, 13:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
A tangent vector field on a surface is the generator of a smooth family of maps from the surface to itself, known as the flow. Given a scalar function on the surface, it can be transported, or advected, by composing it with a vector field's flow. Such transport is exhibited by many physical phenomena, e.g., in fluid dynamics. In this paper, we are interested in the inverse problem: given source and target functions, compute a ...
[לנוסח המלא]
Theory Seminar: Contention Resolution Schemes: Offline and Online
event speaker icon
מורן פלדמן (האונ' הפתוחה)
event date icon
יום רביעי, 15.6.2016, 12:30
event location icon
טאוב 201
Contention resolution schemes are an algorithmic technique originally devised in the context of submodular functions maximization. Recent works, however, have extended contention resolution schemes into a robust tool with many applications in various fields such as stochastic optimization, auctions and prophet inequalities. In this talk I will present the concept of contention resolution schemes, and will give a few examples demonstrating some of the power of this technique. The talk is based on the papers: ...
[לנוסח המלא]
גדעון בלוק (הנדסת חשמל, טכניון)
event speaker icon
חדר 861, בניין מאייר, הפקולטה להנדסת חשמל
event date icon
יום רביעי, 15.6.2016, 11:30
event location icon
EE Meyer Building 861
Research on the application of game theory in the context of networking has focused on non-cooperative games, where the selfish agents cannot reach a binding agreement on the way they would share the infrastructure. Many approaches have been proposed for mitigating the typically inefficient operating points. However, in a growing number of networking scenarios selfish agents are able to communicate and reach an agreement. Hence, the degradation of performance should be considered at an operating ...
[לנוסח המלא]
הרצאה טכנית מטעם גוגל
event speaker icon
גלעד ברקאי (גוגל)
event date icon
יום שלישי, 14.6.2016, 16:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
גלעד ברקאי מצוות AUTOCOMPLETE של גוגל ירצה בנושא - על השימוש היומיומי שלו, על האתגרים ועל התצורות השונות שלו ממבטו של המתכנית. . אנא הירשמו מראש
[לנוסח המלא]
A new dimension of media
event speaker icon
Alexander Bronstein - COLLOQUIUM LECTURE
event date icon
יום שלישי, 14.6.2016, 14:30
event location icon
חדר 337-8 טאוב.
ceClub: The Technion Computer Engineering Club
event speaker icon
שגיא שחר (הנדסת חשמל, טכניון)
event date icon
יום שלישי, 14.6.2016, 14:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Modern discrete GPUs have been the processors of choice primarily for compute-intensive applications, but using them in large-scale data processing is extremely challenging. Unfortunately, they do not provide important I/O abstractions that have long been established in CPU context, like memory mapped files, which shield programmers from the complexity of buffer and I/O device management. However, implementing these abstractions on GPUs poses a problem: the limited GPU virtual memory hardware does not support page faults ...
[לנוסח המלא]
Pixel Club: Data to Knowledge: Understanding Dynamic Medical Images
event speaker icon
דבאסיס מיטרה (מכון טכנולוגי פלורידה)
event date icon
יום שלישי, 14.6.2016, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
​Computer Science (CS) is the new language of science as Mathematics was until the Twentieth Century. CS generalizes mathematics toward being more versatile. In this talk we will focus on some problems in bio-medical imaging science and discuss and how we try to address them.​ ​Tomography is the technology of combining data from multiple views (say, 2D camera snapshots) to create a comprehensive image (say, in 3D). In medicine tomography is used to gather knowledge ...
[לנוסח המלא]
CGGC Seminar:Incorporating Sharp Features in the General Solid Sweep Framework
event speaker icon
ג'נש מששר (מדעי המחשב, טכניון)
event date icon
יום שני, 13.6.2016, 14:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
This work extends a recently proposed robust computational framework for constructing the boundary representation (B-rep) of the volume swept by a given smooth solid moving along a one parameter family h of rigid motions. Our extension allows the input solid to have sharp features, and thus it is a significant and useful generalization of that work. This naturally requires a precise description of the geometry of the surface generated by the sweep of a sharp ...
[לנוסח המלא]
CGGC Seminar: A B-spline based Framework for Volumetric Object Modeling
event speaker icon
פאדי מצארווי (מדעי המחשב, טכניון)
event date icon
יום שני, 13.6.2016, 14:00
event location icon
חדר 337, בניין טאוב למדעי המחשב
This work extends a recently proposed robust computational framework for constructing the boundary representation (B-rep) of the volume swept by a given smooth solid moving along a one parameter family h of rigid motions. Our extension allows the input solid to have sharp features, and thus it is a significant and useful generalization of that work. This naturally requires a precise description of the geometry of the surface generated by the sweep of a sharp ...
[לנוסח המלא]
ceClub: From Algorithms to Architectures – Why Branch Predictors Are Not Great for Irregular Algorithms
event speaker icon
עודד גרין (ג'ורג'יה)
event date icon
יום חמישי, 9.6.2016, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Irregular algorithms, such as sorting and graph algorithms, are prevalent in computer science applications. Until recently, it was assumed that the irregular algorithms also greatly benefited from the the Out-of-Order Execution engines found in most modern day CPU processors. Out-of-Order execution, using branch predictors, speculates which branch in the execution-flow should be taken and starts that execution prematurely - allowing for improved performance. This approach typically works great for regular algorithms such as matrix multiplication ...
[לנוסח המלא]
CSta קפה: שיחה על כוס קפה ופיצה
event speaker icon
מיכאל אלעד (מדעי המחשב, טכניון)
event date icon
יום רביעי, 8.6.2016, 13:00
event location icon
חדר 337, בניין טאוב למדעי המחשב
עיבוד תמונות, מודלים של מידע ויזואלי ו.. למה כל כך קשה לנו בקורס אנליזה נומרית ?
[לנוסח המלא]
Theory Seminar: Proof Complexity Lower Bounds from Algebraic Circuit Complexity
event speaker icon
אמיר שפילקה (אונ' תל-אביב)
event date icon
יום רביעי, 8.6.2016, 12:30
event location icon
טאוב 201
Proof complexity studies the complexity of mathematical proofs, with the aim of exhibiting (true) statements whose proofs are always necessarily long. One well-known proof system is Hilbert’s Nullstellensatz, which shows that if the family F={f1,…,fm} of n-variate polynomials have no common solution to the system f1=…=fm=0, then there is a proof of this fact of the following form: there are polynomials G={g1,…,gm} such that f1.g1+…+fm.gm=1 is an identity. From the perspective of computer science, it ...
[לנוסח המלא]
CGGC Seminar: Bounded Distortion Harmonic Shape Interpolation
event speaker icon
אדוארד שיין (אונ' ראטגרס)
event date icon
יום שלישי, 7.6.2016, 14:30
event location icon
טאוב 701
Planar shape interpolation is a classic problem in computer graphics. We present a novel shape interpolation method that blends C∞ planar harmonic mappings represented in closed-form. The intermediate mappings in the blending are guaranteed to be locally injective C∞ harmonic mappings, with conformal and isometric distortion bounded by that of the input mappings. The key to the success of our method is the fact that the blended differentials of our interpolated mapping have a simple ...
[לנוסח המלא]
Pixel Club: Three Dimensional Structure Determination of macro-Molecules in Cryo-electron Microscopy
event speaker icon
גבי פרגייר (אונ' תל-אביב)
event date icon
יום שלישי, 7.6.2016, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
One of the primary challenges in single particle reconstruction in cryo-electron microscopy is to find the three-dimensional structure of a molecule using its two-dimensional noisy projection-images. We suggest a method to estimate the unknown imaging orientations of all projection-images that is independent of their distribution. Since the relative orientation between each pair of images may only be estimated up to a two-way handedness ambiguity, we suggest an efficient procedure to remove these ambiguities by casting ...
[לנוסח המלא]
CGGC Seminar: 2D Simulation and Mapping using the Cauchy-Green Complex Barycentric Coordinates
event speaker icon
אביב סגל (מדעי המחשב, טכניון)
event date icon
יום ראשון, 5.6.2016, 13:30
event location icon
טאוב 701
Conformal maps are especially useful in geometry processing for computing shape preserving deformations, image warping and manipulating harmonic functions. The Cauchy-Green coordinates are complex-valued barycentric coordinates, which can be used to parameterize a space of conformal maps from a planar domain bounded by a simple polygon. In this work, we use the Cauchy-Green coordinates to simulate 2D potential flow with interactive control, and to construct conformal maps between planar domains. The Hele-Shaw flow describes the ...
[לנוסח המלא]
2D Simulation and Mapping using the Cauchy-Green Complex Barycentric Coordinates
event speaker icon
אביב סגל
event date icon
יום ראשון, 5.6.2016, 13:30
event location icon
טאוב 401
Conformal maps are especially useful in geometry processing for computing shape preserving deformations, image warping and manipulating harmonic functions. The Cauchy-Green coordinates are complex-valued barycentric coordinates, which can be used to parameterize a space of conformal maps from a planar domain bounded by a simple polygon. In this work, we use the Cauchy-Green coordinates to simulate 2D potential flow with interactive control, and to construct conformal maps between planar domains. The Hele-Shaw flow describes the ...
[לנוסח המלא]
On Routing schemes that are robust to changes in bandwidth demand
event speaker icon
גל כהן
event date icon
יום ראשון, 5.6.2016, 10:00
event location icon
טאוב 601
A major challenge in optimizing network utilization is how to reduce bottleneck links, while taking into account that bandwidth demands may be increased over time. Traffic engineering algorithms attempt to address this challenge by employing smart routing, however current solutions optimization criterion is biased towards a non-realistic setting in which demands are increased uniformly. In this talk, I will present a novel traffic engineering algorithm which is the first to consider the more realistic assumption, ...
[לנוסח המלא]
Theory Seminar: Two Applications of Communication Complexity in Distributed Computing
event speaker icon
רותם אושמן (אונ' תל-אביב)
event date icon
יום רביעי, 1.6.2016, 12:30
event location icon
טאוב 201
In distributed systems, communication between the participants in the computation is usually the most expensive part of the computation. Theoretical models of distributed systems usually reflect this by neglecting the cost of local computation, and charging only for messages sent between the participants; in particular, we usually assume that the computation proceeds in rounds, and in each round each participant can send only a limited number of bits. We are interested in characterizing the number ...
[לנוסח המלא]
Intel@Technion Lectures: Game Changing Design
event speaker icon
שלומית וייס (אינטל)
event date icon
יום רביעי, 1.6.2016, 11:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
produce design developed in through the years in many fronts and requirements. Today SOC products require aggressive targets in all fronts: frequency, performance, low cost, low power…… To address those new and growing requirement there needs to be a basic change in the design concept and solutions. Working in parallel convergence, parallel fronts and analyze tradeoffs together is the approach used to being the best SOC products to the market. This talk is describing the ...
[לנוסח המלא]
היום! - יום מחקר 2016 בפקולטה למדעי המחשב
event date icon
יום שלישי, 31.5.2016, 15:30
event location icon
בניין טאוב למדעי המחשב
יום המחקר השישי לתארים מתקדמים בפקולטה למדעי המחשב יתקיים ביום שלישי, 31 במאי 2016, בין השעות 14:30-16:30, בלובי של בניין טאוב למדעי המחשב. אירועי יום מחקר הם הזדמנות עבור משתלמי הפקולטה להציג את מחקריהם באמצעות פוסטרים ומצגות בפני אנשי סגל ומנהלים בכירים בטכניון ותלמידים לכל התארים בפקולטה, כמו גם בפני נציגים רמי-דרג מחברות מובילות בתעשייה העילית בארץ ובעולם. המחקרים המשתתפים ביום המחקר יהיו בנושאים שונים: תיאוריה של מדעי המחשב, מערכות, בינה מלאכותית, מערכות נבונות וחישוב ...
[לנוסח המלא]
Pixel Club: Joint Embeddings of Shapes and Images via CNN Image Purification
event speaker icon
יאנגיאן לי (אונ' תל_אביב)
event date icon
יום שלישי, 31.5.2016, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Both 3D models and 2D images contain a wealth of information about everyday objects in our environment. However, it is difficult to semantically link together these two media forms, even when they feature identical or very similar objects. Real-world images are naturally variable in a number of characteristics such as viewpoint, lighting, background elements, and occlusions. This variability makes it challenging to match images with each other, or with 3D shapes. We propose a joint ...
[לנוסח המלא]
CGGC Seminar: Volumetric T-spline Parameterization for Isogeometric Analysis
event speaker icon
יונג'י ג'סיקה זאנג (אונ' קרנגי מלון)
event date icon
יום ראשון, 29.5.2016, 15:00
event location icon
טאוב 401
As a new advancement of traditional finite element method, isogeometric analysis (IGA) was proposed to integrate design and analysis. In this talk, I will present our latest research on volumetric T-spline parameterization for IGA applications. For arbitrary-topology objects, we first build a polycube whose topology is equivalent to the input geometry and it serves as the parametric domain for the following trivariate T-spline construction. Boolean operations, geometry skeleton and centroidal Voronoi tessellation based surface segmentation ...
[לנוסח המלא]
Pixel Club: A Focus on Selection for Fixation
event speaker icon
ג'ון טסוטסוס (אונ' יורק, קנדה)
event date icon
יום חמישי, 26.5.2016, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
A functional, computational and mechanistic, explanation of the relationship among visual attention, interpretation of visual stimuli, and eye movements, and how these produce visual behavior, seems elusive. Here, we focus on one component, how selection is accomplished for the next fixation. The popularity of saliency map models drives the inference that this is solved; but we argue otherwise. We provide arguments that a cluster of complementary, conspicuity representations drive selection, modulated by task goals and ...
[לנוסח המלא]
Theory Seminar: Making Generalization Robust
event speaker icon
קתרינה ליגט (האונ' העברית בירושלים)
event date icon
יום רביעי, 25.5.2016, 12:30
event location icon
טאוב 201
Generalization, informally, is the ability of a learner to reflect not just its training data, but properties of the underlying distribution from which the data are drawn. When paired with empirical risk minimization, it is a fundamental goal of learning. Typically, we say that a learning algorithm generalizes if, given access to some training set drawn i.i.d. from an underlying data distribution, it returns a hypothesis whose empirical error (on the training data) is close ...
[לנוסח המלא]
ceClub: Imperfection is Beautiful and Efficient: Approximate Computing from Language to Hardware, and Beyond
event speaker icon
לואיס סזה (אונ' וושינגטון)
event date icon
יום רביעי, 25.5.2016, 11:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
A significant proportion of computer system resources are devoted to applications that can inherently tolerate inaccuracies in their data, execution and communication. Hence, “approximate computing” is promising for performance and energy efficiency. However, taking advantage of approximate computing needs: language support to specify where and how to apply approximation; analysis and mechanisms that ensure good output quality; and hardware/system support that take advantage of approximation. In this talk I will describe our effort on co-designing ...
[לנוסח המלא]
הכנס השנתי הבינלאומי הששי להנדסת מחשבים בטכניון בנושא תלת-ממד, גרפיקה ממוחשבת, גיאומטריה וכל מה שביניהם
event date icon
יום שלישי, 24.5.2016, 09:00
event location icon
אולם צ'רציל, הטכניון, חיפה
הכנס השנתי הבינלאומי הששי להנדסת מחשבים בטכניון בנושא תלת-ממד, גרפיקה ממוחשבת, גיאומטריה וכל מה שביניהם, יתקיים בימים שלישי ורביעי, 24-25 במאי, 2016 בטכניון. בין דוברי הכנס ישתתפו: Marc Alexa, TU Berlin, Germany Alex M. Bronstein, Technion, Israel William T. Freeman, MIT, USA Thomas Funkhouser, Princeton University, USA Kristen Grauman, University of Texas at Austin, USA Eitan Grinspun, Columbia University, USA Michael Kazhdan, Johns Hopkins University, USA Ira Kemelmacher-Shlizerman, University of Washington, USA Yaron Lipman, Weizmann ...
[לנוסח המלא]
DNA-based Archival Storage System
event speaker icon
Luis Ceze - TCE guest
event date icon
יום שני, 23.5.2016, 14:30
event location icon
חדר Class 7 טאוב.
Compression and generalization
event speaker icon
שי מורן
event date icon
יום חמישי, 19.5.2016, 12:00
event location icon
טאוב 601
[Note the change of time and date] Generalization and simplification are deeply related to each other: simpler explanations often reveal principles that apply more generally, and predictive scientific theories often boil down to a few simple (and deep) laws. This talk is about a manifestation of the "generalization--simplification" link within computational learning theory. We will consider the following formal frameworks for `generalization' and `simplification'. (i) Probably Approximately Correct (PAC) learning -- a statistical framework that ...
[לנוסח המלא]
Some limitations and possibilities toward data-driven optimization
event speaker icon
Yaron Singer - COLLOQUIUM LECTURE - Note unusual day
event date icon
יום רביעי, 18.5.2016, 14:30
event location icon
חדר 337-8 טאוב.
Theory Seminar: Improved *Deterministic* Algorithms for Partially Dynamic Shortest Paths
event speaker icon
שירי צ'צ'יק (אונ' תל-אביב)
event date icon
יום רביעי, 18.5.2016, 12:30
event location icon
טאוב 201
Computing shortest paths is one of the fundamental problems of graph algorithms. The goal of *dynamic* single source shortest paths (SSSP) is to maintain a shortest path tree from a fixed source s as the edges of the graph change over time. The most general case is the fully dynamic one, where each adversarial update inserts or deletes an arbitrary edge. The trivial algorithm is to recompute SSSP after every update in O(m) time. For ...
[לנוסח המלא]
ceClub: A Brief History of Time in Software Defined Networks
event speaker icon
טל מזרחי (טכניון)
event date icon
יום רביעי, 18.5.2016, 11:30
event location icon
חדר 861, בניין מאייר, הפקולטה להנדסת חשמל
The emerging trend of Software Defined Networks (SDN) has been enthusiastically explored by researchers over the last decade, as it provides the flexibility and agility to update networks dynamically, in a way that efficiently utilizes the network resources. In this talk we explore the use of accurate time and synchronized clocks as a tool for coordinating network updates in SDNs. We discuss key use cases in which using time introduces a significant advantage compared to ...
[לנוסח המלא]
Pixel Club: Analysis of High-throughput Microscopy Videos: Catching Up with Cell Dynamics
event speaker icon
אסף ארבל (אונ' בן-גוריון בנגב)
event date icon
יום שני, 16.5.2016, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
We present a novel framework for high-throughput live cell lineage analysis in time-lapse microscopy images. Our algorithm ties together two fundamental aspects of live cell lineage construction, namely cell segmentation and tracking, via a Bayesian inference of dynamic models. The proposed contribution exploits the Kalman inference problem by estimating the time-wise cell shape uncertainty in addition to cell trajectory. These inferred cell properties are combined with the observed image measurements within a fast marching algorithm, ...
[לנוסח המלא]
Global versus Local Modeling of Signals
event speaker icon
ורדן פפיאן
event date icon
יום שני, 16.5.2016, 10:30
event location icon
טאוב 337
Many image restoration algorithms in recent years are based on patch-processing. The core idea is to decompose the target image into fully overlapping patches, restore each of them separately, and then merge the results somehow. This concept has been demonstrated to be highly effective, leading often times to state-of-the-art results in denoising, deblurring, super-resolution, and other applications. Several questions arise from this line of work: 1) How can the local model be enforced on patches ...
[לנוסח המלא]
Subspace codes and distributed storage codes.
event speaker icon
נתנאל רביב
event date icon
יום ראשון, 15.5.2016, 16:30
event location icon
טאוב 601
The interest in subspace codes has increased lately due to their application in error correction for random network coding. A subspace code is a collection of subspaces of a vector space under the subspace distance $d_s(U,V)=\dim U + \dim V-2\dim(U\cap V)$. In this dissertation we discuss both purely mathematical and practical questions which involve subspace codes. The theoretical part of this work concerns a few special cases of subspace codes. Equidistant subspace codes, in which ...
[לנוסח המלא]
Plug and Play Priors for Poisson Inverse Problems
event speaker icon
אריה רונד
event date icon
יום ראשון, 15.5.2016, 16:30
event location icon
טאוב 201
The Anscombe transform offers an approximate conversion of a Poisson random variable into unit-variance Gaussian one. This transform is important and appealing, as it is easy to compute, and becomes handy in various inverse problems with Poisson noise contamination. Solution to such problems can be done by first applying the Anscombe transform, then applying a Gaussian-noise-oriented restoration algorithm of choice, and finally applying an inverse Anscombe transform. The appeal in this approach is due to ...
[לנוסח המלא]
Coding Theory: Gabidulin Codes over Fields of Characteristic Zero and Their Applications
event speaker icon
סוון פושינגר (אונ' אולם)
event date icon
יום ראשון, 15.5.2016, 14:30
event location icon
טאוב 601
Gabidulin codes, originally defined over finite fields, are an important class of rank metric codes with various applications. Recently, their definition was generalized to certain fields of characteristic zero. This generalization led to new applications, such as novel constructions of space-time codes and methods for low-rank matrix recovery. The talk provides an overview of the definition, decoding and applications of Gabidulin codes over fields of characteristic zero.
[לנוסח המלא]
Unsupervised Ensemble Learning
event speaker icon
Boaz Nadler - COLLOQUIUM LECTURE
event date icon
יום שלישי, 10.5.2016, 14:30
event location icon
חדר 337-8 טאוב.
היום! שלב הגמר - תחרות אמדוקס לפרוייקט המצטיין 2015-16
event date icon
יום ראשון, 8.5.2016, 14:30
event location icon
אודיטוריום 2, בניין טאוב למדעי המחשב
הנכם מוזמנים להצגת הפרוייקטים שעלו לגמר בתחרות הפרוייקט המצטיין מטעם אמדוקס והפקולטה למדעי המחשב. הצוותים המתמודדים יציגו את מחקריהם ויענו לשאלות השופטים והקהל. האירוע יתקיים ביום ראשון', 8 במאי 2016, בין השעות 14:30-16:30, באודיטוריום טאוב 2, בניין טאוב למדעי המחשב כולם מוזמנים לעודד, לתמוך ולהיחשף לפרוייקטים מצטיינים.
[לנוסח המלא]
Coding Theory: Generalized Notion of Graph Capacity
event speaker icon
עופר שייביץ (אונ' תל-אביב)
event date icon
יום ראשון, 8.5.2016, 14:30
event location icon
טאוב 601
Motivated by the problem of zero-error communication over a broadcast channel, we introduce a new notion of graph capacity that generalizes the Shannon capacity of a graph. We derive upper and lower bounds on this quantity for arbitrary graphs, and provide a tighter upper bound for regular graphs.Joint work with Sihuang Hu.
[לנוסח המלא]
CGGC Seminar: Regularized Harmonic Map Flow: a Tool for Improvement of Maps between Shapes
event speaker icon
דניאל עזוז (מדעי המחשב, טכניון)
event date icon
יום ראשון, 8.5.2016, 13:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
The problem of computing shape correspondence is a fundamental task in Computer Graphics. While recent methods produce semantically meaningful maps globally, the maps are distorted locally. The harmonic map heat flow is a tool for local minimization of the Dirichlet energy, that measures the smoothness of a map. While the discrete harmonic map flow has been used, for example, to conformally map shapes to a sphere, when the target shape is arbitrary applying this flow ...
[לנוסח המלא]
Secure Computation in Hostile Environments
event speaker icon
דניאל גנקין
event date icon
יום ראשון, 8.5.2016, 11:00
event location icon
טאוב 601
The ubiquitous nature of computer systems means that they often operate in hostile environments where they are subjected to various attacks by adversarial parties. The purpose of such attacks varies, ranging from simply corrupting the system's behaviour to a complete extraction of otherwise-unavailable secret information. My research explores theoretical and practical aspects of designing computer systems which can securely operate in hostile environments. In the talk I will describe two aspects of my research: 1. ...
[לנוסח המלא]
Pixel Club: Visual Perception through Hyper Graphs
event speaker icon
ניקוס פראגואיס (אונ' פריס)
event date icon
יום חמישי, 5.5.2016, 11:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
Computational vision, visual computing and biomedical image analysis have made tremendous progress of the past decade. This is mostly due the development of efficient learning and inference algorithms which allow better and richer modeling of visual perception tasks. Hyper-Graph representations are among the most prominent tools to address such perception through the casting of perception as a graph optimization problem. In this talk, we briefly introduce the interest of such representations, discuss their strength and ...
[לנוסח המלא]
Interpreting the Ratio Criterion for Matching SIFT Descriptors
event speaker icon
אברהם קפלן
event date icon
יום רביעי, 4.5.2016, 16:30
event location icon
טאוב 601
Matching keypoints by minimizing the Euclidean distance between their SIFT descriptors is an effective and extremely popular technique. Using the ratio between distances, as suggested by Lowe, is even more effective and leads to excellent matching accuracy. Probabilistic approaches that model the distribution of the distances were found effective as well. This work focuses, for the first time, on analyzing Lowe's ratio criterion using a probabilistic approach. We provide two alternative interpretations of this criterion, ...
[לנוסח המלא]
Algebraic RAM
event speaker icon
יבגניה פרגמנט
event date icon
יום רביעי, 4.5.2016, 13:30
event location icon
טאוב 601
Due to the lack of computational power, many users don't perform the computation locally, rather outsource the computation to a remote server. This raises the problem of computational integrity. Using Probabilistically Checkable Proofs (PCP) the remote server can prove to the user (with high probability) that the computation was executed correctly. Although every language in NEXP is known to have a PCP system, previous works have not specified the process of converting instances of the ...
[לנוסח המלא]
Theory Seminar: The Possibilities and Limitations of Private Prediction Markets
event speaker icon
רחל קאמינגס (California Institute of Technology)
event date icon
יום רביעי, 4.5.2016, 12:30
event location icon
טאוב 201
We consider the design of private prediction markets, financial markets designed to elicit predictions about uncertain events without revealing too much information about market participants' actions or beliefs. Our goal is to design market mechanisms in which participants' trades or wagers influence the market's behavior in a way that leads to accurate predictions, yet no single participant has too much influence over what others are able to observe. We study the possibilities and limitations of ...
[לנוסח המלא]
ceClub: IoT-Enabled Community Care Provisioning for Sustainable Ageing-in-Place: A Singapore Example
event speaker icon
טאן הואי פינג (אונ' סינגפור לניהול)
event date icon
יום רביעי, 4.5.2016, 11:30
event location icon
חדר 861, בניין מאייר, הפקולטה להנדסת חשמל
In 2014, 12.4% of the population in Singapore were above 65 years of age and this is projected to increase to 19% by 2030. Among them, those living alone is likely to increase to 83,000 by 2030, up from 35,000 today. The ability to “age in place” - living where you have lived for years with reasonable quality of life, is especially important for the latter group. While Internet of Things (IoT)-enabled ambient intelligence environments ...
[לנוסח המלא]
Welfare Maximization via Posted Prices
event speaker icon
Michal Feldman - COLLOQUIUM LECTURE
event date icon
יום שלישי, 3.5.2016, 14:30
event location icon
חדר 337-8 טאוב.
Pixel Club: Patch-Ordering as a regularization for Inverse Problems in Image Processing
event speaker icon
גרישה וקסמן (טכניון)
event date icon
יום שלישי, 3.5.2016, 12:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
In recent years much work has been devoted to the development of image processing algorithms using local patches. The main idea in this line of work is to impose a statistical prior on the patches of the desired image. An algorithm following this path extracts all possible patches with overlaps from the image, and operates on each separately. The more advanced algorithms exploit also interrelations between different patches in the reconstruction process. In this work ...
[לנוסח המלא]
Pixel Club: Point Registration via Efficient Convex Relaxation
event speaker icon
חגי מרון ונדב דים (מכון ויצמן למדע)
event date icon
יום שלישי, 3.5.2016, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
We will discuss two related works:1) "Point Registration via Efficient Convex Relaxation" Point cloud registration is a fundamental task in computer graphics, and more specifically, in rigid and non-rigid shape matching. The rigid shape matching problem can be formulated as the problem of simultaneously aligning and labeling two point clouds in 3D so that they are as similar as possible. We name this problem the Procrustes matching (PM) problem. The non-rigid shape matching problem can ...
[לנוסח המלא]
CSpecial Talk: MST in Log-Star Rounds of Congested Clique
event speaker icon
מרב פרטר (MIT)
event date icon
יום שלישי, 3.5.2016, 10:30
event location icon
טאוב 301
We present a randomized algorithm that computes a Minimum Spanning Tree (MST) in O(log^* n) rounds, with high probability, in the Congested Clique model of distributed computing. In this model, the input is a graph on n nodes, initially each node knows only its incident edges, and per round each two nodes can exchange O(log n) bits. Our key technical novelty is an O(log^* n) Graph Connectivity algorithm, the heart of which is a (recursive) ...
[לנוסח המלא]
Coding Theory: Vector Network Coding Based on Subspace Codes Outperforms Scalar Linear Network Coding
event speaker icon
אנטוניה ואכטר צ'ה (מדעי המחשב, טכניון)
event date icon
יום ראשון, 1.5.2016, 14:30
event location icon
טאוב 601
This talk considers vector network coding based on rank-metric codes and subspace codes. Our main result is that vector network coding can significantly reduce the required field size compared to scalar linear network coding in the same multicast network. The achieved gap between the field size of scalar and vector network coding is in the order of $q^{(\ell-1)t^2/\ell}-q^t$, for any $q \geq 2$, where $t$ denotes the dimension of the vector solution, and the number ...
[לנוסח המלא]
יריד חברות סטראט-אפ וגיוס בפקולטה למדעי המחשב
event date icon
יום רביעי, 20.4.2016, 12:30
event location icon
אודיטוריום 2, בניין טאוב למדעי המחשב
הפקולטה למדעי המחשב מזמינה אתכם ליריד סטארט אפ וגיוס לחברות המשתתפות: Augury, Bidalgo, Checkmarx, Jelly Button, Kaltura, Outbrain, Zerto, ועוד. בנוסף יינתנו הרצאות מטעם החברות והיזמים. האירוע יתקיים ביום ד', 20 באפריל 2016, בין השעות 12:30-14:30, לובי בניין טאוב למדעי המחשב. ההרצאות יתקיימו באודיטוריום 2. פרטים נוספים במסמכים המצורפים. כולם מוזמנים!
[לנוסח המלא]
Theory Seminar: Tokenized Blind Signatures from Quantum Money
event speaker icon
אור סתת (האונ' העברית ו-MIT)
event date icon
יום רביעי, 20.4.2016, 12:30
event location icon
טאוב 201
Quantum money is a quantum state that can be easily verified but is hard to copy. I will start by reviewing Aaronson & Christiano's quantum money scheme. Then we'll extend their scheme to construct a tokenized blind signature scheme. A (standard) digital signature scheme uses two keys - a public key and a secret key. The secret key is used for signing an unbounded number of messages, and the public key is used to verify ...
[לנוסח המלא]
Applying theory to practice (and practice to theory)
event speaker icon
Ronald Fagin - TCE Henry Taub Distinguished Visitor
event date icon
יום שלישי, 19.4.2016, 14:30
event location icon
חדר Auditorium 2 טאוב.
Pixel Club: On a Multi-Component Approach for Improved Compression and Enhancement of Medical Images
event speaker icon
שירה נמירובסקי-רוטמן (טכניון)
event date icon
יום שלישי, 19.4.2016, 12:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Many medical images are produced daily. Compression thus plays a major role in storage and transmission applications, while enhancement, such as image de-noising, is important for diagnosis purposes. Requirements could often be conflicting, however. In order to mitigate this limitation we suggest to decompose the images into several components, where each component is distinctly described by an appropriate model and accordingly handled. For the case of ultrasound imaging, for example, we propose to describe the ...
[לנוסח המלא]
Pixel Club: On Chirp Excitation and Compression for Ultrasound Imaging
event speaker icon
דורין דניאל (טכניון)
event date icon
יום שלישי, 19.4.2016, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Although chirp-coded signals can theoretically improve the performance of ultrasound medical imaging, they are presently of limited use. Their main advantage is better power delivery without loss of axial resolution. Their drawback, however, is that the biological tissue distorts the ultrasound echo of the chirp, and thus the shape of the received ultrasound pulse is unknown. This causes degradation in the quality of the reconstructed ultrasound image when a matched filter is used. To overcome ...
[לנוסח המלא]
Coding Theory: Codes and Card Tricks: Magic for Adversarial Crowds
event speaker icon
ללה וואנג (אונ' תל-אביב)
event date icon
יום ראשון, 17.4.2016, 14:30
event location icon
טאוב 601
Rated by Ron Graham as a top-10 mathematical card trick of the 20th century, Diaconis’ mind reader is a magic trick that involves the interaction with five collaborative volunteers. Inspired by this magic, we perform in this talk a card trick that can tolerate bluffing volunteers. The theory behind this trick will be used to develop fundamental limits as well as code constructions for faster delay estimation in positioning systems.
[לנוסח המלא]
How to Use Bitcoin to Play Decentralized Poker
event speaker icon
עידו בן-טוב
event date icon
יום חמישי, 14.4.2016, 13:00
event location icon
טאוב 601
We study a model of secure computation in which deviating parties are forced to pay monetary penalties, without relying on a trusted party to provide an ideal bank functionality. Our protocols work in a hybrid model where parties have access to claim-or-refund or multilock ideal functionalities, which can be efficiently realized in (a variant of) Bitcoin. In this talk we present three results: 1. Compilation of any secure multiparty computation protocol into a protocol that ...
[לנוסח המלא]
Theory Seminar: Constant-rate Coding for Multi-Party Interactive Communication is Impossible
event speaker icon
קלים אפרנקו
event date icon
יום רביעי, 13.4.2016, 12:30
event location icon
טאוב 201
In this talk, we will consider coding schemes for multi-party interactive communication over synchronous networks that suffer from stochastic noise, where each bit is independently flipped with probability ε. We analyze the minimal overhead that must be added by the coding scheme in order to succeed in performing the computation despite the noise. Our main result is a lower bound on the communication of any noise-resilient protocol over a star network with n-parties. Specifically, we ...
[לנוסח המלא]
ceClub: Pricing Complexity
event speaker icon
נעם ניסן (האונ' העברית בירושלים)
event date icon
יום רביעי, 13.4.2016, 11:30
event location icon
חדר 861, בניין מאייר, הפקולטה להנדסת חשמל
As economic systems "move" to the Internet, they can become much more complex and this new complexity often becomes their defining characteristic. We will consider a very simple scenario of this form: a single seller that is selling multiple items to a single buyer. We will discuss the question of how *complex* must the pricing scheme be in order for the seller to maximize (approximately, at least) his revenue. Based on joint works with Sergiu ...
[לנוסח המלא]
Mining causality to predict the future events
event speaker icon
Kira Radinsky - COLLOQUIUM LECTURE
event date icon
יום שלישי, 12.4.2016, 14:30
event location icon
חדר 337-8 טאוב.
Pixel Club: In-Situ Multi-View Multi-Scattering Stochastic Tomography
event speaker icon
ואדים הולודובסקי (הנדסת חשמל)
event date icon
יום שלישי, 12.4.2016, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
To recover the three dimensional (3D) volumetric distribution of matter in an object, images of the object are captured from multiple directions and locations. Using these images, tomographic computations seek the distribution. In highly scattering media and constrained irradiance, tomography must explicitly account for off-axis scattering. Furthermore, the tomographic model and recovery must function when imaging is done in-situ, as occurs in medical imaging and ground-based atmospheric sensing. We formulate tomography that handles arbitrary orders ...
[לנוסח המלא]
Coding Theory: Combinatorial Systematic Switch Codes
event speaker icon
הואי זאנג (מדעי המחשב)
event date icon
יום ראשון, 10.4.2016, 14:30
event location icon
טאוב 601
Multiport switches are commonly used as data processing and routing devices in computer networks. A network switch routes data packets between its multiple input and output ports. Packets from input ports are stored upon arrival in a switch fabric comprising multiple memory banks. This can lead to memory contention when distinct output ports request packets from the same memory bank, resulting in a degraded switching bandwidth. To solve this problem, switch codes are introduced by ...
[לנוסח המלא]
CGGC Seminar: Interacting with Personal Fabrication Machines
event speaker icon
סטפני מולר (Hasso-Plattner-Institute, Germany)
event date icon
יום ראשון, 10.4.2016, 13:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
In anticipation of 3D printers reaching millions of users, I am investigating how to allow future users to interact with the new hardware. I present a series of interactive software+hardware systems that I created to answer this question. They are characterized by two main properties. First, they produce physical output quickly, allowing users not only to see their results, but also to touch and test their mechanical properties as users work towards a solution. Second, ...
[לנוסח המלא]
להוביל בטכנולוגיה 2016
event date icon
יום רביעי, 6.4.2016, 16:30
event location icon
אודיטוריום 1, בניין טאוב למדעי המחשב
הנכם מוזמנים לאירוע "להוביל בטכנולוגיה": "נשיאים על הקצה" בהשתתפות פרופ' רבקה כרמי, נשיאת אוניברסיטת בן-גוריון ופרופ' פרץ לביא, נשיא הטכניון. בתוכנית פאנל "יוזמות – מובילות בטכנולוגיה" בהשתתפות יזמיות ומנהיגות בתעשייה ובאקדמיה והנחיית עינב גלילי, וכן יענקו מלגות לסטודנטיות מצטיינות, תרומת החברות Intel ו-EMC. האירוע יתקיים ביום רביעי, 6 באפריל, 2016, החל מ-16:30, באודיטוריום טאוב 1, בניין טאוב למדעי המחשב. פרטים נוספים והרשמה מראש. כולכם מוזמנים!
[לנוסח המלא]
From Secure Computation to Zero-Knowledge Probabilistic Checking and Back Again
event speaker icon
מור וייס
event date icon
יום רביעי, 6.4.2016, 12:30
event location icon
טאוב 201
In the past few decades, probabilistic checking techniques were shown to yield dramatic efficiency improvements in verifying proofs and approximating distance from error-correcting codes. We show connections between cryptography and ``zero-knowledge'' variants of these techniques, such as Probabilistically Checkable Proofs (PCPs) and PCPs of Proximity (PCPPs), and use them to improve the complexity of cryptographic protocols. In this talk we will present three results: 1. PCPs for NP with zero-knowledge guarantees, that can be verified ...
[לנוסח המלא]
ceClub: Near Optimal Placement of Virtual Network Functions
event speaker icon
ספי נאור (מדעי המחשב, טכניון)
event date icon
יום רביעי, 6.4.2016, 11:30
event location icon
טאוב 401
Network Function Virtualization (NFV) is a new networking paradigm where network functions are executed on commodity servers located in small cloud nodes distributed across the network, and where software defined mechanisms are used to control the network flows. This paradigm is a major turning point in the evolution of networking, and it introduces high expectations for enhanced economical network services, as well as major technical challenges. In this talk we address one of the main ...
[לנוסח המלא]
היום! יום פתוח ללימודי תואר שני ושלישי בפקולטות להנדסת חשמל ולמדעי המחשב בטכניון
event date icon
יום רביעי, 6.4.2016, 10:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
היום הפתוח לקראת ההרשמה לשנה"ל תשע"ז מזמין בוגרי תואר ראשון מצטיינים מכל האוניברסיטאות להגיע לטכניון ולהתרשם מהפקולטות למדעי המחשב ולהנדסת חשמל, לפגוש חברי סגל וסטודנטים לתארים מתקדמים ולשמוע הרצאה מרתקת מפי דר' יואל מארק, סגן נשיאה למחקר ביאהו!, על תארים מתקדמים מנקודת מבטה של תעשיית ההיי-טק. האירוע יתקיים ביום ד', 6 באפריל 2016, בין השעות 10:30-16:00, בבניין טאוב למדעי המחשב, חדר 337 (קומה 3), ובבניין מאייר להנדסת חשמל, אולם 1003 (קומה 10). תוכנית היום תכלול ...
[לנוסח המלא]
Designing Communication Receivers Using Machine Learning Techniques
event speaker icon
Brian M. Kurkoski - COLLOQUIUM LECTURE
event date icon
יום שלישי, 5.4.2016, 14:30
event location icon
חדר 337-8 טאוב.
יום עיון ופתיחת מרכז המחקר לאבטחת סייבר בטכניון
event date icon
יום שלישי, 5.4.2016, 13:30
event location icon
אודיטוריום 1, בניין טאוב למדעי המחשב
הנכם מוזמנים ליום עיון ופתיחת מרכז המחקר לאבטחת סייבר בטכניון במעמד פרופ’ פרץ לביא, נשיא הטכניון ודר' אביתר מתניה, ראש מטה הסייבר הלאומי. האירוע יתקיים ביום שלישי, 5 באפריל 2016, בין השעות 13:30-18:30, באודיטוריום 2, בניין טאוב למדעי המחשב בטכניון. ההשתתפות חופשית אך דורשת הרשמה מראש. פרטים נוספים ותוכנית מלאה אודות מרכז המחקר לאבטחת הסייבר בטכניון יום עיון ופתיחת מרכז המחקר לאבטחת סייבר בטכניון
[לנוסח המלא]
Pixel Club: Blind Dehazing Using Internal Patch Recurrence
event speaker icon
יובל בהט (מכון ויצמן למדע)
event date icon
יום שלישי, 5.4.2016, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Images of outdoor scenes are often degraded by haze, fog and other scattering phenomena. In this work we show how such images can be dehazed using internal patch recurrence. Small image patches tend to repeat abundantly inside a natural image, both within the same scale, as well as across different scales. This behavior has been used as a strong prior for image denoising, super-resolution, image completion and more. Nevertheless, this strong recurrence property significantly diminishes ...
[לנוסח המלא]
Automated Program Repair
event speaker icon
בת חן רוטנברג
event date icon
יום שני, 4.4.2016, 15:30
event location icon
טאוב 401
This work presents a novel approach for automatically repairing a program with respect to a given set of assertions. Programs are repaired using a predefined set of mutations. We impose no assumptions on the number of erroneous locations in the program, yet we are able to guarantee soundness and completeness. That is, we assure that every returned program is correct and every correct program is returned. We refer to a bounded notion of correctness, even ...
[לנוסח המלא]
מפגש סטודנטיות בטכנולוגיה
event date icon
יום רביעי, 30.3.2016, 17:00
event location icon
טאוב 3
הנכן מוזמנות למפגש סטודנטיות בטכנולוגיה מטעם חברת מיקרוסופט לציון יום האישה הבינלאומי ובהשתתפות בכירות בחברה. במסגרת האירוע יתקיים פאנל מקצועי בנושא תכנון קריירה. פרטים נוספים והרשמה מראש.
[לנוסח המלא]
Your phone can and should do all the image/video processing and machine learning you need: Video Enhancement and Face Recognition
event speaker icon
Prof. Guillermo Sapiro - DISTINGUISHED POLLAK LECTURE SERIES
event date icon
יום רביעי, 30.3.2016, 14:30
event location icon
חדר 337-8 טאוב.
Theory Seminar: Toward the KRW conjecture: Cubic Lower Bounds via Communication Complexity
event speaker icon
אור מאיר (אונ' חיפה)
event date icon
יום רביעי, 30.3.2016, 12:30
event location icon
טאוב 201
One of the major challenges of the research in circuit complexity is proving super-polynomial lower bounds for de-Morgan formulas. Karchmer, Raz, and Wigderson suggested to approach this problem by proving that formula complexity behaves “as expected” with respect to the composition of functions. They showed that this conjecture, if proved, would imply super-polynomial formula lower bounds. .. In this talk, I will present the background on this conjecture and the known results. I will then ...
[לנוסח המלא]
ceClub: TinyLFU: A Highly Efficient Cache Admission Policy
event speaker icon
רועי פרידמן (מדעי המחשב)
event date icon
יום רביעי, 30.3.2016, 11:30
event location icon
טאוב 401
In this talk, I introduce a frequency based cache admission policy in order to boost the effectiveness of caches subject to skewed access distributions. Given a newly accessed item and an eviction candidate from the cache, our scheme decides, based on the recent access history, whether it is worth admitting the new item into the cache at the expense of the eviction candidate. Realizing this concept is enabled through a novel approximate LFU structure called ...
[לנוסח המלא]
CGGC Seminar: e-NABLE: A Global Network of Digital Humanitarians built on an infrastructure of electronic communications, 3D printing and good will
event speaker icon
ג'ון שול (Enable Community Foundation)
event date icon
יום רביעי, 30.3.2016, 11:00
event location icon
חדר 337, בניין טאוב למדעי המחשב
e-NABLE is an online community that designs, customizes, fabricates, and disseminates 3D-printed prosthetic hands and arms for free. E-NABLE extends the methods and philosophies of Open Source software to hardware, assistive technology development, and human resources. I'll tell the story of this remarkable community, and discuss emerging trends and opportunities for academic research and trans-academic collaboration. Bio: A biological psychologist, inventor, entrepreneur, human-computer interaction researcher, and digital community organizer, Jon Schull is the creator of ...
[לנוסח המלא]
Pixel Club: Bi-level Optimization with Application to Rank Pooling for Activity Recognition
event speaker icon
סטפן גולד (אונ' אוסטרליה)
event date icon
יום שלישי, 29.3.2016, 14:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
In this talk I will first give a brief overview of the topic of bi-level mathematical programming, in which the solution of an inner optimization problem is used within the objective function of a outer problem. These problems were originally studied in the context of two-player games but have been recently applied to computer vision and machine learning applications. I will then discuss current work in our group that applies bi-level optimization to the problem ...
[לנוסח המלא]
Pixel Club: Learning Ordinal Relationships for Mid-Level Vision
event speaker icon
דניאל צורן (גוגל)
event date icon
יום שלישי, 29.3.2016, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
We propose a framework which infers mid-level visual properties of an image by learning about ordinal relationships. Instead of estimating metric quantities directly, the system proposes ordinal relationship estimates for pairs of points in the input image. These probabilistic ordinal measurements are then aggregated and globalized to create a full output map of continuous metric measurements. Estimating order relationships between pairs of points has several advantages over metric estimation: it requires solving a simpler problem ...
[לנוסח המלא]
Your phone can and should do all the image/video processing and machine learning you need: Child Development Screening for Everybody
event speaker icon
Prof. Guillermo Sapiro - DISTINGUISHED POLLAK LECTURE SERIES
event date icon
יום שני, 28.3.2016, 14:30
event location icon
חדר Auditorium 2 טאוב.
יום עיון בנושא Lightweight Crypto
event date icon
יום שני, 28.3.2016, 09:00
event location icon
אולם 1003, בניין מאייר, הפקולטה להנדסת חשמל
המרכז להנדסת מחשבים בשיתוף עם קרן קיסריה רוטשילד מקיימים יום עיון: "Lightweight Crypto". Lightweight Crypto הוא תחום מחקר מתפתח שמטרתו לספק אמצעים חסכוניים לאבטחה כמו תוויות RFID. כידוע, לעתים פתרונות אבטחה לא מתאימות לסביבות מחמירות ו-Lightweight Crypto מציעה אבטחה משמעותית והתקנה בעלות סבירה. הכנס יהיה נקודת מפגש בין האקדמיה לתעשייה מאחר שהנושא נוגע לשני התחומים. מארגן הכנס: אור דונקלמן יו"ר: נתן קלר ואיתי דינור הכנס יתקיים ביום ב', 28 במרס 2016, באודיטוריום 1003 (קומה 10), ...
[לנוסח המלא]
סמינר אמדוקס על "Network Virtualization"
event date icon
יום ראשון, 27.3.2016, 16:30
event location icon
טאוב 3
הנכם מוזמנים לסמינר אמדוקס על "Network Virtualization" אשר יתקיים ביום ראשון, 27 במרס 2016, בשעה 16:30, בכיתה 3, בניין טאוב למדעי המחשב. תוכנית ופרטים בכרזה המצורפת והרשמה מראש.
[לנוסח המלא]
Coding Theory: The Analysis of Hard-Decision Multi-Threshold Decoding of Non-Binary LDPC Codes
event speaker icon
אלכסי פרולוב (Institute for Information Transmission Problems}
event date icon
יום ראשון, 27.3.2016, 14:30
event location icon
טאוב 601
Non-binary low-density parity-check (LDPC) codes significantly outperform their binary counterparts. Moreover, non-binary LDPC codes are especially good for the channels with burst errors and high-order modulations. Unfortunately, their decoding complexity is still large, that is why iterative hard and soft-reliability based decoding majority algorithms are of considerable interest for high-throughput practical applications. We investigate the error-correcting capabilities of non-binary LDPC codes decoded with a hard-decision low-complexity majority algorithm, which is a generalization of the bit-flipping ...
[לנוסח המלא]
On body and Out of body Interactions
event speaker icon
Jessica Cauchard - CS-Lecture -
event date icon
יום ראשון, 27.3.2016, 14:30
event location icon
חדר 601 טאוב.
Theory Seminar: A fast Distributed 2+epsilon Approximation for Weighted Vertex Cover
event speaker icon
גרגורי שוורצמן (מדעי המחשב, טכניון
event date icon
יום רביעי, 23.3.2016, 12:30
event location icon
טאוב 201
The field of distributed graph algorithms deals with solving graph problems in a network (graph) of independent agents while minimizing the amount of communication between nodes. One such fundamental problem is weighted vertex cover. We show a fast distributed (2+epsilon)-approximation algorithm using the local ratio method. Due to a known lower bound, the number of communication rounds our algorithm achieves is tight for all constant values of epsilon. This is a joint work with Keren ...
[לנוסח המלא]
Intel@Technion Lectures: High speed I/O ports for Client Compute devices
event speaker icon
שחף קיזלשטיין (אינטל)
event date icon
יום רביעי, 23.3.2016, 11:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
The high speed I/O market in client platforms is going through major changes in the last few years, with latest silicon process that enable high bit rate on the wire while using low power to drive those bits. Where are those trends leading ? what is the impact on the user ? In this lecture we will review the changes in the USB & Thunderbolt technologies over the last few years, and will look forward ...
[לנוסח המלא]
Pixel Club: Stretchable Non-rigid Structures Abstract
event speaker icon
דן רביב (MIT)
event date icon
יום שלישי, 22.3.2016, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Geometrical understanding of bendable and stretchable structures is crucial for many applications where comparison, inference and reconstruction play an important role. Moreover, it is the first step in quantifying normal and abnormal phenomena in non-rigid domains. Moving from Euclidean (straight) distances towards intrinsic (geodesic) measures, revolutionized the way we handle bendable structures, but did not take stretching into account. Human organs, such as the heart, lungs and kidneys, are great examples for such models. In ...
[לנוסח המלא]
Coding Theory: Reed-Muller Codes for Random Erasures and Errors
event speaker icon
אמיר שפילקה (אונ' תל-אביב)
event date icon
יום ראשון, 20.3.2016, 14:30
event location icon
טאוב 601
Reed-Muller codes encode an m-variate polynomial of degree r by evaluating it on all points in {0,1}^m. Its distance is 2^{m-r} and so it cannot correct more than that many errors/erasures in the worst case. For random errors one may hope for a better result. In his seminal paper Shannon exactly determined the amount of errors and erasures one can hope to correct for codes of a given rate. Codes that achieve Shannon’s bound are ...
[לנוסח המלא]
האקתון מדעי המחשב אביב 2016
event date icon
יום רביעי, 16.3.2016, 14:00
event location icon
בניין טאוב למדעי המחשב
הפקולטה למדעי המחשב ו-WomenTechPro מזמינים אתכן ואתכם לפתוח את סמסטר אביב בהאקתון השנתי HackPRO! איפה? בפקולטה למדעי מחשב, טכניון. מתי? ימי רביעי-חמישי-שישי בשבוע הראשון של סמסטר אביב, 16-18 במרס 2016 תחשבו טכנולוגיה לבישה! ה-Edison מבית אינטל הוא מחשב זעיר עם יכול עיבוד מרשימה ופלטפורמה מתאימה לטכנולוגיה לבישה. נציגות ונציגים מהצוותים יוכלו להשתתף בסדנת אדיסונים והצוות שיצליח להפעיל את האדיסון בסדנה יזכה במכשיר אדיסון ויוכל ולהשתמש בו כפלטפורמה בהאקתון. לצוות הזוכה בהאקתון יוענק בפרס כספי ויזכה ...
[לנוסח המלא]
Theory Seminar: Fast Submodular Maximization
event speaker icon
רועי שוורץ (מדעי המחשב, טכניון*
event date icon
יום רביעי, 16.3.2016, 12:30
event location icon
טאוב 201
Submodular maximization captures both classical problems in combinatorial optimization and recent more practical applications that arise in other disciplines, e.g., machine learning and data mining. Typically, the size of the inputs in these applications is very large. Hence, it is interesting to devise algorithms that in addition to providing a provable guarantee on the quality of the output are also very fast and simple. In this talk we will focus on maximization of a submodular ...
[לנוסח המלא]
TCE Guest Lecture: Technology Considerations in Computer Architecture
event speaker icon
זאן לוק גודו (אונ' קליפורניה)
event date icon
יום רביעי, 16.3.2016, 11:30
event location icon
טאוב 401
Good engineering practice uses the characteristics of existing technologies to optimize implementation. Often, this will mean that design techniques optimal in a previous generation prove impractical or even unusable when a new technology becomes dominant. This rule is all too often forgotten, which we will demonstrate in two problems of computer design: Field-Programmable Gate Arrays (FPGA) and hardware prefetchers (providing the ability to fetch data early in anticipation of the need). FPGAs are extremely useful ...
[לנוסח המלא]
Sex and the causes of mutation: work at the interface of evolutionary biology and theoretical computer science
event speaker icon
Adi Livnat - COLLOQUIUM LECTURE
event date icon
יום שלישי, 15.3.2016, 14:30
event location icon
חדר 337-8 טאוב.
Coding Theory: Burst-erasure Correcting Codes with Optimal Average Delay
event speaker icon
ניצן אדלר (טכניון)
event date icon
יום ראשון, 13.3.2016, 14:30
event location icon
טאוב 601
The objective of low-delay codes is to protect communication streams from erasure bursts by minimizing the time between the packet erasure and its reconstruction. Previous work has concentrated on the constant-delay scenario, where all erased packets need to exhibit the same decoding delay. We consider the case of heterogeneous delay, where the principal objective is to minimize the average delay across the erased packets in a burst. This new model is motivated by communications in ...
[לנוסח המלא]
Multi Scale Dictionary Learning for Sparse Representation of Images
event speaker icon
בעז אופיר
event date icon
יום רביעי, 9.3.2016, 14:30
event location icon
טאוב 601
The main topic of our research is creating a multi-scale dictionary learning paradigm for sparse and redundant signal and image representations. The appeal of a multi-scale dictionary is obvious - in many cases data naturally comes at different scales. To date, popular dictionary based approaches are limited to a single scale, and small signals/patch sizes. Multi-scale approaches, on the other hand, are typically analytic, with little to no adaptation to the data. A multi-scale dictionary ...
[לנוסח המלא]
The List Update Problem
event speaker icon
ארז תמנת
event date icon
יום רביעי, 9.3.2016, 12:30
event location icon
טאוב 601
In this work, we consider the list update problem as defined in the seminal work on competitive analysis by [Sleator, Tarjan 85]. In this problem, a sequence of requests, consisting of items to access in a linked list, is given. After an item is accessed it can be moved to any position forward in the list at no cost (free exchange), and, at any time, any two adjacent items can be swapped at a cost ...
[לנוסח המלא]
Intel@Technion Lectures: nabling Breakthroughs in Parkinson’s Disease with Wearables and Big Data Analytics
event speaker icon
שחר כהן (אינטל)
event date icon
יום רביעי, 9.3.2016, 11:30
event location icon
יפורסם
Parkinson’s Disease (PD) is a progressive, degenerative disorder of the central nervous system. It is characterized by significant motor symptom, such as: tremor, slowness of movement, and gait deficiencies; but also entails non-motor symptoms, such as: depression, cognitive slowness and sleep difficulties. Intel Corporation is running a joint project with the Michael J. Fox foundation for Parkinson’s research, to promote research on PD, as well as patients’ daily care. As part of this project, sensory ...
[לנוסח המלא]
Technology and the Future of Work and Money
event speaker icon
Seth Goldstein - COLLOQUIUM LECTURE
event date icon
יום שלישי, 8.3.2016, 14:30
event location icon
חדר 337-8 טאוב.
Internal and external privacy in a distributed setting
event speaker icon
גל מאור
event date icon
יום רביעי, 2.3.2016, 14:30
event location icon
טאוב 601
In this work, we analyze privacy in a distributed setting, where privacy is measured in an information theoretic way (i.e. no cryptographic assumptions). The three complexity measures we analyze are (1) internal information, which measures the counter-party privacy-loss inherent in a communication protocol, (2) output information, which measures the reduction in input-privacy that is inherent when the output of the computation is published, and (3) external information, which measures the privacy-loss inherent when the communication ...
[לנוסח המלא]
CGGC Seminar: Optimal Transportation for Practical Geometric Problems
event speaker icon
ג'אסטין סולומון (MIT)
event date icon
יום רביעי, 2.3.2016, 10:30
event location icon
טאוב 401
Optimal transportation (OT) has gained considerable popularity as a tool for relating signals defined over geometric domains. Despite recent progress developing generic machinery for understanding and optimizing OT problems, considerable effort is still required to transition OT from a theoretical challenge to a practical tool in the computer graphics, geometry processing, and machine learning toolboxes. To this end, I will describe several efforts to develop efficient, resilient OT-based algorithms tailored to these application areas, including ...
[לנוסח המלא]
Pixel Club: Patch-Ordering as a Regularization for Inverse Problems in Image Processing
event speaker icon
גרישה וקסמן (טכניון) - בוטל!
event date icon
יום שלישי, 1.3.2016, 12:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
In recent years much work has been devoted to the development of image processing algorithms using local patches. The main idea in this line of work is to impose a statistical prior on the patches of the desired image. An algorithm following this path extracts all possible patches with overlaps from the image, and operates on each separately. The more advanced algorithms exploit also interrelations between different patches in the reconstruction process. In this work ...
[לנוסח המלא]
Pixel Club: Linearized Kernel Dictionary Learning
event speaker icon
אלונה זדנפרובסקי (טכניון)
event date icon
יום שלישי, 1.3.2016, 11:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
In this work we present a new approach of incorporating kernels into dictionary learning. The kernel K-SVD algorithm (KKSVD), which has been introduced recently, shows an improvement in classification performance, with relation to its linear counterpart K-SVD. However, this algorithm requires the storage and handling of a very large kernel matrix, which leads to high computational cost, while also limiting its use to setups with small number of training examples. We address these problems by ...
[לנוסח המלא]
Pixel Club: In-Situ Multi-View Multi-Scattering Stochastic Tomography
event speaker icon
ואדים הולודובסקי (הנדסת חשמל, טכניון)
event date icon
יום שלישי, 1.3.2016, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
To recover the three dimensional (3D) volumetric distribution of matter in an object, images of the object are captured from multiple directions and locations. Using these images, tomographic computations seek the distribution. In highly scattering media and constrained irradiance, tomography must explicitly account for off-axis scattering. Furthermore, the tomographic model and recovery must function when imaging is done in-situ, as occurs in medical imaging and ground-based atmospheric sensing. We formulate tomography that handles arbitrary orders ...
[לנוסח המלא]
A Language Approach to Language Preprocessing
event speaker icon
עידו זמירי
event date icon
יום רביעי, 24.2.2016, 13:30
event location icon
טאוב 601
The C preprocessor (cpp) is probably the most familiar macro preprocessor. However, it lacks the expressibility of general purpose programming languages. We propose a language approach to preprocessing, based on writing code in a high-level programming language. Our intent is to make it easy to identify structures in source files, and therefore be able to use reflection to some extent. We also suggest a flexible syntax for macro calls, for adding constructs that are more ...
[לנוסח המלא]
Automatic generation of Java fluent APIs from BNF specifications
event speaker icon
תומר לוי
event date icon
יום רביעי, 24.2.2016, 12:30
event location icon
טאוב 601
Fluent APIs increasingly gain popularity and research interest. It allows an API designer to enforce correct usage of the API by type-safety. Although many people design new fluent APIs manually, the question of automating the process remained unanswered yet. In this work, we explain why the problem's core lies with the expressive power of Java generics. Our main result is that automatic generation is possible whenever the specification is an instance of the set of ...
[לנוסח המלא]
מיני יום-עיון של המרכז לגרפיקה וחישוב גיאומטרי
event date icon
יום שני, 22.2.2016, 10:00
event location icon
חדר 337, בניין טאוב למדעי המחשב
אנא ראו הדף באנגלית
[לנוסח המלא]
Pixel Club: From Pixels to Brain Networks: Modeling Brain Connectivity and Its Changes in Disease
event speaker icon
פולינה גולנד (CSAIL MIT)
event date icon
יום שני, 15.2.2016, 11:30
event location icon
טאוב 201
We propose a novel probabilistic framework to model connectivity patterns in the brain as a latent network graph. In particular, we model the interaction between latent anatomical and functional connectivity and present an intuitive extension to population studies. The method simultaneously infers the templates of latent connectivity for each population and the differences in connectivity between the groups. We also develop an approach to identify foci of a neurological disorder based on anatomical and functional ...
[לנוסח המלא]
Enhanced Human: Wearable computing that transforms how we perceive and interact with our world
event speaker icon
Jeremy Cooperstock - COLLOQUIUM LECTURE
event date icon
יום חמישי, 11.2.2016, 14:30
event location icon
חדר 337-8 טאוב.
Intel@Technion Lectures: On the Way to Visual Understanding
event speaker icon
גרשון קוטלירוף (אינטל)
event date icon
יום רביעי, 10.2.2016, 11:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
n the past several years, the field of computer vision has chalked up significant achievements, fueled by new algorithms (such as deep neural networks), new hardware (such as consumer 3D cameras) and new available processing (such as GPU’s). When we consider the problems that tomorrow’s household robots and autonomous vehicles will have to solve, however, there is evidently still a ways to go. In this talk, I will discuss current work within Intel’s Perceptual Computing ...
[לנוסח המלא]
Pixel Club: From representation to inference: Respecting and Exploiting Mathematical Structures in Computer Vision and Machine Learning
event speaker icon
אורן ויינפלד (CSAIL MIT)
event date icon
יום שלישי, 2.2.2016, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Stochastic analysis of real-world signals consists of 3 main parts: mathematical representation; probabilistic modeling; statistical inference. For it to be effective, we need mathematically-principled and practical computational tools that take into consideration not only each of these components by itself but also their interplay. This is especially true for a large class of computer-vision and machine-learning problems that involve certain mathematical structures; the latter may be a property of the data or encoded in the ...
[לנוסח המלא]
Intel@Technion Lectures: Cloud Computing – The Beginning Or The End?
event speaker icon
נאוה לוי (אינטל)
event date icon
יום רביעי, 27.1.2016, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Cloud Computing is considered to be one of the most important paradigm shifts of this century. In this presentation we will explain what cloud computing is all about, review the key drivers and inhibitors of cloud and what is fueling its exponential growth. We will examine its effects across the ecosystem and megatrends as Mobile and Internet Of Things, including the threats and the opportunities. We will also try to determine where we are in ...
[לנוסח המלא]
Pixel Club: Large Scale Feature Selection for Visual Representation Learning
event speaker icon
אהרן בר-הלל (מיקרוסופט מחקר)
event date icon
יום שלישי, 26.1.2016, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Training accurate visual classifiers from large data sets critically depend on learning the right representation for the problem. In this talk, I will discuss a representation learning framework based on an iterative interaction of two components: a feature generator suggesting candidate features, and a feature selector choosing among them. In the feature selector role, I will present a feature selection algorithm for Support Vector Machines (SVMs) enabling selection among hundreds of thousands of features, while ...
[לנוסח המלא]
היום! - יריד אפליקציות, חורף 2016
event date icon
יום רביעי, 20.1.2016, 14:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
תלמידי הקורס "פרוייקט בתכנות מתקדם" במדעי המחשב מזמינים אתכם לבקר ביריד יישומוני אנדרואיד אשר יתקיים ביום ד', 20 בינואר 2016, בין השעות 16:30-14:15 בחדר 337 (קומה 3), בניין טאוב למדעי המחשב, במסגרת היריד יוצגו ישומונים חדשים לאנדרואיד להקלת החיים בתחומים שונים ותחרות מטעם חברת קואלקום תתקיים בין הפרוייקטים המשתתפים: ClimbIt אפליקציה אשר תשלח מטפסי קיר ישר לפסגה CScourses אפליקציה אשר תנווט אתכם בלימודי התואר במדעי המחשב E-Ingredient Revealer אפליקציה אשר תפענח לכם את תוויות האוכל ...
[לנוסח המלא]
Theory Seminar:Quasi-Linear Size Zero Knowledge from Linear-Algebraic PCPs
event speaker icon
אריאל גביזון (מדעי המחשב, טכניון)
event date icon
יום רביעי, 20.1.2016, 12:30
event location icon
טאוב 201
A probabilistically checkable proof (PCP) enables checking, for example, the satisfiability of a 3-SAT boolean formula phi, while only examining a constant number of randomly chosen symbols of the proof. Suppose an assignment to phi has length n. A long line of research led to the construction of such PCPs of length quasi-linear in n. An additional property of a PCP that can be useful is that of zero-knowledge (ZK): A PCP is zero-knowledge with ...
[לנוסח המלא]
ceClub: The Fascinating Structure of Planar Graphs
event speaker icon
אורן ויימן (אונ' חיפה)
event date icon
יום רביעי, 20.1.2016, 11:30
event location icon
טאוב 401
Graph optimization problems are the most studied problems in theoretical computer science. These problems are not only mathematically intriguing. They have a crucial impact on our increasingly-computerized environment. Among the tractable optimization problems, the most fundamental are shortest paths, maximum flow, minimum cut, maximum matching, and minimum spanning tree. On planar graphs, these problems are all inter-related through fascinating connections. By exploiting these connections, and the remarkable wealth of structural properties exhibited by planar graphs, ...
[לנוסח המלא]
Adversarial Robotics: Robotic Strategic Behavior in Adversarial Environments
event speaker icon
Noa Agmon - COLLOQUIUM LECTURE
event date icon
יום שלישי, 19.1.2016, 14:30
event location icon
חדר 337-8 טאוב.
Pixel Club: The Spatial Order of Features as a Geometric Model
event speaker icon
ליאור טלקר (אונ' חיפה)
event date icon
יום שלישי, 19.1.2016, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Correctly matching feature points across images is an important preprocessing step for many computer vision applications (specifically such that require geometric reasoning). Once an initial set of putative matches is obtained, the common methods to detect the correct matches, e.g., RANSAC, use a parametric model that relates the correct matches between an image pair, e.g., the fundamental matrix. To obtain an accurate (uncontaminated) such model, a large number of search iterations is usually required, which ...
[לנוסח המלא]
יריד ארדואינו, חורף 2016
event date icon
יום ראשון, 17.1.2016, 13:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
תלמידי הקורס "פרוייקט בתכנות מתקדם" במדעי המחשב מזמינים אתכם לבקר ביריד ארדואינו חורף 1016 אשר יתקיים ביום א', 17 בינואר 2016, בין השעות 16:30-13:00 בחדר 337 (קומה 3), בניין טאוב למדעי המחשב, במסגרת היריד יוצגו עבודות ארדואינו חדשים להקלת החיים בתחומים שונים: Air Hockey שולחן הוקי אוויר אוטומטי מאתגר ArCoffee Table שולחן שישדרג את הפסקת הקפה שלכם בכל המובנים arDRAWino כיצד לצייר מתמונה רישום שנראה מקורי Chekers Masters משחק דמקה נגד זרוע רובוטית iFlussio מערכת ...
[לנוסח המלא]
Scalable Machine Learning for structured high-dimensional outputs
event speaker icon
Ofer Meshi - CS-Lecture - Note unusual day
event date icon
יום רביעי, 13.1.2016, 14:30
event location icon
חדר 337-8 טאוב.
יום עיון בנושא Lightweight Crypto
event speaker icon
תמר כהן (MIT)
event date icon
יום רביעי, 13.1.2016, 12:30
event location icon
טאוב 201
המרכז להנדסת מחשבים בשיתוף עם קרן קיסריה רוטשילד מקיימים יום עיון: "Lightweight Crypto". Lightweight Crypto הוא תחום מחקר מתפתח שמטרתו לספק אמצעים חסכוניים לאבטחה כמו תוויות RFID. כידוע, לעתים פתרונות אבטחה לא מתאימות לסביבות מחמירות ו-Lightweight Crypto מציעה אבטחה משמעותית והתקנה בעלות סבירה. הכנס יהיה נקודת מפגש בין האקדמיה לתעשייה מאחר שהנושא נוגע לשני התחומים. הכנס יתקיים ביום ב', 28 במרס 2016, באודיטוריום 1003 (קומה 10), בניין מאייר להנדסת חשמל בטכניון. ההשתתפות ללא תשלום אולם ...
[לנוסח המלא]
ceClub: Network Measurement in the World of Crowd-Sourcing
event speaker icon
סקוט קירקפטריק (האונ' העברית בירושלים)
event date icon
יום רביעי, 13.1.2016, 11:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
Traditionally, network measurement takes a small-data approach. Data is expensive, must be gathered unobtrusively, validated carefully, and used to address sharply-defined problems, if we are to obtain reliable answers. The undeniable existence of BigData in and around telephone and data networks (which have merged years ago ) and the presence of tools for learning from unstructured masses of data are changing this. A recent EU tender has called for a “crowdsourcing” approach to characterizing Internet ...
[לנוסח המלא]
The probabilistic method meets the game of Go
event speaker icon
Graham Farr - COLLOQUIUM LECTURE
event date icon
יום שלישי, 12.1.2016, 14:30
event location icon
חדר 337-8 טאוב.
Pixel Club: A General Preprocessing Method for Improved Performance of Epipolar Geometry Estimation Algorithms
event speaker icon
מריה קושניר (אונ' חיפה)
event date icon
יום שלישי, 12.1.2016, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
A deterministic preprocessing algorithm, especially designed to deal with repeated structures and wide baseline image pairs, is presented. It generates putative matches and their probabilities. They are then given as input to state-of-the-art epipolar geometry estimation algorithms, improving their results considerably, succeeding on hard cases on which they failed before. The algorithm consists of three steps, whose scope changes from local to global. In the local step, it extracts from a pair of images local ...
[לנוסח המלא]
TCE Guest Lecture (Part II): Creative Teams
event speaker icon
רוב קוק (פיקסאר)
event date icon
יום שני, 11.1.2016, 18:30
event location icon
אודיטוריום 2, בניין טאוב למדעי המחשב
Making a Pixar movie involves a team of hundreds of people from widely different disciplines using a lot of sophisticated technology. The scale and complexity of the process make it challenging to create a cohesive story that audiences find moving. This talk looks at how Pixar addresses that challenge. The principals involved are pertinent to any creative endeavor that involves large teams and sophisticated technology, but the visual and emotional nature of movies makes those ...
[לנוסח המלא]
TCE Guest Lecture (Part I): Cartoon Physics
event speaker icon
רוב קוק (פיקסאר)
event date icon
יום שני, 11.1.2016, 11:30
event location icon
אודיטוריום 2, בניין טאוב למדעי המחשב
Pixar’s animated films are created using computer graphics, so the characters are constructed and animated in a virtual 3D world. Manipulating that world involves using physics and math for everything from sculpting the shapes of objects to animating the characters to lighting the scenes to texturing the surfaces to simulating the motion of clothes and hair. And although cartoon physics is based on classical physics, it has to adapt to the wacky things animators do. ...
[לנוסח המלא]
Beyond Conditional Lower Bounds: Overcoming the Square Root Phenomenon in Theory and Practice.
event speaker icon
Tsvi Kopelowitz - CS-Lecture
event date icon
יום חמישי, 7.1.2016, 14:30
event location icon
חדר 337-8 טאוב.
Algorithms for Combinatorial Reoptimization
event speaker icon
גל תמיר
event date icon
יום רביעי, 6.1.2016, 15:30
event location icon
טאוב 601
Traditional combinatorial optimization problems require finding solutions for a single problem instance. However, many real-life applications involve systems that change dynamically over time. Thus, throughout the continuous operation of such a system, it is required to compute solutions for new problem instances, derived from previous instances. Moreover, since the transition from one solution to another incurs some cost, a natural goal is to have the solution for the new instance close to the original one ...
[לנוסח המלא]
The Role of Interaction in Economics and Parallel Computation
event speaker icon
Omri Weinstein - CS-Lecture - Note unusual day
event date icon
יום רביעי, 6.1.2016, 14:30
event location icon
חדר 337-8 טאוב.
Automated Circular Assume-Guarantee Reasoning
event speaker icon
כרם עבדאלקאדר
event date icon
יום רביעי, 6.1.2016, 12:30
event location icon
in טאוב 601
Compositional verification techniques aim to decompose the verification of a large system into the more manageable verification of its components. In recent years, compositional techniques have gained significant successes following a breakthrough in the ability to automate assume-guarantee reasoning. However, automation is still restricted to simple acyclic assume-guarantee rules. In this work, we focus on automating circular assume-guarantee reasoning in which the verification of individual components mutually depends on each other. We use a sound ...
[לנוסח המלא]
Theory Seminar: Robust Entanglement Systems
event speaker icon
ליאור אלדר - MIT
event date icon
יום רביעי, 6.1.2016, 12:30
event location icon
טאוב 201
The folklore on quantum entanglement is that it is a fragile phenomenon and physically very hard to maintain. In quantum complexity theory this raises the possibility that there is no analog of the classical hardness-of-approximation in the quantum setting, namely a quantum analog of the PCP theorem. The problem of whether entanglement is robust-enough to even allow a quantum PCP was formalized by Freedman and Hastings ['13] in a conjecture called NLTS (No Low-Energy Trivial ...
[לנוסח המלא]
Intel@Technion Lectures: AVX-512: New Opportunities and Challenges for Compilers and Programmers
event speaker icon
אייל זקס (אינטל)
event date icon
יום רביעי, 6.1.2016, 11:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
The next generation of Intel’s multicore and many-core product lines will use AVX-512, the biggest extension to Intel Instruction Set Architecture (ISA). This extension will provide new HW capabilities, yet poses a critical challenge for SW – how can modern compilers and programmers make efficient use of these new capabilities? This talk will discuss recent research and development advancements in coping with this challenge, in terms of innovative compilation technology, programming models, and the interaction ...
[לנוסח המלא]
Crowd-Powered Data Management
event speaker icon
Tova Milo - COLLOQUIUM LECTURE
event date icon
יום שלישי, 5.1.2016, 14:30
event location icon
חדר 337-8 טאוב.
Pixel Club: On the Stability of Deep Networks and its Relationship with Compressed Sensing and Metric Learning
event speaker icon
רג'א ג'יריס (אונ' תל-אביב)
event date icon
יום שלישי, 5.1.2016, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
This lecture will address the fundamental question: What are deep neural networks doing to metrics in the data? We know that two important properties of a classification machinery are: (i) the system preserves the important information of the input data; (ii) the training examples convey information for unseen data; and (iii) the system is able to treat differently points from different classes. We show that these fundamental properties are inherited by the architecture of deep ...
[לנוסח המלא]
Pixel Club: Blind Signal Processing: Sparse Signal Reconstruction in Bilinear Inverse Problems
event speaker icon
יורם ברסלר (אורבנה-שמפיין)
event date icon
יום שני, 4.1.2016, 14:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
While the solution of linear inverse problems (BIPs) under both classical signal models and modern sparsity models has been studied extensively and is well understood, relatively little is known about the solution of bilinear inverse problems. In signal processing, these problems arise in so-called blind signal recovery applications. One notable example is blind deconvolution, with applications in blind image deblurring, blind channel equalization, speech dereverberation, and seismic data analysis. Another important example, is blind gain ...
[לנוסח המלא]
Improving Parallel Programs with Architectural Insights
event speaker icon
Adam Morrison - CS-Lecture
event date icon
יום ראשון, 3.1.2016, 14:30
event location icon
חדר 337-8 טאוב.