CS Department Events and Talks

  • Relations in algebraic complexity

    Speaker:
    Amir Yehudayoff
    Date:
    Thursday, 31.12.2009, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • On the Limits of Partial Compaction

    Modern software employs dynamic memory allocation to support its memory needs. Allocation and de-allocation of memory create fragmentation: holes between the allocated objects in ...

    Speaker:
    Anna Bendersky
    Date:
    Wednesday, 30.12.2009, 14:00
    Place:
    Taub 601

    [Full version]

  • Bioinformatics Forum: Machine learning models for peptide fragmentation

    Tandem mass spectrometry (MS/MS) has emerged as the tool of choice for high-throughput proteomics analysis. In a typical MS/MS experiment, a protein mixture sample ...

    Speaker:
    Ari Frank (CS and Engineering, University of California, San Diego)
    Date:
    Wednesday, 30.12.2009, 13:30
    Place:
    Taub 401

    [Full version]

  • Theory Seminar: Simple Affine Extractors using Dimension Expansion

    Let F be the finite field of q elements. An (n,k)-affine extractor is a coloring of F^n with 2 colors, such that every affine ...

    Speaker:
    Ariel Gabizon (Faculty of Mathematics and Computer Science The Weizmann Institute of Science)
    Date:
    Wednesday, 30.12.2009, 12:30
    Place:
    Taub 201

    [Full version]

  • Pixel Club Seminar: Video SnapCut: Video Object Cutout in Real Life

    We present Video SnapCut, a robust video object cutout system that significantly advances the state-of-the-art. In our system segmentation is achieved by the collaboration ...

    Speaker:
    Guillermo Sapiro (University of Minnesota)
    Date:
    Wednesday, 30.12.2009, 10:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • On the Roles of Computer Science in Systems Biology

    Speaker:
    Oded Maler
    Date:
    Tuesday, 29.12.2009, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club Seminar: Hyperaccurate Algebraic Fitting Algorithms without Iterations

    Fitting an algebraic equation to observed data is one of the first steps of many computer vision applications. For example, we fit lines and ...

    Speaker:
    Prof. Kenichi Kanatani‬ (Computer Science, Okayama University, Okayama, Japan)
    Date:
    Tuesday, 29.12.2009, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Theory Seminar: The List- Chromatic Number of Graphs Defined on Euclidean Spaces

    If D is a countable set of positive reals, let X_n(D) be the following graph: the vertices are the points of the n-dimensional Euclidean ...

    Speaker:
    Peter Komjath (Eotvos University, Budapest)
    Date:
    Monday, 28.12.2009, 14:30
    Place:
    Amado 509

    [Full version]

  • DejaView - a Personal Virtual Computer Recorder

    Speaker:
    Oren Laadan
    Date:
    Monday, 28.12.2009, 11:00
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • CGGC Seminar: Interpolatory subdivision of sets with applications to reconstruction, of objects from cross-sections

    We introduce a new geometric definition of affine combinations of two compact subsets of R^n. The 4-point interpolatory subdivision schemes for points is adapted ...

    Speaker:
    Shai Kels (School of mathematical sciences, Applied math, Tel Aviv Univ.)
    Date:
    Sunday, 27.12.2009, 13:00
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Key Recovery Attacks of Practical Complexity on AES Variants With Up To 10 Rounds

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

    [Full version]

  • Haifux, Haifa Linux Club: Nested x86 Virtualization

    Server virtualization has been widely adopted by the market, and the number of servers running virtual machines is increasing daily. As machine virtualization gains ...

    Speaker:
    Muli Ben-Yehuda (IBM Research - Haifa)
    Date:
    Monday, 21.12.2009, 18:30
    Place:
    Taub 6

    [Full version]

  • Bioinformatics Forum: Four-dimensional Realistic Modeling of Pancreatic Organogenesis

    Biological systems are complex, involving feedbacks across numerous processes, mechanisms and objects. Experimental analysis, by its nature, rarely captures the behavior of the complete ...

    Speaker:
    Yaki Setty (Computational Biology Group, Computational Science Laboratory Microsoft Research, Cambridge, UK)
    Date:
    Wednesday, 16.12.2009, 13:30
    Place:
    Taub 401

    [Full version]

  • Wikipedia-based Semantic Analysis

    Speaker:
    Shaul Markovitch
    Date:
    Tuesday, 15.12.2009, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club Seminar: Solving SVM and SVM+ with the method of conjugate directions

    In learning with privileged information (Vapnik, 2006) the labeled training examples have two views, primary and secondary, and the test examples have only a ...

    Speaker:
    Dmitry Pechyony (NEC Labs and former CS department Ph.D. graduate)
    Date:
    Thursday, 10.12.2009, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Phylogenetic Tree Reconstruction with Insertions and Deletions.

    Speaker:
    Avinatan Hassidim
    Date:
    Tuesday, 8.12.2009, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club Seminar: Comparative Study of Real-Time Graphics Architectures

    Comparative study of real-time graphics architectures The graphics industry is undergoing dramatic changes. A variety of new graphics pipeline topologies are now emerging, converging ...

    Speaker:
    Reuven Bakalash (Lucid Technology Ltd.)
    Date:
    Tuesday, 8.12.2009, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Haifux, Haifa Linux Club: 0AD Game - FOSS Strategy Game

    Aviv Sharon is a contributor to the game, mainly in the graphics area. In addition to the presentation of the game, we hope to ...

    Speaker:
    Aviv Sharon
    Date:
    Monday, 7.12.2009, 18:30
    Place:
    Taub 6

    [Full version]

  • Pixel Club Seminar: Using A-Contrario Framework for Object Recognition

    We describe a new part based detection algorithm. The proposed algorithm uses an empirical model, based on data extracted from the test image to ...

    Speaker:
    Artiom Myaskouvskey (CS, Technion)
    Date:
    Monday, 7.12.2009, 14:30
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: Vector Representation of Graph Domination

    The famous Hall's marriage theorem from 1935 states that in a bipartite graph with sides M and W, there is a matching of M ...

    Speaker:
    Noga Zewi (CS Technion)
    Date:
    Monday, 7.12.2009, 14:30
    Place:
    Amado 509

    [Full version]

  • Pushing the Envelope of Abstraction-based Admissible Heuristics

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

    [Full version]

  • Exact Learning from Random Walk

    The well known learning models in Computational Learning Theory are either adversarial, meaning that the examples are arbitrarily selected by the teacher, or i.i.d., ...

    Speaker:
    Iddo Bentov
    Date:
    Wednesday, 25.11.2009, 14:00
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: An invariance principle for polytopes

    In this talk, I will talk about a new invariance principle for polytopes (intersection of halfspaces) and some applications of the same. Invariance Principle: ...

    Speaker:
    Prahladh Harsha (TIFR, Mumbai, India)
    Date:
    Wednesday, 25.11.2009, 12:30
    Place:
    Taub 201

    [Full version]

  • Pixel Club Seminar: Quaternion Structural Similarity - a new Quality Index for Color Images

    Full reference image Quality Index (QI) is an important tool for a cheap and fast assessment of image degradation by different algorithms. A short ...

    Speaker:
    Amir Kolaman (EE & CE Ben Gurion)
    Date:
    Tuesday, 24.11.2009, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Business Artifacts: A New Foundation for Business Process Modeling

    Speaker:
    Richard Hull
    Date:
    Tuesday, 17.11.2009, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club Seminar: Geometry and Photometry of Imaging Through a Medium

    Pixel Club Seminar: Geometry and Photometry of Imaging Through a MediumImages taken through a medium may suffer from poor visibility and loss of contrast. Light passing through undergoes absorption and scattering. Wavelength dependent attenuation ...

    Speaker:
    Tali Treibitz (Electrical Engineering, Technion)
    Date:
    Wednesday, 11.11.2009, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Milestones in Multigrid

    Speaker:
    Irad Yavneh
    Date:
    Tuesday, 10.11.2009, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Haifux, Haifa Linux Club: FOSS Philosophy

    More details

    Speaker:
    Orr Dunkelman (CS, Technion)
    Date:
    Monday, 9.11.2009, 18:30
    Place:
    Taub 6

    [Full version]

  • Pixel Club Seminar: Compressive Imaging Techniques

    Compressive sensing is a relatively new theory that is based on the fact that many natural signals (or images) can be sparsely represented in ...

    Speaker:
    Yair Rivenson (Electrical & Computer Engineering, Ben-Gurion University)
    Date:
    Wednesday, 4.11.2009, 13:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Theory Seminar: A groundshaking clash between algebraic and combinatorial geometry

    Almost a year ago, Larry Guth and Nets Hawk Katz have obtained the tight upper bound $O(n^{3/2})$ on the number of joints in a ...

    Speaker:
    Micha Sharir (Tel-Aviv University)
    Date:
    Wednesday, 4.11.2009, 13:30
    Place:
    Amado building 719

    [Full version]

  • Haifux, Haifa Linux Club: Development Tools

    Speaker:
    Eli Billauer and Tzafrir Rehan
    Date:
    Wednesday, 4.11.2009, 12:30
    Place:
    Taub 2

    [Full version]

  • Progressing Databases

    Speaker:
    Gerhard Lakemeyer
    Date:
    Tuesday, 3.11.2009, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club Seminar:Visual Simultaneous Localization and Mapping using Inverse Scaling Parametrization and Uncertain Projective Geometry

    One of the principal goals of Computer Vision is to build artificial systems that are able to perceive and understand the world, obtaining information ...

    Speaker:
    Dr. Davide Migliore (CS, Politecnico di Milano)
    Date:
    Tuesday, 27.10.2009, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Haifux, Haifa Linux Club: Social and Cultural perspective on the Israeli FOSS community

    Speaker:
    Liora Shlomi (Haifa University)
    Date:
    Monday, 26.10.2009, 18:30
    Place:
    Taub 6

    [Full version]

  • Haifux, Haifa Linux Club: Advanced GDb

    In general, I will be sharing my discovery with you: When the debugging of modern software is required, basic GDB techniques are insufficient, but ...

    Speaker:
    David Khosid (Technion and Sandvine)
    Date:
    Monday, 21.9.2009, 18:30
    Place:
    Taub 6

    [Full version]

  • Bioinformatics Forum: Mapping the Interaction Network of the ASPP Family

    The ASPP family proteins have a key role in apoptosis regulation. ASPP1 and ASPP2 promote, while iASPP inhibits p53 mediated apoptosis. ASPP stands for ...

    Speaker:
    Hadar Benyamini and Assaf Friedler (The Institute of Chemistry, The Hebrew University of Jerusalem)
    Date:
    Monday, 14.9.2009, 13:00
    Place:
    Biology Auditorium, Technion

    [Full version]

  • Property Analysis and Automatic Detection of Aspect Categories

    This work uses static data and control flow code analysis to aid in proving properties of systems with aspects. Some new categories of aspect ...

    Speaker:
    Yevgenia Alperina
    Date:
    Wednesday, 9.9.2009, 12:00
    Place:
    Taub 601

    [Full version]

  • Haifux, Haifa Linux Club: Introduction to Qt4

    Why do we need a cross-platform toolkit The qmake build system Strings, list + iterators in Qt4 signals+slots Basic GUI building The purpose of ...

    Speaker:
    Diego Iastrubni (KDE)
    Date:
    Monday, 7.9.2009, 18:30
    Place:
    Taub 6

    [Full version]

  • Pixel Club Seminar: The importance of phase in image processing

    Nikolay Skarbnik Department of Electrical Engineering The Technion Abstract: Signal's phase is a non-trivial quantity. It is therefore often ignored in favor of signal's ...

    Speaker:
    Nikolay Skarbnik
    Date:
    Tuesday, 1.9.2009, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Haifux, Haifa Linux Club: FSF Compliance Lab

    We explain the "what", "who" and "how" of the Free Software Foundation GPL Compliance Lab. We go through five sample questions based on real ...

    Speaker:
    Yoni Rabkin (Free Software Foundation)
    Date:
    Monday, 31.8.2009, 18:30
    Place:
    Taub 6

    [Full version]

  • CGGC Seminar: Freeform Surfaces for Shape Control in Character Animation

    Speaker:
    Myung-Soo Kim (School of Computer Science and Engineering, Seoul National University, Seoul, Korea)
    Date:
    Sunday, 30.8.2009, 13:00
    Place:
    Taub 337

    [Full version]

  • CGGC Seminar: Volume transportation for surfaces

    We present a method for automatic surface comparison and alignment based on principles from conformal geometry and optimal mass transportation. One application of the ...

    Speaker:
    Yaron Lipman (Princeton University, USA)
    Date:
    Thursday, 20.8.2009, 14:00
    Place:
    Taub 337

    [Full version]

  • Theory Seminar: A log-space algorithm for planar graph isomorphism

    Graph isomorphism is an important problem and has received lot of attention over several years. Its complexity is still open. There have been polynomial-time ...

    Speaker:
    Prajakta Nimbhorkar (The Institute of Mathematical Sciences)
    Date:
    Wednesday, 19.8.2009, 15:00
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Haifux, Haifa Linux Club: Sockets in the Linux Kernel

    We will focus in this lecture about Linux Kernel sockets. Specifically, we will deal with the implementation the following sockets in the Linux kernel: ...

    Speaker:
    Rami Rosen
    Date:
    Monday, 17.8.2009, 18:30
    Place:
    Taub 6

    [Full version]

  • Pixel Club Seminar: Relief Analysis and Extraction

    Relief Analysis and Extraction We present an approach for extracting relieves and details from relief surfaces. We consider a relief surface as a surface ...

    Speaker:
    Rony Zatzarinni (EE Technion)
    Date:
    Tuesday, 11.8.2009, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Bioinformatics Forum: Detecting Functional Overlapping Genes

    As far as protein-coding genes are concerned, there is a non-zero probability that at least one of the five possible overlapping sequences of any ...

    Speaker:
    Niv Sabath (Biology and Biochemistry, University of Houston, TX )
    Date:
    Monday, 27.7.2009, 10:30
    Place:
    2nd floor Miklat, Biology Build.

    [Full version]

  • Haifux, Haifa Linux Club: Mesh networking; kernel, netlink and transport layer sockets

    We will deal in this lecture with Mesh networking, kernel sockets, netlink/rtnelink sockets and transport layer sockets.

    Speaker:
    Rami Rosen
    Date:
    Sunday, 26.7.2009, 18:30
    Place:
    Taub 6

    [Full version]

  • Dimensionality Reduction for 3D Articulated Body Tracking and Human Action Analysis.

    Tracking humans, understanding their actions and interpreting them are crucial to a great variety of applications. Tracking is used in automated surveillance, human-computer interface ...

    Speaker:
    Leonid Raskin
    Date:
    Wednesday, 15.7.2009, 10:00
    Place:
    Taub 601

    [Full version]

  • Haifux, Haifa Linux Club: Google's Android: An Overview

    This lecture is an overview of developing applications for Google's Android. We start by introducing Android and its components, we look at the anatomy ...

    Speaker:
    Yoni Rabkin
    Date:
    Monday, 13.7.2009, 18:30
    Place:
    Taub 6

    [Full version]

  • Bioinformatics Forum: Structural Sources of Robustness in Biochemical Reaction Networks

    Cell-to-cell and temporal variations in the concentrations of biomolecular components are inevitable. These variations in turn propagate along networks of chemical reactions to impart ...

    Speaker:
    Guy Shinar (Uri Alon's Group, Molecular Cell Biology & Physics of Complex Systems, Weizmann Institute of Science)
    Date:
    Thursday, 9.7.2009, 13:30
    Place:
    Taub 601

    [Full version]

  • Pixel Club Seminar: Semantically Linked Instructional Content

    In this talk we will discuss the SLIC project developed at the University of Arizona and IBM Almaden Research center. The SLIC (Semantically Linked ...

    Speaker:
    Alon Efrat
    Date:
    Tuesday, 30.6.2009
    Place:
    Taub 337

    [Full version]

  • Haifux, Haifa Linux Club: KSM and the art of memory mangement

    KSM is a linux driver that allows dynamically sharing identical memory pages between one or more processes. Unlike traditional page sharing that is made ...

    Speaker:
    Izik Eidus (Red Hat)
    Date:
    Monday, 29.6.2009, 18:30
    Place:
    Taub 6

    [Full version]

  • Randomness - a computational perspective

    Speaker:
    Avi Wigderson - in memory of Shimon Even
    Date:
    Sunday, 28.6.2009, 16:30
    Place:
    Room 337-8 Taub Tentative Bld.

    [Full version]

  • Theory Seminar: Balanced Allocations: Simplifications and Generalizations

    Say we place m balls sequentially into n bins, where each ball is placed by randomly selecting d bins and placing it in the ...

    Speaker:
    Udi Wieder (Microsoft Research)
    Date:
    Wednesday, 24.6.2009, 15:00
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club Seminar: Learning and Multiagent Reasoning for Autonomous Agents

    One goal of Artificial Intelligence is to enable the creation of robust, fully autonomous agents that can coexist with us in the real world. ...

    Speaker:
    Prof. Peter Stone (CS, The University of Texas at Austin, USA)
    Date:
    Sunday, 21.6.2009, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Cluster-Based Computation of Relational Joins

    Speaker:
    Jeffrey D. Ullman
    Date:
    Thursday, 18.6.2009, 10:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Theory Seminar: Locally Testable Codes Require Redundant Testers

    Locally testable codes (LTCs) are error-correcting codes for which membership, in the code, of a given word can be tested by examining it in ...

    Speaker:
    Michael Viderman (CS, Technion)
    Date:
    Wednesday, 17.6.2009, 15:00
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • 2-Source Extractors Under Cryptographic Assumptions, and Cryptography with Defective Randomness.

    Speaker:
    Yael Tauman Kalai
    Date:
    Tuesday, 16.6.2009, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club Seminar: Compression of facial images using sparse and redundant representations and the K-SVD algorithm

    Compression of facial images using sparse and redundant representations and the K-SVD algorithm

    Speaker:
    Ori Bryt (EE, Technion)
    Date:
    Tuesday, 16.6.2009, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Haifux, Haifa Linux Club: Arduino - Open Source Hardware and a Viewport to Micro Manufacturing

    Arduino is an open source hardware platform. Since its launch it became much more than just a hobbyist playground. This presentation will introduce ...

    Speaker:
    Amy Chayun
    Date:
    Monday, 15.6.2009, 18:30
    Place:
    Taub 6

    [Full version]

  • Theory Seminar: Identity Testing, Isolation and Lower Bounds

    Using ideas from automata theory we design a new efficient (deterministic) identity test for the noncommutative polynomial identity testing problem. More precisely, given as ...

    Speaker:
    Partha Mukhopadhyay (CS, Technion)
    Date:
    Wednesday, 10.6.2009, 15:00
    Place:
    Taub 337

    [Full version]

  • Theory Seminar: Rank minimization via the gamma_2 norm

    In the affine rank minimization problem, the goal is to minimize the rank of a matrix subject to a set of affine constraints. This ...

    Speaker:
    Troy Lee (Columbia University)
    Date:
    Sunday, 7.6.2009, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Theory Seminar: Lower Bounds for Testing Triangle-freeness in Boolean functions

    Let f_{1},f_{2}, f_{3} : F_2^n -> {0,1} be three Boolean functions. We say a triple (x,y,x+y) is a triangle in the function triple (f_{1}, ...

    Speaker:
    Arnab Bhattacharyya, (MIT)
    Date:
    Wednesday, 3.6.2009, 15:00
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • CGGC Seminar: Bezier and B-spline curves with knots in the complex plane

    Speaker:
    Ron Goldman (Computer Science, Rice University)
    Date:
    Wednesday, 3.6.2009, 11:00
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Haifux, Haifa Linux Club: Compiling Effectively for Cell with GCC

    In this talk I describe several techniques that we developed to support the generation of high quality code for the Cell Broadband Engine, addressing ...

    Speaker:
    Revital Eres (IBM HRL)
    Date:
    Monday, 1.6.2009, 18:30
    Place:
    Taub 6

    [Full version]

  • Discrete Geometric Algorithms for Mesh Processing

    Geometric modeling deals with representing real objects in a virtual world. A popular geometric representation is the polygonal model. For many applications the need ...

    Speaker:
    Mirela Ben-Chen
    Date:
    Monday, 1.6.2009, 10:30
    Place:
    Taub 337

    [Full version]

  • Haifux, Haifa Linux Club: OpenCL Overview

    OpenCL is the first Cross-Architecture, Cross-OS, open standard for parallel computing on heterogeneous systems. It targets GPU's, CPU's, and other processing devices (like DSP's ...

    Speaker:
    Ofer Rosenberg (Intel)
    Date:
    Monday, 25.5.2009, 18:30
    Place:
    Taub 6

    [Full version]

  • CGGC Seminar: An algorithm for computing Voronoi diagrams of general generators in general spaces

    Voronoi diagrams appear in many areas in science and technology and have diverse applications. Roughly speaking, they are a certain decomposition of a given ...

    Speaker:
    Daniel Reem (Mathematics, Technion)
    Date:
    Sunday, 24.5.2009, 13:00
    Place:
    Taub 401 (note special room)

    [Full version]

  • The Birth of Model Checking

    Speaker:
    Prof. Edmund Clarke
    Date:
    Thursday, 21.5.2009, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club Seminar: Puzzle-like Collage

    Collages have been a common form of artistic expression since their first appearance in China around 200 BC. Recently, with the advance of digital ...

    Speaker:
    Stas Goferman (EE, Technion)
    Date:
    Thursday, 21.5.2009, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Haifux, Haifa Linux Club: gdb - Customize it the Way You Want

    gdb is one of the more powerful tools that you have as a programmer in the UNIX environment. This talk is an introduction to ...

    Speaker:
    Guy Keren
    Date:
    Monday, 18.5.2009, 18:30
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: Affine Dispersers from Subspace Polynomials

    An affine disperser over a field F for sources of dimension d is a function f: F^n -> F that is nonconstant (i.e., takes ...

    Speaker:
    Eli Ben-Sasson (Computer Science, Technion)
    Date:
    Wednesday, 13.5.2009, 15:00
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Concurrent Non-commutative Boosted Transactions

    Speaker:
    Maurice Herlihy
    Date:
    Tuesday, 12.5.2009, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club Seminar: Illuminating Cameras

    Light sources and cameras are optical duals: sources emit light rays while the cameras capture them. This talk will argue that light sources can ...

    Speaker:
    Srinivasa Narasimhan (Robotics Institute Carnegie Mellon University)
    Date:
    Tuesday, 12.5.2009, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Exo-leasing: Escrow Synchronization for Clients of Commodity Storage Servers

    Speaker:
    Liuba Shrira
    Date:
    Sunday, 10.5.2009, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Bioinformatics Forum: Translation efficiency in human healthy and cancerous cells and the universal translation efficiency profile of proteins

    Translation Efficiency (TE) is a basic process of favoring codons with higher levels of tRNAs. In this talk, I will survey three recent results ...

    Speaker:
    Tamir Tuller (School of Computer Science & Department of Molecular Microbiology and Biotechnology, Tel-Aviv University)
    Date:
    Thursday, 7.5.2009, 13:30
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: List-decoding for Reed-Muller Codes

    The widely held belief that BQP strictly contains BPP raises fundamental questions: Upcoming generations of quantum computers might already be too large to be ...

    Speaker:
    Shachar Lovett (Weizmann Institute of Science)
    Date:
    Wednesday, 6.5.2009, 15:00
    Place:
    Taub 337

    [Full version]

  • Scheduling of Wireless Networks

    Speaker:
    Magnus Halldorsson
    Date:
    Tuesday, 5.5.2009, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Haifux, Linux Haifa Club: gdb in Greater Depth

    Speaker:
    Guy Keren
    Date:
    Monday, 4.5.2009, 18:30
    Place:
    Taub 6

    [Full version]

  • Theory Seminar: Interactive Proofs For Quantum Computations

    The widely held belief that BQP strictly contains BPP raises fundamental questions: Upcoming generations of quantum computers might already be too large to be ...

    Speaker:
    Elad Eban (Hebrew University)
    Date:
    Wednesday, 22.4.2009, 15:30
    Place:
    Taub 337

    [Full version]

  • Bioinformatics Forum: Alignment of Trees and Directed Acyclic Graphs in Computational Biology

    Bioinformatics Forum: It is well known that the string edit distance and the alignment of strings coincide, while the alignment of trees differs from ...

    Speaker:
    Gabriel Valiente (Technical University of Catalonia, the University of the Balearic Islands, and the Centre for Genomic Regulation, Barcelona)
    Date:
    Wednesday, 22.4.2009, 13:30
    Place:
    Taub 701

    [Full version]

  • Web Mining or The Wisdom of the Crowds

    Speaker:
    Ricardo Baeza-Yates
    Date:
    Thursday, 2.4.2009, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Bioinformatics Forum: Evolutionary universals and the nature of genome evolution

    Comparative genomics and systems biology reveal several surprising universals of genome evolution such as the distribution of evolution rates across genes, the distribution of ...

    Speaker:
    Eugene V. Koonin (National Center for Biotechnology Information, NLM, NIH, USA)
    Date:
    Thursday, 2.4.2009, 13:30
    Place:
    Taub 601

    [Full version]

  • Pixel Club Seminar: The Norm-Product Algorithm: Convergent Message-Passing for LP-relaxation and Approximate Inference

    We derive a one-parameter local message-passing algorithm, called "norm-product", which covers both the tasks of computing approximate marginal probabilities and maximum a posteriori (MAP) ...

    Speaker:
    Tamir Hazan (School of Engineering and Computer Science The Hebrew University of Jerusalem)
    Date:
    Tuesday, 31.3.2009, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Haifux, Linux Haifa Club: OpenMp Usage

    OpenMp is a standard for shared memory parallelization of Fortran and c/c++. gcc 4.2 implements this standard in the gomp library. In the previous ...

    Speaker:
    Orna Agmon Ben-Yehuda (CS, Technion)
    Date:
    Monday, 30.3.2009, 18:30
    Place:
    Taub 6

    [Full version]

  • Theory Seminar: 2-query PCP Composition

    In a recent breakthrough, Moshkovitz and Raz [MR] proved that NP can be verified using two queries, sub-constant error, and nearly linear proof length. ...

    Speaker:
    Prahladh Harsha (UT Austin & Technion)
    Date:
    Wednesday, 25.3.2009, 15:00
    Place:
    Taub 701

    [Full version]

  • Bioinformatics Forum: Towards a cognitive robotic biologist: machine learning for automated image analysis in systems biology

    Fluorescent microscopy imaging has become one of the main tools of biological research. Most wet labs collect Gigabytes of images every day. The resulting ...

    Speaker:
    Leon Peshkin (Systems Biology, Harvard Medical School, MA, USA)
    Date:
    Wednesday, 25.3.2009, 14:30
    Place:
    Shelter room, Biology Department, Technion

    [Full version]

  • Quantum channels and their multiple capacities

    Speaker:
    Charles H. Bennett
    Date:
    Tuesday, 24.3.2009, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club Seminar: Fast Mean Shift via KDE Reduction

    The Mean Shift procedure is a well established clustering technique that is widely used in imaging applications such as image and video segmentation, denoising, ...

    Speaker:
    Daniel Freedman (HP Labs)
    Date:
    Tuesday, 24.3.2009, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Polynomial time algorithms for clustering and image segmentation problems

    Speaker:
    Dorit S. Hochbaum
    Date:
    Sunday, 22.3.2009, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Bioinformatics Forum: Cell-Signaling Dynamics in Time and Space

    Extracellular information received by plasma membrane receptors is encoded into complex temporal and spatial patterns of phosphorylation and topological relocation of signaling proteins. Integration ...

    Speaker:
    Boris N. Kholodenko (Systems Biology Institute, University College Dublin, Ireland)
    Date:
    Thursday, 19.3.2009, 14:30
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: 3-Query Locally Decodable Codes of Subexponential Length

    Locally Decodable Codes (LDC) allow one to decode any particular symbol of the input message by making a constant number of queries to a ...

    Speaker:
    Klim Efremenko, Weizmann Institute
    Date:
    Wednesday, 18.3.2009, 18:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Translation validation: from Simulink to C.

    Translation validation is a technique for formally establishing the semantic equivalence of a source and a target of a code generator/compiler. In this work ...

    Speaker:
    Michael Riabzev
    Date:
    Wednesday, 18.3.2009, 14:00
    Place:
    Taub 601

    [Full version]

  • Haifux, Linux Haifa Club: Introduction to openmp

    Speaker:
    Orna Agmon Ben-Yehuda (CS, Technion)
    Date:
    Monday, 16.3.2009, 18:30
    Place:
    Taub 6

    [Full version]

  • Bioinformatics Forum: Using Computational Tools for Piecing Together Small Trees into the Large Tree of Life

    Bioinformatics Forum: The reconstruction of evolutionary trees (also known as “phylogenies”) is central to many problems in Biology. With the massive amounts of molecular ...

    Speaker:
    Sagi Snir (Institute of Evolution, Haifa University)
    Date:
    Thursday, 12.3.2009, 13:30
    Place:
    Taub 601

    [Full version]

  • Compressed Sensing Meets Information Theory

    Speaker:
    Dror Baron
    Date:
    Thursday, 5.3.2009, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • The Theory-Practice Interplay in Machine Learning - Emerging Theoretical Challenges

    Speaker:
    Shai Ben-David
    Date:
    Tuesday, 3.3.2009, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Theory Seminar: New Direct Product Code Testers, and PCPs

    The direct product code encodes the truth table of a function f:U-->R by a function f^k:U^k -->R^k, which lists the value of f in ...

    Speaker:
    Avi Wigderson (IAS)
    Date:
    Sunday, 1.3.2009, 11:30
    Place:
    TBA

    [Full version]

  • Haifux, Linux Haifa Club: Improving Linux Environment

    LINUX EVENT: We will discuss the ways to promote the use in Linux among students and to improve the SSDL service. Prof. Yossi Gil ...

    Speaker:
    Shahar Dag (CS, Techniono)
    Date:
    Thursday, 19.2.2009, 13:00
    Place:
    SSDL Laboratory, Taub Build., Floor 2

    [Full version]

  • Pixel Club Seminar: Removal of Turbulence Disturbance in a Movie Scene for Static and Moving Camera, Enabling Vision Applications

    The common method of reconstructing a turbulence scene is through the creation of an artificial reference image. The reference image is usually obtained by ...

    Speaker:
    Tomer Avidor (Rafael)
    Date:
    Tuesday, 17.2.2009, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Haifux, Linux Haifa Club: Wireless in Linux

    This lecture is a sequel to the Linux Kernel Networking lecture, Advanced Linux Kernel Networking - Neighboring Subsystem; IPSec and IPv6 in the Linux ...

    Speaker:
    Rami Rosen
    Date:
    Monday, 16.2.2009, 18:30
    Place:
    Taub 6

    [Full version]

  • Theory Seminar: Rounding Parallel Repetitions of Unique Games

    We consider the following question: given a two-argument boolean function $f$, represented as an $N\times N$ binary matrix, how hard is to determine the ...

    Speaker:
    Enav Weinreb (CS, Technion)
    Date:
    Sunday, 15.2.2009, 12:00
    Place:
    Taub 601

    [Full version]

  • Modeling and Simulation of Stochastic Natural Systems

    Speaker:
    Azi Lipshtat
    Date:
    Thursday, 12.2.2009, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club Seminar: Blind Separation of Time/Position Varying Mixtures

    We address the open engineering problem of blind separation of time/position varying mixtures. We show that there exists a large family of such mixtures ...

    Speaker:
    Ran Kaftory
    Date:
    Thursday, 12.2.2009, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • CGGC Seminar: An algorithm for the computation of the metric average of two simple polygons

    In this talk we present an algorithm that applies segment Voronoi diagrams and planar arrangements to the computation of the metric average of two ...

    Speaker:
    Shay Kels (Mathematics, Tel Aviv University)
    Date:
    Sunday, 8.2.2009, 13:00
    Place:
    Taub 337

    [Full version]

  • Theory Seminar: Rounding Parallel Repetitions of Unique Games

    We show a connection between the semi-definite relaxation of unique games and their behavior under parallel repetition. Specifically, denoting by val(G) the value of ...

    Speaker:
    Ishai Haviv (Tel Aviv University)
    Date:
    Sunday, 8.2.2009, 12:00
    Place:
    Taub 601

    [Full version]

  • Pixel Club Seminar: Geometry by Deflaring

    Stray light reflected by lens surfaces creates flare which affects the image. A pronounced form of this flare is aperture ghosting, where bright spots ...

    Speaker:
    Fima Koreban (EE, Technion)
    Date:
    Tuesday, 3.2.2009, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Haifux, Linux Haifa Club: Sifting a Haystack -- The Slashdot Back-End From a Naive User's Point of View

    I'll give an overview of the Slashdot editorial process, and demonstrate the back-end tools (all running on Linux, mostly written in Perl, with an ...

    Speaker:
    Tim Lord (Slashdot)
    Date:
    Monday, 2.2.2009, 18:30
    Place:
    Taub 6

    [Full version]

  • CGGC Seminar: View-dependent texture projection mapping in urban scenes

    View-Dependent Texture Projection Mapping (VDTPM) is a technique used to render a photorealistic novel view of a scene based on a number of aerial ...

    Speaker:
    Amit Ben-David (Industrial Engineering, Technion)
    Date:
    Sunday, 1.2.2009, 13:00
    Place:
    Taub 337

    [Full version]

  • Bioinformatics Forum: Towards Optimal Distance Functions for Stochastic Substitutions Models

    Distance based reconstruction methods of phylogenetic trees are split into two independent parts: first, inter-species distances are inferred using some stochastic model of sequence ...

    Speaker:
    Shlomo Moran (Computer Science, Technion)
    Date:
    Thursday, 29.1.2009, 14:30
    Place:
    Taub 601

    [Full version]

  • Universal Kernel-Based Learning with Applications to Regular Languages

    Speaker:
    Aryeh Kontorovich POSTPONED FROM 20/1/09
    Date:
    Thursday, 29.1.2009, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Theory Seminar: Unique Games with Entangled Provers are Easy

    We consider one-round games between a classical verifier and two provers who share entanglement. We show that when the constraints enforced by the verifier ...

    Speaker:
    Oded Regev (Tel Aviv University)
    Date:
    Sunday, 25.1.2009, 12:00
    Place:
    Taub 601

    [Full version]

  • Cryptography in Constant Parallel Time and its Applications

    Speaker:
    Benny Applebaum
    Date:
    Thursday, 22.1.2009, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Haifux, Linux Haifa Club: Windows Refund HOWTO

    Microsoft's End User License Agreement (EULA) allows customers to return unused copied of the Windows operation system to the manufacturer, for a refund or ...

    Speaker:
    Zvi Devir (Computer Science, Technion)
    Date:
    Monday, 19.1.2009, 18:30
    Place:
    Taub 6

    [Full version]

  • Content Identification

    Speaker:
    Yacov Yacobi
    Date:
    Sunday, 18.1.2009, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • CGGC Seminar: Algorithms for Heilbronn's triangle problem

    The classic Heilbronn's triangle problem is to maximize the area of the smallest of the $\binom{n}{3}$ triangles determined by $n$ points in the unit ...

    Speaker:
    Osnat Tal (Computer Science, Technion)
    Date:
    Sunday, 18.1.2009, 13:00
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Theory Seminar: The inverse conjecture for the Gowers norm over finite fields

    The Gowers uniformity norms U_k measure a certain kind of psuedo randomness. For example, a function f on a finite (large) dimensional vector space ...

    Speaker:
    Tamar Ziegler (Mathematics, Technion)
    Date:
    Sunday, 18.1.2009, 12:00
    Place:
    Taub 601

    [Full version]

  • An Online Multi-unit Auction for Perishable Goods with Unknown Supply

    Speaker:
    Sourav Chakraborty
    Date:
    Tuesday, 13.1.2009, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club Seminar: What is a Good Image Segment? A Unified Approach to Segment Extraction

    There is a huge diversity of definitions of "visually meaningful" image segments, ranging from simple uniformly colored segments, textured segments, through symmetric patterns, and ...

    Speaker:
    Shai Bagon (The Weizmann Institute of Science)
    Date:
    Tuesday, 13.1.2009, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Event Processing - the next generation

    Speaker:
    Opher Etzion
    Date:
    Sunday, 11.1.2009, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Theory Seminar: Finding Significant Fourier Transform Coefficients

    Computing the Fourier transform is a basic building block used in numerous applications. For data intensive applications, even the O(N log N) running time ...

    Speaker:
    Adi Akavia (IAS/DIMACS)
    Date:
    Sunday, 11.1.2009, 12:00
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Preconditioners for Saddle Point Linear Systems

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

    [Full version]

  • TODAY - Bioinformatics Forum: Reverse Ecology: From Large-Scale Analysis of Metabolic Networks, Growth Environments and Seed Sets to Species Interaction and Metagenomics

    The topology of metabolic networks may provide important insights not only into the metabolic capacity of species, but also into the habitats in which ...

    Speaker:
    Elhanan Borenstein (Stanford University & Santa Fe Institute)
    Date:
    Thursday, 8.1.2009, 13:30
    Place:
    Taub 601

    [Full version]

  • Computing structural changes in proteins

    Speaker:
    Nurit Haspel
    Date:
    Tuesday, 6.1.2009, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club Seminar: Unsupervised organization of image collections: taxonomies and beyond

    Organizing images is crucial for dealing efficiently with large image collections. In this talk, I will explore approaches to such an organization and its ...

    Speaker:
    Evgeniy Bart (Computational Vision Lab, California Institute of Technology)
    Date:
    Tuesday, 6.1.2009, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Haifux, Linux Haifa Club: Supercomputing 2008

    Speaker:
    Orna Agmon
    Date:
    Monday, 5.1.2009, 18:30
    Place:
    Taub 6

    [Full version]

  • Haifux, Linux Haifa Club: Linux Hardware

    Building hardware to run a Linux distro used to be quite tricky, involving plenty of trial and error with components while filing bug reports ...

    Speaker:
    Cathy Malmrose
    Date:
    Sunday, 4.1.2009, 18:30
    Place:
    Taub 6

    [Full version]

  • How To Scrub iPhone Blenders: Machine Learning Methods For Cleaning Up Noisy Data

    Speaker:
    Ron Bekkerman
    Date:
    Sunday, 4.1.2009, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Theory Seminar: When and How Can Data be Efficiently Released with Privacy?

    We consider private data analysis in the setting in which a trusted and trustworthy curator, having obtained a large data set containing private information, ...

    Speaker:
    Guy Rothblum (M.I.T.)
    Date:
    Sunday, 4.1.2009, 12:00
    Place:
    Taub 6

    [Full version]

  • How to Solve it: New Techniques in Algebraic Cryptanalysis

    In this talk I will introduce a new kind of attack (called Cube Attack) on cryptographic schemes which can be represented by an (unknown) ...

    Speaker:
    Adi Shamir (The Weizmann Institute of Science)
    Date:
    Thursday, 1.1.2009, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • How to Solve it: New Techniques in Algebraic Cryptanalysis

    Speaker:
    Adi Shamir
    Date:
    Thursday, 1.1.2009, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]