אירועים והרצאות בפקולטה למדעי המחשב
Efficient cloud operations via job-migration and pricing
- דובר:
- Ishai Menache
- תאריך:
- יום חמישי, 30.12.2010, 14:30
- מקום:
- חדר 337-8 טאוב.
Pixel Club Seminar: Practical Parallel Imaging Compresses Sensing MRI: Summary of Two Years of Experience Accelerating Body MRI of Pediatric Patients
Magnetic Resonance Imaging has revolutionized diagnostic medicine. It is an excellent tool for disease diagnosis and monitoring, offering superb soft tissue contrast and high ...
- דובר:
- מיכאל לוסטיג (אונ' קליפורניה בברקלי)
- תאריך:
- יום חמישי, 30.12.2010, 11:30
- מקום:
- חדר 337, בניין טאוב למדעי המחשב
Theory Seminar: Sequential Rationality in Cryptographic Protocols
Much ofMuch of the literature on rational cryptography focuses on analyzing the strategic properties of cryptographic protocols. However, due to the presence of computationally-bounded ...
- דובר:
- נעם ליבנה (מכון ויצמן למדע)
- תאריך:
- יום רביעי, 29.12.2010, 12:20
- מקום:
- חדר 337, בניין טאוב למדעי המחשב
Pixel Club Seminar: Multi-Manifold Data Modeling: Foundations and Applications
We present several methods for multi-manifold data modeling, i.e., modeling data by mixtures of possibly intersecting manifolds. We focus on algorithms for the special ...
- דובר:
- גלעד לרמן (מתמטיקה, אונ' מינסוטה)
- תאריך:
- יום רביעי, 29.12.2010, 11:30
- מקום:
- חדר 337, בניין טאוב למדעי המחשב
Bioinformatics Forum (NOTE UNUSUAL HOUR): Single Molecule Sequencing Based Digital Gene Expression - Investigating the Transcriptome through a Clearer Lens
Digital Gene Expression (DGE) profiling by next-generation sequencing (NGS) technologies has the potential of becoming the leading method for quantitative analysis of complete transcriptomes. ...
- דובר:
- דורון ליפסון (Foundation Medicine Inc)
- תאריך:
- יום שלישי, 28.12.2010, 15:00
- מקום:
- טאוב 601
GraphLab: Asynchronous Graph Computation in the Clouds and Beyond
- דובר:
- Danny Bickson
- תאריך:
- יום שלישי, 28.12.2010, 14:30
- מקום:
- חדר 337-8 טאוב.
Pixel Club: Voxel Fabbing: From Analog to Digital 3D Printing
The transition from analog to digital has revolutionized many fields over the past century – most notably computation and communication – and can be ...
- דובר:
- הוד ליפסון (אונ' קורנל, ניו-יורק)
- תאריך:
- יום שלישי, 28.12.2010, 11:30
- מקום:
- חדר 337, בניין טאוב למדעי המחשב
CGGC Seminar: AKVFs - A New Computational Tool for Approximate Shape
A fundamental problem in geometry processing is to characterize the possible transformations a shape can undergo, and still remain "the same". Such transformations are ...
- דובר:
- מירלה בן-חן (אונ' סטנפורד)
- תאריך:
- יום שלישי, 28.12.2010, 10:30
- מקום:
- טאוב 7
AKVFs - A New Computational Tool for Approximate Shape Isometries
- דובר:
- Mirela Ben-Chen
- תאריך:
- יום שלישי, 28.12.2010, 10:30
- מקום:
- חדר טאוב 7 טאוב.
Anisotropic diffusion maps of sub-manifolds with applications
- דובר:
- Dan Kushnir
- תאריך:
- יום ראשון, 26.12.2010, 14:30
- מקום:
- חדר 337-8 טאוב.
Requirements Determination is Unstoppable: An Experience Report
- דובר:
- Daniel M. Berry SPECIAL LECTURE note unusual hour
- תאריך:
- יום ראשון, 26.12.2010, 12:30
- מקום:
- חדר 337-8 טאוב.
Pixel Club Seminar: May the Optimal Candidate Win! Optimization under Social Choice Constraints
- דובר:
- Ariel Procaccia
- תאריך:
- יום חמישי, 23.12.2010, 14:30
- מקום:
- חדר 337-8 טאוב.
CSpecial Talk: Topology in Distributed Computing
The integer 1 is the unity of multiplication. The integer 12 represents the senior high-school year. They surely are different in many respects. But ...
- דובר:
- פרופ' אלי גפני (UCLAׁ
- תאריך:
- יום רביעי, 22.12.2010, 14:30
- מקום:
- טאוב 5
Bandwidth Allocation in Cellular Networks with Multiple Interferences
We study the problem of bandwidth allocation with multiple interferences. In this problem the input consists of a set of users and a set ...
- דובר:
- גלב פולבוי
- תאריך:
- יום רביעי, 22.12.2010, 14:00
- מקום:
- טאוב 601
Theory Seminar: Almost Optimal Unrestricted Fast Johnson-Lindenstrauss Transform
The problems of random projections and sparse reconstruction have much in common and individually received much attention. Surprisingly, until now they progressed in parallel ...
- דובר:
- ניר אילון (מדעי המחשב, הטכניון
- תאריך:
- יום רביעי, 22.12.2010, 12:30
- מקום:
- חדר 337, בניין טאוב למדעי המחשב
Haifux, Haifa Linux Club: Creative Commons Licenses, Open Source Software Licenses & the new Israeli Copyright Act of 2007
Part I of the talk covered the new Israeli Copyright Act of 2007. This part of the talk will focus on Creative Commons Licenses.
- דובר:
- דלית קן-דרור (אוניברסיטת חיפה)
- תאריך:
- יום שני, 20.12.2010, 18:30
- מקום:
- טאוב 6
Pixel Club Seminar: Reconstructing the World from Photos on the Internet
There's a big difference between looking at a photograph of a place and being there. But what if you had access to a database ...
- דובר:
- סטיב סייץ (אונ' וושינגטון)
- תאריך:
- יום חמישי, 16.12.2010, 11:30
- מקום:
- EE Meyer Building 1061
Approximations for Monotone and Non-monotone Submodular Maximization with Knapsack Constraints
Submodular maximization generalizes many fundamental problems in discrete optimization, including Max-Cut in directed/undirected graphs, maximum coverage, maximum facility location and marketing over social networks. ...
- דובר:
- אריאל קוליק
- תאריך:
- יום רביעי, 15.12.2010, 16:30
- מקום:
- טאוב 601
Pixel Club Seminar: Efficient Linear Sketches for the Set Query Problem
Sparse recovery, or compressive sensing, is the problem of approximating a vector x from a low-dimensional linear sketch Ax, where A is an m ...
- דובר:
- אריק פרייס (MIT)
- תאריך:
- יום רביעי, 15.12.2010, 13:30
- מקום:
- חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Theory Seminar: Local List-Decoding with a Constant Number of Queries
Recently there was constructed locally-decodable codes of sub-exponential length. This result showed that these codes can handle up to one third fraction of errors. ...
- דובר:
- קלים אפרנקו (אונ' ת"א)
- תאריך:
- יום רביעי, 15.12.2010, 12:20
- מקום:
- חדר 337, בניין טאוב למדעי המחשב
CGGC Seminar: Surface Comparison using Conformal Geometry
In this talk we will present three applications of conformal geometry to the problems of surface matching and comparison. In particular we will show ...
- דובר:
- ירון ליפמן (אונ' פרינסטון)
- תאריך:
- יום רביעי, 15.12.2010, 11:30
- מקום:
- טאוב 5 (קומה 1)
Retro: An "Alway There" and "Not in The Way" Snapshot System
- דובר:
- Liuba Shrira
- תאריך:
- יום שלישי, 14.12.2010, 14:30
- מקום:
- חדר 337-8 טאוב.
Pixel Club Seminar: Topics in Distributed Robotics
TBD
- דובר:
- אלאן וינפילד (hp ואונ' בריסטול, אנגליה)
- תאריך:
- יום שלישי, 14.12.2010, 12:30
- מקום:
- טאוב 401
Pixel Club Seminar: Toward Optimal Real-Time Transcoding of Images and Video Data Using Requantization
Visual communication often requires adaptation of the transmission bit-rate to the available channel bandwidth or display characteristics of the end users. In this work, ...
- דובר:
- אורה גנדלר (הנדסת חשמל, הטכניון)
- תאריך:
- יום שלישי, 14.12.2010, 11:30
- מקום:
- חדר 337, בניין טאוב למדעי המחשב
Theory Seminar: On the Semantics of Local Characterizations for Linear-Invariant Properties
A property of functions on a vector space is said to be linear-invariantif it is closed under linear transformations of the domain.Linear-invariant properties are ...
- דובר:
- ג'קוב נורדסטרום (אונ' סטוקהולם, שוודיה)
- תאריך:
- יום רביעי, 8.12.2010, 12:30
- מקום:
- חדר 337, בניין טאוב למדעי המחשב
Pixel Club Seminar: Combined Local-Global Background Modeling for Anomaly Detection in Hyperspectral Images
In this research, we address the problem of anomaly detection using remotely sensed spectral information collected by hyperspectral sensors. Anomaly detection algorithms first model ...
- דובר:
- איל מדר (הנדסת חשמל, הטכניון)
- תאריך:
- יום שלישי, 7.12.2010, 11:30
- מקום:
- חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Haifux, Haifa Linux Club: Creative Commons Licenses, Open Source Software Licenses & the new Israeli Copyright Act of 2007
TBA
- דובר:
- דלית קן-דרור (אוניברסיטת חיפה)
- תאריך:
- יום שני, 6.12.2010, 18:30
- מקום:
- טאוב 6
Applications of Shellable Complexes to Distributed Computing
- דובר:
- Maurice Herlihy
- תאריך:
- יום שלישי, 30.11.2010, 14:30
- מקום:
- חדר 337-8 טאוב.
Pixel Club Seminar: Single Image Head Orientation and Gaze Detection
We introduce a system to compute both head orientation and gaze detection from a single image. The system uses a camera with fixed parameters ...
- דובר:
- ג'רמי קמינסקי (מ"מ, מכון טכנולוגי, חולון)
- תאריך:
- יום שלישי, 30.11.2010, 11:30
- מקום:
- חדר 337, בניין טאוב למדעי המחשב
Connecting the Dots Between News Articles
- דובר:
- Dafna Shahaf SPECIAL GUEST LECTURE
- תאריך:
- יום ראשון, 28.11.2010, 11:00
- מקום:
- חדר 337-8 טאוב NOTE UNUSUAL DAY AND TIME Bld.
New Techniques for the Cryptanalysis of Hash Functions
Cryptographic hash functions take a message of arbitrary length and generate a short fingerprint. Their main use are for digital signatures, due to their ...
- דובר:
- רפי חן
- תאריך:
- יום רביעי, 24.11.2010, 14:00
- מקום:
- טאוב 601
Theory Seminar: The Topology of Shared-memory Adversaries
Failure patterns in modern parallel and distributed system are not necessarily uniform. The notion of an adversary scheduler is a natural way to extend ...
- דובר:
- פרופ' מוריס הרלי (אוניברסיטת בראון)
- תאריך:
- יום רביעי, 24.11.2010, 12:20
- מקום:
- חדר 337, בניין טאוב למדעי המחשב
Approximated Learning and Inference in Large Scale Graphical Models
- דובר:
- Tamir Hazan
- תאריך:
- יום שלישי, 23.11.2010, 14:30
- מקום:
- חדר 337-8 טאוב.
Haifux, Haifa Linux Club: The Cairo Graphics Compositing Library
The Cairo graphics library has become an integral part of open source graphics, being the bases for quality graphics in various projects, such as ...
- דובר:
- בעז גולדשטיין
- תאריך:
- יום שני, 22.11.2010, 18:30
- מקום:
- טאוב 6
Communication-Efficient Self-Stabilization Using Gossip.
A self-stabilizing algorithm is a distributed algorithm that converges to a legal solution from any initial configuration. Most self-stabilizing protocols rely on checking every ...
- דובר:
- דמיטרי זיננקו
- תאריך:
- יום רביעי, 17.11.2010, 14:00
- מקום:
- טאוב 601
Bioinformatics Forum: Identification of Rare Alleles and their Carriers using Compressed Se(que)nsing
Identification of rare variants by resequencing is important both for detecting novel variations and for screening individuals for known disease alleles. New technologies enable ...
- דובר:
- נועם שנטל (מדעי המחשב, האונ' הפתוחה)
- תאריך:
- יום רביעי, 17.11.2010, 13:30
- מקום:
- טאוב 701
Theory Seminar: Hats Auctions and Derandomization
Goldberg, Hartline and Wright [SODA 2001] introduced the notion of 'competitive analysis' into 'auction theory' when dealing with 'unlimited supply', 'unit demand', 'single item' ...
- דובר:
- אורן בן-צבי (הטכניון)
- תאריך:
- יום רביעי, 17.11.2010, 12:30
- מקום:
- חדר 337, בניין טאוב למדעי המחשב
Pixel Club Seminar: Representation, Processing and Animation of Images via Geometric Models
In this talk I plan to discuss some results on image representation and processing via geometric models, in two extreme scales: 1. The finest ...
- דובר:
- יוסף יומדין (מכון ויצמן למדע)
- תאריך:
- יום שלישי, 16.11.2010, 11:30
- מקום:
- חדר 337, בניין טאוב למדעי המחשב
Theory Seminar: Deterministic Construction of a high dimensional ell-p section in ell-1^n for any p<2 (and its implications in compressed sensing)
For any $00$, we give an efficient deterministic construction of a linear subspace $V \subseteq \R^n$, of dimension $(1-\epsilon)n$ in which the $\ell_p$ and ...
- דובר:
- זהר קרנין (מדעי המחשב, הטכניון)
- תאריך:
- יום רביעי, 10.11.2010, 12:30
- מקום:
- חדר 337, בניין טאוב למדעי המחשב
Size-space tradeoffs in propositional proof complexity
- דובר:
- Eli Ben-Sasson
- תאריך:
- יום שלישי, 9.11.2010, 14:30
- מקום:
- חדר 337-8 טאוב.
Haifux, Haifa Linux Club: SSDL & Linux – a Love story or a Battle field? How to Change to Linux and Survive (Give or Take)
SSDL & Linux – a Love story or a Battle field? In the talk I will describe the process of moving (almost) all the ...
- דובר:
- שחר דג (המעבדה לפיתוח תוכנה ומערכות -SSDL)
- תאריך:
- יום שני, 8.11.2010, 18:30
- מקום:
- טאוב 6
Gravity currents as a test case: do simple mathematical models produce good physical insights, or do good insights generate powerful models?
- דובר:
- Marius Ungarish
- תאריך:
- יום שלישי, 2.11.2010, 14:30
- מקום:
- חדר 337-8 טאוב.
Pixel Club Seminar: Navigation Performance Enhancement using Online Mosaicking
Since the Global Positioning System (GPS) was established in the 1970s, navigation has become a much easier task. Indeed, the majority of navigation systems ...
- דובר:
- ודים אינדלמן (הנדסת אווירונאוטיקה, טכניון)
- תאריך:
- יום שלישי, 2.11.2010, 11:30
- מקום:
- חדר 337, בניין טאוב למדעי המחשב
Dependent UFP On a Shared Channel With Application to a Network Centric Operation
In this talk we generalize the well-known Unsplittable Flow Problem (UFP) and show its applicability to the emerging Network Centric Operations (NCO) concept. While ...
- דובר:
- איליה נודלמן
- תאריך:
- יום רביעי, 27.10.2010, 14:00
- מקום:
- טאוב 601
Pixel Club Seminar: Transcription and Classification of Audio data by Sparse Representations and Geometric Methods
Transcription and Classification of Audio Data by sparse Representations and Geometric Methods
- דובר:
- מיכל גנוסוב (הנדסת חשמל, טכניון)
- תאריך:
- יום רביעי, 27.10.2010, 13:30
- מקום:
- EE Meyer Building 1061
Haifux, Haifa Linux Club: Secure File Systems
In this talk I shall cover two concepts related to protecting your information, cryptographic file system and steganographic file system. A cryptographic file system ...
- דובר:
- אור דונקלמן (מכון ויצמן למדע)
- תאריך:
- יום שני, 25.10.2010, 18:30
- מקום:
- טאוב 6
Completeness and Universality Properties of Graph Invariants and Graph Polynomials
Graph polynomials are powerful and well-developed tools to express graph parameters. Usually graph polynomials are compared to each other by ad-hoc means allowing to ...
- דובר:
- איליה אברבוך
- תאריך:
- יום רביעי, 20.10.2010, 14:00
- מקום:
- טאוב 601
Pixel Club Seminar: Schizophrenic(*) Perspective on Software Testing
In this talk, I will present my personal perspective on software testing and quality, a perspective which is torn between being an academic interested ...
- דובר:
- יוסי גיל (מדעי המחשב, טכניון)
- תאריך:
- יום רביעי, 20.10.2010, 12:30
- מקום:
- טאןב 2
Pixel Club Seminar: Reading into the MAP: how mean is it ?
Should penalized least squares regression be interpreted as Maximum A Posteriori estimation? Penalized least squares regression is often used for signal denoising and inverse ...
- דובר:
- רמי גריבונבאל (INRIA)
- תאריך:
- יום שלישי, 19.10.2010, 14:30
- מקום:
- חדר 337, בניין טאוב למדעי המחשב
Should penalized least squares regression be interpreted as Maximum A Posteriori estimation? Subtitle: Reading into the map: how mean is it ?
- דובר:
- Remi Gribonval
- תאריך:
- יום שלישי, 19.10.2010, 14:30
- מקום:
- חדר 337-8 טאוב.
Pixel Club Seminar: Integrating Computer Graphics and Computer Vision in Virtual Humans Projects
In this talk I'll present some research topics supervised by me during the last 10 years in VHLab, mainly in the context of Virtual ...
- דובר:
- סוריה ראופ מוס (מדעי המחשב, PUCRS)
- תאריך:
- יום שלישי, 19.10.2010, 11:30
- מקום:
- חדר 337, בניין טאוב למדעי המחשב
Pixel Club Seminar: Sparsity-Based Signal Models and the Sparse K-SVD Algorithm
Signal models are used for a wide array of signal and image processing tasks – from deconvolution, denoising, and interpolation to source separation, super-resolution, ...
- דובר:
- רן רובינשטיין (מדעי המחשב, הטכניון)
- תאריך:
- יום שלישי, 5.10.2010, 11:30
- מקום:
- חדר 337, בניין טאוב למדעי המחשב
Haifux, Haifa Linux Club: The Hitchhikers' Guide to the SHA-3 Competition
Following the advances in the cryptanalysis of hash functions in the last years, and especially the alarming results on SHA1 and Merkle-Damgard hash functions, ...
- דובר:
- אור דונקלמן (מכון ויצמן למדע)
- תאריך:
- יום שני, 4.10.2010, 18:30
- מקום:
- טאוב 6
Pixel Club Seminar: Blind Source Separation of Instantaneous
Blind source separation of images and voice signals is a well known and well studied subject. Solutions for this problem have various applications, such ...
- דובר:
- מיכאל שמיש (הנדסת חשמל, הטכניון)
- תאריך:
- יום שלישי, 21.9.2010, 14:30
- מקום:
- חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Pixel Club Seminar: Surface and Volume Mapping via Mass Transport
In this talk, we present novel approaches for mapping surfaces and volumes to corresponding canonical domains with the same topology. In general we wish ...
- דובר:
- איילת דומיניץ (הנדסת חשמל, הטכניון)
- תאריך:
- יום שלישי, 21.9.2010, 11:30
- מקום:
- חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Bioinformatics Forum: Towards The Systems Biology of Breast Cancer: Exploiting MultilevelMolecular Data of High Dimension
Cancer is a worldwide burden with several million deaths annually and the situation is set to worsen globally as the population ages, with a ...
- דובר:
- מרים רייגל אאור ואולה-כריסטיאן לינגזרד (אונ' ובי"ח אוסלו, נורווגיה)
- תאריך:
- יום רביעי, 15.9.2010, 13:30
- מקום:
- טאוב 601
Pixel Club Seminar: Image Sequence Processing Without Motion Estimation
YouTube movies, live streaming, TV broadcast, conference calls and more - there is no doubt that video sequences are abundant and in everyday use. ...
- דובר:
- מתן פרוטר (מדעי המחשב, הטכניון)
- תאריך:
- יום שלישי, 14.9.2010, 11:30
- מקום:
- חדר 337, בניין טאוב למדעי המחשב
Pixel Club Seminar: A Parallel Algorithm for Sparse Demixing - Applied to Retinal Imaging and Remote Sensing
The talk addresses the analysis of multi-spectral retinal image sets and hyperspectral satellite images. Pixels in such image sets represent mixtures of pure substances, ...
- דובר:
- מרטין אהלר (אונ' קולומביה הבריטית)
- תאריך:
- יום חמישי, 2.9.2010, 14:30
- מקום:
- חדר 337, בניין טאוב למדעי המחשב
Pixel Club Seminar: Reconstruction of the Brain Using High-Throughput Microscopy: Imaging, Segmentation, and Visualization
Recent advances in microscopy have enabled the collection of large amounts of microscopic data at rapid rates. The size and rate of acquisition of ...
- דובר:
- ג'ון קייזר (אונ' A&M בטקסס)
- תאריך:
- יום שני, 30.8.2010, 10:00
- מקום:
- חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
An effective method for parameter estimation with PDE constraints with multiple right hand sides
- דובר:
- Eldad Haber SPECIAL LECTURE
- תאריך:
- יום ראשון, 29.8.2010, 14:30
- מקום:
- חדר 337-8 טאוב.
Haifux, Haifa Linux Club: HTML5 - The Next Generations of the Web
Since 2004, the Web Hypertext Application Technology Working Group (WHATWG) has been working on the next generation of HTML, the markup that makes up ...
- דובר:
- צפריר ריהן
- תאריך:
- יום שני, 16.8.2010, 18:30
- מקום:
- טאוב 6
סמינר פיקסל קלאב: מדידה וניתוח של תהליך ההסתגלות לאותות אופטיים ברשתית הביולוגית
רשתית העין היא הרקמה העצבית הראשונה המעבדת את המידע החזותי במערכת הראיה הביולוגית. בעבודה זאת נערכו ניסויי מעבדה בהם נבדקה תגובת רשתית חיה מתוך ...
- דובר:
- גיל ריבנאי (הנדסת חשמל, הטכניון)
- תאריך:
- יום שלישי, 10.8.2010, 11:30
- מקום:
- חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Pixel Club Seminar: Rich Photography on a Budget
Computation is playing an increasingly central role in how we capture and process our images, opening up richer forms of photography that go beyond ...
- דובר:
- סם חסינוף (MIT, CSAIL)
- תאריך:
- יום רביעי, 4.8.2010, 11:30
- מקום:
- חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Haifux, Haifa Linux Club: Zemereshet - An Emergency Project for the Rescue and Electronic Documentation of Early Hebrew Music
Zemereshet is an Emergency Project for the Rescue and Electronic Documentation of Early Hebrew Music. It is a volunteer association of enthusiasts who have ...
- דובר:
- יאיר אבן-זוהר (הטכניון)
- תאריך:
- יום שני, 2.8.2010, 18:30
- מקום:
- טאוב 6
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.2010, 11:30
- מקום:
- טאוב 337
Haifux, Haifa Linux Club: Valgrind - From Magic to Science
Valgrind is an extremely powerful development tool, which detects and pin-points many common programming errors when running a program. Some examples for the problems ...
- דובר:
- שחר ריינדל (הנדסת חשמל, הטכניון))
- תאריך:
- יום שני, 26.7.2010, 18:30
- מקום:
- טאוב 6
Pixel Club Seminar: Compressed Sensing for Hyperspectral Imaging
We introduce a system for hyperspectral imaging based on micro-mirror array, that projects subsets of image pixels onto a prism (or diffraction grating), followed ...
- דובר:
- אודי פפר (מדעי המחשב, הטכניון)
- תאריך:
- יום רביעי, 14.7.2010, 11:30
- מקום:
- חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Finding and Localizing Bugs in Dynamic Web Applications
- דובר:
- Shay Artzi
- תאריך:
- יום ראשון, 11.7.2010, 14:30
- מקום:
- חדר 337-8 טאוב.
Haifux, Haifa Linux Club: GarlicSim: An Experimental Tool for Computer Simulations
GarlicSim is an ambitious open-source project in the field of scientific computing, specifically computer simulations. It attempts to redefine the way that people think ...
- דובר:
- רם רחום (GarlicSim)
- תאריך:
- יום שני, 5.7.2010, 18:30
- מקום:
- טאוב 6
CGGC Seminar: A Multi-Resolution Approach to Heat Kernels on Discrete Surfaces
Studying the behavior of the heat diffusion process on a manifold is emerging as an important tool for analyzing the geometry of the manifold. ...
- דובר:
- אמיר וקסמן (מדעי המחשב, הטכניון)
- תאריך:
- יום ראשון, 4.7.2010, 13:00
- מקום:
- חדר 337, בניין טאוב למדעי המחשב
Probabilistic Methods in Distributed Computing
An inherent characteristic of distributed systems is the lack of centralized control, which requires the components to coordinate their actions. This need is abstracted ...
- דובר:
- קרן צנזור הלל
- תאריך:
- יום רביעי, 30.6.2010, 14:30
- מקום:
- טאוב 601
Complex Barycentric Coordinates with Applications to Planar Shape Deformation and Interpolation
Barycentric coordinates are heavily used in computer graphics applications to generalize a set of given data values. Traditionally, the coordinates are required to satisfy ...
- דובר:
- אופיר ובר
- תאריך:
- יום רביעי, 30.6.2010, 11:00
- מקום:
- טאוב 401
LOCATION, LOCATION, LOCATION: CASTING A WIDE NET ON GEOGRAPHIC INFORMATION SYSTEMS (GIS)
- דובר:
- Hanan Samet
- תאריך:
- יום שלישי, 29.6.2010, 14:30
- מקום:
- חדר 337-8 טאוב.
Pixel Club Seminar: Incorporating Temporal Context in Bag-of-Words Models
The Bag-of-Words (BoW) model is often used for recognition of objects, scenes, actions and more. It achieves impressive results in many diff erent areas, ...
- דובר:
- תמר בק (הנדסת חשמל, הטכניון)
- תאריך:
- יום שלישי, 29.6.2010, 11:30
- מקום:
- חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Cross Layer Networking and Management for Mobile Wireless Networks
- דובר:
- Distinguished Professor Izhak Rubin
- תאריך:
- יום חמישי, 24.6.2010, 14:30
- מקום:
- חדר 337-8 טאוב.
Pixel Club Seminar: What is a Cluster? Perspectives from Game Theory
Contrary to the vast majority of approaches to clustering, which view the problem as one of partitioning a set of observations into coherent classes, ...
- דובר:
- מרצ'לו פלילו (אוניברסיטת ונציה, איטליה)
- תאריך:
- יום חמישי, 24.6.2010, 11:30
- מקום:
- חדר 337, בניין טאוב למדעי המחשב
Pixel Club Seminar: Non-parametric Atlas-Based Segmentation of Highly Variable Anatomy
We propose a non-parametric probabilistic model for the automatic segmentation of medical images. The resulting inference algorithms register individual training images to the new ...
- דובר:
- פולינה גולנד, MIT/CSAIL
- תאריך:
- יום רביעי, 23.6.2010, 11:30
- מקום:
- חדר 337, בניין טאוב למדעי המחשב
Large networks, Communities and Kronecker Products
- דובר:
- Jure Leskovec
- תאריך:
- יום שלישי, 22.6.2010, 14:30
- מקום:
- חדר 337-8 טאוב.
Pixel Club Seminar: Color Video Coding using Spatio-Temporal Correlation of Primary Colors
Natural videos, given in the RGB color space, are characterized by high correlations between the primary colors (R, G and B). To reduce this ...
- דובר:
- רודי פרימורק (הנדסת חשמל, הטכניון)
- תאריך:
- יום שלישי, 22.6.2010, 11:30
- מקום:
- חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Haifux, Haifa Linux Club: Technological Challanges in Ben Yehuda Project
פרוייקט בן-יהודה הוא מיזם התנדבותי אשר בונה ומתחזק מאגר חופשי של יצירה עברית שאינה מוגנת בזכויות יוצרים. המהדורות האלקטרוניות של היצירות מוגשות לציבור בחינם, ...
- דובר:
- אסף ברטוב (פרוייקט בן-יהודה, יו"ר העמותה למיחשוב ספרות עברית)
- תאריך:
- יום שני, 21.6.2010, 18:30
- מקום:
- טאוב 6
Analysis and Detection of Interactions Among Aspects
Aspect-oriented programming is becoming a common approach to extend object systems with modules that cross-cut the usual class hierarchy. Aspects encapsulate treatment of concerns ...
- דובר:
- אמיליה כץ
- תאריך:
- יום ראשון, 20.6.2010, 12:30
- מקום:
- טאוב 701
Pixel Club Seminar: Whole-Body Robot Sensing Is Prerequisite for Human-Robot Interaction and Teams
While control via sensing in robotics and in human-robot interaction is important for both robot autonomous vehicles and arm manipulators, it is more prescient ...
- דובר:
- ולדימיר לומלסקי (אונ' נאס"א, מרילנד)
- תאריך:
- יום ראשון, 20.6.2010, 11:30
- מקום:
- חדר 337, בניין טאוב למדעי המחשב
CGGC Seminar: Visualizing R^N – Representing Surfaces by their Normal Vectors
With parallel coordinates the perceptual barrier imposed by our 3-dimensional habitation is breached enabling the visualization of multidimensional problems. By learning to recognize patterns ...
- דובר:
- אלפרד אינסלברג (מתמטיקה, אונ' ת"א)
- תאריך:
- יום ראשון, 20.6.2010, 11:00
- מקום:
- טאוב 401
A Brief History of the Internet
- דובר:
- Distinguished professor Leonard Kleinrock
- תאריך:
- יום רביעי, 16.6.2010, 14:30
- מקום:
- EE Meyer Building 861
Online reconstruction of 3D objects from arbitrary cross-section data
The reconstruction of a surface from a set of planar cross-sections such that the surface interpolates, or approximates, the input has been thoroughly studied ...
- דובר:
- עמית ברמנו
- תאריך:
- יום רביעי, 16.6.2010, 11:00
- מקום:
- טאוב 337
My Life and My Work
- דובר:
- Distinguished professor Leonard Kleinrock
- תאריך:
- יום שלישי, 15.6.2010, 14:30
- מקום:
- חדר 337-8 טאוב.
יום עיון בקריפטולוגיה 2010
יום העיון בקריפטולוגיה 2010 יתקיים ביום ד', 9 ביוני 2010, בין השעות 9.00-16.10, באודיטוריום 1, בניין טאוב למדעי המחשב, הטכניון. כולם מוזמנים. פרטים נוספים ותוכנית
- דובר:
- יום עיון בקריפטולוגיה
- תאריך:
- יום רביעי, 9.6.2010, 13:30
- מקום:
- טאוב 1
Bioinformatics Forum: Useful Tools in Finding Genetic Determinants of Complex Traits: Quantitative Genetic Analysis Software and Bioinformatics Resources for Marker Prioritization.
Substantial familial aggregation and heritability is observed for a wide range of phenotypes in general human population. Much effort has been made to decipher ...
- דובר:
- דר' סרגי ארמקוב (הפק' לרפואה, אונ' תל-אביב)
- תאריך:
- יום רביעי, 9.6.2010, 13:30
- מקום:
- טאוב 701
Pixel Club Seminar: "Good" Computation for the Motion of Colliding Objects
We would like to compute the motion of flexible materials colliding against each other in complex ways (e.g., sheets of fabric being knotted, plastic ...
- דובר:
- איתן גרינספון (מדעי המחשב, אוניברסיטת קולומביה)
- תאריך:
- יום רביעי, 9.6.2010, 11:30
- מקום:
- חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Bioinformatics Forum: Accurate Protein Function Prediction with the GOstruct Method
Protein function prediction is an active area of research in bioinformatics. And yet, transfer of annotation on the basis of sequence or structural similarity ...
- דובר:
- אסא בן-חור (מדעי המחשב, אונ' קולורדו)
- תאריך:
- יום רביעי, 9.6.2010, 11:00
- מקום:
- טאוב 701
Regret Minimization and Job Scheduling
- דובר:
- Yishay Mansour - Annual S. Even Distinguished Colloquium
- תאריך:
- יום שלישי, 8.6.2010, 14:30
- מקום:
- חדר 337-8 טאוב.
Pixel Club Seminar: Nash, Burago & Zalgaller and Image Processing
The celebrated Nash Embedding Theorem is extensively employed in recent years in various theoretical, as well as practical, aspects of Computer Graphics and Image ...
- דובר:
- אמיל סוקן (מתמטיקה, טכניון)
- תאריך:
- יום שלישי, 8.6.2010, 11:30
- מקום:
- חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Haifux, Haifa Linux Club: Gupta et al.'s paper (and work) on Difference Engine.
Difference Engine is an extension to Xen, which is an open-source hypervisor. The paper, titled "Difference Engine: Harnessing Memory Redundancy in Virtual Machines", by ...
- דובר:
- אורנה אגמון בן-יהודה (מדעי המחשב, הטכניון)
- תאריך:
- יום שני, 7.6.2010, 18:30
- מקום:
- טאוב 6
CGGC Seminar: A Polynomial Root Solver that preserves The Multiplicities of the Roots
TBA
- דובר:
- יואב וינקלר (אונ' שפילד, אנגליה)
- תאריך:
- יום חמישי, 3.6.2010, 13:00
- מקום:
- חדר 337, בניין טאוב למדעי המחשב
Bioinformatics Forum: Deriving Enzymatic and Taxonomic Signatures of Metagenomes from Short Read Data
We propose a method for deriving enzymatic signatures from short read (SR) metagenomic data of unknown species. The SR data are converted to six ...
- דובר:
- פרופ' דוד הורן (ביה"ס לפיסיקה ואסטרונומיה, אונ' ת"א)
- תאריך:
- יום רביעי, 2.6.2010, 13:30
- מקום:
- טאוב 701
From Philosophical to Industrial Logics
- דובר:
- Moshe Y. Vardi
- תאריך:
- יום שלישי, 1.6.2010, 14:30
- מקום:
- חדר 337-8 טאוב.
Pixel Club Seminar: Inverse Source Problems in Domains with Holes
We consider the inverse problem of discovering the location of point sources from very sparse point measurements in a bounded domain that contains impenetrable ...
- דובר:
- ריצ'רד טסאי (מתמטיקה, אונ' טקסס)
- תאריך:
- יום שלישי, 1.6.2010, 14:30
- מקום:
- חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Pixel Club Seminar: Audio - Visual Fusion
- דובר:
- ראדו הוראד (INRIA צרפת)
- תאריך:
- יום שלישי, 1.6.2010, 11:30
- מקום:
- חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Pixel Club Seminar: 3D Shape Representation Using Diffusion Embeddings
We will address the problem of representing shapes using eigenvalues and eigenvectors of the discrete diffusion operator. A discrete shape, such as a mesh ...
- דובר:
- ראדו הוראד (INRIA צרפת)
- תאריך:
- יום שני, 31.5.2010, 11:30
- מקום:
- חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Mathematics Club Seminar: Metric Geometry in Action
More detail in seminar poster פרטים נוספים
- דובר:
- רון קימל (מדעי המחשב, הטכניון)
- תאריך:
- יום רביעי, 26.5.2010, 16:30
- מקום:
- אמאדו 232
Privacy Preserving Data Mining
In recent years the data mining community has faced a new challenge. Having shown how effective its tools are in revealing the knowledge locked ...
- דובר:
- אריק פרידמן
- תאריך:
- יום רביעי, 26.5.2010, 14:00
- מקום:
- טאוב 601
Computational Metric Geometry: A New Tool in Image Sciences
- דובר:
- Michael Bronstein
- תאריך:
- יום שלישי, 25.5.2010, 14:30
- מקום:
- חדר 337-8 טאוב.
Pixel Club Seminar: On the Role of Color Information in Image Processing and Visual Communication
Color information plays a major role in image processing and visual communication although presently most algorithms and tools are developed mainly for monochromatic images. ...
- דובר:
- יבגני גרשיקוב (טכניון)
- תאריך:
- יום שלישי, 25.5.2010, 11:30
- מקום:
- חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Haifux, Haifa Linux Club: KDE 4 - The Good, The Bad, and The Broken
KDE was developed to give Unix applications a common look and feel. From 1996 to 2007 the desktop environment saw many improvements and changes. ...
- דובר:
- דותן כהן (טכניון)
- תאריך:
- יום שני, 24.5.2010, 18:30
- מקום:
- טאוב 6
Oblivious and Cost Aware Distributed Load Sharing in the Cloud
- דובר:
- Danny Raz
- תאריך:
- יום שלישי, 11.5.2010, 14:30
- מקום:
- חדר 337-8 טאוב.
Haifux, Haifa Linux Club: Compromising Electromagnetic Emanations of Wired and Wireless Keyboards
Roy Migdal will present the work of Martin Vuagnoux and Sylvain Pasini, which won the best paper award at 18th USENIX Security Symposium (Usenix ...
- דובר:
- רועי מגדל
- תאריך:
- יום שני, 10.5.2010, 18:30
- מקום:
- טאוב 6
Pixel Club Seminar: Non-Rigid Shape Correspondence by Matching Semi-Local Spectral Features and Global Geodesic Structures
Non-rigid shape correspondence by matching semi-local spectral features and global geodesic structures Abstract: We present an efficient computational method for finding correspondences between non-rigid ...
- דובר:
- אנסטסיה דוברובינה (הנדסת חשמל, הטכניון)
- תאריך:
- יום שני, 10.5.2010, 11:30
- מקום:
- חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Radical Lexicalization of Mildly Context-Sensitive Languages
A family of languages is called mildly context-sensitive if 1. it includes the family of all context-free languages; 2. it contains the languages * ...
- דובר:
- דניאל גנקין
- תאריך:
- יום רביעי, 5.5.2010, 15:30
- מקום:
- טאוב 701
Bitonic Sorters Of Minimal Depth
A Bitonic sorter is a comparator network that sorts every Bitonic input sequence. In our research, we studied the minimal depth of such networks. ...
- דובר:
- תמיר לוי
- תאריך:
- יום רביעי, 5.5.2010, 14:30
- מקום:
- טאוב 601
The Identification of Join Candidates in the Cairo Genizah: An interdisciplinary challenge in computer assisted text processing
- דובר:
- Lior Wolf
- תאריך:
- יום שלישי, 4.5.2010, 14:30
- מקום:
- חדר 337-8 טאוב.
Pixel Club Seminar:
נחילים – מעולם הטבע לעולם ההנדסה – מה ניתן ללמוד מהטבעחקירה והתבוננות בעולם הטבע חוללה תובנות רבות בקרב החוקרים. נחילים בטבע, כמו גם בעלי חיים החיים בקבוצות שיתופיות, מציגים יכולות מרשימות בהשגת יעדים קבוצתיים, ...
- דובר:
- אריק יבנאי
- תאריך:
- יום שלישי, 4.5.2010, 11:30
- מקום:
- חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Pixel Club Seminar: Theory and Algorithms for Anisotropic Triangulations with Applications to Image Representations
We present the first results of an ongoing project revolving around approximation by finite element functions on adaptive and anisotropic triangulations, with application to ...
- דובר:
- אלברט כהן (אונ' פריס)
- תאריך:
- יום רביעי, 28.4.2010, 11:30
- מקום:
- חדר 337, בניין טאוב למדעי המחשב
Haifux, Haifa Linux Club: Making the Internet Accessible - workshop
In this meeting we shall try and contact as many webmasters of as many websites that do not support Linux-based browsing (as well as ...
- דובר:
- אור דונקלמן (מכון ויצמן למדע)
- תאריך:
- יום שני, 26.4.2010, 18:30
- מקום:
- טאוב 6
Bioinformatics Forum: An Algorithmic Framework for Predicting Side-Effects of Drugs
One of the critical stages in drug development is the identification of potential side effects for promising drug leads. Large scale clinical experiments aimed ...
- דובר:
- ניר אטיאס (מדעי מחשב, אונ' ת"א)
- תאריך:
- יום רביעי, 21.4.2010, 14:30
- מקום:
- חדר 337, בניין טאוב למדעי המחשב
Movement Problems
- דובר:
- Daniel Marx
- תאריך:
- יום שלישי, 13.4.2010, 14:30
- מקום:
- חדר 337-8 טאוב.
Haifux, Haifa Linux Club: Genetic Algorithms
TBA
- דובר:
- עומר בוהם
- תאריך:
- יום שני, 12.4.2010, 18:30
- מקום:
- טאוב 6
Temporal Concept Learning (or how to predict the future?)
Man has long desired to predict events that are likely to take place in the future. Such predictions can be beneficial for planning, resource ...
- דובר:
- קירה רדינסקי
- תאריך:
- יום רביעי, 7.4.2010, 13:00
- מקום:
- טאוב 337
Theory Seminar: A Thermodynamic Approach to the Analysis of Multi-Robot Cooperative Localization under Independent Errors
Abstract: We propose a new approach to the simultaneous cooperative localization of a group of robots capable of sensing their own motion and the ...
- דובר:
- יותם אלאור (מדעי המחשב, הטכניון)
- תאריך:
- יום רביעי, 7.4.2010, 12:30
- מקום:
- טאוב 201
Online Set Packing and Competitive Scheduling of Multi-Part Tasks
- דובר:
- Dror Rawitz
- תאריך:
- יום שלישי, 6.4.2010, 14:30
- מקום:
- חדר 337-8 טאוב.
The security tower of Babel
- דובר:
- Yuri Gurevich
- תאריך:
- יום חמישי, 25.3.2010, 14:30
- מקום:
- חדר 337-8 טאוב.
Model Checking Using Tree-width Methods: Old and New
- דובר:
- Isolde Adler SPECIAL LECTURE note unusual hour
- תאריך:
- יום חמישי, 18.3.2010, 11:30
- מקום:
- חדר 601 טאוב.
Code Structures in Java
This research explores the identification of recurring constructs, Code Structures, which serve as the building blocks of object oriented programs and the exploitation of ...
- דובר:
- איתי ממן
- תאריך:
- יום רביעי, 17.3.2010, 14:30
- מקום:
- טאוב 601
Theory Seminar: On the Degree of Symmetric Functions on the Boolean Cube
In the 1997 paper "Polynomials with two values" by von zur Gathen and Roche (Combinatorica), the authors proved that the degree of any non-constant ...
- דובר:
- גיל כהן (מדעי המחשב, הטכניון)
- תאריך:
- יום רביעי, 17.3.2010, 12:30
- מקום:
- טאוב 201
Fixed-parameter algorithms for graph separation problems
- דובר:
- Igor Razgon
- תאריך:
- יום שלישי, 16.3.2010, 14:30
- מקום:
- חדר 337-8 טאוב.
Pixel Club Seminar: Computational Aesthetics - Science or Art?
Apart from rendering photorealistic images many works in computer graphics focus on creating illustrative and artistic images. Such images can be used in many ...
- דובר:
- אוליבר דאוסן (אונ' קונסטנץ, גרמניה)
- תאריך:
- יום שלישי, 16.3.2010, 11:30
- מקום:
- EE Meyer Building 1061
Haifux, Haifa Linux Club: Scientific Programming with Modern Fortran
Fortran is the most known language for scientific and engineering problems. However growth of popularity of C/C++,Java, Matlab etc has shadowed the development and ...
- דובר:
- שמעון פנפיל (Ph.D.)
- תאריך:
- יום שני, 15.3.2010, 18:30
- מקום:
- טאוב 8 (מיקום שונה)
Bioinformatics Forum: An Universal Adaptive Translation Efficiency Profile of Proteins
Recent years have seen intensive progress in measuring protein translation. However, the contributions of coding sequences to the efficiency of the process remain unclear. ...
- דובר:
- צחי פלפל (מכון ויצמן למדע)
- תאריך:
- יום שני, 15.3.2010, 14:30
- מקום:
- חדר 337, בניין טאוב למדעי המחשב
Theory Seminar: Non-Preemptive Buffer Management for Latency Sensitive Packets
The delivery of latency sensitive packets is a crucial issue in real time applications of communication networks. Such packets often have a firm deadline ...
- דובר:
- מורן פלדמן (מדעי המחשב, הטכניון)
- תאריך:
- יום רביעי, 10.3.2010, 12:30
- מקום:
- טאוב 201
Property Testing and its application in databases
- דובר:
- Eldar Fischer
- תאריך:
- יום שלישי, 9.3.2010, 14:30
- מקום:
- חדר 337-8 טאוב.
Pixel Club Seminar: Shape-constrained Graph Min-cut approach for Medical Image Segmentation
Segmentation of organs and vascular structures from clinical Computed Tomography (CT) images is a crucial task in many clinical applications including diagnosis, patient specific ...
- דובר:
- מוטי פרימן (מדעי המחשב, האונ' העברית בי-ם)
- תאריך:
- יום שלישי, 9.3.2010, 11:30
- מקום:
- חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
CGGC Seminar: 3D Surface Reconstruction Using A Generalized Distance Function
3D scanning is the process of acquiring a digital copy of a physical object. A 3D scanner is used to sample points on the ...
- דובר:
- רועי פורן (מדעי המחשב, הטכניון)
- תאריך:
- יום ראשון, 7.3.2010, 13:00
- מקום:
- חדר 337, בניין טאוב למדעי המחשב
Construction of Semantic User Interfaces
A state of the art Graphical User Interface (GUI) is composed of concrete controls, such as buttons, menus and windows. A semantical GUI, on ...
- דובר:
- מרדכי פורת
- תאריך:
- יום חמישי, 4.3.2010, 11:00
- מקום:
- טאוב 601
On the Performance of Dijkstra's 3rd Self-stabilizing Algorithm for Mutual Exclusion and Related Algorithms
In a paper of 1974 Dijkstra introduced the notion of self-stabilizing algorithms and presented three such algorithms for the problem of mutual exclusion on ...
- דובר:
- ויאצ'סלב צ'רנוי
- תאריך:
- יום רביעי, 3.3.2010, 14:00
- מקום:
- טאוב 601
Haifux, Haifa Linux Club: Drupal
Drupal is an open source content management system that developed into a web application framework written in PHP, it is used to build a ...
- דובר:
- מיכאל שמילוב, יוני לימור (yam-design) וישראל דוד
- תאריך:
- יום שני, 1.3.2010, 18:30
- מקום:
- טאוב 6
IE Student M.Sc. Seminar: Optimizing the Size of Software Inspection Teams
Code inspection is considered to be an efficient method for detecting some kinds of faults in software code documents. Other kinds of faults are ...
- דובר:
- אלכסנדר רג'ינסקי (הנדסת תעשייה וניהול)
- תאריך:
- יום שלישי, 23.2.2010, 11:00
- מקום:
- טאוב 701
Learning from Multiple Teachers
- דובר:
- Ofer Dekel
- תאריך:
- יום חמישי, 18.2.2010, 14:30
- מקום:
- חדר 337-8 טאוב.
Abstractions for devising compact controllers for MDPs
Planning a course of action is a key ability for intelligent systems. It involves the representation of actions and world models, reasoning about the ...
- דובר:
- קולמן וורנוביצקי
- תאריך:
- יום רביעי, 17.2.2010, 15:30
- מקום:
- טאוב 601
Cryptography by the People, for the People: How Voting and Cryptography Go Hand-in-Hand
- דובר:
- Tal Moran
- תאריך:
- יום שלישי, 16.2.2010, 14:30
- מקום:
- חדר 337-8 טאוב.
Haifux, Haifa Linux Club: VoIP in Linux
VoIP is an emerging and exciting technology. We will deal with the basics of VoIP protocols and we will discuss some Linux VoIP applications. ...
- דובר:
- רמי רוזן
- תאריך:
- יום שני, 15.2.2010, 18:30
- מקום:
- טאוב 6
Optimal Network Locality in Distributed Services
- דובר:
- Gwendal Simon SPECIAL TALK
- תאריך:
- יום שני, 15.2.2010, 14:30
- מקום:
- חדר 337-8 טאוב.
Theory Seminar: The Strength of Parameterized Tree-like Resolution
We examine the proof-theoretic strength of parameterized tree-like resolution---a proof system for the $\co\W[2]$-complete set of parameterized tautologies. Parameterized resolution and, moreover, a general ...
- דובר:
- מסימו לאוריה (אונ' רומא)
- תאריך:
- יום רביעי, 10.2.2010, 13:30
- מקום:
- טאוב 201
An online distributed system for genetic linkage analysis
In this talk I will describe the algorithms and mechanisms underlying a distributed system for genetic linkage analysis, called Superlink-online. It is a production ...
- דובר:
- מרק זילברשטיין
- תאריך:
- יום רביעי, 10.2.2010, 11:00
- מקום:
- טאוב 601
Scalable Garbage Collection on Highly Parallel Platforms
Computing landscape is changing rapidly in the recent years. On the one hand, the pervasiveness of multiprocessor and multicore hardware requires the software to ...
- דובר:
- קטרינה ברבש
- תאריך:
- יום רביעי, 3.2.2010, 14:00
- מקום:
- טאוב 601
Haifux, Haifa Linux Club: Hspell - A Retrospective
Hspell is a free Hebrew spell checker. It is used by most Linux distributions, by free applications such as OpenOffice and Firefox, and even ...
- דובר:
- נדב הראל (י.ב.מ. מעבדות מחקר חיפה)
- תאריך:
- יום שני, 1.2.2010, 18:30
- מקום:
- טאוב 6
Coding Techniques for Multidimensional Constrained Channels
Constrained systems are models for describing the read-write requirements of secondary storage systems, such as magnetic disks and optical devices. Proposals for new storage ...
- דובר:
- ארטיום שרוב
- תאריך:
- יום חמישי, 28.1.2010, 16:00
- מקום:
- טאוב 701
Computational Modeling and Algorithms in Molecular Evolution and Gene Translation
- דובר:
- Tamir Tuller
- תאריך:
- יום חמישי, 28.1.2010, 14:30
- מקום:
- חדר 337-8 טאוב.
Pixel Club Seminar: Shift-Map Image Editing
Geometric rearrangement of images includes operations such as image retargeting, object removal, or object rearrangement. Each such operation can be characterized by a shift-map: ...
- דובר:
- יעל פריטש (מדעי המחשב והנדסה, האונ' העברית)
- תאריך:
- יום שלישי, 26.1.2010, 11:30
- מקום:
- חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Accelerating the TSUBAME Supercomputer with Graphics Processing Units and its Implications to Systems Research
- דובר:
- Naoya Maruyama
- תאריך:
- יום ראשון, 24.1.2010, 14:30
- מקום:
- חדר 337-8 טאוב.
A Parallel Repetition Theorem for Any Cryptographic Protocol
- דובר:
- Iftach Ilan Haitner
- תאריך:
- יום חמישי, 21.1.2010, 14:30
- מקום:
- חדר 337-8 טאוב.
Beyond Nash Equilibrium: Solution Concepts for the 21st Century
- דובר:
- Joe Halpern
- תאריך:
- יום שלישי, 19.1.2010, 14:30
- מקום:
- חדר 337-8 טאוב.
Pixel Club Seminar: Theory of Multiplexed Fluorescence Unmixing
Fluorescence microscopy is a powerful tool in biology and biomedical sciences. Microscopic specimens usually yield fluorescence intensity images that are dim and thus suffer ...
- דובר:
- מרינה אלטרמן (הנדסת חשמל, טכניון)
- תאריך:
- יום שלישי, 19.1.2010, 11:30
- מקום:
- חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Haifux, Haifa Linux Club: The FOSS Community as a Social Phenomenon
What kind of community is it? Who are its members? What are its boundaries? מחקר זה מנסה להבין מהם התהליכים שהובילו להתכוננות קהילת הקוד ...
- דובר:
- ירון דישון (תלמיד החוג לסוציולוגיה, אונ' חיפה)
- תאריך:
- יום שני, 18.1.2010, 18:30
- מקום:
- טאוב 6
Internet Routing: Foundations, Challenges and Future Directions
- דובר:
- Michael Schapira
- תאריך:
- יום שני, 18.1.2010, 14:30
- מקום:
- חדר 337-8 טאוב.
Pixel Club Seminar: Segmentation of Image Ensembles via Latent Atlases
The images acquired via medical imaging modalities are frequently subject to low signal-to-noise ratio, bias field and partial volume effects. These artifacts, together with ...
- דובר:
- תמי ריקלין-רביב (MIT ובי"ס לרפואה, הרוורד)
- תאריך:
- יום שלישי, 12.1.2010, 11:30
- מקום:
- חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל
Side Channels and their Mitigation in Cloud Computing Security
- דובר:
- Eran Tromer
- תאריך:
- יום חמישי, 7.1.2010, 14:30
- מקום:
- חדר 337-8 טאוב.
Combinatorics Seminar: On Equivalence of Polynomial Conjectures in Additive Combinatorics
We will discuss two important conjectures in additive combinatorics. The first one is the polynomial Freiman-Rusza conjecture, which relates to the structure of sets ...
- דובר:
- שחר לווט (מכון ויצמן למדע)
- תאריך:
- יום רביעי, 6.1.2010, 13:30
- מקום:
- אמאדו 719
The Randomized k-Server Conjecture (Online Algorithms meet Linear Programming)
- דובר:
- Niv Buchbinder
- תאריך:
- יום שלישי, 5.1.2010, 14:30
- מקום:
- חדר 337-8 טאוב.
On MMSE and MAP Denoising Under Sparse Representation Modeling Over a Unitary Dictionary
Among the many ways to model signals, a recent approach that draws considerable attention is sparse representation modeling. In this model, the signal is ...
- דובר:
- חביאר טורק
- תאריך:
- יום שלישי, 5.1.2010, 14:30
- מקום:
- טאוב 701
Haifux, Haifa Linux Club: Offline Scheduler
OFFSCHED is a platform aimed to assign an assignment to an offloaded processor. An offloaded processor is a processor that is hot un-plugged from ...
- דובר:
- רז בן-יהודה (מסטרנט באונ' הפתוחה)
- תאריך:
- יום שני, 4.1.2010, 18:30
- מקום:
- טאוב 6
Derandomized Search for Experimental Optimization
- דובר:
- Ofer M. Shir
- תאריך:
- יום שני, 4.1.2010, 14:30
- מקום:
- חדר 337-8 טאוב.