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

  • Mixed Integer Programming Accelerator

    The availability of effective exact or heuristic solution methods for general Mixed-Integer Programs (MIPs) is of a paramount importance for practical applications. Unfortunately, in ...

    דובר:
    איגור זריבץ
    תאריך:
    יום רביעי, 28.12.2016, 13:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Theory Seminar: Complete Derandomization of Identity Testing of Read-Once Formulas

    In this paper we study the identity testing problem of arithmetic read-once formulas (ROF) and some related models. A read-once formula is formula (a ...

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

    [לנוסח המלא]

  • ceClub: Secure Computation in Hostile Environments

    Computer systems are everywhere, often controlling critical processes and containing sensitive secret information. However, the ubiquitous nature of computer systems also means that such ...

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

    [לנוסח המלא]

  • Requirements for Tools for Hairy Requirements or Software Engineering Tasks

    דובר:
    Daniel M. Berry - COLLOQUIUM LECTURE
    תאריך:
    יום שלישי, 27.12.2016, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • ceClub: Temporal Planning - Towards Highly Utilized Clouds

    Existing resource management frameworks for large scale cloud systems leave unresolved the problematic tension between high resource utilization and job's performance predictability - respectively ...

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

    [לנוסח המלא]

  • היום! יום עיון לרגל פרישתו של פרופ' יוהן מקובסקי

    TODAY! A Workshop in Honor of Prof. Johann Makowsky’s Retirementהפקולטה למדעי המחשב תקיים יום עיון לרגל פרישתו של פרופ' יוהן מקובסקי בנושא: Logic in Computer Science and Combinatorics בתוכנית דברי ברכה מפי דיקן ...

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

    [לנוסח המלא]

  • הרצאת אורח: The Automated-Reasoning Revolution: From Theory to Practice and Back

    For the past 40 years computer scientists generally believed that NP-complete problems are intractable. In particular, Boolean satisfiability (SAT), as a paradigmatic automated-reasoning ...

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

    [לנוסח המלא]

  • Shared-memory concurrency in programming languages: Problems, challenges, solutions

    With the proliferation of multi-core processors, shared-memory concurrent programming has become increasingly important. Nevertheless, despite decades of research, there are still no adequate answers ...

    דובר:
    Ori Lahav
    תאריך:
    יום ראשון, 25.12.2016, 10:30
    מקום:
    חדר 601 טאוב.

    [לנוסח המלא]

  • On Simulation, Verification and Monitoring of Cyber-Physical Systems

    In this talk I will present some of the research I have been involved in concerning the specification and monitoring of timed, continuous and ...

    דובר:
    Oded Maler - Special Guest Lecture
    תאריך:
    יום חמישי, 22.12.2016, 14:30
    מקום:
    חדר 337 טאוב.

    [לנוסח המלא]

  • Recent advances in randomness extractors and their applications

    We present recent developments in randomness extractors theory and applications to classical, long-standing, open problems such as Ramsey graphs constructions and privacy amplification protocols. ...

    דובר:
    Gil Cohen - CS-Lecture -
    תאריך:
    יום חמישי, 22.12.2016, 10:30
    מקום:
    חדר 337 טאוב.

    [לנוסח המלא]

  • Theory Seminar: Low Contention Nested Parallelism using Dynamic SNZI

    The study and design of concurrent data structures has mostly focused on verifying their correctness and proving general progress guarantees. In contrast, very little ...

    דובר:
    נעמה בן-דוד (אונ' קרנגי מלון)
    תאריך:
    יום רביעי, 21.12.2016, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • ceClub: Challenges in Modeling, Optimization and Control of Energy Networks (Transmission and Distribution of Power and Natural Gas)

    Challenges in simulation, optimization and control of natural gas transmission systems and their coupling to power transmission systems are reviewed in this presentation describing ...

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

    [לנוסח המלא]

  • Pixel Club: Accelerated Quadratic Proxy for Geometric Optimization

    We present the Accelerated Quadratic Proxy (AQP) - a simple first order algorithm for the optimization of geometric energies defined over triangular and tetrahedral ...

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

    [לנוסח המלא]

  • Coding Theory: Semiconstrained Systems

    When transmitting information over a noisy channel, two approaches are common: assuming the channel errors are independent of the transmitted content and devising an ...

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

    [לנוסח המלא]

  • Cloud resource provisioning for social notifications at mass scale

    Delivery of social notifications has become a popular component in many electronic services. While a small number of services for social notifications, e.g., Twitter, ...

    דובר:
    Roman Vitenberg - COLLOQUIUM LECTURE
    תאריך:
    יום חמישי, 15.12.2016, 14:30
    מקום:
    חדר 337 טאוב.

    [לנוסח המלא]

  • Linear and Generalized Linear Mixed Models for Genetic Case Control Studies

    In recent years, genetic studies have revolutionized our understanding of common diseases like diabetes and cancer. However, the analysis of genetic studies of disease ...

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

    [לנוסח המלא]

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

    FACEBOOK TECH TALK at CS מהנדסי פייסבוק יגיעו לפקולטה ויציעו לכם משרות והזדמנויות להתמחות, ביום רביעי, 14 בדצמבר 2016, בין 12:30-13:30, בחדר 337, קומה 3, בניין טאוב למדעי המחשב, ...

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

    [לנוסח המלא]

  • Theory Seminar: Cohomology for Computer Science

    We will start with presenting the basic notions of (co)homomology of simplical complexes (which requires only basic linear algebra over the field of order ...

    דובר:
    אלכס לובוצקי (האונ' העברית)
    תאריך:
    יום רביעי, 14.12.2016, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • ceClub: Resampling with Feedback - A New Paradigm of Using Workload Data for Performance Evaluation

    Reliable performance evaluations require representative workloads. This has led to the use of accounting logs from production systems as a source for workload data ...

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

    [לנוסח המלא]

  • Pixel Club: Big Data-small Data: Image Classification for Colorectal Cancer Diagnosis

    Capsule Endoscopy for the Colon is an emerging market with the potential to become a screening tool for detecting colorectal cancer. The patient swallows ...

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

    [לנוסח המלא]

  • Pixel Club: Arranging & Improving Photos

    There are *many* photos in the world. An average user might have thousands of photos in their personal photo collection. We have reached a ...

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

    [לנוסח המלא]

  • CGGC Seminar: OpenMP - In Practice

    OpenMP is an API for writing multithreaded, shared memory parallelism, it consists of a set of compiler directives none intrusive to the original serial ...

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

    [לנוסח המלא]

  • Finding Security Vulnerabilities in Network Protocols Using Methods of Formal Verification

    The Internet infrastructure relies almost entirely on network protocols that are based on open standards. However, the majority of network devices on the Internet, ...

    דובר:
    עדי סוסנוביץ
    תאריך:
    יום רביעי, 7.12.2016, 15:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Theory Seminar: Online Matching: Haste Makes Waste!

    We address a new online problem, referred to as min-cost perfect matching with delays (MPMD), where requests arrive in a continuous time online fashion ...

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

    [לנוסח המלא]

  • ceClub: From Theory to Practice: The Actual Outcome of Two 'Somewhat Disjoint' Network Evaluation Studies

    Network Function Virtualization (NFV) is a novel paradigm that enables flexible and scalable implementation of network services on cloud infrastructure, while Network Survivability is ...

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

    [לנוסח המלא]

  • Pixel Club: Signal Modeling: From Convolutional Sparse Coding to Convolutional Neural Networks

    Within the wide field of sparse approximation, convolutional sparse coding (CSC) has gained increasing attention in recent years. This model assumes a structured-dictionary built ...

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

    [לנוסח המלא]

  • Market Driven Queuing

    Network providers must dynamically allocate scarce physical resources among their clients to maximize benefit. Network pricing is one way for providers to maximize client ...

    דובר:
    בוריס פיסמניי
    תאריך:
    יום שני, 5.12.2016, 15:30
    מקום:
    טאוב 301

    [לנוסח המלא]

  • Coding Theory: Cyclic Subspace Codes from Sidon Sets

    The interest in subspace codes has increased recently due to their application in error correction for random network coding. In order to study their ...

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

    [לנוסח המלא]

  • Comparing evolutionary distances via adaptive distance functions

    Distance based reconstruction methods of phylogenetic trees consist of two independent parts: first, inter-species distances are estimated assuming some stochastic model of sequence evolution; ...

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

    [לנוסח המלא]

  • Theory Seminar: Pseudorandomness when the Odds are Against You

    A celebrated result by Impagliazzo and Wigderson is that under complexity theoretic hardness assumptions, every randomized algorithm can be transformed into one that uses ...

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

    [לנוסח המלא]

  • ceClub: Practical Plausibly Deniable Encryption through Low-Level Flash Behavior

    Users of solid-state disks and mobile devices may benefit from the ability to hide sensitive data in a manner that disallows powerful adversaries from ...

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

    [לנוסח המלא]

  • From Reachability to Temporal Specifications in Game Theory

    דובר:
    Orna Kupferman - COLLOQUIUM LECTURE
    תאריך:
    יום שלישי, 29.11.2016, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Pixel Club: Recovering Hyperspectral Signals from RGB images via Sparse Dictionary Learning

    Hyperspectral (HS) images or "hyperspectral data-cubes" contain radiance spectrum information at high spectral resolution for each point in the scene. Until recently, acquiring such ...

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

    [לנוסח המלא]

  • Faster Projection-free Machine Learning and Optimization

    Projected gradient descent (PGD), and its close variants, are often considered the methods of choice for solving a large variety of machine learning optimization ...

    דובר:
    Dan Garber - CS-Lecture -
    תאריך:
    יום שני, 28.11.2016, 10:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • הרצאה טכנית מטעם גוגל

    Google TECH TALK at CSמהנדסי קבוצת Cloud & Networking של גוגל יגיעו למדעי המחשב וירצה על האתגרים העמדים בפני בוני "Effingo" וכן על תהליך הגיוס שלהם. אנא הירשמו מראש.

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

    [לנוסח המלא]

  • Pixel Club: Statistical Non-Rigid Shape Correspondence ​

    Many algorithms for the computation of correspondences​ ​between deformable shapes rely on some variant of​ ​nearest neighbor matching in a descriptor space. Such are,​ ...

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

    [לנוסח המלא]

  • From Programming Languages to Programming Systems - Software Development by Refinement

    Everyone wants to program with "high-level concepts", rather than meddle with the fine details of the implementation, such as pointers, network packets, and asynchronous ...

    דובר:
    Shachar Itzhaky - CS-Lecture -
    תאריך:
    יום חמישי, 24.11.2016, 10:30
    מקום:
    חדר 337 טאוב.

    [לנוסח המלא]

  • Theory Seminar: New Hardness Results for Routing on Disjoint Paths

    In the classical Node-Disjoint Paths (NDP) problem, the input consists of an undirected $n$-vertex graph $G$, and a collection $M=\{(s_1,t_1),\ldots,(s_k,t_k)\}$ of pairs of its ...

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

    [לנוסח המלא]

  • סמינר בכירי אינטל: מחברות קטנות לענקיות בינלאומיות

    Intel Technion Executive Seminar: From Small Firms to World Giantsמחברות קטנות לענקיות בינלאומיות: כל מה שרציתם לדעת על איך להצליח בתעשיית ההייטק בזירה הטכנולוגית המורכבת של ימינו, ולא העזתם לשאול. בואו ללמוד מהמומחים ...

    תאריך:
    יום רביעי, 23.11.2016, 09:00
    מקום:
    EE Meyer Building 1003

    [לנוסח המלא]

  • Pixel Club: Finding a Needle in a (Deformable) Haystack

    Finding correspondence between 3D shapes is one of the prototypical problems in computer graphics, geometric processing, and vision. Different flavors of this problem arise ...

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

    [לנוסח המלא]

  • Coding Theory: Combinatorial Batch Codes: Bounds and Constructions

    An (n, N, k, m, t)-batch code abstracts the following distributed database problem: n items are to be distributed among m servers in such ...

    דובר:
    Srimanta Bhattacharya (Indian Statistical Institute, Kolkata, India)
    תאריך:
    יום ראשון, 20.11.2016, 14:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Exact Learning of Juntas from Membership Queries

    Learning from membership queries has flourished due to its many applications in group testing, blood testing, chemical leak testing, chemical reactions, electric shorting detection, ...

    דובר:
    אריג' קוסטה
    תאריך:
    יום חמישי, 17.11.2016, 13:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Theory Seminar: Branching Program size lower bounds via Projective Dimension

    Branching program is a combinatorial model of computation which models space in Turing machines. One of the holy grail in complexity theory is to ...

    דובר:
    סאג'ין קורות' (מדרס, הודו)
    תאריך:
    יום רביעי, 16.11.2016, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • ceClub: Underlay Aware Overlay Routing

    Network function cloudification aims at executing virtual network functions on the cloud to enable rapid deployment of new services with greater flexibility and better ...

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

    [לנוסח המלא]

  • Teaching Computer Science, in Israel and Abroad: Teaching, Learning, and Teacher Training

    דובר:
    Orit Hazzan and Noa Ragonis - COLLOQUIUM LECTURE
    תאריך:
    יום שלישי, 15.11.2016, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Pixel Club: Applications in Speech, Vision and Cognition

    ​We present a general framework for solving partial differential equations on manifolds represented by meshless points, i.e. point clouds, without parameterization or connection information. ...

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

    [לנוסח המלא]

  • Special Guest Lecture: Functional Safety and IT-Security: The Critical Combination

    Functional Safety and IT-Security are the most important quality factors for future real-time embedded systems. This talk will cover state of the art techniques ...

    דובר:
    פרופ' ג'ורגן מוטוק (אונ' בווריה, גרמניה)
    תאריך:
    יום שני, 14.11.2016, 15:15
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Special Guest Lecture: Safe and Secure Systems: Implications on System Architecture

    Embedded real-time systems focusing on functional safety applications must be error-free and have to master faults occurring during operation. In this talk we will ...

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

    [לנוסח המלא]

  • Pixel Club: End-to-End Learning: Applications in Speech, Vision and Cognition

    One of the most exciting possibilities opened by deep neural networks is end-to-end learning: the ability to learn tasks without the need for feature ...

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

    [לנוסח המלא]

  • CGGC Seminar: 3D Printing, User Basics

    This talk will present some basic concepts to help (aspiring) users of 3D printing. The talk will focus on the pipeline and use of ...

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

    [לנוסח המלא]

  • Fast Distributed Approximation for Max-Cut

    One of the fundamental tasks in many computational settings is finding the maximum cut. Surprisingly, it has been insufficiently studied in the classic distributed ...

    דובר:
    רנה לוי
    תאריך:
    יום רביעי, 9.11.2016, 14:30
    מקום:
    טאוב 401

    [לנוסח המלא]

  • Theory Seminar: Simplex Transformations and the Multiway Cut Problem

    We consider the Multiway Cut problem, a basic graph partitioning problem in which the goal is to find the minimum weight collection of edges ...

    דובר:
    ברוך ויצמן (אונ' תל-אביב)
    תאריך:
    יום רביעי, 9.11.2016, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • ceClub: Breaking the ISA Barrier in Modern Computing

    On-chip heterogeneity has been shown to be an effective mechanism to improve execution efficiency for general purpose and embedded computing. Existing heterogeneous designs either ...

    דובר:
    אשיש ונקט (אונ' סאן דייגו)
    תאריך:
    יום רביעי, 9.11.2016, 11:30
    מקום:
    טאוב 401

    [לנוסח המלא]

  • High Throughput Connectomics

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

    [לנוסח המלא]

  • Pixel Club: ​​Diffusion Nets and Manifold Learning for High-Dimensional Data Analysis in the Presence of Outliers

    In the analysis of high-dimensional data, manifold learning methods are used to reduce the dimensionality of the data, while preserving local neighborhoods and revealing ...

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

    [לנוסח המלא]

  • A fast distributed (2+epsilon)-approximation for weighted vertex cover

    The field of distributed graph algorithms deals with solving graph problems in a network (graph) of independent agents while minimizing the amount of communication ...

    דובר:
    גרגורי שוורצמן
    תאריך:
    יום רביעי, 2.11.2016, 14:30
    מקום:
    טאוב 701

    [לנוסח המלא]

  • Theory Seminar: Compression of Interactive Communication

    In a profoundly influential paper, Shannon introduced information theory and used it to study the one-way data transmission problem, initiating the study of data ...

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

    [לנוסח המלא]

  • Pixel Club: Light Invariant Video Imaging –Capabilities and Applications

    Controlled light conditions improve considerably the performance of most computer vision algorithms. Dynamic light conditions create varying spatial changes in color and intensity across ...

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

    [לנוסח המלא]

  • Declarative Data Cleaning via Preferred Repairs

    An inconsistent database is a database that violates some of the integrity constraints assumed to hold. Managing data inconsistency has been one of the ...

    דובר:
    אסתר ליבשיץ
    תאריך:
    יום שני, 31.10.2016, 12:30
    מקום:
    טאוב 301

    [לנוסח המלא]

  • Pixel Club: From Pixels to Information - Recent Advances in Visual Search

    With intelligent processing, cameras have great potential to link the real world and the virtual world. We review advances and opportunities for algorithms and ...

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

    [לנוסח המלא]

  • Pixel Club: Anatomy of the SIFT Method

    The SIFT method is the first efficient image comparison model. It was the first method to propose a practical scale-space sampling and to put ...

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

    [לנוסח המלא]

  • יריד מידע ראשון במדעי המחשב

    First Information Fair at CSהפקולטה למדעי המחשב מזמינה סטודנטים לכל התארים להשתתף ביריד מידע חדש אשר יציג את מגוון הפרוייקטים, הסמינרים והקורסים המתקדמים שיינתנו בשנה"ל תשע"ז. היריד יתקיים ...

    תאריך:
    יום רביעי, 26.10.2016, 12:30
    מקום:
    CS טאוב Lobby

    [לנוסח המלא]

  • Theory Seminar: Explicit List-Decodable Codes with Optimal Rate for Computationally Bounded Channels

    Guruswami and Smith (Journal of the ACM, to appear) present a construction for an explicit codes for additive channels (channels that can induce a ...

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

    [לנוסח המלא]

  • Pixel Club: ​Example-Based Image Synthesis via Randomized Patch-Matching

    Image and texture synthesis is a challenging task that has long been drawing attention in the fields of image processing, graphics, and machine learning. ...

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

    [לנוסח המלא]

  • Software Management of Hardware Memory Versioning

    Task-based programming is an emerging paradigm that simplifies parallel programming. Task-based models, however, mostly focus on expressing concurrency and, for the most part, do ...

    דובר:
    תהילה מייזלס
    תאריך:
    יום שלישי, 27.9.2016, 13:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Pixel Club: Gathering & Control of Unicycle A(ge)nts with Crude Bearing-Only Sensing Capabilities

    We present a model in which extremely simple agents, able only to detect how many other agents are in a sector directly in front ...

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

    [לנוסח המלא]

  • Pixel Club: ​From the Optics Lab to Computer Vision

    Computer science and optics are usually studied separately -- separate people, in separate departments, meet at separate conferences. This is changing. The exciting promise ...

    דובר:
    Achuta Kadambi (MIT​)
    תאריך:
    יום שלישי, 20.9.2016, 12:00
    מקום:
    חדר 1061, בניין מאייר, הפקולטה להנדסת חשמל

    [לנוסח המלא]

  • Low-Complexity Collision Resistant Hashing

    A collision resistant hash function is a function that compresses the input, yet it is computationally infeasible to find two inputs on which it ...

    דובר:
    נעמה הרמתי
    תאריך:
    יום חמישי, 8.9.2016, 14:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Progress in Automatic GPU Compilation and Why you Want to Run MPI on Your GPU

    Auto-parallelization of programs that have not been developed with parallelism in mind is one of the holy grails in computer science. It requires understanding ...

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

    [לנוסח המלא]

  • Special Guest Lecture: Efficient large scale parameter estimation with application to Full Waveform Inversion.

    Parameter estimation is performed by fitting data measurements to a model using Bayesian statistics, assuming additional prior information. The estimation requires a numerical solution ...

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

    [לנוסח המלא]

  • Pixel Club: Optimal Placement of Multiple Cameras in Cluttered, Dynamic Scenes

    Motion capture is the process of recording the movement of objects or people by sensors and transforming it into computer readable format. To achieve ...

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

    [לנוסח המלא]

  • בית-ספר קיץ החמישי בנושא סייבר אבטחת מחשוב ומידע

    The 5th TCE Summer School on Cyber and Computer Securityבימים א'-ה', 4-8 בספטמבר 2016 יערוך המרכז להנדסת מחשבים בטכניון את כנס הקיץ השנתי החמישי שלו בנושא סייבר ואבטחת מחשוב ומידע. ראשי הכנס, פרופ' ...

    תאריך:
    יום ראשון, 4.9.2016, 09:00
    מקום:
    אולם 1003, בניין מאייר, הפקולטה להנדסת חשמל

    [לנוסח המלא]

  • Linear Discriminant Analysis Model Monitoring in Distributed Systems.

    Real systems for mining dynamic data streams should be able to detect changes that affect the accuracy of their model. A distributed setting is ...

    דובר:
    רן ברנשטיין
    תאריך:
    יום ראשון, 28.8.2016, 11:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Extrapolation and Synthesis for Relaxed Memory Models

    In modern architectures memory operations may be reordered and executed non-atomically. Consistency is guarantied for single thread execution, but not across threads. Both software ...

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

    [לנוסח המלא]

  • Automatic Generation of Language-Independent Features for Cross-Langauge Classification

    Text categorization is a prominent task of labeling documents with predefined categories. The main approach to performing text categorization is learning from labeled examples. ...

    דובר:
    שרי דואק
    תאריך:
    יום רביעי, 17.8.2016, 12:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Differential Program Analysis

    Studying the evolution of software is an emerging topic, receiving much attention and focus as every line of code written today is more likely ...

    דובר:
    נמרוד סבאן פרטוש
    תאריך:
    יום שלישי, 2.8.2016, 15:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • CGGC Seminar: Metric Transformation through Local Linear Maps: Application to Frame Field Generation

    Generic frame fields are important for many applications in computer graphics such as texture mapping and quadrangulation. The vast majority of existing approaches rely ...

    דובר:
    אלכס שבליקוב
    תאריך:
    יום שלישי, 2.8.2016, 14:00
    מקום:
    טאוב 401

    [לנוסח המלא]

  • Multi-Robot Decentralized Belief Space Planning in Unknown Environments via Efficient Re-Evaluation of Impacted Paths

    Collaboration between multiple robots (or agents) pursuing common or individual tasks is important in numerous problem domains, including cooperative autonomous navigation, mapping and 3D ...

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

    [לנוסח המלא]

  • Efficient Information Transfer Leveraging Wirless D2D Communication

    Mobile phones and tablets are becoming the main devices to access the Internet, and wireless proximity technology has improved significantly over the last years. ...

    דובר:
    דוד סאינז
    תאריך:
    יום רביעי, 20.7.2016, 11:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • ceClub: Timed Consistent Network Updates in Software Defined Networks

    Software Defined Networks (SDN) is a new approach to computer networking that provides simple network management by the abstraction of higher level functionality. The ...

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

    [לנוסח המלא]

  • Coding Theory: Consecutive Switch Codes

    Switch codes are a coding scheme which enables one to encode the input packets into the banks such that the packet requests by the ...

    דובר:
    שרית בוזגלו (אונ' קליפורניה(
    תאריך:
    יום ראשון, 3.7.2016, 14:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Flexible Resource Allocation for Network Problems

    Resource allocation problems arise in a wide range of applications. In many of these classic problems, we are given a set of requests competing ...

    דובר:
    אריאלה וולושין
    תאריך:
    יום חמישי, 30.6.2016, 13:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Mutual enrichment in aggregated ranked lists with applications to gene expression regulation

    It is often the case in biological measurement data that results are given as a ranked list of quantities, for example differential expression (DE) ...

    דובר:
    דליה אלפרוביץ'
    תאריך:
    יום חמישי, 30.6.2016, 10:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • The Infinite Odometry

    In this work we revisit the problem of visual odometry. Visual odometry is the process of estimating the motion of the camera by examining ...

    דובר:
    אלכסנדר קריימר
    תאריך:
    יום רביעי, 29.6.2016, 12:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Pixel Club: Cinema 3D: Large Scale Automultiscopic Display

    While 3D movies are gaining popularity, viewers in a 3D cinema still need to wear cumbersome glasses in order to enjoy them. Automultiscopic displays ...

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

    [לנוסח המלא]

  • Coding Theory: d-imbalance WOM Codes for Reduced Inter-Cell Interference in Multi-Level NVMs

    In recent years, due to the spread of multi-level nonvolatile memories (NVM), q-ary write-once memories (WOM) codes have been extensively studied. By using WOM ...

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

    [לנוסח המלא]

  • CSpecial Talk: An Exponential Separation Between Randomized and Deterministic Complexity in the LOCAL Model

    Over the past 30 years numerous algorithms have been designed for symmetry breaking problems in the LOCAL model, such as maximal matching, MIS, vertex ...

    דובר:
    ייג'ון צ'אנג (אונ' מישיגן)
    תאריך:
    יום חמישי, 23.6.2016, 10:30
    מקום:
    טאוב 301

    [לנוסח המלא]

  • Optimistic Methods Meets Memory Management

    With the rapid development of parallel platforms, optimistic methods become increasingly common. However, existing memory management schemes for such algorithms imposes high performance overhead ...

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

    [לנוסח המלא]

  • Towards practical publicly verifiable zero-knowledge Computational Integrity

    We are interested in public-setup Zero-Knowledge proof systems for natural languages in NP with poly-logarithmic Verifier and quasi-linear Prover. Systems having such properties can ...

    דובר:
    מיכאל ריאבצב
    תאריך:
    יום רביעי, 22.6.2016, 14:30
    מקום:
    טאוב 401

    [לנוסח המלא]

  • Theory Seminar: A Principled Way of Designing Efficient Distributed Protocols

    Decisions taken by agents in distributed and multi-agent systems depend on their local information. A novel formulation of the connection between knowledge and action ...

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

    [לנוסח המלא]

  • ceClub: Refinement Reloaded, or – Deriving Divide-and-Conquer Dynamic Programming Algorithms by Transformation

    We introduce a framework allowing domain experts to manipulate computational terms in the interest of deriving better, more efficient implementations. It employs deductive reasoning ...

    דובר:
    שחר יצחקי (MITׂ)
    תאריך:
    יום רביעי, 22.6.2016, 11:30
    מקום:
    טאוב 4

    [לנוסח המלא]

  • Sidecore Managment for Virtualized Environments

    Virtualization is the ability of modern computer systems to run guest Virtual Machines (VMs). The VM host exposes various I/O devices to its guests ...

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

    [לנוסח המלא]

  • יריד פרוייקטים שני במדעי המחשב

    Second Project Fair 2016 at CSתלמידי הקורס "פרוייקט בתכנות מתקדם" במדעי המחשב מזמינים אתכם לבקר ביריד ארדואינו אשר יתקיים ביום ג', 21 ביוני 2016, בין השעות 14:30-12:30 בלובי בניין ...

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

    [לנוסח המלא]

  • Pixel Club: Detecting Repeating Objects using Patch Correlation Analysis

    In this paper we describe a new method for detecting and counting a repeating object in an image. While the method relies on a ...

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

    [לנוסח המלא]

  • Coding Theory: On the Capacity of Non-Binary Write-Once Memory

    Write-once memory (WOM) is a storage device consisting of q-ary cells that can only increase their values. A WOM code is a scheme to ...

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

    [לנוסח המלא]

  • Understanding Word Embeddings

    דובר:
    Omer Levy - CS-Lecture -
    תאריך:
    יום חמישי, 16.6.2016, 15:00
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Hardening Cassandra Against Byzantine Failures

    Cassandra is a highly popular distributed data store. It supports flexible consistency semantics over a wide-column data access model. In our work, we propose ...

    דובר:
    רוני ליכר
    תאריך:
    יום רביעי, 15.6.2016, 13:30
    מקום:
    טאוב 701

    [לנוסח המלא]

  • CGGC Seminar: Advection-based Function Matching on Surfaces

    A tangent vector field on a surface is the generator of a smooth family of maps from the surface to itself, known as the ...

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

    [לנוסח המלא]

  • Theory Seminar: Contention Resolution Schemes: Offline and Online

    Contention resolution schemes are an algorithmic technique originally devised in the context of submodular functions maximization. Recent works, however, have extended contention resolution schemes ...

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

    [לנוסח המלא]

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

    Research on the application of game theory in the context of networking has focused on non-cooperative games, where the selfish agents cannot reach a ...

    דובר:
    חדר 861, בניין מאייר, הפקולטה להנדסת חשמל
    תאריך:
    יום רביעי, 15.6.2016, 11:30
    מקום:
    EE Meyer Building 861

    [לנוסח המלא]

  • הרצאה טכנית מטעם גוגל

    Google TECH TALK at CSגלעד ברקאי מצוות AUTOCOMPLETE של גוגל ירצה בנושא - על השימוש היומיומי שלו, על האתגרים ועל התצורות השונות שלו ממבטו של המתכנית. . אנא ...

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

    [לנוסח המלא]

  • A new dimension of media

    דובר:
    Alexander Bronstein - COLLOQUIUM LECTURE
    תאריך:
    יום שלישי, 14.6.2016, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • ceClub: The Technion Computer Engineering Club

    Modern discrete GPUs have been the processors of choice primarily for compute-intensive applications, but using them in large-scale data processing is extremely challenging. Unfortunately, ...

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

    [לנוסח המלא]

  • Pixel Club: Data to Knowledge: Understanding Dynamic Medical Images

    ​Computer Science (CS) is the new language of science as Mathematics was until the Twentieth Century. CS generalizes mathematics toward being more versatile. In ...

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

    [לנוסח המלא]

  • CGGC Seminar:Incorporating Sharp Features in the General Solid Sweep Framework

    This work extends a recently proposed robust computational framework for constructing the boundary representation (B-rep) of the volume swept by a given smooth solid ...

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

    [לנוסח המלא]

  • CGGC Seminar: A B-spline based Framework for Volumetric Object Modeling

    This work extends a recently proposed robust computational framework for constructing the boundary representation (B-rep) of the volume swept by a given smooth solid ...

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

    [לנוסח המלא]

  • ceClub: From Algorithms to Architectures – Why Branch Predictors Are Not Great for Irregular Algorithms

    Irregular algorithms, such as sorting and graph algorithms, are prevalent in computer science applications. Until recently, it was assumed that the irregular algorithms also ...

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

    [לנוסח המלא]

  • CSta קפה: שיחה על כוס קפה ופיצה

    CSta Cafe: A Talk over Coffee and Pizzaעיבוד תמונות, מודלים של מידע ויזואלי ו.. למה כל כך קשה לנו בקורס אנליזה נומרית ?

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

    [לנוסח המלא]

  • Theory Seminar: Proof Complexity Lower Bounds from Algebraic Circuit Complexity

    Proof complexity studies the complexity of mathematical proofs, with the aim of exhibiting (true) statements whose proofs are always necessarily long. One well-known proof ...

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

    [לנוסח המלא]

  • CGGC Seminar: Bounded Distortion Harmonic Shape Interpolation

    Planar shape interpolation is a classic problem in computer graphics. We present a novel shape interpolation method that blends C∞ planar harmonic mappings represented ...

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

    [לנוסח המלא]

  • Pixel Club: Three Dimensional Structure Determination of macro-Molecules in Cryo-electron Microscopy

    One of the primary challenges in single particle reconstruction in cryo-electron microscopy is to find the three-dimensional structure of a molecule using its two-dimensional ...

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

    [לנוסח המלא]

  • CGGC Seminar: 2D Simulation and Mapping using the Cauchy-Green Complex Barycentric Coordinates

    Conformal maps are especially useful in geometry processing for computing shape preserving deformations, image warping and manipulating harmonic functions. The Cauchy-Green coordinates are complex-valued ...

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

    [לנוסח המלא]

  • 2D Simulation and Mapping using the Cauchy-Green Complex Barycentric Coordinates

    Conformal maps are especially useful in geometry processing for computing shape preserving deformations, image warping and manipulating harmonic functions. The Cauchy-Green coordinates are complex-valued ...

    דובר:
    אביב סגל
    תאריך:
    יום ראשון, 5.6.2016, 13:30
    מקום:
    טאוב 401

    [לנוסח המלא]

  • On Routing schemes that are robust to changes in bandwidth demand

    A major challenge in optimizing network utilization is how to reduce bottleneck links, while taking into account that bandwidth demands may be increased over ...

    דובר:
    גל כהן
    תאריך:
    יום ראשון, 5.6.2016, 10:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Theory Seminar: Two Applications of Communication Complexity in Distributed Computing

    In distributed systems, communication between the participants in the computation is usually the most expensive part of the computation. Theoretical models of distributed systems ...

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

    [לנוסח המלא]

  • Intel@Technion Lectures: Game Changing Design

    produce design developed in through the years in many fronts and requirements. Today SOC products require aggressive targets in all fronts: frequency, performance, low ...

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

    [לנוסח המלא]

  • היום! - יום מחקר 2016 בפקולטה למדעי המחשב

    TODAY! - CS RESEARCH DAY 2016יום המחקר השישי לתארים מתקדמים בפקולטה למדעי המחשב יתקיים ביום שלישי, 31 במאי 2016, בין השעות 14:30-16:30, בלובי של בניין טאוב למדעי המחשב. אירועי ...

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

    [לנוסח המלא]

  • Pixel Club: Joint Embeddings of Shapes and Images via CNN Image Purification

    Both 3D models and 2D images contain a wealth of information about everyday objects in our environment. However, it is difficult to semantically link ...

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

    [לנוסח המלא]

  • CGGC Seminar: Volumetric T-spline Parameterization for Isogeometric Analysis

    As a new advancement of traditional finite element method, isogeometric analysis (IGA) was proposed to integrate design and analysis. In this talk, I will ...

    דובר:
    יונג'י ג'סיקה זאנג (אונ' קרנגי מלון)
    תאריך:
    יום ראשון, 29.5.2016, 15:00
    מקום:
    טאוב 401

    [לנוסח המלא]

  • Pixel Club: A Focus on Selection for Fixation

    A functional, computational and mechanistic, explanation of the relationship among visual attention, interpretation of visual stimuli, and eye movements, and how these produce visual ...

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

    [לנוסח המלא]

  • Theory Seminar: Making Generalization Robust

    Generalization, informally, is the ability of a learner to reflect not just its training data, but properties of the underlying distribution from which the ...

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

    [לנוסח המלא]

  • ceClub: Imperfection is Beautiful and Efficient: Approximate Computing from Language to Hardware, and Beyond

    A significant proportion of computer system resources are devoted to applications that can inherently tolerate inaccuracies in their data, execution and communication. Hence, “approximate ...

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

    [לנוסח המלא]

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

    The 6th Annual International TCE Conference on 3D Visual Computing: Graphics, Geometry and Everything in Between. 

הכנס השנתי הבינלאומי הששי להנדסת מחשבים בטכניון בנושא תלת-ממד, גרפיקה ממוחשבת, גיאומטריה וכל מה שביניהם, יתקיים בימים שלישי ורביעי, 24-25 במאי, 2016 בטכניון. בין ...

    תאריך:
    יום שלישי, 24.5.2016, 09:00
    מקום:
    אולם צ'רציל, הטכניון, חיפה

    [לנוסח המלא]

  • DNA-based Archival Storage System

    דובר:
    Luis Ceze - TCE guest
    תאריך:
    יום שני, 23.5.2016, 14:30
    מקום:
    חדר Class 7 טאוב.

    [לנוסח המלא]

  • Compression and generalization

    [Note the change of time and date] Generalization and simplification are deeply related to each other: simpler explanations often reveal principles that apply more ...

    דובר:
    שי מורן
    תאריך:
    יום חמישי, 19.5.2016, 12:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Some limitations and possibilities toward data-driven optimization

    דובר:
    Yaron Singer - COLLOQUIUM LECTURE - Note unusual day
    תאריך:
    יום רביעי, 18.5.2016, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Theory Seminar: Improved *Deterministic* Algorithms for Partially Dynamic Shortest Paths

    Computing shortest paths is one of the fundamental problems of graph algorithms. The goal of *dynamic* single source shortest paths (SSSP) is to maintain ...

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

    [לנוסח המלא]

  • ceClub: A Brief History of Time in Software Defined Networks

    The emerging trend of Software Defined Networks (SDN) has been enthusiastically explored by researchers over the last decade, as it provides the flexibility and ...

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

    [לנוסח המלא]

  • Pixel Club: Analysis of High-throughput Microscopy Videos: Catching Up with Cell Dynamics

    We present a novel framework for high-throughput live cell lineage analysis in time-lapse microscopy images. Our algorithm ties together two fundamental aspects of live ...

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

    [לנוסח המלא]

  • Global versus Local Modeling of Signals

    Many image restoration algorithms in recent years are based on patch-processing. The core idea is to decompose the target image into fully overlapping patches, ...

    דובר:
    ורדן פפיאן
    תאריך:
    יום שני, 16.5.2016, 10:30
    מקום:
    טאוב 337

    [לנוסח המלא]

  • Subspace codes and distributed storage codes.

    The interest in subspace codes has increased lately due to their application in error correction for random network coding. A subspace code is a ...

    דובר:
    נתנאל רביב
    תאריך:
    יום ראשון, 15.5.2016, 16:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Plug and Play Priors for Poisson Inverse Problems

    The Anscombe transform offers an approximate conversion of a Poisson random variable into unit-variance Gaussian one. This transform is important and appealing, as it ...

    דובר:
    אריה רונד
    תאריך:
    יום ראשון, 15.5.2016, 16:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • Coding Theory: Gabidulin Codes over Fields of Characteristic Zero and Their Applications

    Gabidulin codes, originally defined over finite fields, are an important class of rank metric codes with various applications. Recently, their definition was generalized to ...

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

    [לנוסח המלא]

  • Unsupervised Ensemble Learning

    דובר:
    Boaz Nadler - COLLOQUIUM LECTURE
    תאריך:
    יום שלישי, 10.5.2016, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • היום! שלב הגמר - תחרות אמדוקס לפרוייקט המצטיין 2015-16

    TODAY! The Finals - 2015-16 Amdocs Best Project Contestהנכם מוזמנים להצגת הפרוייקטים שעלו לגמר בתחרות הפרוייקט המצטיין מטעם אמדוקס והפקולטה למדעי המחשב. הצוותים המתמודדים יציגו את מחקריהם ויענו לשאלות השופטים והקהל. ...

    תאריך:
    יום ראשון, 8.5.2016, 14:30
    מקום:
    אודיטוריום 2 בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Coding Theory: Generalized Notion of Graph Capacity

    Motivated by the problem of zero-error communication over a broadcast channel, we introduce a new notion of graph capacity that generalizes the Shannon capacity ...

    דובר:
    עופר שייביץ (אונ' תל-אביב)
    תאריך:
    יום ראשון, 8.5.2016, 14:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • CGGC Seminar: Regularized Harmonic Map Flow: a Tool for Improvement of Maps between Shapes

    The problem of computing shape correspondence is a fundamental task in Computer Graphics. While recent methods produce semantically meaningful maps globally, the maps are ...

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

    [לנוסח המלא]

  • Secure Computation in Hostile Environments

    The ubiquitous nature of computer systems means that they often operate in hostile environments where they are subjected to various attacks by adversarial parties. ...

    דובר:
    דניאל גנקין
    תאריך:
    יום ראשון, 8.5.2016, 11:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Pixel Club: Visual Perception through Hyper Graphs

    Computational vision, visual computing and biomedical image analysis have made tremendous progress of the past decade. This is mostly due the development of efficient ...

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

    [לנוסח המלא]

  • Interpreting the Ratio Criterion for Matching SIFT Descriptors

    Matching keypoints by minimizing the Euclidean distance between their SIFT descriptors is an effective and extremely popular technique. Using the ratio between distances, as ...

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

    [לנוסח המלא]

  • Algebraic RAM

    Due to the lack of computational power, many users don't perform the computation locally, rather outsource the computation to a remote server. This raises ...

    דובר:
    יבגניה פרגמנט
    תאריך:
    יום רביעי, 4.5.2016, 13:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Theory Seminar: The Possibilities and Limitations of Private Prediction Markets

    We consider the design of private prediction markets, financial markets designed to elicit predictions about uncertain events without revealing too much information about market ...

    דובר:
    רחל קאמינגס (California Institute of Technology)
    תאריך:
    יום רביעי, 4.5.2016, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • ceClub: IoT-Enabled Community Care Provisioning for Sustainable Ageing-in-Place: A Singapore Example

    In 2014, 12.4% of the population in Singapore were above 65 years of age and this is projected to increase to 19% by 2030. ...

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

    [לנוסח המלא]

  • Welfare Maximization via Posted Prices

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

    [לנוסח המלא]

  • Pixel Club: Patch-Ordering as a regularization for Inverse Problems in Image Processing

    In recent years much work has been devoted to the development of image processing algorithms using local patches. The main idea in this line ...

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

    [לנוסח המלא]

  • Pixel Club: Point Registration via Efficient Convex Relaxation

    We will discuss two related works:1) "Point Registration via Efficient Convex Relaxation" Point cloud registration is a fundamental task in computer graphics, and more ...

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

    [לנוסח המלא]

  • CSpecial Talk: MST in Log-Star Rounds of Congested Clique

    We present a randomized algorithm that computes a Minimum Spanning Tree (MST) in O(log^* n) rounds, with high probability, in the Congested Clique model ...

    דובר:
    מרב פרטר (MIT)
    תאריך:
    יום שלישי, 3.5.2016, 10:30
    מקום:
    טאוב 301

    [לנוסח המלא]

  • Coding Theory: Vector Network Coding Based on Subspace Codes Outperforms Scalar Linear Network Coding

    This talk considers vector network coding based on rank-metric codes and subspace codes. Our main result is that vector network coding can significantly reduce ...

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

    [לנוסח המלא]

  • יריד חברות סטראט-אפ וגיוס בפקולטה למדעי המחשב

    Startup Day and Recruitment at CSהפקולטה למדעי המחשב מזמינה אתכם ליריד סטארט אפ וגיוס לחברות המשתתפות: Augury, Bidalgo, Checkmarx, Jelly Button, Kaltura, Outbrain, Zerto, ועוד. בנוסף יינתנו הרצאות מטעם ...

    תאריך:
    יום רביעי, 20.4.2016, 12:30
    מקום:
    אודיטוריום 2 בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Theory Seminar: Tokenized Blind Signatures from Quantum Money

    Quantum money is a quantum state that can be easily verified but is hard to copy. I will start by reviewing Aaronson & Christiano's ...

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

    [לנוסח המלא]

  • Applying theory to practice (and practice to theory)

    דובר:
    Ronald Fagin - TCE Henry Taub Distinguished Visitor
    תאריך:
    יום שלישי, 19.4.2016, 14:30
    מקום:
    חדר Auditorium 2 טאוב.

    [לנוסח המלא]

  • Pixel Club: On a Multi-Component Approach for Improved Compression and Enhancement of Medical Images

    Many medical images are produced daily. Compression thus plays a major role in storage and transmission applications, while enhancement, such as image de-noising, is ...

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

    [לנוסח המלא]

  • Pixel Club: On Chirp Excitation and Compression for Ultrasound Imaging

    Although chirp-coded signals can theoretically improve the performance of ultrasound medical imaging, they are presently of limited use. Their main advantage is better power ...

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

    [לנוסח המלא]

  • Coding Theory: Codes and Card Tricks: Magic for Adversarial Crowds

    Rated by Ron Graham as a top-10 mathematical card trick of the 20th century, Diaconis’ mind reader is a magic trick that involves the ...

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

    [לנוסח המלא]

  • How to Use Bitcoin to Play Decentralized Poker

    We study a model of secure computation in which deviating parties are forced to pay monetary penalties, without relying on a trusted party to ...

    דובר:
    עידו בן-טוב
    תאריך:
    יום חמישי, 14.4.2016, 13:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Theory Seminar: Constant-rate Coding for Multi-Party Interactive Communication is Impossible

    In this talk, we will consider coding schemes for multi-party interactive communication over synchronous networks that suffer from stochastic noise, where each bit is ...

    דובר:
    קלים אפרנקו
    תאריך:
    יום רביעי, 13.4.2016, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • ceClub: Pricing Complexity

    As economic systems "move" to the Internet, they can become much more complex and this new complexity often becomes their defining characteristic. We will ...

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

    [לנוסח המלא]

  • Mining causality to predict the future events

    דובר:
    Kira Radinsky - COLLOQUIUM LECTURE
    תאריך:
    יום שלישי, 12.4.2016, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Pixel Club: In-Situ Multi-View Multi-Scattering Stochastic Tomography

    To recover the three dimensional (3D) volumetric distribution of matter in an object, images of the object are captured from multiple directions and locations. ...

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

    [לנוסח המלא]

  • Coding Theory: Combinatorial Systematic Switch Codes

    Multiport switches are commonly used as data processing and routing devices in computer networks. A network switch routes data packets between its multiple input ...

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

    [לנוסח המלא]

  • CGGC Seminar: Interacting with Personal Fabrication Machines

    In anticipation of 3D printers reaching millions of users, I am investigating how to allow future users to interact with the new hardware. I ...

    דובר:
    סטפני מולר (Hasso-Plattner-Institute, Germany)
    תאריך:
    יום ראשון, 10.4.2016, 13:30
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • להוביל בטכנולוגיה 2016

    Leading in Technologyהנכם מוזמנים לאירוע "להוביל בטכנולוגיה": "נשיאים על הקצה" בהשתתפות פרופ' רבקה כרמי, נשיאת אוניברסיטת בן-גוריון ופרופ' פרץ לביא, נשיא הטכניון. בתוכנית פאנל "יוזמות – ...

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

    [לנוסח המלא]

  • From Secure Computation to Zero-Knowledge Probabilistic Checking and Back Again

    In the past few decades, probabilistic checking techniques were shown to yield dramatic efficiency improvements in verifying proofs and approximating distance from error-correcting codes. ...

    דובר:
    מור וייס
    תאריך:
    יום רביעי, 6.4.2016, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • ceClub: Near Optimal Placement of Virtual Network Functions

    Network Function Virtualization (NFV) is a new networking paradigm where network functions are executed on commodity servers located in small cloud nodes distributed across ...

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

    [לנוסח המלא]

  • היום! יום פתוח ללימודי תואר שני ושלישי בפקולטות להנדסת חשמל ולמדעי המחשב בטכניון

    TODAY!: Open Day For Graduate Studies At Technion Computer Science and Electrical Engineeringהיום הפתוח לקראת ההרשמה לשנה"ל תשע"ז מזמין בוגרי תואר ראשון מצטיינים מכל האוניברסיטאות להגיע לטכניון ולהתרשם מהפקולטות למדעי המחשב ולהנדסת חשמל, לפגוש חברי סגל ...

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

    [לנוסח המלא]

  • Designing Communication Receivers Using Machine Learning Techniques

    דובר:
    Brian M. Kurkoski - COLLOQUIUM LECTURE
    תאריך:
    יום שלישי, 5.4.2016, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • יום עיון ופתיחת מרכז המחקר לאבטחת סייבר בטכניון

    Workshop and Inauguration of the Technion Cyber Security Research Centerהנכם מוזמנים ליום עיון ופתיחת מרכז המחקר לאבטחת סייבר בטכניון במעמד פרופ’ פרץ לביא, נשיא הטכניון ודר' אביתר מתניה, ראש מטה הסייבר הלאומי. האירוע ...

    תאריך:
    יום שלישי, 5.4.2016, 13:30
    מקום:
    אודיטוריום 1 בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Pixel Club: Blind Dehazing Using Internal Patch Recurrence

    Images of outdoor scenes are often degraded by haze, fog and other scattering phenomena. In this work we show how such images can be ...

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

    [לנוסח המלא]

  • Automated Program Repair

    This work presents a novel approach for automatically repairing a program with respect to a given set of assertions. Programs are repaired using a ...

    דובר:
    בת חן גולדן
    תאריך:
    יום שני, 4.4.2016, 15:30
    מקום:
    טאוב 401

    [לנוסח המלא]

  • מפגש סטודנטיות בטכנולוגיה

    Women and Students in Technology Meeting
הנכן מוזמנות למפגש סטודנטיות בטכנולוגיה מטעם חברת מיקרוסופט לציון יום האישה הבינלאומי ובהשתתפות בכירות בחברה. במסגרת האירוע יתקיים פאנל מקצועי בנושא תכנון קריירה. ...

    תאריך:
    יום רביעי, 30.3.2016, 17:00
    מקום:
    טאוב 3

    [לנוסח המלא]

  • Your phone can and should do all the image/video processing and machine learning you need: Video Enhancement and Face Recognition

    דובר:
    Prof. Guillermo Sapiro - DISTINGUISHED POLLAK LECTURE SERIES
    תאריך:
    יום רביעי, 30.3.2016, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Theory Seminar: Toward the KRW conjecture: Cubic Lower Bounds via Communication Complexity

    One of the major challenges of the research in circuit complexity is proving super-polynomial lower bounds for de-Morgan formulas. Karchmer, Raz, and Wigderson suggested ...

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

    [לנוסח המלא]

  • ceClub: TinyLFU: A Highly Efficient Cache Admission Policy

    In this talk, I introduce a frequency based cache admission policy in order to boost the effectiveness of caches subject to skewed access distributions. ...

    דובר:
    רועי פרידמן (מדעי המחשב)
    תאריך:
    יום רביעי, 30.3.2016, 11:30
    מקום:
    טאוב 401

    [לנוסח המלא]

  • CGGC Seminar: e-NABLE: A Global Network of Digital Humanitarians built on an infrastructure of electronic communications, 3D printing and good will

    e-NABLE is an online community that designs, customizes, fabricates, and disseminates 3D-printed prosthetic hands and arms for free. E-NABLE extends the methods and philosophies ...

    דובר:
    ג'ון שול (Enable Community Foundation)
    תאריך:
    יום רביעי, 30.3.2016, 11:00
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Pixel Club: Bi-level Optimization with Application to Rank Pooling for Activity Recognition

    In this talk I will first give a brief overview of the topic of bi-level mathematical programming, in which the solution of an inner ...

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

    [לנוסח המלא]

  • Pixel Club: Learning Ordinal Relationships for Mid-Level Vision

    We propose a framework which infers mid-level visual properties of an image by learning about ordinal relationships. Instead of estimating metric quantities directly, the ...

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

    [לנוסח המלא]

  • Your phone can and should do all the image/video processing and machine learning you need: Child Development Screening for Everybody

    דובר:
    Prof. Guillermo Sapiro - DISTINGUISHED POLLAK LECTURE SERIES
    תאריך:
    יום שני, 28.3.2016, 14:30
    מקום:
    חדר Auditorium 2 טאוב.

    [לנוסח המלא]

  • יום עיון בנושא Lightweight Crypto

    Lightweight Crypto Day המרכז להנדסת מחשבים בשיתוף עם קרן קיסריה רוטשילד מקיימים יום עיון: "Lightweight Crypto". Lightweight Crypto הוא תחום מחקר מתפתח שמטרתו לספק אמצעים חסכוניים לאבטחה ...

    תאריך:
    יום שני, 28.3.2016, 09:00
    מקום:
    אולם 1003, בניין מאייר, הפקולטה להנדסת חשמל

    [לנוסח המלא]

  • סמינר אמדוקס על "Network Virtualization"

    Amdocs Seminar on "Network Virtualization"הנכם מוזמנים לסמינר אמדוקס על "Network Virtualization" אשר יתקיים ביום ראשון, 27 במרס 2016, בשעה 16:30, בכיתה 3, בניין טאוב למדעי המחשב. תוכנית ופרטים ...

    תאריך:
    יום ראשון, 27.3.2016, 16:30
    מקום:
    טאוב 3

    [לנוסח המלא]

  • Coding Theory: The Analysis of Hard-Decision Multi-Threshold Decoding of Non-Binary LDPC Codes

    Non-binary low-density parity-check (LDPC) codes significantly outperform their binary counterparts. Moreover, non-binary LDPC codes are especially good for the channels with burst errors and ...

    דובר:
    אלכסי פרולוב (Institute for Information Transmission Problems}
    תאריך:
    יום ראשון, 27.3.2016, 14:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • On body and Out of body Interactions

    דובר:
    Jessica Cauchard - CS-Lecture -
    תאריך:
    יום ראשון, 27.3.2016, 14:30
    מקום:
    חדר 601 טאוב.

    [לנוסח המלא]

  • Theory Seminar: A fast Distributed 2+epsilon Approximation for Weighted Vertex Cover

    The field of distributed graph algorithms deals with solving graph problems in a network (graph) of independent agents while minimizing the amount of communication ...

    דובר:
    גרגורי שוורצמן (מדעי המחשב, טכניון
    תאריך:
    יום רביעי, 23.3.2016, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • Intel@Technion Lectures: High speed I/O ports for Client Compute devices

    Intel@Technion Lectures: High speed I/O ports for Client Compute devicesThe high speed I/O market in client platforms is going through major changes in the last few years, with latest silicon process that enable ...

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

    [לנוסח המלא]

  • Pixel Club: Stretchable Non-rigid Structures Abstract

    Geometrical understanding of bendable and stretchable structures is crucial for many applications where comparison, inference and reconstruction play an important role. Moreover, it is ...

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

    [לנוסח המלא]

  • Coding Theory: Reed-Muller Codes for Random Erasures and Errors

    Reed-Muller codes encode an m-variate polynomial of degree r by evaluating it on all points in {0,1}^m. Its distance is 2^{m-r} and so it ...

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

    [לנוסח המלא]

  • האקתון מדעי המחשב אביב 2016

    CS Spring Hakton 2016הפקולטה למדעי המחשב ו-WomenTechPro מזמינים אתכן ואתכם לפתוח את סמסטר אביב בהאקתון השנתי HackPRO! איפה? בפקולטה למדעי מחשב, טכניון. מתי? ימי רביעי-חמישי-שישי בשבוע הראשון ...

    תאריך:
    יום רביעי, 16.3.2016, 14:00
    מקום:
    בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Theory Seminar: Fast Submodular Maximization

    Submodular maximization captures both classical problems in combinatorial optimization and recent more practical applications that arise in other disciplines, e.g., machine learning and data ...

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

    [לנוסח המלא]

  • TCE Guest Lecture: Technology Considerations in Computer Architecture

    TCE Guest Lecture: Technology Considerations in Computer ArchitectureGood engineering practice uses the characteristics of existing technologies to optimize implementation. Often, this will mean that design techniques optimal in a previous generation ...

    דובר:
    זאן לוק גודו (אונ' קליפורניה)
    תאריך:
    יום רביעי, 16.3.2016, 11:30
    מקום:
    טאוב 401

    [לנוסח המלא]

  • Sex and the causes of mutation: work at the interface of evolutionary biology and theoretical computer science

    דובר:
    Adi Livnat - COLLOQUIUM LECTURE
    תאריך:
    יום שלישי, 15.3.2016, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Coding Theory: Burst-erasure Correcting Codes with Optimal Average Delay

    The objective of low-delay codes is to protect communication streams from erasure bursts by minimizing the time between the packet erasure and its reconstruction. ...

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

    [לנוסח המלא]

  • Multi Scale Dictionary Learning for Sparse Representation of Images

    The main topic of our research is creating a multi-scale dictionary learning paradigm for sparse and redundant signal and image representations. The appeal of ...

    דובר:
    בעז אופיר
    תאריך:
    יום רביעי, 9.3.2016, 14:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • The List Update Problem

    In this work, we consider the list update problem as defined in the seminal work on competitive analysis by [Sleator, Tarjan 85]. In this ...

    דובר:
    ארז תמנת
    תאריך:
    יום רביעי, 9.3.2016, 12:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Intel@Technion Lectures: nabling Breakthroughs in Parkinson’s Disease with Wearables and Big Data Analytics

    Parkinson’s Disease (PD) is a progressive, degenerative disorder of the central nervous system. It is characterized by significant motor symptom, such as: tremor, slowness ...

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

    [לנוסח המלא]

  • Technology and the Future of Work and Money

    דובר:
    Seth Goldstein - COLLOQUIUM LECTURE
    תאריך:
    יום שלישי, 8.3.2016, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Internal and external privacy in a distributed setting

    Internal and external privacy in a distributed settingIn this work, we analyze privacy in a distributed setting, where privacy is measured in an information theoretic way (i.e. no cryptographic assumptions). The ...

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

    [לנוסח המלא]

  • CGGC Seminar: Optimal Transportation for Practical Geometric Problems

    Optimal transportation (OT) has gained considerable popularity as a tool for relating signals defined over geometric domains. Despite recent progress developing generic machinery for ...

    דובר:
    ג'אסטין סולומון (MIT)
    תאריך:
    יום רביעי, 2.3.2016, 10:30
    מקום:
    טאוב 401

    [לנוסח המלא]

  • Pixel Club: Patch-Ordering as a Regularization for Inverse Problems in Image Processing

    In recent years much work has been devoted to the development of image processing algorithms using local patches. The main idea in this line ...

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

    [לנוסח המלא]

  • Pixel Club: Linearized Kernel Dictionary Learning

    In this work we present a new approach of incorporating kernels into dictionary learning. The kernel K-SVD algorithm (KKSVD), which has been introduced recently, ...

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

    [לנוסח המלא]

  • Pixel Club: In-Situ Multi-View Multi-Scattering Stochastic Tomography

    To recover the three dimensional (3D) volumetric distribution of matter in an object, images of the object are captured from multiple directions and locations. ...

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

    [לנוסח המלא]

  • A Language Approach to Language Preprocessing

    The C preprocessor (cpp) is probably the most familiar macro preprocessor. However, it lacks the expressibility of general purpose programming languages. We propose a ...

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

    [לנוסח המלא]

  • Automatic generation of Java fluent APIs from BNF specifications

    Fluent APIs increasingly gain popularity and research interest. It allows an API designer to enforce correct usage of the API by type-safety. Although many ...

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

    [לנוסח המלא]

  • מיני יום-עיון של המרכז לגרפיקה וחישוב גיאומטרי

    אנא ראו הדף באנגלית

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

    [לנוסח המלא]

  • Pixel Club: From Pixels to Brain Networks: Modeling Brain Connectivity and Its Changes in Disease

    We propose a novel probabilistic framework to model connectivity patterns in the brain as a latent network graph. In particular, we model the interaction ...

    דובר:
    פולינה גולנד (CSAIL MIT)
    תאריך:
    יום שני, 15.2.2016, 11:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • Enhanced Human: Wearable computing that transforms how we perceive and interact with our world

    דובר:
    Jeremy Cooperstock - COLLOQUIUM LECTURE
    תאריך:
    יום חמישי, 11.2.2016, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Intel@Technion Lectures: On the Way to Visual Understanding

    Intel@Technion Lectures: On the Way to Visual Understandingn the past several years, the field of computer vision has chalked up significant achievements, fueled by new algorithms (such as deep neural networks), ...

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

    [לנוסח המלא]

  • Pixel Club: From representation to inference: Respecting and Exploiting Mathematical Structures in Computer Vision and Machine Learning

    Stochastic analysis of real-world signals consists of 3 main parts: mathematical representation; probabilistic modeling; statistical inference. For it to be effective, we need mathematically-principled ...

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

    [לנוסח המלא]

  • Intel@Technion Lectures: Cloud Computing – The Beginning Or The End?

    Intel@Technion Lectures: Cloud Computing – The Beginning Or The End?Cloud Computing is considered to be one of the most important paradigm shifts of this century. In this presentation we will explain what cloud ...

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

    [לנוסח המלא]

  • Pixel Club: Large Scale Feature Selection for Visual Representation Learning

    Training accurate visual classifiers from large data sets critically depend on learning the right representation for the problem. In this talk, I will discuss ...

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

    [לנוסח המלא]

  • היום! - יריד אפליקציות, חורף 2016

    TODAY! - Winter 2016  Application Fair תלמידי הקורס "פרוייקט בתכנות מתקדם" במדעי המחשב מזמינים אתכם לבקר ביריד יישומוני אנדרואיד אשר יתקיים ביום ד', 20 בינואר 2016, בין השעות 16:30-14:15 בחדר ...

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

    [לנוסח המלא]

  • Theory Seminar:Quasi-Linear Size Zero Knowledge from Linear-Algebraic PCPs

    A probabilistically checkable proof (PCP) enables checking, for example, the satisfiability of a 3-SAT boolean formula phi, while only examining a constant number of ...

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

    [לנוסח המלא]

  • ceClub: The Fascinating Structure of Planar Graphs

    Graph optimization problems are the most studied problems in theoretical computer science. These problems are not only mathematically intriguing. They have a crucial impact ...

    דובר:
    אורן ויימן (אונ' חיפה)
    תאריך:
    יום רביעי, 20.1.2016, 11:30
    מקום:
    טאוב 401

    [לנוסח המלא]

  • Adversarial Robotics: Robotic Strategic Behavior in Adversarial Environments

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

    [לנוסח המלא]

  • Pixel Club: The Spatial Order of Features as a Geometric Model

    Correctly matching feature points across images is an important preprocessing step for many computer vision applications (specifically such that require geometric reasoning). Once an ...

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

    [לנוסח המלא]

  • יריד ארדואינו, חורף 2016

    Winter 2016 Arduino Fair at CSתלמידי הקורס "פרוייקט בתכנות מתקדם" במדעי המחשב מזמינים אתכם לבקר ביריד ארדואינו חורף 1016 אשר יתקיים ביום א', 17 בינואר 2016, בין השעות 16:30-13:00 ...

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

    [לנוסח המלא]

  • Scalable Machine Learning for structured high-dimensional outputs

    דובר:
    Ofer Meshi - CS-Lecture - Note unusual day
    תאריך:
    יום רביעי, 13.1.2016, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • יום עיון בנושא Lightweight Crypto

    המרכז להנדסת מחשבים בשיתוף עם קרן קיסריה רוטשילד מקיימים יום עיון: "Lightweight Crypto". Lightweight Crypto הוא תחום מחקר מתפתח שמטרתו לספק אמצעים חסכוניים לאבטחה ...

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

    [לנוסח המלא]

  • ceClub: Network Measurement in the World of Crowd-Sourcing

    Traditionally, network measurement takes a small-data approach. Data is expensive, must be gathered unobtrusively, validated carefully, and used to address sharply-defined problems, if we ...

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

    [לנוסח המלא]

  • The probabilistic method meets the game of Go

    דובר:
    Graham Farr - COLLOQUIUM LECTURE
    תאריך:
    יום שלישי, 12.1.2016, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Pixel Club: A General Preprocessing Method for Improved Performance of Epipolar Geometry Estimation Algorithms

    A deterministic preprocessing algorithm, especially designed to deal with repeated structures and wide baseline image pairs, is presented. It generates putative matches and their ...

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

    [לנוסח המלא]

  • TCE Guest Lecture (Part II): Creative Teams

    TCE Guest Lecture (Part II): Creative TeamsMaking a Pixar movie involves a team of hundreds of people from widely different disciplines using a lot of sophisticated technology. The scale and ...

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

    [לנוסח המלא]

  • TCE Guest Lecture (Part I): Cartoon Physics

    TCE Guest Lecture (Part I): Cartoon Physics Pixar’s animated films are created using computer graphics, so the characters are constructed and animated in a virtual 3D world. Manipulating that world involves ...

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

    [לנוסח המלא]

  • Beyond Conditional Lower Bounds: Overcoming the Square Root Phenomenon in Theory and Practice.

    דובר:
    Tsvi Kopelowitz - CS-Lecture
    תאריך:
    יום חמישי, 7.1.2016, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Algorithms for Combinatorial Reoptimization

    Traditional combinatorial optimization problems require finding solutions for a single problem instance. However, many real-life applications involve systems that change dynamically over time. Thus, ...

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

    [לנוסח המלא]

  • The Role of Interaction in Economics and Parallel Computation

    דובר:
    Omri Weinstein - CS-Lecture - Note unusual day
    תאריך:
    יום רביעי, 6.1.2016, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Automated Circular Assume-Guarantee Reasoning

    Compositional verification techniques aim to decompose the verification of a large system into the more manageable verification of its components. In recent years, compositional ...

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

    [לנוסח המלא]

  • Theory Seminar: Robust Entanglement Systems

    The folklore on quantum entanglement is that it is a fragile phenomenon and physically very hard to maintain. In quantum complexity theory this raises ...

    דובר:
    ליאור אלדר - MIT
    תאריך:
    יום רביעי, 6.1.2016, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • Intel@Technion Lectures: AVX-512: New Opportunities and Challenges for Compilers and Programmers

    Intel@Technion Lectures: AVX-512: New Opportunities and Challenges for Compilers and ProgrammersThe next generation of Intel’s multicore and many-core product lines will use AVX-512, the biggest extension to Intel Instruction Set Architecture (ISA). This extension ...

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

    [לנוסח המלא]

  • Crowd-Powered Data Management

    דובר:
    Tova Milo - COLLOQUIUM LECTURE
    תאריך:
    יום שלישי, 5.1.2016, 14:30
    מקום:
    חדר 337-8 טאוב.

    [לנוסח המלא]

  • Pixel Club: On the Stability of Deep Networks and its Relationship with Compressed Sensing and Metric Learning

    This lecture will address the fundamental question: What are deep neural networks doing to metrics in the data? We know that two important properties ...

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

    [לנוסח המלא]

  • Pixel Club: Blind Signal Processing: Sparse Signal Reconstruction in Bilinear Inverse Problems

    While the solution of linear inverse problems (BIPs) under both classical signal models and modern sparsity models has been studied extensively and is well ...

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

    [לנוסח המלא]

  • Improving Parallel Programs with Architectural Insights

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

    [לנוסח המלא]