CS Department Events and Talks

  • Efficient flow-based image segmentation techniques for de-blurring medical imaging and identifying hidden structures

    Speaker:
    Dorit S. Hochbaum
    Date:
    Sunday, 30.12.2007, 15:00
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Approximate Hypergraph Partitioning and Applications

    I will describe an O(n) time algorithmic version of Szemerdi's regularity lemma. Unlike all the previous approaches for this problem, which proved the lemma ...

    Speaker:
    Asaf Shapira
    Date:
    Sunday, 30.12.2007, 10:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • The Four Levels of Requirements Engineering for and in Dynamic Adaptive Systems

    Speaker:
    Daniel Berry
    Date:
    Thursday, 27.12.2007, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • An implicit approach to closed surface and contour segmentation based on geodesic meshing and transport equation

    We present a new method for segmenting closed curves or surfaces from a single point. Our work builds on a variant of the Fast ...

    Speaker:
    Fethallah Benmansour
    Date:
    Wednesday, 26.12.2007, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Technologies for fish growers: from ornamental fish in greenhouses to edible fish in the open sea

    Development of technologies for agriculture is very complex. The products (fruits, vegetables, flowers, livestock etc) are non-uniform and susceptible, the sceneries (illumination, topography, geometry ...

    Speaker:
    Boaz Zion
    Date:
    Tuesday, 25.12.2007, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Exact rotation minimizing frame via Moebius transformations

    Rotation minimizing frames are useful for various applications in geometric modeling and computer graphics. For instance, the sweeping of one (cross-section) curve along the ...

    Speaker:
    Michael Barton
    Date:
    Sunday, 23.12.2007, 13:00
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Delegating Computation: Interactive Proofs for Mortals

    Suppose you are a user with a weak computational device connected to a network, e.g. a cell phone, and you need to perform a ...

    Speaker:
    Guy Rothblum
    Date:
    Sunday, 23.12.2007, 10:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Probabilistic Correspondence with Applications to Semantic Image Analysis

    Speaker:
    Gal Elidan
    Date:
    Thursday, 20.12.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • 80 Million Tiny Images

    Non-parametric approaches to object recognition have received limited attention in the Computer Vision community due to the high dimensionality of visual data. With the ...

    Speaker:
    Rob Fergus
    Date:
    Wednesday, 19.12.2007, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Learnability and the Testing of Experts

    We study the problem of testing an expert who is required to submit forecasts that have a learnable parametric representations. The class of stochastic ...

    Speaker:
    Nabil Al-Najjar
    Date:
    Wednesday, 19.12.2007, 10:30
    Place:
    Room 527 Bloomfield Bld., Technion

    [Full version]

  • Algorithms for Gene Finding, Network Alignment, and Ancestral Population Inference

    Speaker:
    Serafim Batzoglou
    Date:
    Tuesday, 18.12.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Image Statistics in Computational Photography

    The digital photography revolution has greatly facilitated the way in which we take and share pictures. However, it has mostly relied on a rigid ...

    Speaker:
    Anat Levin
    Date:
    Tuesday, 18.12.2007, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Redshift, Virtualization, and Data Centers

    Speaker:
    Richard Zippel
    Date:
    Monday, 17.12.2007, 11:30
    Place:
    Room 401 Taub Bld.

    [Full version]

  • Can simple markets achieve good results?

    Speaker:
    Liad Blumrosen
    Date:
    Sunday, 16.12.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • The mathematical aspects of origami

    Origami (or paper folding) is an ancient art, focused on the creation of figures by applying a series of folds on a paper, without ...

    Speaker:
    Yochay Tzur
    Date:
    Sunday, 16.12.2007, 13:00
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Local Embedding of Metric Spaces

    In many application areas, complex data sets are often represented by some metric space and metric embedding is used to provide a more structured ...

    Speaker:
    Ofer Neiman
    Date:
    Sunday, 16.12.2007, 10:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Evolution of gene architecture: challenging the neutral paradigm

    Speaker:
    Liran Carmel
    Date:
    Thursday, 13.12.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Image Statistics in Computational Photography

    Speaker:
    Anat Levin
    Date:
    Tuesday, 11.12.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Protein Structuring from Random Cryo-EM Images

    We describe a spectral graph algorithm for reconstructing the three-dimensional structure of molecules from their Cryo-EM images taken at random unknown orientations. The key ...

    Speaker:
    Yoel Shkolnisky
    Date:
    Tuesday, 11.12.2007, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • My modeling efforts

    I was introduced into 3D modeling as an artist back in 1993 using Amiga 4000a and a software name "Real-3d". The modeling tools I ...

    Speaker:
    Giora Eshkol
    Date:
    Sunday, 9.12.2007, 13:00
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Estimating the Required Number of Code Inspectors

    Speaker:
    Eliezer Kantorowitz
    Date:
    Thursday, 6.12.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • How to Steal Cars - A Practical Attack on KeeLoq

    Speaker:
    Orr Dunkelman
    Date:
    Tuesday, 4.12.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • On the hardness of entangled multi-prover games

    Multi-prover games have played a tremendous role in theoretical computer science over the last two decades. A lot of research effort went into determining ...

    Speaker:
    Julia Kempe
    Date:
    Sunday, 2.12.2007, 10:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Towards Cellular Models of Protein and Metabolic Networks

    Speaker:
    Tomer Shlomi
    Date:
    Thursday, 29.11.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Independence preserving graphs obtained after marginalizing and conditioning in directed acyclic graphs

    Speaker:
    Nanny Wermuth
    Date:
    Tuesday, 27.11.2007, 14:30
    Place:
    Room 5 Taub Bld.

    [Full version]

  • Seam Carving for Content-Aware Image Resizing

    Effective resizing of images should not only use geometric constraints, but consider the image content as well. We present a simple image operator called ...

    Speaker:
    Shai Avidan
    Date:
    Sunday, 25.11.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Unconditional pseudorandom generators for low degree

    We give an explicit construction of pseudorandom generators against low degree polynomials over finite fields. We show that the sum of 2^d small-biased generators ...

    Speaker:
    Shachar Lovett
    Date:
    Sunday, 25.11.2007, 10:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Data Discretization Unification

    Data discretization is defined as a process of converting continuous data attribute values into a finite set of intervals with minimal loss of information. ...

    Speaker:
    Yuri Breitbart
    Date:
    Thursday, 22.11.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Visual Tracking in a General Context via Tracker Combination and Low-Level Cues

    Object tracking is one of the basic and difficult aspects of computer vision. It is generally a prerequisite for other computer vision tasks such ...

    Speaker:
    Ido Leichter
    Date:
    Wednesday, 21.11.2007, 14:00
    Place:
    Taub 601

    [Full version]

  • Seam Carving for Content-Aware Image Resizing

    Effective resizing of images should not only use geometric constraints, but consider the image content as well. We present a simple image operator called ...

    Speaker:
    Shai Avidan
    Date:
    Tuesday, 20.11.2007, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Computational coarse graining: from particle-based simulations to a continuum description

    Speaker:
    Chay Goldenberg
    Date:
    Tuesday, 13.11.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Low-end uniform hardness versus randomness tradeoffs for AM

    In 1998, Impagliazzo and Wigderson proved a hardness vs. randomness tradeoff for BPP in the /uniform setting/, which was subsequently extended to give optimal ...

    Speaker:
    Ronen Shaltiel
    Date:
    Sunday, 11.11.2007, 10:30
    Place:
    Taub 337

    [Full version]

  • Finding Nemo: Translating reactive tasks to reactive controllers

    Speaker:
    Hadas Kress-Gazit
    Date:
    Thursday, 8.11.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Membrane computing (an introduction): Power and efficiency

    Speaker:
    Gheorghe Paun
    Date:
    Tuesday, 6.11.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Finding Collisions in Interactive Protocols -- A Tight Lower Bound on the Round Complexity of Statistically-Hiding Commitments

    We study the round complexity of various cryptographic protocols. Our main result is a tight lower bound on the round complexity of any fully-black-box ...

    Speaker:
    Jonathan Hoch
    Date:
    Sunday, 4.11.2007, 10:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Zyzzyva: Speculative Byzantine Fault Tolerance

    Speaker:
    Lorenzo Alvisi
    Date:
    Thursday, 1.11.2007, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Does it make any sense to move your head when you look at a mirror?

    The image of a curved, specular (mirror-like) surface is a distorted reflection of the environment. Although the recovery of such specular shape from its ...

    Speaker:
    Ohad Ben-Shahar
    Date:
    Tuesday, 30.10.2007, 11:30
    Place:
    Taub 601

    [Full version]

  • Why is the chromatic polynomial a polynomial?

    The number of k-vertex colorings of a graph is a polynomial in k, the chromatic polynomial. Many other graph invariants (Tutte polynomial, matching polynomial, ...

    Speaker:
    Janos Makowsky
    Date:
    Sunday, 28.10.2007, 10:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Colorful geometric spanners

    Speaker:
    Carmi Paz
    Date:
    Tuesday, 16.10.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Noise reduction in CT and real-time image compression using variational models

    Speaker:
    Harald Koestler
    Date:
    Tuesday, 9.10.2007, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Broadcasting in Geometric Radio Networks

    Speaker:
    Andrzej Pelc
    Date:
    Thursday, 20.9.2007, 14:30
    Place:
    Room Taub 337-8 Bld.

    [Full version]

  • SNZI: Scalable NonZero Indicators

    Speaker:
    Yossi Lev
    Date:
    Wednesday, 19.9.2007, 10:30
    Place:
    Room 601 Taub Bld.

    [Full version]

  • Distributed Image and Video Processing: Directed Graphs, Bayesian Estimation, and Hidden Markov Models

    Traditional image and video processing algorithms are centralized. They rely on an implementation on a large server for efficient processing. However, with the emergence ...

    Speaker:
    Professor Dan Schonfeld
    Date:
    Tuesday, 21.8.2007, 11:30
    Place:
    Room 1061, EE Meyer Building

    [Full version]

  • Harmony in Motion: Audio-Visual Association

    Cross-modal analysis offers information beyond that extracted from individual modalities. Consider a camcorder having a single microphone in a cocktail-party: it captures several moving ...

    Speaker:
    Zohar Barzelay
    Date:
    Tuesday, 31.7.2007, 16:00
    Place:
    Room 861, EE Meyer Building

    [Full version]

  • N-hub Shortest-Path: A New Routing Paradigm for the Internet

    We study the computational complexity and effectiveness of a concept we term "N-hub Shortest-Path Routing" in IP networks. N-hub Shortest-Path Routing allows the ingress ...

    Speaker:
    Gabi Nakibly
    Date:
    Wednesday, 25.7.2007, 15:00
    Place:
    Taub 601

    [Full version]

  • DOORS to the Semantic Web and Grid with a PORTAL for Biomedical Computing

    Speaker:
    Carl Taswell
    Date:
    Tuesday, 17.7.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Functional Hierarchy: Representation and Modeling of Spatial Patterns of Activation in fMRI

    In this talk, I will present a novel approach to computational modeling of spatial activation patterns observed through fMRI. Functional connectivity analysis is widely ...

    Speaker:
    Polina Golland
    Date:
    Monday, 16.7.2007, 11:30
    Place:
    Taub 337

    [Full version]

  • 4 Open Problems

    Speaker:
    Azaria Paz
    Date:
    Tuesday, 3.7.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Peer-to-Peer Web Search with Minerva

    Speaker:
    Gerhard Weikum
    Date:
    Sunday, 24.6.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Mobility versus the cost of geocasting in Mobile Ad-Hoc network

    Speaker:
    Alessia Milani
    Date:
    Thursday, 21.6.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • On two optimization problems: Permutation Routing, and Finding Small Subgraphs of Given Minimum Degree

    Speaker:
    Ignasi Sau -
    Date:
    Wednesday, 20.6.2007, 13:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Robust Reasoning with User Preference Expressions

    Speaker:
    Carmel Domshlak
    Date:
    Sunday, 17.6.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • The Aspect-Oriented Language Compose*

    Speaker:
    Prof. Mehmet Aksit
    Date:
    Sunday, 10.6.2007, 13:30
    Place:
    Room 6 Taub (NOTE unusual time and room) Bld.

    [Full version]

  • Graph-Based State Spaces

    Speaker:
    Prof. Arend Rensink SPECIAL GUEST TALK
    Date:
    Thursday, 7.6.2007, 15:30
    Place:
    Room 601 Taub Bld.

    [Full version]

  • Stopping Redundancy and Iterative Erasure Decoding

    Speaker:
    Professor Paul H. Siegel
    Date:
    Thursday, 7.6.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Cryptography: A Personal Perspective. In memory of Shimon Even

    Cryptography: A Personal Perspective. In memory of Shimon EvenMy personal involvement in Cryptography started exactly 30 years ago, with the invention of the RSA cryptosystem in 1977. In this talk I will ...

    Speaker:
    Adi Shamir - in memory of Shimon Even
    Date:
    Thursday, 31.5.2007, 16:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Testing Independence Properties of Distributions

    Speaker:
    Ronitt Rubinfeld
    Date:
    Sunday, 27.5.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Testing Independence Properties of Distributions

    Speaker:
    Ronitt Rubinfeld
    Date:
    Sunday, 27.5.2007, 10:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Programming languages course - a proposal

    Speaker:
    Catriel Beeri
    Date:
    Thursday, 17.5.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Energy Efficient Online Deadline Scheduling

    Speaker:
    Prudence Wong
    Date:
    Sunday, 13.5.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Random Selection and Byzantine Agreement in the Full-Information Model

    Speaker:
    Vinod Vaikuntanathan
    Date:
    Tuesday, 8.5.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Smooth Sensitivity and Sampling in Private Data Analysis

    Speaker:
    Kobbi Nissim
    Date:
    Tuesday, 1.5.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Scalable Breakpoints, Watchpoints, and Checkpoints for Supercomputers

    Speaker:
    Larry Rudolph
    Date:
    Sunday, 15.4.2007, 12:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Artificial Time Integration

    Speaker:
    Uri Ascher
    Date:
    Thursday, 12.4.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • On the Complexity of Sequential Rectangle Placement

    Speaker:
    Amos Israeli
    Date:
    Tuesday, 10.4.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Playing "Hide-and-Seek" in Finite Fields: Hidden Number Problem and Its Applications

    Speaker:
    Igor Shparlinski
    Date:
    Thursday, 29.3.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • A Combinatorial, Primal-Dual approach to Semidefinite Programs

    Speaker:
    Sanjeev Arora
    Date:
    Sunday, 25.3.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • On the Separation and Equivalence of Paging Strategies: LRU is the sole optimum

    Speaker:
    Alex Lopez-Ortiz
    Date:
    Thursday, 15.3.2007, 14:40
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • On the Separation and Equivalence of Paging Strategies: LRU is the sole optimum

    Speaker:
    Alex Lopez-Ortiz
    Date:
    Thursday, 15.3.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Scaling up engineering practices to large software companies - the pursuit after quality and agility

    Speaker:
    Ariel Katz
    Date:
    Tuesday, 13.3.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • CGCExplorer: A Semi-Automated Search Procedure for Provably Correct Concurrent Collectors

    Speaker:
    Eran Yahav RESCHEDULED
    Date:
    Wednesday, 7.3.2007, 11:00
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • A new lower bound on Klarner's constant

    Speaker:
    Gill Barequet
    Date:
    Tuesday, 13.2.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Competitive Evaluation of Switch Architectures

    To support the growing need for Internet bandwidth, contemporary backbone routers and switches operate with an external rate of 20 GB/s and hundreds of ...

    Speaker:
    David Hay
    Date:
    Monday, 12.2.2007, 15:30
    Place:
    Taub 701

    [Full version]

  • The Complexity of Online Memory Checking

    Speaker:
    Guy Rothblum
    Date:
    Tuesday, 6.2.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • On Games, Multicast Cost Sharing, and Nash Equilibria

    Speaker:
    Howard Karloff
    Date:
    Sunday, 4.2.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Throughput Maximization in Wireless Networks via Partitioning and Randomization

    Speaker:
    Gil Zussman
    Date:
    Thursday, 1.2.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Statistically-Hiding Commitment from Any One-Way Function

    Speaker:
    Iftach Haitner
    Date:
    Tuesday, 30.1.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • On The Cover Time and Mixing Time of Random Geometric Graphs

    Speaker:
    Chen Avin
    Date:
    Thursday, 25.1.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Theory of Computation as a Lens on the Sciences: The Example of Computational Molecular Biology

    Speaker:
    Richard M. Karp SPECIAL TALK
    Date:
    Wednesday, 24.1.2007, 12:30
    Place:
    Room Auditorium 2 Taub Bld.

    [Full version]

  • Submitting locally and running globally - The GLOW and OSG Experience

    Speaker:
    Miron Livny
    Date:
    Thursday, 18.1.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Selfishness and Incentives in Networked Systems

    Speaker:
    Michal Feldman
    Date:
    Tuesday, 16.1.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • The strange geometries of computer science

    Speaker:
    James Lee
    Date:
    Thursday, 11.1.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Probabilistic Shape for Outlining Objects

    Speaker:
    Gal Elidan
    Date:
    Tuesday, 9.1.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Allocating Isolation Levels to Transactions

    Speaker:
    Alan Fekete
    Date:
    Thursday, 4.1.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Selfish Agents and Approximation Mechanisms

    Speaker:
    Moshe Babaioff
    Date:
    Tuesday, 2.1.2007, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]