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

  • Relations in algebraic complexity

    דובר:
    Amir Yehudayoff
    תאריך:
    יום חמישי, 31.12.2009, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • 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 ...

    דובר:
    אנה בנדרסקי
    תאריך:
    יום רביעי, 30.12.2009, 14:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • 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 ...

    דובר:
    ארי פרנק (מ"מ והנדסה, סן דייגו)
    תאריך:
    יום רביעי, 30.12.2009, 13:30
    מקום:
    טאוב 401

    [לנוסח המלא]

  • 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 ...

    דובר:
    אריאל גביזון (מכון ויצמן)
    תאריך:
    יום רביעי, 30.12.2009, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • 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 ...

    דובר:
    גילרמו ספירו (אונ' מינסוטה)
    תאריך:
    יום רביעי, 30.12.2009, 10:30
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • On the Roles of Computer Science in Systems Biology

    דובר:
    Oded Maler
    תאריך:
    יום שלישי, 29.12.2009, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • 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 ...

    דובר:
    פרופ' קניצ'י קנטאני (אוקיאמה, יפן)
    תאריך:
    יום שלישי, 29.12.2009, 11:30
    מקום:
    חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

    [לנוסח המלא]

  • 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 ...

    דובר:
    פיטר קומז'ת (בודפשט, הונגריה)
    תאריך:
    יום שני, 28.12.2009, 14:30
    מקום:
    אמאדו 509

    [לנוסח המלא]

  • DejaView - a Personal Virtual Computer Recorder

    דובר:
    Oren Laadan
    תאריך:
    יום שני, 28.12.2009, 11:00
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • 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 ...

    דובר:
    שי קלס (מתמטיקה, אונ' ת"א)
    תאריך:
    יום ראשון, 27.12.2009, 13:00
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

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

    דובר:
    Orr Dunkelman
    תאריך:
    יום חמישי, 24.12.2009, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • 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 ...

    דובר:
    מולי בן-יהודה (IBM מחקר, חיפה)
    תאריך:
    יום שני, 21.12.2009, 18:30
    מקום:
    טאוב 6

    [לנוסח המלא]

  • 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 ...

    דובר:
    יקי סטי (מיקרוסופט, קיימברידג', בריטניה)
    תאריך:
    יום רביעי, 16.12.2009, 13:30
    מקום:
    טאוב 401

    [לנוסח המלא]

  • Wikipedia-based Semantic Analysis

    דובר:
    Shaul Markovitch
    תאריך:
    יום שלישי, 15.12.2009, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • 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 ...

    דובר:
    דמיטרי פצ'יוני (מעבדות NEC ומ"מ דוקטורנט)
    תאריך:
    יום חמישי, 10.12.2009, 14:30
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Phylogenetic Tree Reconstruction with Insertions and Deletions.

    דובר:
    Avinatan Hassidim
    תאריך:
    יום שלישי, 8.12.2009, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • 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 ...

    דובר:
    ראובן בקאלאש (בן-גוריון)
    תאריך:
    יום שלישי, 8.12.2009, 11:30
    מקום:
    חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

    [לנוסח המלא]

  • 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 ...

    דובר:
    אביב שרון
    תאריך:
    יום שני, 7.12.2009, 18:30
    מקום:
    טאוב 6

    [לנוסח המלא]

  • 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 ...

    דובר:
    ארטיום מיאסקובסקי (מ"מ, טכניון)
    תאריך:
    יום שני, 7.12.2009, 14:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • 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 ...

    דובר:
    נגה צבי (מדעי המחשב, הטכניון)
    תאריך:
    יום שני, 7.12.2009, 14:30
    מקום:
    אמאדו 509

    [לנוסח המלא]

  • Pushing the Envelope of Abstraction-based Admissible Heuristics

    דובר:
    Carmel Domshlak
    תאריך:
    יום שלישי, 1.12.2009, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • 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., ...

    דובר:
    עידו בן-טוב
    תאריך:
    יום רביעי, 25.11.2009, 14:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • 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: ...

    דובר:
    הרשה פרלד (TIFR, מומביי)
    תאריך:
    יום רביעי, 25.11.2009, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • 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 ...

    דובר:
    אמיר קולמן (הנ' חשמל והנ' מחשבים, בן-גוריון)
    תאריך:
    יום שלישי, 24.11.2009, 11:30
    מקום:
    חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

    [לנוסח המלא]

  • Business Artifacts: A New Foundation for Business Process Modeling

    דובר:
    Richard Hull
    תאריך:
    יום שלישי, 17.11.2009, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • 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 ...

    דובר:
    טלי טרייביץ (הנדסת חשמל, טכניון)
    תאריך:
    יום רביעי, 11.11.2009, 11:30
    מקום:
    חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

    [לנוסח המלא]

  • Milestones in Multigrid

    דובר:
    Irad Yavneh
    תאריך:
    יום שלישי, 10.11.2009, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Haifux, Haifa Linux Club: FOSS Philosophy

    פרטים נוספים

    דובר:
    אור דונקלמן (מדעי המחשב, הטכניון)
    תאריך:
    יום שני, 9.11.2009, 18:30
    מקום:
    טאוב 6

    [לנוסח המלא]

  • 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 ...

    דובר:
    יאיר ריבנזון (אונ' בן-גוריון)
    תאריך:
    יום רביעי, 4.11.2009, 13:30
    מקום:
    חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

    [לנוסח המלא]

  • 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 ...

    דובר:
    מיכה שריר (אונ' ת"א)
    תאריך:
    יום רביעי, 4.11.2009, 13:30
    מקום:
    בניין אמדו 719

    [לנוסח המלא]

  • Haifux, Haifa Linux Club: Development Tools

    דובר:
    אלי בילאר וצפריר ריהן
    תאריך:
    יום רביעי, 4.11.2009, 12:30
    מקום:
    טאוב 2

    [לנוסח המלא]

  • Progressing Databases

    דובר:
    Gerhard Lakemeyer
    תאריך:
    יום שלישי, 3.11.2009, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • 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 ...

    דובר:
    דר' דוד מיליאורה
    תאריך:
    יום שלישי, 27.10.2009, 11:30
    מקום:
    חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

    [לנוסח המלא]

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

    דובר:
    ליאורה שלומי (אונ' חיפה)
    תאריך:
    יום שני, 26.10.2009, 18:30
    מקום:
    טאוב 6

    [לנוסח המלא]

  • 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 ...

    דובר:
    דוד חסיד (סנדויין וטכניון)
    תאריך:
    יום שני, 21.9.2009, 18:30
    מקום:
    טאוב 6

    [לנוסח המלא]

  • 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 ...

    דובר:
    הדר בנימיני ואסף פרידלר (האונ' העברית ירושלים)
    תאריך:
    יום שני, 14.9.2009, 13:00
    מקום:
    אודיטוריום ביולוגיה

    [לנוסח המלא]

  • 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 ...

    דובר:
    יבגניה אלפרין
    תאריך:
    יום רביעי, 9.9.2009, 12:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • 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 ...

    דובר:
    דיאגו יסטרובני
    תאריך:
    יום שני, 7.9.2009, 18:30
    מקום:
    טאוב 6

    [לנוסח המלא]

  • 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 ...

    דובר:
    ניקולאי סקרברינק
    תאריך:
    יום שלישי, 1.9.2009, 11:30
    מקום:
    חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

    [לנוסח המלא]

  • 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 ...

    דובר:
    יוני רבקין (FSF)
    תאריך:
    יום שני, 31.8.2009, 18:30
    מקום:
    טאוב 6

    [לנוסח המלא]

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

    דובר:
    מיונג-סו קים (סיאול)
    תאריך:
    יום ראשון, 30.8.2009, 13:00
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • 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 ...

    דובר:
    ירון ליפמן (פרינסטון)
    תאריך:
    יום חמישי, 20.8.2009, 14:00
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • 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 ...

    דובר:
    Prajakta Nimbhorkar (The Institute of Mathematical Sciences)
    תאריך:
    יום רביעי, 19.8.2009, 15:00
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • 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: ...

    דובר:
    רמי רוזן
    תאריך:
    יום שני, 17.8.2009, 18:30
    מקום:
    טאוב 6

    [לנוסח המלא]

  • 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 ...

    דובר:
    רוני זצריני (הנדסת חשמל, טכניון)
    תאריך:
    יום שלישי, 11.8.2009, 11:30
    מקום:
    חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

    [לנוסח המלא]

  • 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 ...

    דובר:
    ניב סבת ( אונ' יוסטון, טקסס)
    תאריך:
    יום שני, 27.7.2009, 10:30
    מקום:
    מקלט קומה 2, בניין ביולוגיה

    [לנוסח המלא]

  • 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.

    דובר:
    רמי רוזן
    תאריך:
    יום ראשון, 26.7.2009, 18:30
    מקום:
    טאוב 6

    [לנוסח המלא]

  • 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 ...

    דובר:
    ליאוניד רסקין
    תאריך:
    יום רביעי, 15.7.2009, 10:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • 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 ...

    דובר:
    יוני רבקין
    תאריך:
    יום שני, 13.7.2009, 18:30
    מקום:
    טאוב 6

    [לנוסח המלא]

  • 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 ...

    דובר:
    גיא שנער (מכון ויצמן למדע)
    תאריך:
    יום חמישי, 9.7.2009, 13:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • 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 ...

    דובר:
    אלון אפרת
    תאריך:
    יום שלישי, 30.6.2009
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • 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 ...

    דובר:
    איציק אידוס (Red Hat)
    תאריך:
    יום שני, 29.6.2009, 18:30
    מקום:
    טאוב 6

    [לנוסח המלא]

  • Randomness - a computational perspective

    דובר:
    Avi Wigderson - in memory of Shimon Even
    תאריך:
    יום ראשון, 28.6.2009, 16:30
    מקום:
    חדר 337-8 טאוב Tentative Bld.

    [לנוסח המלא]

  • 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 ...

    דובר:
    אודי וידר (מיקרוסופט מחקר)
    תאריך:
    יום רביעי, 24.6.2009, 15:00
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • 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. ...

    דובר:
    פרופ' פיטר סטון (מ"מ, אונ' טקסס)
    תאריך:
    יום ראשון, 21.6.2009, 11:30
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Cluster-Based Computation of Relational Joins

    דובר:
    Jeffrey D. Ullman
    תאריך:
    יום חמישי, 18.6.2009, 10:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • 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 ...

    דובר:
    מיכאל בידרמן (מ"מ, הטכניון)
    תאריך:
    יום רביעי, 17.6.2009, 15:00
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

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

    דובר:
    Yael Tauman Kalai
    תאריך:
    יום שלישי, 16.6.2009, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • 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

    דובר:
    אורי בריט (הנדסת חשמל, הטכניון)
    תאריך:
    יום שלישי, 16.6.2009, 11:30
    מקום:
    חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

    [לנוסח המלא]

  • 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 ...

    דובר:
    עמי חיון
    תאריך:
    יום שני, 15.6.2009, 18:30
    מקום:
    טאוב 6

    [לנוסח המלא]

  • 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 ...

    דובר:
    פרתה מוקופדי (מדעי המחשב, טכניון)
    תאריך:
    יום רביעי, 10.6.2009, 15:00
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • 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 ...

    דובר:
    טרוי לי (אונ' קולומביה)
    תאריך:
    יום ראשון, 7.6.2009, 14:30
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • 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}, ...

    דובר:
    Arnab Bhattacharyya, (MIT)
    תאריך:
    יום רביעי, 3.6.2009, 15:00
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

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

    דובר:
    רון גולדמן (מ"מ, אוניברסיטת רייס)
    תאריך:
    יום רביעי, 3.6.2009, 11:00
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • 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 ...

    דובר:
    רויטל ארז (י.ב.מ. חיפה)
    תאריך:
    יום שני, 1.6.2009, 18:30
    מקום:
    טאוב 6

    [לנוסח המלא]

  • 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 ...

    דובר:
    מירלה בן-חן
    תאריך:
    יום שני, 1.6.2009, 10:30
    מקום:
    טאוב 337

    [לנוסח המלא]

  • 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 ...

    דובר:
    עופר רוזנברג (אינטל)
    תאריך:
    יום שני, 25.5.2009, 18:30
    מקום:
    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 and Accelerators),

    [לנוסח המלא]

  • 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 ...

    דובר:
    דניאל רים (מתמטיקה, הטכניון)
    תאריך:
    יום ראשון, 24.5.2009, 13:00
    מקום:
    טאוב 401 ( שימו לב לשינוי במקום)

    [לנוסח המלא]

  • The Birth of Model Checking

    דובר:
    Prof. Edmund Clarke
    תאריך:
    יום חמישי, 21.5.2009, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • 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 ...

    דובר:
    סטאס גורפמן (הנדסת חשמל, הטכניון)
    תאריך:
    יום חמישי, 21.5.2009, 11:30
    מקום:
    חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

    [לנוסח המלא]

  • 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 ...

    דובר:
    גיא קרן
    תאריך:
    יום שני, 18.5.2009, 18:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • 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 ...

    דובר:
    אלי בן-ששון (מדעי המחשב, הטכניון)
    תאריך:
    יום רביעי, 13.5.2009, 15:00
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Concurrent Non-commutative Boosted Transactions

    דובר:
    Maurice Herlihy
    תאריך:
    יום שלישי, 12.5.2009, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • 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 ...

    דובר:
    Srinivasa Narasimhan (Robotics Institute Carnegie Mellon University)
    תאריך:
    יום שלישי, 12.5.2009, 11:30
    מקום:
    חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

    [לנוסח המלא]

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

    דובר:
    Liuba Shrira
    תאריך:
    יום ראשון, 10.5.2009, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • 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 ...

    דובר:
    תמיר טולר (אונ' תל-אביב)
    תאריך:
    יום חמישי, 7.5.2009, 13:30
    מקום:
    חדר 601, בניין טאוב

    [לנוסח המלא]

  • 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 ...

    דובר:
    שחר לווט (מכון ויצמן למדע)
    תאריך:
    יום רביעי, 6.5.2009, 15:00
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Scheduling of Wireless Networks

    דובר:
    Magnus Halldorsson
    תאריך:
    יום שלישי, 5.5.2009, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Haifux, Linux Haifa Club: gdb in Greater Depth

    דובר:
    גיא קרן
    תאריך:
    יום שני, 4.5.2009, 18:30
    מקום:
    טאוב 6

    [לנוסח המלא]

  • 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 ...

    דובר:
    אלעד אבן (האוניברסיטה העברית)
    תאריך:
    יום רביעי, 22.4.2009, 15:30
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • 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 ...

    דובר:
    גבריאל וליאנטה (אונ' קטלוניה)
    תאריך:
    יום רביעי, 22.4.2009, 13:30
    מקום:
    טאוב 701

    [לנוסח המלא]

  • Web Mining or The Wisdom of the Crowds

    דובר:
    Ricardo Baeza-Yates
    תאריך:
    יום חמישי, 2.4.2009, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • 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 ...

    דובר:
    יוג'ין קונין (מכון הבריאות הלאומי, ארה"ב)
    תאריך:
    יום חמישי, 2.4.2009, 13:30
    מקום:
    חדר 601, בניין טאוב

    [לנוסח המלא]

  • 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) ...

    דובר:
    תמיר חזן ( בי"ס להנדסה ומ"מ, האונ' העברית בי-ם)
    תאריך:
    יום שלישי, 31.3.2009, 11:30
    מקום:
    חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

    [לנוסח המלא]

  • 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 ...

    דובר:
    ארנה אגמון בן-יהודה (מדעי המחשב, טכניון)
    תאריך:
    יום שני, 30.3.2009, 18:30
    מקום:
    טאוב 6

    [לנוסח המלא]

  • 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. ...

    דובר:
    פרלד הרשה (אונ' טקסס ומ"מ, טכניון)
    תאריך:
    יום רביעי, 25.3.2009, 15:00
    מקום:
    טאוב 701

    [לנוסח המלא]

  • 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 ...

    דובר:
    לאון פשקין (בי"ס לרפואה, הרוורד)
    תאריך:
    יום רביעי, 25.3.2009, 14:30
    מקום:
    חדר המקלט, הפקולטה לביולוגיה, טכניון

    [לנוסח המלא]

  • Quantum channels and their multiple capacities

    דובר:
    Charles H. Bennett
    תאריך:
    יום שלישי, 24.3.2009, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • 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, ...

    דובר:
    דניאל פרידמן (מעבדות HP)
    תאריך:
    יום שלישי, 24.3.2009, 11:30
    מקום:
    חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

    [לנוסח המלא]

  • Polynomial time algorithms for clustering and image segmentation problems

    דובר:
    Dorit S. Hochbaum
    תאריך:
    יום ראשון, 22.3.2009, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • 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 ...

    דובר:
    בוריס קולודנקו (יוניברסיטי קולג', דאבלין)
    תאריך:
    יום חמישי, 19.3.2009, 14:30
    מקום:
    חדר 601, בניין טאוב

    [לנוסח המלא]

  • 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 ...

    דובר:
    קלים אפרמנקו (מכון ויצמן למדע)
    תאריך:
    יום רביעי, 18.3.2009, 18:30
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • 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 ...

    דובר:
    מיכאל ריאבצב
    תאריך:
    יום רביעי, 18.3.2009, 14:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Haifux, Linux Haifa Club: Introduction to openmp

    דובר:
    ארנה אגמון בן-יהודה (מדעי המחשב, טכניון)
    תאריך:
    יום שני, 16.3.2009, 18:30
    מקום:
    טאוב 6

    [לנוסח המלא]

  • 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 ...

    דובר:
    שגיא שניר (המכון לאבולוציה, אונ' חיפה)
    תאריך:
    יום חמישי, 12.3.2009, 13:30
    מקום:
    חדר 601, בניין טאוב

    [לנוסח המלא]

  • Compressed Sensing Meets Information Theory

    דובר:
    Dror Baron
    תאריך:
    יום חמישי, 5.3.2009, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

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

    דובר:
    Shai Ben-David
    תאריך:
    יום שלישי, 3.3.2009, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • 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 ...

    דובר:
    אבי ויגדרסון (IAS)
    תאריך:
    יום ראשון, 1.3.2009, 11:30
    מקום:
    יפורסם

    [לנוסח המלא]

  • Haifux, Linux Haifa Club: Improving Linux Environment

    אירוע לינוקס: באירוע נדון בדרכים לקידום השימוש בלינוקס בקרב הסטודנטים, נדון בדרכים לשיפור השירות של SSDL, ונשמע הרצאה מפי פרופ' יוסי גיל שכותרתה: "איך ...

    דובר:
    שחר דג (מדעי המחשב, הטכניון)
    תאריך:
    יום חמישי, 19.2.2009, 13:00
    מקום:
    המעבדה לפיתוח תוכנה ומערכות, בניין טאוב למדעי המחשב, קומה 2

    [לנוסח המלא]

  • 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 ...

    דובר:
    תומר אבידור (רפאל)
    תאריך:
    יום שלישי, 17.2.2009, 11:30
    מקום:
    חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

    [לנוסח המלא]

  • 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 ...

    דובר:
    רמי רוזן
    תאריך:
    יום שני, 16.2.2009, 18:30
    מקום:
    טאוב 6

    [לנוסח המלא]

  • 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 ...

    דובר:
    ענב וינרב (מדעי המחשב, הטכניון)
    תאריך:
    יום ראשון, 15.2.2009, 12:00
    מקום:
    חדר 601, בניין טאוב

    [לנוסח המלא]

  • Modeling and Simulation of Stochastic Natural Systems

    דובר:
    Azi Lipshtat
    תאריך:
    יום חמישי, 12.2.2009, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • 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 ...

    דובר:
    רן כפתורי (הנדסת חשמל, הטכניון)
    תאריך:
    יום חמישי, 12.2.2009, 11:30
    מקום:
    חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

    [לנוסח המלא]

  • 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 ...

    דובר:
    שי קלס (אוניברסיטת תל-אביב)
    תאריך:
    יום ראשון, 8.2.2009, 13:00
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • 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 ...

    דובר:
    ישי חביב (אוניברסיטת תל-אביב)
    תאריך:
    יום ראשון, 8.2.2009, 12:00
    מקום:
    חדר 601, בניין טאוב

    [לנוסח המלא]

  • 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 ...

    דובר:
    פימה קוריבן (הנדסת חשמל, טכניון)
    תאריך:
    יום שלישי, 3.2.2009, 11:30
    מקום:
    חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

    [לנוסח המלא]

  • 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 ...

    דובר:
    טים לורד
    תאריך:
    יום שני, 2.2.2009, 18:30
    מקום:
    טאוב 6

    [לנוסח המלא]

  • 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 ...

    דובר:
    עמית בן-דוד (תעשייה וניהול, הטכניון)
    תאריך:
    יום ראשון, 1.2.2009, 13:00
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • 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 ...

    דובר:
    שלמה מורן (מדעי המחשב, הטכניון)
    תאריך:
    יום חמישי, 29.1.2009, 14:30
    מקום:
    חדר 601, בניין טאוב

    [לנוסח המלא]

  • Universal Kernel-Based Learning with Applications to Regular Languages

    דובר:
    Aryeh Kontorovich POSTPONED FROM 20/1/09
    תאריך:
    יום חמישי, 29.1.2009, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • 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 ...

    דובר:
    עודד רגב (אוניברסיטת תל-אביב)
    תאריך:
    יום ראשון, 25.1.2009, 12:00
    מקום:
    חדר 601, בניין טאוב

    [לנוסח המלא]

  • Cryptography in Constant Parallel Time and its Applications

    דובר:
    Benny Applebaum
    תאריך:
    יום חמישי, 22.1.2009, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • 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 ...

    דובר:
    צבי דביר (מדעי המחשב, הטכניון)
    תאריך:
    יום שני, 19.1.2009, 18:30
    מקום:
    טאוב 6

    [לנוסח המלא]

  • Content Identification

    דובר:
    Yacov Yacobi
    תאריך:
    יום ראשון, 18.1.2009, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • 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 ...

    דובר:
    אסנת טל (מדעי המחשב, הטכניון)
    תאריך:
    יום ראשון, 18.1.2009, 13:00
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • 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 ...

    דובר:
    תמר זיגלר (מתמטיקה, טכניון)
    תאריך:
    יום ראשון, 18.1.2009, 12:00
    מקום:
    חדר 601, בניין טאוב

    [לנוסח המלא]

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

    דובר:
    Sourav Chakraborty
    תאריך:
    יום שלישי, 13.1.2009, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • 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 ...

    דובר:
    שי בגון (מכון ויצמן למדע)
    תאריך:
    יום שלישי, 13.1.2009, 11:30
    מקום:
    חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

    [לנוסח המלא]

  • Event Processing - the next generation

    דובר:
    Opher Etzion
    תאריך:
    יום ראשון, 11.1.2009, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • 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 ...

    דובר:
    עדי עקביה (IAS & DIMACS)
    תאריך:
    יום ראשון, 11.1.2009, 12:00
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Preconditioners for Saddle Point Linear Systems

    דובר:
    Chen Greif
    תאריך:
    יום חמישי, 8.1.2009, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • 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 ...

    דובר:
    אלחנן בורנשטיין (אונ' סטנפורד ומכון סנטה פה, קליפורניה)
    תאריך:
    יום חמישי, 8.1.2009, 13:30
    מקום:
    חדר 601, בניין טאוב

    [לנוסח המלא]

  • Computing structural changes in proteins

    דובר:
    Nurit Haspel
    תאריך:
    יום שלישי, 6.1.2009, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • 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 ...

    דובר:
    יבגני בארט (ראייה חישובית, מכון טכנולוגי, קליפורניה)
    תאריך:
    יום שלישי, 6.1.2009, 11:30
    מקום:
    חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

    [לנוסח המלא]

  • Haifux, Linux Haifa Club: Supercomputing 2008

    דובר:
    אורנה אגמון
    תאריך:
    יום שני, 5.1.2009, 18:30
    מקום:
    טאוב 6

    [לנוסח המלא]

  • 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 ...

    דובר:
    קתי מאלמרוז
    תאריך:
    יום ראשון, 4.1.2009, 18:30
    מקום:
    טאוב 6

    [לנוסח המלא]

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

    דובר:
    Ron Bekkerman
    תאריך:
    יום ראשון, 4.1.2009, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • 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, ...

    דובר:
    גיא רוטבלום (.M.I.T)
    תאריך:
    יום ראשון, 4.1.2009, 12:00
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • 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) ...

    דובר:
    עדי שמיר (מכון ויצמן למדע)
    תאריך:
    יום חמישי, 1.1.2009, 14:30
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • How to Solve it: New Techniques in Algebraic Cryptanalysis

    דובר:
    Adi Shamir
    תאריך:
    יום חמישי, 1.1.2009, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]