CS Department Events and Talks

  • Efficient cloud operations via job-migration and pricing

    Speaker:
    Ishai Menache
    Date:
    Thursday, 30.12.2010, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club Seminar: Practical Parallel Imaging Compresses Sensing MRI: Summary of Two Years of Experience Accelerating Body MRI of Pediatric Patients

    Magnetic Resonance Imaging has revolutionized diagnostic medicine. It is an excellent tool for disease diagnosis and monitoring, offering superb soft tissue contrast and high ...

    Speaker:
    Michael Lustig (Electrical Engineering and Computer Sciences, College of Engineering, UC Berkeley)
    Date:
    Thursday, 30.12.2010, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Theory Seminar: Sequential Rationality in Cryptographic Protocols

    Much ofMuch of the literature on rational cryptography focuses on analyzing the strategic properties of cryptographic protocols. However, due to the presence of computationally-bounded ...

    Speaker:
    Noam Livne (Weizmann Institute of Science)
    Date:
    Wednesday, 29.12.2010, 12:20
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club Seminar: Multi-Manifold Data Modeling: Foundations and Applications

    We present several methods for multi-manifold data modeling, i.e., modeling data by mixtures of possibly intersecting manifolds. We focus on algorithms for the special ...

    Speaker:
    Gilad Lerman (School of Mathematics, University of Minnesota)
    Date:
    Wednesday, 29.12.2010, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Bioinformatics Forum (NOTE UNUSUAL HOUR): Single Molecule Sequencing Based Digital Gene Expression - Investigating the Transcriptome through a Clearer Lens

    Digital Gene Expression (DGE) profiling by next-generation sequencing (NGS) technologies has the potential of becoming the leading method for quantitative analysis of complete transcriptomes. ...

    Speaker:
    Doron Lipson (Foundation Medicine Inc.)
    Date:
    Tuesday, 28.12.2010, 15:00
    Place:
    Taub 601

    [Full version]

  • GraphLab: Asynchronous Graph Computation in the Clouds and Beyond

    Speaker:
    Danny Bickson
    Date:
    Tuesday, 28.12.2010, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club: Voxel Fabbing: From Analog to Digital 3D Printing

    The transition from analog to digital has revolutionized many fields over the past century – most notably computation and communication – and can be ...

    Speaker:
    Hod Lipson (Mechanical & Aerospace Engineering and Computing & Information Science at Cornell University)
    Date:
    Tuesday, 28.12.2010, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • CGGC Seminar: AKVFs - A New Computational Tool for Approximate Shape

    A fundamental problem in geometry processing is to characterize the possible transformations a shape can undergo, and still remain "the same". Such transformations are ...

    Speaker:
    Mirela Ben-Chen (Stanford University)
    Date:
    Tuesday, 28.12.2010, 10:30
    Place:
    Taub 7

    [Full version]

  • AKVFs - A New Computational Tool for Approximate Shape Isometries

    Speaker:
    Mirela Ben-Chen
    Date:
    Tuesday, 28.12.2010, 10:30
    Place:
    Room Taub 7 Taub Bld.

    [Full version]

  • Anisotropic diffusion maps of sub-manifolds with applications

    Speaker:
    Dan Kushnir
    Date:
    Sunday, 26.12.2010, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Requirements Determination is Unstoppable: An Experience Report

    Speaker:
    Daniel M. Berry SPECIAL LECTURE note unusual hour
    Date:
    Sunday, 26.12.2010, 12:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club Seminar: May the Optimal Candidate Win! Optimization under Social Choice Constraints

    Speaker:
    Ariel Procaccia
    Date:
    Thursday, 23.12.2010, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • CSpecial Talk: Topology in Distributed Computing

    The integer 1 is the unity of multiplication. The integer 12 represents the senior high-school year. They surely are different in many respects. But ...

    Speaker:
    Prof. Eli Gafni (UCLA)
    Date:
    Wednesday, 22.12.2010, 14:30
    Place:
    Taub 5

    [Full version]

  • Bandwidth Allocation in Cellular Networks with Multiple Interferences

    We study the problem of bandwidth allocation with multiple interferences. In this problem the input consists of a set of users and a set ...

    Speaker:
    Gleb Polevoy
    Date:
    Wednesday, 22.12.2010, 14:00
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: Almost Optimal Unrestricted Fast Johnson-Lindenstrauss Transform

    The problems of random projections and sparse reconstruction have much in common and individually received much attention. Surprisingly, until now they progressed in parallel ...

    Speaker:
    Nir Ailon (CS, Technion)
    Date:
    Wednesday, 22.12.2010, 12:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Haifux, Haifa Linux Club: Creative Commons Licenses, Open Source Software Licenses & the new Israeli Copyright Act of 2007

    Part I of the talk covered the new Israeli Copyright Act of 2007. This part of the talk will focus on Creative Commons Licenses.

    Speaker:
    Dalit Ken-Dror (Haifa University)
    Date:
    Monday, 20.12.2010, 18:30
    Place:
    Taub 6

    [Full version]

  • Pixel Club Seminar: Reconstructing the World from Photos on the Internet

    ‏There's a big difference between looking at a photograph of a place and being there. But what if you had access to a database ...

    Speaker:
    Steve Seitz (University of Washington)
    Date:
    Thursday, 16.12.2010, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Approximations for Monotone and Non-monotone Submodular Maximization with Knapsack Constraints

    Submodular maximization generalizes many fundamental problems in discrete optimization, including Max-Cut in directed/undirected graphs, maximum coverage, maximum facility location and marketing over social networks. ...

    Speaker:
    Ariel Kulik
    Date:
    Wednesday, 15.12.2010, 16:30
    Place:
    Taub 601

    [Full version]

  • Pixel Club Seminar: Efficient Linear Sketches for the Set Query Problem

    Sparse recovery, or compressive sensing, is the problem of approximating a vector x from a low-dimensional linear sketch Ax, where A is an m ...

    Speaker:
    Eric Price (MIT)
    Date:
    Wednesday, 15.12.2010, 13:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Theory Seminar: Local List-Decoding with a Constant Number of Queries

    Recently there was constructed locally-decodable codes of sub-exponential length. This result showed that these codes can handle up to one third fraction of errors. ...

    Speaker:
    Klim Efremenko (Tel-Aviv University)
    Date:
    Wednesday, 15.12.2010, 12:20
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • CGGC Seminar: Surface Comparison using Conformal Geometry

    In this talk we will present three applications of conformal geometry to the problems of surface matching and comparison. In particular we will show ...

    Speaker:
    Yaron Lipman (Princeton University)
    Date:
    Wednesday, 15.12.2010, 11:30
    Place:
    Taub 5 (Floor 1)

    [Full version]

  • Retro: An "Alway There" and "Not in The Way" Snapshot System

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

    [Full version]

  • Pixel Club Seminar: Topics in Distributed Robotics

    TBD

    Speaker:
    Alan Winfield (Hewlett-Packard Professor of Electronic Engineering and Director of the Science Communication Unit at the University of the West)
    Date:
    Tuesday, 14.12.2010, 12:30
    Place:
    Taub 401

    [Full version]

  • Pixel Club Seminar: Toward Optimal Real-Time Transcoding of Images and Video Data Using Requantization

    Visual communication often requires adaptation of the transmission bit-rate to the available channel bandwidth or display characteristics of the end users. In this work, ...

    Speaker:
    Ora Gendler (EE, Technion)
    Date:
    Tuesday, 14.12.2010, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Theory Seminar: On the Semantics of Local Characterizations for Linear-Invariant Properties

    A property of functions on a vector space is said to be linear-invariant if it is closed under linear transformations of the domain. Linear-invariant properties are ...

    Speaker:
    Jakob Nordstrom (KTH Royal Institute of Technology)
    Date:
    Wednesday, 8.12.2010, 12:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club Seminar: Combined Local-Global Background Modeling for Anomaly Detection in Hyperspectral Images

    In this research, we address the problem of anomaly detection using remotely sensed spectral information collected by hyperspectral sensors. Anomaly detection algorithms first model ...

    Speaker:
    Eyal Madar (EE, Technion)
    Date:
    Tuesday, 7.12.2010, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Haifux, Haifa Linux Club: Creative Commons Licenses, Open Source Software Licenses & the new Israeli Copyright Act of 2007

    TBA

    Speaker:
    Dalit Ken-Dror (Haifa University)
    Date:
    Monday, 6.12.2010, 18:30
    Place:
    Taub 6

    [Full version]

  • Applications of Shellable Complexes to Distributed Computing

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

    [Full version]

  • Pixel Club Seminar: Single Image Head Orientation and Gaze Detection

    We introduce a system to compute both head orientation and gaze detection from a single image. The system uses a camera with fixed parameters ...

    Speaker:
    Jeremy Kaminski (CS, Holon Institute of Technology)
    Date:
    Tuesday, 30.11.2010, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Connecting the Dots Between News Articles

    Speaker:
    Dafna Shahaf SPECIAL GUEST LECTURE
    Date:
    Sunday, 28.11.2010, 11:00
    Place:
    Room 337-8 Taub NOTE UNUSUAL DAY AND TIME Bld.

    [Full version]

  • New Techniques for the Cryptanalysis of Hash Functions

    Cryptographic hash functions take a message of arbitrary length and generate a short fingerprint. Their main use are for digital signatures, due to their ...

    Speaker:
    Rafi Chen
    Date:
    Wednesday, 24.11.2010, 14:00
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: The Topology of Shared-memory Adversaries

    Failure patterns in modern parallel and distributed system are not necessarily uniform. The notion of an adversary scheduler is a natural way to extend ...

    Speaker:
    Maurice Herlihy, Brown University
    Date:
    Wednesday, 24.11.2010, 12:20
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Approximated Learning and Inference in Large Scale Graphical Models

    Speaker:
    Tamir Hazan
    Date:
    Tuesday, 23.11.2010, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Haifux, Haifa Linux Club: The Cairo Graphics Compositing Library

    The Cairo graphics library has become an integral part of open source graphics, being the bases for quality graphics in various projects, such as ...

    Speaker:
    Boaz Goldstein
    Date:
    Monday, 22.11.2010, 18:30
    Place:
    Taub 6

    [Full version]

  • Communication-Efficient Self-Stabilization Using Gossip.

    A self-stabilizing algorithm is a distributed algorithm that converges to a legal solution from any initial configuration. Most self-stabilizing protocols rely on checking every ...

    Speaker:
    Dmitry Zinenko
    Date:
    Wednesday, 17.11.2010, 14:00
    Place:
    Taub 601

    [Full version]

  • Bioinformatics Forum: Identification of Rare Alleles and their Carriers using Compressed Se(que)nsing

    Identification of rare variants by resequencing is important both for detecting novel variations and for screening individuals for known disease alleles. New technologies enable ...

    Speaker:
    Noam Shental (CS, The Open University of Israel)
    Date:
    Wednesday, 17.11.2010, 13:30
    Place:
    Taub 701

    [Full version]

  • Theory Seminar: Hats Auctions and Derandomization

    Goldberg, Hartline and Wright [SODA 2001] introduced the notion of 'competitive analysis' into 'auction theory' when dealing with 'unlimited supply', 'unit demand', 'single item' ...

    Speaker:
    Oren Ben-Zwi (Technion)
    Date:
    Wednesday, 17.11.2010, 12:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club Seminar: Representation, Processing and Animation of Images via Geometric Models

    In this talk I plan to discuss some results on image representation and processing via geometric models, in two extreme scales: 1. The finest ...

    Speaker:
    Yosef Yomdin (Math and CS, Weizmann Institute of Science)
    Date:
    Tuesday, 16.11.2010, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Theory Seminar: Deterministic Construction of a high dimensional ell-p section in ell-1^n for any p<2 (and its implications in compressed sensing)

    For any $00$, we give an efficient deterministic construction of a linear subspace $V \subseteq \R^n$, of dimension $(1-\epsilon)n$ in which the $\ell_p$ and ...

    Speaker:
    Zohar Karnin (CS, Technion)
    Date:
    Wednesday, 10.11.2010, 12:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Size-space tradeoffs in propositional proof complexity

    Speaker:
    Eli Ben-Sasson
    Date:
    Tuesday, 9.11.2010, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Haifux, Haifa Linux Club: SSDL & Linux – a Love story or a Battle field? How to Change to Linux and Survive (Give or Take)

    SSDL & Linux – a Love story or a Battle field? In the talk I will describe the process of moving (almost) all the ...

    Speaker:
    Shahar Dag (SSDL, CS, Technion)
    Date:
    Monday, 8.11.2010, 18:30
    Place:
    Taub 6

    [Full version]

  • Gravity currents as a test case: do simple mathematical models produce good physical insights, or do good insights generate powerful models?

    Speaker:
    Marius Ungarish
    Date:
    Tuesday, 2.11.2010, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club Seminar: Navigation Performance Enhancement using Online Mosaicking

    Since the Global Positioning System (GPS) was established in the 1970s, navigation has become a much easier task. Indeed, the majority of navigation systems ...

    Speaker:
    Vadim Indelman (Aerospace Engineering, Technion)
    Date:
    Tuesday, 2.11.2010, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Dependent UFP On a Shared Channel With Application to a Network Centric Operation

    In this talk we generalize the well-known Unsplittable Flow Problem (UFP) and show its applicability to the emerging Network Centric Operations (NCO) concept. While ...

    Speaker:
    Ilia Nudelman
    Date:
    Wednesday, 27.10.2010, 14:00
    Place:
    Taub 601

    [Full version]

  • Pixel Club Seminar: Transcription and Classification of Audio data by Sparse Representations and Geometric Methods

    Transcription and Classification of Audio Data by sparse Representations and Geometric Methods

    Speaker:
    Michal Genussov (EE, Technion)
    Date:
    Wednesday, 27.10.2010, 13:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Haifux, Haifa Linux Club: Secure File Systems

    In this talk I shall cover two concepts related to protecting your information, cryptographic file system and steganographic file system. A cryptographic file system ...

    Speaker:
    Orr Dunkelman (Weizmann Institute of Science)
    Date:
    Monday, 25.10.2010, 18:30
    Place:
    Taub 6

    [Full version]

  • Completeness and Universality Properties of Graph Invariants and Graph Polynomials

    Graph polynomials are powerful and well-developed tools to express graph parameters. Usually graph polynomials are compared to each other by ad-hoc means allowing to ...

    Speaker:
    Ilia Averbouch
    Date:
    Wednesday, 20.10.2010, 14:00
    Place:
    Taub 601

    [Full version]

  • Pixel Club Seminar: Schizophrenic(*) Perspective on Software Testing

    In this talk, I will present my personal perspective on software testing and quality, a perspective which is torn between being an academic interested ...

    Speaker:
    Yossi Gil (CS, Technion)
    Date:
    Wednesday, 20.10.2010, 12:30
    Place:
    Taub 2

    [Full version]

  • Pixel Club Seminar: Reading into the MAP: how mean is it ?

    Should penalized least squares regression be interpreted as Maximum A Posteriori estimation? Penalized least squares regression is often used for signal denoising and inverse ...

    Speaker:
    Remi Gribonval (INRIA)
    Date:
    Tuesday, 19.10.2010, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Should penalized least squares regression be interpreted as Maximum A Posteriori estimation? Subtitle: Reading into the map: how mean is it ?

    Speaker:
    Remi Gribonval
    Date:
    Tuesday, 19.10.2010, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club Seminar: Integrating Computer Graphics and Computer Vision in Virtual Humans Projects

    In this talk I'll present some research topics supervised by me during the last 10 years in VHLab, mainly in the context of Virtual ...

    Speaker:
    Soraia Raupp Musse (PUCRS - Computing Science Department)
    Date:
    Tuesday, 19.10.2010, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club Seminar: Sparsity-Based Signal Models and the Sparse K-SVD Algorithm

    Signal models are used for a wide array of signal and image processing tasks – from deconvolution, denoising, and interpolation to source separation, super-resolution, ...

    Speaker:
    Ron Rubisnstein (CS, Technion)
    Date:
    Tuesday, 5.10.2010, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Haifux, Haifa Linux Club: The Hitchhikers' Guide to the SHA-3 Competition

    Following the advances in the cryptanalysis of hash functions in the last years, and especially the alarming results on SHA1 and Merkle-Damgard hash functions, ...

    Speaker:
    Orr Dunkelman (Weizmann Institute of Science)
    Date:
    Monday, 4.10.2010, 18:30
    Place:
    Taub 6

    [Full version]

  • Pixel Club Seminar: Blind Source Separation of Instantaneous

    Blind source separation of images and voice signals is a well known and well studied subject. Solutions for this problem have various applications, such ...

    Speaker:
    Michael Shamis (EE, Technion)
    Date:
    Tuesday, 21.9.2010, 14:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Pixel Club Seminar: Surface and Volume Mapping via Mass Transport

    In this talk, we present novel approaches for mapping surfaces and volumes to corresponding canonical domains with the same topology. In general we wish ...

    Speaker:
    Ayelet Dominitz (EE, Technion)
    Date:
    Tuesday, 21.9.2010, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Bioinformatics Forum: Towards The Systems Biology of Breast Cancer: Exploiting Multilevel Molecular Data of High Dimension

    Cancer is a worldwide burden with several million deaths annually and the situation is set to worsen globally as the population ages, with a ...

    Speaker:
    Miriam Ragle Aure (Department of Genetics, Institute for Cancer Research, Oslo University and Hospital Radiumhospitalet, Oslo, Norway ) and Ole-Christian Lingjærde (Centre for Cancer Biomedicine, Un
    Date:
    Wednesday, 15.9.2010, 13:30
    Place:
    Taub 601

    [Full version]

  • Pixel Club Seminar: Image Sequence Processing Without Motion Estimation

    YouTube movies, live streaming, TV broadcast, conference calls and more - there is no doubt that video sequences are abundant and in everyday use. ...

    Speaker:
    Matan Protter (CS, Technion)
    Date:
    Tuesday, 14.9.2010, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club Seminar: A Parallel Algorithm for Sparse Demixing - Applied to Retinal Imaging and Remote Sensing

    The talk addresses the analysis of multi-spectral retinal image sets and hyperspectral satellite images. Pixels in such image sets represent mixtures of pure substances, ...

    Speaker:
    Martin Ehler (Departments of Mathematics and Earth and Ocean Science, University of British Columbia)
    Date:
    Thursday, 2.9.2010, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club Seminar: Reconstruction of the Brain Using High-Throughput Microscopy: Imaging, Segmentation, and Visualization

    Recent advances in microscopy have enabled the collection of large amounts of microscopic data at rapid rates. The size and rate of acquisition of ...

    Speaker:
    John Keyser (Computer Science and Engineering at Texas A&M University)
    Date:
    Monday, 30.8.2010, 10:00
    Place:
    EE Meyer Building 1061

    [Full version]

  • An effective method for parameter estimation with PDE constraints with multiple right hand sides

    Speaker:
    Eldad Haber SPECIAL LECTURE
    Date:
    Sunday, 29.8.2010, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Haifux, Haifa Linux Club: HTML5 - The Next Generations of the Web

    Since 2004, the Web Hypertext Application Technology Working Group (WHATWG) has been working on the next generation of HTML, the markup that makes up ...

    Speaker:
    Tzafrir Rehan
    Date:
    Monday, 16.8.2010, 18:30
    Place:
    Taub 6

    [Full version]

  • Pixel Club Seminar: Measurement and Analysis the Biological Retinal Response, and Adaptation to Optical Stimulus

    The retina is the first nerve system tissue that processes the visual information at the biological visual system. At this research, lab experiment performed ...

    Speaker:
    Gil Rivnai (EE, Technion)
    Date:
    Tuesday, 10.8.2010, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Pixel Club Seminar: Rich Photography on a Budget

    Computation is playing an increasingly central role in how we capture and process our images, opening up richer forms of photography that go beyond ...

    Speaker:
    Sam Hasinoff (CSAIL, MIT)
    Date:
    Wednesday, 4.8.2010, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Haifux, Haifa Linux Club: Zemereshet - An Emergency Project for the Rescue and Electronic Documentation of Early Hebrew Music

    Zemereshet is an Emergency Project for the Rescue and Electronic Documentation of Early Hebrew Music. It is a volunteer association of enthusiasts who have ...

    Speaker:
    Yair Even Zohar (Technion)
    Date:
    Monday, 2.8.2010, 18:30
    Place:
    Taub 6

    [Full version]

  • Topics in over-parametrized based variational methods

    We discuss a variational methodology, which involves locally modeling of data from noisy samples, combined with global model parameter regularization. We show that this ...

    Speaker:
    Shachar Shem-Tov
    Date:
    Wednesday, 28.7.2010, 11:30
    Place:
    Taub 337

    [Full version]

  • Haifux, Haifa Linux Club: Valgrind - From Magic to Science

    Valgrind is an extremely powerful development tool, which detects and pin-points many common programming errors when running a program. Some examples for the problems ...

    Speaker:
    Shachar Raindel (EE, Technion)
    Date:
    Monday, 26.7.2010, 18:30
    Place:
    Taub 6

    [Full version]

  • Pixel Club Seminar: Compressed Sensing for Hyperspectral Imaging

    We introduce a system for hyperspectral imaging based on micro-mirror array, that projects subsets of image pixels onto a prism (or diffraction grating), followed ...

    Speaker:
    Udi Pfeffer (CS, Technion)
    Date:
    Wednesday, 14.7.2010, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Finding and Localizing Bugs in Dynamic Web Applications

    Speaker:
    Shay Artzi
    Date:
    Sunday, 11.7.2010, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Haifux, Haifa Linux Club: GarlicSim: An Experimental Tool for Computer Simulations

    GarlicSim is an ambitious open-source project in the field of scientific computing, specifically computer simulations. It attempts to redefine the way that people think ...

    Speaker:
    Ram Rachum
    Date:
    Monday, 5.7.2010, 18:30
    Place:
    Taub 6

    [Full version]

  • CGGC Seminar: A Multi-Resolution Approach to Heat Kernels on Discrete Surfaces

    Studying the behavior of the heat diffusion process on a manifold is emerging as an important tool for analyzing the geometry of the manifold. ...

    Speaker:
    Amir Vaxman (Computer Science, Technion)
    Date:
    Sunday, 4.7.2010, 13:00
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Probabilistic Methods in Distributed Computing

    An inherent characteristic of distributed systems is the lack of centralized control, which requires the components to coordinate their actions. This need is abstracted ...

    Speaker:
    Keren Censor Hillel
    Date:
    Wednesday, 30.6.2010, 14:30
    Place:
    Taub 601

    [Full version]

  • Complex Barycentric Coordinates with Applications to Planar Shape Deformation and Interpolation

    Barycentric coordinates are heavily used in computer graphics applications to generalize a set of given data values. Traditionally, the coordinates are required to satisfy ...

    Speaker:
    Ofir Weber
    Date:
    Wednesday, 30.6.2010, 11:00
    Place:
    Taub 401

    [Full version]

  • LOCATION, LOCATION, LOCATION: CASTING A WIDE NET ON GEOGRAPHIC INFORMATION SYSTEMS (GIS)

    Speaker:
    Hanan Samet
    Date:
    Tuesday, 29.6.2010, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club Seminar: Incorporating Temporal Context in Bag-of-Words Models

    The Bag-of-Words (BoW) model is often used for recognition of objects, scenes, actions and more. It achieves impressive results in many diff erent areas, ...

    Speaker:
    Tamar Back (EE, Technion)
    Date:
    Tuesday, 29.6.2010, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Cross Layer Networking and Management for Mobile Wireless Networks

    Speaker:
    Distinguished Professor Izhak Rubin
    Date:
    Thursday, 24.6.2010, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club Seminar: What is a Cluster? Perspectives from Game Theory

    Contrary to the vast majority of approaches to clustering, which view the problem as one of partitioning a set of observations into coherent classes, ...

    Speaker:
    Marcello Pelillo (University of Venice, Italy )
    Date:
    Thursday, 24.6.2010, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club Seminar: Non-parametric Atlas-Based Segmentation of Highly Variable Anatomy

    We propose a non-parametric probabilistic model for the automatic segmentation of medical images. The resulting inference algorithms register individual training images to the new ...

    Speaker:
    Polina Golland (MIT/CSAIL)
    Date:
    Wednesday, 23.6.2010, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Large networks, Communities and Kronecker Products

    Speaker:
    Jure Leskovec
    Date:
    Tuesday, 22.6.2010, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club Seminar: Color Video Coding using Spatio-Temporal Correlation of Primary Colors

    Natural videos, given in the RGB color space, are characterized by high correlations between the primary colors (R, G and B). To reduce this ...

    Speaker:
    Rudi Primorac (EE, Technion)
    Date:
    Tuesday, 22.6.2010, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Haifux, Haifa Linux Club: Technological Challanges in Ben Yehuda Project

    פרוייקט בן-יהודה הוא מיזם התנדבותי אשר בונה ומתחזק מאגר חופשי של יצירה עברית שאינה מוגנת בזכויות יוצרים. המהדורות האלקטרוניות של היצירות מוגשות לציבור בחינם, ...

    Speaker:
    Asaf Bartov (Ben-Yehuda Project, Founder of Hebrew Literatuare Computing Society)
    Date:
    Monday, 21.6.2010, 18:30
    Place:
    Taub 6

    [Full version]

  • Analysis and Detection of Interactions Among Aspects

    Aspect-oriented programming is becoming a common approach to extend object systems with modules that cross-cut the usual class hierarchy. Aspects encapsulate treatment of concerns ...

    Speaker:
    Emilia Katz
    Date:
    Sunday, 20.6.2010, 12:30
    Place:
    Taub 701

    [Full version]

  • Pixel Club Seminar: Whole-Body Robot Sensing Is Prerequisite for Human-Robot Interaction and Teams

    While control via sensing in robotics and in human-robot interaction is important for both robot autonomous vehicles and arm manipulators, it is more prescient ...

    Speaker:
    Vladimir Lumelsky (NASA, University of Maryland)
    Date:
    Sunday, 20.6.2010, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • CGGC Seminar: Visualizing R^N – Representing Surfaces by their Normal Vectors

    With parallel coordinates the perceptual barrier imposed by our 3-dimensional habitation is breached enabling the visualization of multidimensional problems. By learning to recognize patterns ...

    Speaker:
    Alfred Inselberg (Mathematics, Tel Aviv University)
    Date:
    Sunday, 20.6.2010, 11:00
    Place:
    Taub 401

    [Full version]

  • A Brief History of the Internet

    Speaker:
    Distinguished professor Leonard Kleinrock
    Date:
    Wednesday, 16.6.2010, 14:30
    Place:
    EE Meyer Building 861

    [Full version]

  • Online reconstruction of 3D objects from arbitrary cross-section data

    The reconstruction of a surface from a set of planar cross-sections such that the surface interpolates, or approximates, the input has been thoroughly studied ...

    Speaker:
    Amit Bermano
    Date:
    Wednesday, 16.6.2010, 11:00
    Place:
    Taub 337

    [Full version]

  • My Life and My Work

    Speaker:
    Distinguished professor Leonard Kleinrock
    Date:
    Tuesday, 15.6.2010, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • CRYPTODAY2010

    The 2010 Workshop in Cryptology will be held on Wednesday, June 9 2010, between 9:00-16:10, in Auditorium 1, CS Taub Building, Technion. You are ...

    Speaker:
    Workshop in Cryptology
    Date:
    Wednesday, 9.6.2010, 13:30
    Place:
    Taub 1

    [Full version]

  • Bioinformatics Forum: Useful Tools in Finding Genetic Determinants of Complex Traits: Quantitative Genetic Analysis Software and Bioinformatics Resources for Marker Prioritization.

    Substantial familial aggregation and heritability is observed for a wide range of phenotypes in general human population. Much effort has been made to decipher ...

    Speaker:
    Dr. Sergey Ermakov (Sackler Faculty of Medicine, Tel Aviv University)
    Date:
    Wednesday, 9.6.2010, 13:30
    Place:
    Taub 701

    [Full version]

  • Pixel Club Seminar: "Good" Computation for the Motion of Colliding Objects

    We would like to compute the motion of flexible materials colliding against each other in complex ways (e.g., sheets of fabric being knotted, plastic ...

    Speaker:
    Eitan Grinspun (Computer Science, Columbia University)
    Date:
    Wednesday, 9.6.2010, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Bioinformatics Forum: Accurate Protein Function Prediction with the GOstruct Method

    Protein function prediction is an active area of research in bioinformatics. And yet, transfer of annotation on the basis of sequence or structural similarity ...

    Speaker:
    Asa Ben-Hur (Department of Computer Science, Colorado State University)
    Date:
    Wednesday, 9.6.2010, 11:00
    Place:
    Taub 701

    [Full version]

  • Regret Minimization and Job Scheduling

    Speaker:
    Yishay Mansour - Annual S. Even Distinguished Colloquium
    Date:
    Tuesday, 8.6.2010, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club Seminar: Nash, Burago & Zalgaller and Image Processing

    The celebrated Nash Embedding Theorem is extensively employed in recent years in various theoretical, as well as practical, aspects of Computer Graphics and Image ...

    Speaker:
    Emil Saucan (Mathematics, Technion)
    Date:
    Tuesday, 8.6.2010, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Haifux, Haifa Linux Club: Gupta et al.'s paper (and work) on Difference Engine.

    Difference Engine is an extension to Xen, which is an open-source hypervisor. The paper, titled "Difference Engine: Harnessing Memory Redundancy in Virtual Machines", by ...

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

    [Full version]

  • CGGC Seminar: A Polynomial Root Solver that preserves The Multiplicities of the Roots

    TBA

    Speaker:
    Joab Winkler (Sheffield University, Sheffield, England
    Date:
    Thursday, 3.6.2010, 13:00
    Place:
    Taub 337

    [Full version]

  • Bioinformatics Forum: Deriving Enzymatic and Taxonomic Signatures of Metagenomes from Short Read Data

    We propose a method for deriving enzymatic signatures from short read (SR) metagenomic data of unknown species. The SR data are converted to six ...

    Speaker:
    Prof. David Horn (School of Physics & Astronomy, Tel Aviv University)
    Date:
    Wednesday, 2.6.2010, 13:30
    Place:
    Taub 701

    [Full version]

  • From Philosophical to Industrial Logics

    Speaker:
    Moshe Y. Vardi
    Date:
    Tuesday, 1.6.2010, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club Seminar: Inverse Source Problems in Domains with Holes

    We consider the inverse problem of discovering the location of point sources from very sparse point measurements in a bounded domain that contains impenetrable ...

    Speaker:
    Richard Tsai (Mathematics, University of Texas at Austin)
    Date:
    Tuesday, 1.6.2010, 14:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Pixel Club Seminar: Audio - Visual Fusion

    Speaker:
    Radu Horaud (INRIA Rhone-Alpes, Grenoble, France)
    Date:
    Tuesday, 1.6.2010, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Pixel Club Seminar: 3D Shape Representation Using Diffusion Embeddings

    We will address the problem of representing shapes using eigenvalues and eigenvectors of the discrete diffusion operator. A discrete shape, such as a mesh ...

    Speaker:
    Radu Horaud (INRIA Rhone-Alpes, Grenoble, France)
    Date:
    Monday, 31.5.2010, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Mathematics Club Seminar: Metric Geometry in Action

    More detail in seminar poster פרטים נוספים

    Speaker:
    Ron Kimmel (CS, Technion)
    Date:
    Wednesday, 26.5.2010, 16:30
    Place:
    Amado 232

    [Full version]

  • Privacy Preserving Data Mining

    In recent years the data mining community has faced a new challenge. Having shown how effective its tools are in revealing the knowledge locked ...

    Speaker:
    Arik Friedman
    Date:
    Wednesday, 26.5.2010, 14:00
    Place:
    Taub 601

    [Full version]

  • Computational Metric Geometry: A New Tool in Image Sciences

    Speaker:
    Michael Bronstein
    Date:
    Tuesday, 25.5.2010, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club Seminar: On the Role of Color Information in Image Processing and Visual Communication

    Color information plays a major role in image processing and visual communication although presently most algorithms and tools are developed mainly for monochromatic images. ...

    Speaker:
    Evgeny Gershikov (Technion)
    Date:
    Tuesday, 25.5.2010, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Haifux, Haifa Linux Club: KDE 4 - The Good, The Bad, and The Broken

    KDE was developed to give Unix applications a common look and feel. From 1996 to 2007 the desktop environment saw many improvements and changes. ...

    Speaker:
    Dotan Cohen (Technion)
    Date:
    Monday, 24.5.2010, 18:30
    Place:
    Taub 6

    [Full version]

  • Oblivious and Cost Aware Distributed Load Sharing in the Cloud

    Speaker:
    Danny Raz
    Date:
    Tuesday, 11.5.2010, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Haifux, Haifa Linux Club: Compromising Electromagnetic Emanations of Wired and Wireless Keyboards

    Roy Migdal will present the work of Martin Vuagnoux and Sylvain Pasini, which won the best paper award at 18th USENIX Security Symposium (Usenix ...

    Speaker:
    Roy Migdal (CS, Technion)
    Date:
    Monday, 10.5.2010, 18:30
    Place:
    Taub 6

    [Full version]

  • Pixel Club Seminar: Non-Rigid Shape Correspondence by Matching Semi-Local Spectral Features and Global Geodesic Structures

    Non-rigid shape correspondence by matching semi-local spectral features and global geodesic structures Abstract: We present an efficient computational method for finding correspondences between non-rigid ...

    Speaker:
    Anastasia Dubrovina (EE, Technion)
    Date:
    Monday, 10.5.2010, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Radical Lexicalization of Mildly Context-Sensitive Languages

    A family of languages is called mildly context-sensitive if 1. it includes the family of all context-free languages; 2. it contains the languages * ...

    Speaker:
    Daniel Genkin
    Date:
    Wednesday, 5.5.2010, 15:30
    Place:
    Taub 701

    [Full version]

  • Bitonic Sorters Of Minimal Depth

    A Bitonic sorter is a comparator network that sorts every Bitonic input sequence. In our research, we studied the minimal depth of such networks. ...

    Speaker:
    Tamir Levi
    Date:
    Wednesday, 5.5.2010, 14:30
    Place:
    Taub 601

    [Full version]

  • The Identification of Join Candidates in the Cairo Genizah: An interdisciplinary challenge in computer assisted text processing

    Speaker:
    Lior Wolf
    Date:
    Tuesday, 4.5.2010, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club Seminar:
    נחילים – מעולם הטבע לעולם ההנדסה – מה ניתן ללמוד מהטבע

    חקירה והתבוננות בעולם הטבע חוללה תובנות רבות בקרב החוקרים. נחילים בטבע, כמו גם בעלי חיים החיים בקבוצות שיתופיות, מציגים יכולות מרשימות בהשגת יעדים קבוצתיים, ...

    Speaker:
    Arik Yavnai
    Date:
    Tuesday, 4.5.2010, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Pixel Club Seminar: Theory and Algorithms for Anisotropic Triangulations with Applications to Image Representations

    We present the first results of an ongoing project revolving around approximation by finite element functions on adaptive and anisotropic triangulations, with application to ...

    Speaker:
    Albert Cohen (Laboratoire J.-L. Lions, University Paris VI)
    Date:
    Wednesday, 28.4.2010, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Haifux, Haifa Linux Club: Making the Internet Accessible - workshop

    In this meeting we shall try and contact as many webmasters of as many websites that do not support Linux-based browsing (as well as ...

    Speaker:
    Orr Dunkelman (Weizmann Institute)
    Date:
    Monday, 26.4.2010, 18:30
    Place:
    Taub 6

    [Full version]

  • Bioinformatics Forum: An Algorithmic Framework for Predicting Side-Effects of Drugs

    One of the critical stages in drug development is the identification of potential side effects for promising drug leads. Large scale clinical experiments aimed ...

    Speaker:
    Nir Atias (The Blavatnik School of Computer Science, Tel Aviv University)
    Date:
    Wednesday, 21.4.2010, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Movement Problems

    Speaker:
    Daniel Marx
    Date:
    Tuesday, 13.4.2010, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Haifux, Haifa Linux Club: Genetic Algorithms

    TBA

    Speaker:
    Omer Boehm
    Date:
    Monday, 12.4.2010, 18:30
    Place:
    Taub 6

    [Full version]

  • Temporal Concept Learning (or how to predict the future?)

    Man has long desired to predict events that are likely to take place in the future. Such predictions can be beneficial for planning, resource ...

    Speaker:
    Kira Radinsky
    Date:
    Wednesday, 7.4.2010, 13:00
    Place:
    Taub 337

    [Full version]

  • Theory Seminar: A Thermodynamic Approach to the Analysis of Multi-Robot Cooperative Localization under Independent Errors

    Abstract: We propose a new approach to the simultaneous cooperative localization of a group of robots capable of sensing their own motion and the ...

    Speaker:
    Yotam Elor (CS, Technion)
    Date:
    Wednesday, 7.4.2010, 12:30
    Place:
    Taub 201

    [Full version]

  • Online Set Packing and Competitive Scheduling of Multi-Part Tasks

    Speaker:
    Dror Rawitz
    Date:
    Tuesday, 6.4.2010, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • The security tower of Babel

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

    [Full version]

  • Model Checking Using Tree-width Methods: Old and New

    Speaker:
    Isolde Adler SPECIAL LECTURE note unusual hour
    Date:
    Thursday, 18.3.2010, 11:30
    Place:
    Room 601 Taub Bld.

    [Full version]

  • Code Structures in Java

    This research explores the identification of recurring constructs, Code Structures, which serve as the building blocks of object oriented programs and the exploitation of ...

    Speaker:
    Itay Maman
    Date:
    Wednesday, 17.3.2010, 14:30
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: On the Degree of Symmetric Functions on the Boolean Cube

    In the 1997 paper "Polynomials with two values" by von zur Gathen and Roche (Combinatorica), the authors proved that the degree of any non-constant ...

    Speaker:
    Gil Cohen (CS, Technion)
    Date:
    Wednesday, 17.3.2010, 12:30
    Place:
    Taub 201

    [Full version]

  • Fixed-parameter algorithms for graph separation problems

    Speaker:
    Igor Razgon
    Date:
    Tuesday, 16.3.2010, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club Seminar: Computational Aesthetics - Science or Art?

    Apart from rendering photorealistic images many works in computer graphics focus on creating illustrative and artistic images. Such images can be used in many ...

    Speaker:
    Oliver Deussen (University of Konstanz, Germany)
    Date:
    Tuesday, 16.3.2010, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Haifux, Haifa Linux Club: Scientific Programming with Modern Fortran

    Fortran is the most known language for scientific and engineering problems. However growth of popularity of C/C++,Java, Matlab etc has shadowed the development and ...

    Speaker:
    Shimon Panfil (Ph.D.)
    Date:
    Monday, 15.3.2010, 18:30
    Place:
    Taub 8 (note different place)

    [Full version]

  • Bioinformatics Forum: An Universal Adaptive Translation Efficiency Profile of Proteins

    Recent years have seen intensive progress in measuring protein translation. However, the contributions of coding sequences to the efficiency of the process remain unclear. ...

    Speaker:
    Tzachi Pilpel (Weizmann Institute of Science)
    Date:
    Monday, 15.3.2010, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Theory Seminar: Non-Preemptive Buffer Management for Latency Sensitive Packets

    The delivery of latency sensitive packets is a crucial issue in real time applications of communication networks. Such packets often have a firm deadline ...

    Speaker:
    Moran Feldman (CS, Technion)
    Date:
    Wednesday, 10.3.2010, 12:30
    Place:
    Taub 201

    [Full version]

  • Property Testing and its application in databases

    Speaker:
    Eldar Fischer
    Date:
    Tuesday, 9.3.2010, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club Seminar: Shape-constrained Graph Min-cut approach for Medical Image Segmentation

    Segmentation of organs and vascular structures from clinical Computed Tomography (CT) images is a crucial task in many clinical applications including diagnosis, patient specific ...

    Speaker:
    Moti Freiman (CS, Hebrew University of Jerusalm)
    Date:
    Tuesday, 9.3.2010, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • CGGC Seminar: 3D Surface Reconstruction Using A Generalized Distance Function

    3D scanning is the process of acquiring a digital copy of a physical object. A 3D scanner is used to sample points on the ...

    Speaker:
    Roi Poranne (Computer Science, Technion)
    Date:
    Sunday, 7.3.2010, 13:00
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Construction of Semantic User Interfaces

    A state of the art Graphical User Interface (GUI) is composed of concrete controls, such as buttons, menus and windows. A semantical GUI, on ...

    Speaker:
    Motty Porat
    Date:
    Thursday, 4.3.2010, 11:00
    Place:
    Taub 601

    [Full version]

  • On the Performance of Dijkstra's 3rd Self-stabilizing Algorithm for Mutual Exclusion and Related Algorithms

    In a paper of 1974 Dijkstra introduced the notion of self-stabilizing algorithms and presented three such algorithms for the problem of mutual exclusion on ...

    Speaker:
    Viacheslav Chernoy
    Date:
    Wednesday, 3.3.2010, 14:00
    Place:
    Taub 601

    [Full version]

  • Haifux, Haifa Linux Club: Drupal

    Drupal is an open source content management system that developed into a web application framework written in PHP, it is used to build a ...

    Speaker:
    Michael Shmilov Yoni Limor (yam-design) and Israel David
    Date:
    Monday, 1.3.2010, 18:30
    Place:
    Taub 6

    [Full version]

  • IE Student M.Sc. Seminar: Optimizing the Size of Software Inspection Teams

    Code inspection is considered to be an efficient method for detecting some kinds of faults in software code documents. Other kinds of faults are ...

    Speaker:
    Alexander Raginsky
    Date:
    Tuesday, 23.2.2010, 11:00
    Place:
    Taub 701

    [Full version]

  • Learning from Multiple Teachers

    Speaker:
    Ofer Dekel
    Date:
    Thursday, 18.2.2010, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Abstractions for devising compact controllers for MDPs

    Planning a course of action is a key ability for intelligent systems. It involves the representation of actions and world models, reasoning about the ...

    Speaker:
    Kolman Vornovitsky
    Date:
    Wednesday, 17.2.2010, 15:30
    Place:
    Taub 601

    [Full version]

  • Cryptography by the People, for the People: How Voting and Cryptography Go Hand-in-Hand

    Speaker:
    Tal Moran
    Date:
    Tuesday, 16.2.2010, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Haifux, Haifa Linux Club: VoIP in Linux

    VoIP is an emerging and exciting technology. We will deal with the basics of VoIP protocols and we will discuss some Linux VoIP applications. ...

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

    [Full version]

  • Optimal Network Locality in Distributed Services

    Speaker:
    Gwendal Simon SPECIAL TALK
    Date:
    Monday, 15.2.2010, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Theory Seminar: The Strength of Parameterized Tree-like Resolution

    We examine the proof-theoretic strength of parameterized tree-like resolution---a proof system for the $\co\W[2]$-complete set of parameterized tautologies. Parameterized resolution and, moreover, a general ...

    Speaker:
    Massimo Lauria (Università di Roma)
    Date:
    Wednesday, 10.2.2010, 13:30
    Place:
    Taub 201

    [Full version]

  • An online distributed system for genetic linkage analysis

    In this talk I will describe the algorithms and mechanisms underlying a distributed system for genetic linkage analysis, called Superlink-online. It is a production ...

    Speaker:
    Mark Silberstein
    Date:
    Wednesday, 10.2.2010, 11:00
    Place:
    Taub 601

    [Full version]

  • Scalable Garbage Collection on Highly Parallel Platforms

    Computing landscape is changing rapidly in the recent years. On the one hand, the pervasiveness of multiprocessor and multicore hardware requires the software to ...

    Speaker:
    Katherine Barabash
    Date:
    Wednesday, 3.2.2010, 14:00
    Place:
    Taub 601

    [Full version]

  • Haifux, Haifa Linux Club: Hspell - A Retrospective

    Hspell is a free Hebrew spell checker. It is used by most Linux distributions, by free applications such as OpenOffice and Firefox, and even ...

    Speaker:
    Nadav Har'El (IBM HRL)
    Date:
    Monday, 1.2.2010, 18:30
    Place:
    Taub 6

    [Full version]

  • Coding Techniques for Multidimensional Constrained Channels

    Constrained systems are models for describing the read-write requirements of secondary storage systems, such as magnetic disks and optical devices. Proposals for new storage ...

    Speaker:
    Artyom Sharov
    Date:
    Thursday, 28.1.2010, 16:00
    Place:
    Taub 701

    [Full version]

  • Computational Modeling and Algorithms in Molecular Evolution and Gene Translation

    Speaker:
    Tamir Tuller
    Date:
    Thursday, 28.1.2010, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club Seminar: Shift-Map Image Editing

    Geometric rearrangement of images includes operations such as image retargeting, object removal, or object rearrangement. Each such operation can be characterized by a shift-map: ...

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

    [Full version]

  • Accelerating the TSUBAME Supercomputer with Graphics Processing Units and its Implications to Systems Research

    Speaker:
    Naoya Maruyama
    Date:
    Sunday, 24.1.2010, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • A Parallel Repetition Theorem for Any Cryptographic Protocol

    Speaker:
    Iftach Ilan Haitner
    Date:
    Thursday, 21.1.2010, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Beyond Nash Equilibrium: Solution Concepts for the 21st Century

    Speaker:
    Joe Halpern
    Date:
    Tuesday, 19.1.2010, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club Seminar: Theory of Multiplexed Fluorescence Unmixing

    Fluorescence microscopy is a powerful tool in biology and biomedical sciences. Microscopic specimens usually yield fluorescence intensity images that are dim and thus suffer ...

    Speaker:
    Marina Alterman (EE, Technion)
    Date:
    Tuesday, 19.1.2010, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Haifux, Haifa Linux Club: The FOSS Community as a Social Phenomenon

    What kind of community is it? Who are its members? What are its boundaries? מחקר זה מנסה להבין מהם התהליכים שהובילו להתכוננות קהילת הקוד ...

    Speaker:
    Yaron Dishon (Sociology Dept. student, Haifa University)
    Date:
    Monday, 18.1.2010, 18:30
    Place:
    Taub 6

    [Full version]

  • Internet Routing: Foundations, Challenges and Future Directions

    Speaker:
    Michael Schapira
    Date:
    Monday, 18.1.2010, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club Seminar: Segmentation of Image Ensembles via Latent Atlases

    The images acquired via medical imaging modalities are frequently subject to low signal-to-noise ratio, bias field and partial volume effects. These artifacts, together with ...

    Speaker:
    Tammy Riklin-Raviv (Medical Vision Group CSAIL, MIT & Surgical Planning Laboratory, Harvard Medical School)
    Date:
    Tuesday, 12.1.2010, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Side Channels and their Mitigation in Cloud Computing Security

    Speaker:
    Eran Tromer
    Date:
    Thursday, 7.1.2010, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Combinatorics Seminar: On Equivalence of Polynomial Conjectures in Additive Combinatorics

    We will discuss two important conjectures in additive combinatorics. The first one is the polynomial Freiman-Rusza conjecture, which relates to the structure of sets ...

    Speaker:
    Shachar Lovett (Weizmann Institute)
    Date:
    Wednesday, 6.1.2010, 13:30
    Place:
    Amado 719

    [Full version]

  • The Randomized k-Server Conjecture (Online Algorithms meet Linear Programming)

    Speaker:
    Niv Buchbinder
    Date:
    Tuesday, 5.1.2010, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • On MMSE and MAP Denoising Under Sparse Representation Modeling Over a Unitary Dictionary

    Among the many ways to model signals, a recent approach that draws considerable attention is sparse representation modeling. In this model, the signal is ...

    Speaker:
    Javier Turek
    Date:
    Tuesday, 5.1.2010, 14:30
    Place:
    Taub 701

    [Full version]

  • Haifux, Haifa Linux Club: Offline Scheduler

    OFFSCHED is a platform aimed to assign an assignment to an offloaded processor. An offloaded processor is a processor that is hot un-plugged from ...

    Speaker:
    Raz Ben Yehuda (Ms.c student in the Open University)
    Date:
    Monday, 4.1.2010, 18:30
    Place:
    Taub 6

    [Full version]

  • Derandomized Search for Experimental Optimization

    Speaker:
    Ofer M. Shir
    Date:
    Monday, 4.1.2010, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]