Skip to content (access key 's')
Logo of Technion
Logo of CS Department
Events

The Taub Faculty of Computer Science Events and Talks

CGGC Seminar: Hierarchical Volumetric Modeling as a Base for Multiscale Physical Based Analysis and Design of Porous Structures
event speaker icon
Lev Podshivalov (Pierre-and-Marie-Curie University, Paris, France)
event date icon
Sunday, 30.12.2012, 13:00
event location icon
Room 337-8 Taub Bld.
Hierarchical modeling is often applied in fields such as computer vision, computer graphics, computer-aided geometric design, cartography and virtual reality. The importance of this approach has increased in recent years due to the ability to create models with more details. Hierarchical modeling is useful in ...
[Full version]
Theory Seminar: Distributed Computing Meets Biology: Towards a New Scientific Framework
event speaker icon
Amos Korman (University of Paris Diderot)
event date icon
Wednesday, 26.12.2012, 12:30
event location icon
Taub 201
In recent years, several works have demonstrated how the study of biology can benefit from an algorithmic perspective. In this talk I discuss a new approach for such a methodology based on combining theoretical tradeoff techniques with field experiments to obtain bounds on biological parameters. ...
[Full version]
TCE Guest Lecture: Energy-Aware Scheduling for Heterogeneous Multi-Core Architectures
event speaker icon
Daniel Mossé (University of Pittsburgh)
event date icon
Wednesday, 26.12.2012, 11:30
event location icon
EE Meyer Building 861
The current trend to move from homogeneous to heterogeneous multi-core (HetCMP) systems promises further performance and energy-efficiency benefits. A typical HetCMP system includes two distinct types of cores, such as high performance sophisticated ("large") cores and simple low-power ("small") cores. In those heterogeneous platforms, execution ...
[Full version]
Pixel Club: From the invention of Compressive Sensing to Recent Results
event speaker icon
Yoram Bresler (University of Illinois, Urbana-Champaign)
event date icon
Tuesday, 25.12.2012, 13:30
event location icon
EE Meyer Building 861
Compressive sensing (CS), also known as compressive sampling, has become widely popular in recent years. In the first part of the talk, we review the little known fact, that the invention of CS preceded the papers that popularized it by almost a decade. Spectrum-blind sampling ...
[Full version]
Pixel Club: Sparse Matrix Models for Finding Good Data Representatives and Constraining the Topology of Networks
event speaker icon
Guillermo Sapiro (Duke University)
event date icon
Tuesday, 25.12.2012, 11:30
event location icon
EE Meyer Building 1003
We consider the problem of finding a few representatives for a dataset, i.e., a subset of data points that efficiently describes the entire dataset. We assume that each data point can be expressed as a linear combination of the representatives and formulate the problem of ...
[Full version]
Haifux Club: Learning from the Open Source Production Process
event speaker icon
Yael Vaya-Talmor (Bar-Ilan University)
event date icon
Monday, 24.12.2012, 18:30
event location icon
Taub 6
The open source production process is fascinating in many respects: it produces high quality code outside the boundaries of the hierarchical organization, it defies the rules of many traditional software production models and it has many profound implications on social, political, and economic systems of ...
[Full version]
Exploring Human Evolution and Deciphering the Human Genome Using Complete Individual Genome Sequences
event speaker icon
Ilan Gronau
event date icon
Monday, 24.12.2012, 14:30
event location icon
Room 337-8 Taub Bld.
Generating Map-based Routes from GPS Trajectories and their Compact Representation
event speaker icon
Ranit Gotsman
event date icon
Wednesday, 19.12.2012, 13:00
event location icon
Taub 601
Digital maps and devices with an integrated GPS receiver, such as smartphones, are now an integral part of our lives. We deal with two practical problems related to GPS trajectories and digital maps. The first problem is the classical problem of map-matching; namely, matching a ...
[Full version]
Theory Seminar: New Applications of Communication Complexity in Distributed Computing
event speaker icon
Rotem Oshman (University of Toronto)
event date icon
Wednesday, 19.12.2012, 12:45
event location icon
Taub 201
The advent of large-scale wireless networks has presented the distributed computing community with a new challenge: wireless networks are much more disorderly than traditional wired networks, and they are difficult to model and predict. In addition, they are subject to different design considerations: among other ...
[Full version]
ceClub: Predicting Execution Bottlenecks in Map-Reduce Clusters
event speaker icon
Edward Bortnikov (Yahoo! Labs Israel)
event date icon
Wednesday, 19.12.2012, 11:30
event location icon
EE Meyer Building 861
Extremely slow, or straggler, tasks are a major performance bottleneck in map-reduce systems. Hadoop infrastructure makes an effort to both avoid them (through minimizing remote data accesses) and handle them in the runtime (through speculative execution). However, the mechanisms in place neither guarantee the avoidance ...
[Full version]
Operating system support for high-throughput processors
event speaker icon
Mark Silberstein
event date icon
Tuesday, 18.12.2012, 14:30
event location icon
Room 337-8 Taub Bld.
Pixel Club: Hybrid Classifiers for Object Classification with a Rich Background
event speaker icon
Margarita Osadchy (Computer Science, Haifa University)
event date icon
Tuesday, 18.12.2012, 11:30
event location icon
EE Meyer Building 1061
The majority of current methods in object classification use the one-against-res​t training scheme. We argue that when applied to a large number of classes, this strategy is problematic: as the number of classes increases, the negative class becomes a very large and complicated collection of ...
[Full version]
TCE Guest Lecture: Multimodal First-Person Perception
event speaker icon
Denver Dash (Intel – ISTC for Embedded Computing)
event date icon
Thursday, 13.12.2012, 13:30
event location icon
EE Meyer Building 1061
For decades, our culture has been fascinated with the concept of the “Star Trek computer”. An all-knowing entity which is available to query about almost anything relevant to the world around us, organize our daily lives, remind us when we are doing the wrong thing, ...
[Full version]
Fair is Fair: A Protocol and an Algorithm for Unbiased Evaluation of Linguistic Structure Prediction.
event speaker icon
Reut Tsarfaty
event date icon
Wednesday, 12.12.2012, 14:30
event location icon
Room 337-8 Taub Bld.
Learning patterns in Big data from small data using core-sets
event speaker icon
Dan Feldman
event date icon
Tuesday, 11.12.2012, 14:30
event location icon
Room 337-8 Taub Bld.
TCE Guest Lecture: Unconventional Fault-tolerant Accelerators
event speaker icon
Olivier Temam (INRIA)
event date icon
Thursday, 6.12.2012, 12:30
event location icon
EE Meyer Building 861
Due to the evolution of technology constraints, especially energy constraints which may lead to heterogeneous multicores, and the increasing number of transient faults and permanent defects, the design of defect-tolerant accelerators for heterogeneous multi-cores may become a major micro-architecture research issue. Most custom circuits are ...
[Full version]
Syntactic Annotation of Hebrew CHILDES Corpora
event speaker icon
Avishay Gretz
event date icon
Wednesday, 5.12.2012, 12:30
event location icon
Taub 601
The CHILDES database is a large collection of child---adult spoken interactions in over 25 languages. Automatic annotation of these data faciliates research on child language development and acquisition by providing researchers with a large amount of accurate data. Recently, the English section of the CHILDES ...
[Full version]
Theory Seminar: Sealed Bid Combinatorial Auctions
event speaker icon
Shahar Dobzinski (Weizmann Institute of Science)
event date icon
Wednesday, 5.12.2012, 12:30
event location icon
Taub 201
We generalize sealed bid auctions to accommodate combinatorial auctions. In a sealed bid combinatorial auction each bidder sends to the auctioneer, simultaneously with the others, a message that depends only on his own valuation. The auctioneer decides on the allocation based on these messages alone. ...
[Full version]
CGGC Seminar: Computing Extremal Quasiconformal Maps
event speaker icon
Ofir Weber (Computer Science, Haifa University)
event date icon
Wednesday, 5.12.2012, 11:30
event location icon
Taub 401
Conformal maps are widely used in geometry processing applications. They are smooth, preserve angles, and are locally injective by construction. However, conformal maps do not allow for boundary positions to be prescribed. A natural extension to the space of conformal maps is the richer space ...
[Full version]
Pixel Club: Photo Sequencing
event speaker icon
Yael Moses (CS, The Interdisciplinary Center, Herzliya)
event date icon
Tuesday, 4.12.2012, 11:30
event location icon
EE Meyer Building 1061
Dynamic events such as family gatherings, concerts or sports events are often captured by a group of people. The set of still images obtained this way is rich in dynamic content but lacks accurate temporal information. We propose a method for *photo-sequenci​ng* -- temporally ordering ...
[Full version]
Haifux Club: The Device Tree: Plug and play for Embedded Linux
event speaker icon
Eli Billauer
event date icon
Monday, 3.12.2012, 18:30
event location icon
Taub 6
On embedded systems, the Linux kernel doesn't have the BIOS to tell it what the hardware is like. On the other hand, the traditional solution of having the hardware information hardcoded in the kernel source is leading to an overpopulation of platform-specific hacks (read: a ...
[Full version]
TCE Guest Lecture: How Alan Turing Cracked the Enigma Code
event speaker icon
Ymir Vigfusson (Reykjavik University)
event date icon
Monday, 3.12.2012, 13:30
event location icon
Room 337-8 Taub Bld.
Code breakers played an enormously crucial role in World War II. Alan Turing, the father of computer science, was at the center of allied code breaking operations and his breakthroughs made intelligence gathering not only possible but practical. This general audience talk, celebrating Alan Turing's ...
[Full version]
CGGC Seminar: Accelerating Geometric Operations on Freeform Models
event speaker icon
Yong Joon Kim (Computer Science, Technion)
event date icon
Sunday, 2.12.2012, 13:00
event location icon
Room 337-8 Taub Bld.
NURBS is one of the typical way of representing geometric data and have been widely used in many areas such as computer graphics, CAGD, robotics. NURBS represents geometric data based on the mathematical form, and thus it requires relatively small memory space compared to the ...
[Full version]
Bioinformatics Forum: Fragment-Based Design of RNA sequences and Detection of RNA switches
event speaker icon
Danny Barash (CS, Ben-Gurion University)
event date icon
Thursday, 29.11.2012, 13:30
event location icon
Taub 701
The inverse RNA folding problem for designing sequences that fold into a given RNA secondary structure was introduced in the early 1990's in Vienna. Using a coarse-grain tree graph representation of the RNA secondary structure, we extended the inverse RNA folding problem to include constraints ...
[Full version]
Theory Seminar: Partially Symmetric Functions are Efficiently Isomorphism-Testable
event speaker icon
Amit Weinstein (Tel-Aviv University)
event date icon
Wednesday, 28.11.2012, 12:30
event location icon
Taub 201
Given a function f: {0,1}^n \to {0,1}, the f-isomorphism testing problem requires a randomized algorithm to distinguish functions that are identical to f up to relabeling of the input variables from functions that are far from being so. An important open question in property testing ...
[Full version]
ceClub: Optimal Rebuilding in Distributed Storage Systems
event speaker icon
Zhiying Wang (Caltech)
event date icon
Wednesday, 28.11.2012, 11:30
event location icon
EE Meyer Building 861
Distributed storage systems have become a popular solution to large file storage and fast data access. In such systems, erasure-correcting codes are widely used to combat disk failures, where disks correspond to symbols in the code. Specifically, we study MDS (maximum distance separable) array codes ...
[Full version]
Pixel Club: Extracting Foreground Masks towards Object Recognition
event speaker icon
Amir Rosenfeld (Weizmann Institute of Science)
event date icon
Tuesday, 27.11.2012, 11:30
event location icon
EE Meyer Building 1061
Effective segmentation prior to recognition has been shown to improve recognition performance. However, most segmentation algorithms adopt methods which are not explicitly linked to the goal of object recognition. Here we solve a related but slightly different problem in order to assist object recognition more ...
[Full version]
TCE Guest Lecture: Faults: a Foe or Friend?
event speaker icon
Prof. Yanos Sazeides (University of Cyprus)
event date icon
Tuesday, 27.11.2012, 10:00
event location icon
EE Meyer Building 1061
The traditional performance-cost benefits enjoyed for decades from scaling of device area are challenged by the slowdown of voltage scaling and less reliable silicon primitives. These developments lead to pessimistic projections that it will be impossible to operate all on-chip resources, even at the minimum ...
[Full version]
Fractional Secret Sharing and Lossy Chains
event speaker icon
Omer Strulovich
event date icon
Wednesday, 21.11.2012, 15:30
event location icon
Taub 601
A rich man has many children. Unfortunately, over the years they have grew apart and started to hate each other. The rich man seeks to give his inheritance to the largest group of his children that can cooperate. How can he do it? To answer ...
[Full version]
Joint Scheduling in Wireless Networks
event speaker icon
Guy Grebla
event date icon
Wednesday, 21.11.2012, 14:00
event location icon
Taub 601
A crucial step in the evolution of broadband wireless (cellular) networks is reducing the size of the cells and increasing their number. This target is usually obtained using cell sectorization, where the omni-directional antenna at each base station (BS) is replaced by 3 or 6 ...
[Full version]
Theory Seminar: From the Impossibility of Obfuscation to a New Non-Black-Box Technique
event speaker icon
Nir Bitansky (Tel-Aviv University)
event date icon
Wednesday, 21.11.2012, 12:30
event location icon
Taub 201
The introduction of a non-black-box simulation technique by Barak (FOCS 2001) has been a major landmark in cryptography, breaking the previous barriers of black-box impossibility. Barak’s techniques were subsequently extended and have given rise to various powerful applications. We present the first non-black-box simulation technique ...
[Full version]
ceClub: CBTree: A Practical Concurrent Self-Adjusting Search Tree
event speaker icon
Adam Morrison (CS, Tel Aviv University)
event date icon
Wednesday, 21.11.2012, 11:30
event location icon
Room 337-8 Taub Bld.
We present the CBTree, a new counting-based self-adjusting sequential search tree that, like splay trees, moves more frequently accessed nodes closer to the root: After M operations on N items, Q of which access some item V, an operation on V traverses a path of ...
[Full version]
Querying Web Applications Under Terms of Uncertainty
event speaker icon
Daniel Deutch
event date icon
Tuesday, 20.11.2012, 14:30
event location icon
Room 337-8 Taub Bld.
Geometric Covering
event speaker icon
Nadav Shragai
event date icon
Sunday, 18.11.2012, 13:00
event location icon
Taub 337
Covering questions emerges in many disciplines and are closely related to the well known set-cover problem in computer science. Similarly, geometric covering is of great importance and yet has only been investigated in seemingly unrelated specific disciplines. Examples include the well known art-gallery problem, mold-design ...
[Full version]
Large Scale Semi-Supervised Sentiment Analysis
event speaker icon
Yoav Haimovitch
event date icon
Wednesday, 14.11.2012, 12:30
event location icon
Taub 601
We describe a bootstrapping algorithm able to learn from partially labeled data. We report the results of an empirical study for using this algorithm to improve performance of sentiment classification using up to 15 million unlabeled Amazon product reviews. Our experiments cover semi-supervised learning, domain ...
[Full version]
Theory Seminar: Predecessor Queries on Dynamic Subsets of an Ordered List, with Applications
event speaker icon
Tsvi Kopelowitz (Weizmann Institute of Science)
event date icon
Wednesday, 14.11.2012, 12:30
event location icon
Taub 201
In the famous order maintenance problem, one wishes to maintain a dynamic list L of size n under insertions, deletions, and order queries. In an order query, one is given two nodes from L and must determine which node precedes the other in L. In ...
[Full version]
Backward causality in temporal Talmudic logic
event speaker icon
Dov Gabbay
event date icon
Tuesday, 13.11.2012, 14:30
event location icon
Room 337-8 Taub Bld.
Pixel Club: Non-Rigid Shape Correspondence Using Sparsity
event speaker icon
Michael Bronstein (University of Lugano, Switzerland)
event date icon
Tuesday, 13.11.2012, 11:30
event location icon
EE Meyer Building 1003
Finding dense intrinsic correspondence between non-rigid shapes is a notoriously difficult problem with many important applications in computer graphics and pattern recognition. In the first part of the talk, I will present a novel sparse modeling approach to non-rigid shape matching using only the ability ...
[Full version]
Fast Parallel Matrix Multiplication
event speaker icon
Oded Schwartz
event date icon
Sunday, 11.11.2012, 14:30
event location icon
Room 337-8 Taub Bld.
On the Role of Color Information in Texture Recognition
event speaker icon
Micha Kalfon
event date icon
Sunday, 11.11.2012, 11:30
event location icon
Taub 601
Texture features have always been a key attribute in image recognition and classification. In this work we propose a pre-processing stage for enhancing the performance of widely used color texture recognition methods. One approach we investigated, Decorrelation Stretching, was employed historically for enhancing the interpretability ...
[Full version]
Taming Logics: Theory, Tools, Applications
event speaker icon
Anna Zamansky
event date icon
Wednesday, 7.11.2012, 14:30
event location icon
Room 337-8 Taub Bld.
Asymptotic and Numerical Solution for Electrokinetic Flow Around a Spherical Particle
event speaker icon
Roman Zeyde
event date icon
Wednesday, 7.11.2012, 12:30
event location icon
Taub 601
A numerical framework for the simulation of electrokinetic migration of particles in an electrolyte solution due to the application of an external electric field is presented. The electrokinetic transport process is described by a system of nonlinear partial differential equations (PDE). A thin boundary layer ...
[Full version]
Theory Seminar: On Sunflowers and Matrix Multiplication
event speaker icon
Leonid Barenboim (Ben-Gurion University)
event date icon
Wednesday, 7.11.2012, 12:30
event location icon
Taub 201
In a distributed message passing model a communication network is represented by an n-vertex graph whose vertices host processors, and edges serve as communication links. One of the most fundamental goals in this setting is breaking the symmetry in the network. Specifically, the tasks of ...
[Full version]
ceClub: The Future of the Telecommunication Industry: The New Horizon of Virtual Telecommunication and Carrier Clouds
event speaker icon
David Amzallag (Alcatel-Lucent)
event date icon
Wednesday, 7.11.2012, 11:30
event location icon
Room 337-8 Taub Bld.
Wireless networks are the most important assets in our industry, yet the problem is that we are building new networks the same way we built our previous networks. Capacity is planned in advance per service; to handle peek traffic and to add new capacity takes ...
[Full version]
SSDL Seminar: On Incomplete Bug Fixes in Eclipse and Programmers Intuition on These
event speaker icon
Sabih Agbaria (CS, Technion)
event date icon
Tuesday, 6.11.2012, 12:30
event location icon
Taub 235
Recent studies indicate that multiple patches to software are found in a hefty portion of resolved bugs. It is also known that bugs that require multiple patches take longer to resolve, that their severity tends to be higher than the average and that they induce ...
[Full version]
TCE Guest Lecture: Optimized Networked Systems
event speaker icon
Ymir Vigfusson (Reykjavik University)
event date icon
Monday, 5.11.2012, 13:30
event location icon
EE Meyer Building 861
Optimal use of computing resources is pivotal to minimize expenditures and improve competitiveness of companies. The computing technologies are continuously evolving and the users are adapting at a unparalleled pace, thus producing intriguing research questions. In the first half of the talk, we observe that ...
[Full version]
Pixel Club: Computational Reconstruction of Zebra-Fish Early Embryogenesis by Nonlinear Pde Methods of Image Processing
event speaker icon
Prof. Karol Mikula (Department of Mathematics, Slovak University of Technology, Bratislava, Slovakia)
event date icon
Thursday, 1.11.2012, 12:30
event location icon
Room 337-8 Taub Bld.
In the talk we present mathematical models and numerical methods which lead to early embryogenesis reconstruction and extraction of the cell lineage tree from the large-scale 4D image sequences. Robust and efficient finite volume schemes for solving nonlinear PDEs related to filtering, object detection and ...
[Full version]
Theory Seminar: Constructive Discrepancy Minimization by Walking on The Wedges
event speaker icon
Shachar Lovett (Institute for Advanced Study, Princeton)
event date icon
Wednesday, 31.10.2012, 12:30
event location icon
Taub 201
Minimizing the discrepancy of a set system is a fundamental problem in combinatorics. One of the cornerstones in this area is the celebrated six standard deviations result of Spencer (AMS 1985): In any system of $n$ sets in a universe of size $n$, there always ...
[Full version]
TOWARDS A PROOF THEORY OF ANALOGICAL REASONING
event speaker icon
Matthias Baaz
event date icon
Tuesday, 30.10.2012, 14:30
event location icon
Room 337-8 Taub Bld.
ceClub: Self-Optimizing Microprocessors: A Machine Learning Approach
event speaker icon
Jose F. Martinez (Cornell University)
event date icon
Tuesday, 30.10.2012, 13:30
event location icon
EE Meyer Building 861
As each technology generation brings additional transistors, the computer industry hopes to convert these into performance growth by stamping out a greater number of cores on a die. On the one hand, in many environments, that seems like a lot of hope. On the other ...
[Full version]
TCE Guest Lecture: Self-Optimizing Microprocessors: A Machine Learning Approach
event speaker icon
José F. Martínez (Cornell University)
event date icon
Tuesday, 30.10.2012, 13:30
event location icon
EE Meyer Building 861
As each technology generation brings additional transistors, the computer industry hopes to convert these into performance growth by stamping out a greater number of cores on a die. On the one hand, in many environments, that seems like a lot of hope. On the other ...
[Full version]
Haifux Club: Israeli Digital Rights NPO
event speaker icon
Zvi Devir (digitalrights.org.il)
event date icon
Monday, 29.10.2012, 18:30
event location icon
Taub 6
The Digital Rights Movement stands between advanced technology and people rights (in the broad sense). Technological advance provides us with new products and new means of interacting with our surrounding. It provides a customer more flexibility and new ways of using a given product. However, ...
[Full version]
Theory Seminar: On Sunflowers and Matrix Multiplication
event speaker icon
Amir Shpilka (CS, Technion)
event date icon
Wednesday, 24.10.2012, 12:30
event location icon
Taub 201
We present several variants of the sunflower conjecture of Erdos and Rado and discuss the relations among them. We then show that two of these conjectures (if true) imply negative answers to questions of Coppersmith and Winograd and of Cohn et al regarding possible approaches ...
[Full version]
SSDL Seminar: Speculative Separation for Privatization and Reductions
event speaker icon
Ayal Zaks (Intel)
event date icon
Tuesday, 23.10.2012, 12:30
event location icon
Taub 235
Automatic parallelization is a promising strategy to improve application performance in the multicore era. However, common programming practices such as the reuse of data structures introduce artificial constraints that obstruct automatic parallelization. Privatization relieves these constraints by replicating data structures, thus enabling scalable parallelization. Prior ...
[Full version]
Theory Seminar: Statistical Algorithms and a Lower Bound for Planted Clique
event speaker icon
Vitaly Feldman (IBM Research Almaden)
event date icon
Wednesday, 17.10.2012, 12:30
event location icon
Taub 201
We develop a framework for proving lower bounds on computational problems over distributions, including optimization and unsupervised learning. Our framework is based on defining a restricted class of algorithms, called statistical algorithms, that instead of accessing samples from the input distribution can only obtain an ...
[Full version]
Haifux Club: Adding Colors To Kademlia
event speaker icon
Gil Einziger (CS, Technion)
event date icon
Monday, 15.10.2012, 18:30
event location icon
Taub 6
Kademlia is considered to be one of the most effective key based routing protocols. It is nowadays implemented in many file sharing peer-to-peer networks such as BitTorrent, KAD, and Gnutella. Kaleidoscope , a novel routing/caching scheme designed to significantly reduce the cost of Kademlia lookup ...
[Full version]
Learning to Predict the Future using Web Knowledge and Dynamics
event speaker icon
Kira Radinsky
event date icon
Tuesday, 9.10.2012, 16:30
event location icon
Taub 601
Mark Twain famously said that ``the past does not repeat itself, but it rhymes.'' In the spirit of this reflection, we present novel algorithms and methods for leveraging large-scale digital histories and human knowledge mined from the Web to make real-time predictions about the likelihoods ...
[Full version]
Learning to Predict the Future using Web Knowledge and Dynamics
event speaker icon
Kira Radinsky
event date icon
Tuesday, 9.10.2012, 16:30
event location icon
Taub 601
Mark Twain famously said that ``the past does not repeat itself, but it rhymes.'' In the spirit of this reflection, we present novel algorithms and methods for leveraging large-scale digital histories and human knowledge mined from the Web to make real-time predictions about the likelihoods ...
[Full version]
Learning to Predict the Future using Web Knowledge and Dynamics
event speaker icon
Kira Radinsky
event date icon
Tuesday, 9.10.2012, 16:30
event location icon
Taub 601
Mark Twain famously said that ``the past does not repeat itself, but it rhymes.'' In the spirit of this reflection, we present novel algorithms and methods for leveraging large-scale digital histories and human knowledge mined from the Web to make real-time predictions about the likelihoods ...
[Full version]
Learning to Predict the Future using Web Knowledge and Dynamics
event speaker icon
Kira Radinsky
event date icon
Tuesday, 9.10.2012, 16:30
event location icon
Taub 601
Mark Twain famously said that ``the past does not repeat itself, but it rhymes.'' In the spirit of this reflection, we present novel algorithms and methods for leveraging large-scale digital histories and human knowledge mined from the Web to make real-time predictions about the likelihoods ...
[Full version]
Learning to Predict the Future using Web Knowledge and Dynamics
event speaker icon
Kira Radinsky
event date icon
Tuesday, 9.10.2012, 16:30
event location icon
Taub 601
Mark Twain famously said that ``the past does not repeat itself, but it rhymes.'' In the spirit of this reflection, we present novel algorithms and methods for leveraging large-scale digital histories and human knowledge mined from the Web to make real-time predictions about the likelihoods ...
[Full version]
The Use of Overloading in Java Programs
event speaker icon
Keren Lenz
event date icon
Wednesday, 19.9.2012, 13:00
event location icon
Taub 601
Method overloading is a controversial language feature, especially in the context of Object Oriented languages, where its interaction with overriding may lead to confusing semantics. One of the main arguments against overloading is that it can be abused by assigning the same identity to conceptually ...
[Full version]
Pixel Club: The Noise Clinic
event speaker icon
Jean Michel Morel (CMLA, Ecole Normale Supereure de Cachan, France)
event date icon
Wednesday, 19.9.2012, 11:30
event location icon
Room 337-8 Taub Bld.
All images have noise, but this noise may have undergone many distortions. Can we take any image, say, an olde photograph, and denoise it? This requires a good denoising method and an accurate noise estimator, both working for "any" image and "any" noise. I'll discuss ...
[Full version]
Parameterizing P: Proximity to Easy Variants
event speaker icon
David Wajc
event date icon
Wednesday, 12.9.2012, 14:00
event location icon
Taub 201
The field of Parameterized Complexity strives to solve intractable problems efficiently, via multivariate analysis of running time, as a function of both the input size n and a parameter k. Such analysis enables to show that some of these problems are \emph{fixed parameter tractable} (FPT); ...
[Full version]
Mathematical Analysis of Emergent Behavior in Multi-Agent Systems
event speaker icon
Yotam Elor
event date icon
Monday, 10.9.2012, 14:30
event location icon
Taub 401
Emergence can be defined as the way complex systems and patterns arise out of a multiplicity of relatively simple interactions. Emergent behavior based systems are believed to be scalable and robust due to their non-reliance on a critical central element or fragile hierarchy. In the ...
[Full version]
Haifux Club: The Resource-as-a-Service (RaaS) Cloud
event speaker icon
Orna Agmon Ben-Yehuda (CS, Technion)
event date icon
Monday, 3.9.2012, 18:30
event location icon
Taub 6
Over the next few years, a new model of buying and selling cloud computing resources will evolve. Instead of providers exclusively selling server-equivalent virtual machines for relatively long periods of time (as done in today's IaaS clouds), they will increasingly sell individual resources (such as ...
[Full version]
Combined Search Over Heterogeneous Repositories
event speaker icon
Mirit Shalem
event date icon
Sunday, 2.9.2012, 13:30
event location icon
Taub 701
In complex search tasks that utilize information from several data sources, it is often required to pose several basic search queries, join the answers to these queries, where each answer is given as a ranked list of items, and return a ranked list of combinations. ...
[Full version]
Haifux Club: Placing the Dots: On the Technical Challenges and Cultural Aspects of Typesetting Hebrew Vowel-Marks
event speaker icon
Zvi Gilboa (University of Virginia)
event date icon
Monday, 20.8.2012, 18:30
event location icon
Taub 6
This lecture will discuss the challenges presented by Hebrew vowel marks (nikud) with respect to glyph-placement and kerning in (La)TeX and under Linux, as well as the various approaches to date to meet these challenges, and likewise the cultural aspects of their causes and implications.
[Full version]
Haifux Club: Where did Bilski Take Us? Patentability of Software Related Inventions
event speaker icon
Doron Sieradzki (pczlaw.com)
event date icon
Monday, 6.8.2012, 18:30
event location icon
Taub 6
In the last two decades patenting software relations invention in the US was a flourishing business. Recent ruling by Federal Court and its affirmation in the Supreme Court of the US may seriously affect this. We will review the current legal status of software related ...
[Full version]
CGGC Seminar: Linear Asymptotic Subdivision Schemes for Curves and Positive Definite Matrices
event speaker icon
Uri Itai (Applied Mathematics, Technion)
event date icon
Sunday, 5.8.2012, 13:00
event location icon
Room 337-8 Taub Bld.
Subdivision schemes are attractive methods for generating a smooth object from discrete data by repeating refinements. These schemes have many desirable properties such as fast convergence and smoothness of the generated objects. Therefore, subdivision schemes have gained popularity in recent years as an important tool ...
[Full version]
Pixel Club: Multi-Camera People Tracking
event speaker icon
Horesh Ben Shitrit (École Polytechnique Fédérale de Lausanne (EPFL), Switzerland)
event date icon
Tuesday, 31.7.2012, 11:30
event location icon
EE Meyer Building 1061
At the CVLAB, EPFL, We have developed a multi-people tracking system. Our system is able to reliably track multiple people in a multi-camera setting. The obtained trajectories can be used for understanding individuals and group behavior. For example, we are currently involved in a project ...
[Full version]
Pixel Club: Nearest-Neighbor Searching Under Uncertainty, and Matching a Noisy Curves to a Maps
event speaker icon
Alon Efrat (CS, University of Arizona)
event date icon
Monday, 30.7.2012, 11:30
event location icon
Room 337-8 Taub Bld.
Nearest-neighbor queries, which ask for returning the nearest neighbor of a query point in a set of points, are important and widely studied in many fields because of a wide range of applications. In many of these applications, such as sensor databases, location based services, ...
[Full version]
Haifux Club: Git for Solo Projects Too
event speaker icon
Eli Billauer
event date icon
Monday, 23.7.2012, 18:30
event location icon
Taub 3
Git is well-known as the tool for collaborating in free software projects, and the Linux kernel in particular. What seems to be less known, is how useful it is even in a single developer scenario. This is a slideless, demostration-based talk, walking through the practical ...
[Full version]
Pixel Club: Blind Source Separation of Underdetermined Time/Position Varying Mixtures
event speaker icon
Yotam Michael (EE, Technion)
event date icon
Tuesday, 17.7.2012, 11:30
event location icon
EE Meyer Building 1061
Blind Source Separation (BSS) is a very applicable and well-studied problem. Most studies of the BSS problem assume the system to be time/position invariant, an assumption which assists the mathematical study, but is not guaranteed for real world situations. We present a method applicable to ...
[Full version]
Secure Multiparty Computation with Minimal Interaction
event speaker icon
Anat Paskin
event date icon
Tuesday, 10.7.2012, 15:00
event location icon
Taub 701
In the problem of secure multiparty computation (MPC) we have n parties who want to jointly evaluate a function f on their local inputs. An MPC protocol should allow the parties to correctly compute f while hiding the inputs from each other to the extent ...
[Full version]
Pixel Club: Regularization Cascade for Join
event speaker icon
Alon Zweig (CS and Engineering, The Hebrew University of Jerusalem)
event date icon
Tuesday, 10.7.2012, 11:30
event location icon
EE Meyer Building 1061
We present a novel algorithm based on a cascade of regularization terms designed to induce implicit hierarchical sharing of information among related learning tasks. Our approach can be viewed as training and combining a set of diverse classifiers. Such a combination is known to improve ...
[Full version]
Haifux Club: Hebrew search: not a trivial task (Hebmorph)
event speaker icon
Itamar Syn-Hershko
event date icon
Monday, 9.7.2012, 18:30
event location icon
Taub 3
Search engines available today render almost useless when you need to process Hebrew texts. Even effective open-source solutions like Lucene/Solr give up in despair when handed a Hebrew corpus to index. HebMorph is an open-source project with the ultimate goal of solving this problem, and ...
[Full version]
Bioinformatics Forum: Deciphering and Modeling the Gene Translation Code and Its Evolution via a Multidisciplinary Approach
event speaker icon
Tamir Tuller (Laboratory of Computational Systems Biology, Biomedical Engineering, Tel Aviv University, Tel Aviv)
event date icon
Wednesday, 4.7.2012, 15:30
event location icon
Taub 701
Gene translation is a central process in all living organisms. Thus, developing a better understanding of this complex process and its computational modeling have ramifications to every biomedical discipline. We develop computational models of gene translation and employ evolutionary systems biology approaches to study how ...
[Full version]
ceClub: Derandomizing Replication in Cloud
event speaker icon
Asaf Cidon (Stanford University)
event date icon
Wednesday, 4.7.2012, 11:30
event location icon
EE Meyer Building 861
Randomized node selection is widely used in large-scale, distributed storage systems to both load balance chunks of data across the cluster and select replica nodes to provide data durability. We argue that while randomized node selection is great for load balancing, it fails to protect ...
[Full version]
Pixel Club: Global Motion Estimation from Point Matches
event speaker icon
Mica Arie-Nachimson (Math, Weizmann Institute of Science)
event date icon
Tuesday, 3.7.2012, 11:30
event location icon
EE Meyer Building 1061
Multiview structure recovery from a collection of images requires the recovery of the positions and orientations of the cameras relative to a global coordinate system. We present an approach to this problem that given feature correspondences across pairs of images uses the pairwise Essential Matrices ...
[Full version]
Pixel Club: Recent Results in 3D Urban Modelling
event speaker icon
Andrei Sharf (Ben-Gurion University)
event date icon
Thursday, 28.6.2012, 11:30
event location icon
EE Meyer Building 1061
Today's scanning technologies, allow fast 3D scanning of urban scenes. Such rapid acquisition incurs imperfections: large regions remain missing, significant variation in sampling density is common, and the data is often corrupted with noise and outliers. Buildings often exhibit large scale repetitions and self-similarities. To ...
[Full version]
Activity Recognition Under Uncertainty using Petri Nets
event speaker icon
Gal Lavee
event date icon
Wednesday, 27.6.2012, 16:00
event location icon
Taub 601
This talk considers the problem of recognizing activities in surveillance video. Activities are high-level non-atomic semantic concepts which may have complex temporal structure. Activities are not easily identifiable using image features, but rather by the recognition of their composing events. Unfortunately, these composing events may ...
[Full version]
Spatial Proximity of Co-Regulated Yeast Genes
event speaker icon
Shai Ben-Elazar
event date icon
Wednesday, 27.6.2012, 14:30
event location icon
Taub 401
While it has been long recognized that genes are not randomly disposed along the genome, the degree to which the three dimensional (3D) structure of the genome influences the arrangement of genes has remained elusive. In particular, 'transcriptional-factories' are thought to lead to the positioning ...
[Full version]
ceClub: CORFU: A Shared-Log Design for Network-Attached Flash
event speaker icon
Dahlia Malkhi (Microsoft Research, Silicon Valley)
event date icon
Wednesday, 27.6.2012, 11:30
event location icon
Room 337-8 Taub Bld.
CORFU* is a novel storage cluster design that pools a farm of flash units and exposes it to clients as a single, global shared-log. CORFU utilizes flash to break the seeming tradeoff between consistency and performance, providing both strong consistency guarantees and high throughput. ...
[Full version]
Approximation Algorithms for Resource Scheduling and Allocation Problems
event speaker icon
Michael Beder
event date icon
Wednesday, 27.6.2012, 11:30
event location icon
Taub 601
We study the bandwidth allocation problem (BAP) and the storage allocation problem (SAP) in bounded degree trees. In BAP, we are given a tree and a set of tasks. Each task consists of a path in the tree, a bandwidth demand, and a weight. Our ...
[Full version]
Pixel Club: Place-Based Information Systems: Textual Location Identification and Visualization
event speaker icon
Hanan Samet (CS, University of Maryland)
event date icon
Tuesday, 26.6.2012, 14:30
event location icon
Faculty meeting room, 7th floor, Rabin bldg
The popularity of web-based mapping services such as Google Earth/Maps and Microsoft Virtual Earth (Bing), has led to an increasing awareness of the importance of location data and its incorporation into both web-based search applications and the databases that support them. In the past, attention ...
[Full version]
Recursion in Distributed Computing
event speaker icon
Sergio Rajsbaum
event date icon
Tuesday, 26.6.2012, 14:30
event location icon
Room 337-8 Taub Bld.
Haifux Club: ZeroVM: Lightweight Containers Based on Google Native Client
event speaker icon
Camuel Gilyadov (LiteStack)
event date icon
Monday, 25.6.2012, 18:30
event location icon
Taub 3
How cloud-friendly is traditional virtualization? As a matter of fact, all traditional virtualization technologies predate cloud era. Traditional virtualization has major advantage, they are backward compatible on binary level, making it easy to run in cloud any existing pre-cloud application. But what if backward compatability ...
[Full version]
Theory Seminar: From Irreducible Representations to Locally Decodable Codes
event speaker icon
Klim Efremenko (Tel-Aviv University)
event date icon
Wednesday, 20.6.2012, 12:30
event location icon
Taub 201
Locally Decodable Code (LDC) is a code that encodes a message in a way that one can decode any particular symbol of the message by reading only a constant number of locations, even if a constant fraction of the encoded message is adversarially corrupted. In ...
[Full version]
ceClub: Sharing Virtual Memory between CPU and GPU
event speaker icon
Boris Ginzburg (Intel Institute of Computational Intelligence)
event date icon
Wednesday, 20.6.2012, 11:30
event location icon
Room 337-8 Taub Bld.
This talk will discuss some system issues related to sharing virtual memory between CPU and GPU, which brings new challenges: GPU page faults, flashing a TLB on GPU, etc. We will also describe ESFIR - an SVM prototype, and XTHREAS - a new SVM programming ...
[Full version]
TrustPack: a Decentralized Trust Management Framework
event speaker icon
Amit Portnoy
event date icon
Tuesday, 19.6.2012, 15:00
event location icon
Taub 701
With the rise of the internet and its applications, it has became more and more common for unfamiliar parties to interact with each other. In order to help and encourage such interactions trust management systems were introduced. Those systems try to alleviate mistrust by gathering ...
[Full version]
Principles of Reasoning with Graphical Models
event speaker icon
Rina Dechter
event date icon
Tuesday, 19.6.2012, 14:30
event location icon
Room 337-8 Taub Bld.
A Semantic Approach To Graphic User Interface Programming
event speaker icon
Motty Porat
event date icon
Wednesday, 13.6.2012, 14:30
event location icon
Taub 601
It is sometimes required to run the same application program on different platforms, from smartphones to PC's. The application may have to employ different User Interfaces (UI's) on different platforms, e.g. a UI designed for a large PC screen may not fit into the small ...
[Full version]
Continuous Symmetries of Non-rigid Shapes
event speaker icon
Carmi Grushko
event date icon
Wednesday, 13.6.2012, 14:30
event location icon
Taub 401
Our world is known for its abundance of symmetric structures - in the fields of the animal kingdom, in astronomy, mathematics and chemistry, to name a few. The existence of symmetry in 3D shapes is of great interest when such applications as efficient storage, comparison ...
[Full version]
Theory Seminar: Tight Bounds for Parallel Randomized Load Balancing
event speaker icon
Christoph Lenzen (The Hebrew University of Jerusalem)
event date icon
Wednesday, 13.6.2012, 13:00
event location icon
Taub 201
Active Learning Theory and Practice
event speaker icon
Ron Begleiter
event date icon
Wednesday, 13.6.2012, 12:30
event location icon
Taub 601
Supervised learning, one of the core models of machine learning, is concerned with inducing rules from a given sample of examples. Active learning is a variant of this model in which the learning algorithm can choose which examples to learn from. The performance of such ...
[Full version]
ceClub: Improved Bounds for Byzantine Self-Stabilizing Clock Synchronization
event speaker icon
Christoph Lenzen (Weizmann Institue of Science)
event date icon
Wednesday, 13.6.2012, 11:30
event location icon
EE Meyer Building 1061
The challenging task of Byzantine self-stabilizing pulse synchronization requires that, in the presence of a minority of nodes that are permanently maliciously faulty, the non-faulty nodes must start firing synchronized pulses in a regular fashion after a finite amount of time, regardless of the initial ...
[Full version]
Autonomous Navigation within an Indoor Environment
event speaker icon
Boris Cherevatsky
event date icon
Wednesday, 13.6.2012, 10:30
event location icon
Taub 601
We address the problem of robot navigation using natural visual features in a planar environment. The algorithm gets as an input a target, which is represented by a captured image from the targets pose, and a source image, captured from the starting position and should ...
[Full version]
Pixel Club: Multiscale Framework for Discrete Energy Minimization
event speaker icon
Meirav Galun (CS, Applied Mathematics, Weizmann Institute of Science)
event date icon
Tuesday, 12.6.2012, 11:30
event location icon
EE Meyer Building 1061
Discrete energy minimization is a ubiquitous task in computer vision, yet it is NP-hard in most cases. In this work we propose a multiscale framework for coping with the NP-hardness of discrete optimization. Our approach utilizes algebraic multiscale principles to efficiently explore the discrete solution ...
[Full version]
Theory Seminar: On Identity Testing of Tensors, Low-rank Recovery and Compressed Sensing
event speaker icon
Michael Forbes (MIT)
event date icon
Wednesday, 6.6.2012, 12:30
event location icon
Taub 201
Let M be a low-rank matrix. For vectors x,y, define the bilinear form f(x,y)=x^t M y. We study the question of reconstructing M from evaluations to f. Much of previous work allowed randomized evaluations, or a stronger query model (or both). We show how to, ...
[Full version]
The surprises of Quick Sort
event speaker icon
Micha Hofri
event date icon
Tuesday, 5.6.2012, 14:30
event location icon
Room 337-8 Taub Bld.
Pixel Club: Bounded Distortion Mapping Spaces for Triangular Meshes
event speaker icon
Yaron Lipman (Weizmann Institute of Science)
event date icon
Tuesday, 5.6.2012, 11:30
event location icon
EE Meyer Building 1061
In this talk we introduce generic convex spaces of bounded distortion piecewise linear mappings of triangular meshes. It is shown how common geometric processing objective functionals can be restricted to these new spaces, rather than to the entire space of piecewise linear mappings, to provide ...
[Full version]
TCE Guest Lecture: Lane Decoupling for Improving the Timing-Error Resiliency of Wide-SIMD Architectures
event speaker icon
Mattan Erez (University of Texas at Austin)
event date icon
Sunday, 3.6.2012, 15:30
event location icon
EE Meyer Building 1061
A significant portion of the energy dissipated in modern integrated circuits is consumed by the overhead associated with timing guardbands that ensure reliable execution. Timing speculation, where the pipeline operates at an unsafe voltage with any rare errors detected and resolved by the architecture, has ...
[Full version]
CGGC Seminar: On the possibility of simple parallel computing of Voronoi diagrams and Delaunay Graphs
event speaker icon
Daniel Reem (IMPA, Rio, Brasil)
event date icon
Sunday, 3.6.2012, 13:00
event location icon
Room 337-8 Taub Bld.
Although many algorithms for computing Euclidean Voronoi diagrams of point sites have been published, most of them are sequential in nature and hence cast inherent difficulties on the possibility to compute the diagrams in parallel. We present a new algorithm which enables the (combinatorial) computation ...
[Full version]
Safe Zones: An Efficient Approach to Distributed Monitoring
event speaker icon
Amir Abboud
event date icon
Wednesday, 30.5.2012, 16:30
event location icon
Taub 601
Many monitoring tasks over distributed data streams can be formulated as a continuous query using a function that is defined over the global average of data vectors derived from the streams. The query will typically produce an alert when the value of the function crosses ...
[Full version]
Coverage-Driven Refinement of Conceptual Representations
event speaker icon
Haggai Toledano
event date icon
Wednesday, 30.5.2012, 13:30
event location icon
Taub 601
Many text processing tasks are based on estimating semantic relatedness between texts. For example, in information retrieval, relevancy of documents can be determined based on the semantic distance from the query. Recently, many algorithms have been developed for evaluating semantic relatedness based on a conceptual ...
[Full version]
Theory Seminar: From Irreducible Representations to Locally Decodable Codes
event speaker icon
Ofer Neiman (Ben-Gurion University)
event date icon
Wednesday, 30.5.2012, 12:30
event location icon
Taub 201
Given a set of $n$ points in $\ell_{1}$, how many dimensions are needed to represent all pairwise distances within a specific distortion ? This dimension-distortion tradeoff question is well understood for the $ell_{2}$ norm, where $O((\logn)/\epsilon^{2})$ dimensions suffice to achieve $1+\epsilon$ distortion. In sharp contrast, ...
[Full version]
Pixel Club: Incremental Light Bundle Adjustment For SfM And Multi-robot Localization
event speaker icon
Vadim Indelman (Robotics and Intelligent Machines (RIM) Center, College of Computing, Georgia Institute of Technology)
event date icon
Wednesday, 30.5.2012, 11:30
event location icon
EE Meyer Building 1061
Fast and reliable bundle adjustment is essential in many structure from motion (SfM) related applications such as mobile vision, augmented reality and robotics. In this talk an incremental and computationally efficient method for bundle adjustment will be presented. The method incorporates two key ideas to ...
[Full version]
ceClub: A Virtual Mobile Smartphone Architecture
event speaker icon
Oren Laadan (CS, Columbia University)
event date icon
Wednesday, 30.5.2012, 11:30
event location icon
EE Meyer Building 861
Smartphones are increasingly ubiquitous, and many users carry multiple phones to accommodate work, personal, and geographic mobility needs. We present Cells, a virtualization architecture for enabling multiple virtual smartphones to run simultaneously on the same physical cellphone in an isolated, secure manner. Cells introduces a ...
[Full version]
Computing in the 21st Century: The Georgia Tech Model
event speaker icon
Zvi Galil
event date icon
Tuesday, 29.5.2012, 14:30
event location icon
Room 337-8 Taub Bld.
Pixel Club: Reporting Neighbors in High-Dimensional Euclidean Space
event speaker icon
Dror Aiger (Google)
event date icon
Tuesday, 29.5.2012, 11:30
event location icon
EE Meyer Building 1061
We consider the following problem, which arises in many database and web-based applications: Given a set $P$ of $n$ points in a high-dimensional space $\reals^d$ and a distance $r$, we want to report all pairs of points of $P$ at Euclidean distance at most $r$. ...
[Full version]
ceClub: Dr. Philip M. Merlin Memorial Lecture and Prize Award: Scheduling Algorithms for the 4G Cellular Networks
event speaker icon
Reuven Cohen (CS, Technion)
event date icon
Wednesday, 23.5.2012, 14:30
event location icon
EE Meyer Building 1003
Cellular networks are becoming more and more crucial to our daily lives and operators are seeking new technologies for increasing their bandwidth. Examples for such technologies are cell sectorization, fractional frequency reuse, and coordinated multipoint Tx/Rx. To take advantage of these new technologies, the scheduler ...
[Full version]
Theory Seminar: Optimal Testing of Multivariate Polynomials over Small Prime Field
event speaker icon
Elad Haramaty ( (CS, Technion)
event date icon
Wednesday, 23.5.2012, 12:30
event location icon
Taub 201
We consider the problem of testing if a given function f is close to a n-variate degree d polynomial over the finite field of q elements. The natural, low-query, test for this property would be to pick the smallest dimension t= t(q,d )≈ d/q such ...
[Full version]
The Complexity of Cryptography
event speaker icon
Yuval Ishai
event date icon
Tuesday, 22.5.2012, 14:30
event location icon
Room 337-8 Taub Bld.
Pixel Club: Human Attributes from 3D Pose Tracking
event speaker icon
Micha Livne (CS, University of Toronto)
event date icon
Tuesday, 22.5.2012, 11:30
event location icon
EE Meyer Building 1061
This talk concerns the estimation of human attributes from 3D human pose and motion. We consider both physical attributes (eg, gender and weight) and aspects of mental state (eg, mood). This task is useful for man-machine communication, and it provides a natural benchmark for evaluating ...
[Full version]
Theory Seminar: Extractors for Polynomials Sources over Constant-Size Fields of Small Characteristic
event speaker icon
Ariel Gabizon (CS. Technion)
event date icon
Wednesday, 16.5.2012, 12:30
event location icon
Taub 201
Let F be the field of q elements, where q=p^l for prime p. Informally speaking, a polynomial source is a distribution over F^n sampled by low degree multivariate polynomials. In this paper, we construct extractors for polynomial sources over fields of constant size q assuming ...
[Full version]
ceClub:Dynamic Reconfiguration of Primary/Backup Clusters
event speaker icon
Alex Shraer (Yahoo! Research)
event date icon
Wednesday, 16.5.2012, 11:30
event location icon
Room 337-8 Taub Bld.
Dynamically changing (reconfiguring) the membership of a replicated distributed system while preserving data consistency and system availability is a challenging problem. In this talk I will discuss this problem in the context of Primary/Backup clusters and Apache Zookeeper. Zookeeper is an open source system which ...
[Full version]
Haifux Club: InfiniBand, RoCE and RDMA Verbs - Empowering Supercomputing and Data Center Interconnects
event speaker icon
Dotan Barak (Mellanox)
event date icon
Monday, 14.5.2012, 18:30
event location icon
Taub 3
This lecture aims to provide a brief introduction to the InfiniBand™ architecture and programming using RDMA verbs. InfiniBand is an open standard, used in HPC (supercomputing) and data center environments for high performance connectivity. This standard defines a complete fabric architecture, from the physical layer ...
[Full version]
Theory Seminar: Fully Dynamic Approximate Distance Oracles for Planar Graphs via Forbidden-Set Distance Labels
event speaker icon
Shiri Chechik (Weizmann Institute of Science)
event date icon
Wednesday, 9.5.2012, 12:30
event location icon
Taub 201
Distance oracle is a data structure that provides fast answers to distance queries. Recently, the problem of designing distance oracles capable of answering restricted distance queries, that is, estimating distances on a subgraph avoiding some forbidden vertices, has attracted a lot of attention. In this ...
[Full version]
ceClub: Self-Adjusting Networks and Distributed Data Structures
event speaker icon
Chen Avin (Ben Gurion University)
event date icon
Wednesday, 9.5.2012, 11:30
event location icon
EE Meyer Building 861
We study self-optimizing networks and data structures. The goal of this research line is the design of fully distributed algorithms which flexibly adapt the network to a dynamic environment such as changing demands or traffic patterns. The idea of self-adjusting networks is motivated by trends ...
[Full version]
Functions which are close to being k-local are juntas
event speaker icon
Guy Kindler
event date icon
Tuesday, 8.5.2012, 14:30
event location icon
Room 337-8 Taub Bld.
Pixel Club: Viewpoint-Aware Object Detection and Pose Estimation
event speaker icon
Daniel Glazner (Faculty of Mathematics and Computer Science The Weizmann Institute of Science)
event date icon
Tuesday, 8.5.2012, 11:30
event location icon
EE Meyer Building 1061
We describe an approach to category-level detection and viewpoint estimation for rigid 3D objects from single 2D images. In contrast to many existing methods, we directly integrate 3D reasoning with an appearance-based voting architecture. Our method relies on a nonparametric representation of a joint distribution ...
[Full version]
Haifux Club: Scientific Python
event speaker icon
Uri Barkan
event date icon
Monday, 7.5.2012, 18:30
event location icon
Taub 3
See Hebrew announcement.
[Full version]
Theory Seminar: Random Arithmetic Formulas can be Reconstructed Efficiently
event speaker icon
Ankit Gupta (CS, Technion)
event date icon
Wednesday, 2.5.2012, 12:30
event location icon
Taub 201
What is an optimal formula computing a given multivariate polynomial $f$? In this work, we show that this question admits an efficient algorithmic solution in an average-case sense. Specifically, we consider the following situation. Let $\F$ be a field, $S \subseteq \F$ be a finite ...
[Full version]
How Do Classes Choose Their Parents? (Preferential Attachment to the Trial)
event speaker icon
Yossi Gil
event date icon
Tuesday, 1.5.2012, 14:30
event location icon
Room 337-8 Taub Bld.
Pixel Club: Learning Feature Descriptors
event speaker icon
Alex Bronstein (School of Electrical Engineering, Tel Aviv University)
event date icon
Tuesday, 1.5.2012, 11:30
event location icon
EE Meyer Building 1061
SIFT-like local feature descriptors are ubiquitously employed in such computer vision applications as content-based retrieval, video analysis, copy detection, object recognition, photo-tourism, and 3D reconstruction from multiple views. Feature descriptors can be designed to be invariant to certain classes of photometric and geometric transformations, in ...
[Full version]
Extracting Meaning from Search Behavior Data
event speaker icon
Eugene Agichtein
event date icon
Tuesday, 24.4.2012, 14:30
event location icon
Room 337-8 Taub Bld.
Haifux Club: Modern Web Development in Perl
event speaker icon
Gabor Szabo
event date icon
Monday, 23.4.2012, 18:30
event location icon
Taub 3
Back in the early years of the dynamic web, Perl was the de-facto choice of language. It was so ubique that people associated it with CGI. For that, even today, Perl suffers from a bad image. Even though, under the visible surface, there are strong ...
[Full version]
Theory Seminar: Pseudorandom Generators with Large Stretch and Low Locality from Random Local One-Way Functions
event speaker icon
Benny Applebaum, Tel-Aviv University
event date icon
Sunday, 22.4.2012, 13:00
event location icon
Taub 201
Locally-computable pseudorandom generators (PRGs) map n random input bits into m>n pseudorandom bits such that each of the m outputs depend on a small number of d inputs. While it is known that such generators are likely to exist for the case of small sub-linear ...
[Full version]
CGGC Seminar: Towards Unencumbered 3D Teleconferencing Systems
event speaker icon
Tiberiu Popa (Computer Graphics Laboratory , ETH, Zurich)
event date icon
Thursday, 19.4.2012, 11:15
event location icon
Room 337-8 Taub Bld.
With the recent development of auto-multiscopic 3D displays that provide a 3D experience without the use of glasses, and with the recent availability of inexpensive hybrid depth/color cameras such as the Kinect, that provide real-time geometric and texture information, we are a step closer to ...
[Full version]
TCE Lecture: Green Cellular Networks: A Survey, Some Research Issues and Challenges
event speaker icon
Vijay K. Bhargava (University of British Columbia and President, IEEE Communications Society)
event date icon
Wednesday, 18.4.2012, 11:30
event location icon
Room 337-8 Taub Bld.
In this talk, we present techniques to enable green communications in future generation of wireless systems that will rely on cooperation and cognition to meet increasing demand of high data rate. So far, achieving high data rate has been the primary focus of research in ...
[Full version]
Improved Competitive Ratio for the Matroid Secretary Problem
event speaker icon
Oded Lachish
event date icon
Tuesday, 17.4.2012, 14:30
event location icon
Room 337-8 Taub Bld.
Adaptive Reconstruction Methods for Low-Dose Computed Tomography
event speaker icon
Yossi Shtok
event date icon
Thursday, 5.4.2012, 11:30
event location icon
Taub 337
The main problem with contemporary Computed Tomography (CT) imaging is the high radiation dose absorbed by patients during the screening. Reducing this dose may result in poor quality imaging when using the popular fast and direct reconstruction techniques. On the other hand, iterative methods powered ...
[Full version]
Resource Management in Grid Environments
event speaker icon
Pavel Bar
event date icon
Wednesday, 4.4.2012, 14:00
event location icon
Taub 601
Grid computing environments have become mission-critical components in research and industry, offering sophisticated solutions to exploit large computing and storage resources across multiple geographic locations and administrative domains. Usually, such grid resources are non-dedicated or opportunistic, as a consequence users will utilize the resources following ...
[Full version]
Algebraic Collocation Coarse Approximation (ACCA) in Multigrid
event speaker icon
Ran Zemach
event date icon
Wednesday, 4.4.2012, 12:30
event location icon
Taub 601
Most algebraic multigrid (AMG) methods define the coarse operators by applying the (Petrov-) Galerkin coarse approximation (GCA) where the sparsity pattern and operator complexity of the multigrid hierarchy are dictated by the multigrid transfer operators (prolongation and restriction). Therefore, AMG algorithms must usually settle on ...
[Full version]
Labelings and Partitions of Graphs
event speaker icon
Roy Schwartz
event date icon
Wednesday, 4.4.2012, 12:30
event location icon
Taub 201
The study of combinatorial problems with a submodular objective function has attracted much attention in recent years, and is partly motivated by the importance of such problems to combinatorial optimization, economics, and algorithmic game theory. A partial list of well-known problems captured by submodular maximization ...
[Full version]
Theory Seminar: Labelings and Partitions of Graphs
event speaker icon
Roy Schwartz (CS, Technion)
event date icon
Wednesday, 4.4.2012, 12:30
event location icon
Taub 201
The study of combinatorial problems with a submodular objective function has attracted much attention in recent years, and is partly motivated by the importance of such problems to combinatorial optimization, economics, and algorithmic game theory. A partial list of well-known problems captured by submodular maximization ...
[Full version]
Determining the Winner of a Dodgson Election is Hard
event speaker icon
Professor Frances Rosamond
event date icon
Tuesday, 3.4.2012, 14:30
event location icon
Room 337-8 Taub Bld.
Bioinformatics Forum: Biomed Data at Work
event speaker icon
Eugene Kolker (Children's Hospital, University of Washington)
event date icon
Tuesday, 3.4.2012, 13:30
event location icon
Shelter seminar room, Biology, Technion
Access to high-quality data drives our ability to ask questions and find answers. Our lab has a number of projects based on this premise. Proteomics data from experimental research in diabetes has enabled the discovery of two promising beta cell regulators, Netrin and Sem3a. We ...
[Full version]
Pixel Club: Generalized Projection Based M-estimator
event speaker icon
Peter Meer (Electrical and Computer Engineering Department Rutgers University)
event date icon
Tuesday, 3.4.2012, 11:30
event location icon
Room 337-8 Taub Bld.
A new robust estimation algorithm, the generalized projection based M-estimator (gpbM) is proposed. The algorithm is general and can handle heteroscedastic data where every point in the estimation have a different covariance. Does not require the user to specify any (scale) parameters, and can be ...
[Full version]
Haifux Club: Automatic Parallelization in GCC
event speaker icon
Razya Ladelsky (IBM R&D, Haifa)
event date icon
Monday, 2.4.2012, 18:30
event location icon
Taub 3
With the emergence of multicore architectures there is a growing need for automatic parallelization, that distributes sequential code into multi threaded code. OpenMP defines language extensions to C, C++, and Fortran for implementing multi-threaded shared memory applications. Generation of such extensions by the compiler relieves ...
[Full version]
The algorithmization of causes and counterfactuals
event speaker icon
Judea Pearl, Special Guest Talk, Harvey Prize and Turing Award Winner,
event date icon
Thursday, 29.3.2012, 11:00
event location icon
CS Taub Build. Auditorium 2
Cache or Charge? Cooperative Caching with Credits
event speaker icon
Gala Yadgar
event date icon
Wednesday, 28.3.2012, 12:30
event location icon
Taub 601
In cooperative storage caching, clients may access blocks directly from each other's caches. Previous studies treated all the cooperating caches as a single pool, maximizing overall system performance at the price of possibly degraded performance for individual clients. In light of the popularity of many ...
[Full version]
Theory Seminar: On the complexity of the Furthest Hyperplane Problem
event speaker icon
Zohar Karnin (Yahoo! Research)
event date icon
Wednesday, 28.3.2012, 12:30
event location icon
Taub 201
This paper introduces the Furthest Hyperplane Problem (FHP), which is an unsupervised counterpart of Support Vector Machines. Given a set of n points in R^d, the objective is to produce the hyperplane (passing through the origin) which maximizes the separation margin, that is, the minimal ...
[Full version]
ceClub: Improving Virtualization Performance Through Phy
event speaker icon
Nadav Amit (CS, Tehcnion)
event date icon
Wednesday, 28.3.2012, 11:30
event location icon
Taub 401
Machine virtualization, where many virtual machines run on a single physical machine, has become an increasingly popular area of research and development in the last decade. Despite the introduction of hardware support for machine virtualization in commodity servers, many workloads still suffer from degraded performance ...
[Full version]
Parameterizing on the Number of Numbers
event speaker icon
Prof. Michael Fellows
event date icon
Tuesday, 27.3.2012, 14:30
event location icon
Room 337-8 Taub Bld.
TCE Lecture: Consistent Hashing, Danny Lewin, and the Creation of Akamai
event speaker icon
Tom Leighton (Applied Math, MIT)
event date icon
Tuesday, 27.3.2012, 11:00
event location icon
Butler Auditorium, Mosad Neeman Building,Technion
In 1996, twelve years after making Aliyah to Israel, Danny Lewin graduated from the Technion and came to MIT to study algorithms. Over the next few years, he wrote a prize-winning Master’s Thesis on Consistent Hashing and co-founded Akamai Technologies, which today accelerates the delivery ...
[Full version]
e-club: How to Start a Start-Up
event speaker icon
Ofer Vilenski (Jungo)
event date icon
Monday, 26.3.2012, 18:30
event location icon
Taub 337
Have you always dreamed to start a Start-up and didn't know how? Come to meet, hear and ask those who made it big time!
[Full version]
CSpecial Talk: Unified Algorithms for Online Learning and Competitive Analysis
event speaker icon
Shahar Chen (CS, Tehcnion)
event date icon
Sunday, 25.3.2012, 16:30
event location icon
Taub 601
Online learning and competitive analysis are two widely studied frameworks for online decision-making settings. Despite the frequent similarity of the problems they study, there are significant differences in their assumptions, goals and techniques, hindering a unified analysis and richer interplay between the two. In this ...
[Full version]
Approximating Semidefinite Programs In Sublinear Time
event speaker icon
Dan Garber
event date icon
Wednesday, 21.3.2012, 16:00
event location icon
Taub 701
Semidefinite programming is a fundamental problem in convex programming with numerous applications. In the field of combinatorial optimization, many approximation algorithms that rely on sdp have been discovered in the past two decades starting with the work of Goemans and Williamson on MAX-CUT. In the ...
[Full version]
Automatic Extraction of Subcategorization Frames for Hebrew
event speaker icon
Hanna Fadida
event date icon
Wednesday, 21.3.2012, 14:30
event location icon
Taub 701
Verb subcategorization frames determine the number and types of the syntactic arguments that verbs select, or subcategorize for. Typically, verbs can be associated with subcategorization frames that specify, for each subcategorized argument, information on the phrases that can realize this argument. These can be noun ...
[Full version]
Bioinformatics Forum: Global sampling of Macromolecular Association Energy landscapes using Fast Fourier Transforms and their Generalizations
event speaker icon
Dima Kozakov (Biomedical Engineering, Boston University)
event date icon
Wednesday, 21.3.2012, 13:00
event location icon
Seminar room, 4th floor, Emerson building, Technion
Sampling energy landscape of macromolecular interactions is a challenging problem of computational biology. Classical approaches like Molecular Dynamics and Monte Carlo are not always optimal for these applications due to large configurational space of the problem. On contrary The Fast Fourier Transform (FFT) correlation sampling ...
[Full version]
Theory Seminar: Monotone Unification Problems
event speaker icon
Pavel Hrubes (Princeton University)
event date icon
Wednesday, 21.3.2012, 12:30
event location icon
Taub 201
Given two monotone polynomials f,g, their unifier is a pair of monotone polynomials u,v such that f=cu+v and g=u+cv, for some c>0. The problem I will discuss is: can we have monotone polynomials f,g which have a unifier, they can be computed by a small ...
[Full version]
Pixel Club: Not Your Typical Pixel: On "Cortical Vision" without Visual Cortex
event speaker icon
Ohad Ben-Shahar (Ben-Gurion University)
event date icon
Tuesday, 20.3.2012, 11:30
event location icon
EE Meyer Building 1061
Our visual attention is attracted by salient stimuli in our environment and affected by primitive features such as orientation, color, and motion. Perceptual saliency due to orientation contrast has been extensively demonstrated in behavioral experiments with humans and other primates and is commonly explained by ...
[Full version]
Haifux Club: Software Tools for Reconfigurable Architectures
event speaker icon
Victor Kaplansky (IBM R&D, Haifa)
event date icon
Monday, 19.3.2012, 18:30
event location icon
Taub 6
Reconfigurable computing allows a lower power consumption to achieve higher performance than software, while maintaining a higher level of flexibility than hardware. Reconfigurable devices, such as field-programmable gate arrays (FPGAs), contain an array of computational elements whose functionality is determined through multiple programmable configuration bits. ...
[Full version]
ceClub: PCI Express: Technology, Road Map and Design Challenges
event speaker icon
Rick Eads (Agilent Technologies)
event date icon
Monday, 19.3.2012, 15:30
event location icon
EE Meyer Building 861
PCI Express is an industry standard, and the most prominent interconnection architecture for I/O devices and other boards inside a computer. It is defined and updated by the PCI-SIG(R) industry standards body, originally formed in 1992 as the Peripheral Component Interconnect (PCI) special interest group ...
[Full version]
Pixel Club: Geometric constraints in shape analysis
event speaker icon
Dan Raviv (CS, Tehcnion)
event date icon
Monday, 19.3.2012, 10:30
event location icon
Room 337-8 Taub Bld.
Traditional models of bendable surfaces are based on the exact or approximate invariance to deformations that do not tear or stretch the shape, leaving intact an intrinsic geometry associated with it. Intrinsic geometries are typically defined by shortest paths also known as geodesic distances, or ...
[Full version]
Quantum Neural Computation and Associative Memory
event speaker icon
Tamer Salman
event date icon
Wednesday, 14.3.2012, 16:30
event location icon
Taub 701
This thesis presents quantum analogues of artificial neural networks. We analyze and compare their performance to known classical and previously proposed quantum models. First we propose a model for associative memory based on a modification of Grover's quantum search algorithm and prove that the capacity ...
[Full version]
A Study of Data Structures with a Deep Heap Shape
event speaker icon
Haggai Eran
event date icon
Wednesday, 14.3.2012, 15:00
event location icon
Taub 701
Computing environments become increasingly parallel, and it seems likely that we will see more cores on tomorrow's desktops and server platforms. In a highly parallel system, tracing garbage collectors may not scale well due to deep heap structures that hinder parallel tracing. In this work ...
[Full version]
Finding Malware on a Web Scale
event speaker icon
Ben Livshits SPECIAL GUEST LECTURE,
event date icon
Wednesday, 14.3.2012, 14:30
event location icon
Room 539 Taub Bld.
Violation Resolution in Distributed Stream Networks
event speaker icon
David Ben-David
event date icon
Wednesday, 14.3.2012, 13:00
event location icon
Taub 701
Threshold monitoring applications in distributed stream networks contin- uously monitor the global score of the network and alert whenever a given threshold is crossed. The network's global score is computed by applying a certain scoring function over the aggregated data derived from the network streams. ...
[Full version]
Theory Seminar: Causality, Knowledge and Coordination in Synchronous Systems
event speaker icon
Ido Ben-Zvi (EE, Technion)
event date icon
Wednesday, 14.3.2012, 12:30
event location icon
Taub 201
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 ...
[Full version]
Bioinformatics Forum: Systems Biology of Viral Pathogenesis and Immunity: Where are Google and IBM?
event speaker icon
Michael G. Katze (University of Washington, Seattle)
event date icon
Wednesday, 14.3.2012, 11:30
event location icon
Taub 401
After decades of research, vaccines against some of the greatest viral threats are still lacking and antiviral drugs remain few and slow in coming. These shortcomings point to the need for new approaches that go beyond traditional virology methods. High-throughput technologies and computational biology promise ...
[Full version]
TCE Guest Lecture: Obstacles and Chances for Multi-core Deployment in Hard Real-time Systems
event speaker icon
Theo Ungerer (CS, University of Augsberg, Germany)
event date icon
Tuesday, 13.3.2012, 14:30
event location icon
EE Meyer Building 861
Providing higher performance than state-of-the-art embedded processors can deliver today will increase safety, comfort, number and quality of services, while also lowering emissions as well as fuel demands for automotive, avionic and automation applications. Engineers who design hard real-time embedded systems in such embedded domains ...
[Full version]
NUMA and locality aware multi-core software
event speaker icon
Elad Gidron
event date icon
Monday, 12.3.2012, 14:00
event location icon
Taub 701
Emerging computer architectures pose many new challenges for software development. First, as the number of computing elements constantly increases, the importance of scalability of parallel programs becomes more significant. Second, accessing memory has become the principal bottleneck, while multi-CPU systems are based on NUMA architectures, ...
[Full version]
Learning Linear Support Vector Machines in Sublinear Time
event speaker icon
Tomer Koren
event date icon
Wednesday, 7.3.2012, 14:30
event location icon
Taub 701
In recent years, stochastic approximation approaches such as Stochastic Gradient Descent (SGD) and Stochastic Dual Averaging have become the optimization method of choice for many learning problems, including linear Support Vector Machines (SVMs). This is not surprising, since such methods yield optimal generalization guarantees with ...
[Full version]
Approximation Algorithm for Soft-Capacitated Connected Facility
event speaker icon
Assaf Rappaport
event date icon
Tuesday, 6.3.2012, 14:00
event location icon
Taub 601
Data centers are becoming the hosting platform for a wide spectrum of composite applications. In recent years, large investments have been made in massive data centers supporting cloud services, by companies such as eBay, Facebook, Google, Microsoft, and Yahoo!. With an increasing trend towards global ...
[Full version]
Matrix Learning: A Tale of Two Norms
event speaker icon
Nati Srebro
event date icon
Wednesday, 29.2.2012, 14:30
event location icon
Room 337-8 Taub Bld.
Polar codes: construction and improved decoding
event speaker icon
Ido Tal
event date icon
Tuesday, 28.2.2012, 14:30
event location icon
Room 337-8 Taub Bld.
Pixel Club: Hierarchical Invariant Sparse Modeling for Image Analysis
event speaker icon
Leah Bar (Mathematics, Tel Aviv University)
event date icon
Tuesday, 21.2.2012, 11:30
event location icon
EE Meyer Building 1061
Sparse representation theory has been increasingly used in signal processing and machine learning. In this work we introduce a hierarchical sparse modeling approach which integrates information from the image patch level to derive a mid-level invariant image and pattern representation. The proposed framework is based ...
[Full version]
Haifux Club: Making Hebrew Slides with LaTeX and Beamer
event speaker icon
Gai Shaked
event date icon
Monday, 20.2.2012, 18:30
event location icon
Taub 6
LaTeX is a high-quality typesetting system; BEAMER is is a LaTeX class for creating presentations; Hebrew is an esoteric west Semitic language we happen to speak. This talk will cover all three, by the end of the talk you will be able to create beautiful ...
[Full version]
On the Complexity of the Regenerator Location Problem - Treewidth and Other Parameters
event speaker icon
Itamar Hartstein
event date icon
Sunday, 19.2.2012, 11:30
event location icon
Taub 701
We deal with the Regenerator Location Problem in optical networks. We are given a network G = (V, E), and a set Q of communication requests between pairs of terminals in V. We investigate two variations: one in which we are given a routing P ...
[Full version]
Synthesizing Concurrent Relational Data Structures
event speaker icon
Roman Manevich
event date icon
Tuesday, 14.2.2012, 14:30
event location icon
Room 337-8 Taub Bld.
Geometric Methods for Analyzing and Monitoring Large Distributed Data
event speaker icon
Guy Sagy
event date icon
Wednesday, 8.2.2012, 13:00
event location icon
Taub 601
A basic requirement in many distributed systems is the ability to detect objects whose score, according to a given function, exceeds some threshold. Since an object's data can be partitioned over various nodes, computing its global score requires collecting its data over the network. A ...
[Full version]
ceClub: Synthesizing Concurrent Relational Data Structures
event speaker icon
Roman Manevich (UT Austin)
event date icon
Wednesday, 8.2.2012, 11:30
event location icon
EE Meyer Building 861
Efficient concurrent data structures are extremely important for obtaining good performance for most parallel programs. However, ensuring the correctness of concurrent data structure implementations can be very tricky because of concurrency bugs such as race conditions and deadlocks. In systems that use optimistic parallel execution ...
[Full version]
Multiparty Computation from Somewhat Homomorphic Encryption
event speaker icon
Ivan Damgaard
event date icon
Tuesday, 7.2.2012, 14:30
event location icon
Room 337-8 Taub Bld.
Pixel Club: Tissue Microenvironment Magnetic Resonance Imaging (TM-MRI) of the body: A Reliable Quantitative Biomarker for Personalized Treatment Paradigms
event speaker icon
Moti Freiman (Computational Radiology Lab, Harvard Medical School)
event date icon
Tuesday, 7.2.2012, 11:30
event location icon
EE Meyer Building 1061
Personalized treatment approaches which optimize drugs doses according to pre-treatment and early response-to-therapy evaluation hold the promise to improve treatment success rates and reduce severe adverse side-effects due to drugs toxicity in variety of pathologies. Reliable assessment of tissue microenvironment including cell proliferation, density and ...
[Full version]
Haifux Club: C++ AMP: Microsoft approach for Heterogeneous Computing
event speaker icon
Avi Mendelson (Microsoft and CS&EE, Technion)
event date icon
Monday, 6.2.2012, 18:30
event location icon
Taub 6
C++ AMP (Accelerated Massive Parallelism) is a native programming model that contains elements that span the C++ programming language and its runtime library. The syntactic changes introduced by AMP are minimal, but additional restrictions are enforced to reflect the limitations of data parallel hardware. Data ...
[Full version]
Random Sampling Preconditioners
event speaker icon
Haim Avron SPECIAL GUEST TALK-
event date icon
Monday, 6.2.2012, 14:30
event location icon
Room 337-8 Taub Bld.
Utilizing Multiple Radio Interfaces in Wireless Networks
event speaker icon
Alex Kogan
event date icon
Wednesday, 1.2.2012, 11:00
event location icon
Taub 601
Contemporary mobile devices are equipped with multiple wireless interfaces, such as WiFi, Bluetooth, WiMax, ZigBee, NFC, etc. All these technologies differ dramatically one from another in maximum transmission range, bandwidth and power demands. Among all subsystems operating inside mobile devices, wireless communication is known as ...
[Full version]
The Plural Architecture: Shared Memory Many-cores with Hardware Scheduling
event speaker icon
Ran Ginosar
event date icon
Tuesday, 31.1.2012, 15:30
event location icon
Room 337-8 Taub Bld.
How Your Smartphone Can Use Game-Theory to Valet-park Your Car
event speaker icon
Ouri Wolfson
event date icon
Tuesday, 31.1.2012, 14:30
event location icon
Room 337-8 Taub Bld.
Pixel Club: Diverse M-best Solutions in MRFs
event speaker icon
Greg Shakhnarovich (TTI-Chicago)
event date icon
Tuesday, 31.1.2012, 11:30
event location icon
Room 337-8 Taub Bld.
Much effort has been directed at algorithms for obtaining the highest probability (MAP) configuration in a probabilistic (random field) model. In many situations, one could benefit from additional solutions with high probability. Current methods for computing additional most probable configurations produce solutions that tend to ...
[Full version]
Exploiting Morphology in Identifying Multiword Expressions from Multilingual Parallel Corpora
event speaker icon
Daniel Hurwitz
event date icon
Wednesday, 25.1.2012, 12:30
event location icon
Taub 601
Our research discusses multi-word expressions (MWE) such as "kick the bucket", "hot dog", "by and large", "look up, and "spill the beans". Identification of MWEs has been a hot subject of research in recent years. We present a method to identify MWEs in Hebrew using ...
[Full version]
Theory Seminar: Coin Flipping with Constant Bias Implies One-Way Functions
event speaker icon
Eran Omri (Bar-Ilan University)
event date icon
Wednesday, 25.1.2012, 12:30
event location icon
Taub 201
It is well known (c.f., Impagliazzo and Luby [FOCS '89]) that the existence of almost all ``interesting" cryptographic applications, i,e., ones that cannot hold information theoretically, implies one-way functions. An important exception where the above implication is not known, however, is the case of coin-flipping ...
[Full version]
Pixel Club: Visual Audio Denoising
event speaker icon
Dana Segev (EE, Technion)
event date icon
Tuesday, 24.1.2012, 11:30
event location icon
EE Meyer Building 1061
Audio denoising is a long studied problem, with numerous algorithms and a wide accumulated knowledge. Considering non-stationary noise (like noise in a cocktail party environment) and strong, this task becomes very difficult to handle. This paper considers such audio denoising problems, where the audio track ...
[Full version]
Theory Seminar: A Polylogarithmic-Competitive Algorithm for the $k$-Server Problem
event speaker icon
Niv Buchbinder (Open University )
event date icon
Wednesday, 18.1.2012, 12:30
event location icon
Taub 201
The $k$-server problem is one of the most fundamental and extensively studied problems in online computation. Suppose there is an $n$-point metric space and $k$ servers are located at some of the points of the metric space. At each time step, an online algorithm is ...
[Full version]
ceClub: Distributed Average Consensus and Coherence in Dynamic Networks
event speaker icon
Stacy Patterson (EE, Technion)
event date icon
Wednesday, 18.1.2012, 11:30
event location icon
EE Meyer Building 861
In the distributed average consensus problem, each node in a network has an initial value, and the objective is for all nodes to reach consensus at the average of these values using only communication with nearby nodes. Distributed average consensus algorithms have a wide variety ...
[Full version]
Vector Diffusion Maps and the Connection Laplacian
event speaker icon
Amit Singer
event date icon
Tuesday, 17.1.2012, 14:30
event location icon
Room 337-8 Taub Bld.
Pixel Club: The Role of Target Fixations in the Process of Recognition
event speaker icon
Michal Jacob (Intel, Computer Vision Group)
event date icon
Tuesday, 17.1.2012, 11:30
event location icon
Room 337-8 Taub Bld.
Why do we perceive some elements in a visual scene, while others remain undetected? We compared fixations on detected vs. undetected items in the Identity Search Task (Jacob & Hochstein, 2009). Using a gaze-contingent technique, we further controlled the number of fixations on the target ...
[Full version]
Definability of Combinatorial Functions
event speaker icon
Tommer Kotek
event date icon
Wednesday, 11.1.2012, 14:30
event location icon
Taub 601
The complexity of several prominent graph polynomials, such as the chromatic polynomial and the matching polynomial, has been studied in the literature. In 2008 Makowsky raised a conjecture which generalizes complexity results for specific graph polynomials to an infinite class of graph polynomials which include ...
[Full version]
Making Computers Good Listeners
event speaker icon
Joseph Keshet
event date icon
Wednesday, 11.1.2012, 14:30
event location icon
Room 337-8 Taub Bld.
Theory Seminar: Detecting Dangerous Queries: A New Approach for Chosen Ciphertext Security
event speaker icon
Brent Waters (University of Texas)
event date icon
Wednesday, 11.1.2012, 12:30
event location icon
Taub 201
I will present a new approach for creating chosen ciphertext secure encryption. The focal point of our work is a new abstraction that we call Detectable Chosen Ciphertext Security (DCCA). Intuitively, this notion is meant to capture systems that are not necessarily chosen ciphertext attack ...
[Full version]
ceClub: Persistent OSPF Attacks
event speaker icon
Gabi Nakibly (National EW Research and Simulation Center)
event date icon
Wednesday, 11.1.2012, 11:30
event location icon
Taub 337
Open Shortest Path First (OSPF) is the most popular interior gateway routing protocol on the Internet. Most known OSPF attacks that have been published in the past are based on falsifying the link state advertisement (LSA) of an attacker-controlled router. These attacks can only falsify ...
[Full version]
Missing Heritability: New algorithmic and statistical approaches
event speaker icon
Or Zuk
event date icon
Tuesday, 10.1.2012, 14:30
event location icon
Room 337-8 Taub Bld.
Pixel Club: Pose Estimation and Recognition using Specular Highlights
event speaker icon
Margarita Osadchy (CS, Haifa University)
event date icon
Tuesday, 10.1.2012, 11:30
event location icon
EE Meyer Building 1061
We presents a novel approach to pose estimation and model-based recognition of specular objects in difficult viewing conditions, such as low illumination, cluttered background, and large highlights and shadows that appear on the object of interest. In such challenging conditions conventional features are unreliable. We ...
[Full version]
Haifux Club: Maqaf Hataf Patakh - The new standard Hebrew Keyboard Layout
event speaker icon
Amir E. Aharoni
event date icon
Monday, 9.1.2012, 18:30
event location icon
Taub 6
In the last two years a committee in the Standards Institution of Israel worked, on my initiative and with my active participation, on a revision for the standard of the Hebrew keyboard layout. Why did i want to change the layout? Why is it good ...
[Full version]
Efficient and Exact Inter-Sentence Decoding for Natural Language Processing
event speaker icon
Roi Reichart
event date icon
Monday, 9.1.2012, 14:30
event location icon
Room 337-8 Taub Bld.
Fast Distributed Computing Despite Poor Connectivity
event speaker icon
Keren Censor-Hillel
event date icon
Sunday, 8.1.2012, 14:30
event location icon
Room 337-8 Taub Bld.
Theory Seminar: Subspace Evasive Sets
event speaker icon
Zeev Dvir (Princeton University)
event date icon
Thursday, 5.1.2012, 12:30
event location icon
Taub 601
We describe an explicit, simple, construction of large subsets of F^n, where F is a finite field, that have small intersection with every k-dimensional affine subspace. Interest in the explicit construction of such sets, termed 'subspace-evasive' sets, started in the work of Pudlak and Rodl ...
[Full version]
Algorithmic cooling of spins using optimal control
event speaker icon
Yossi Attiya
event date icon
Wednesday, 4.1.2012, 13:30
event location icon
Taub 601
Nuclear magnetic resonance (NMR) has proven to be a leading implementation of quantum information processors where each molecule in the sample constitutes a register of quantum bits (qubits). However, at room temperature, the qubits that are realized by nuclear spins (1/2) are in a highly ...
[Full version]
Theory Seminar: Homomorphic Encryption: from Private-Key to Public-Key
event speaker icon
Ron Rothblum (Weizmann Institute for Science)
event date icon
Wednesday, 4.1.2012, 12:30
event location icon
Taub 337
We show how to transform any additively homomorphic private-key encryption scheme that is compact, into a public-key encryption scheme. By compact we mean that the length of a homomorphically generated encryption is independent of the number of ciphertexts from which it was created. We do ...
[Full version]
ceClub: Graph Matching and Clustering on the GPU
event speaker icon
Rob Bisseling (Utrecht University)
event date icon
Wednesday, 4.1.2012, 11:30
event location icon
Taub 9
Graph matching is the problem of matching nodes of a graph in pairs such that the largest number of pairs is created or the largest sum of edge weights is obtained. Greedy graph matching provides us with a fast way to coarsen a given graph ...
[Full version]
The complexity of counting constraint satisfaction problem
event speaker icon
Andrei Bulatov
event date icon
Tuesday, 3.1.2012, 14:30
event location icon
Room 337-8 Taub Bld.
ceClub: Load Balancing for SIP Server Clusters
event speaker icon
Erich Nahum (IBM T.J. Watson Research Center)
event date icon
Tuesday, 3.1.2012, 12:45
event location icon
Taub 337
The Session Initiation Protocol (SIP) is widely used for controlling communication sessions such as voice and video calls over IP, video conferencing, streaming multimedia distribution, instant messaging, presence information, file transfer and online games. This work introduces several novel load balancing algorithms for distributing SIP ...
[Full version]
Pixel Club: Contour-Based Joint Clustering of Multiple Segmentations
event speaker icon
Daniel Glasner (Math & CS, The Weizmann Institute of Science)
event date icon
Tuesday, 3.1.2012, 11:30
event location icon
EE Meyer Building 1061
We present an unsupervised, shape-based method for joint clustering of multiple image segmentations. Given two or more closely-related images, such as close frames in a video sequence or images of the same scene taken under different lighting conditions, our method generates a joint segmentation of ...
[Full version]
Haifux Club: GPGPU - Case studies, Do's and Dont's (Part 4 out of 4 talks series)
event speaker icon
Ofer Rosenberg and Yaki Tebeka (AMD)
event date icon
Monday, 2.1.2012, 18:30
event location icon
Taub 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 ...
[Full version]
Semantic Model Differencing for Software Evolution
event speaker icon
Shahar Maoz
event date icon
Sunday, 1.1.2012, 14:30
event location icon
Room 337-8 Taub Bld.