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

  • Colloq Seminar: New Algorithms for Ranking and Dimension Reduction

    New Algorithms for Ranking and Dimension Reduction The study of ranking crosses many disciplines. Social choice theoreticians have been interested for centuries in finding ...

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

    [לנוסח המלא]

  • Pixel Club Seminar: Not only size matters: regularized partial matching of shapes

    Partial matching is probably one of the most challenging problems in shape analysis. The problem consists of matching similar parts of shapes that are ...

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

    [לנוסח המלא]

  • Theory Seminar: Derandomizing Algorithms on Product Distributions and Improved Implicit Probe Search using Same-source Extractors for very

    An important goal in algorithms and communication protocols is getting the deterministic time complexity, respectively communication complexity, closer to the best known randomized complexity. ...

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

    [לנוסח המלא]

  • Simulation and Control of Quantum Systems

    דובר:
    Ilan Degani
    תאריך:
    יום חמישי, 25.12.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Bioinformatics Forum: Discovery of Mechanisms from Mathematical Modeling of DNA Microarray Data: Computational Prediction and Experimental Verification

    DNA microarrays make it possible to record the complete molecular biological signals that guide the progression of cellular processes on genomic scales. I will ...

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

    [לנוסח המלא]

  • Theory Seminar: Hypergraph Ramsey Numbers

    Abstract: The Ramsey number $r_k(s,n)$ is the minimum $N$ such that every red-blue coloring of the $k$-tuples of an $N$-element set contains either a ...

    דובר:
    בני סודקוב (UCLA)
    תאריך:
    יום רביעי, 24.12.2008, 13:30
    מקום:
    בניין אמדו 719

    [לנוסח המלא]

  • Pixel Club Seminar: Organizing Visual Data

    The growth in the number of digital photographs calls for new and improved image editing tools to help users view, navigate and manipulate them. ...

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

    [לנוסח המלא]

  • Pixel Club Seminar: Generalized Newton Method for Energy Formulations in Image Processing

    Many problems in image processing are addressed via the minimization of a cost functional. The most prominent optimization technique is the gradient descent, often ...

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

    [לנוסח המלא]

  • Haifux, Linux Haifa Club: Breaking the ice with SELinux (part II)

    We will continue from "Policy syntax" this meeting (after a quick review of the previous one). We will also see how to write an ...

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

    [לנוסח המלא]

  • CGGC Seminar: Generating surfaces and animation by refinement of curves and frames

    Subdivision schemes became popular in recent years in applications such as computer graphics and CAGD (computer aided geometric design). Their implementation is rather simple, ...

    דובר:
    אורי איתי (מדעי המחשב, הטכניון)
    תאריך:
    יום ראשון, 21.12.2008, 12:40
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Colloq Seminar: Building on Conflicts: Computational Studies of Codes

    Many interesting questions in coding theory revolve around conflicts (tradeoffs). Among them are a conflict between structure and randomness, and a conflict between density ...

    דובר:
    טלי קאופמן (.M.I.T)
    תאריך:
    יום חמישי, 18.12.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Bioinformatics Forum: MicroRNAs: from Targets to Function

    Small regulatory RNAs are a class of non-coding RNAs that are primarily involved in post-transcriptional gene silencing. The principle members of this growing class ...

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

    [לנוסח המלא]

  • Small-size $eps$-Nets for Geometric Range Spaces.

    דובר:
    Esther Ezra
    תאריך:
    יום שלישי, 16.12.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Gradient descent and fast artificial time integration

    דובר:
    Uri Ascher
    תאריך:
    יום ראשון, 14.12.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Theory Seminar: Approximation and calculation of low-degree polynomials

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

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

    [לנוסח המלא]

  • Pixel Club Seminar: Descriptor Based Methods in the Wild

    Recent methods for learning the similarities between images have presented impressive results on the problem of pair-matching (same/not-same classification) of face images. In this ...

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

    [לנוסח המלא]

  • Theory Seminar: Hardness amplification proofs require majority

    A function $f$ is $\delta$-hard for some class of circuits if every circuit in the class errs on a $\delta$-fraction of the inputs. For ...

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

    [לנוסח המלא]

  • Parallel Repetition Theorem Reading Group: Parallel Repetition, Unique Games and Foams?

    In this reading group, we will study the parallel repetition theorem, its connection to unique games and tiling in high dimensional spaces. The parallel ...

    דובר:
    פרלד הרשה (אונ' טקסס)
    תאריך:
    יום רביעי, 3.12.2008, 12:00
    מקום:
    חדר 201, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Portably preventing file race attacks with user-mode path resolution

    דובר:
    Dan Tsafrir
    תאריך:
    יום שלישי, 2.12.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Theory Seminar: Partition Arguments in Multiparty Communication Complexity

    Consider the ``plain'' multiparty communication complexity model, where k players $P_1,\dots,P_k$ holding inputs $x_1,\dots,x_k\in\bit^n$ (respectively) communicate in order to compute the value $f(x_1,\dots,x_k)$. The ...

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

    [לנוסח המלא]

  • Theory Seminar: Using classical topology in combinatorial problems

    The idea of using topology in order to solve combinatorial problems has been known for several decades, but only recently it started to become ...

    דובר:
    אלי ברגר (אונ' חיפה)
    תאריך:
    יום רביעי, 26.11.2008, 13:30
    מקום:
    בניין אמדו 719

    [לנוסח המלא]

  • Robust testing of linear codes

    A code is locally testable if given a word $x \in F^n$ one can verify whether $x \in C$ by reading only a few ...

    דובר:
    מיכאל וידרמן
    תאריך:
    יום רביעי, 26.11.2008, 12:30
    מקום:
    טאוב 6

    [לנוסח המלא]

  • The Netflix Prize: Quest for $1,000,000

    דובר:
    Yehuda Koren
    תאריך:
    יום שלישי, 25.11.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Theory Seminar: Lower Bounds for Satisfiability and Related Problems

    Ever since the work of Cook and Levin, satisfiability has been recognized as a central problem in computational complexity. It is widely believed to ...

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

    [לנוסח המלא]

  • Church's thesis proof

    דובר:
    Yuri Gurevich
    תאריך:
    יום רביעי, 19.11.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Regular Specifications of Resource Requirements for Embedded Control Software

    דובר:
    Gera Weiss
    תאריך:
    יום שלישי, 11.11.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Computer (and Human) Perfection at Checkers

    דובר:
    Jonathan Schaeffer
    תאריך:
    יום חמישי, 6.11.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Refactoring using Type Constraints (previously presented at SAS'07)

    דובר:
    Frank Tip
    תאריך:
    יום שלישי, 4.11.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Pixel Club Seminar: Modeling Evolutionary Processes Using Quasispecies Theory

    This talk provides an introduction to quasispecies theory, a framework for modeling evolutionary dynamics that was originally introduced to study problems related to the ...

    דובר:
    Emmanuel Tannenbaum (Ben Gurion University)
    תאריך:
    יום שלישי, 4.11.2008, 11:30
    מקום:
    חדר 4, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Cuts and Flows in Directed Graphs

    דובר:
    Julia Chuzhoy RESCHEDULED
    תאריך:
    יום שלישי, 7.10.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Equilibria in Online Games

    We initiate the study of scenarios that combine both online decision making and interaction between non-cooperative agents. To this end we introduce the notion ...

    דובר:
    רועי אנגלברג
    תאריך:
    יום שני, 6.10.2008, 14:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Pixel Club Seminar: Compressed Sensing Meets Information Theory

    Sensors, signal processing hardware, and algorithms are under increasing pressure to accommodate ever larger data sets; ever faster sampling and processing rates; ever lower ...

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

    [לנוסח המלא]

  • סמינר CGGC:
    Approximate Greatest Common Divisors and Polynomials Roots
    9:30-11:30, 13:00-15:00, חדר 337, בניין טאוב למדעי המחשב

    The discussion of the structured condition number and Gauss' method for computing the roots of a polynomial shows that a sequence of greatest common ...

    דובר:
    יואב וינקלר, אונ' שפילד, אנגליה
    תאריך:
    יום שלישי, 19.8.2008, 09:30
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • An Efficient Reduction of Ranking to Classification

    דובר:
    Nir Ailon
    תאריך:
    יום שני, 11.8.2008, 14:30
    מקום:
    חדר 601 טאוב.

    [לנוסח המלא]

  • Query Understanding using Web Relevance Feedback

    דובר:
    Andrei Broder
    תאריך:
    יום ראשון, 10.8.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • סמינר פיקסל קלאב: הצגת פרוייקטים שנתית - SIPL, טכניון

    See program and invitation להלן הזמנה ותוכנית הכנס

    דובר:
    SIPL, טכניון
    תאריך:
    יום חמישי, 7.8.2008, 13:30
    מקום:
    חדר 1003, בניין מאייר, הפקולטה להנדסת חשמל

    [לנוסח המלא]

  • סמינר CGGC: An interface for drawing and searching mathematical figures

    In this talk, I would like to present a user interface for drawing mathematical figures which can be quite complex. The system is based ...

    דובר:
    יונג-ג'ון קים (אונ' סאול)
    תאריך:
    יום ראשון, 3.8.2008, 12:40
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Theory Seminar: Pseudorandom graphs - what if distinguishers where first order

    We study the limits of efficient computation in the context of constructing random-looking graph distributions that can be used to emulate huge random graphs ...

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

    [לנוסח המלא]

  • פיקסל קלאב: CT Denoising by K-SVD on the Cell processor

    The K-SVD algorithm is a powerful tool for image denoising but computationally quite intensive. In order to accelerate it we implement the most time ...

    דובר:
    דומיניק ברטושט (אונ' אלנגן, גרמניה)
    תאריך:
    יום רביעי, 30.7.2008
    מקום:
    חדר 601, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • פורום ביואינפורמטיקה: Whole Population, Genomewide Mapping of Hidden Relatedness

    Identifying and quantifying the sharing of genetic material between individuals within a population is an important step in accurately using genealogical relationships for disease ...

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

    [לנוסח המלא]

  • מועדון מתמטי: Probabilistic Reasoning

    Abstract: The discovery that deterministic statements can be proved by probabilistic reasoning, led already more than fifty years ago to several striking results in ...

    דובר:
    פרופ' נגה אלון (אונ' ת"א, זוכה פרס ישראל 2008)
    תאריך:
    יום רביעי, 23.7.2008, 16:30
    מקום:
    טאוב 1, מדעי המחשב

    [לנוסח המלא]

  • An optimal coin toss protocol

    דובר:
    Professor Moni Naor
    תאריך:
    יום שני, 21.7.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Real Time Java

    The lecture topics are: 1) Real Time programming in a nutshell. 2) Programming languages comparison (Real Time related). 3) Java vs. C/C++ with relevant ...

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

    [לנוסח המלא]

  • Theory Seminar: Two Query PCP with Sub-Constant Error

    We show that the NP-Complete language 3Sat has a PCP verifier that makes two queries to a proof of almost-linear size and achieves sub-constant ...

    דובר:
    דנה מושקוביץ', מכון ויצמן למדע
    תאריך:
    יום ראשון, 20.7.2008, 11:00
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • An Efficient Reduction of Ranking to Classification

    דובר:
    Nir Ailon (POSTPONED FROM 3/7/08)
    תאריך:
    יום חמישי, 17.7.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • The finite harmonic oscillator with applications to radar and communication

    דובר:
    Ronny Hadani
    תאריך:
    יום שלישי, 15.7.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Theory Seminar: The Constant-Depth Complexity of k-Clique

    will discuss a recent lower bound of Omega(n^(k/4)) on the size of depth-d circuits for the k-clique problem on n-node graphs. This improves previous ...

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

    [לנוסח המלא]

  • Bioinformatics Forum: Systems Macro-Biology: Less is More in Disease Biomarkers

    We describe several new methodologies for developing and evaluating novel diagnostics for diabetes and cancer. In the first part of the talk we describe ...

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

    [לנוסח המלא]

  • Pixel Club Seminar: Active learning in dynamical systems – from robotics to computational biology

    This talk will describe new active learning processes for automated modeling of dynamical systems across a number of disciplines. One of the long-standing challenges ...

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

    [לנוסח המלא]

  • CGGC Seminar: Smooth Surface Fitting (Tutorial)

    The recent ability to measure quickly and inexpensively dense sets of points on physical objects has deeply influenced the way engineers represent shapes in ...

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

    [לנוסח המלא]

  • Theory Seminar: Combinatorial Construction of Locally Testable Codes

    An error correcting code is said to be locally testable if there is a test that can check whether a given string is a ...

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

    [לנוסח המלא]

  • On the Hardness of Being Truthful

    The central problem in computational mechanism design is the tension between incentive compatibility and computational efficiency. We address this question in the context of ...

    דובר:
    Michael Schapira
    תאריך:
    יום חמישי, 3.7.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Pixel Club Seminar: "Cognitive" Memory and its Applications

    Regarding the workings of the human mind, memory and pattern recognition seem to be intertwined. You generally do not have one without the other. ...

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

    [לנוסח המלא]

  • Property Testing and Combinatorial Approximation

    With the recent advances in technology, we are faced with the need to process increasingly larger amounts of data increasingly faster. Originally, a problem ...

    דובר:
    אריה מצליח
    תאריך:
    יום רביעי, 25.6.2008, 16:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • List error-correction: New constructions, algorithms, and applications

    דובר:
    Venkatesan Guruswami
    תאריך:
    יום שלישי, 24.6.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Pixel Club Seminar: Fenchel Duality with Applications to Inference

    Quite a number of problems involving inference from data, whether visual data or otherwise, fall into the category of optimization. I will describe a ...

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

    [לנוסח המלא]

  • Pixel Club Seminar: Theoretical Results on Robot Localization, Mapping and Goal-Directed Navigation in Unknown Terrain

    Path planning for robots in unknown terrain has been studied in both theoretical robotics and theoretical computer science. However, empirical robotics researchers have often ...

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

    [לנוסח המלא]

  • Pixel Club Seminar: Simple, Fast Simulation and Artistic Control of Cloth and Thin Shells

    What does it take to build fast simulators for cloth and thin shells—in particular to do so with code that is simple to implement, ...

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

    [לנוסח המלא]

  • Theory Seminar: Quantum Multi Prover Interactive Proofs with Communicating Provers

    We introduce a variant of Quantum Multi Prover Interactive Proofs (QMIP), where the provers do not share entanglement, the communication between the verifier and ...

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

    [לנוסח המלא]

  • Beyond Bandlimited Sampling: Nonideal Sampling, Smoothness and Sparsity

    דובר:
    Yonina Eldar
    תאריך:
    יום שלישי, 17.6.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • אלן אופנהיים ( מכון טכנולוגי, מסצ'וסטס)

    Digital processing of analog signals naturally requires a representation of continuous time signals as a discrete-time sequence. The most common representation of this type ...

    דובר:
    Alan Oppenheim (Massachusetts Institute of Technology)
    תאריך:
    יום ראשון, 15.6.2008, 16:00
    מקום:
    חדר 1003, בניין מאייר, הפקולטה להנדסת חשמל

    [לנוסח המלא]

  • Bioinformatics Forum: Alternative Splicing Events of Arbitrary Dimension in Splicing Graphs

    Eukaryotic splicing structures are known to involve a high degree of alternative forms derived from a premature transcript by alternative splicing (AS). With the ...

    דובר:
    מיכה סמט (מעבדת ביואינפו', ברצלונה, ספרד)
    תאריך:
    יום ראשון, 15.6.2008, 13:30
    מקום:
    טאוב 701

    [לנוסח המלא]

  • Theory Seminar: Expander codes, Euclidean Sections, and Compressed Sensing

    Classical results in high-dimensional geometry from the 1970's state that a random subspace of R^N of dimension N/2 has "distortion" O(1) w.h.p where the ...

    דובר:
    Venkatesan Guruswami, (Washington University)
    תאריך:
    יום ראשון, 15.6.2008, 13:30
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • CGGC Seminar: Formulae and Growth Rates of High-Dimensional Polycubes

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

    [לנוסח המלא]

  • An Algebraic Approach to Rule-Based Information Extraction

    דובר:
    Frederick R. Reiss
    תאריך:
    יום חמישי, 12.6.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Math-Club Seminar: On the Security of GSM Cellular Phones

    Abstarct:In this talk we describe the ciphers and protocols used for the GSM cellular phone network, and discuss the (in)security of the system. We ...

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

    [לנוסח המלא]

  • Approximate median selection

    דובר:
    Micha Hofri (NEW DATE instead 5/6)
    תאריך:
    יום רביעי, 11.6.2008, 11:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Pixel Club Seminar: 3D Objects Description and Classification by Implicit Polynomials

    3D Objects Description and Classification by Implicit Polynomials

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

    [לנוסח המלא]

  • Theory Seminar: The finite field Kakeya conjecture

    A Kakeya set in F^n, where F is a finite field, is a set containing a line in every direction. The finite field Kakeya ...

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

    [לנוסח המלא]

  • Approximate median selection

    דובר:
    Micha Hofri
    תאריך:
    יום חמישי, 5.6.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Maximum Degree-Bounded Connected Subgraph: Hardness and Approximation

    דובר:
    Ignasi sau
    תאריך:
    יום רביעי, 4.6.2008, 15:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • On the Nature of Progress

    דובר:
    Nir Shavit
    תאריך:
    יום שלישי, 3.6.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Agnostically Learning Decision Trees

    דובר:
    Adam Kalai
    תאריך:
    יום ראשון, 1.6.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • TBA

    דובר:
    Oded Goldreich - in memory of Shimon Even
    תאריך:
    יום רביעי, 28.5.2008, 16:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Lower Bounds in the Noisy Networks using Sampling Algorithms

    דובר:
    Jaikumar Radhakrishnan
    תאריך:
    יום שלישי, 27.5.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Logic in Access Control

    דובר:
    Yuri Gurevich
    תאריך:
    יום ראשון, 18.5.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Formulae and growth rates of high-dimensional polycubes

    A $d$-dimensional polycube is a connected set of $d$-dimensional cubes on an orthogonal lattice, where connectivity is through $(d-1)$-dimensional faces. A polycube is said ...

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

    [לנוסח המלא]

  • Abstraction-Refinement and Modularity in mu-Calculus Model Checking

    Model checking is an automated technique for checking whether or not a given system model fulfills a desired property, described as a temporal logic ...

    דובר:
    שרון שוהם בוכבינדר
    תאריך:
    יום רביעי, 14.5.2008, 16:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Natural history and evolutionary principles of gene duplication in fungi

    דובר:
    Nir Friedman
    תאריך:
    יום שלישי, 13.5.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • CGGC Seminar: Interactive Rendering of Dynamic Geometry

    Fluid simulations typically produce complex three-dimensional iso-surfaces whose geometry and topology change over time. The standard way of representing such dynamic geometry is by ...

    דובר:
    Kai Hormann (Clausthal Institute of Technology)
    תאריך:
    יום שלישי, 13.5.2008, 11:00
    מקום:
    חדר 601, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Counting polycubes without the dimensionality curse

    $d$-dimensional polycubes are the generalization of planar polyominoes to higher dimensions. That is, a $d$-D polycube of size $n$ is a connected set of ...

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

    [לנוסח המלא]

  • Pixel Club Seminar: Fast acquisition and reconstruction in imaging enabled by sampling theory

    We survey applications of classical and of time-sequential sampling theory and some of its recent extensions, respectively, in two complementary areas. First to reduce ...

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

    [לנוסח המלא]

  • Theory Seminar: Developments in the Area of Communication Complexity

    We will describe the results from a series of papers, starting from papers of Forster, Ben-David and others to more recent works of Sherstov ...

    דובר:
    עדי שרייבמן (מתמטיקה ומ"מ, מכון ויצמן)
    תאריך:
    יום שלישי, 6.5.2008, 10:30
    מקום:
    חדר 401, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Designing Competitive Online Algorithms via a Primal-Dual Approach

    In this work we study a wide range of online covering and packing problems with various objectives. We provide a unified approach, based on ...

    דובר:
    ניב בוכבינדר
    תאריך:
    יום רביעי, 16.4.2008, 16:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Pixel Club Seminar: The Importance of Being Earnest...about Optimality

    I shall discuss the many ways one can do optimal image or signal denoising, and the difficulties in selecting between the various optimal solutions.

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

    [לנוסח המלא]

  • A Geometric Approach to Detecting Global Properties over Distributed Data

    A basic construct in many distributed systems is the detection of global properties over distributed data. Examples include a wireless sensor network, where we ...

    דובר:
    יצחק צחי שרפמן
    תאריך:
    יום רביעי, 9.4.2008, 16:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Recent advances in online convex optimization

    דובר:
    Elad Hazan
    תאריך:
    יום שלישי, 8.4.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Pixel Club Seminar: Fast Block Motion Estimation Using Gray‐Code Kernels

    Motion estimation plays an important role in modern video coders. In such coders, motion is estimated using a block matching algorithm that estimates the ...

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

    [לנוסח המלא]

  • Painting Rectilinear Pictures Without Picasso

    דובר:
    Howard Karloff
    תאריך:
    יום ראשון, 6.4.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Theory Seminar: A combinatorial construction of almost-Ramanujan graphs using the zig-zag product

    Reingold, Vadhan and Wigderson [FOCS'00] introduced the graph zig-zag product. This product combines a large graph and a small graph into one graph, such ...

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

    [לנוסח המלא]

  • Windows Core Architecture: compare and contrast

    דובר:
    Dave Probert
    תאריך:
    יום חמישי, 3.4.2008, 14:30
    מקום:
    טאוב 2

    [לנוסח המלא]

  • On the complexity of graph polynomials

    דובר:
    Markus Blaeser
    תאריך:
    יום שלישי, 1.4.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Geometric deformations

    CGGC Seminar: Deforming objects in a "shape preserving" manner is a challenging problem with various applications in geometric modeling and computer graphics. In this ...

    דובר:
    Yaron Lipman (Computer Science, Tel Aviv Univ.)
    תאריך:
    יום ראשון, 30.3.2008, 13:00
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Theory Seminar: Secure Internet Path Quality Monitoring: Tradeoffs in Security and Efficiency

    The basic foundations of the Internet are surprisingly vulnerable to simple attacks that could be mounted by rogue hackers or result from simple misconfiguration. ...

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

    [לנוסח המלא]

  • Towards Universal Semantic Communication

    דובר:
    Madhu Sudan
    תאריך:
    יום שלישי, 25.3.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Computational Awareness

    דובר:
    Lance Fortnow
    תאריך:
    יום חמישי, 20.3.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Pixel Club Seminar: Aspects of invariant shape processing

    The lecture deals with invariance in image processing, with emphasis on invariance of shapes and curves. There are two main topics. First, we consider ...

    דובר:
    אלכסנדר ברוק, מדעי המחשב, הטכניון
    תאריך:
    יום שני, 17.3.2008, 10:30
    מקום:
    חדר 601, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Datacenter of the future

    דובר:
    Tilak Agerwala
    תאריך:
    יום חמישי, 13.3.2008, 11:00
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • The Cloning Method for Combinatorial Optimization, Countingand Rare Events Using Gibbs Sampler

    דובר:
    Reuven Rubinstein and Andrey Dolgin
    תאריך:
    יום שלישי, 11.3.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Object and Reference Immutability using Java Generics

    דובר:
    Yoav Zibin
    תאריך:
    יום שלישי, 4.3.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Theory Seminar: Lower Bounds for Edit Distance Estimation

    The edit distance between two strings is defined as the number of insertions/deletions/substitutions needed to transform one string into the other. This distance plays ...

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

    [לנוסח המלא]

  • Moadon Matemati: The longest proof

    The mathematical theorem having the longest proof is the classification of the finite simple groups. In this talk we will try to understand the ...

    דובר:
    דוד צילג, מתמטיקה, הטכניון
    תאריך:
    יום רביעי, 27.2.2008, 16:30
    מקום:
    טאוב 1, מדעי המחשב

    [לנוסח המלא]

  • Pixel Club Seminar: Multi-sensor human action analysis

    Multi-camera environments allow exploiting spatial redundancy that might be used by analysis algorithms to produce more robust results. These algorithms may be applied for ...

    דובר:
    כריסטיאן קנטון-פרר, עיבוד תמונה, UPC, ברצלונה
    תאריך:
    יום שלישי, 26.2.2008, 11:00
    מקום:
    חדר 815, בניין מאייר, הפק' להנדסת חשמל

    [לנוסח המלא]

  • Theory Seminar: Hardness-Randomness Tradeoffs for Bounded Depth Arithmetic Circuits

    We show that lower bounds for bounded depth arithmetic circuits imply derandomization of polynomial identity testing for bounded depth arithmetic circuits. More formally, if ...

    דובר:
    זאב דביר, מכון וייצמן למדע
    תאריך:
    יום ראשון, 24.2.2008, 11:00
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Static Specification Mining Using Automata-Based Abstractions

    דובר:
    Eran Yahav
    תאריך:
    יום שלישי, 19.2.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Pixel Club Seminar: On Isometry, Self-Symmetry, and Biometry

    Our world is filled with nonrigid objects that can deform and bend. Nonrigid shapes appear at all scales - from our body, its organs ...

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

    [לנוסח המלא]

  • Pixel Club Seminar: On texture and image interpolation using Markov models

    Random field models characterize the correlation among neighboring pixels in an image. Specifically, a wide-sense Markov model is obtained by assuming a separable correlation ...

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

    [לנוסח המלא]

  • CGGC Seminar: SolidWorks as geometry engine for engineers

    "The Challenge", Definitions, GUI, basic and smart geometry in 2D and 3D, basic model, "styled" model, shape manipulations, hybrid design, develop challenge.

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

    [לנוסח המלא]

  • Theory Seminar: Local testing of direct products

    Given a function f:[n]-->{0,1}, its k-wise direct product encoding is the function F:[n]^k --> {0,1}^k defined by F(x_1,..x_k) = (f(x_1),...,f(x_k)) This simple "encoding" is ...

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

    [לנוסח המלא]

  • On the complexity of infinite computations

    דובר:
    Damian Niwinski
    תאריך:
    יום חמישי, 7.2.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Using coupling between residues based on evolutionary data for protein structure analysis

    Multiple sequence alignments possess important information, not only about functionally and structurally important conserved regions, but also about coupling between residues. Recently we have ...

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

    [לנוסח המלא]

  • Theory Seminar: The Power of VCG: On Algorithms that are Maximal In Range

    Consider the following simple type of approximation algorithms: limit the set of possible outcomes, and completely optimize over the restricted subrange. In this talk ...

    דובר:
    שחר דובזינסקי, מדעי המחשב , האונ' העברית, י-ם
    תאריך:
    יום ראשון, 3.2.2008, 11:00
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • CGGC Seminar: Coupling surface and tetrahedral mesh generation with the restricted Delaunay triangulation

    A Delaunay triangulation restricted to a surface is obtained by filtering a 3D Delaunay triangulation. Filtering herein consists of selecting a subset of the ...

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

    [לנוסח המלא]

  • Generating Programs from Specifications (with some observations on the modularity of object oriented systems)

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

    [לנוסח המלא]

  • Pixel Club Seminar: Image Processing using Diffusion with Schrödinger's Potential

    The complex diffusion process, recently introduced in image processing and computer vision by combining the linear diffusion equation and the 'free-particle' Schrödinger equation, is ...

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

    [לנוסח המלא]

  • CGGC Seminar: A decade of CGAL arrangements and applications

    The Computational Geometry Algorithms Library, CGAL, is the largest software collection of algorithms and data structures in Computational Geometry available today. It started a ...

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

    [לנוסח המלא]

  • Theory Seminar: Trapdoors for Hard Lattices, and New Lattice-based Cryptography

    We show that disjointness requires randomized communication Omega(n^{1/2k} / (k-1)2^{k-1}2^{2^{k-1}}) in the general k-party number-on-the-forehead model of complexity. The previous best lower bound was ...

    דובר:
    Vinod Vaikuntanathan, MIT
    תאריך:
    יום ראשון, 27.1.2008, 11:00
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Theory Seminar: Disjointness is hard in the multi-party number-on-the-forehead model

    We show that disjointness requires randomized communication Omega(n^{1/2k}/{(k-1)2^{k-1}2^{2^{k-1}}) in the general k-party number-on-the-forehead model of complexity. The previous best lower bound was Omega((log n)/k-1). ...

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

    [לנוסח המלא]

  • Learning From Related Sources

    דובר:
    Koby Crammer
    תאריך:
    יום שלישי, 15.1.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Recovering detailed 3D models of human shape and pose from images

    Algorithms for video-based human motion capture typically assume the body shape is known a priori and is represented coarsely (e.g. using cylinders to model ...

    דובר:
    מיכאל בלאק
    תאריך:
    יום שני, 14.1.2008, 11:00
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Multilinear Formulas, Maximal-Partition Discrepancy and Mixed-Sources Extra

    In this paper we study multilinear formulas, monotone arithmetic circuits, maximal partition discrepancy, best partition communication complexity and mixed two source extractors. We will ...

    דובר:
    אמיר יהודיוף
    תאריך:
    יום ראשון, 13.1.2008, 11:00
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Making large problems seem small: Convex duality in learning and inference

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

    [לנוסח המלא]

  • Variational Image Restoration

    This research concerns the image deblurring and noise removal problem in a variational framework. Energy functionals in this study consist of a fidelity term ...

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

    [לנוסח המלא]

  • Worst-case complexity vs. average-case complexity

    דובר:
    Dan Gutfreund
    תאריך:
    יום שלישי, 8.1.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • The Role of Exemplars Comparison in Category Learning: The Emergence of Expertise

    Recent studies stressed the importance of objects comparison for category learning. Recently we compared adults' capacity to learn new categorization principle in a condition ...

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

    [לנוסח המלא]

  • Integrative Biology and System-wide analyses in Tumor Formation

    דובר:
    Sol Efroni
    תאריך:
    יום ראשון, 6.1.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • 3D Virtual Colonoscopy with Computer-Aided Polyp Detection

    This talk describes 3D virtual colonoscopy (VC), a combination of computed tomography (CT) scanning and volume visualization technology, and is poised to become the ...

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

    [לנוסח המלא]

  • Cellular Developmental Decisions: From Single Cell Dynamics to Population Strategies

    דובר:
    Iftach Nachman
    תאריך:
    יום רביעי, 2.1.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Sufficient conditions for local-to-global computations

    דובר:
    Tali Kaufman
    תאריך:
    יום שלישי, 1.1.2008, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]