• English
• דף הבית
• פייסבוק
• הטכניון

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

• 2006
• 2007
• 2008
• 2009
• 2010
• 2011
• 2012
• 2013
• 2014
• 2015
• 2016
• 2017
• 2018
• 2019

• Toward Better Depth Lower Bounds: An Information Complexity Approach to the KRW Composition Conjecture

  דובר:

  Or Meir - CS-Lecture

  תאריך:

  יום שלישי, 31.12.2013, 14:30

  מקום:

  חדר 337-8 טאוב.

  [לנוסח המלא]

• Pixel Club: Compressed Sensing and Natural Image Statistics

  Compressed sensing (CS) refers to a branch of applied mathematics which is based on the surprising result whereby signals that are exactly “k-sparse” (i.e. ...

  דובר:

  יאיר וייס (האונ' העברית בירושלים)

  תאריך:

  יום שלישי, 31.12.2013, 11:30

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Statistical assessment of enrichment in ranked lists - algorithms and applications

  Modern data analysis often faces the task of extracting characteristic features from sets of elements characterized with some measurement assay or procedure. In molecular ...

  דובר:

  לימור לייבוביץ

  תאריך:

  יום שני, 30.12.2013, 13:00

  מקום:

  טאוב 601

  [לנוסח המלא]

• Shortest Path Queries: Static, Dynamic and Fault-tolerant.

  דובר:

  Shiri Chechik - CS-Lecture

  תאריך:

  יום ראשון, 29.12.2013, 14:30

  מקום:

  חדר 337-8 טאוב.

  [לנוסח המלא]

• Population Recovery and Partial Identification

  דובר:

  Avi Wigderson - Colloquium Lecture

  תאריך:

  יום חמישי, 26.12.2013, 14:30

  מקום:

  חדר 337-8 טאוב.

  [לנוסח המלא]

• Learning with Lower Information Costs

  דובר:

  Sivan Sabato - CS-Lecture - Note unusual day

  תאריך:

  יום רביעי, 25.12.2013, 14:30

  מקום:

  חדר 337-8 טאוב.

  [לנוסח המלא]

• Combining Erasure-Code and Replication Redundancy Schemes for Increased Storage and Repair Efficiency in P2P Storage Systems

  This work introduces a new family of redundancy schemes called replicated erasure codes (REC), which combine the storage-space efficiency of erasure codes and the ...

  דובר:

  יואב קנטור

  תאריך:

  יום רביעי, 25.12.2013, 14:00

  מקום:

  טאוב 601

  [לנוסח המלא]

• ceClub: Resource Placement and Assignment in Distributed Network

  We consider the problem of how to place and efficiently utilize resources in network environments. The setting consists of a regionally organized system which ...

  דובר:

  יובל רוכמן (אונ' תל-אביב/מארוול

  תאריך:

  יום רביעי, 25.12.2013, 13:00

  מקום:

  חדר יפורסם, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• Theory Seminar: Non-commutative Computation (and More)

  I will survey what is known about the complexity of arithmetic circuits computing polynomials and rational functions with non-commuting variables, focusing on recent results ...

  דובר:

  אבי ויגדרסון (פרינסטון)

  תאריך:

  יום רביעי, 25.12.2013, 12:30

  מקום:

  טאוב 201

  [לנוסח המלא]

• Pixel Club: Quantification of Mitral Regurgitation using Magnetic Resonance Imaging (MRI)

  Mitral Regurgitation (MR) is a cardiac disorder, in which there is dysfunction of the mitral valve, >resulting in backwards regurgitation of blood from the ...

  דובר:

  ליאור גורודיסקי (הנדסת חמשל, טכניון)

  תאריך:

  יום שלישי, 24.12.2013, 11:30

  מקום:

  חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• Privacy by Diversity in Sequential Releases of Databases

  דובר:

  Erez Shmueli - CS-Lecture

  תאריך:

  יום ראשון, 22.12.2013, 14:30

  מקום:

  חדר 337-8 טאוב.

  [לנוסח המלא]

• Learning Methods for Modeling High-Dimensional Distributions

  A reliable density estimation is hard to obtain in problems of high-dimensional data, especially when the sample used for estimation is small. As a ...

  דובר:

  אסף גלזר

  תאריך:

  יום ראשון, 22.12.2013, 11:30

  מקום:

  טאוב 337-8

  [לנוסח המלא]

• Polynomial Bounds for the Grid-Minor Theorem

  דובר:

  Julia Chuzhoy - CSpecial Lecture-Note unusual time and place

  תאריך:

  יום חמישי, 19.12.2013, 13:30

  מקום:

  חדר 601 טאוב.

  [לנוסח המלא]

• יום עיון לרגל פרישתו לגימלאות של פרופ' שמואל כץ - היום!

  לרגל פרישתו לגימלאות של פרופ' שמואל כץ, יתקיים בפקולטה למדעי המחשב בטכניון יום עיון בנושא: "Aspects of Formal Verification". הכנס יתקיים ביום ה', 19 ...

  תאריך:

  יום חמישי, 19.12.2013, 08:30

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• A Relational Framework for Information Extraction

  דובר:

  Benny Kimelfeld - CS-Lecture - Note unusual day

  תאריך:

  יום רביעי, 18.12.2013, 14:30

  מקום:

  חדר 337 טאוב.

  [לנוסח המלא]

• Theory Seminar: Theoretical Computational Tools at the Service of Constructing the Big Tree of Life

  The reconstruction of evolutionary trees is a fundamental task in Biology. The exponentially increasing amount of available genomic date over thousands of genes and ...

  דובר:

  שגיא שניר (אונ' חיפה)

  תאריך:

  יום רביעי, 18.12.2013, 12:30

  מקום:

  טאוב 201

  [לנוסח המלא]

• ceClub: Shortest Path Queries: Static, Dynamic and Fault-tolerant

  In recent years, the practical need for fast retrieval of shortest path queries has significantly increased, in part due to the developing GPS navigation ...

  דובר:

  שירי צ'צ'יק (מיקרוסופט, עמק הסיליקון)

  תאריך:

  יום רביעי, 18.12.2013, 11:30

  מקום:

  חדר 1007, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• New Approaches to Graph Partitioning

  דובר:

  Roy Schwartz - CS-Lecture

  תאריך:

  יום שלישי, 17.12.2013, 14:30

  מקום:

  חדר 337-8 טאוב.

  [לנוסח המלא]

• Pixel Club: Video Saliency and its Applications in Single and Multi-camera Setups

  Understanding human attention have interested researchers for decades. The early works come from different fields of psychology and separate the cognitive process into several ...

  דובר:

  דמיטרי רודוי (יפורסם)

  תאריך:

  יום שלישי, 17.12.2013, 11:30

  מקום:

  חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• Predicate Abstraction For Relaxed Memory Models

  In this talk we present a novel approach for predicate abstraction of programs running on relaxed memory models. Our approach consists of two steps. ...

  דובר:

  יורי משמן

  תאריך:

  יום שלישי, 17.12.2013, 10:30

  מקום:

  טאוב 601

  [לנוסח המלא]

• כנס T2med בנושא: Social-Mobile-Cloud Meets Medicine @ Technion

  הנכם מוזמנים לכנס T2med בנושא: Social-Mobile-Cloud Meets Medicine @ Technion אשר יתקיים ביום ג', 17 בדצמבר 2013. ההשתתפות מותנית בהרשמה מוקדמת. פרטים ...

  תאריך:

  יום שלישי, 17.12.2013, 08:30

  מקום:

  אודיטוריום קוגן, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• Lower Bounds for Linear Decision Trees via An Energy Complexity Argument

  דובר:

  Eiji Takimoto - CSpecial Lecture - Note unusual day and place

  תאריך:

  יום שני, 16.12.2013, 14:30

  מקום:

  חדר 201 טאוב.

  [לנוסח המלא]

• TCE Guest Lecture: Combinatorial Online Prediction via Metarounding

  We consider online prediction problems of combinatorial concepts. Examples of such concepts include s-t paths, permutations, truth assignments, set covers, and so on. The ...

  דובר:

  קוהאי האטאנו (טוקיון)

  תאריך:

  יום שני, 16.12.2013, 11:30

  מקום:

  חדר 527, בניין בלומפילד, הנדסת תעשייה וניהול

  [לנוסח המלא]

• Individual Genomes Reveal Deep Population Histories and Uncover the Evolutionary Roles of Non Coding DNA

  דובר:

  Ilan Gronau - CS-Lecture

  תאריך:

  יום ראשון, 15.12.2013, 14:30

  מקום:

  חדר 337-8 טאוב.

  [לנוסח המלא]

• CGGC Seminar: Multi-view Inter-media: From Space to Ocean-depths

  This talk is about ;multi-view imaging via participating media, particularly the 3D volumetric scattering atmosphere and the 3D wavy water-air interface. Camera multi-views are either looking down ...

  דובר:

  יואב י. שכנר (הנדסת חשמל, טכניון)

  תאריך:

  יום ראשון, 15.12.2013, 13:00

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Rank Modulation for Flash Memory

  Snake-in-the-box code is a Gray code which is capable to detect a single error. Gray codes are important in the context of rank modulation ...

  דובר:

  מיכל הורוביץ

  תאריך:

  יום חמישי, 12.12.2013, 11:30

  מקום:

  טאוב 701

  [לנוסח המלא]

• How Can we Recover from Protocol Failure? (Talk II - The Israel Pollak Distinguished Lecture Series)

  Security protocols are the foundations on which the digital age is built. SSL/TLS is the basis for online commerce, email privacy and much else; ...

  דובר:

  רוס אנדרסון (קיימברידג')

  תאריך:

  יום חמישי, 12.12.2013, 11:00

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Randomized Algorithms for Faster Linear and Non-linear Regression

  דובר:

  Haim Avron - CS-Lecture - Note unusual day

  תאריך:

  יום רביעי, 11.12.2013, 14:30

  מקום:

  חדר 337-8 טאוב.

  [לנוסח המלא]

• Theory Seminar: Playing Non-linear Games with Linear Oracles

  Online Learning deals with playing repeated games against an adversary with the aim of minimising a quantity known as regret, and has attracted much ...

  דובר:

  דן גרבר (טכניון)

  תאריך:

  יום רביעי, 11.12.2013, 12:30

  מקום:

  טאוב 201

  [לנוסח המלא]

• Safety and Privacy – Health Systems in the Age of Biodata (Talk I - The Israel Pollak Distinguished Lecture Series)

  There have been serious tussles over health privacy in the UK, the USA and elsewhere over the safety and privacy of health IT systems. ...

  דובר:

  רוס אנדרסון (קיימברידג')

  תאריך:

  יום שלישי, 10.12.2013, 14:30

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Pixel Club: Medical Imaging and Computer Vision @IBM.Haifa

  In this talk we present various research topics in medical imaging and related to them computer vision methods that are developed at IBM Haifa ...

  דובר:

  פאבל קיסילב (י.ב.מ. חיפה)

  תאריך:

  יום שלישי, 10.12.2013, 11:30

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Hebrew Acronyms: Identification, Expansion, and Disambiguation

  Acronyms are words formed from the initial letters of a phrase. For example, "CIA" is an acronym that usually means "Central Intelligence Agency," but ...

  דובר:

  קיילה ג'ייקובס

  תאריך:

  יום שני, 9.12.2013, 16:30

  מקום:

  טאוב 601

  [לנוסח המלא]

• Comprehensive Free Handed 3D User Interface for Geometric Design Systems

  Three dimensional user interfaces (3DUI) have great potential in computer aided geometric design (CAGD), where users work in a virtual 3D space and perform ...

  דובר:

  מאור גרינברג

  תאריך:

  יום ראשון, 8.12.2013, 13:00

  מקום:

  טאוב 337

  [לנוסח המלא]

• TCE Guest Lecture: From Hadoop 1.0 to Hadoop 2.0

  Over the past few years, Hadoop has been exploding in popularity. Ryan Hennig will discuss an overview of the MapReduce paradigm used to process ...

  דובר:

  כריס סביר וריאן הניג (איביי)

  תאריך:

  יום שלישי, 3.12.2013, 11:30

  מקום:

  חדר 861, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• Pixel Club: On the Structure of Boolean Functions with Small Spectral Norm

  We present two methods for signal reconstruction from discrete data based on Prolate Spheroidal Wave Functions (PSWF). The first method is suitable for band-limited ...

  דובר:

  אלכס קופאיגורודסקי (הנדסת חשמל, טכניון)

  תאריך:

  יום שלישי, 3.12.2013, 11:30

  מקום:

  חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• On The Structure of Boolean Functions with Small Spectral Norm

  In this talk we show several results regarding Boolean functions with small spectral norm (the spectral norm of $f$ is the sum of the ...

  דובר:

  בן לי וולק

  תאריך:

  יום רביעי, 27.11.2013, 12:30

  מקום:

  טאוב 201

  [לנוסח המלא]

• ceClub: Cognitive Users with Useful Vacations

  Admission control is a classical topic in communications, but cognition as a means to enhance the performance of users and the network is relatively ...

  דובר:

  בוריס אוקלנדר (אימפריאל קולג', לונדון)

  תאריך:

  יום רביעי, 27.11.2013, 11:30

  מקום:

  חדר 861, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• Pixel Club: Vectorial Phase Retrieval for 1-d Signals and 2-d Images

  Phase retrieval - namely the recovery of a signal from its absolute Fourier transform is a problem of fundamental importance in many fields. In ...

  דובר:

  בועז נדלר (מכון ויצמן למדע)

  תאריך:

  יום שלישי, 26.11.2013, 11:30

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Haifux Club: ‪Nested Virtualization: Shadow Turtles

  Nested virtualization---running multiple hypervisors in virtual machines---has come a long way in recent years. Since we first published KVM nested virtualization on Intel platforms ...

  דובר:

  מולי בן-יהודדה (מדעי המחשב, טכניון)

  תאריך:

  יום שני, 25.11.2013, 18:30

  מקום:

  טאוב 6

  [לנוסח המלא]

• Autonomous operation in uncertain and partially unknown large-scale environments: perception, information fusion and planning

  דובר:

  Vadim Indelman - CS-Lecture

  תאריך:

  יום ראשון, 24.11.2013, 14:30

  מקום:

  חדר 601 טאוב.

  [לנוסח המלא]

• CGGC Seminar: 5-axis and 6-axis tool path generation for CNC- Machines

  It is getting more and more popular to use 5-axis CNC-Milling machines to create parts out of metal or wood. 5-axis machines are necessary ...

  דובר:

  קריסטין ובסטיאן פרנזס (גרמניה)

  תאריך:

  יום ראשון, 24.11.2013, 12:30

  מקום:

  טאוב 401

  [לנוסח המלא]

• TCE Guest Lecture: Accurate and Scalable Security Analysis of Web Applications

  Security auditing of industry-scale software systems mandates automation. Static taint analysis enables exhaustive tracking of data flows for detection of leakage and integrity violations, ...

  דובר:

  מרקו פיסטויה (י.ב.מ ניו-יורק)

  תאריך:

  יום חמישי, 21.11.2013, 10:30

  מקום:

  טאוב 359

  [לנוסח המלא]

• Theory Seminar: Average-case lower bounds for De Morgan Formula Size

  Average-case lower bounds for De Morgan Formula Size. We give a function $h:{0,1}^n \to {0,1}$ such that every deMorgan formula of size $n^{3-o(1)}/r^2$ agrees ...

  דובר:

  אילן קומרגודסקי (מכון ויצמן למדע)

  תאריך:

  יום רביעי, 20.11.2013, 12:30

  מקום:

  טאוב 201

  [לנוסח המלא]

• ceClub: Scaling Data Center Routers

  Data center networks form one of the most challenging network environments for routers, due to their fast link rates, short propagation times, and high ...

  דובר:

  אלכס שפינר (הנדסת חשמל, טכניון)

  תאריך:

  יום רביעי, 20.11.2013, 11:30

  מקום:

  חדר 861, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• TCE Guest Lecture: Improving Counter-cryptanalysis

  Flame, a highly advanced malware for cyberwarfare discovered in May, spread itself as a properly, but illegitimately, signed Microsoft update security patch. Flame achieved ...

  דובר:

  מארק סטיבנס (Centrum Wiskunde & Informatica, Netherlands)

  תאריך:

  יום רביעי, 20.11.2013, 10:00

  מקום:

  חדר 1003, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• Pixel Club: Empirical Intrinsic Geometries of Stochastic Datasets

  We will provide and overview of a range of ideas from Analysis, Statistical learning and diffusion Geometry , which address the transition from local ...

  דובר:

  רונלד קויפמן (אונ' ייל)

  תאריך:

  יום שלישי, 19.11.2013, 11:30

  מקום:

  חדר 1003, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• TCE Mini-course: Talk II - Approaches to Data Reconciliation

  The ability to share and reconcile similar data on remote devices with little communication is fundamental to a wide variety of applications, ranging from ...

  דובר:

  ארי טרכטנברג (אונ' בוסטון)

  תאריך:

  יום ראשון, 17.11.2013, 11:00

  מקום:

  טאוב 701

  [לנוסח המלא]

• TCE Guest Lecture: How to Write a Good (Systems) Paper?

  Henry Taub Distinguished Visitor Lecture:

  דובר:

  גרנוט הייסר (אונ' ניו סאות' ויילס)

  תאריך:

  יום חמישי, 14.11.2013, 13:00

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Theory Seminar: An Optimal Randomized Online Algorithm for Reordering Buffer Management

  An Optimal Randomized Online Algorithm for Reordering Buffer Management In the reordering buffer management problem an input sequence of colored items arrives online, and ...

  דובר:

  נועה אביגדור-אלגרבלי (מדעי המחשב, טכניון

  תאריך:

  יום רביעי, 13.11.2013, 12:30

  מקום:

  טאוב 201

  [לנוסח המלא]

• TCE Guest Lecture: From L3 to seL4: What Have We Learnt in 20 Years of L4 Microkernels?

  Henry Taub Distinguished Visitor Lecture: The L4 microkernel has undergone 20 years of use and evolution. It has an active user and developer community, ...

  דובר:

  גרנוט הייסר (אונ' ניו סאות' ויילס)

  תאריך:

  יום רביעי, 13.11.2013, 11:30

  מקום:

  טאוב 401

  [לנוסח המלא]

• Impugning Alleged Randomness

  דובר:

  Yuri Gurevich

  תאריך:

  יום שלישי, 12.11.2013, 14:30

  מקום:

  חדר 337-8 טאוב.

  [לנוסח המלא]

• Pixel Club: A Transform-based Variational Framework

  new framework is proposed for variational analysis and processing. It defines a functional-based nonlinear transform and inverse-transform. The framework is developed in the context ...

  דובר:

  גיא גלבוע (הנדסת חשמל, טכניון)

  תאריך:

  יום שלישי, 12.11.2013, 11:30

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Haifux Club: The Do-S and Don’t-S of Benchmarking

  Henry Taub Distinguished Visitor Lecture: A thorough and convincing evaluation is a core part of every systems paper, and generally involves some form of ...

  דובר:

  גרנוט הייסר (אונ' ניו סאות' ויילס)

  תאריך:

  יום שני, 11.11.2013, 18:30

  מקום:

  טאוב 6

  [לנוסח המלא]

• TCE Guest Lecture: Can Truly Dependable Systems be Affordable?

  Henry Taub Distinguished Visitor Lecture: With the formal verification of the seL4 microkernel, and subsequent work on assuring its safety and security properties, NICTA ...

  דובר:

  גרנוט הייסר (אונ' ניו סאות' ויילס)

  תאריך:

  יום שני, 11.11.2013, 12:30

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• TCE Mini-course: Talk I - Approaches to Data Reconciliation

  The ability to share and reconcile similar data on remote devices with little communication is fundamental to a wide variety of applications, ranging from ...

  דובר:

  ארי טרכטנברג (אונ' בוסטון)

  תאריך:

  יום ראשון, 10.11.2013, 11:00

  מקום:

  טאוב 601

  [לנוסח המלא]

• Theory Seminar: Sparse Fault-Tolerant BFS Trees

  We addresses the problem of designing a sparse {\em fault-tolerant} BFS tree, or {\em FT-BFS tree} for short, namely, a sparse subgraph $T$ of ...

  דובר:

  מרב פרטר (מכון ויצמן למדע)

  תאריך:

  יום רביעי, 6.11.2013, 12:30

  מקום:

  טאוב 201

  [לנוסח המלא]

• Functional Operators : Algebraic Tools for Reasoning about Shapes and their Collections

  דובר:

  Miri Ben-Chen

  תאריך:

  יום שלישי, 5.11.2013, 14:30

  מקום:

  חדר 337-8 טאוב.

  [לנוסח המלא]

• TouchDevelop: CANCELLED!

  The CS Department and CeClub invite you to a special lecture by Jonathan "Peli" de Halleux (Senior Research SW Development Eng. Microsoft Research) on ...

  תאריך:

  יום שלישי, 5.11.2013, 12:30

  מקום:

  טאוב 359

  [לנוסח המלא]

• CGGC Seminar: Precise Convex Hull Computation for FreeformModels using a Hierarchical Gauss Map and a Coons Bounding Volume Hierarchy

  We present an interactive-speed algorithm for computing the precise convex hull of freeform geometric models. The algorithm is based on two pre-built data structures: ...

  דובר:

  יונג ג'ון קים (מדעי המחשב, טכניון

  תאריך:

  יום ראשון, 3.11.2013, 13:00

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• How to Construct Multilingual Domain Ontologies

  In information science, ontology is a structured framework for organizing information which represents knowledge as a set of concepts and the relationships between them. ...

  דובר:

  ניצן חריזמן

  תאריך:

  יום רביעי, 30.10.2013, 13:00

  מקום:

  טאוב 601

  [לנוסח המלא]

• Theory Seminar: Characterizing the Sample Complexity of Private Learners

  Characterizing the Sample Complexity of Private Learners In 2008, Kasiviswanathan et al. defined private learning as a combination of PAC learning and differential privacy. ...

  דובר:

  אורי סטמר (אונ' בן-גוריון)

  תאריך:

  יום רביעי, 30.10.2013, 12:30

  מקום:

  טאוב 201

  [לנוסח המלא]

• TCE Guest Lecture: (In-)Security of Smartphones

  This talk will cover some of the prominent attack surfaces at all abstraction layers of modern smartphones, including those based on bypassing application signatures, ...

  דובר:

  ארי טרכטנברג (אונ' בוסטון)

  תאריך:

  יום רביעי, 30.10.2013, 11:30

  מקום:

  אודיטוריום 1, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Haifux Club: OSv, a New Open-source Operating System for Virtual Machines

  These days, most applications running on virtual machines in the cloud run on top of Linux. We all love Linux, but as an all-encompassing ...

  דובר:

  נדב הראל (קלאודיוס מערכות)

  תאריך:

  יום שני, 28.10.2013, 18:30

  מקום:

  טאוב 6

  [לנוסח המלא]

• Proving Mutual Termination of Programs

  Two programs are said to be mutually terminating if they terminate on exactly the same inputs. We suggest a proof rule for proving mutual ...

  דובר:

  דימה אלנבוגן

  תאריך:

  יום ראשון, 27.10.2013, 10:30

  מקום:

  טאוב 601

  [לנוסח המלא]

• Theory Seminar: Byzantine Agreement in Expected Polynomial Time

  Byzantine agreement is a fundamental problem of distributed computing which involves coordination of processors when a constant fraction are controlled by a malicious adversary. ...

  דובר:

  ולרי קינג (אונ' ויקטוריה)

  תאריך:

  יום רביעי, 23.10.2013, 12:30

  מקום:

  טאוב 201

  [לנוסח המלא]

• ceClub: Transactional Memory Specification: Theory and Practice

  Transactional memory is a promising mechanism for synchronizing concurrent programs. There has been a lot of research in the past decade in implementing transactional ...

  דובר:

  ויקטור לונצ'נגקו (מעבדות אורקל)

  תאריך:

  יום רביעי, 23.10.2013, 11:30

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• TCE Guest Lecture: Fault-Tolerance via Idempotence

  Writing applications for distributed systems is challenging because of the pitfalls of distribution such as process failures and communication failures. One common requirement and ...

  דובר:

  גנסאן רמאלינגאם (מיקרוסופט, הודו)

  תאריך:

  יום שלישי, 22.10.2013, 11:30

  מקום:

  טאוב 401

  [לנוסח המלא]

• Pixel Club: Nonparametric Blind Super-Resolution

  Super resolution (SR) algorithms typically assume that the point spread function (PSF) of the camera is known, or else assumed to be a standard ...

  דובר:

  תומר מיכאלי (מכון ויצמן למדע)

  תאריך:

  יום שלישי, 22.10.2013, 11:30

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• WOMEN@CS

  סטודנטיות יקרות וגם סטודנטים, אנו מזמינים אתכם להשקת מיזם לקידום נשים במדעי המחשב WOMEN at CS האירוע יתקיים ביום ראשון, 20 באוקטובר 2013, בשעה ...

  תאריך:

  יום ראשון, 20.10.2013, 16:30

  מקום:

  אודיטוריום 2, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• A Semi-Automatic System for Non-Rigid Matching and Temporally Coherent Lumo Shading of Animation Sequences

  Applying a depth effect or a 3D-like look to hand-drawn animations can be just as visually rewarding as rendering of a full 3D animation ...

  דובר:

  דני ריבניקוב

  תאריך:

  יום ראשון, 20.10.2013, 13:00

  מקום:

  טאוב 401

  [לנוסח המלא]

• Sample Complexity of Training Markov Chains

  In this talk we present practical sample complexity bounds for learning Markov chains. In our setting a learning algorithm receives as input the training ...

  דובר:

  רומן טליאנסקי

  תאריך:

  יום רביעי, 16.10.2013, 14:30

  מקום:

  טאוב 601

  [לנוסח המלא]

• Sparsity Models for Signals: Theory and Applications

  Many signal and image processing applications have benefited remarkably from the theory of sparse representations. In the classical synthesis model, the signal is assumed ...

  דובר:

  רג'א ג'יריס

  תאריך:

  יום שלישי, 15.10.2013, 11:30

  מקום:

  טאוב 337

  [לנוסח המלא]

• Haifux Club: Ginseng: Market-driven Memory Allocation

  Physical memory is the scarcest resource in today’s cloud computing platforms. Cloud providers would like to maximize their clients’ satisfaction by renting precious physical ...

  דובר:

  אורנה אגמון בן0יהודה (מדעי המחשב, טכניון)

  תאריך:

  יום שני, 14.10.2013, 18:30

  מקום:

  טאוב 6

  [לנוסח המלא]

• Pixel Club: Shape Analysis in the Spectral Domain

  The field of shape analysis is rapidly growing. It involves processing of geometric structures for which tools from numerical, metric, diffusion, and differential geometries ...

  דובר:

  יונתן אפללו (הנדסת חשמל, טכניון)

  תאריך:

  יום רביעי, 9.10.2013, 14:00

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Learning to Construct and Reason with a Large Knowledge Base of Extracted Information

  דובר:

  William Cohen

  תאריך:

  יום שלישי, 8.10.2013, 14:30

  מקום:

  חדר 337-8 טאוב.

  [לנוסח המלא]

• Probabilistic Local Variation Segmentation

  The goal of image oversegmentation is to divide an image into several pieces or "segments", such that each segment is part of an object ...

  דובר:

  מיכאל בלטקסה

  תאריך:

  יום שלישי, 8.10.2013, 11:30

  מקום:

  טאוב 337

  [לנוסח המלא]

• CGGC M.Sc. Seminar: Probabilistic Local Variation Segmentation

  The goal of image oversegmentation is to divide an image into several pieces or "segments", such that each segment is part of an object ...

  דובר:

  מיכאל בלטקסה (מדעי המחשב, טכניון)

  תאריך:

  יום שלישי, 8.10.2013, 11:30

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• CGGC Seminar: Filament-based Smoke

  Vortex filaments provide an intuitive and compact tool for the simulation of smoke in the context of special effects. We present a model that ...

  דובר:

  סטפן וייסמן (ברלין)

  תאריך:

  יום שני, 7.10.2013, 13:00

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• CGGC M.Sc. Seminar: Augmenting 2D planar maps to 3D

  Maps of the world around us are used daily for many purposes such as navigation or location-based services. However, our experience with maps is ...

  דובר:

  ניר הרשקו (מדעי המחשב, טכניון)

  תאריך:

  יום ראשון, 6.10.2013, 13:00

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Fast Decisions in High-Speed Networking Devices

  Tables that match a given key to its value (e.g., hash tables) have become crucial algorithmic building blocks for contemporary networking devices that need ...

  דובר:

  יוסף חי קניזו

  תאריך:

  יום רביעי, 2.10.2013, 11:30

  מקום:

  טאוב 337

  [לנוסח המלא]

• TCE Guest Lecture: Privacy and the SDLC

  Strict implementation of data protection to support privacy protections for highly sensitive personal data can lead to difficult challenges for the development teams when ...

  דובר:

  מארק דונר (גוגל)

  תאריך:

  יום שלישי, 1.10.2013, 11:00

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Haifux Club: Software Defined Networking

  In this talk we will give a brief review on SDN paradigm for networking. We start with a brief historical introduction on the evolution ...

  דובר:

  יונתן זילפה (מכללת אבטחת מידע)

  תאריך:

  יום שני, 30.9.2013, 19:30

  מקום:

  טאוב 5

  [לנוסח המלא]

• Haifux Club: Software Licensing for Dummies / Software Developers

  In my lecture, we shall discuss Licensing basics, including (i) basis to copyright law; (ii) what is software licensing; (iii) how does software licensing ...

  דובר:

  עו"ד יהונתן קלינגר (התנועה לזכויות דיגיטליות)

  תאריך:

  יום שני, 16.9.2013, 18:30

  מקום:

  טאוב 6

  [לנוסח המלא]

• Haifux Club: You & The Biometric Database

  In this talk, I shall discuss the use of biometrics for personal identification by governmental authorities: The establishment of biometric databases and the use ...

  דובר:

  עו"ד יהונתן קלינגר (התנועה לזכויות דיגיטליות)

  תאריך:

  יום שני, 2.9.2013, 18:30

  מקום:

  טאוב 6

  [לנוסח המלא]

• Social Media and Telling the World's Stories

  דובר:

  Mor Naaman

  תאריך:

  יום שלישי, 27.8.2013, 14:30

  מקום:

  חדר 337-8 טאוב.

  [לנוסח המלא]

• Pixel Club: On 3D Spirals and Surface Completion

  My research addresses two fields. The first field is 3D spirals, were we define two novel three-dimensional spirals: the 3D Euler spirals and the ...

  דובר:

  גיא הררי (הנדסת חשמל, טכניון)

  תאריך:

  יום רביעי, 14.8.2013, 11:30

  מקום:

  חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• CGGC M.Sc. Seminar: Fair Multi-Label Reconstruction from Cross-Sections

  We propose an algorithm for reconstructing a multi-label object from cross-sections in a fair manner. We handle the problem in its full generality: Cross-sections ...

  דובר:

  ראידה נעאמנה (מדעי המחשב, טכניון)

  תאריך:

  יום ראשון, 11.8.2013, 13:00

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Pixel Club: Siftpack: A Compact Representation for Efficient Sift Matching

  Computing distances between large sets of SIFT descriptors is a basic step in numerous algorithms in computer vision. When the number of descriptors is ...

  דובר:

  אלכסנדרה גילינסקי (הנדסת חשמל, טכניון)

  תאריך:

  יום שלישי, 6.8.2013, 11:30

  מקום:

  חדר 861, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• Haifux Club: RAll I really need to know about bioinformatics, I learnt in Haifux

  Our new ability to create large amounts of biological data has created an abundance of tools to deal with the manipulations and data-mining required. ...

  דובר:

  בועז גולדשטיין

  תאריך:

  יום שני, 5.8.2013, 18:30

  מקום:

  טאוב 6

  [לנוסח המלא]

• Pixel Club: Using Phase Diversity and Custom Codes with Time of Flight Cameras for Multi Path Resolution and High Speed Imaging

  The emergence of commercial time-of-flight (ToF) cameras has motivated extensive utilization in computer vision. Gesture recognition, scene identification, and depth estimation are important applications ...

  דובר:

  מיכה פייגין - MIT

  תאריך:

  יום שני, 5.8.2013, 11:30

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Pixel Club: 3D Shape from Underwater Flickering Illumination

  The underwater environment is challenging for computer vision tasks. Poor visibility, geometrical distortions and spatio-temporal varying illumination are some of the physical sources of ...

  דובר:

  יוחאי סבירסקי (הנדסת חשמל, טכניון)

  תאריך:

  יום שלישי, 23.7.2013, 11:30

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Haifux Club: Replicate and Bundle (RnB) - A Mechanism for Relieving Bottlenecks in Data Centers

  This work addresses the scalability and efficiency of RAM-based storage systems wherein multiple objects must be retrieved per user request. Here, much of the ...

  דובר:

  שחר ריינדל

  תאריך:

  יום שני, 22.7.2013, 18:30

  מקום:

  טאוב 6

  [לנוסח המלא]

• בית-ספר קיץ השני של המרכז להנדסת מחשבים

  בית-ספר קיץ השני של המרכז להנדסת מחשבים ייערך בימים ראשון-חמישי בין 21-25 ביולי, 2013 באודיטוריום 2, בניין טאוב למדעי המחשב. ההרצאות יתקיימו ...

  תאריך:

  יום ראשון, 21.7.2013, 09:15

  מקום:

  אודיטוריום 2, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Bioinformatics Forum: Next Generation Sequencing for Cancer Genomics: Bioinformatics Perspective

  As the production of next generation sequencing data is now a relatively trivial component, it is apparent that bioinformatics is becoming the single largest ...

  דובר:

  רעיה חנין (ניו-יורק)

  תאריך:

  יום רביעי, 17.7.2013, 13:30

  מקום:

  טאוב 701

  [לנוסח המלא]

• CGGC Seminar: Geometric Multi-Covering

  We present a general, unified framework to resolve geometric covering problems. The problem is reduced to a set-cover search in parametric space. Both an ...

  דובר:

  ראובן שטראוס (מדעי המחשב, טכניון)

  תאריך:

  יום ראשון, 14.7.2013, 13:00

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• TCE Guest Lecture: Wireless, Self-Organizing Networking Research at UCSC's Internetwork Research Group

  This talk with provide an overview of the research on wireless self-organizing networking we have been conducting at UC Santa Cruz's Internetwork Research Group ...

  דובר:

  קטיה אוברסקה (סנטה קרוז)

  תאריך:

  יום רביעי, 10.7.2013, 12:30

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Dunking it out at the Smartphone MobileMapping App Corral: Apple, Google, And The Competition

  The recent introduction of the Apple iPhone 5 and the accompanying iOS6 software environment which, among other changes, replaced the use of a mapping ...

  דובר:

  חנן סמט - אונ' מרילנד

  תאריך:

  יום שלישי, 9.7.2013, 14:30

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Pixel Club: Spatio-Temporal Bit-Allocation for Low Bit-Rate Video Coding

  The digital video is a 3D spatio-temporal signal formed as a sequence of 2D images (frames) captured over time. Hence, a sampled video represents ...

  דובר:

  יהודה בר (הנדסת חשמל)

  תאריך:

  יום שלישי, 9.7.2013, 13:30

  מקום:

  טאוב 401

  [לנוסח המלא]

• On parametrizations in motion and structure

  One of the most important aspects of solving a problem is that of choosing an appropriate parameterization. This trivial observation can be seen in ...

  דובר:

  גיא רוסמן

  תאריך:

  יום שלישי, 9.7.2013, 11:30

  מקום:

  טאוב 337

  [לנוסח המלא]

• Pixel Club: On Parametrizations in Motion and Structure

  One of the most important aspects of solving a problem is that of choosing an appropriate parameterization. This trivial observation can be seen in ...

  דובר:

  גיא רוסמן (מדעי המחשב, טכניון)

  תאריך:

  יום שלישי, 9.7.2013, 11:30

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Haifux Club: DNS Cache-Poisoning: New Attacks and Defenses

  The Domain Name System (DNS) is key to the availability and correct operation of the Internet. Due to its significance it is also a ...

  דובר:

  חיה שולמן

  תאריך:

  יום שני, 8.7.2013, 18:30

  מקום:

  טאוב 6

  [לנוסח המלא]

• TCE Guest Lecture: Toward Understanding the Urban Information

  There are over one hundred big cities in China, each with population more than one million. It brings us both challenge and opportunity to ...

  דובר:

  קיאנו וואנג (ננג'ינג, סין)

  תאריך:

  יום ראשון, 7.7.2013, 14:30

  מקום:

  חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• TCE Guest Lecture: Architecting Memory Systems for Emerging Technologies

  As conventional memory technologies such as DRAM run into the scaling wall, architects and system designers are forced to look at alternative technologies for ...

  דובר:

  מוינודין קורשי (אטלנטה, ג'ורג'יה)

  תאריך:

  יום רביעי, 3.7.2013, 12:30

  מקום:

  חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• ceClub: Spanner: Google's Globally-Distributed Database

  Spanner is Google's scalable, multi-version, globally-distributed, and synchronously-replicated database. It provides strong transactional semantics, consistent replication, and high performance reads and writes for a ...

  דובר:

  בריאן קופר (גוגל)

  תאריך:

  יום רביעי, 3.7.2013, 11:30

  מקום:

  חדר 861, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• הצגת פרוייקטים שנתית בהנדסת תוכנה במדעי המחשב

  הצגת הפרוייקטים השנתית בהנדסת תוכנה בפקולטה למדעי המחשב תתקיים ביום ג', 2 ביולי 2013, בין השעות 10:30-12:30 בבניין טאוב למדעי המחשב, חדר 337 (קומה ...

  תאריך:

  יום שלישי, 2.7.2013, 10:30

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• TCE Guest Lecture: The Role of Computer Designers in Reverse-engineering the Brain

  A truly grand challenge for science in general, and for computer architects and designers in particular, is to understand the mammalian brain’s computing paradigm ...

  דובר:

  ג'יימס סמית (אונ' ויסקונסין)

  תאריך:

  יום ראשון, 30.6.2013, 14:30

  מקום:

  חדר 815, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• CGGC Seminar: Efficient Preconditioning of Laplacian Matrices for Computer Graphics

  I will present a new multi-level preconditioning scheme for Laplacian matrices that arise in various computer vision and mathematical physics applications. The new approach ...

  דובר:

  רענן פטאל (האונ' העברית בירושלים)

  תאריך:

  יום ראשון, 30.6.2013, 13:00

  מקום:

  טאוב 401

  [לנוסח המלא]

• יום ארכיטקטורת מחשבים 2013

  Computer Architecture Day by TCE on Future Directions in Computer Architecture will be held on Friday, June 28 2013 in EE Meyer Building, Room ...

  תאריך:

  יום שישי, 28.6.2013, 09:00

  מקום:

  חדר 1003, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• Haifux Club: The Technion LyX Conspiracy

  If you're like us, you love LyX, and wish you could do everything from it: - Write your papers with the conference style file ...

  דובר:

  רונן אברבנאל ודניאל ווינשנקר (טכניון)

  תאריך:

  יום רביעי, 26.6.2013, 16:00

  מקום:

  חדר 815, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• Efficient Use of Geographically Spread Cloud Resources

  With the expansion of cloud computing, more and more global services are offered from several locations around the globe. Naturally, the demand for cloud ...

  דובר:

  אלכסנדר זלוטניק

  תאריך:

  יום רביעי, 26.6.2013, 13:30

  מקום:

  טאוב 601

  [לנוסח המלא]

• מסיבת סגל-סטודנטים לסיום שנה"ל תשע"ג

  מסיבת סגל-סטודנטים לסיום שנה"ל תשע"ג תתקיים ביום ד', 26 ביוני 2013 בין 12:30-14:30 בלובי של בניין טאוב למדעי המחשב. בירה חינם, כדורעף עם נבחרת ...

  תאריך:

  יום רביעי, 26.6.2013, 12:30

  מקום:

  לובי בניין טאוב למדעי המחשב

  [לנוסח המלא]

• ceClub: On the Steady State of Cache Networks (Infocom Best Paper Award)

  Over the past few years Content-Centric Networking, a networking model in which host-to-content communication protocols are introduced, has been gaining much attention. A central ...

  דובר:

  אלישה רוזנצווייג (אלקטל לוסנט)

  תאריך:

  יום רביעי, 26.6.2013, 11:30

  מקום:

  חדר 815, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• ceClub: Visualization Tools to Analyze Multi-threaded Program Scalability and Performance

  Analyzing multi-threaded program scalability and performance on modern multicore machines is challenging, but paramount to continue optimizing software and to use hardware resources efficiently. ...

  דובר:

  ג'ניפר סרטור (אונ' גנט)

  תאריך:

  יום שני, 24.6.2013, 11:30

  מקום:

  טאוב 9

  [לנוסח המלא]

• CGGC Seminar: Recent Results on Subdivision-Based Polynomial Solvers

  Solving polynomial systems of equations is an important problem in many fields such as computer-aided design, manufacturing and robotics. In recent years, subdivision-based solvers, ...

  דובר:

  עידו חניאל (הנדסת מכונות, טכניון)

  תאריך:

  יום ראשון, 23.6.2013, 13:00

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• TCE Talk Series - Talk IV: Computer Architecture (3 hours)

  Using computers to solve problems requires starting with a natural language formulation of the problem and systematically transforming it until one has a machine ...

  דובר:

  פרופ' ייל פת (אונ' טקסס באוסטין)

  תאריך:

  יום שישי, 21.6.2013, 09:00

  מקום:

  חדר 165, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• TCE Talk Series - Talk III: Computer Architecture (4 hours)

  Using computers to solve problems requires starting with a natural language formulation of the problem and systematically transforming it until one has a machine ...

  דובר:

  פרופ' ייל פת (אונ' טקסס באוסטין)

  תאריך:

  יום חמישי, 20.6.2013, 14:30

  מקום:

  חדר 165, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• ceClub: Off-Path Hacking: The Illusion of Challenge-Response Authentication

  Everyone is concerned about Internet security, yet most traffic is not cryptographically protected. The usual justification is that most attackers are only off-path and ...

  דובר:

  אמיר הרצברג (אונ' בר-אילן)

  תאריך:

  יום רביעי, 19.6.2013, 11:30

  מקום:

  טאוב 3

  [לנוסח המלא]

• Pixel Club: Natural Images, Gaussian Mixtures and Dead Leaves

  Simple Gaussian Mixture Models (GMMs) learned from pixels of natural image patches have been recently shown to be surprisingly strong performers in modeling the ...

  דובר:

  דניאל צורן (האונ' העברית בירושלים)

  תאריך:

  יום שלישי, 18.6.2013, 11:30

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Haifux Club: Efficient and Scalable Paravirtual I/O System---

  Hypervisors implement useful features such as live migration and software-defined networking by interposing on their guest virtual machines’ I/O activity. Unfortunately, this interposition significantly ...

  דובר:

  אבל גורדון (י.ב.מ. מחקר)

  תאריך:

  יום שני, 17.6.2013, 18:30

  מקום:

  טאוב 6

  [לנוסח המלא]

• Pixel Club: Learning To Perceive: Developing Visual Concepts from Unlabeled

  We consider the tasks of learning to recognize hands and direction of gaze from unlabeled natural video streams. These are known to be highly ...

  דובר:

  דני הררי (מכון ויצמן למדע)

  תאריך:

  יום שני, 17.6.2013, 11:30

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• CGGC Seminar: Hands-on Maya Tutorial

  Autodesk Maya provides powerful integrated animation, modeling, simulation, rendering, and compositing tools on a robust and extensible CG pipeline core. Autodesk’s Maya has proved ...

  דובר:

  מירא שלח (מדעי המחשב, טכניון)

  תאריך:

  יום ראשון, 16.6.2013, 13:00

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• TCE Talk Series - Talk II: Computer Architecture (3 hours)

  Using computers to solve problems requires starting with a natural language formulation of the problem and systematically transforming it until one has a machine ...

  דובר:

  פרופ' ייל פת (אונ' טקסס באוסטין)

  תאריך:

  יום שישי, 14.6.2013, 09:00

  מקום:

  חדר 165, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• TCE Talk Series - Talk I: Computer Architecture (4 hours)

  Using computers to solve problems requires starting with a natural language formulation of the problem and systematically transforming it until one has a machine ...

  דובר:

  פרופ' ייל פת (אונ' טקסס באוסטין)

  תאריך:

  יום חמישי, 13.6.2013, 14:30

  מקום:

  חדר 165, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• Linear Time Encodable Codes and Cryptography

  An error-correcting code with minimal distance d encodes a k-bit message by an n-bit codeword such that any two distinct codewords differ in at ...

  דובר:

  ארז דרוק

  תאריך:

  יום רביעי, 12.6.2013, 14:30

  מקום:

  טאוב 401

  [לנוסח המלא]

• Theoretical Foundations of Selective Prediction

  In selective prediction, a predictor (e.g. classifier or regressor) is allowed to abstain from prediction on part of the domain. The objective is to ...

  דובר:

  יאיר וינר

  תאריך:

  יום רביעי, 12.6.2013, 13:00

  מקום:

  טאוב 601

  [לנוסח המלא]

• Theory Seminar: Matroid Secretary for Regular and Decomposable Matroids

  The M-renaming task requires n+1 processes, each starting with a unique input name (from an arbitrary large range), to coordinate the choice of new ...

  דובר:

  ארמנדו קסטנדה (מדעי המחשב, טכניון)

  תאריך:

  יום רביעי, 12.6.2013, 12:30

  מקום:

  טאוב 201

  [לנוסח המלא]

• ceClub: Multi-core, Mega-nonsense

  Multicore has been around for several years now, and we hear it touted as the panacea of everything. ...until recently, that is. As expected, ...

  דובר:

  ייל פת (אונ' טקסס באוסטין)

  תאריך:

  יום רביעי, 12.6.2013, 11:30

  מקום:

  חדר 861, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• Relations between linear programming, dynamic programming, and the min-sum algorithm.

  דובר:

  Guy Even

  תאריך:

  יום שלישי, 11.6.2013, 14:30

  מקום:

  חדר 337-8 טאוב.

  [לנוסח המלא]

• Pixel Club: Transform Methods in Image Processing: from 1970-th till Present Time

  Transform image processing methods are methods that work in domains of image transforms, such as Discrete Fourier, Discrete Cosine, Wavelet and alike. They can ...

  דובר:

  ליאוניד ירוסלבסקי (אונ' תל-אביב)

  תאריך:

  יום שלישי, 11.6.2013, 11:30

  מקום:

  חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• CGGC Seminar: Depth, More or Less

  This talk is more or less about depth. In the "more" part of the talk I will describe a method to recover depth and ...

  דובר:

  שי אבידן (אונ' תל-אביב)

  תאריך:

  יום ראשון, 9.6.2013, 13:00

  מקום:

  טאוב 8

  [לנוסח המלא]

• CGGC & Pixel Club Seminar: Perception-driven and Artistically Motivated Interactive Graphics

  Creating visually convincing content, e.g. for movies or interactive applications such as computer games involves a lot of manual work, artistic skill and computational ...

  דובר:

  טוביאס ריטשל (מקס פלאנק, גרמניה)

  תאריך:

  יום ראשון, 9.6.2013, 10:00

  מקום:

  טאוב 3

  [לנוסח המלא]

• TCE Talk Series - Talk IV: Computer Architecture

  This series of talks focuses on the research and education conducted by the PDS group in recent years, on topics such as grid and ...

  דובר:

  אלכסנדרו איסופ (אונ' דלפט לטכנולוגיה)

  תאריך:

  יום חמישי, 6.6.2013, 10:00

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Cost Aware Fault Recovery in Clouds

  Maintaining high availability of Ifrastructure-as-a-Service services at a reasonable cost is a challenging task that received recent attention due to the growing popularity of ...

  דובר:

  אסף ישראל

  תאריך:

  יום רביעי, 5.6.2013, 15:30

  מקום:

  טאוב 601

  [לנוסח המלא]

• Theory Seminar: Matroid Secretary for Regular and Decomposable Matroids

  In the matroid secretary problem we are given a stream of elements and asked to choose a set of elements that maximizes the total ...

  דובר:

  מיכאל דיניץ (מכון ויצמן למדע)

  תאריך:

  יום רביעי, 5.6.2013, 12:30

  מקום:

  טאוב 201

  [לנוסח המלא]

• ceClub: Spinal Codes

  Handling noise and interference in wireless networks requires adaptive, high-performance error correction. Spinal codes are a new rateless error correcting code that iteratively applies ...

  דובר:

  ג'ונתן פרי - MIT

  תאריך:

  יום רביעי, 5.6.2013, 11:30

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Haifux Club: Massivizing OpenTTD: Distributed Computing Challenges and Quality Time

  Hundreds of online games entertain over 250,000,000 online gamers in a maturing global market of over 30 billion Euros. A popular game genre is ...

  דובר:

  אלכסנדרו איסופ (אונ' דלפט לטכנולוגיה)

  תאריך:

  יום שני, 3.6.2013, 18:30

  מקום:

  טאוב 6

  [לנוסח המלא]

• CGGC Seminar: Co-segmentations and Structural Co-Hierarchies of Sets of Shapes

  I would like to present our work where we address the challenge of computing consistent segmentations of sets of shapes. The sets may exhibit ...

  דובר:

  אוליבר ואן-קאיק (אונ' תל-אביב)

  תאריך:

  יום ראשון, 2.6.2013, 13:00

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• CGGC Seminar: An Operator Approach to Tangent Vector Field Processing

  Ph.D. Direct Track seminar: We introduce a novel coordinate-free method for manipulating and analyzing vector fields on discrete surfaces. Unlike the commonly used representations ...

  דובר:

  עומרי איזנקוט (מדעי המחשב, טכניון)

  תאריך:

  יום חמישי, 30.5.2013, 13:00

  מקום:

  טאוב 401

  [לנוסח המלא]

• Robust Epipolar Geometry Estimation using Noisy Pose Priors

  Epipolar geometry estimation is fundamental to many computer vision algorithms. It has therefore attracted a lot of interest in recent years, yielding high quality ...

  דובר:

  יהונתן גולדמן

  תאריך:

  יום רביעי, 29.5.2013, 14:30

  מקום:

  טאוב 601

  [לנוסח המלא]

• Pixel Club: On SIFT and their Scales

  Scale invariant feature detectors often find stable scales in only a few image pixels. Consequently, methods for feature matching typically choose one of two ...

  דובר:

  ויקי מייזלס (הנדסת חשמל, טכניון)

  תאריך:

  יום רביעי, 29.5.2013, 11:30

  מקום:

  חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• Haifux Club: Resource Management in Linux

  1. Resource management in Linux 2. Kernel Namespaces implementation (kernel 3.8) 3. Kernel Namespaces as an infrastructure for process virtualizaton    - Network namespaces and ...

  דובר:

  רמי רוזן

  תאריך:

  יום שני, 27.5.2013, 18:30

  מקום:

  טאוב 6

  [לנוסח המלא]

• TCE Talk Series - Talk III: Computer Architecture

  This series of talks focuses on the research and education conducted by the PDS group in recent years, on topics such as grid and ...

  דובר:

  אלכסנדרו איסופ (אונ' דלפט לטכנולוגיה)

  תאריך:

  יום שני, 27.5.2013, 10:00

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• CGGC Seminar: Shape Spaces of Polyhedral Meshes

  Polyhedral meshes are meshes in which all faces are planar. These meshes are of paramount importance to architectural and industrial geometry, as such faces ...

  דובר:

  אמיר וקסמן (אונ' וינה)

  תאריך:

  יום ראשון, 26.5.2013, 12:00

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Efficient Query Recommendation

  In large organizations, frequently the database has a large and intricate schema, hence, formulating queries is cumbersome. In such organizations, users can benefit from ...

  דובר:

  גרגורי בורודין

  תאריך:

  יום רביעי, 22.5.2013, 12:30

  מקום:

  טאוב 601

  [לנוסח המלא]

• Theory Seminar: From Hierarchical Partitions to Hierarchical Covers: Optimal Fault-Tolerant Spanners for Doubling Metrics

  A {\em $(1+\eps)$-spanner} for a doubling metric $(X,\delta)$ is a subgraph $H$ of the complete graph corresponding to $(X,\delta)$, which preserves all pairwise distances ...

  דובר:

  שי סולומון (מכון ויצמן למדע)

  תאריך:

  יום רביעי, 22.5.2013, 12:30

  מקום:

  טאוב 201

  [לנוסח המלא]

• ceClub: Secure Logical Isolation for Multi-tenancy in Cloud Storage

  Storage cloud systems achieve economies of scale by serving multiple tenants from a shared pool of servers and disks. This leads to the commingling ...

  דובר:

  הילל קולודנר (י.ב.מ.)

  תאריך:

  יום רביעי, 22.5.2013, 11:30

  מקום:

  טאוב (יפורסם)

  [לנוסח המלא]

• Pixel Club: Fabricating BRDFs at High Spatial Resolution Using Wave Optics

  Recent attempts to fabricate surfaces with custom reflectance functions boast impressive angular resolution, yet their spatial resolution is limited. In this paper we present ...

  דובר:

  פרופ' ענת לוין (מכון ויצמן למדע)

  תאריך:

  יום שלישי, 21.5.2013, 11:30

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Pixel Club: Fast-Match: Fast Affine Template Matching

  Fast-Match is a fast algorithm for approximate template matching under 2D affine transformations that minimizes the Sum-of-Absolute-Differences (SAD) error measure. There is a huge ...

  דובר:

  שמעון קורמן (אונ' תל-אביב)

  תאריך:

  יום שני, 20.5.2013, 11:30

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• TCE Guest Lecture: Improving Throughput per Watt of Asymmetric Multicore Processors via Online Program Phase Classification and Dynamic Thread Scheduling

  The benefits of Asymmetric Multicore Processors (AMPs) vs. their symmetric counterparts highly depend on the thread scheduling followed. Since the computing needs of threads ...

  דובר:

  פרופ' ישראל קורן (אונ' מסצ'וסטס)

  תאריך:

  יום ראשון, 19.5.2013, 16:00

  מקום:

  חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• Interactive Design of Polyhedral Meshes

  Glass and plywood are commonly used materials in architectural and industrial design. However, these materials impose serious constraints on the creative freedom of a ...

  דובר:

  רועי פורן

  תאריך:

  יום ראשון, 19.5.2013, 13:00

  מקום:

  טאוב 337

  [לנוסח המלא]

• Haifux Club: ELVIS: Android Architecture

  This lecture will help to beginners to understand android architecture from the Linux perspective view. We will talk about the differences between Linux kernel ...

  דובר:

  ליאון רומנובסקי

  תאריך:

  יום שני, 13.5.2013, 18:30

  מקום:

  טאוב 6

  [לנוסח המלא]

• CGGC Seminar: Planar Shape Interpolation with Bounded Distortion

  TBA

  דובר:

  רנג'י צ'ן (מדעי המחשב, טכניון)

  תאריך:

  יום ראשון, 12.5.2013, 13:00

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Pixel Club: Our Eyes Beneath The Sea: Advanced Optical Methods For Ocean Imaging

  The ocean covers 70% of the earth surface, and influences almost every aspect in our life, such as climate, fuel, security, and food. All ...

  דובר:

  טלי טרייביץ - USCD

  תאריך:

  יום חמישי, 9.5.2013, 13:30

  מקום:

  חדר 861, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• Pixel Club: Graph Cut, Convex relaxation and Continuous Max-flow Problems

  In this talk, we will explore the relationship between graph cut, convex relaxation and some recent continuous max-flow approaches proposed in the literature. Especially, ...

  דובר:

  סו-צ'נג תאי (אונ' ברגן, נורווגיה)

  תאריך:

  יום חמישי, 9.5.2013, 11:30

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• TCE Talk Series - Talk II: Computer Architecture

  This series of talks focuses on the research and education conducted by the PDS group in recent years, on topics such as grid and ...

  דובר:

  אלכסנדרו איסופ (אונ' דלפט לטכנולוגיה)

  תאריך:

  יום חמישי, 9.5.2013, 10:00

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Theory Seminar: Direct Products in Communication Complexity

  Communication complexity deals with the amount of communication between parties needed to achieve a common goal. It was introduced by Yao and has found ...

  דובר:

  אמיר יהודיוף (טכניון

  תאריך:

  יום רביעי, 8.5.2013, 12:30

  מקום:

  טאוב 201

  [לנוסח המלא]

• Route Search

  In recent years, smartphones have become one of the most popular tools for local search and navigation. Yet, state-of-the-art navigation tools are still rather ...

  דובר:

  רועי לוין

  תאריך:

  יום רביעי, 8.5.2013, 12:30

  מקום:

  טאוב 601

  [לנוסח המלא]

• ceClub: Non-Volatile Memory Enhancement: a Cross-Layer Approach

  The invention of semiconductor technology has marked a new era in memory devices: SRAM, DRAM, Flash and more. The ever-increasing rate of data production ...

  דובר:

  עמית ברמן (הנדסת חשמל, טכניון)

  תאריך:

  יום רביעי, 8.5.2013, 11:30

  מקום:

  חדר 861, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• Pixel Club: Robust Computational Geometry and Graphics

  Computational geometry has developed efficient algorithms for a range of tasks that could benefit computer graphics. Yet the practical application of these algorithms is ...

  דובר:

  אלנה זקס (אונ' פורדו)

  תאריך:

  יום שלישי, 7.5.2013, 11:30

  מקום:

  חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• TCE Talk Series - Talk I: Computer Architecture

  This series of talks focuses on the research and education conducted by the PDS group in recent years, on topics such as grid and ...

  דובר:

  אלכסנדרו איסופ (אונ' דלפט לטכנולוגיה)

  תאריך:

  יום שלישי, 7.5.2013, 10:00

  מקום:

  טאוב 601

  [לנוסח המלא]

• An Optimal Randomized Online Algorithm for Reordering Buffer Management

  In the reordering buffer management problem an input sequence of colored items arrives online, and has to be rescheduled in a permuted output sequence ...

  דובר:

  נועה אביגדור-אלגרבלי

  תאריך:

  יום שני, 6.5.2013, 12:30

  מקום:

  Bloomfield 527

  [לנוסח המלא]

• CGGC Seminar: Dynamic Maps for Exploring and Browsing Shapes

  TBA

  דובר:

  יניר קליימן (יפורסם)

  תאריך:

  יום ראשון, 5.5.2013, 13:00

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• TODAY - Distinguished Lectures Series - Talk III: Limits of Sparse Graphs: Distributed Algorithms And Group Theory

  The limit theory of bounded-degree graphs is very interesting, but substantially more challenging than the dense theory. Limit objects can be defined in more ...

  דובר:

  פרופ' לזלו לובס (אונ' לורנד, בודפסט)

  תאריך:

  יום חמישי, 2.5.2013, 14:30

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Distinguished Lectures Series - Talk II: Limits of Dense Graphs: Algorithms And Extremal Graph Theory

  the classical algorithmic problems must be rephrased, and a new kind of complexity theory emerges. Much of this has been worked out in the ...

  דובר:

  פרופ' לזלו לובס (אונ' לורנד, בודפסט)

  תאריך:

  יום רביעי, 1.5.2013, 13:30

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Theory Seminar: Invertible Zero-Error Dispersers and Defective Memory with Stucks-At Errors

  Kuznetsov and Tsybakov considered the problem of storing information in a memory where a certain p-fraction of the n cells are `stuck' at certain ...

  דובר:

  אריאל גביזון (מדעי המחשב, טכניון)

  תאריך:

  יום רביעי, 1.5.2013, 12:30

  מקום:

  טאוב 201

  [לנוסח המלא]

• ceClub: Optimizing Traffic Engineering on the Internet

  New types of applications and services (from video streaming to cloud computing) are placing tremendous demands on today's networks. To tackle this challenge, network ...

  דובר:

  מיכאל שפירא (האונ' העברית בירושלים)

  תאריך:

  יום רביעי, 1.5.2013, 11:30

  מקום:

  חדר 861, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• Distinguished Lectures Series - Talk I: Large Networks, Graph Limits, And Why Are They Useful

  If you have a very large network (which may be deterministic or the result of some random procedure), we may want to approximate it ...

  דובר:

  פרופ' לזלו לובס (אונ' לורנד, בודפסט)

  תאריך:

  יום שלישי, 30.4.2013, 14:30

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Pixel Club: Will the Driver Seat Ever Be Empty? (aka the Difficulty of Safely Navigating Dynamic Environments)

  Autonomous navigation technologies have matured and improved to the point that, in the past few years, self-driving cars have been able to safely drive ...

  דובר:

  דר' טיארי פרייצ'רד - INRIA גרנובל

  תאריך:

  יום שני, 29.4.2013, 14:30

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Efficient, Non-Cooperative Sharing of Computing Resources

  The defining characteristic of cloud computing platforms is money. In clouds, non-cooperative clients pay their providers for the shared computing resources they use as ...

  דובר:

  אורנה אגמון בן-יהודה

  תאריך:

  יום רביעי, 24.4.2013, 15:00

  מקום:

  טאוב 601

  [לנוסח המלא]

• Theory Seminar: Distance Oracles

  Computing distances is one of the most fundamental computational problems. In many applications we are not really interested in all distances, we want the ...

  דובר:

  ליעם רודיטי (אונ' בר-אילן)

  תאריך:

  יום רביעי, 24.4.2013, 12:30

  מקום:

  טאוב 201

  [לנוסח המלא]

• ceClub: To Zip or not to Zip: Effective Resource Usage for Real-Time Compression

  Real-time compression for primary storage is quickly becoming widespread as data continues to grow exponentially, but adding compression on the data path consumes scarce ...

  דובר:

  דני הרניק (י.ב.מ.)

  תאריך:

  יום רביעי, 24.4.2013, 11:30

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• The Israel Pollak Distinguished Lecture: Talk II - Why Natural Algorithms are the Language of the Living World

  The glory of 20th century physics was in many ways the triumph of mathematics. Lacking the requisite symmetries, the life sciences of today are ...

  דובר:

  פרופ' ברנרד שאזל (אונ' פרינסטון)

  תאריך:

  יום שלישי, 23.4.2013, 14:30

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Pixel Club: The SVM-minus Similarity Score for Video Face Recognition

  Face recognition in unconstrained videos requires specialized tools beyond those developed for still images: the fact that the confounding factors change state during the ...

  דובר:

  נגה לוי (אונ' תל-אביב)

  תאריך:

  יום שלישי, 23.4.2013, 11:30

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• The Israel Pollak Distinguished Lecture: Talk I - The Amazing Dynamics of Influence Systems

  Imagine a group of interacting agents (eg, people, computers, birds, bacteria) subject to the attracting influence of the agents with which they communicate. Assume ...

  דובר:

  פרופ' ברנרד שאזל (אונ' פרינסטון)

  תאריך:

  יום שני, 22.4.2013, 14:30

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• CGGC Seminar: Compact Data Structures and Efficient Algorithms for Freeform Geometric Models under Deformation

  We present real-time algorithms for various geometric operations (collision detection, minimum and Hausdorff distance computation, surface-surface intersection, convex hull and distance field generation) on ...

  דובר:

  מיונג סו קים (אונ' סיאול)

  תאריך:

  יום ראשון, 21.4.2013, 13:00

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Theory Seminar: Some Properties are Not Even Partially Testable

  Property testing studies algorithms that distinguish input in a property P from inputs far from it with only a few queries. There are many ...

  דובר:

  יונתן גולדהירש (מדעי המחשב, טכניון)

  תאריך:

  יום רביעי, 17.4.2013, 12:30

  מקום:

  טאוב 201

  [לנוסח המלא]

• ceClub: Cryptography and Network Security Lab, Tel-Aviv University

  Radio-Frequency Identification (RFID) tags based on the Electronic Product Code (EPC) standard have been aggressively introduced into the global supply chain. These tags were ...

  דובר:

  יוסי אורן (קריפטו, אונ' ת"א)

  תאריך:

  יום רביעי, 17.4.2013, 11:30

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• CGGC Seminar: Architectural Caustics

  TBA

  דובר:

  מיכאל אייגנזצץ (אוסטריה)

  תאריך:

  יום ראשון, 14.4.2013, 13:00

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Maximization Problems with Submodular Objective Functions

  The study of combinatorial problems with submodular objective functions has attracted much attention recently, and is motivated by the principle of economy of scale, ...

  דובר:

  מורן פלדמן

  תאריך:

  יום רביעי, 10.4.2013, 15:00

  מקום:

  טאוב 601

  [לנוסח המלא]

• Dynamic Memory Allocation in Cloud Computers using Progressive Second Price Auction

  Physical memory is the most expensive resource in use in today's cloud computing platforms. Cloud providers would like to maximize their clients' satisfaction by ...

  דובר:

  אייל פוזנר

  תאריך:

  יום רביעי, 10.4.2013, 13:30

  מקום:

  טאוב 601

  [לנוסח המלא]

• Theory Seminar: Online Preemptive Scheduling: Benefiting from Slackness

  In the online preemptive scheduling problem, a computing system (e.g., a server) receives job processing requests throughout time, each request characterized by an arrival ...

  דובר:

  יונתן יניב (מדעי המחשב, טכניון)

  תאריך:

  יום רביעי, 10.4.2013, 12:30

  מקום:

  טאוב 201

  [לנוסח המלא]

• ceClub: Towards Building a Practical Privacy-Preserving Recommender System

  Many online services, such as recommender systems, email, and social networks collect user data, which is then used for both personalization and monetization. Although ...

  דובר:

  אודי ויינסברג (טכניקולור, פאלו אלטו)

  תאריך:

  יום רביעי, 10.4.2013, 11:30

  מקום:

  חדר 861, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• Adaptive Metric Dimensionality Reduction

  דובר:

  Aryeh Kontorovich RESCHEDULED

  תאריך:

  יום שלישי, 9.4.2013, 14:30

  מקום:

  חדר 337-8 טאוב.

  [לנוסח המלא]

• CGGC Seminar: Bounded Aspect-ratio Mappings of Letrahedral Meshes

  We present an algorithm that, given a piecewise-linear mapping of a tetrahedral mesh, generates a similar map that is guaranteed to have bounded aspect-ratio ...

  דובר:

  נועם אייגרמן (מכון ויצמן למדע)

  תאריך:

  יום ראשון, 7.4.2013, 13:00

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Pixel Club: Imaging Fluid Flow in Porous Media

  Many applications such as enhanced oil recovery, in situ combustion and contaminant transport are complex processes that are governed by flow in porous media ...

  דובר:

  אלדד הבר (אונ' קולומביה הבריטית)

  תאריך:

  יום ראשון, 7.4.2013, 11:30

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Theory Seminar: Properties and Applications of Boolean Function Composition

  For Boolean functions f : {0, 1} → {0, 1} and g : {0, 1}m → {0, 1}, the function composition of f and ...

  דובר:

  אבישי טל (מכון ויצמן למדע)

  תאריך:

  יום רביעי, 3.4.2013, 12:30

  מקום:

  טאוב 201

  [לנוסח המלא]

• ceClub: Exploit Mitigation: From Detection to Obstruction

  Recent attacks on high-value targets, demonstrate how state-of-the-art defenses fail to protect against APTs (Advanced Persistent Threats). These victims spare no expense and appropriately ...

  דובר:

  גל בדישי (סיברה בע"מ)

  תאריך:

  יום רביעי, 3.4.2013, 11:30

  מקום:

  חדר 861, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• Theory Seminar: A Full Characterization of Functions that Imply Fair Coin Tossing and Ramifications to Fairness

  Abstract: It is well known that it is impossible for two parties to toss a coin fairly (Cleve, STOC 1986). This result implies that ...

  דובר:

  גלעד אשרוב (אונ' בר-אילן)

  תאריך:

  יום רביעי, 20.3.2013, 12:30

  מקום:

  טאוב 201

  [לנוסח המלא]

• Estimating Pose and Motion using Bundle Adjustment and Digital Elevation Model Constraints

  Pose and motion estimation of a calibrated camera is a common application in the photogrammetric world. In most cases this is solved by combining ...

  דובר:

  גיל בריסקין

  תאריך:

  יום רביעי, 20.3.2013, 12:30

  מקום:

  טאוב 601

  [לנוסח המלא]

• CSpecial Talk: Fascinating World of Reverse Engineering

  Reverse engineering is the art of discovering the secrets of how things work. Be it a computer program, a mobile device or a washing ...

  דובר:

  ענבר רז (צ'ק פוינט)

  תאריך:

  יום שלישי, 19.3.2013, 12:30

  מקום:

  טאוב 9

  [לנוסח המלא]

• Pixel Club: Approaches for Efficient Incremental Structure from Motion and Consistent Vision-based Single- and Multi-robot Navigation

  This talk will focus on efficient methods for single- and multi-robot localization and structure from motion (SfM) related problems such as mobile vision, augmented ...

  דובר:

  ודים אינדלמן - Georgia Tech

  תאריך:

  יום שלישי, 19.3.2013, 11:30

  מקום:

  חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• Haifux Club: Kernel Cybernetics: How to Get Useful Information from The Kernel Archives

  Beginning kernel programmers spend a large portion of their time looking for information regarding specific kernel versions, patches, the history of particular files and ...

  דובר:

  יונתן בן-אברהם (ט"ק מערכות פתוחות)

  תאריך:

  יום שני, 18.3.2013, 18:30

  מקום:

  טאוב 6

  [לנוסח המלא]

• Bioinformatics Forum: What You Can Do with 40 Dimensions in Single Cells: Mapping The Shape of Hematopoiesis and Cancer

  TBA

  דובר:

  דנה פאר (אונ' קולומביה)

  תאריך:

  יום חמישי, 14.3.2013, 14:30

  מקום:

  טאוב 701

  [לנוסח המלא]

• Pixel Club: Curves on Surfaces with Applications to Archaeology

  Curves on objects can convey the inherent features of the shape. Edge detection in images has been a fundamental problem in computer vision from ...

  דובר:

  מיכאל קולומנקין (הנדסת חשמל, טכניון)

  תאריך:

  יום שלישי, 12.3.2013, 11:30

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Haifux Club: Wireless Hacking

  The talk includes a workshop, in which the speaker's AP will be hacked by the audiance. To participate, bring a laptop with a flash ...

  דובר:

  גיא אדרי - See Secure Consulting

  תאריך:

  יום שני, 4.3.2013, 18:30

  מקום:

  טאוב 6

  [לנוסח המלא]

• TCE Talk Series - Talk III: The Poisson Equation in Image Stitching, Geometry Processing, and Surface Reconstruction, Talk II

  In these lectures we will take an in-depth look at the Poisson equation, with a focus on its use in the graphics community. We ...

  דובר:

  פרופ' מיכאל קזדן (אונ' הופקיקנס)

  תאריך:

  יום שני, 4.3.2013, 11:00

  מקום:

  טאוב 539

  [לנוסח המלא]

• Finding Rare Numerical Stability Errors in Concurrent Computation

  Stability of a numerical algorithm is an important factor in its analysis, since an error exceeding the bound can lead to disastrous results: for ...

  דובר:

  קרין אבן

  תאריך:

  יום רביעי, 27.2.2013, 14:30

  מקום:

  טאוב 601

  [לנוסח המלא]

• Pixel Club: Human Activity Recognition in Video by Spatio-Temporal GIST

  Activity recognition in video is a major problem in computer vision, that integrates two main challenges. The first, is defining a robust and informative ...

  דובר:

  אסף סלע (הנדסת חשמל, טכניון)

  תאריך:

  יום שלישי, 26.2.2013, 11:30

  מקום:

  חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• TCE Guest Lecture: Cloud Computing on the Internet of Things

  This talk is to motivate an interactive discussion on a couple of new research proposals that presently I have been pushing (DCR and FOG). ...

  דובר:

  פרופ' מריו נמירובסקי (ברצלונה)

  תאריך:

  יום שלישי, 26.2.2013, 11:00

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Haifux Club: Developing Modern Web Applications using Flask and Backbone.js

  We've come a long way since NCSA Mosaic and httpd. Web developers' arsenal today encompasses a very broad range of tools and techniques, but ...

  דובר:

  יניב עקנין ויניב בן-זקן

  תאריך:

  יום שני, 18.2.2013, 18:30

  מקום:

  טאוב 6

  [לנוסח המלא]

• TCE Talk Series - Talk II: The Poisson Equation in Image Stitching, Geometry Processing, and Surface Reconstruction

  In these lectures we will take an in-depth look at the Poisson equation, with a focus on its use in the graphics community. We ...

  דובר:

  פרופ' מיכאל קזדן (אונ' הופקיקנס)

  תאריך:

  יום שני, 18.2.2013, 11:00

  מקום:

  טאוב 539

  [לנוסח המלא]

• cggc Ph.D. Seminar: Methods in Geometry Processing

  I will describe two researches on shape modeling. In the first research we present a new framework for real-time shape deformation with local shape ...

  דובר:

  זהר לוי (מדעי המחשב, טכניון)

  תאריך:

  יום ראשון, 17.2.2013, 13:00

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Constructive Cryptography -- A New Paradigm for Security Definitions and Proofs

  דובר:

  Ueli Maurer

  תאריך:

  יום רביעי, 13.2.2013, 14:30

  מקום:

  חדר 337-8 טאוב.

  [לנוסח המלא]

• Understanding miRNA activity and function using integrative genomics

  Over the last several years, modern biology has undergone an information revolution, which is apparent in a shift of thinking and practice. While typical ...

  דובר:

  ישראל שטיינפלד

  תאריך:

  יום רביעי, 13.2.2013, 12:30

  מקום:

  טאוב 601

  [לנוסח המלא]

• ceClub: Reliablity and Efficiency in Cloud Storage

  Advances in data center technologies have led to extensive use of data centers to store large volumes of data in a managed distributed system. ...

  דובר:

  איל איתי (הנדסת חשמל, טכניון

  תאריך:

  יום רביעי, 13.2.2013, 11:30

  מקום:

  חדר 861, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• Pixel Club: Dynamics-based Invariants for Video Understanding

  Cameras are ubiquitous everywhere and hold the promise of significantly changing the way we live and interact with our environment. Dynamic vision systems are ...

  דובר:

  אוקטביה קאמפס' אונ' NORTHEASTERN

  תאריך:

  יום שלישי, 12.2.2013, 16:30

  מקום:

  כיתת הספרייה, אווירונאוטיקה

  [לנוסח המלא]

• Haifux Club: Flash Friendly File System (F2FS)

  The "flash-friendly file system (F2FS)" is a new file system for Linux recently announced by engineers from Samsung. Unlike jffs2 and logfs, f2fs is ...

  דובר:

  לאון רומנובסקי

  תאריך:

  יום שני, 11.2.2013, 18:30

  מקום:

  טאוב 6

  [לנוסח המלא]

• Pixel Club: Improving Large-Scale Image Retrieval using Geometric Weighting

  The Bag-Of-Features (BOF) approaches are becoming central in large-scale image retrieval. The standard BOF method is orderless, completely omitting geometric configuration of visual words. ...

  דובר:

  Dima Sezganov (EE, Technion)

  תאריך:

  יום שלישי, 5.2.2013, 11:30

  מקום:

  חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• Haifux Club: Bitcoin

  Bitcoin is the world's first decentralized digital currency. Powered by a peer-to-peer network of computers running free software, it was created as an alternative ...

  דובר:

  מני רוזנפלד

  תאריך:

  יום שני, 4.2.2013, 18:30

  מקום:

  טאוב 6

  [לנוסח המלא]

• TCE Talk Series - Talk I: The Poisson Equation in Image Stitching, Geometry Processing, and Surface Reconstruction

  In these lectures we will take an in-depth look at the Poisson equation, with a focus on its use in the graphics community. We ...

  דובר:

  פרופ' מיכאל קזדן (אונ' הופקיקנס)

  תאריך:

  יום שני, 4.2.2013, 11:00

  מקום:

  טאוב 539

  [לנוסח המלא]

• Weak Omega Automata

  Automata over infinite words are a core concept in program verification. Many different types of automata exist and they can be classified by the ...

  דובר:

  שקד פלור

  תאריך:

  יום שני, 4.2.2013, 10:30

  מקום:

  טאוב 601

  [לנוסח המלא]

• Theory Seminar: Time-lock puzzles and Proofs-of-Work in the Random Oracle Model

  Time-lock puzzles are a class of computational problems that take longer to solve than they do to generate. They can be used, for example, ...

  דובר:

  טל מורן (בינתחומי הרצליה)

  תאריך:

  יום רביעי, 30.1.2013, 12:30

  מקום:

  טאוב 201

  [לנוסח המלא]

• Designs of Flash and Associative Memories

  דובר:

  Eitan Yaakobi

  תאריך:

  יום שלישי, 29.1.2013, 14:30

  מקום:

  חדר 337-8 טאוב.

  [לנוסח המלא]

• Pixel Club: Telegraphers' equation in Image Processing

  Diffusion-type algorithms have been integrated successfully into the toolbox used in image processing and computer vision. We introduce in the context of digital signal ...

  דובר:

  ודים ראטנר (הנדסת חשמל, טכניון)

  תאריך:

  יום שלישי, 29.1.2013, 14:30

  מקום:

  חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• Towards Temporal Correctness of Event Processing

  Although event processing is considered an emerging technology, empirical studies show that most enterprises ability to use such systems as ranging from poor to ...

  דובר:

  אליאור מלול

  תאריך:

  יום שלישי, 29.1.2013, 13:30

  מקום:

  טאוב 235

  [לנוסח המלא]

• TCE Guest Lecture: Functional Maps: A Flexible Representation of Maps Between Shapes

  This talk discuss a representation of maps between pairs of 3D shapes (represented as triangle meshes) that generalizes the standard notion of a map ...

  דובר:

  מקס אובז'ניקוב (אקול פוליטכניק)

  תאריך:

  יום ראשון, 27.1.2013, 13:00

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Theory Seminar: A constant factor approximation algorithm for reordering buffer management

  In the reordering buffer management problem (RBM) a sequence of $n$ colored items enters a buffer with limited capacity $k$. When the buffer is ...

  דובר:

  נועה אביגדור-אלגרבלי (מדעי המחשב, טכניון)

  תאריך:

  יום רביעי, 23.1.2013, 12:30

  מקום:

  טאוב 201

  [לנוסח המלא]

• ceClub: New Bounds for Renaming and WSB

  In a distributed task, processes of a distributed system start with private input values, communicate each other using a medium and then irrevocably decide ...

  דובר:

  ארמנדו קסטנדה (מדעי המחשב, טכניון)

  תאריך:

  יום רביעי, 23.1.2013, 11:30

  מקום:

  טאוב 3

  [לנוסח המלא]

• Haifux Club: Command-line utilities: Tips and tricks

  Command-line utilities is the real power of a Linux computer, and yet there's always a few useful utilities that even an experienced Linux user ...

  דובר:

  אלי בילאר

  תאריך:

  יום שני, 21.1.2013, 18:30

  מקום:

  טאוב 6

  [לנוסח המלא]

• Pixel Club: Lie Shapes and Statistics on Manifolds

  Three-dimensional object shape is commonly represented in terms of deformations of a triangular mesh from an exemplar shape. In particular, statistical generative models of ...

  דובר:

  אורן פרייפלד (אונ' בראון)

  תאריך:

  יום ראשון, 20.1.2013, 14:30

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• CGGC Seminar: Localizing the Delaunay Triangulation and its Parallel Implementation

  The Delaunay triangulation and its dual, the Voronoi diagram, are among the most fundamental structures in computational geometry. We show how to localize the ...

  דובר:

  רנג'י צ'ן (מדעי המחשב, טכניון)

  תאריך:

  יום ראשון, 20.1.2013, 13:00

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Theory Seminar: Quasi-Linear Non-Interactive Zero-Knowledge Proofs Based on Probabilistically Checkable Proofs and Naccache-Stern Encryption

  Abstract: Zero-knowledge proofs enable a prover to convince a verifier of the truth of a statement without revealing anything else. Non-interactive zero-knowledge proof are ...

  דובר:

  ג'נס גרות' אונ' לונדון)

  תאריך:

  יום רביעי, 16.1.2013, 12:30

  מקום:

  טאוב 201

  [לנוסח המלא]

• ceClub: Quantitative Analysis of the Full Bitcoin Transaction Graph

  The Bitcoin scheme is a rare example of a large scale global payment system in which all the transactions are publicly accessible (but in ...

  דובר:

  דורית רון (מכון ויצמן למדע)

  תאריך:

  יום רביעי, 16.1.2013, 11:30

  מקום:

  יפורסם

  [לנוסח המלא]

• CS1001.py: A Topics Based Introduction to Computer Science

  דובר:

  Benny Chor

  תאריך:

  יום שלישי, 15.1.2013, 14:30

  מקום:

  חדר 337-8 טאוב.

  [לנוסח המלא]

• Pixel Club: Generalized Laplacians, Ricci curvature and Flow for Images

  A discrete version of the Ricci flow, applicable to images, is introduced and applied for some image processing tasks such as denoising and non-linear ...

  דובר:

  אלי אפלבוים (הנדסת חשמל, טכניון)

  תאריך:

  יום שלישי, 15.1.2013, 11:30

  מקום:

  חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• Random walks and discrete logarithms: some applications of number theory to cryptography

  דובר:

  Steve Miller, SPECIAL GUEST TALK

  תאריך:

  יום חמישי, 10.1.2013, 14:30

  מקום:

  חדר 337-8 טאוב.

  [לנוסח המלא]

• Quantitative Formal Verification

  דובר:

  Udi Boker

  תאריך:

  יום רביעי, 9.1.2013, 14:30

  מקום:

  חדר 337-8 טאוב.

  [לנוסח המלא]

• Theory Seminar: Approximating k-Median via Pseudo-Approximation

  K-median is the problem where we wish to open k facilities so as to minimize the average distance each client has to its closest ...

  דובר:

  אולה סוונסון (EPFL, שוויץ)

  תאריך:

  יום רביעי, 9.1.2013, 12:30

  מקום:

  טאוב 201

  [לנוסח המלא]

• ceClub: An Intent-based Approach for Network Virtualization

  Virtualizing resources for easy pooling and accounting, as well as for rapid provisioning and release, is essential for the effective management of modern data ...

  דובר:

  רמי כהן (יבמ חיפה)

  תאריך:

  יום רביעי, 9.1.2013, 11:30

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Pixel Club: On Stochastic Interpolation of Color Textures

  In recent years, a number of super-resolution techniques have been proposed. Most of these techniques construct a high resolution image by either combining several ...

  דובר:

  ירון קליט (הנדסת חשמל, טכניון)

  תאריך:

  יום שלישי, 8.1.2013, 11:30

  מקום:

  חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

• On Relative Approximations in Geometry and Their Variants.

  דובר:

  Esther Ezra

  תאריך:

  יום שני, 7.1.2013, 14:30

  מקום:

  חדר 337-8 טאוב.

  [לנוסח המלא]

• Semi-Supervised structured prediction in Natural Language Processing through Declarative Knowledge Encoding

  דובר:

  Roi Reichart

  תאריך:

  יום חמישי, 3.1.2013, 14:30

  מקום:

  חדר 337-8 טאוב.

  [לנוסח המלא]

• Theory Seminar: How to Generalize Descartes' Rule of Signs?

  The main open problem in proof complexity is to prove superpolynomial lower bounds for the so-called Frege system, where Frege system is a specific ...

  דובר:

  פאבל רובס (אונ' קלגרי)

  תאריך:

  יום רביעי, 2.1.2013, 12:30

  מקום:

  טאוב 201

  [לנוסח המלא]

• ceClub: The SkipTrie: Low-Depth Concurrent Search without Rebalancing

  To date, all concurrent search structures that can support predecessor queries have had depth logarithmic in m, the number of elements. This work introduces ...

  דובר:

  רותם אושמן (אונ' טורונטו)

  תאריך:

  יום רביעי, 2.1.2013, 11:30

  מקום:

  חדר 337, בניין טאוב למדעי המחשב

  [לנוסח המלא]

• Software Engineering meets Biological Modeling

  דובר:

  Hillel Kugler

  תאריך:

  יום שלישי, 1.1.2013, 14:30

  מקום:

  חדר 337-8 טאוב.

  [לנוסח המלא]

• Pixel Club: Clustering by Composition for Unsupervised Discovery of Image Categories (ECCV12)

  We define a "good image cluster" as one in which images can be easily composed (like a puzzle) using pieces from each other, while ...

  דובר:

  אלון פקטור (מכון ויצמן למדע)

  תאריך:

  יום שלישי, 1.1.2013, 11:30

  מקום:

  חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

  [לנוסח המלא]

מידע כללי

• אודות הפקולטה
• חדשות | אירועים | מגזין
• קולוקוויום וסמינרים
• חוג ידידי הפקולטה
• יצירת קשר | הוראות הגעה

אנשים

• חברי סגל
• סטודנטים
• צוות | יועצים
• שעות קבלה
• מדריך טלפונים
• בוגרים
• הצעות משרה

אקדמי

• קורסים
• לוח זמני הוראה
• תואר ראשון
• תואר שני ושלישי
• מידע לנרשמים

מחקר

• תחומי מחקר
• מעבדות מחקר
• דו"חות טכניים ותיזות
• המרכז להנדסת מחשבים

משאבים

• ספרית מדמ"ח | ספריה מרכזית
• שירותי מחשוב
• גלריית תמונות
• קישורים שימושיים

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

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