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

  • Chamsa" and Computer Science

    דובר:
    Avi Cohen
    תאריך:
    יום חמישי, 29.12.2011, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Pixel Club: VideoSurf's video Recognition Technology in the Connected Devices Race

    Online video content has grown enormously, such that it is a huge proportion of newly-created content. There are an estimated four billion different video ...

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

    [לנוסח המלא]

  • CSpecial Talk: Synthesis From Temporal Specifications

    In this talk I give a short introduction to the process of synthesis, the automatic production of designs from their specifications. We are interested ...

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

    [לנוסח המלא]

  • Theory Seminar: An algebraic Proof of a Robust Social Choice Impossibility Theorem

    An important element of social choice theory are impossibility theorems, such as Arrow's theorem and Gibbard-Satterthwaite's theorem, which state that under certain natural constraints, ...

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

    [לנוסח המלא]

  • Pixel Club: Distributed Computing: Bridging the Gap Between Theory and Practice

    The theory of distributed computing, which lies at the heart of understanding the power and limitations of distributed systems, underwent tremendous progress over the ...

    דובר:
    יובל עמק - ETH
    תאריך:
    יום רביעי, 28.12.2011, 11:30
    מקום:
    חדר 861, בניין מאייר, הפקולטה להנדסת חשמל

    [לנוסח המלא]

  • Using Individual Human Genomes to Illuminate the Mysteries of Early Human History

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

    [לנוסח המלא]

  • CSpecial Talk: Coding Standards for Software Correctness

    From an Engineering stand point it's difficult to argue against the view that software tools should meet, first and foremost, their specifications. This talk ...

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

    [לנוסח המלא]

  • Haifux Club: GPGPU - Case studies, Do's and Dont's (Part 3 out of 4 talks series)

    This is a 4 series of 4 talks about GPGPUS, intended for the practical engineer: 1. Motivation, AMD's architecture 2. OpenCL 3.Case studies, Dos ...

    דובר:
    עופר רוזנברג - AMD
    תאריך:
    יום שני, 26.12.2011, 18:30
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • The traveling salesman problem: Low-dimensionality implies a polynomial time approximation scheme.

    דובר:
    Lee-Ad Gottlieb
    תאריך:
    יום ראשון, 25.12.2011, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Convex Programming Hierarchies: Trading Time for Approximation

    דובר:
    Eden Chlamtac
    תאריך:
    יום חמישי, 22.12.2011, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • How to Compute in the Presence of Leakage

    דובר:
    Guy Rothblum
    תאריך:
    יום חמישי, 22.12.2011, 10:30
    מקום:
    חדר 337-8 טאוב. (NOTE UNUSUAL TIME!

    [לנוסח המלא]

  • Learning from Natural Instructions

    דובר:
    Dan Roth SPECIAL LECTURE, Note unusual day
    תאריך:
    יום רביעי, 21.12.2011, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Theory Seminar: (In) Compressibility of NP-hard Problems

    A compression algorithm for a computation problem is a polynomial-time algorithm that compresses instances of the given problem into equivalent instances. The performance of ...

    דובר:
    דני הרמלין (מכון מקס פלאנק, גרמניה)
    תאריך:
    יום רביעי, 21.12.2011, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • ceClub: Flashback: A New Control Channel for Wireless Networks

    Unlike wired network protocols, Wi-Fi does not separate the data channel from the control channel, since only a single sender and receiver can communicate ...

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

    [לנוסח המלא]

  • ceClub: MARS: Adaptive Remote Execution Scheduler for Multithreaded Mobile Devices

    Mobile devices face a growing demand to support computationally intensive applications like 3D graphics and computer vision. However, these devices are inherently limited by ...

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

    [לנוסח המלא]

  • Machine Learning: Higher, Faster, Stronger

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

    [לנוסח המלא]

  • CSpecial Talk: Building Software You Can Trust

    We all write code, as a matter of fact, for most of us is part of what we do on a daily basis be ...

    דובר:
    אריאל קוגן, BMC Software
    תאריך:
    יום שלישי, 20.12.2011, 14:30
    מקום:
    טאוב 7

    [לנוסח המלא]

  • Bioinformatics Forum: From Coding the Genome to Algorithms Decoding Life

    The decade of genomic revolution following the human genome's sequencing has produced significant medical advances, and yet again, revealed how complicated human biology is, ...

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

    [לנוסח המלא]

  • CSpecial Talk: Innovation and Scale at Facebook

    In seven years of rapid growth Facebook has become today's most popular social network, redefining digital identity and the basic set of communication channels ...

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

    [לנוסח המלא]

  • Challenges in Multi-Agent Systems: Bitcoin, Social Networks, P2P Communities, and Network Protocols.

    דובר:
    Aviv Zohar
    תאריך:
    יום ראשון, 18.12.2011, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Pixel Club: An Effective Method for Parameter Estimation with PDE Constraints with Multiple Right Hand Sides

    Many parameter estimation problems involve a parameter dependent PDEs with multiple right hand sides. The computational cost and memory requirements of such problems increase ...

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

    [לנוסח המלא]

  • Concept-based Approach to Word-Sense Disambiguation

    The task of automatically determining the correct sense of a polysemous word has remained a challenge to this day. It is crucial in many ...

    דובר:
    אריאל רביב
    תאריך:
    יום רביעי, 14.12.2011, 12:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Theory Seminar: Non-Malleable Extractors with Short Seeds and Applications to Privacy Amplification

    Motivated by the classical problem of privacy amplification, Dodis and Wichs (STOC '09) introduced the notion of a non-malleable extractor, significantly strengthening the notion ...

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

    [לנוסח המלא]

  • ceClub: Multi-party Computation Forever, for Cloud Computing and Beyond

    Three works will be described. In the first we present reactive secret sharing, that changes the secret according to unbounded sequence of common inputs, ...

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

    [לנוסח המלא]

  • Bioinformatics Forum: POSTPONED!

    The decade of genomic revolution following the human genome's sequencing has produced significant medical advances, and yet again, revealed how complicated human biology is, ...

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

    [לנוסח המלא]

  • Pixel Club: Patch Complexity, Finite Pixel Correlations and Optimal Denoising

    Restoration tasks, such as image denoising, are ill posed problems, often solved with image priors. As image priors are only approximate, this yields suboptimal ...

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

    [לנוסח המלא]

  • Teaching Machines to Learn by Metaphors

    Humans have an uncanny ability to learn new concepts with very few examples. Cognitive theories have suggested that this is done by utilizing prior ...

    דובר:
    עמר לוי
    תאריך:
    יום רביעי, 7.12.2011, 15:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Theory Seminar: Data structures for self-healing networks: ForgivingGraph and Xheal

    In this talk, we consider the problem of self-healing in reconfigurable networks (e.g. peer-to-peer and wireless mesh networks) that are under repeated attack by ...

    דובר:
    אמיתאב טרהאן (טכניון)
    תאריך:
    יום רביעי, 7.12.2011, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • ceClub: Crafting Fast Wait-Free Algorithms

    Lock-freedom is a progress guarantee that ensures overall program progress. Wait-freedom is a stronger progress guarantee that ensures the progress of each thread in ...

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

    [לנוסח המלא]

  • From Cryptography to Algorithms and Back Again

    דובר:
    Gil Segev
    תאריך:
    יום שלישי, 6.12.2011, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Pixel Club: Internal Statistics of a Single Natural Image

    Statistics of 'natural images' provides useful priors for solving under-constrained problems in Computer Vision. Such statistics is usually obtained from large collections of natural ...

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

    [לנוסח המלא]

  • Numerical Methods for Phase Retrieval

    In this work we consider the problem of the reconstruction of a signal from the magnitude of its Fourier transform, also known as phase ...

    דובר:
    אליהו אושרוביץ
    תאריך:
    יום רביעי, 30.11.2011, 14:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Theory Seminar: Efficient Optimization in Machine Learning

    Linear classification is a fundamental problem of machine learning, in which positive and negative examples of a concept are represented in Euclidean space by ...

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

    [לנוסח המלא]

  • ceClub: Replicate and Bundle (RnB) - A Relief for Certain Data Center Bottlenecks

    In this talk, we present the Replicate and Bundle (RnB) scheme for relieving back-end processor and network bottlenecks in read-mostly key-value storage systems wherein ...

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

    [לנוסח המלא]

  • Back to the Future: the reborn of Dataflow computational models

    דובר:
    Avi Mendelson
    תאריך:
    יום שלישי, 29.11.2011, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Pixel Club: Generative Reconstruction: An Efficient Way to Flexibly Store andRecognize Patterns

    The brain has recognition capabilities that remain unmatched by computer algorithms. We hypothesize that using matched feedforward-feedback connections, recognition centers of the brain reconstruct ...

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

    [לנוסח המלא]

  • Haifux Club: GPGPU - OpenCL (Part 2 out of 4 talks series)

    This is a 4 series of 4 talks about GPGPUS, intended for the practical engineer: 1. Motivation, AMD's architecture 2. OpenCL 3.Case studies, Dos ...

    דובר:
    עופר רוזנברג (AMD)
    תאריך:
    יום שני, 28.11.2011, 18:30
    מקום:
    טאוב 6

    [לנוסח המלא]

  • Theory Seminar: Side-communication and Efficiency of Accending Auctions

    We analyze the realistic, popular format of an ascending auction with anonymous item prices, when there are two items that are substitutes. This auction ...

    דובר:
    רון לביא (טכניון)
    תאריך:
    יום רביעי, 23.11.2011, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • Pixel Club: Coherency Sensitive Hashing

    Coherency Sensitive Hashing (CSH) extends Locality Sensitivity Hashing (LSH) and PatchMatch to quickly find matching patches between two images. LSH relies on hashing, which ...

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

    [לנוסח המלא]

  • ceClub: Self-stabilizing Autonomic Recoverers

    This talk introduces theoretical foundations for system architectures and algorithms for creating truly robust autonomic systems -- systems that are able to recover automatically ...

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

    [לנוסח המלא]

  • Liquid Metal: Programming in the Age of Heterogeneous Machines

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

    [לנוסח המלא]

  • פִּתּוּחַ תָּכְנָה בְּשִׁיטַת אֲגָ'יִּל

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

    דובר:
    רונן בר-נהור (Agilesparks)
    תאריך:
    יום שלישי, 22.11.2011, 14:30
    מקום:
    בניין אמאדו אולם 233

    [לנוסח המלא]

  • Pixel Club: Toward Computer Vision on a Tight Budget

    At least in the near term, micro-scale platforms like micro air vehicles and micro sensor nodes are unlikely to have power, volume, or mass ...

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

    [לנוסח המלא]

  • Statistical Parsing in the Face of Language Diversity

    דובר:
    Reut Tsarfaty
    תאריך:
    יום ראשון, 20.11.2011, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • CSpecial Talk: Theory of Computation as a Lens on the Sciences

    Many processes in the physical, biological, engineering and social sciences involve information processing at a fundamental level and can be studied through computational models. ...

    דובר:
    ריצ'רד מ. קארפ (אונ' ברקלי, קליפורניה)
    תאריך:
    יום חמישי, 17.11.2011, 16:00
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • CSpecial Talk: Beyond 10 Blue Links: How Search Engines Help Users"

    This talk highlights some of the tools made available by search engines to aid users in formulating information needs, digesting complex information spaces and ...

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

    [לנוסח המלא]

  • CSpecial Talk: Effective Heuristics for NP-Hard Problems

    In many practical situations heuristic algorithms reliably give satisfactory solutions to real-life instances of optimization problems, despite evidence from computational complexity theory that the ...

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

    [לנוסח המלא]

  • ceClub: Observations on Linux Development

    Linux is used extensively in systems research as a platform for the implementation of new ideas, exploiting its open-source nature. But Linux is also ...

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

    [לנוסח המלא]

  • Haifux Club: GPGPU - Motivation and Architecture (Part 1 out of 4 talks series)

    This is a 4 series of 4 talks about GPGPUS, intended for the practical engineer: 1. Motivation, AMD's architecture 2. OpenCL 3.Case studies, Dos ...

    דובר:
    עופר רוזנברג - AMD
    תאריך:
    יום שני, 14.11.2011, 18:30
    מקום:
    טאוב 6

    [לנוסח המלא]

  • Multi-Robot Patrol: From Theory to Reality

    דובר:
    Noa Agmon
    תאריך:
    יום ראשון, 13.11.2011, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Theory Seminar: Rationality, Efficiency and Agreement in Markets and in Social Networks

    We will discuss some models of interacting economic agents on social networks. The first part of the talk will include a short introduction to ...

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

    [לנוסח המלא]

  • Improving Cryptography by Studying Entropy

    There are many different notions of information-theoretic entropy and its computational analogues. The right notion and a toolbox of lemmas can make for beautifully ...

    דובר:
    Leonid Reyzin
    תאריך:
    יום שלישי, 8.11.2011, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • When can you color a grid and not have any monochromatic rectangles?

    דובר:
    Bill Gasarch
    תאריך:
    יום ראשון, 6.11.2011, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Theory Seminar: Constant rate LDC's over a small(er) alphabet via tensored AG codes

    Locally decodable codes are codes that allow decoding of single message bits by reading a sublinear amount of the codeword. These codes have been ...

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

    [לנוסח המלא]

  • Pixel Club: Fast Poisson Solvers for Signal Processing on Meshes

    In this talk, we will describe a new, octree-based, FEM solver for performing geometry-aware signal processing on meshes. We show that by considering the ...

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

    [לנוסח המלא]

  • On the usefulness of blowing things up (combinatorially)

    This talk will overview the results of my doctoral research in Property Testing of dense combinatorial structures. In Property Testing, we are concerned with ...

    דובר:
    איל רוזנברג
    תאריך:
    יום שלישי, 1.11.2011, 13:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Pixel Club: Efficient and Accurate Image Filtering Using Running Sums

    Non uniform filtering is important for many image processing algorithms. However, for large kernel sizes it can become computationally expensive. In this talk we ...

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

    [לנוסח המלא]

  • Haifux Club: Bare-Metal Performance for I/O Virtualization

    Direct device assignment enhances the performance of guest virtual machines by allowing them to communicate with I/O devices without host involvement. But even with ...

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

    [לנוסח המלא]

  • ceClub: On Distributed Coordination Strategies in Cooperative Wireless Networks

    Cooperative and opportunistic communication techniques in wireless networks promise significant performance benefits over traditional methods that do not exploit the broadcast nature of wireless ...

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

    [לנוסח המלא]

  • Pixel Club: Gesture-based Interaction with 3D Cameras

    In this talk, Prof. Erhardt will discuss the ARTTS project (www.artts.eu) and summary its main results. He will also give an overview of the ...

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

    [לנוסח המלא]

  • Haifux Club: How to Participate in the Linux Kernel Development (and Why)

    The Linux kernel is one of the largest scale free software projects. More than thousand developers contribute code to each kernel release. Becoming one ...

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

    [לנוסח המלא]

  • Haifux Club: Deconstructing Amazon EC2 Spot Instance Pricing

    Cloud providers possessing large quantities of spare capacity must either incentivize clients to purchase it or suffer losses. Amazon is the first cloud provider ...

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

    [לנוסח המלא]

  • Programming Applications over the Semantic Web

    Two of the hardest problems of developing data-processing applications are: (1) integrating data from heterogeneous sources, and (2) handling the inherent discrepancies between data ...

    דובר:
    ודים אייזנברג
    תאריך:
    יום ראשון, 25.9.2011, 12:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Search: past, present, and some possible futures

    דובר:
    Udi Manber SPECIAL LECTURE
    תאריך:
    יום שלישי, 13.9.2011, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Haifux Club: Mesh Networks | Hacking the T3lc0 Model

    Want to build your own Telco? you'll probable need mesh power. Avoid past mistakes by learning about the history of mesh networks, hear how ...

    דובר:
    אמיר שגיא (פרוייקט אריג)
    תאריך:
    יום שני, 29.8.2011, 18:30
    מקום:
    טאוב 6

    [לנוסח המלא]

  • An Unbiased Rational Decision Making Procedure for Multiple-Adversary Environments

    In binary-utility games, an agent can have only two possible utility values for final states, 1 (win) and 0 (lose). We define an unbiased ...

    דובר:
    ענת השביט
    תאריך:
    יום רביעי, 24.8.2011, 13:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Supervised Learning of Semantic Relatedness

    We propose and study a novel supervised approach to learning semantic relatedness from examples. Using an empirical risk minimization approach our algorithm computes a ...

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

    [לנוסח המלא]

  • Haifux Club: 0 A.D. Revisited (And Perhaps a Few Words About Wikimania 2011)

    0 A.D. is a FOSS game of ancient warfare, belonging to a genre of games called Real-Time Strategy (RTS). It is mostly implemented in ...

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

    [לנוסח המלא]

  • Pixel Club: Modeling Fluid Flow on Inertial Manifolds: Physics, Geometry and the Challenge of Model Reduction

    Model order reduction is essential for feasible analysis, design, realtime control of distributed systems. Recent uses also include accelerating detailed simulations and the extraction ...

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

    [לנוסח המלא]

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

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

    [לנוסח המלא]

  • Haifux Club: How to Spread Knowledge Throughout the World While Wearing Only Your Slippers (or Wikimedia, Wikipedia and free content projects)

    Since its first emergence in 2001, Wikipedia had grown drastically to become the fifth most viewed website over the Internet in 2012. With over ...

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

    [לנוסח המלא]

  • Finding a job and the two body problem

    דובר:
    אבינתן חסידים (אורח מיוחד)
    תאריך:
    יום חמישי, 21.7.2011, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Colloq_CS_EE: String Reconstruction from Substring Compositions

    Motivated by mass-spectrometry protein sequencing, we consider the simple problem of reconstructing a string from its substring compositions. Relating the question to the long-standing ...

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

    [לנוסח המלא]

  • Handovers with Forward Admission Control for Adaptive TCP Streaming in Multihop Wireless Networks

    Media streaming over TCP is becoming popular because TCP's congestion control provides remarkable stability to the Internet. However, TCP also introduces significant latency and ...

    דובר:
    אניה לוין
    תאריך:
    יום רביעי, 13.7.2011, 15:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Bioinformatics Forum: Identity by Descent in Medical and Population Genetics

    Abstract: Shared segments that are Identical-by-Descent (IBD) from a recent common ancestor of purported unrelateds provide unique source of information for population and medical ...

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

    [לנוסח המלא]

  • Selective Prediction of Financial Trends with Hidden Markov Models

    Focusing on short term trend prediction in a financial context we consider the problem of selective prediction whereby the predictor can abstain from prediction ...

    דובר:
    דמיטרי פידן
    תאריך:
    יום רביעי, 13.7.2011, 13:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Theory Seminar: Dispersers for Affine Sources with Sub-Polynomial Entropy

    We construct an explicit disperser for affine sources over $\F_2^n$ with entropy $k=2^{\log^{0.9} n}=n^{o(1)}$. This is a polynomial time computable function $D:\F_2^n \to \set{0,1}$ ...

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

    [לנוסח המלא]

  • Theory Seminar: On the Complexity of Powering in Finite Fields

    We study the complexity of powering in GF(2^n) by constant depth arithmetic circuits over GF(2) (also known as AC0(parity)). Our study encompasses basic arithmetic ...

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

    [לנוסח המלא]

  • Pixel Club: Multiscale Ultrawide Foveated Video Extrapolation

    Video extrapolation is the task of extending a video beyond its original field of view. Extrapolating video in a manner that is consistent with ...

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

    [לנוסח המלא]

  • ceClub: Highly Efficient Synchronization Techniques

    We present highly-efficient synchronization techniques and experimentally show that these techniques outperform most state of the art lock-based and lock-free synchronization mechanisms. One of ...

    דובר:
    פנגיוטה פאטורו (Forth-ICS)
    תאריך:
    יום רביעי, 6.7.2011, 11:30
    מקום:
    טאוב 3

    [לנוסח המלא]

  • CGGC Seminar: An Interpolatory Subdivision Scheme for Positive Definite Matrices

    Symmetric positive definite matrices are widely used. Diffusion kernels, Curvature, Optimization and many more. However, Symmetric positive definite matrices are not a group and ...

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

    [לנוסח המלא]

  • Theory Seminar: Testing Odd-Cycle-Freeness in Boolean Functions

    Call a function f : {0,1}^n -> {0,1} odd-cycle-free if there are no x_1, ..., x_k in {0,1}^n with k an odd integer such ...

    דובר:
    ארנב בטצ'ריה, MIT
    תאריך:
    יום חמישי, 30.6.2011, 12:30
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Experimental Classical Alice Quantum Key Distribution Protocol

    We present the first experimental realization of a new semi-classical quantum key distribution (QKD) protocol called classical Alice (with mirror) and its security analysis. ...

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

    [לנוסח המלא]

  • Theory Seminar: High Rate Error Correcting Codes with Sublinear Time Decoding

    Locally decodable codes are error-correcting codes that admit efficient decoding algorithms: They give a method to encode k bit messages into n bit codewords ...

    דובר:
    שובהנגי שרף, MIT ו-LAS
    תאריך:
    יום רביעי, 29.6.2011, 12:30
    מקום:
    טאוב 9

    [לנוסח המלא]

  • Coding Theory and Projective Spaces

    The projective space of order n over the finite field F is the set of all the subspaces of the vector space F^n. A ...

    דובר:
    נטליה זילברשטיין
    תאריך:
    יום שלישי, 28.6.2011, 12:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Pixel Club: Scalability of Visual Recognition: Fitting Computational Resources for the Task

    Hierarchical spatial decompositions are a basic modeling tool in a variety of application domains including scientific visualization, finite element analysis and shape modeling and ...

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

    [לנוסח המלא]

  • Haifux Club: GPIO, SPI, and I2C Control from Userspace, the True Linux Way

    General Purpose Input/Output (GPIO), Serial Peripheral Interface (SPI), and Inter-Integrated Circuit (I2C), are common methods for digital communication between electronic components. The Linux kernel, ...

    דובר:
    ברוך שיח - TK מערכות פתוחות
    תאריך:
    יום שני, 27.6.2011, 18:30
    מקום:
    טאוב 6

    [לנוסח המלא]

  • Pixel Club: Diamond-based Models for ScientificVisualization

    will describe some recent work towards scaling the process of visual recognition to handle thousands of objects classes on a limited computational budget. Formally, ...

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

    [לנוסח המלא]

  • CGGC Seminar: Efficient Algorithms for Freeform Geometric Models

    We present a new approach to the development of efficient geometric algorithms for freeform curves and surfaces. Preprocessing the given curves and surfaces and ...

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

    [לנוסח המלא]

  • PRIME - Programming with Millions of Examples

    We present the PRIME tool which utilizes static specification mining techniques to extract useful specifications of library APIs from a large number of code ...

    דובר:
    אלון משנה
    תאריך:
    יום רביעי, 22.6.2011, 15:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Theory Seminar: Almost Settling the Hardness of Noncommutative Determinant

    The determinant and the permanent of a matrix, though deceivingly similar in their definitions, behave very differently with respect to how efficiently one can ...

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

    [לנוסח המלא]

  • ceClub: Network Science - A Network of Sciences

    Network Science is a newly emerging discipline with applications in a variety of domains, such as Communication Networks, Power Grid Networks, Transportation Networks, Social ...

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

    [לנוסח המלא]

  • Information Rates for Channels with Synchronization Errors

    דובר:
    Paul H. Siegel
    תאריך:
    יום שלישי, 21.6.2011, 14:30
    מקום:
    טאוב 6

    [לנוסח המלא]

  • Pixel Club: Semi-Supervised Learning in Gigantic Image Collection

    With the advent of the Internet it is now possible to collect hundreds of millions of images for computer vision. These images come with ...

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

    [לנוסח המלא]

  • Efficient and Explicit Coding for Interactive Communication

    דובר:
    Amit Sahai
    תאריך:
    יום ראשון, 19.6.2011, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • CGGC Seminar: Geometry-driven Image Manipulation

    The talk will include two parts. In the first part, I will present an overview of my research in geometry processing, including mesh parameterization, ...

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

    [לנוסח המלא]

  • Pixel Club: Geometry-driven Image Manipulation

    The talk will include two parts. In the first part, I will present an overview of my research in geometry processing, including mesh parameterization, ...

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

    [לנוסח המלא]

  • Coding Techniques for Burst Errors

    List decoding of error-correcting codes is a generalization of unique decoding: while unique decoding relates to the case where the decoder outputs only one ...

    דובר:
    תום קולן
    תאריך:
    יום רביעי, 15.6.2011, 16:00
    מקום:
    in טאוב 601

    [לנוסח המלא]

  • Smaller Footprint for Java Collections

    In dealing with the container bloat problem, we identify five memory compaction techniques, which can be used to reduce the footprint of the small ...

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

    [לנוסח המלא]

  • Bioinformatics Forum: Molecular Recognition in Presence of Competition and Noise

    Molecular recognition plays a key role in processing information in biological systems which rely on the ability of bio-molecules to specifically recognize each other. ...

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

    [לנוסח המלא]

  • Theory Seminar: Leakage-Resilient Zero-Knowledge

    We initiate a study of zero knowledge proof systems in the presence of side-channel attacks. Specifically, we consider a setting where a cheating verifier ...

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

    [לנוסח המלא]

  • ceClub: Estimating Sizes of Social Networks via Biased Sampling

    Online social networks have become very popular in recent years and their number of users is already measured in many hundreds of millions. For ...

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

    [לנוסח המלא]

  • The Price for Perfect Secrecy

    דובר:
    Stefan Wolf
    תאריך:
    יום שלישי, 14.6.2011, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Haifux Club: The Anatomy of a PCI/PCI Express Kernel Driver

    General Purpose Input/Output (GPIO), Serial Peripheral Interface (SPI), and Inter-Integrated Circuit (I2C), are common methods for digital communication between electronic components. The Linux kernel, ...

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

    [לנוסח המלא]

  • Towards lower bounds on locally testable codes

    A Probabilistically Checkable Proof (PCP) is a proof that allows checking the validity of a statement by reading only a constant number of symbols ...

    דובר:
    מיכאל וידרמן
    תאריך:
    יום חמישי, 2.6.2011, 14:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Reconstructing Graphs Using Edge Counting Queries

    In this thesis we study three well known combinatorial search problems in various settings: The coin weighing problem, the problem of reconstructing graphs using ...

    דובר:
    חנא מזאווי
    תאריך:
    יום רביעי, 1.6.2011, 13:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Theory Seminar: Directed Spanners via Flow-Based Linear Programs

    A k-spanner of a given graph is a subgraph that preserves all distances within factor k. This notion is useful in several contexts, from ...

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

    [לנוסח המלא]

  • Escher For Real: on the synergy between science and art

    דובר:
    Gershon Elber
    תאריך:
    יום שלישי, 31.5.2011, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Haifux Club: How to Spread Knowledge Throughout the World While Wearing Only Your Slippers (or Wikmedia, Wikipedia and free content projects)

    Since its first emergence in 2001, Wikipedia had grown drastically to become the fifth most viewed website over the Internet in 2012. With over ...

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

    [לנוסח המלא]

  • Explicit Dimension Reduction and its Applications

    We construct a small set of explicit linear transformations mapping R^n to R^t, where t=O(log(\gamma^{-1}) \epsilon^{-2}), such that the L_2 norm of any vector ...

    דובר:
    זהר קרנין
    תאריך:
    יום רביעי, 25.5.2011, 14:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Preserving Correctness Under Relaxed Memory Models

    We present an approach for automatic verification of concurrent programs running under relaxed memory models. Verification under relaxed memory models is a hard problem. ...

    דובר:
    מיכאל קופרשטיין
    תאריך:
    יום רביעי, 25.5.2011, 12:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Theory Seminar: Linear Index Coding via Semidefinite Programming

    In the index coding problem, introduced by Birk and Kol (INFOCOM, 1998), the goal is to transmit n bits to n receivers (one bit ...

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

    [לנוסח המלא]

  • ceClub: Orleans: A Programming Model for the Cloud

    What if you could build the next Facebook or Twitter with just a few hundred lines of code ? and scale it to hundreds ...

    דובר:
    גבריאל קליאוט (מיקרוסופט)
    תאריך:
    יום רביעי, 25.5.2011, 11:30
    מקום:
    טאוב 3

    [לנוסח המלא]

  • Pixel Club: Diffusion Framework for Geometric and Photometric Data Fusion in Non-rigid Shape Analysis

    In this work, we explore the use of the diffusion geometry framework for the fusion of geometric and photometric information in local and global ...

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

    [לנוסח המלא]

  • Pixel Club: Clustering and Approximating High-Dimensional Streaming Data using Coresets

    Data analysis of massive data sets is common today for web-search (e.g. Google), social networking (e.g. Facebook), financial applications, supermarkets, bioinformatics and many other ...

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

    [לנוסח המלא]

  • Confidence Estimation in Structured Prediction

    Structured classification tasks such as sequence labeling and dependency parsing have seen much interest by the Natural Language Processing and the machine learning communities. ...

    דובר:
    אביחי מאיר
    תאריך:
    יום רביעי, 18.5.2011, 12:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Theory Seminar: Hadamard Product of Polynomials and the Identity Testing Problem

    Motivated by the Hadamard product of matrices we define the Hadamard product of noncommutative multivariate polynomials and study its arithmetic circuit and branching program ...

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

    [לנוסח המלא]

  • ceClub: How Secure are Secure Internet Routing Protocols?

    A decade of research has been devoted to addressing vulnerabilities in global Internet routing system. The result is a plethora of security proposals, each ...

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

    [לנוסח המלא]

  • Pixel Club: Unsupervised Supervised Learning: Who Needs Labels Anyway?

    I will describe two recent results in unsupervised supervised learning (performing supervised learning tasks without labels). The first result concerns evaluating the accuracy of ...

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

    [לנוסח המלא]

  • Maximizing Submodular Set Functions Subject to Multiple Linear Constraints

    דובר:
    Hadas Shachnai
    תאריך:
    יום שלישי, 17.5.2011, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Pixel Club: Diffusion-geometric Maximally Stable Component Detection in Deformable Shapes

    Maximally stable component detection is a very popular method for feature analysis in images, mainly due to its low computation cost and high repeatability. ...

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

    [לנוסח המלא]

  • A Unified Formal Approach To Garbage Collection

    דובר:
    Prof. Peter Pepper SPECIAL GUEST LECTURE
    תאריך:
    יום חמישי, 12.5.2011, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Color Invariants for Person Re-Identification

    We revisit the problem of specific object recognition using color distributions. In some applications - such as specific person identification - it is highly ...

    דובר:
    איגור קביאטקובסקי
    תאריך:
    יום רביעי, 11.5.2011, 14:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Theory Seminar: Using Random Restrictions for Algorithmic Analysis

    Random restrictions are commonly used for proving complexity lower bounds, eg. lower bounds on constant-depth circuits (Ajtai, Furst-Saxe-Sipser, Yao, Hastad) and lower bounds on ...

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

    [לנוסח המלא]

  • Functional genomics-based approach for reconstructing metabolic network models

    Reconstruction of genome-scale metabolic networks is considered as key step in quantifying the genotype-phenotype relationship. A major computational challenge involved in the reconstruction process ...

    דובר:
    אדוארד ויטקין
    תאריך:
    יום רביעי, 11.5.2011, 12:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • ceClub: A Shape Analysis for Optimizing Parallel Graph Programs

    In the first part of the talk I will give a high-level introduction to Galois, a framework for designing and implementing parallel graph algorithms ...

    דובר:
    רומן מנביץ (אונ' טקסס באוסטין)
    תאריך:
    יום רביעי, 11.5.2011, 11:30
    מקום:
    טאוב 3

    [לנוסח המלא]

  • ceClub: How to win Friends and Influence People, Truthfully

    Throughout the past decade there has been extensive research on algorithmic and data mining techniques for solving the problem of influence maximization in social ...

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

    [לנוסח המלא]

  • How to win Friends and Influence People, Truthfully

    דובר:
    Yaron Singer SPECIAL GUEST LECTURE
    תאריך:
    יום חמישי, 5.5.2011, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Black-Box Identity Testing of Depth-4 Multilinear Circuits

    A central problem in algebraic complexity theory and algorithms design is the problem of Polynomial Identity Testing (PIT): given an arithmetic circuit $C$ over ...

    דובר:
    איליה וולקוביץ
    תאריך:
    יום רביעי, 4.5.2011, 12:30
    מקום:
    טאוב 337

    [לנוסח המלא]

  • Theory Seminar: Black-Box Identity Testing of Depth-4 Multilinear Circuits

    A central problem in algebraic complexity theory and algorithms design is the problem of Polynomial Identity Testing (PIT): given an arithmetic circuit $C$ over ...

    דובר:
    איליה וולקוביץ (מדעי המחשב, הטכניון)
    תאריך:
    יום רביעי, 4.5.2011, 12:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • ceClub: Search Flavors - Trends and Opportunities

    This talk will discuss some recent developments in search, emerging in various shapes and forms. We will highlight some challenges, and point to some ...

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

    [לנוסח המלא]

  • The Minimum Weight Cycle Problem

    דובר:
    Liam Roditty
    תאריך:
    יום שלישי, 3.5.2011, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Pixel Club: Correspondence-less Approach to Matching of Deformable Shapes

    Finding a match between partially available deformable shapes is a challenging problem with numerous applications. The problem is usually approached by computing local descriptors ...

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

    [לנוסח המלא]

  • Haifux Club: vIOMMU: Efficient IOMMU Emulation

    Direct device assignment, where a guest virtual machine directlyinteracts with an I/O device without host intervention, is appealing,because it allows an unmodified (non-hypervisor-aware) guest ...

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

    [לנוסח המלא]

  • Context-Sensitive Query Auto-Completion

    Query auto completion is known to provide poor predictions of the user's query when her input prefix is very short (e.g., one or two ...

    דובר:
    נעמה קראוס
    תאריך:
    יום ראשון, 1.5.2011, 13:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Theory Seminar: Protocols for Multiparty Coin Toss With Dishonest Majority

    Generating random bits is a fundamental problem in cryptography. Coin-tossing protocols, which generate a random bit with uniform distribution, are used as a building ...

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

    [לנוסח המלא]

  • ceClub: Side channels in Cloud Services: The Case of Deduplication in Cloud Storage

    The talk will discuss deduplication, a form of compression in which duplicate copies of files are replaced by links to a single copy. Deduplication ...

    דובר:
    בני פנקס (אוניברסיטת בר-אילן)
    תאריך:
    יום רביעי, 27.4.2011, 11:30
    מקום:
    טאוב 3

    [לנוסח המלא]

  • Ramsey-type theorems for metric spaces

    דובר:
    Manor Mendel
    תאריך:
    יום שלישי, 26.4.2011, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Online Universal Facility Location

    Facility location problems concern assigning requests to servers. The goal is to minimize the total cost which consists of the moving costs and the ...

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

    [לנוסח המלא]

  • Bioinformatics Forum: Splicing the Wires: Finding Connections between Biological Networks and the Core **Spliceosome**

    The major spliceosome is a multi-component and highly dynamic complex that carries out the tightly regulated steps of splicing. It is composed of hundreds ...

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

    [לנוסח המלא]

  • ceClub: Abstraction-Guided Synthesis of Synchronization

    In this talk I will present a framework for synthesizing efficient synchronization in concurrent programs, a task known to be difficult and error-prone when ...

    דובר:
    ערן יהב (מדעי המחשב, הטכניון)
    תאריך:
    יום רביעי, 13.4.2011, 11:30
    מקום:
    טאוב 3

    [לנוסח המלא]

  • Haifux Club: How to Spread Knowledge Throughout the World Wikipedia While Wearing Only Your Slippers (or Wikmedia, and free content projects)

    Since its first emergence in 2001, Wikipedia had grown drastically to become the fifth most viewed website over the Internet in 2012. With over ...

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

    [לנוסח המלא]

  • Theory Seminar: Approximate Judgement Aggregation

    In this work we analyze judgement aggregation problems in which a group of agents independently votes on a set of complex propositions that has ...

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

    [לנוסח המלא]

  • Pixel Club: Decoding Neural Patterns for Brain-Computer Interfaces

    Brain-computer interfaces (BCI) are devices that can decode physiological signals from the brain and convert them into actions in a manner that reflects the ...

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

    [לנוסח המלא]

  • Near-Optimal Private Approximation Protocols via a Black Box Transformation

    דובר:
    David Woodruff SPECIAL GUEST TALK note unusual hour
    תאריך:
    יום חמישי, 7.4.2011, 15:00
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • On the Minimal Fourier Degree of Symmetric Boolean Functions

    It is well-known that any Boolean function f:{-1,+1}^n \to {-1,+1} can be written uniquely as a polynomial f(x) = \sum_{S subset [n]} f_s \prod_{i ...

    דובר:
    אבישי טל
    תאריך:
    יום רביעי, 6.4.2011, 14:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Improved genome-scale metabolic modeling utilizing enzyme kinetic parameters

    Genome-scale metabolic models enable to successfully predict a variety of metabolic phenotype in microorganisms. Still, the integration of metabolic networks with various 'omics' data ...

    דובר:
    רועי אדדי
    תאריך:
    יום רביעי, 6.4.2011, 13:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Theory Seminar: Min-Max Graph Partitioning and Small Set Expansion

    We study graph partitioning problems from a min-max perspective, in which an input graph on $n$ vertices should be partitioned into $k$ parts, and ...

    דובר:
    רועי שורץ (מדעי המחשב, טכניון)
    תאריך:
    יום רביעי, 6.4.2011, 12:30
    מקום:
    טאוב 401

    [לנוסח המלא]

  • ceClub: Fat-Trees Routing and Node Ordering Providing Contention Free Traffic for MPI Global Collectives

    As the size of High Performance Computing clusters grows, the increasing probability of interconnect hot spots degrades the latency and effective bandwidth the network ...

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

    [לנוסח המלא]

  • Subexponential lower bounds for randomized pivoting rules for the simplex algorithm

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

    [לנוסח המלא]

  • Pixel Club: Pattern Matching under Non Linear Tone-Mapping

    A fast pattern matching scheme termed Matching by Tone Mapping (MTM) is introduced which allows matching under non-linear tone mappings. We exploit the recently ...

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

    [לנוסח המלא]

  • Theory Seminar: On the Rank of Design Matrices with Applications

    A design matrix is a matrix whose attern of zeos/nonzeros satisfies a certain design-like condition. We will first prove that the rank of any ...

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

    [לנוסח המלא]

  • ceClub: IBM Watson and the Jeopardy! Challenge

    Over the last days, millions of viewers witnessed computing history being made as IBM's Watson question answering system defeated Jeopardy! quiz show champions Brad ...

    דובר:
    דוד כרמל ודפנה שיינוולד (י.ב.מ. חיפה)
    תאריך:
    יום רביעי, 30.3.2011, 11:30
    מקום:
    טאוב 3

    [לנוסח המלא]

  • Pixel Club: Unmixing of Images Mixed by Position Varying Media

    We address the open problem of blindly separating single-path position varying image mixtures, without having prior information about the sources. We assume that the ...

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

    [לנוסח המלא]

  • Haifux Club: The Story of Alice and Bob - the I/O Requests (Part II)

    In this story, we'll follow the life story of alice - a file-systemized I/O request, and bob - a raw-device I/O request, from their ...

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

    [לנוסח המלא]

  • CGGC Seminar: Barycentric Interpolation and Mappings on Smooth Convex Domains

    In a recent paper, Warren, Schaefer, Hirani, and Desbrun proposed a simple method of interpolating a function defined on the boundary of a smooth ...

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

    [לנוסח המלא]

  • Theory Seminar: Oblivious RAM without Random Oracles

    We present an algorithm for implementing a secure oblivious RAM where the access pattern is perfectly hidden in the information theoretic sense, without assuming ...

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

    [לנוסח המלא]

  • Formulae and Growth Rates of High-Dimensional Polycubes

    דובר:
    Gill Barequet
    תאריך:
    יום שלישי, 22.3.2011, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Pixel Club: Filling in the Gaps the Mind's Way: Curve Completion in the Tangent Bundle

    The phenomenon of visual curve completion, where the visual system completes the missing part (e.g., due to occlusion) between two contour fragments, is a ...

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

    [לנוסח המלא]

  • Unusual Dynamics in Multiphase Flows : (I) Charged Drops, (II) A Variant on Viscous Fingering, and (III) Shear-Enhanced Diffusion

    דובר:
    Prof. Howard A. Stone DISTINGUISHED POLLAK LECTURE
    תאריך:
    יום חמישי, 17.3.2011, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Theory Seminar: Submodular Secretary Problems

    The Classical Secretary Problem was introduced during the 60's of the 20-th century (nobody is sure exactly when). Since its introduction, many variants of ...

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

    [לנוסח המלא]

  • Causality, Knowledge and Coordination in Distributed Systems

    Coordinating the proper ordering of events across remote sites is a central task of distributed applications. In asynchronous systems, such coordination depends in an ...

    דובר:
    עידו בן-צבי
    תאריך:
    יום רביעי, 16.3.2011, 11:30
    מקום:
    Meyer 861 (Electrical Engineering building)

    [לנוסח המלא]

  • Bacteria, Biofilms and Fluid Dynamics: Elementary Flows and Unexpected Phenomena

    דובר:
    Prof. Howard A. Stone DISTINGUISHED POLLAK LECTURE
    תאריך:
    יום שלישי, 15.3.2011, 16:00
    מקום:
    חדר 641 Lady Davis Bld.

    [לנוסח המלא]

  • The Graver Complexity of Integer Programming

    דובר:
    Shmuel Onn
    תאריך:
    יום שלישי, 15.3.2011, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Haifux Club: The Story of Alice and Bob - the I/O Requests (Part I)

    In this story, we'll follow the life story of alice - a file-systemized I/O request, and bob - a raw-device I/O request, from their ...

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

    [לנוסח המלא]

  • CSpecial Talk: Scalable Overlay Design for Topic-Based Publish/Subscribe Systems and Fast Overlay Construction Algorithms

    Pub-sub is a paradigm for asynchronous communication that is commonly used in a great variety of industrial applications, such as news tickers, delivery of ...

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

    [לנוסח המלא]

  • Theory Seminar: How Much Commutativity is Needed to Prove Polynomial Identities?

    The so called Extended Frege system is one of the most natural propositional proof systems. Whereas we believe that there exist tautologies which require ...

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

    [לנוסח המלא]

  • ceClub: Portability and Performance of Applications in the Manycore Era

    For many years, the frequency of microprocessors has grown at an exponential pace (from 20 MHz in 1990 to 2 GHz in 2000). Since ...

    דובר:
    ארוון רואו, INRIA
    תאריך:
    יום רביעי, 9.3.2011, 11:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • The Curious Story of Quantum Logic

    דובר:
    Hilary W. Putnam
    תאריך:
    יום שלישי, 8.3.2011, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Pixel Club: Nonlocal Variational Methods for Image Processing

    Variational and PDE-based methods have been extensively used for vision and image-processing tasks such as denoising, segmentation, inpainting, optical flow and more. An underlying ...

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

    [לנוסח המלא]

  • Short-term turning points forecasting in financial time series

    We consider the problem of forecasting turning points in time series and develop an autoregressive prediction algorithm, that relies on a novel turning point ...

    דובר:
    אלכסנדרה פיינבורד
    תאריך:
    יום רביעי, 2.3.2011, 13:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Theory Seminar: Improved Minimum Cuts and Maximum Flows in Undirected Planar Graphs

    The problem of finding the minimum s-t cut between a source s and a sink t in a graph is a well-studied problem in ...

    דובר:
    יהב נוסבאום (אונ' תל-אביב)
    תאריך:
    יום רביעי, 2.3.2011, 12:30
    מקום:
    טאוב 701

    [לנוסח המלא]

  • ceClub: IBM's PowerEN Developer Cloud: Fertile Ground for Academic Research

    IBM's newest technology, the Power Edge of Network (PowerEN) processor, merges network and server attributes to create a new class of wire-speed processor. PowerEN ...

    דובר:
    עמית גולנדר, IBM חיפה
    תאריך:
    יום רביעי, 2.3.2011, 11:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • Deterministic Distributed Vertex Coloring in Polylogarithmic Time

    דובר:
    Leonid Barenboim
    תאריך:
    יום שלישי, 1.3.2011, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Haifux Club: UniversAAL: Open Source platform for Ambient Assisted Living and Smart Home Environment

    I will present two presentations about an EU FP7 IP project I work on, UniversAAL - http://universaal.org/. The goal of the project is to ...

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

    [לנוסח המלא]

  • e-Science: Are we there yet?

    דובר:
    Prof. David Abramson SPECIAL LECTURE note unusual hour
    תאריך:
    יום ראשון, 27.2.2011, 14:00
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • ABC - A New Framework for Block Ciphers

    We suggest a new framework for block ciphers named Advanced Block Cipher, or shortly ABC. ABC has additional non-secret parameters that ensure that each ...

    דובר:
    אורי אברהם
    תאריך:
    יום רביעי, 23.2.2011, 13:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • CGGC Seminar: Space-Time Reconstruction - Understanding Motion

    As research on space-time reconstruction matures, we should ask ourselves what information we use to correctly leverage the temporal or motion component of the ...

    דובר:
    אלה שפר (אונ' קולומביה הבריטית, וונקובר, קנדה)
    תאריך:
    יום רביעי, 23.2.2011, 11:00
    מקום:
    טאוב 5

    [לנוסח המלא]

  • Bioinformatics Forum: Stochastic Effects in Viral-infected Dendritic Cells Lead to Efficient Immune Response Activation

    When monocyte-derived human dendritic cells (DCs) are infected by Newcastle disease virus, the virus is known to be detected by RIG-I proteins, which induces ...

    דובר:
    ישי שמעוני (אונ' קולומביה, ניו יורק)
    תאריך:
    יום רביעי, 16.2.2011, 15:30
    מקום:
    טאוב 701

    [לנוסח המלא]

  • Cost-Aware Live Migration of Services in the Cloud

    Live migration of virtual machines is an important component of the emerging cloud computing paradigm. While live migration provides extreme versatility of management, it ...

    דובר:
    גלעד קותיאל
    תאריך:
    יום רביעי, 16.2.2011, 13:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Haifux Club: Encryption - Alice, Bob and Co. - Amichay Peretz Klopshtock

    In this lecture I'll talk about the encryption methods that were common through history, How to use them, what their weaknesses are and how ...

    דובר:
    עמיחי פרץ קלופשטוק
    תאריך:
    יום שני, 14.2.2011, 18:30
    מקום:
    טאוב 6

    [לנוסח המלא]

  • The PARIS Algorithm for Determining Latent Topics

    דובר:
    Michal Aharon
    תאריך:
    יום שלישי, 8.2.2011, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Density-Driven Publish Subscribe Service for Mobile Ad-Hoc Networks

    We study a publish/subscribe service for mobile ad-hoc networks. Mobile Ad-Hoc Networks (MANETs) are formed by a collection of mobile nodes, each equipped with ...

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

    [לנוסח המלא]

  • Accelerating CIFS Over Satellite Networks

    CIFS is the underlying protocol in Windows OS's for disk shares access such as copying files from and to remote stations in the LAN, ...

    דובר:
    מוחמד מגאדלה
    תאריך:
    יום רביעי, 2.2.2011, 12:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Task Superscalar Multiprocessors

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

    [לנוסח המלא]

  • Haifux Club: Root on NFS: Running Linux on a Diskless Computer

    A motherboard, a CPU, and a memory stick. Add a fan and a power supply, and you have a little computer which boots from ...

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

    [לנוסח המלא]

  • Enumeration of Lattice Animals

    A Lattice Animal is a set of edge-connected cells in a given lattice. For example, the Tetris game is played with Lattice Animals with ...

    דובר:
    גדי אלכסנדרוביץ
    תאריך:
    יום ראשון, 30.1.2011, 13:00
    מקום:
    טאוב 337

    [לנוסח המלא]

  • Analysis of affective behaviour: Non-verbal Speech - Feature Extraction, Multi-class & Multi-label Classification, and Generalisation of the Technology

    דובר:
    Tal Sobol Shikler
    תאריך:
    יום חמישי, 27.1.2011, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Anonymous Routing in Mobile Ad Hoc Networks

    A wireless, mobile, ad hoc network (MANET) is a network in which mobile nodes do not rely on the existence of fixed infrastructure mediation ...

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

    [לנוסח המלא]

  • Theory Seminar: Quantum One-Way Communication can be Exponentially Stronger Than Classical Communication

    In STOC 1999, Raz presented a (partial) function for which there is a quantum protocol communicating only $O(\log n)$ qubits, but for which any ...

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

    [לנוסח המלא]

  • Models and Methods for Social Networks Automation

    This research is concerned with novel Web-related data management scenarios. In particular, we consider database problems which arise from social networks. In the talk, ...

    דובר:
    רועי רונן
    תאריך:
    יום רביעי, 26.1.2011, 11:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Pixel Club: Multidimensional Image Representation and Processing Motivated by Human Vision

    A biological model of visual information representation is adopted. Images are represented accordingly in a multidimensional space that incorporates the well investigated dimensions of ...

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

    [לנוסח המלא]

  • General Techniques for Interpolation, Reconstruction, and Morphing of Polyhedral Surfaces

    The topic of shape reconstruction is a major research branch of geometric processing. The two major problems which are commonly researched are reconstruction of ...

    דובר:
    אמיר וקסמן
    תאריך:
    יום ראשון, 23.1.2011, 13:00
    מקום:
    טאוב 337

    [לנוסח המלא]

  • Methods For Recognition By Graphical Style And Style Synthesis Using Local Analysis

    Standard image classification algorithms classify an image by its content. Sometimes, we don't care about the image content and want to classify images by ...

    דובר:
    בועז בריקנר
    תאריך:
    יום רביעי, 19.1.2011, 15:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Theory Seminar: Hardness of Approximately Solving Linear Equations Over Reals

    We consider the problem of approximately solving a system of homogeneous linear equations over reals, where each equation contains at most three variables. Since ...

    דובר:
    דנה מוסקוביץ (MIT)
    תאריך:
    יום רביעי, 19.1.2011, 12:20
    מקום:
    טאוב 401

    [לנוסח המלא]

  • Haifux Club: A FOSS Yankee in Microsoft's Court

    A year ago I started working for a small multi-national software giant named Microsoft. What I found is a company with rather surprising and ...

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

    [לנוסח המלא]

  • Pixel Club: Immersive Visualization of Large Datasets

    Scientists, engineers and physicians are now confronted with a fire hose of data. Immersive visualization environments provide these users with a novel way of ...

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

    [לנוסח המלא]

  • Designing presentations tools for multiple and high-resolution displays

    דובר:
    Joel Lanir SPECIAL LECTURE
    תאריך:
    יום חמישי, 13.1.2011, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Theory Seminar: Fault-tolerant Shortest Paths and Minimum Spanning Trees

    A fundamental problem in dynamic graphs is the recovery of structural information in a network whose edges occasionally fail. In a failure event, some ...

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

    [לנוסח המלא]

  • Reconstruction in Trees

    דובר:
    Nayantara Bhatnagar
    תאריך:
    יום שלישי, 11.1.2011, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Pixel Club: Non-Local Characterization of Scenery Images: Statistics, 3D Reasoning, and a Generative Model

    This work focuses on characterizing scenery images. We semantically divide the objects in natural landscape scenes into background and foreground and show that the ...

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

    [לנוסח המלא]

  • Theory Seminar: Pseudorandom Generators from Invariance Principles

    Invariance principles or limit theorems have recently found several important applications in theoretical computer science. In this talk I'll present some recent results with ...

    דובר:
    ראגו מקה (אונ' טקסס באוסטין)
    תאריך:
    יום ראשון, 9.1.2011, 12:30
    מקום:
    טאוב 539

    [לנוסח המלא]

  • Concurrent Data Structures: Methodologies and Inherent Limitations

    As multi-core and multiprocessing architectures are becoming common, modern applications require concurrent data structures for their computations. Designing concurrent data structures and ensuring their ...

    דובר:
    אשכר הלל
    תאריך:
    יום ראשון, 9.1.2011, 11:30
    מקום:
    טאוב 401

    [לנוסח המלא]

  • Verifying Linearizability with Hindsight

    דובר:
    Noam Rinetzky SPECIAL LECTURE
    תאריך:
    יום חמישי, 6.1.2011, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Theory Seminar: Lower Bounds on Near Neighbor Search via Metric Expansion

    We show that the cell probe complexity of performing nearest neighbor (NNS) search on a metric space is tightly related to the expansion of ...

    דובר:
    Udi Weider (Microsoft Research)
    תאריך:
    יום רביעי, 5.1.2011, 13:20
    מקום:
    טאוב 701

    [לנוסח המלא]

  • Building a Bridge between Incentives and Computation

    דובר:
    Shahar Dobzinski
    תאריך:
    יום שלישי, 4.1.2011, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • The Computational Complexity of Linear Optics

    דובר:
    Scott Aaronson SPECIAL LECTURE
    תאריך:
    יום שלישי, 4.1.2011, 12:30
    מקום:
    חדר 401 טאוב NOTE UNUSUAL TIME AND PLACE Bld.

    [לנוסח המלא]

  • Pixel Club: Perceptual Fragments: Bottom-Up and Top-Down Use of Shape in Object Recognition

    The bottom-up “segmentation followed by recognition” strategy has for some time now given way to feature-based discriminative recognition with significant success. As the number ...

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

    [לנוסח המלא]

  • Haifux Club: From VxWorks To Linux

    Preempt RT is a growing hard real time linux OS. In this session I will present Preempt RT basics and uniqueness, provide a Live ...

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

    [לנוסח המלא]

  • Conspiracies, Cooperation and Power

    דובר:
    Yoram Bachrach
    תאריך:
    יום ראשון, 2.1.2011, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]