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

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

Chamsa" and Computer Science
event speaker icon
Avi Cohen
event date icon
יום חמישי, 29.12.2011, 14:30
event location icon
חדר 337-8 טאוב.
Pixel Club: VideoSurf's video Recognition Technology in the Connected Devices Race
event speaker icon
איתן שרון (VideoSurf)
event date icon
יום חמישי, 29.12.2011, 11:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
Online video content has grown enormously, such that it is a huge proportion of newly-created content. There are an estimated four billion different video links available to consumers for watching online. YouTube users alone are currently uploading about half a million videos a day. The leading mobile platforms iOS, Android and Windows are provided with ever larger phone screens for convenient video viewing, and even more so are the various tablets such as the iPad. ...
[לנוסח המלא]
CSpecial Talk: Synthesis From Temporal Specifications
event speaker icon
ניר פיטרמן (אונ' לייססטר)
event date icon
יום חמישי, 29.12.2011, 09:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
In this talk I give a short introduction to the process of synthesis, the automatic production of designs from their specifications. We are interested in reactive systems, systems that continuously interact with other programs, users, or their environment and specifications in linear temporal logic. Classical solutions to synthesis use either two player games or tree automata. We give a short introduction to the technique of using two player games for synthesis and how to solve ...
[לנוסח המלא]
Theory Seminar: An algebraic Proof of a Robust Social Choice Impossibility Theorem
event speaker icon
דביר פאליק (האונ' העברית בירושלים)
event date icon
יום רביעי, 28.12.2011, 12:30
event location icon
טאוב 201
An important element of social choice theory are impossibility theorems, such as Arrow's theorem and Gibbard-Satterthwaite's theorem, which state that under certain natural constraints, social choice mechanisms are impossible to construct. In recent years, much work has been done in finding robust versions of these theorems, showing that impossibility remains even when the constraints are almost always satisfied. In this work we present a general spectral technique for tackling such problems, and demonstrate it on ...
[לנוסח המלא]
Pixel Club: Distributed Computing: Bridging the Gap Between Theory and Practice
event speaker icon
יובל עמק - ETH
event date icon
יום רביעי, 28.12.2011, 11:30
event location icon
חדר 861, בניין מאייר, הפקולטה להנדסת חשמל
The theory of distributed computing, which lies at the heart of understanding the power and limitations of distributed systems, underwent tremendous progress over the last few decades. Despite this progress, there seems to be a widening gap between the traditional models on top of which the theory of distributed computing is built and the real-world problems we wish to investigate through these models. In this talk we will discuss the different aspects of this widening ...
[לנוסח המלא]
Using Individual Human Genomes to Illuminate the Mysteries of Early Human History
event speaker icon
Ilan Gronau
event date icon
יום שלישי, 27.12.2011, 14:30
event location icon
חדר 337-8 טאוב.
CSpecial Talk: Coding Standards for Software Correctness
event speaker icon
יחיאל קמחי
event date icon
יום שלישי, 27.12.2011, 10:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
From an Engineering stand point it's difficult to argue against the view that software tools should meet, first and foremost, their specifications. This talk concentrates on reminding us a fundamental technique for achieving this goal, while arguing that some basic programming idioms, which most are well known (but not as well followed), can make this technique easier to handle. This part is an expansion of the terse version I've contributed to the book "97 Things ...
[לנוסח המלא]
Haifux Club: GPGPU - Case studies, Do's and Dont's (Part 3 out of 4 talks series)
event speaker icon
עופר רוזנברג - AMD
event date icon
יום שני, 26.12.2011, 18:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
This is a 4 series of 4 talks about GPGPUS, intended for the practical engineer: 1. Motivation, AMD's architecture 2. OpenCL 3.Case studies, Dos and Don'ts 4.Tools and Profiling for Performance General Purpose GPU programming became a hot topic in the last few years, ranging from academic studies to being used by commercial software products. As an example, three out of the world's top10 supercomputers (June2011 list) contain GPUs in them. This series of lectures ...
[לנוסח המלא]
The traveling salesman problem: Low-dimensionality implies a polynomial time approximation scheme.
event speaker icon
Lee-Ad Gottlieb
event date icon
יום ראשון, 25.12.2011, 14:30
event location icon
חדר 337-8 טאוב.
Convex Programming Hierarchies: Trading Time for Approximation
event speaker icon
Eden Chlamtac
event date icon
יום חמישי, 22.12.2011, 14:30
event location icon
חדר 337-8 טאוב.
How to Compute in the Presence of Leakage
event speaker icon
Guy Rothblum
event date icon
יום חמישי, 22.12.2011, 10:30
event location icon
חדר 337-8 טאוב. (NOTE UNUSUAL TIME!
Learning from Natural Instructions
event speaker icon
Dan Roth SPECIAL LECTURE, Note unusual day
event date icon
יום רביעי, 21.12.2011, 14:30
event location icon
חדר 337-8 טאוב.
Theory Seminar: (In) Compressibility of NP-hard Problems
event speaker icon
דני הרמלין (מכון מקס פלאנק, גרמניה)
event date icon
יום רביעי, 21.12.2011, 12:30
event location icon
טאוב 201
A compression algorithm for a computation problem is a polynomial-time algorithm that compresses instances of the given problem into equivalent instances. The performance of the compression is naturally measured with respect to its worst-case output size. While NP-hard problems cannot have compression algorithms with non-trivial performance guarantees in terms of the original input size (assuming NP is not in P), some NP-hard problems have surprisingly good compressions when performance is measured in terms of the ...
[לנוסח המלא]
ceClub: Flashback: A New Control Channel for Wireless Networks
event speaker icon
אסף סידון ( אונ' סטנפורד)
event date icon
יום רביעי, 21.12.2011, 11:30
event location icon
חדר 861, בניין מאייר, הפקולטה להנדסת חשמל
Unlike wired network protocols, Wi-Fi does not separate the data channel from the control channel, since only a single sender and receiver can communicate at a given time slot. Flashback is a system that allows multiple transmitters to send 'flashes' of high power OFDM sub-carriers without affecting the normal data transmissions on the Wi-Fi channel. By taking advantage of SNR margins of Wi-Fi channel codes, the flashes do not impose any overhead on the regular ...
[לנוסח המלא]
ceClub: MARS: Adaptive Remote Execution Scheduler for Multithreaded Mobile Devices
event speaker icon
תוומר לונדון ( אונ' סטנפורד)
event date icon
יום רביעי, 21.12.2011, 11:30
event location icon
חדר 861, בניין מאייר, הפקולטה להנדסת חשמל
Mobile devices face a growing demand to support computationally intensive applications like 3D graphics and computer vision. However, these devices are inherently limited by processor power density and device battery life. Dynamic remote execution addresses this problem, by enabling mobile devices to opportunistically offload computations to a remote server. We envision remote execution as a new type of cloud-based heterogeneous computing resource, or a "Cloudon-Chip", which would be managed as a system resource as if ...
[לנוסח המלא]
Machine Learning: Higher, Faster, Stronger
event speaker icon
Ohad Shamir
event date icon
יום שלישי, 20.12.2011, 14:30
event location icon
חדר 337-8 טאוב.
CSpecial Talk: Building Software You Can Trust
event speaker icon
אריאל קוגן, BMC Software
event date icon
יום שלישי, 20.12.2011, 14:30
event location icon
טאוב 7
We all write code, as a matter of fact, for most of us is part of what we do on a daily basis be it our jobs, personal projects or studies. However, when all those lines of code that we throw here and there become part of an application and that application is developed by a significant number of developers, we should take proper care of our code. Many names have been given to proper ...
[לנוסח המלא]
Bioinformatics Forum: From Coding the Genome to Algorithms Decoding Life
event speaker icon
יסמין פישר (מיקרוסופט, קימברידג', בריטניה)
event date icon
יום שלישי, 20.12.2011, 13:30
event location icon
טאוב 601
The decade of genomic revolution following the human genome's sequencing has produced significant medical advances, and yet again, revealed how complicated human biology is, and how much more remains to be understood. Biology is an extraordinary complicated puzzle; we may know some of its pieces but have no clue how they are assembled to orchestrate the symphony of life, which renders the comprehension and analysis of living systems a major challenge. Recent efforts to create ...
[לנוסח המלא]
CSpecial Talk: Innovation and Scale at Facebook
event speaker icon
אלון שליטה (פייסבוק)
event date icon
יום שלישי, 20.12.2011, 12:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
In seven years of rapid growth Facebook has become today's most popular social network, redefining digital identity and the basic set of communication channels for people worldwide. Many unique engineering challenges were handled along the way: building products extremely quickly while keeping the high quality of the service and the low cost of the hardware that supports it, allowing hori-zontal scaling of highly interconnected datar ,anking news items for divergent user population with and allowing ...
[לנוסח המלא]
Challenges in Multi-Agent Systems: Bitcoin, Social Networks, P2P Communities, and Network Protocols.
event speaker icon
Aviv Zohar
event date icon
יום ראשון, 18.12.2011, 14:30
event location icon
חדר 337-8 טאוב.
Pixel Club: An Effective Method for Parameter Estimation with PDE Constraints with Multiple Right Hand Sides
event speaker icon
אלדד הבר (אונ' קולומביה הבריטית)
event date icon
יום ראשון, 18.12.2011, 11:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
Many parameter estimation problems involve a parameter dependent PDEs with multiple right hand sides. The computational cost and memory requirements of such problems increase linearly with the number of right hand sides. For many applications this is the main bottleneck of the computation. In this talk we show that problems with multiple right hand sides can be reformulated as stochastic optimization problems that are much cheaper to solve. We discuss the solution methodology and use ...
[לנוסח המלא]
Concept-based Approach to Word-Sense Disambiguation
event speaker icon
אריאל רביב
event date icon
יום רביעי, 14.12.2011, 12:30
event location icon
טאוב 601
The task of automatically determining the correct sense of a polysemous word has remained a challenge to this day. It is crucial in many Natural Language Processing (NLP) applications such as speech recognition, information retrieval, machine translation and computational advertising. In our research, we introduce Concept-Based Disambiguation (CBD), a novel framework that utilizes recent semantic analysis techniques to represent both the context of the word and its senses in a high-dimensional space of natural concepts. ...
[לנוסח המלא]
Theory Seminar: Non-Malleable Extractors with Short Seeds and Applications to Privacy Amplification
event speaker icon
גיל כהן (מכון ויצמן למדע)
event date icon
יום רביעי, 14.12.2011, 12:30
event location icon
טאוב 201
Motivated by the classical problem of privacy amplification, Dodis and Wichs (STOC '09) introduced the notion of a non-malleable extractor, significantly strengthening the notion of a strong extractor. A non-malleable extractor is a function $\nmExt : \{0,1\}^n \times \{0,1\}^d \rightarrow \{0,1\}^m$ that takes two inputs: a weak source $W$ and a uniform (independent) seed $S$, and outputs a string $\nmExt(W,S)$ that is nearly uniform given the seed $S$ as well as the value $\nmExt(W, S')$ ...
[לנוסח המלא]
ceClub: Multi-party Computation Forever, for Cloud Computing and Beyond
event speaker icon
שלומי דולב (אונ' בן-גוריון)
event date icon
יום רביעי, 14.12.2011, 11:30
event location icon
חדר 861, בניין מאייר, הפקולטה להנדסת חשמל
Three works will be described. In the first we present reactive secret sharing, that changes the secret according to unbounded sequence of common inputs, where no communication among the (dynamic set of) participants is allowed, we present a fully secure solution for simple functions but somewhat non secure solution for any function.. In the second work dynamic on-going multiparty computation, in which we consider the case of dynamic group of participants that should not know ...
[לנוסח המלא]
Bioinformatics Forum: From Coding the Genome to Algorithms Decoding Life - Postpond
event speaker icon
יסמין פישר (מיקרוסופט, קימברידג', בריטניה)
event date icon
יום שלישי, 13.12.2011, 13:00
event location icon
טאוב 601
The decade of genomic revolution following the human genome's sequencing has produced significant medical advances, and yet again, revealed how complicated human biology is, and how much more remains to be understood. Biology is an extraordinary complicated puzzle; we may know some of its pieces but have no clue how they are assembled to orchestrate the symphony of life, which renders the comprehension and analysis of living systems a major challenge. Recent efforts to create ...
[לנוסח המלא]
Pixel Club: Patch Complexity, Finite Pixel Correlations and Optimal Denoising
event speaker icon
ענת לוין (מכון ויצמן למדע)
event date icon
יום שלישי, 13.12.2011, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Restoration tasks, such as image denoising, are ill posed problems, often solved with image priors. As image priors are only approximate, this yields suboptimal restoration results. Given the numerous works on image priors and image denoising, it is thus important to understand the inherent limits posed by natural image statistics, and what potential gains we may expect from additional years of research efforts. Recent studies avoided image priors with a non-parametric approach, but were restricted ...
[לנוסח המלא]
Teaching Machines to Learn by Metaphors
event speaker icon
עמר לוי
event date icon
יום רביעי, 7.12.2011, 15:00
event location icon
טאוב 601
Humans have an uncanny ability to learn new concepts with very few examples. Cognitive theories have suggested that this is done by utilizing prior experience of related tasks. We propose to emulate this process in machines, by transforming new problems into old ones. These transformations are called metaphors. Obviously, the learner is not given a metaphor, but must acquire one through a learning process. We show that learning metaphors yield better results than existing transfer ...
[לנוסח המלא]
Theory Seminar: Data structures for self-healing networks: ForgivingGraph and Xheal
event speaker icon
אמיתאב טרהאן (טכניון)
event date icon
יום רביעי, 7.12.2011, 12:30
event location icon
טאוב 201
In this talk, we consider the problem of self-healing in reconfigurable networks (e.g. peer-to-peer and wireless mesh networks) that are under repeated attack by an omniscient adversary and propose fully distributed algorithms that 'heal' certain global and local properties while doing only local changes and using only local information. Our model assumes repeated attack by an omniscient adversary. We assume that, over a sequence of rounds, an adversary either inserts a node with arbitrary connections ...
[לנוסח המלא]
ceClub: Crafting Fast Wait-Free Algorithms
event speaker icon
אלכס קוגן (טכניון)
event date icon
יום רביעי, 7.12.2011, 11:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
Lock-freedom is a progress guarantee that ensures overall program progress. Wait-freedom is a stronger progress guarantee that ensures the progress of each thread in the program. The latter property is valuable for systems that need to be responsive, such as real-time systems, operating systems, etc. While many practical lock-free algorithms are known in the literature, constructing wait-free algorithms is considered a complicated task that results in inefficient implementations. In this talk, we present first construction ...
[לנוסח המלא]
From Cryptography to Algorithms and Back Again
event speaker icon
Gil Segev
event date icon
יום שלישי, 6.12.2011, 14:30
event location icon
חדר 337-8 טאוב.
Pixel Club: Internal Statistics of a Single Natural Image
event speaker icon
מריה זונטק (מכון ויצמן למדע)
event date icon
יום שלישי, 6.12.2011, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Statistics of 'natural images' provides useful priors for solving under-constrained problems in Computer Vision. Such statistics is usually obtained from large collections of natural images. We claim that the substantial internal data redundancy within a single natural image (e.g., recurrence of small image patches), gives rise to powerful internal statistics, obtained directly from the image itself. While internal patch recurrence has been used in various applications, we provide a parametric quantification of this property. We ...
[לנוסח המלא]
Numerical Methods for Phase Retrieval
event speaker icon
אליהו אושרוביץ
event date icon
יום רביעי, 30.11.2011, 14:00
event location icon
טאוב 601
In this work we consider the problem of the reconstruction of a signal from the magnitude of its Fourier transform, also known as phase retrieval. The problem arises in many areas of astronomy, crystallography, optics, and coherent diffraction imaging (CDI). Our main goal is to develop an efficient reconstruction method based on continuous optimization techniques. Unlike current reconstruction methods, which are based on alternating projections, our approach leads to a much faster and more robust ...
[לנוסח המלא]
Theory Seminar: Efficient Optimization in Machine Learning
event speaker icon
אלעד חזן (טכניון)
event date icon
יום רביעי, 30.11.2011, 12:30
event location icon
טאוב 201
Linear classification is a fundamental problem of machine learning, in which positive and negative examples of a concept are represented in Euclidean space by their feature vectors, and we seek to find a hyperplane separating the two classes of vectors. In this talk we'll describe recent advances in efficient algorithms for linear classification and related machine learning problems. In particular we'll describe the first sublinear-time (information-optimal) algorithms for linear classification and discuss when can optimization ...
[לנוסח המלא]
ceClub: Replicate and Bundle (RnB) - A Relief for Certain Data Center Bottlenecks
event speaker icon
שחר ריינדל (הנדסת חשמל, טכניון)
event date icon
יום רביעי, 30.11.2011, 11:30
event location icon
חדר 861, בניין מאייר, הפקולטה להנדסת חשמל
In this talk, we present the Replicate and Bundle (RnB) scheme for relieving back-end processor and network bottlenecks in read-mostly key-value storage systems wherein each user request spawns a large number of back-end small-item requests. This is common in Web 2.0 and online social network systems. Adding processors is of little help because this increases the number of back-end requests per user request, thereby also increasing the overall processor and network load. Instead, RnB adds ...
[לנוסח המלא]
Back to the Future: the reborn of Dataflow computational models
event speaker icon
Avi Mendelson
event date icon
יום שלישי, 29.11.2011, 14:30
event location icon
חדר 337-8 טאוב.
Pixel Club: Generative Reconstruction: An Efficient Way to Flexibly Store andRecognize Patterns
event speaker icon
צבי אכלר (מעבדות לוס אלמוס, קליפורניה)
event date icon
יום שלישי, 29.11.2011, 11:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
The brain has recognition capabilities that remain unmatched by computer algorithms. We hypothesize that using matched feedforward-feedback connections, recognition centers of the brain reconstruct an internal copy of inputs using knowledge the brain has previously accumulated, in accordance with a class models called "generative models". Subsequently, it minimizes the error between the internal copy and the input from the environment. We study how this strategy may enable simple flexible learning, scalability, overcome combinatorial problems associated ...
[לנוסח המלא]
Haifux Club: GPGPU - OpenCL (Part 2 out of 4 talks series)
event speaker icon
עופר רוזנברג (AMD)
event date icon
יום שני, 28.11.2011, 18:30
event location icon
טאוב 6
This is a 4 series of 4 talks about GPGPUS, intended for the practical engineer: 1. Motivation, AMD's architecture 2. OpenCL 3.Case studies, Dos and Don'ts 4.Tools and Profiling for Performance General Purpose GPU programming became a hot topic in the last few years, ranging from academic studies to being used by commercial software products. As an example, three out of the world's top10 supercomputers (June2011 list) contain GPUs in them. This series of lectures ...
[לנוסח המלא]
Theory Seminar: Side-communication and Efficiency of Accending Auctions
event speaker icon
רון לביא (טכניון)
event date icon
יום רביעי, 23.11.2011, 12:30
event location icon
טאוב 201
We analyze the realistic, popular format of an ascending auction with anonymous item prices, when there are two items that are substitutes. This auction format entails increased opportunities for bidders to coordinate bids, as the bidding process is longer, and since bidders see the other bids and can respond to various signaling. This has happened in many real auctions, e.g., in the Netherlands 3G Telecom Auction and in the FCC auctions in the US. While ...
[לנוסח המלא]
Pixel Club: Coherency Sensitive Hashing
event speaker icon
שי אבידן (אונ' תל-אביב)
event date icon
יום רביעי, 23.11.2011, 12:00
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Coherency Sensitive Hashing (CSH) extends Locality Sensitivity Hashing (LSH) and PatchMatch to quickly find matching patches between two images. LSH relies on hashing, which maps similar patches to the same bin, in order to find matching patches. PatchMatch, on the other hand, relies on the observation that images are coherent, to propagate good matches to their neighbors, in the image plane. It uses random patch assignment to seed the initial matching. CSH relies on hashing ...
[לנוסח המלא]
ceClub: Self-stabilizing Autonomic Recoverers
event speaker icon
אולגה ברוקמן (מדעי המחשב, טכניון)
event date icon
יום רביעי, 23.11.2011, 11:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
This talk introduces theoretical foundations for system architectures and algorithms for creating truly robust autonomic systems -- systems that are able to recover automatically from unexpected failures. We consider various settings of system transparency. We consider black box and transparent box software packages. The general assumption is that a software package fails when it encounters an unexpected environment state -- a state the package was not programmed to cope with. Creating a system that anticipates ...
[לנוסח המלא]
Liquid Metal: Programming in the Age of Heterogeneous Machines
event speaker icon
David F. Bacon
event date icon
יום שלישי, 22.11.2011, 14:30
event location icon
חדר 337-8 טאוב.
פִּתּוּחַ תָּכְנָה בְּשִׁיטַת אֲגָ'יִּל
event speaker icon
רונן בר-נהור (Agilesparks)
event date icon
יום שלישי, 22.11.2011, 14:30
event location icon
בניין אמאדו אולם 233
הרצאת אורח בקורס "פרוייקט תכנות שנתי בהנדסת תכנה"', פתוחה לכלל קהל הפקולטה ובמיוחד לכל הסטודנטים בתואר ראשון במהלך עשר השנים האחרונות התפתחה גישה חדשה לפיתוח פרויקטי תוכנה שנקראת אג'יל. שיטה זאת מנפצת את הפארדיגמות המקובלות ומציעה דרך אחרת בניהול ופיתוח תוכנה. למרות שכיום רוב הארגונים טוענים שהם מפתחים באג'יל, בפועל רובם מיישמים חלקים ובאופן טכני ללא הבנה לעומק של העקרונות, התרבות וה-mind-set הנדרש ביישום אג'יל. במהלך הרצאה נבין את הפארדיגמות שמשתנות, את העקרונות שעל בסיסם ...
[לנוסח המלא]
Pixel Club: Toward Computer Vision on a Tight Budget
event speaker icon
טוד ציקר (אונ' הרוורד)
event date icon
יום שלישי, 22.11.2011, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
At least in the near term, micro-scale platforms like micro air vehicles and micro sensor nodes are unlikely to have power, volume, or mass budgets to support conventional imaging and post-capture processing for visual tasks like detection and tracking. These budgets are severe enough that even common computations, such as large matrix manipulations and convolutions, are difficult or impossible. To help overcome this, we are considering sensor designs that allow some components of scene analysis ...
[לנוסח המלא]
Statistical Parsing in the Face of Language Diversity
event speaker icon
Reut Tsarfaty
event date icon
יום ראשון, 20.11.2011, 14:30
event location icon
חדר 337-8 טאוב.
CSpecial Talk: Theory of Computation as a Lens on the Sciences
event speaker icon
ריצ'רד מ. קארפ (אונ' ברקלי, קליפורניה)
event date icon
יום חמישי, 17.11.2011, 16:00
event location icon
חדר 337, בניין טאוב למדעי המחשב
Many processes in the physical, biological, engineering and social sciences involve information processing at a fundamental level and can be studied through computational models. This talk will describe the impact of such models on areas such as quantum computing, dtatistical physics, economics and game theory, mathematics and computational biology.
[לנוסח המלא]
CSpecial Talk: Beyond 10 Blue Links: How Search Engines Help Users"
event speaker icon
רוני למפל (מנכ"ל יאהו! מחקר, ישראל)
event date icon
יום חמישי, 17.11.2011, 15:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
This talk highlights some of the tools made available by search engines to aid users in formulating information needs, digesting complex information spaces and completing tasks online. Much of the innovation and competition in the Web search industry focuses around such tooling, as search engines go well beyond the concept of returning "10 blue links" to users. Examples from multiple search engines will be shown.
[לנוסח המלא]
CSpecial Talk: Effective Heuristics for NP-Hard Problems
event speaker icon
ריצ'רד מ. קארפ (אונ' ברקלי, קליפורניה)
event date icon
יום רביעי, 16.11.2011, 14:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
In many practical situations heuristic algorithms reliably give satisfactory solutions to real-life instances of optimization problems, despite evidence from computational complexity theory that the problems are intractable in general.Our long-term goal is to contribute to an understanding of this seeming contradiction, and to put the construction of heuristic algorithms on a firmer footing. As a step in this direction we describe the evolution of a succesful heuristic algorithm By Erick Moreno Centeno and the speaker ...
[לנוסח המלא]
ceClub: Observations on Linux Development
event speaker icon
דרור פייטלסון (מדעי המחשב, האוניברסיטה העברית בירושלים)
event date icon
יום רביעי, 16.11.2011, 11:30
event location icon
חדר 861, בניין מאייר, הפקולטה להנדסת חשמל
Linux is used extensively in systems research as a platform for the implementation of new ideas, exploiting its open-source nature. But Linux is also interesting as an object of study about software engineering. In particular, Linux defies common management theories, as it lacks any coherent plan or management structure, but still grows at an ever-increasing rate, while also gaining market share. We will review some previous studies of Linux development and add new observations regarding ...
[לנוסח המלא]
Haifux Club: GPGPU - Motivation and Architecture (Part 1 out of 4 talks series)
event speaker icon
עופר רוזנברג - AMD
event date icon
יום שני, 14.11.2011, 18:30
event location icon
טאוב 6
This is a 4 series of 4 talks about GPGPUS, intended for the practical engineer: 1. Motivation, AMD's architecture 2. OpenCL 3.Case studies, Dos and Don'ts 4.Tools and Profiling for Performance General Purpose GPU programming became a hot topic in the last few years, ranging from academic studies to being used by commercial software products. As an example, three out of the world's top10 supercomputers (June2011 list) contain GPUs in them. This series of lectures ...
[לנוסח המלא]
Multi-Robot Patrol: From Theory to Reality
event speaker icon
Noa Agmon
event date icon
יום ראשון, 13.11.2011, 14:30
event location icon
חדר 337-8 טאוב.
Theory Seminar: Rationality, Efficiency and Agreement in Markets and in Social Networks
event speaker icon
עומר תמוז (מכון ויצמן למדע)
event date icon
יום רביעי, 9.11.2011, 12:30
event location icon
טאוב 201
We will discuss some models of interacting economic agents on social networks. The first part of the talk will include a short introduction to the topic, including: - Why assume agents are rational? What does it mean to be rational? - When is it computationally feasible to be rational? - When does interaction eventually lead to agreement, and when can disagreement persist indefinitely? - When does interaction lead to efficient aggregation of information, and when ...
[לנוסח המלא]
Improving Cryptography by Studying Entropy
event speaker icon
Leonid Reyzin
event date icon
יום שלישי, 8.11.2011, 14:30
event location icon
חדר 337-8 טאוב.
There are many different notions of information-theoretic entropy and its computational analogues. The right notion and a toolbox of lemmas can make for beautifully simple proofs. Drawing on examples from information-theoretic key agreement, leakage-resilient cryptography, and deterministic encryption (no background in these topics is assumed), I will show how various extensions of entropy can lead to improved cryptographic constructions.
[לנוסח המלא]
When can you color a grid and not have any monochromatic rectangles?
event speaker icon
Bill Gasarch
event date icon
יום ראשון, 6.11.2011, 14:30
event location icon
חדר 337-8 טאוב.
Theory Seminar: Constant rate LDC's over a small(er) alphabet via tensored AG codes
event speaker icon
יוחאי קפלן (מדעי המחשב, טכניון)
event date icon
יום רביעי, 2.11.2011, 12:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
Locally decodable codes are codes that allow decoding of single message bits by reading a sublinear amount of the codeword. These codes have been the object of intense study, of particular interest is the trade-off between the rate of these codes and the query complexity of their local decoding algorithms. When limiting our attention to codes of constant rate, we know of only two such families of codes: Reed-Muller codes and multiplicity codes. While multiplicity ...
[לנוסח המלא]
Pixel Club: Fast Poisson Solvers for Signal Processing on Meshes
event speaker icon
מיכאל קסדן (אונ' ג'ון הופקינס)
event date icon
יום שלישי, 1.11.2011, 14:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
In this talk, we will describe a new, octree-based, FEM solver for performing geometry-aware signal processing on meshes. We show that by considering the restriction of functions defined in 3D to the surface, we can define a regular function space on the mesh that supports both multigrid solvers, and parallel and streaming computation. We will discuss applications of the solver to a number of traditional challenges, including texture stitching, parameterization, interactive geometry processing, and surface ...
[לנוסח המלא]
On the usefulness of blowing things up (combinatorially)
event speaker icon
איל רוזנברג
event date icon
יום שלישי, 1.11.2011, 13:30
event location icon
טאוב 601
This talk will overview the results of my doctoral research in Property Testing of dense combinatorial structures. In Property Testing, we are concerned with the number of queries one has to make, or information one has to read, from an input combinatorial structure in order to make a rough distinctions between 'good' and 'significantly bad' inputs, where bad inputs are far from being good; specifically, most studies concerns such testing algorithms which read only a ...
[לנוסח המלא]
Pixel Club: Efficient and Accurate Image Filtering Using Running Sums
event speaker icon
אלחנן אלבוחר (האונ' העברית בירושלים)
event date icon
יום שלישי, 1.11.2011, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Non uniform filtering is important for many image processing algorithms. However, for large kernel sizes it can become computationally expensive. In this talk we describe two efficient filtering techniques which are independent on kernel size. First we present Cosine Integral Images (CII) which represent a large set of spatial and range filters, based on their frequency decomposition. We apply CII for fast computation of the spatial Gaussian and Gabor kernels, whose complexity is a constant ...
[לנוסח המלא]
Haifux Club: Bare-Metal Performance for I/O Virtualization
event speaker icon
אבל גורדון (י.ב.מ. חיפה)
event date icon
יום שני, 31.10.2011, 18:30
event location icon
טאוב 6
Direct device assignment enhances the performance of guest virtual machines by allowing them to communicate with I/O devices without host involvement. But even with device assignment, guests are still unable to approach bare-metal performance, because the host intercepts all interrupts, including those interrupts generated by assigned devices to signal to guests the completion of their I/O requests. The host involvement induces multiple unwarranted guest/host context switches, which significantly hamper the performance of I/O intensive workloads. ...
[לנוסח המלא]
ceClub: On Distributed Coordination Strategies in Cooperative Wireless Networks
event speaker icon
לביא ליבמן (אונ' סידני)
event date icon
יום רביעי, 26.10.2011, 11:30
event location icon
חדר 1021, בניין מאייר, הפקולטה להנדסת חשמל
Cooperative and opportunistic communication techniques in wireless networks promise significant performance benefits over traditional methods that do not exploit the broadcast nature of wireless transmissions. However, such techniques generally require coordination among the participating nodes, e.g. to discover available neighbors or negotiate the best course of action after every packet broadcast. The associated coordination overheads negate much of the cooperation benefits for applications with strict latency requirements, or in networks with highly dynamic topologies. This ...
[לנוסח המלא]
Pixel Club: Gesture-based Interaction with 3D Cameras
event speaker icon
ארהרד בארת' (אונ' לובק, גרמניה)
event date icon
יום שלישי, 25.10.2011, 11:30
event location icon
חדר 1003, בניין מאייר, הפקולטה להנדסת חשמל
In this talk, Prof. Erhardt will discuss the ARTTS project (www.artts.eu) and summary its main results. He will also give an overview of the main activities he is conducted at gestigon, a company he created that deals with Gesture technologies (www.gestigon.com). Prof. Erhardt will also extends the discussion on different research topics that have been applied in this context to (i) the geometrical approach to feature extraction, (ii) the principle of sparse coding, and (iii) ...
[לנוסח המלא]
Haifux Club: How to Participate in the Linux Kernel Development (and Why)
event speaker icon
ברוך שיח
event date icon
יום שני, 10.10.2011, 18:30
event location icon
טאוב 6
The Linux kernel is one of the largest scale free software projects. More than thousand developers contribute code to each kernel release. Becoming one of them is not an easy challenge. First you need to familiarize yourself with the technical side of kernel development, with its unique peculiarities. Then, you need to understand and carry out the long, and sometimes painful, process of patch submission. However, the reward for this pain is great. This lecture ...
[לנוסח המלא]
Haifux Club: Deconstructing Amazon EC2 Spot Instance Pricing
event speaker icon
אורנה אגמון בן-יהודה (מדעי המחשב, טכניון)
event date icon
יום שני, 26.9.2011, 18:30
event location icon
טאוב 6
Cloud providers possessing large quantities of spare capacity must either incentivize clients to purchase it or suffer losses. Amazon is the first cloud provider to address this challenge, by allowing clients to bid on spare capacity and by granting resources to bidders while their bids exceed a periodically changing spot price. Amazon publicizes the spot price but does not disclose how it is determined. By analyzing the spot price histories of Amazon's EC2 cloud, we ...
[לנוסח המלא]
Programming Applications over the Semantic Web
event speaker icon
ודים אייזנברג
event date icon
יום ראשון, 25.9.2011, 12:00
event location icon
טאוב 601
Two of the hardest problems of developing data-processing applications are: (1) integrating data from heterogeneous sources, and (2) handling the inherent discrepancies between data models of the sources and models of programming languages, e.g., the object-relational impedance mismatch. The Semantic Web is a set of technologies (RDF, RDFS, OWL, SPARQL) that facilitate data integration. However, it does not solve the impedance mismatch problem. It merely exchanges object-relational impedance mismatch with object-RDF impedance mismatch. In the ...
[לנוסח המלא]
Search: past, present, and some possible futures
event speaker icon
Udi Manber SPECIAL LECTURE
event date icon
יום שלישי, 13.9.2011, 14:30
event location icon
חדר 337-8 טאוב.
Haifux Club: Mesh Networks | Hacking the T3lc0 Model
event speaker icon
אמיר שגיא (פרוייקט אריג)
event date icon
יום שני, 29.8.2011, 18:30
event location icon
טאוב 6
Want to build your own Telco? you'll probable need mesh power. Avoid past mistakes by learning about the history of mesh networks, hear how the first wi-fi router was liberated and be sure to checkout what we're doing in project Arig ( http://arig.org.il), here in Israel! Be sure to attend the router emancipation party afterwords: bring your wi-fi router and wash away all it's sins by flashing it with a Foss OS such as OpenWRT. ...
[לנוסח המלא]
An Unbiased Rational Decision Making Procedure for Multiple-Adversary Environments
event speaker icon
ענת השביט
event date icon
יום רביעי, 24.8.2011, 13:00
event location icon
טאוב 601
In binary-utility games, an agent can have only two possible utility values for final states, 1 (win) and 0 (lose). We define an unbiased rational agent as one that seeks to maximize its utility value, but is equally likely to choose between states with the same utility value. In particular, it will prefer winning over losing but will be indifferent as to which winning ( or losing state) is chosen. This induces a probability distribution ...
[לנוסח המלא]
Supervised Learning of Semantic Relatedness
event speaker icon
דוד ינאי
event date icon
יום רביעי, 17.8.2011, 14:00
event location icon
טאוב 601
We propose and study a novel supervised approach to learning semantic relatedness from examples. Using an empirical risk minimization approach our algorithm computes a weighted measure of term co-occurrence with respect to a corpus of text documents, and utilizes the labeled examples to fit the model to the training sample. Our method is corpus independent and can essentially rely on any sufficiently large (unstructured) collection of coherent texts. We present the results of a range ...
[לנוסח המלא]
Haifux Club: 0 A.D. Revisited (And Perhaps a Few Words About Wikimania 2011)
event speaker icon
אביב שרון
event date icon
יום שני, 15.8.2011, 18:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
0 A.D. is a FOSS game of ancient warfare, belonging to a genre of games called Real-Time Strategy (RTS). It is mostly implemented in C++, along with scripts in JavaScript, and runs on Windows, Linux and Mac OS. The game was last presented at Haifux in December 2009 and has developed tremendously since then, with advances in graphics, A* pathfinding, opponent AI and more. Aviv will demonstrate some of the new features of the game ...
[לנוסח המלא]
Pixel Club: Modeling Fluid Flow on Inertial Manifolds: Physics, Geometry and the Challenge of Model Reduction
event speaker icon
גלעד תדמור (Northen University, בוסטון)
event date icon
יום שלישי, 2.8.2011, 11:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
Model order reduction is essential for feasible analysis, design, realtime control of distributed systems. Recent uses also include accelerating detailed simulations and the extraction of actionable meaning from large scale data streams. Alas, a mature and mathematically rigorous theory is largely limited to the linear case, and even there, the mere computational complexity its tools entail, restrict its use to relatively moderate dimensions. Heuristics fill in the gap, with successions of intuitive patches, with very ...
[לנוסח המלא]
Pixel Club: Topics in Over-parametrized based Variational Methods
event speaker icon
שחר שם-טוב (מדעי המחשב, טכניון)
event date icon
יום חמישי, 28.7.2011, 11:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
We discuss a variational methodology, which involves locally modeling of data from noisy samples, combined with global model parameter regularization. We show that this methodology encompasses many previously proposed algorithms, from the celebrated moving least squares methods to the globally optimal over-parametrization methods recently published for smoothing and optic flow estimation. However, the unified look at the range of problems and methods previously considered also suggests a wealth of novel global functionals and local modeling ...
[לנוסח המלא]
Haifux Club: How to Spread Knowledge Throughout the World While Wearing Only Your Slippers (or Wikimedia, Wikipedia and free content projects)
event speaker icon
תומר אשור
event date icon
יום שני, 25.7.2011, 18:30
event location icon
טאוב 6
Since its first emergence in 2001, Wikipedia had grown drastically to become the fifth most viewed website over the Internet in 2012. With over 12,000,000 articles in more than 250 languages this is now the largest source of information ever existed. The Wikimedia foundation has been founded in 2003 as a non-profit organization to support Wikipedia as well as other online and offline free content projects.
[לנוסח המלא]
Finding a job and the two body problem
event speaker icon
אבינתן חסידים (אורח מיוחד)
event date icon
יום חמישי, 21.7.2011, 14:30
event location icon
חדר 337-8 טאוב.
Colloq_CS_EE: String Reconstruction from Substring Compositions
event speaker icon
פרופ' אלון אורליצקי (אונ' קליפורניה בסן דיאגו)
event date icon
יום רביעי, 20.7.2011, 13:30
event location icon
חדר 1003, בניין מאייר, הפקולטה להנדסת חשמל
Motivated by mass-spectrometry protein sequencing, we consider the simple problem of reconstructing a string from its substring compositions. Relating the question to the long-standing turnpike problem, polynomial factorization, and cyclotomic polynomials, we cleanly characterize the lengths of reconstructable strings and the structure of non-reconstructable ones. The talk is elementary and self contained and covers work with Jayadev Acharya, Hirakendu Das, Olgica Milenkovic, and Shengjun Pan.
[לנוסח המלא]
Handovers with Forward Admission Control for Adaptive TCP Streaming in Multihop Wireless Networks
event speaker icon
אניה לוין
event date icon
יום רביעי, 13.7.2011, 15:00
event location icon
טאוב 601
Media streaming over TCP is becoming popular because TCP's congestion control provides remarkable stability to the Internet. However, TCP also introduces significant latency and throughput variability in the presence of mobility and frequent handovers. The effect of handovers can be mitigated if the packets received by the old base station during handover are forwarded to the new base station. When the bandwidth of the backbone is scarce, as in a multihop wireless network, packet forwarding ...
[לנוסח המלא]
Bioinformatics Forum: Identity by Descent in Medical and Population Genetics
event speaker icon
איציק פאר (אונ' קולומביה)
event date icon
יום רביעי, 13.7.2011, 13:30
event location icon
טאוב 701
Abstract: Shared segments that are Identical-by-Descent (IBD) from a recent common ancestor of purported unrelateds provide unique source of information for population and medical genetics: IBD addresses recent, rare variation, and is therefore key for interpreting data on the seam between SNP-array and sequencing studies. We have developed a rapid algorithm to efficiently detect IBD segments, enabling such analysis in large cohorts. We formalize this analysis in the context of a likelihood model, and show ...
[לנוסח המלא]
Selective Prediction of Financial Trends with Hidden Markov Models
event speaker icon
דמיטרי פידן
event date icon
יום רביעי, 13.7.2011, 13:00
event location icon
טאוב 601
Focusing on short term trend prediction in a financial context we consider the problem of selective prediction whereby the predictor can abstain from prediction in order to improve its performance. The main characteristic of selective predictors is the trade-off they exhibit between error and coverage rates. In the context of classification selective prediction is termed "classification with a reject option", and there the main idea for implementing rejection is Chow's ambiguity principle In this talk ...
[לנוסח המלא]
Theory Seminar: Dispersers for Affine Sources with Sub-Polynomial Entropy
event speaker icon
רונן שאלתיאל (אונ' חיפה)
event date icon
יום רביעי, 13.7.2011, 10:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
We construct an explicit disperser for affine sources over $\F_2^n$ with entropy $k=2^{\log^{0.9} n}=n^{o(1)}$. This is a polynomial time computable function $D:\F_2^n \to \set{0,1}$ such that for every affine space $V$ of $\F_2^n$ that has dimension at least $k$, $D(V)=\set{0,1}$. This improves the best previous construction of Ben-Sasson and Kopparty that achieved $k = \Omega(n^{4/5})$ and is the first pseudorandom object for affine sources with entropy less than $\sqrt{n}$. Our technique follows a high level ...
[לנוסח המלא]
Theory Seminar: On the Complexity of Powering in Finite Fields
event speaker icon
סווסטיק קופרארטי (IAS ואונ' ראטגרס)
event date icon
יום רביעי, 6.7.2011, 12:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
We study the complexity of powering in GF(2^n) by constant depth arithmetic circuits over GF(2) (also known as AC0(parity)). Our study encompasses basic arithmetic operations such as computing cube-roots and cubic-residuosity of elements of GF(2^n). Our main result is that these operations require exponential size circuits. We also derive strong average-case versions of these results. For example, we show that no subexponential-size, constant-depth, arithmetic circuit over GF(2) can correctly compute the cubic residue symbol for ...
[לנוסח המלא]
Pixel Club: Multiscale Ultrawide Foveated Video Extrapolation
event speaker icon
עמית איידס (הנדסת חשמל)
event date icon
יום רביעי, 6.7.2011, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Video extrapolation is the task of extending a video beyond its original field of view. Extrapolating video in a manner that is consistent with the original video and visually pleasing is difficult. In this work we aim at very wide video extrapolation which increases the complexity of the task. Some video extrapolation methods simplify the task by using a rough color extrapolation. A recent approach focuses on artifact avoidance and run time reduction using foveated ...
[לנוסח המלא]
ceClub: Highly Efficient Synchronization Techniques
event speaker icon
פנגיוטה פאטורו (Forth-ICS)
event date icon
יום רביעי, 6.7.2011, 11:30
event location icon
טאוב 3
We present highly-efficient synchronization techniques and experimentally show that these techniques outperform most state of the art lock-based and lock-free synchronization mechanisms. One of the techniques ensures, in addition, wait-freedom. We have used these techniques to implement common concurrent data structures, like stacks and queues. Our experiments show that these data structure implementations have much better performance than state of the art shared stack and queue implementations which ensure only weaker progress properties than one ...
[לנוסח המלא]
CGGC Seminar: An Interpolatory Subdivision Scheme for Positive Definite Matrices
event speaker icon
אורי איתי (מתמטיקה שימושית, טכניון)
event date icon
יום ראשון, 3.7.2011, 13:00
event location icon
חדר 337, בניין טאוב למדעי המחשב
Symmetric positive definite matrices are widely used. Diffusion kernels, Curvature, Optimization and many more. However, Symmetric positive definite matrices are not a group and form an open unbounded manifold. Thus, not clear how to efficiently interpolate such data. In this lecture we give such a subdivision interpolation scheme based on the geodes in the Rieman metric of the Symmetric positive definite matrices. We prove convergences and smoothness and in addition spectral properties as well. This ...
[לנוסח המלא]
Theory Seminar: Testing Odd-Cycle-Freeness in Boolean Functions
event speaker icon
ארנב בטצ'ריה, MIT
event date icon
יום חמישי, 30.6.2011, 12:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
Call a function f : {0,1}^n -> {0,1} odd-cycle-free if there are no x_1, ..., x_k in {0,1}^n with k an odd integer such that f(x_1) = ... = f(x_k) = 1 and x_1 + ... + x_k = 0. We show that one can distinguish odd-cycle-free functions from those eps-far from being odd-cycle-free by making poly(1/eps) queries to an evaluation oracle. To obtain this result, we use connections between Fourier analysis and spectral graph ...
[לנוסח המלא]
Experimental Classical Alice Quantum Key Distribution Protocol
event speaker icon
פבל גורביץ'
event date icon
יום רביעי, 29.6.2011, 13:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
We present the first experimental realization of a new semi-classical quantum key distribution (QKD) protocol called classical Alice (with mirror) and its security analysis. The field of quantum information and computation is relatively new and rapidly emerging field of science, and secure key distribution is one of the most prominent practical applications in this area. Unlike other conventional key distribution schemes --- to which we refer as classical --- that rely on (not fully proved) ...
[לנוסח המלא]
Theory Seminar: High Rate Error Correcting Codes with Sublinear Time Decoding
event speaker icon
שובהנגי שרף, MIT ו-LAS
event date icon
יום רביעי, 29.6.2011, 12:30
event location icon
טאוב 9
Locally decodable codes are error-correcting codes that admit efficient decoding algorithms: They give a method to encode k bit messages into n bit codewords such that even after a constant fraction of the bits of the codeword get corrupted any bit of the original message can be recovered by only looking at q(k) bits of the corrupted codeword. The tradeoff between the rate of a code (i.e., the ratio k/n) and the locality/efficiency (the function ...
[לנוסח המלא]
Coding Theory and Projective Spaces
event speaker icon
נטליה זילברשטיין
event date icon
יום שלישי, 28.6.2011, 12:30
event location icon
טאוב 601
The projective space of order n over the finite field F is the set of all the subspaces of the vector space F^n. A code C in the projective space is defined as a subset of the projective space, i.e., the codewords in C are subspaces of F^n. If all the codewords in C have the same dimension, then C is called a constant dimension code. These codes gained renewed interest due to the work ...
[לנוסח המלא]
Pixel Club: Scalability of Visual Recognition: Fitting Computational Resources for the Task
event speaker icon
אמנון שעשוע (האונ' העברית בירושלים)
event date icon
יום שלישי, 28.6.2011, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Hierarchical spatial decompositions are a basic modeling tool in a variety of application domains including scientific visualization, finite element analysis and shape modeling and analysis. A popular class of such approaches is based on the regular simplex bisection operator, which bisects simplices (e.g. line segments, triangles, tetrahedra) along the midpoint of a predetermined edge. Regular simplex bisection produces adaptive simplicial meshes of high geometric quality, while simplifying the extraction of crack-free, or conforming, approximations to ...
[לנוסח המלא]
Haifux Club: GPIO, SPI, and I2C Control from Userspace, the True Linux Way
event speaker icon
ברוך שיח - TK מערכות פתוחות
event date icon
יום שני, 27.6.2011, 18:30
event location icon
טאוב 6
General Purpose Input/Output (GPIO), Serial Peripheral Interface (SPI), and Inter-Integrated Circuit (I2C), are common methods for digital communication between electronic components. The Linux kernel, being a popular choice for embedded solutions, provides a general abstraction layer for each of those communication methods. Modern Linux kernels also include drivers for many hardware modules implementing GPIO, SPI, or I2C. The abstraction layers provide a generic way to communicate with electronic devices, which is independent from the details ...
[לנוסח המלא]
Pixel Club: Diamond-based Models for ScientificVisualization
event speaker icon
קנת' וייס (אונ' מרילנד)
event date icon
יום שני, 27.6.2011, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
will describe some recent work towards scaling the process of visual recognition to handle thousands of objects classes on a limited computational budget. Formally, the system is designed such that the computational resources grow sub-linearly (poly-logarithmic) with the number of classes. This also implies that features used for recognition should be shared by several classes. Work done jointly with Shai Shalev-Schwartz and Yonatan Wexler
[לנוסח המלא]
CGGC Seminar: Efficient Algorithms for Freeform Geometric Models
event speaker icon
מיונג-סו קים (אונ' סיאול, קוראה)
event date icon
יום ראשון, 26.6.2011, 13:00
event location icon
חדר 337, בניין טאוב למדעי המחשב
We present a new approach to the development of efficient geometric algorithms for freeform curves and surfaces. Preprocessing the given curves and surfaces and representing them in a hierarchical data structure, we show that a variety of geometric algorithms can be greatly accelerated. We demonstrate the effectiveness of this approach by developing real-time algorithms for collision detection, minimum and Hausdorff distance computation, convex hull computation for freeform models. This is a joint work with Yong-Joon ...
[לנוסח המלא]
PRIME - Programming with Millions of Examples
event speaker icon
אלון משנה
event date icon
יום רביעי, 22.6.2011, 15:30
event location icon
טאוב 601
We present the PRIME tool which utilizes static specification mining techniques to extract useful specifications of library APIs from a large number of code fragments that use it, and then uses data mining techniques to aggregate the samples into use-cases and sort them according to popularity and complexity. Programming is becoming more and more about using frameworks and libraries, with most of them designed to support a wide range of usage scenarios. Typically, a programmer ...
[לנוסח המלא]
Theory Seminar: Almost Settling the Hardness of Noncommutative Determinant
event speaker icon
פלהדה הרשה (מכון מחקר מומבאי, הודו)
event date icon
יום רביעי, 22.6.2011, 13:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
The determinant and the permanent of a matrix, though deceivingly similar in their definitions, behave very differently with respect to how efficiently one can compute these quantities. The determinant of a matrix over a field can be easily computed via Gaussian elimination while computing the permanent, as shown by Valiant, is at least as hard as counting the number of satisfiable assignments to a Boolean formula. Given this, it is natural to ask "over which ...
[לנוסח המלא]
ceClub: Network Science - A Network of Sciences
event speaker icon
אריאל אורדע (הנדסת חשמל, טכניון)
event date icon
יום רביעי, 22.6.2011, 11:30
event location icon
חדר 861, בניין מאייר, הפקולטה להנדסת חשמל
Network Science is a newly emerging discipline with applications in a variety of domains, such as Communication Networks, Power Grid Networks, Transportation Networks, Social Networks and Biological Networks. Focusing on communication networks, we shall discuss what network science should be and what it should consist of. The talk will also feature some historical anecdotes, tracing back to ancient times. Further details would be a spoiler.
[לנוסח המלא]
Information Rates for Channels with Synchronization Errors
event speaker icon
Paul H. Siegel
event date icon
יום שלישי, 21.6.2011, 14:30
event location icon
טאוב 6
Pixel Club: Semi-Supervised Learning in Gigantic Image Collection
event speaker icon
יאיר וייס (האונ' העברית בירושלים)
event date icon
יום שלישי, 21.6.2011, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
With the advent of the Internet it is now possible to collect hundreds of millions of images for computer vision. These images come with varying degrees of label information. "Clean" labels can be manually obtained on a small fraction, "noisy labels" may be extracted automatically from surrounding text, while for most images there are no labels at all. Semi-supervised learning is a principled framework for combining these different label sources. However, it scales polynomially with ...
[לנוסח המלא]
Efficient and Explicit Coding for Interactive Communication
event speaker icon
Amit Sahai
event date icon
יום ראשון, 19.6.2011, 14:30
event location icon
חדר 337-8 טאוב.
CGGC Seminar: Geometry-driven Image Manipulation
event speaker icon
ליאנג ליו (אונ' ג'יאנג, סין)
event date icon
יום חמישי, 16.6.2011, 10:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
The talk will include two parts. In the first part, I will present an overview of my research in geometry processing, including mesh parameterization, surface reconstruction, shape analysis and segmentation. In the second part, I will describe my recent work on geometry-driven image manipulation, including mesh-warping based image retargeting, photo composition optimization and parametric human reshaping.
[לנוסח המלא]
Pixel Club: Geometry-driven Image Manipulation
event speaker icon
ליגאנג ליו (אונ' ז'ג'אנג, סין)
event date icon
יום חמישי, 16.6.2011, 10:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
The talk will include two parts. In the first part, I will present an overview of my research in geometry processing, including mesh parameterization, surface reconstruction, shape analysis and segmentation. In the second part, I will describe my recent work on geometry-driven image manipulation, including mesh-warping based image retargeting, photo composition optimization and parametric human reshaping.
[לנוסח המלא]
Coding Techniques for Burst Errors
event speaker icon
תום קולן
event date icon
יום רביעי, 15.6.2011, 16:00
event location icon
in טאוב 601
List decoding of error-correcting codes is a generalization of unique decoding: while unique decoding relates to the case where the decoder outputs only one word (the correct codeword), list decoding allows to output a list of codewords, as long as the correct codeword is included in the list. Codes for burst error correction have been studied mainly for the purpose of unique decoding. Understanding list decoding of burst errors is desirable for reliable delivery of ...
[לנוסח המלא]
Smaller Footprint for Java Collections
event speaker icon
יובל שמרון
event date icon
יום רביעי, 15.6.2011, 14:00
event location icon
טאוב 601
In dealing with the container bloat problem, we identify five memory compaction techniques, which can be used to reduce the footprint of the small objects that make these containers. Using these techniques, we describe two alternative methods for more efficient encoding of the JRE's ubiquitous HashMap data structure, and present a mathematical model in which the footprint of this can be analyzed. First of this is our fused-hashing encoding method, which reduces memory overhead by ...
[לנוסח המלא]
Bioinformatics Forum: Molecular Recognition in Presence of Competition and Noise
event speaker icon
יונתן סביר (מכון ויצמן למדע)
event date icon
יום רביעי, 15.6.2011, 13:30
event location icon
טאוב 701
Molecular recognition plays a key role in processing information in biological systems which rely on the ability of bio-molecules to specifically recognize each other. However, the crowded biological environment contains a vast variety of molecules that are often structurally similar and may compete with the "right" target. Thus, the recognition process is prone to false binding, which introduces errors and may impair the proper information flow and must be taken into account in the design ...
[לנוסח המלא]
Theory Seminar: Leakage-Resilient Zero-Knowledge
event speaker icon
סנג'אם גראג (UCLA)
event date icon
יום רביעי, 15.6.2011, 12:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
We initiate a study of zero knowledge proof systems in the presence of side-channel attacks. Specifically, we consider a setting where a cheating verifier is allowed to obtain arbitrary bounded leakage on the entire state (including the witness and the random coins) of the prover during the entire protocol execution. We formalize a meaningful definition of leakage-resilient zero knowledge (LR-ZK) proof system, that intuitively guarantees that the protocol does not yield anything beyond the validity ...
[לנוסח המלא]
ceClub: Estimating Sizes of Social Networks via Biased Sampling
event speaker icon
לירן קציר (יאהו! מעבדות ישראל)
event date icon
יום רביעי, 15.6.2011, 11:30
event location icon
חדר 861, בניין מאייר, הפקולטה להנדסת חשמל
Online social networks have become very popular in recent years and their number of users is already measured in many hundreds of millions. For various commercial and sociological purposes, an independent estimate of their sizes is important. In this work, algorithms for estimating the number of users in such networks are considered. The proposed schemes are also applicable for estimating the sizes of networks' sub-populations. The suggested algorithms interact with the social networks via their ...
[לנוסח המלא]
The Price for Perfect Secrecy
event speaker icon
Stefan Wolf
event date icon
יום שלישי, 14.6.2011, 14:30
event location icon
חדר 337-8 טאוב.
Haifux Club: The Anatomy of a PCI/PCI Express Kernel Driver
event speaker icon
אלי בילאר
event date icon
יום שני, 13.6.2011, 18:30
event location icon
טאוב 6
General Purpose Input/Output (GPIO), Serial Peripheral Interface (SPI), and Inter-Integrated Circuit (I2C), are common methods for digital communication between electronic components. The Linux kernel, being a popular choice for embedded solutions, provides a general abstraction layer for each of those communication methods. Modern Linux kernels also include drivers for many hardware modules implementing GPIO, SPI, or I2C. The abstraction layers provide a generic way to communicate with electronic devices, which is independent from the details ...
[לנוסח המלא]
Towards lower bounds on locally testable codes
event speaker icon
מיכאל וידרמן
event date icon
יום חמישי, 2.6.2011, 14:30
event location icon
טאוב 601
A Probabilistically Checkable Proof (PCP) is a proof that allows checking the validity of a statement by reading only a constant number of symbols of the proof. The PCP theorem (AS98, ALMSS98) asserts the existence of PCPs of polynomial length for any claim that can be stated as membership in an NP set. Surprisingly, all know constructions of PCPs use Locally Testable Codes (LTCs) as their combinatorial core. An LTC is an error-correcting code that ...
[לנוסח המלא]
Towards lower bounds on locally testable codes
event speaker icon
מיכאל וידרמן
event date icon
יום חמישי, 2.6.2011, 14:30
event location icon
טאוב 601
A Probabilistically Checkable Proof (PCP) is a proof that allows checking the validity of a statement by reading only a constant number of symbols of the proof. The PCP theorem (AS98, ALMSS98) asserts the existence of PCPs of polynomial length for any claim that can be stated as membership in an NP set. Surprisingly, all know constructions of PCPs use Locally Testable Codes (LTCs) as their combinatorial core. An LTC is an error-correcting code that ...
[לנוסח המלא]
Towards lower bounds on locally testable codes
event speaker icon
מיכאל וידרמן
event date icon
יום חמישי, 2.6.2011, 14:30
event location icon
טאוב 601
A Probabilistically Checkable Proof (PCP) is a proof that allows checking the validity of a statement by reading only a constant number of symbols of the proof. The PCP theorem (AS98, ALMSS98) asserts the existence of PCPs of polynomial length for any claim that can be stated as membership in an NP set. Surprisingly, all know constructions of PCPs use Locally Testable Codes (LTCs) as their combinatorial core. An LTC is an error-correcting code that ...
[לנוסח המלא]
Towards lower bounds on locally testable codes
event speaker icon
מיכאל וידרמן
event date icon
יום חמישי, 2.6.2011, 14:30
event location icon
טאוב 601
A Probabilistically Checkable Proof (PCP) is a proof that allows checking the validity of a statement by reading only a constant number of symbols of the proof. The PCP theorem (AS98, ALMSS98) asserts the existence of PCPs of polynomial length for any claim that can be stated as membership in an NP set. Surprisingly, all know constructions of PCPs use Locally Testable Codes (LTCs) as their combinatorial core. An LTC is an error-correcting code that ...
[לנוסח המלא]
Towards lower bounds on locally testable codes
event speaker icon
מיכאל וידרמן
event date icon
יום חמישי, 2.6.2011, 14:30
event location icon
טאוב 601
A Probabilistically Checkable Proof (PCP) is a proof that allows checking the validity of a statement by reading only a constant number of symbols of the proof. The PCP theorem (AS98, ALMSS98) asserts the existence of PCPs of polynomial length for any claim that can be stated as membership in an NP set. Surprisingly, all know constructions of PCPs use Locally Testable Codes (LTCs) as their combinatorial core. An LTC is an error-correcting code that ...
[לנוסח המלא]
Reconstructing Graphs Using Edge Counting Queries
event speaker icon
חנא מזאווי
event date icon
יום רביעי, 1.6.2011, 13:30
event location icon
טאוב 601
In this thesis we study three well known combinatorial search problems in various settings: The coin weighing problem, the problem of reconstructing graphs using additive queries and the problem of reconstructing hypergraphs using additive queries. All of the three combinatorial search problems share a common structure. In each problem we have a set of objects called a \emph{universe} or an \emph{instance space}. From the instance space a unique object is selected, we call it the ...
[לנוסח המלא]
Theory Seminar: Directed Spanners via Flow-Based Linear Programs
event speaker icon
מיכאל דיניץ (מכון ויצמן למדע)
event date icon
יום רביעי, 1.6.2011, 12:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
A k-spanner of a given graph is a subgraph that preserves all distances within factor k. This notion is useful in several contexts, from distributed computing to property testing. By examining spanners through flow-based linear programming relaxations, we design an O(n^{2/3})-approximation algorithm for the directed k-spanner problem that works for all k. This is the first sublinear approximation for arbitrary edge-lengths. We also design a different rounding scheme with a better approximation ratio for the ...
[לנוסח המלא]
Escher For Real: on the synergy between science and art
event speaker icon
Gershon Elber
event date icon
יום שלישי, 31.5.2011, 14:30
event location icon
חדר 337-8 טאוב.
Haifux Club: How to Spread Knowledge Throughout the World While Wearing Only Your Slippers (or Wikmedia, Wikipedia and free content projects)
event speaker icon
תומר אשור
event date icon
יום שני, 30.5.2011, 18:30
event location icon
טאוב 6
Since its first emergence in 2001, Wikipedia had grown drastically to become the fifth most viewed website over the Internet in 2012. With over 12,000,000 articles in more than 250 languages this is now the largest source of information ever existed. The Wikimedia foundation has been founded in 2003 as a non-profit organization to support Wikipedia as well as other online and offline free content projects. In this talk I will present Wikipedia and other ...
[לנוסח המלא]
Explicit Dimension Reduction and its Applications
event speaker icon
זהר קרנין
event date icon
יום רביעי, 25.5.2011, 14:30
event location icon
טאוב 601
We construct a small set of explicit linear transformations mapping R^n to R^t, where t=O(log(\gamma^{-1}) \epsilon^{-2}), such that the L_2 norm of any vector in R^n is distorted by at most 1 \pm \epsilon in at least a fraction of 1-\gamma of the transformations in the set. Albeit the tradeoff between the size of the set and the success probability is sub-optimal compated with probablistic arguments, we nevertheless are able to apply our construction to ...
[לנוסח המלא]
Preserving Correctness Under Relaxed Memory Models
event speaker icon
מיכאל קופרשטיין
event date icon
יום רביעי, 25.5.2011, 12:30
event location icon
טאוב 601
We present an approach for automatic verification of concurrent programs running under relaxed memory models. Verification under relaxed memory models is a hard problem. Given a finite state program and a safety specification, verifying that the program satisfies the specification under a sufficiently relaxed memory model is undecidable. For somewhat stronger memory models, the problem is decidable but has non-primitive recursive complexity. We use abstract interpretation to provide a verification procedure for programs running under ...
[לנוסח המלא]
Theory Seminar: Linear Index Coding via Semidefinite Programming
event speaker icon
עדן קלמטק (אונ' ת"א)
event date icon
יום רביעי, 25.5.2011, 12:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
In the index coding problem, introduced by Birk and Kol (INFOCOM, 1998), the goal is to transmit n bits to n receivers (one bit to each), where the receivers reside at the nodes of a graph G and have prior access to the bits corresponding to their neighbors in the graph (side information). The objective is to find a code word of minimum length which will allow each receiver to learn their own bit given ...
[לנוסח המלא]
ceClub: Orleans: A Programming Model for the Cloud
event speaker icon
גבריאל קליאוט (מיקרוסופט)
event date icon
יום רביעי, 25.5.2011, 11:30
event location icon
טאוב 3
What if you could build the next Facebook or Twitter with just a few hundred lines of code ? and scale it to hundreds of millions of users across thousands of servers, right out of the box? Orleans is a cloud programming model and runtime from Microsoft Research, which can make this the new "norm". Orleans is a software framework for building 'client + cloud' applications. It encourages the use of simple concurrency patterns that ...
[לנוסח המלא]
Pixel Club: Diffusion Framework for Geometric and Photometric Data Fusion in Non-rigid Shape Analysis
event speaker icon
ארטיום קובנסקי (מתמטיקה שימושית, טכניון)
event date icon
יום שלישי, 24.5.2011, 11:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
In this work, we explore the use of the diffusion geometry framework for the fusion of geometric and photometric information in local and global shape descriptors. Our construction is based on the def- inition of a di ffusion process on the shape manifold embedded into a high-dimensional space where the embedding coordinates represent the photometric information. Experimental results show that such data fu- sion is useful in coping with di fferent challenges of shape analysis ...
[לנוסח המלא]
Pixel Club: Clustering and Approximating High-Dimensional Streaming Data using Coresets
event speaker icon
דן פלדמן (מכון טכנולוגי, קליפורניה)
event date icon
יום ראשון, 22.5.2011, 11:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
Data analysis of massive data sets is common today for web-search (e.g. Google), social networking (e.g. Facebook), financial applications, supermarkets, bioinformatics and many other fields. A coreset (or, core-set) for a given problem is a "compressed" representation of its input, in the sense that a solution for the problem with the (small) coreset as input would yield an approximate solution to the problem with the original (large) input. Using traditional techniques, a coreset usually implies ...
[לנוסח המלא]
Confidence Estimation in Structured Prediction
event speaker icon
אביחי מאיר
event date icon
יום רביעי, 18.5.2011, 12:30
event location icon
טאוב 601
Structured classification tasks such as sequence labeling and dependency parsing have seen much interest by the Natural Language Processing and the machine learning communities. Several online learning algorithms were adapted for structured tasks such as Perceptron, Passive-Aggressive and the recently introduced Confidence-Weighted learning . These online algorithms are easy to implement, fast to train and yield state-of-the-art performance. However, unlike probabilistic models like Hidden Markov Model and Conditional random fields, these methods generate models that ...
[לנוסח המלא]
Theory Seminar: Hadamard Product of Polynomials and the Identity Testing Problem
event speaker icon
פושקר ג'גלקר (המכון למתמטיקה בצ'נאי, הודו)
event date icon
יום רביעי, 18.5.2011, 12:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
Motivated by the Hadamard product of matrices we define the Hadamard product of noncommutative multivariate polynomials and study its arithmetic circuit and branching program complexity. We also give applications and connections to polynomial identity testing. One of our main results is a tight characterization of polynomial identity testing for noncommutative algebraic branching programs over the field of rationals(we show the problem is complete for logspace counting class C=L). We also study the complexity of similar ...
[לנוסח המלא]
ceClub: How Secure are Secure Internet Routing Protocols?
event speaker icon
שרון גולדברג (מדעי המחשב, אונ' בוסטון)
event date icon
יום רביעי, 18.5.2011, 11:30
event location icon
חדר 861, בניין מאייר, הפקולטה להנדסת חשמל
A decade of research has been devoted to addressing vulnerabilities in global Internet routing system. The result is a plethora of security proposals, each providing a different set of security guarantees. To inform decisions about which proposal should be deployed in the Internet, we present the first side-by-side quantitative comparison of the major security variants. We evaluate security variants on the basis of their ability to prevent one of the most fundamental forms of attack, ...
[לנוסח המלא]
Pixel Club: Unsupervised Supervised Learning: Who Needs Labels Anyway?
event speaker icon
גיא לבנון (המכון הטכנולוגי של ג'ורג'יה, ארה"ב)
event date icon
יום רביעי, 18.5.2011, 10:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
I will describe two recent results in unsupervised supervised learning (performing supervised learning tasks without labels). The first result concerns evaluating the accuracy of classifiers and regression models without labels. The second concerns training margin based classifiers such as SVM or logistic regression for high dimensional data without labels.
[לנוסח המלא]
Maximizing Submodular Set Functions Subject to Multiple Linear Constraints
event speaker icon
Hadas Shachnai
event date icon
יום שלישי, 17.5.2011, 14:30
event location icon
חדר 337-8 טאוב.
Pixel Club: Diffusion-geometric Maximally Stable Component Detection in Deformable Shapes
event speaker icon
רועי ליטמן (אונ' ת"א)
event date icon
יום שלישי, 17.5.2011, 11:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
Maximally stable component detection is a very popular method for feature analysis in images, mainly due to its low computation cost and high repeatability. With the recent advance of feature-based methods in geometric shape analysis, there is significant interest in finding analogous approaches in the 3D world. In this paper, we formulate a diffusion-geometric framework for stable component detection in non-rigid 3D shapes, which can be used for geometric feature detection and description. A quantitative ...
[לנוסח המלא]
A Unified Formal Approach To Garbage Collection
event speaker icon
Prof. Peter Pepper SPECIAL GUEST LECTURE
event date icon
יום חמישי, 12.5.2011, 14:30
event location icon
חדר 337-8 טאוב.
Theory Seminar: Using Random Restrictions for Algorithmic Analysis
event speaker icon
ראול סנתנאם (אונ' אדינבורג)
event date icon
יום רביעי, 11.5.2011, 12:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
Random restrictions are commonly used for proving complexity lower bounds, eg. lower bounds on constant-depth circuits (Ajtai, Furst-Saxe-Sipser, Yao, Hastad) and lower bounds on formula size (Subbotovskaya, Impagliazzo-Nisan, Paterson-Zwick, Hastad). I will show how to use results on random restrictions to bound the running time of certain algorithms for Satisfiability which beat brute-force search. Specifically I will present an algorithm which runs in time 2^{n - \Omega(n)} on Boolean formulae of linear size and an ...
[לנוסח המלא]
Functional genomics-based approach for reconstructing metabolic network models
event speaker icon
אדוארד ויטקין
event date icon
יום רביעי, 11.5.2011, 12:30
event location icon
טאוב 601
Reconstruction of genome-scale metabolic networks is considered as key step in quantifying the genotype-phenotype relationship. A major computational challenge involved in the reconstruction process is the identification of missing reactions in a metabolic network a process commonly referred to as gap-filling. Here, we present a novel gap-filling approach, MetabolIc Reconstruction via functionAl GEnomics (MIRAGE) that searches for missing reactions required to catalyze metabolic flux under steady-state whose presence is supported by various functional genomic data. ...
[לנוסח המלא]
ceClub: A Shape Analysis for Optimizing Parallel Graph Programs
event speaker icon
רומן מנביץ (אונ' טקסס באוסטין)
event date icon
יום רביעי, 11.5.2011, 11:30
event location icon
טאוב 3
In the first part of the talk I will give a high-level introduction to Galois, a framework for designing and implementing parallel graph algorithms and related concepts. I will explain what are ordered/unordered graph algorithms and how optimistic parallelism is achieved using transactional boosting. In the second part of the talk I will describe a new shape analysis, which is used for analyzing graph algorithms written with Galois. The shape analysis infers properties that can ...
[לנוסח המלא]
ceClub: How to win Friends and Influence People, Truthfully
event speaker icon
ירון סינגר (ברקלי, קליפורניה)
event date icon
יום חמישי, 5.5.2011, 14:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
Throughout the past decade there has been extensive research on algorithmic and data mining techniques for solving the problem of influence maximization in social networks: if one can convince a subset of individuals to influence their friends to adopt a new product or technology, which subset should be selected so that the spread of influence in the social network is maximized? Despite the progress in modeling and techniques, the incomplete information aspect of problem has ...
[לנוסח המלא]
How to win Friends and Influence People, Truthfully
event speaker icon
Yaron Singer SPECIAL GUEST LECTURE
event date icon
יום חמישי, 5.5.2011, 14:30
event location icon
חדר 337-8 טאוב.
Black-Box Identity Testing of Depth-4 Multilinear Circuits
event speaker icon
איליה וולקוביץ
event date icon
יום רביעי, 4.5.2011, 12:30
event location icon
טאוב 337
A central problem in algebraic complexity theory and algorithms design is the problem of Polynomial Identity Testing (PIT): given an arithmetic circuit $C$ over a field $\F$, with input variables $x_1, x_2, ... , x_n$, determine whether $C$ computes the identically zero polynomial. Numerous applications and connections to other algorithmic and number theoretic problems further emphasize the significance of PIT. Among the examples are algorithms for finding perfect matchings in graphs \cite{Lovasz79,MVV87}, primality testing \cite{AKS04}, ...
[לנוסח המלא]
Theory Seminar: Black-Box Identity Testing of Depth-4 Multilinear Circuits
event speaker icon
איליה וולקוביץ (מדעי המחשב, הטכניון)
event date icon
יום רביעי, 4.5.2011, 12:30
event location icon
חדר 337-8 טאוב.
A central problem in algebraic complexity theory and algorithms design is the problem of Polynomial Identity Testing (PIT): given an arithmetic circuit $C$ over a field $\F$, with input variables $x_1, x_2, ... , x_n$, determine whether $C$ computes the identically zero polynomial. Numerous applications and connections to other algorithmic and number theoretic problems further emphasize the significance of PIT. Among the examples are algorithms for finding perfect matchings in graphs \cite{Lovasz79,MVV87}, primality testing \cite{AKS04}, ...
[לנוסח המלא]
ceClub: Search Flavors - Trends and Opportunities
event speaker icon
יוסי מטיאס (ראש מו"פ, גוגל ישראל)
event date icon
יום רביעי, 4.5.2011, 12:30
event location icon
חדר 1003, בניין מאייר, הפקולטה להנדסת חשמל
This talk will discuss some recent developments in search, emerging in various shapes and forms. We will highlight some challenges, and point to some search trends that play an increasing role in multiple domains. We will also discuss the power of data and the significant role of cloud technologies in facilitation of new opportunities. Some of the core technologies and global innovations developed in Google's R&D center in Israel will be highlighted.
[לנוסח המלא]
The Minimum Weight Cycle Problem
event speaker icon
Liam Roditty
event date icon
יום שלישי, 3.5.2011, 14:30
event location icon
חדר 337-8 טאוב.
Pixel Club: Correspondence-less Approach to Matching of Deformable Shapes
event speaker icon
יונתן פוקראס (אונ' ת"א)
event date icon
יום שלישי, 3.5.2011, 11:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
Finding a match between partially available deformable shapes is a challenging problem with numerous applications. The problem is usually approached by computing local descriptors on a pair of shapes and then establishing a point-wise correspondence between the two. We introduce an alternative correspondence-less approach to matching fragments to an entire shape undergoing a non-rigid deformation. We use diffusion geometric descriptors and optimize over the integration domains on which the integral descriptors of the two parts ...
[לנוסח המלא]
Haifux Club: vIOMMU: Efficient IOMMU Emulation
event speaker icon
נדב עמית (מדעי המחשב, הטכניון)
event date icon
יום שני, 2.5.2011, 18:30
event location icon
טאוב 6
Direct device assignment, where a guest virtual machine directlyinteracts with an I/O device without host intervention, is appealing,because it allows an unmodified (non-hypervisor-aware) guest toachieve near-native performance. But device assignment for unmodifiedguests suffers from two serious deficiencies: (1) it requires pinningof all the guest's pages, thereby disallowing memory overcommitment,and (2) it exposes the guest's memory to buggy device drivers. We solve these problems by designing, implementing, and exposing anemulated IOMMU (vIOMMU) to the unmodified guest. ...
[לנוסח המלא]
Context-Sensitive Query Auto-Completion
event speaker icon
נעמה קראוס
event date icon
יום ראשון, 1.5.2011, 13:30
event location icon
טאוב 601
Query auto completion is known to provide poor predictions of the user's query when her input prefix is very short (e.g., one or two characters). In this work we show that context, such as the user's recent queries, can be used to improve the prediction quality considerably even for such short prefixes. We propose a context-sensitive query auto completion algorithm, NearestCompletion, which outputs the completions of the user's input that are most similar to the ...
[לנוסח המלא]
Theory Seminar: Protocols for Multiparty Coin Toss With Dishonest Majority
event speaker icon
ערן עומרי (אוניברסיטת בר-אילן)
event date icon
יום רביעי, 27.4.2011, 12:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
Generating random bits is a fundamental problem in cryptography. Coin-tossing protocols, which generate a random bit with uniform distribution, are used as a building box in many cryptographic protocols. Cleve [STOC 1986] has shown that if at least half of the parties can be malicious, then, in any $r$-round coin-tossing protocol, the malicious parties can cause a bias of $\Omega(1/r)$ in the bit that the honest parties output. However, for more than two decades the ...
[לנוסח המלא]
ceClub: Side channels in Cloud Services: The Case of Deduplication in Cloud Storage
event speaker icon
בני פנקס (אוניברסיטת בר-אילן)
event date icon
יום רביעי, 27.4.2011, 11:30
event location icon
טאוב 3
The talk will discuss deduplication, a form of compression in which duplicate copies of files are replaced by links to a single copy. Deduplication is known to reduce the space and bandwidth requirements of Cloud storage services by more than 90%, and is most effective when applied across multiple users. We study the privacy implications of cross-user deduplication. We demonstrate how deduplication can be used as a side channel which reveals information about the contents ...
[לנוסח המלא]
Ramsey-type theorems for metric spaces
event speaker icon
Manor Mendel
event date icon
יום שלישי, 26.4.2011, 14:30
event location icon
חדר 337-8 טאוב.
Online Universal Facility Location
event speaker icon
ישראל שלום
event date icon
יום רביעי, 13.4.2011, 14:00
event location icon
טאוב 601
Facility location problems concern assigning requests to servers. The goal is to minimize the total cost which consists of the moving costs and the latency costs. The moving costs depend on the distances between matcheded request/server pairs, while the latency costs depend on the number of requests matched to each server. Facility location problems arise in many natural settings of resource sharing, such as server assignment in cloud computing, network routing and more. Universal Facility ...
[לנוסח המלא]
Bioinformatics Forum: Splicing the Wires: Finding Connections between Biological Networks and the Core **Spliceosome**
event speaker icon
מרטין אקרמן (מעבדות קולד ספרינג הרבור)
event date icon
יום רביעי, 13.4.2011, 13:30
event location icon
טאוב 701
The major spliceosome is a multi-component and highly dynamic complex that carries out the tightly regulated steps of splicing. It is composed of hundreds of proteins, including five small nuclear ribonucleoprotein complexes (snRNPs) that catalyze>99% of all pre-mRNA splicing events. In addition, there are alternative splicing regulators, such as the SR and hnRNP proteins, that either activate or repress a subset of the splicing events. Members of these protein families are known to interact with ...
[לנוסח המלא]
ceClub: Abstraction-Guided Synthesis of Synchronization
event speaker icon
ערן יהב (מדעי המחשב, הטכניון)
event date icon
יום רביעי, 13.4.2011, 11:30
event location icon
טאוב 3
In this talk I will present a framework for synthesizing efficient synchronization in concurrent programs, a task known to be difficult and error-prone when done manually. The framework is based on abstract interpretation and can infer synchronization for infinite state programs. Given a program, a specification, and an abstraction, we infer synchronization that avoids all (abstract) interleavings that may violate the specification, but permits as many valid interleavings as possible. I will show application of ...
[לנוסח המלא]
Haifux Club: How to Spread Knowledge Throughout the World Wikipedia While Wearing Only Your Slippers (or Wikmedia, and free content projects)
event speaker icon
תומר אשור
event date icon
יום שני, 11.4.2011, 18:30
event location icon
טאוב 6
Since its first emergence in 2001, Wikipedia had grown drastically to become the fifth most viewed website over the Internet in 2012. With over 12,000,000 articles in more than 250 languages this is now the largest source of information ever existed. The Wikimedia foundation has been founded in 2003 as a non-profit organization to support Wikipedia as well as other online and offline free content projects. In this talk I will present Wikipedia and other ...
[לנוסח המלא]
Theory Seminar: Approximate Judgement Aggregation
event speaker icon
אילן נחמה (האונ' העברית בירושלים)
event date icon
יום ראשון, 10.4.2011, 12:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
In this work we analyze judgement aggregation problems in which a group of agents independently votes on a set of complex propositions that has some interdependency constraint between them (e.g., transitivity when describing preferences). We generalize the previous results by studying approximate judgement aggregation. We relax the main two constraints assumed in the current literature, Consistency and Independence and consider mechanisms that only approximately satisfy these constraints, that is, satisfy them up to a small ...
[לנוסח המלא]
Pixel Club: Decoding Neural Patterns for Brain-Computer Interfaces
event speaker icon
אריאל טנקוס (הנדסה ביו-רפואית, טכניון)
event date icon
יום ראשון, 10.4.2011, 11:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
Brain-computer interfaces (BCI) are devices that can decode physiological signals from the brain and convert them into actions in a manner that reflects the brain’s intention. Their goal is to replace or restore lost function in paralyzed humans by routing movement-relate​d signals from the brain, around damaged parts of the nervous system, to external effectors. My research is aimed at developing a new generation of brain-computer interfaces at the single cell level with human participants. ...
[לנוסח המלא]
Near-Optimal Private Approximation Protocols via a Black Box Transformation
event speaker icon
David Woodruff SPECIAL GUEST TALK note unusual hour
event date icon
יום חמישי, 7.4.2011, 15:00
event location icon
חדר 337-8 טאוב.
On the Minimal Fourier Degree of Symmetric Boolean Functions
event speaker icon
אבישי טל
event date icon
יום רביעי, 6.4.2011, 14:30
event location icon
טאוב 601
It is well-known that any Boolean function f:{-1,+1}^n \to {-1,+1} can be written uniquely as a polynomial f(x) = \sum_{S subset [n]} f_s \prod_{i in S} x_i. The collection of coefficients (f_S's) this expression are referred to (with good reason) as the Fourier spectrum of f. The Fourier spectrum has played a central role in modern computer science by converting combinatorial and algorithmic questions about f into algebraic or analytic questions about the spectrum. In ...
[לנוסח המלא]
Improved genome-scale metabolic modeling utilizing enzyme kinetic parameters
event speaker icon
רועי אדדי
event date icon
יום רביעי, 6.4.2011, 13:00
event location icon
טאוב 601
Genome-scale metabolic models enable to successfully predict a variety of metabolic phenotype in microorganisms. Still, the integration of metabolic networks with various 'omics' data towards the prediction of metabolic flux remains an open challenge. Here, we show that enzyme kinetic parameters are significantly correlated with measured fluxes in E. coli under various conditions, providing a higher correlation than that achieved by measured gene expression data. Based on the latter, we developed a novel constraint-based modeling ...
[לנוסח המלא]
Theory Seminar: Min-Max Graph Partitioning and Small Set Expansion
event speaker icon
רועי שורץ (מדעי המחשב, טכניון)
event date icon
יום רביעי, 6.4.2011, 12:30
event location icon
טאוב 401
We study graph partitioning problems from a min-max perspective, in which an input graph on $n$ vertices should be partitioned into $k$ parts, and the objective is to minimize the maximum number of edges leaving a single part. The two main versions we consider are where the $k$ parts need to be of equal-size, and where they must separate a set of $k$ given terminals. We consider a common generalization of these two problems, and ...
[לנוסח המלא]
ceClub: Fat-Trees Routing and Node Ordering Providing Contention Free Traffic for MPI Global Collectives
event speaker icon
איתן זהבי (מלנוקס)
event date icon
יום רביעי, 6.4.2011, 11:30
event location icon
חדר 861, בניין מאייר, הפקולטה להנדסת חשמל
As the size of High Performance Computing clusters grows, the increasing probability of interconnect hot spots degrades the latency and effective bandwidth the network provides. This paper presents a solution to this scalability problem for real life constant bisectional-bandwidth fat-tree topologies. It is shown that maximal bandwidth and cut-through latency can be achieved for MPI global collective traffic. To form such congestion-free configuration, MPI programs should utilize collective communication, MPI-node-order should be topology aware, and ...
[לנוסח המלא]
Subexponential lower bounds for randomized pivoting rules for the simplex algorithm
event speaker icon
Uri Zwick
event date icon
יום שלישי, 5.4.2011, 14:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
Pixel Club: Pattern Matching under Non Linear Tone-Mapping
event speaker icon
יעקב הל-אור (המרכז הבינתחומי)
event date icon
יום שלישי, 5.4.2011, 11:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
A fast pattern matching scheme termed Matching by Tone Mapping (MTM) is introduced which allows matching under non-linear tone mappings. We exploit the recently introduced Slice Transform to implement a fast computational scheme requiring computational time similar to the fast implementation of Normalized Cross Correlation (NCC). In fact, the MTM measure can be viewed as a generalization of the NCC for non-linear mappings and actually reduces to NCC when mappings are restricted to be linear. ...
[לנוסח המלא]
Theory Seminar: On the Rank of Design Matrices with Applications
event speaker icon
אמיר יהודיוף (מתמטיקה, טכניון)
event date icon
יום רביעי, 30.3.2011, 12:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
A design matrix is a matrix whose attern of zeos/nonzeros satisfies a certain design-like condition. We will first prove that the rank of any design matrix is high. We shall discuss two applications of this rank lower bound: (1) Impossibility results for 2-query locally correctable codes over real/complex numbers, and (2) generalization of results in combinatorial geometry, for example, a robust analog of the Sylvester-Gallai theorem. Joint work with Boaz Barak, Zeev Dvir and Avi ...
[לנוסח המלא]
ceClub: IBM Watson and the Jeopardy! Challenge
event speaker icon
דוד כרמל ודפנה שיינוולד (י.ב.מ. חיפה)
event date icon
יום רביעי, 30.3.2011, 11:30
event location icon
טאוב 3
Over the last days, millions of viewers witnessed computing history being made as IBM's Watson question answering system defeated Jeopardy! quiz show champions Brad Rutter and Ken Jennings. Watson is an application of advanced natural language processing, information retrieval, knowledge representation and reasoning, and machine learning technologies to the field of open domain question answering. Watson runs on a cluster of 90 IBM Power 750 servers in 10 racks with a total of 2880 POWER7 ...
[לנוסח המלא]
Pixel Club: Unmixing of Images Mixed by Position Varying Media
event speaker icon
אלברט אכטנברג (הנדסת חשמל, טכניון)
event date icon
יום שלישי, 29.3.2011, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
We address the open problem of blindly separating single-path position varying image mixtures, without having prior information about the sources. We assume that the mixing system's spatial distortion and attenuation change with position. A staged method for estimating the mixing models is used in turn to recover source signals from such mixtures. Our method is based on a Staged Sprase Component Analysis (SSCA) of the mixtures. Our method consists of three stages: aligning the signals ...
[לנוסח המלא]
Haifux Club: The Story of Alice and Bob - the I/O Requests (Part II)
event speaker icon
גיא קרן
event date icon
יום שני, 28.3.2011, 18:30
event location icon
טאוב 6
In this story, we'll follow the life story of alice - a file-systemized I/O request, and bob - a raw-device I/O request, from their birth, until they reach heaven (the disk or the USB camera or...). In addition, we will cover some system parameters that affect I/O requests, the buffer cache, disk I/O schedulers and tools used to track and count I/O (including - why is process-based I/O accounting so tricky).
[לנוסח המלא]
CGGC Seminar: Barycentric Interpolation and Mappings on Smooth Convex Domains
event speaker icon
מיכאל פלוטר (אונ' אוסלו)
event date icon
יום חמישי, 24.3.2011, 10:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
In a recent paper, Warren, Schaefer, Hirani, and Desbrun proposed a simple method of interpolating a function defined on the boundary of a smooth convex domain, using an integral kernel with properties similar to those of barycentric coordinates on simplexes. When applied to vector-valued data, the interpolation can map one convex region into another, with various potential applications in computer graphics, such as curve and image deformation. In this paper we establish some basic mathematical ...
[לנוסח המלא]
Theory Seminar: Oblivious RAM without Random Oracles
event speaker icon
סיגורד טורקל מלדגרד (אונ' ארהוס, דנמרק)
event date icon
יום רביעי, 23.3.2011, 12:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
We present an algorithm for implementing a secure oblivious RAM where the access pattern is perfectly hidden in the information theoretic sense, without assuming that the CPU has access to a random oracle. In addition we prove a lower bound on the amount of randomness needed for implementing an information theoretically secure oblivious RAM. Authors: Ivan Damgård, Sigurd Meldgaard, Jesper Buus Nielsen
[לנוסח המלא]
Formulae and Growth Rates of High-Dimensional Polycubes
event speaker icon
Gill Barequet
event date icon
יום שלישי, 22.3.2011, 14:30
event location icon
חדר 337-8 טאוב.
Pixel Club: Filling in the Gaps the Mind's Way: Curve Completion in the Tangent Bundle
event speaker icon
אוהד בן-שחר (אונ' בן-גוריון)
event date icon
יום שלישי, 22.3.2011, 11:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
The phenomenon of visual curve completion, where the visual system completes the missing part (e.g., due to occlusion) between two contour fragments, is a major problem in perceptual organization research. Previous computational approaches for the shape of the completed curve typically follow formal descriptions of desired, image-based perceptual properties (e.g, minimum total curvature, roundedness, etc...). Unfortunately, however, it is difficult to determine such desired properties psychophysically and indeed there is no consensus in the literature ...
[לנוסח המלא]
Unusual Dynamics in Multiphase Flows : (I) Charged Drops, (II) A Variant on Viscous Fingering, and (III) Shear-Enhanced Diffusion
event speaker icon
Prof. Howard A. Stone DISTINGUISHED POLLAK LECTURE
event date icon
יום חמישי, 17.3.2011, 14:30
event location icon
חדר 337-8 טאוב.
Theory Seminar: Submodular Secretary Problems
event speaker icon
מורן פלדמן (מדעי המחשב, טכניון)
event date icon
יום רביעי, 16.3.2011, 12:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
The Classical Secretary Problem was introduced during the 60's of the 20-th century (nobody is sure exactly when). Since its introduction, many variants of the problem have been proposed and researched. In the classical secretary problem, and many of its variant, the input (which is a set of secretaries, or elements) arrives in a random order. We applied to the secretary problem a simple observation which states that the random order of the input can ...
[לנוסח המלא]
Causality, Knowledge and Coordination in Distributed Systems
event speaker icon
עידו בן-צבי
event date icon
יום רביעי, 16.3.2011, 11:30
event location icon
Meyer 861 (Electrical Engineering building)
Coordinating the proper ordering of events across remote sites is a central task of distributed applications. In asynchronous systems, such coordination depends in an essential way upon message chains, as captured by Lamport's happened-before relation. The relation provides a useful approximation of causality, in the sense that in asynchronous systems two event can only be causally related if they are Lamport related. The talk will consider coordination and causality in synchronous systems, where upper bounds ...
[לנוסח המלא]
Bacteria, Biofilms and Fluid Dynamics: Elementary Flows and Unexpected Phenomena
event speaker icon
Prof. Howard A. Stone DISTINGUISHED POLLAK LECTURE
event date icon
יום שלישי, 15.3.2011, 16:00
event location icon
חדר 641 Lady Davis Bld.
The Graver Complexity of Integer Programming
event speaker icon
Shmuel Onn
event date icon
יום שלישי, 15.3.2011, 14:30
event location icon
חדר 337-8 טאוב.
Haifux Club: The Story of Alice and Bob - the I/O Requests (Part I)
event speaker icon
גיא קרן
event date icon
יום שני, 14.3.2011, 18:30
event location icon
טאוב 6
In this story, we'll follow the life story of alice - a file-systemized I/O request, and bob - a raw-device I/O request, from their birth, until they reach heaven (the disk or the USB camera or...). In addition, we will cover some system parameters that affect I/O requests, the buffer cache, disk I/O schedulers and tools used to track and count I/O (including - why is process-based I/O accounting so tricky).
[לנוסח המלא]
CSpecial Talk: Scalable Overlay Design for Topic-Based Publish/Subscribe Systems and Fast Overlay Construction Algorithms
event speaker icon
פרופ' רומן ויטנברג (אונ' אוסלו)
event date icon
יום שני, 14.3.2011, 14:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
Pub-sub is a paradigm for asynchronous communication that is commonly used in a great variety of industrial applications, such as news tickers, delivery of financial data, Military applications, and many others. While client-server communication still remains the prevailing implementation paradigm for pub-sub, its limitations for large-scale applications are widely recognized. Major industrial players such as Google and Tibco are recognizing the potential of cooperative overlays and starting to replace legacy centralized architectures. However, the lack ...
[לנוסח המלא]
Theory Seminar: How Much Commutativity is Needed to Prove Polynomial Identities?
event speaker icon
פבל רובס (אונ' פרינסטון)
event date icon
יום רביעי, 9.3.2011, 12:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
The so called Extended Frege system is one of the most natural propositional proof systems. Whereas we believe that there exist tautologies which require exponential Extended Frege proofs, the best known lower bound is linear. To find even a modestly superlinear lower bound is a challenging open problem. I will discuss a possible approach to this question, which is based on counting the number of commutativity axioms in an Extended Frege proof, which in turn ...
[לנוסח המלא]
ceClub: Portability and Performance of Applications in the Manycore Era
event speaker icon
ארוון רואו, INRIA
event date icon
יום רביעי, 9.3.2011, 11:30
event location icon
טאוב 201
For many years, the frequency of microprocessors has grown at an exponential pace (from 20 MHz in 1990 to 2 GHz in 2000). Since 2002 however, despite considerable effort, the frequency has been plateauing. Advances in technology and micro-architecture now translate into more parallelism. The consequences on the software industry are dramatic: most existing software has been designed with a sequential model in mind, and even parallel applications contain residual sequential sections. The performance of ...
[לנוסח המלא]
The Curious Story of Quantum Logic
event speaker icon
Hilary W. Putnam
event date icon
יום שלישי, 8.3.2011, 14:30
event location icon
חדר 337-8 טאוב.
Pixel Club: Nonlocal Variational Methods for Image Processing
event speaker icon
גיא גלבוע (מתמטיקה, UCLA)
event date icon
יום שלישי, 8.3.2011, 11:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
Variational and PDE-based methods have been extensively used for vision and image-processing tasks such as denoising, segmentation, inpainting, optical flow and more. An underlying assumption is the (piecewise) local correlation between pixels in typical images. Images also exhibit nonlocal correlations in repetitive structures and textures. A coherent mathematical framework for nonlocal regularization will be presented in this talk, which stems from graph theory. The notions of nonlocal derivatives, diffusion processes and regularizers will be defined ...
[לנוסח המלא]
Short-term turning points forecasting in financial time series
event speaker icon
אלכסנדרה פיינבורד
event date icon
יום רביעי, 2.3.2011, 13:30
event location icon
טאוב 601
We consider the problem of forecasting turning points in time series and develop an autoregressive prediction algorithm, that relies on a novel turning point indicator and support vector regression. The algorithm is analyzed and compared to existing methods in the context of financial forecasting.
[לנוסח המלא]
Theory Seminar: Improved Minimum Cuts and Maximum Flows in Undirected Planar Graphs
event speaker icon
יהב נוסבאום (אונ' תל-אביב)
event date icon
יום רביעי, 2.3.2011, 12:30
event location icon
טאוב 701
The problem of finding the minimum s-t cut between a source s and a sink t in a graph is a well-studied problem in computer science. Finding the minimum s-t cut in a planar graph has applications in many fields - from traffic design to computer vision. The geometrical duality between a minimum s-t cut in an undirected planar graph and cycle on the plane that separates t from s was first used by Itai ...
[לנוסח המלא]
ceClub: IBM's PowerEN Developer Cloud: Fertile Ground for Academic Research
event speaker icon
עמית גולנדר, IBM חיפה
event date icon
יום רביעי, 2.3.2011, 11:30
event location icon
טאוב 201
IBM's newest technology, the Power Edge of Network (PowerEN) processor, merges network and server attributes to create a new class of wire-speed processor. PowerEN is a hybrid computer that employs: massive multithreading capabilities, integrated I/O and unique special-purpose accelerators for compression, cryptography, pattern matching, XML and Network processing. As a novel architecture, the PowerEN processor offers fertile ground for research. It can facilitate the development of faster applications in many fields of computer science such ...
[לנוסח המלא]
Deterministic Distributed Vertex Coloring in Polylogarithmic Time
event speaker icon
Leonid Barenboim
event date icon
יום שלישי, 1.3.2011, 14:30
event location icon
חדר 337-8 טאוב.
Haifux Club: UniversAAL: Open Source platform for Ambient Assisted Living and Smart Home Environment
event speaker icon
ואדים אייזנברג (IBM חיפה ומדעי המחשב, הטכניון)
event date icon
יום שני, 28.2.2011, 18:30
event location icon
טאוב 6
I will present two presentations about an EU FP7 IP project I work on, UniversAAL - http://universaal.org/. The goal of the project is to develop an open source platform for Ambient Assisted Living (AAL). Ambient Assisted Living is a kind of Smart Home environment for elderly people - for example, a house equipped with different sensors and in which different devices, sensors and home appliances are networked together and managed by software applications. In addition, ...
[לנוסח המלא]
e-Science: Are we there yet?
event speaker icon
Prof. David Abramson SPECIAL LECTURE note unusual hour
event date icon
יום ראשון, 27.2.2011, 14:00
event location icon
חדר 337-8 טאוב.
ABC - A New Framework for Block Ciphers
event speaker icon
אורי אברהם
event date icon
יום רביעי, 23.2.2011, 13:00
event location icon
טאוב 601
We suggest a new framework for block ciphers named Advanced Block Cipher, or shortly ABC. ABC has additional non-secret parameters that ensure that each call to the underlying block cipher uses a different pseudo-random permutation. It therefore ensures that attacks that require more than one block encrypted under the same secret permutation cannot apply. In particular, this framework protects against dictionary attacks, and differential and linear attacks, and eliminates weaknesses of ECB and CBC modes. ...
[לנוסח המלא]
CGGC Seminar: Space-Time Reconstruction - Understanding Motion
event speaker icon
אלה שפר (אונ' קולומביה הבריטית, וונקובר, קנדה)
event date icon
יום רביעי, 23.2.2011, 11:00
event location icon
טאוב 5
As research on space-time reconstruction matures, we should ask ourselves what information we use to correctly leverage the temporal or motion component of the data. In my talk I will discuss several possible motion priors and their impact on the reconstruction. Specifically, I will address the observation that most changes in shape are gradual, in both intrinsic and Euclidean sense. I will discuss the impact of this observation on the interpretation of shape over time ...
[לנוסח המלא]
Bioinformatics Forum: Stochastic Effects in Viral-infected Dendritic Cells Lead to Efficient Immune Response Activation
event speaker icon
ישי שמעוני (אונ' קולומביה, ניו יורק)
event date icon
יום רביעי, 16.2.2011, 15:30
event location icon
טאוב 701
When monocyte-derived human dendritic cells (DCs) are infected by Newcastle disease virus, the virus is known to be detected by RIG-I proteins, which induces interferon production. Interferon activates a host of genes, including the gene coding RIG-I. Single cell measurements is DCs show large cell to cell variation of 3-4 orders of magnitude at 6-10 hours after infection. In order analyze early times after infection, when reliable direct single cell data cannot be obtained, an ...
[לנוסח המלא]
Cost-Aware Live Migration of Services in the Cloud
event speaker icon
גלעד קותיאל
event date icon
יום רביעי, 16.2.2011, 13:30
event location icon
טאוב 601
Live migration of virtual machines is an important component of the emerging cloud computing paradigm. While live migration provides extreme versatility of management, it comes at a price of degraded service performance during migration. The bulk of studies devoted to live migration of virtual machines focus on the duration of the copy phase as a primary metric of migration performance. While shorter down times are clearly desirable, the pre-copy phase imposes an overhead on the ...
[לנוסח המלא]
Haifux Club: Encryption - Alice, Bob and Co. - Amichay Peretz Klopshtock
event speaker icon
עמיחי פרץ קלופשטוק
event date icon
יום שני, 14.2.2011, 18:30
event location icon
טאוב 6
In this lecture I'll talk about the encryption methods that were common through history, How to use them, what their weaknesses are and how you can break them. During the lecture I will give examples. The audience is requested to bring writing equipment and paper. No previous background required.
[לנוסח המלא]
The PARIS Algorithm for Determining Latent Topics
event speaker icon
Michal Aharon
event date icon
יום שלישי, 8.2.2011, 14:30
event location icon
חדר 337-8 טאוב.
Density-Driven Publish Subscribe Service for Mobile Ad-Hoc Networks
event speaker icon
אנה קפלון
event date icon
יום רביעי, 2.2.2011, 16:00
event location icon
טאוב 601
We study a publish/subscribe service for mobile ad-hoc networks. Mobile Ad-Hoc Networks (MANETs) are formed by a collection of mobile nodes, each equipped with wireless communication capabilities, without relying on any fixed infrastructure or centralized administration. A publish/subscribe system is responsible for delivering data from a source to interested users. A user expresses interest in receiving certain data by submitting a predicate about corresponding data content. In this talk, we introduce the density driven virtual ...
[לנוסח המלא]
Accelerating CIFS Over Satellite Networks
event speaker icon
מוחמד מגאדלה
event date icon
יום רביעי, 2.2.2011, 12:30
event location icon
טאוב 601
CIFS is the underlying protocol in Windows OS's for disk shares access such as copying files from and to remote stations in the LAN, exploring disk shares and sending jobs to a LAN printer. CIFS is also implemented for Linux/Unix OSs in SAMBA. The CIFS protocol is chatty and suffers from redundancy in messages even in simple and basic disk shares accesses. CIFS's ineffectiveness is intensified in satellite networks in which the round trip delay ...
[לנוסח המלא]
Task Superscalar Multiprocessors
event speaker icon
Yoav Etsion
event date icon
יום שלישי, 1.2.2011, 14:30
event location icon
חדר 337-8 טאוב.
Haifux Club: Root on NFS: Running Linux on a Diskless Computer
event speaker icon
עלי בילאר
event date icon
יום שני, 31.1.2011, 18:30
event location icon
טאוב 6
A motherboard, a CPU, and a memory stick. Add a fan and a power supply, and you have a little computer which boots from network and keeps all its data on a hosting computer's disk through NFS. The shopping list for new components goes as low as 600 NIS, which makes this an attractive solution in cases where a dedicated computer is useful, be it for mission-critical applications, cases where the hardware may be damaged ...
[לנוסח המלא]
Enumeration of Lattice Animals
event speaker icon
גדי אלכסנדרוביץ
event date icon
יום ראשון, 30.1.2011, 13:00
event location icon
טאוב 337
A Lattice Animal is a set of edge-connected cells in a given lattice. For example, the Tetris game is played with Lattice Animals with 4 cells in the two-dimensional orthogonal lattice. The enumeration of Lattice Animals is a long-time standing problem, arising in all of recreational mathematics, discrete geometry, and statistical physics. In this talk I will discuss a generalization of Redelmeier's algorithm to the enumeration of polyominoes that lie on any structural (repetitve) lattice. ...
[לנוסח המלא]
Analysis of affective behaviour: Non-verbal Speech - Feature Extraction, Multi-class & Multi-label Classification, and Generalisation of the Technology
event speaker icon
Tal Sobol Shikler
event date icon
יום חמישי, 27.1.2011, 14:30
event location icon
חדר 337-8 טאוב.
Anonymous Routing in Mobile Ad Hoc Networks
event speaker icon
ניר רוגל
event date icon
יום רביעי, 26.1.2011, 14:00
event location icon
טאוב 601
A wireless, mobile, ad hoc network (MANET) is a network in which mobile nodes do not rely on the existence of fixed infrastructure mediation devices, but rather communicate with one another directly. Under certain scenarios, parties in a MANET may wish to remain unidentified, in order to forestall retaliation by an attacker. In this talk, we discuss mechanisms for anonymous routing in MANETs. First, we note threats to anonymity in MANETs, derive a general adversary ...
[לנוסח המלא]
Theory Seminar: Quantum One-Way Communication can be Exponentially Stronger Than Classical Communication
event speaker icon
עודד רגב (אונ' תל-אביב)
event date icon
יום רביעי, 26.1.2011, 12:20
event location icon
חדר 337, בניין טאוב למדעי המחשב
In STOC 1999, Raz presented a (partial) function for which there is a quantum protocol communicating only $O(\log n)$ qubits, but for which any classical (randomized, bounded-error) protocol requires $\poly(n)$ bits of communication. That quantum protocol requires two rounds of communication. Ever since Raz's paper it was open whether the same exponential separation can be achieved with a quantum protocol that uses only one round of communication. In other words, can quantum one-way communication be ...
[לנוסח המלא]
Models and Methods for Social Networks Automation
event speaker icon
רועי רונן
event date icon
יום רביעי, 26.1.2011, 11:30
event location icon
טאוב 601
This research is concerned with novel Web-related data management scenarios. In particular, we consider database problems which arise from social networks. In the talk, we will overview the main results of this research. In the first part, we introduce the Query Network model, a basic model for social network automation using queries, with its evaluation algorithms and related experiments. We also discuss extensions for the model, and present a few theoretical results. In the second ...
[לנוסח המלא]
Pixel Club: Multidimensional Image Representation and Processing Motivated by Human Vision
event speaker icon
שי פורמן (הנדסת חשמל, טכניון)
event date icon
יום שלישי, 25.1.2011, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
A biological model of visual information representation is adopted. Images are represented accordingly in a multidimensional space that incorporates the well investigated dimensions of intensity, color and spatio-temporal frequency. The model is extended to incorporate additional, less investigated dimensions such as curvature, size and depth (for example - from binocular disparity). Along these and other dimensions, that are yet to be discovered, the human visual system (HVS) enhances and emphasizes important image attributes by adaptation ...
[לנוסח המלא]
General Techniques for Interpolation, Reconstruction, and Morphing of Polyhedral Surfaces
event speaker icon
אמיר וקסמן
event date icon
יום ראשון, 23.1.2011, 13:00
event location icon
טאוב 337
The topic of shape reconstruction is a major research branch of geometric processing. The two major problems which are commonly researched are reconstruction of two and three-dimensional objects from point sets, and reconstruction from cross-sections. This research focuses on the latter, which has received a substantial amount of attention in the last three decades, and which has specifically gained considerable momentum in the last few years. We propose two solutions for the problem of reconstruction ...
[לנוסח המלא]
Methods For Recognition By Graphical Style And Style Synthesis Using Local Analysis
event speaker icon
בועז בריקנר
event date icon
יום רביעי, 19.1.2011, 15:00
event location icon
טאוב 601
Standard image classification algorithms classify an image by its content. Sometimes, we don't care about the image content and want to classify images by style. For example, if we have a set of paintings and we want to divide them to groups by their painting style or painter, we don't care if a car or a horse was painted. Another usage for classifying by style is when we have a painting and we are not ...
[לנוסח המלא]
Theory Seminar: Hardness of Approximately Solving Linear Equations Over Reals
event speaker icon
דנה מוסקוביץ (MIT)
event date icon
יום רביעי, 19.1.2011, 12:20
event location icon
טאוב 401
We consider the problem of approximately solving a system of homogeneous linear equations over reals, where each equation contains at most three variables. Since the all-zero assignment always satisfies all the equations exactly, we restrict the assignments to be ``non-trivial". Here is an informal statement of our result: it is NP-hard to distinguish whether there is a non-trivial assignment that satisfies 1-\delta fraction of the equations or every non-trivial assignment fails to satisfy a constant ...
[לנוסח המלא]
Haifux Club: A FOSS Yankee in Microsoft's Court
event speaker icon
בעז גולדשטיין (מדעי המחשב, הטכניון)
event date icon
יום שני, 17.1.2011, 18:30
event location icon
טאוב 6
A year ago I started working for a small multi-national software giant named Microsoft. What I found is a company with rather surprising and odd corporate culture and habbits. This lecture will try to convey What microsoft is like on the inside. Disclaimer: anything said in this lecture is my opinion alone and is not affiliated with microsoft in any way.
[לנוסח המלא]
Pixel Club: Immersive Visualization of Large Datasets
event speaker icon
פרופ' אריה קאופמן (אונ' סטוני ברוק, ניו-יורק)
event date icon
יום ראשון, 16.1.2011, 11:30
event location icon
חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Scientists, engineers and physicians are now confronted with a fire hose of data. Immersive visualization environments provide these users with a novel way of interacting and reasoning with large datasets. They allow them to utilize the entirety of their visual bandwidth, effectively engulfing the user in the data and enabling collaborative interaction. We present a custom-built 5-wall Cave environment, called the Immersive Cabin (IC). It is driven by a GPU cluster for both computation and ...
[לנוסח המלא]
Designing presentations tools for multiple and high-resolution displays
event speaker icon
Joel Lanir SPECIAL LECTURE
event date icon
יום חמישי, 13.1.2011, 14:30
event location icon
חדר 337-8 טאוב.
Theory Seminar: Fault-tolerant Shortest Paths and Minimum Spanning Trees
event speaker icon
אורן וינשטיין (מכון ויצמן למדע)
event date icon
יום רביעי, 12.1.2011, 12:20
event location icon
חדר 337, בניין טאוב למדעי המחשב
A fundamental problem in dynamic graphs is the recovery of structural information in a network whose edges occasionally fail. In a failure event, some subset of edges D are deleted and we want to quickly understand the structure of the surviving network G \ D. In particular, I will discuss the problem of quickly recovering shortest paths and a minimum spanning tree in G \ D. Let G = (V,E) be a directed edge-weighted graph ...
[לנוסח המלא]
Reconstruction in Trees
event speaker icon
Nayantara Bhatnagar
event date icon
יום שלישי, 11.1.2011, 14:30
event location icon
חדר 337-8 טאוב.
Pixel Club: Non-Local Characterization of Scenery Images: Statistics, 3D Reasoning, and a Generative Model
event speaker icon
תמי אברהם (מדעי המחשב, הטכניון)
event date icon
יום שלישי, 11.1.2011, 11:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
This work focuses on characterizing scenery images. We semantically divide the objects in natural landscape scenes into background and foreground and show that the shapes of the regions associated with these two types are statistically different. We then focus on the background regions. We study statistical properties such as size and shape, location and relative location, the characteristics of the boundary curves and the correlation of the properties to the region's semantic identity. Then we ...
[לנוסח המלא]
Theory Seminar: Pseudorandom Generators from Invariance Principles
event speaker icon
ראגו מקה (אונ' טקסס באוסטין)
event date icon
יום ראשון, 9.1.2011, 12:30
event location icon
טאוב 539
Invariance principles or limit theorems have recently found several important applications in theoretical computer science. In this talk I'll present some recent results with the broad theme of constructing pseudorandom generators from invariance principles. The first set of results concerns the natural question of constructing pseudorandom generators (PRGs) for low-degree polynomial threshold functions (PTFs). We give a PRG with seed-length log n/eps^{O(d)}$ fooling degree d PTFs with error at most eps. Previously, no nontrivial constructions ...
[לנוסח המלא]
Concurrent Data Structures: Methodologies and Inherent Limitations
event speaker icon
אשכר הלל
event date icon
יום ראשון, 9.1.2011, 11:30
event location icon
טאוב 401
As multi-core and multiprocessing architectures are becoming common, modern applications require concurrent data structures for their computations. Designing concurrent data structures and ensuring their correctness is a difficult task; significantly more challenging than doing so for their sequential counterparts. Transactional memory (TM), a programming model in which concurrent processes synchronize via in-memory transactions, is one prominent approach for alleviating the difficulty of programming concurrent data structures for multi-core and multiprocessing systems. TM is seriously considered ...
[לנוסח המלא]
Verifying Linearizability with Hindsight
event speaker icon
Noam Rinetzky SPECIAL LECTURE
event date icon
יום חמישי, 6.1.2011, 14:30
event location icon
חדר 337-8 טאוב.
Theory Seminar: Lower Bounds on Near Neighbor Search via Metric Expansion
event speaker icon
Udi Weider (Microsoft Research)
event date icon
יום רביעי, 5.1.2011, 13:20
event location icon
טאוב 701
We show that the cell probe complexity of performing nearest neighbor (NNS) search on a metric space is tightly related to the expansion of the metric space: Given a metric space we look at the graph obtained by connecting every pair of points within a certain distance r. We then look at various notions of expansion in this graph relating them to the cell probe complexity of NNS for randomized and deterministic, exact and approximate ...
[לנוסח המלא]
Building a Bridge between Incentives and Computation
event speaker icon
Shahar Dobzinski
event date icon
יום שלישי, 4.1.2011, 14:30
event location icon
חדר 337-8 טאוב.
The Computational Complexity of Linear Optics
event speaker icon
Scott Aaronson SPECIAL LECTURE
event date icon
יום שלישי, 4.1.2011, 12:30
event location icon
חדר 401 טאוב NOTE UNUSUAL TIME AND PLACE Bld.
Pixel Club: Perceptual Fragments: Bottom-Up and Top-Down Use of Shape in Object Recognition
event speaker icon
בנג'מין קימיה (אונ' בראון)
event date icon
יום שלישי, 4.1.2011, 11:30
event location icon
חדר 337, בניין טאוב למדעי המחשב
The bottom-up “segmentation followed by recognition” strategy has for some time now given way to feature-based discriminative recognition with significant success. As the number of categories and exemplars per category increases, however, low-level features are no longer sufficiently discriminative, motivating the construction and use of more complex features. It is argued here that these complex features will necessarily be encoding shape and this in turn requires curves and regions, thus reviving aspects of bottom-up segmentation ...
[לנוסח המלא]
Haifux Club: From VxWorks To Linux
event speaker icon
רז בן יהודה
event date icon
יום שני, 3.1.2011, 18:30
event location icon
טאוב 6
Preempt RT is a growing hard real time linux OS. In this session I will present Preempt RT basics and uniqueness, provide a Live demo, present a benchmark of a company that is migrating from vxworks to Preempt RT and discuss the non-techinical aspects of migrating to linux.
[לנוסח המלא]
Conspiracies, Cooperation and Power
event speaker icon
Yoram Bachrach
event date icon
יום ראשון, 2.1.2011, 14:30
event location icon
חדר 337-8 טאוב.