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

  • סדנת המרכז להנדסת מחשבים ע"ש סטפן ושרון זיידן 2017

    TCE Workshop: 2017 Stephen and Sharon Seiden Frontiers in Engineering and Scienceהנכם מוזמנים לסדנת המרכז להנדסת מחשבים ע"ש סטפן ושרון זיידן 2017 של המרכז להנדסת מחשבים בנושא: "Beyond CMOS: From Devices to Systems" אשר תתקיים ...

    תאריך:
    יום שישי, 5.5.2017, 09:30
    מקום:
    המרכז להנדסת מחשבים,טכניון

    [לנוסח המלא]

  • CGGC Seminar: Geometric Methods for Realistic Animation of Faces

    In this talk, I will briefly introduce myself, mainly focusing on my doctoral dissertation, addressing realistic facial animation. Realistic facial synthesis is one of ...

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

    [לנוסח המלא]

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

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

    תאריך:
    יום רביעי, 26.4.2017, 10:30
    מקום:
    חדר 337 טאוב.

    [לנוסח המלא]

  • ''Blind'' Visual Inference

    In this talk I will show how ''blind'' visual inference can be performed by exploiting the internal redundancy inside a single visual datum (whether ...

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

    [לנוסח המלא]

  • CS Guest Lecture: Doing Stuff with LSTMs

    The premise of the talk is processing natural language using machine learning techniques. While deep learning methods in Natural Language Processing are arguably overhyped, ...

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

    [לנוסח המלא]

  • Pixel Club: Shape Reconstruction: From Axiomatic Coded Light to Learning Stereo

    1. Freehand Laser Scanning Using Mobile Phone 3D scanners are growing in their popularity as many new applications and products are becoming a commodity. ...

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

    [לנוסח המלא]

  • Modularity, classification and networks in analysis of big biomedical data

    Supervised and unsupervised methods have been used extensively to analyze genomics data, with mixed results. On one hand, new insights have led to new ...

    דובר:
    Ron Shamir - COLLOQUIUM LECTURE
    תאריך:
    יום שלישי, 4.4.2017, 14:30
    מקום:
    חדר 337 טאוב.

    [לנוסח המלא]

  • Pixel Club: Coresets for Kinematic Data: From Theorems to Autonomous Toy-Drones

    A coreset (or core-set) of a dataset is its semantic compression with respect to a set of queries, such that querying the (small) coreset ...

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

    [לנוסח המלא]

  • Setting Zigzag Straight - An erasure coding scheme and its evaluation in the cloud

    Erasure codes protect data in large scale data centers against multiple concurrent failures. However, in the frequent case of a single node failure, the ...

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

    [לנוסח המלא]

  • Pixel Club: Analysis of Non-Rigid 3D Shapes

    Zorah Lähner and Matthias Vestner are PhD students from the group of Daniel Cremers at TU Munich. Both are working in the Analysis of ...

    דובר:
    Zorah Lähnerand & Matthias Vestner (TU Munich)
    תאריך:
    יום רביעי, 29.3.2017, 14:30
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

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

    Startup Day and Recruitment at CSהפקולטה למדעי המחשב מזמינה אתכם ליריד סטארט אפ וגיוס לחברות המשתתפות: Augury, Axxana, CNOGA, Colu, Driveway, ENSILO, JFrog, Lightbits, SCIO, Sesame, Tabbola, Yotpo. בנוסף ...

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

    [לנוסח המלא]

  • Theory Seminar: Random High-dimensional Combinatorial Objects

    This is part of our ongoing effort to develop the field of high-dimensional combinatorics. The probabilistic method and the properties of random graphs, random ...

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

    [לנוסח המלא]

  • Pixel Club: Unsupervised Cross-Domain Image Generation

    We study the problem of transferring a sample in one domain to an analog sample in another domain. Given two related domains, S and ...

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

    [לנוסח המלא]

  • TCE Special Guest Lecture: Revisiting Virtual Caches

    Virtual caches have been around for several decades. They have several advantages in performance and energy efficiency, but have not been used in ubiquitous ...

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

    [לנוסח המלא]

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

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

    תאריך:
    יום שלישי, 28.3.2017, 16:30
    מקום:
    CS טאוב Auditorium 2

    [לנוסח המלא]

  • CGGC Seminar: Formulae Enumerating Polyominoes by both Area and Perimeter

    A polyomino of area n is an edge-connected set of n cells on the square lattice. To-date, no formulae enumerating polyominoes by area (number ...

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

    [לנוסח המלא]

  • Representations and applications of differential operators in geometry processing

    Geometry processing deals with the design of effective discrete methods for complex problems which appear in various areas of computational science and engineering. In ...

    דובר:
    עומרי איזנקוט
    תאריך:
    יום ראשון, 26.3.2017, 13:30
    מקום:
    טאוב 401

    [לנוסח המלא]

  • Coding Theory: Twenty (Simple) Questions

    Huffman coding has a search-theoretic interpretation as the optimal strategy for the twenty questions game. In this game, Alice chooses x ∈ {1,...,n} according ...

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

    [לנוסח המלא]

  • Distributed Approximation for Tree Augmentation

    A minimum spanning tree is an essential structure for distributed algorithms, since it is a low-cost connected subgraph which provides an effcient way to ...

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

    [לנוסח המלא]

  • Theory Seminar: Exact Learning of Juntas from Membership Queries

    Learning from membership queries has flourished due to its many applications in different fields. Many of the new applications raised new models and new ...

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

    [לנוסח המלא]

  • ceClub: Making Network Functions Software-Defined

    OpenBox is a framework that makes network functions (NFs) software-defined by decoupling their control plane from their data plane, similarly to SDN solutions that ...

    דובר:
    יותם הרחול ( (VMWare Research)​​
    תאריך:
    יום רביעי, 22.3.2017, 11:30
    מקום:
    טאוב 301

    [לנוסח המלא]

  • Pixel Club: RNN Fisher Vectors for Action Recognition and Image Annotation

    Recurrent Neural Networks (RNNs) have had considerable success in classifying and predicting sequences. We demonstrate that RNNs can be effectively used in order to ...

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

    [לנוסח המלא]

  • The Relationship Between Agnostic Selective Classification and Active Learning

    A selective classifier (f,g) consists of a classification function f and a binary selection function g, which determines if the classifier abstains from prediction, ...

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

    [לנוסח המלא]

  • CGGC Seminar: Dense Packing of Congruent Circles in Free-form Non-convex Containers

    This work proposes an algorithm for computing dense packings of congruent circles inside general 2D containers. Unlike the previous approaches which accept as containers, ...

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

    [לנוסח המלא]

  • תחרות אינטל-טכניון הרביעית (2018)

    The 4th Technion-Intel Challenge (2018) הנכם מוזמנים להשתתף בתחרות התכנות אינטל-טכניון הרביעית ולאתגר את טכנולוגיות החישה (מצלמות תלת-ממד) של הדור הבא, טכניקות למידת עומק והתקני IOT, להזדמנות להיחשף למוצרי ...

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

    [לנוסח המלא]

  • Exact Programming by Examples

    The vast majority of computer users do not know how to code. Programming by examples (PBE) has flourished in recent years to address exactly ...

    דובר:
    דנה דרקסלר-כהן
    תאריך:
    יום חמישי, 16.3.2017, 11:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Algorithms for Environments with Uncertainty

    In this research we study computation in environments with uncertainty, specifically, the distributed and streaming environments. We adapt the local-ratio technique to the distributed ...

    דובר:
    גרגורי שוורצמן
    תאריך:
    יום רביעי, 15.3.2017, 15:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Theory Seminar: Interactive Coding with Efficient Round and Communication Blowup

    We construct an interactive coding scheme, a notion introduced by Schulman (FOCS 1992, STOC 1993). Loosely speaking, we show how to convert any two-party ...

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

    [לנוסח המלא]

  • Pixel Club: Multi-scale Low Rank Matrix Decomposition

    Data matrices constructed from multimedia data are often correlated at different scales. Motivated by this observation, we consider the decomposition of a matrix into ...

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

    [לנוסח המלא]

  • Twenty questions game using simple questions

    A basic combinatorial interpretation of Shannon's entropy function is via the ``20 questions'' game. This cooperative game is played by two players, Alice and ...

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

    [לנוסח המלא]

  • Pixel Club: ​​In Situ Target-Less Calibration of Turbid Media Optical Properties

    The color of an object imaged in a turbid medium varies with distance and medium properties, deeming color an unstable source of information in ...

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

    [לנוסח המלא]

  • TCE Guest Lecture: Nanoscale Memristive Devices for Brain-inspired Computing and BeyondNanoscale Memristive Devices for Brain-inspired Computing and Beyond

    Developing electronics beyond Moore’s Law requires revolutionary vision in novel devices, disruptive technologies, new materials and alternative computer architecture. Memristor is an emerging nanoelectronic ...

    דובר:
    Q​​iangfei Xia (University of Massachusetts Amherst)
    תאריך:
    יום שלישי, 14.3.2017, 11:30
    מקום:
    חדר 861, בניין מאייר, הפקולטה להנדסת חשמל

    [לנוסח המלא]

  • CGGC Seminar: Solving Piecewise Polynomial Constraint Systems with Decomposition using Subdivision-Based Solver

    Piecewise polynomial constraint systems are common in numerous problems in computational geometry, such as constraint programming, modeling, and kinematics. In this talk, we present ...

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

    [לנוסח המלא]

  • Pixel Club: Perceptual Representation Learning Across Diverse Modalities and Domains

    Learning of layered or "deep" representations has provided significant advances in computer vision in recent years, but has traditionally been limited to fully sup​​ervised ...

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

    [לנוסח המלא]

  • Efficiently Enumerating Tree Decompositions

    Many intractable problems on graphs, can be efficiently solved for trees or forests. Tree decompositions allow taking advantage of this fact to handle general ...

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

    [לנוסח המלא]

  • Theory Seminar: Public Randomness, Blockchains and Proofs-of-delay

    A public, unpredictable source of randomness would enable many exciting applications, starting with verifiable public lotteries. It is an essential building block for many ...

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

    [לנוסח המלא]

  • Hash Code 2017 של גוגל במדעי המחשב

    Hash Code 2017 by Google at CS גוגל תארח Hub for the Online Qualification Round of Hash Code - בפקולטה למדעי המחשב, ביום ה', 23 בפברואר 2017, ב-18:30 (זמן ...

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

    [לנוסח המלא]

  • A Scalable Linearizable Multi-Index Table

    Cocurrent data structures typically index data using a single primary key and provide fast access to data associated with a given key value. However, ...

    דובר:
    גל שפי
    תאריך:
    יום רביעי, 22.2.2017, 14:30
    מקום:
    טאוב 401

    [לנוסח המלא]

  • Remote Memory References at Block Granularity

    The cost of accessing shared objects that are stored in remote memory, while neglecting accesses to shared objects that are cached in the local ...

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

    [לנוסח המלא]

  • Pixel Club: Computational Imaging Through Scattering

    Imaging through scattering media has long been a challenge, as scattering corrupts measurements in a non-invertible way. Using near-visible wavelengths to image through scattering ...

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

    [לנוסח המלא]

  • Class invariants: old concept and new results

    Class invariants play a central role in understanding object-oriented programming. They also raise some tricky problems for the verification of OO programs, in particular ...

    דובר:
    Bertrand Meyer - GUEST LECTURE - Note unusual day
    תאריך:
    יום שני, 20.2.2017, 14:30
    מקום:
    חדר 337 טאוב.

    [לנוסח המלא]

  • Syntax-Guided Modular Analysis of Semantic Difference for Program Versions

    We present a modular and demand-driven analysis of the semantic difference between program versions. Our analysis characterizes initial states for which final states in ...

    דובר:
    אנה טרוסטנצקי
    תאריך:
    יום רביעי, 15.2.2017, 13:00
    מקום:
    טאוב 701

    [לנוסח המלא]

  • An Automata-Theoretic Approach to Modeling Systems and Specifications Over Infinite Data

    Data-parameterized systems model finite state systems over an infinite data domain. VLTL is an extension of LTL that uses variables in order to specify ...

    דובר:
    הדר פרנקל
    תאריך:
    יום רביעי, 15.2.2017, 12:00
    מקום:
    טאוב 701

    [לנוסח המלא]

  • Nano-Patterns Language for Java

    Roughly speaking Nano-Patterns are recurring, short snippets of code which represent a common approach for dealing with small scale implementation issues. Examples include, e.g., ...

    דובר:
    אורי מרקוביץ
    תאריך:
    יום שלישי, 14.2.2017, 13:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Geosocial Search: Finding Places based on Geotagged Social-Media

    Geographic search, where the user provides keywords and receives relevant locations depicted on a map, is a popular web application. Typically, such a search ...

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

    [לנוסח המלא]

  • Pixel Club: Diving into Haze-Lines: Underwater Color Restoration using Haze-Lines

    Images taken in scattering media, such as haze, fog, and underwater, often look faded and lack contrast. We detect changes in pixels' distribution in ...

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

    [לנוסח המלא]

  • Two-Party Direct-Sum Questions through the Lens of Multiparty Communication Complexity

    The direct-sum question in two-party communication complexity is the following; Alice receives $(x_1,\dots,x_\ell)$ and Bob receives $ (y_1,\dots,y_\ell) $, where each $x_i$ and $y_i$ ...

    דובר:
    איתי חזן
    תאריך:
    יום שני, 13.2.2017, 13:00
    מקום:
    טאוב 337

    [לנוסח המלא]

  • Pixel Club: ​Inner-Scene Similarities as a Contextual Cue for Object Detection

    Using image context is an effective approach for improving object detection. Previously proposed methods used contextual cues that rely on semantic or spatial information. ...

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

    [לנוסח המלא]

  • CGGC Seminar: Subdivision Based Solvers: Solutions with Topological Guarantee of Algebraic Sets with Applications

    Algebraic constraints arise in various applications, across domains in science and engineering. Polynomial and piece-wise polynomial (B-Spline) constraints are an important class, frequently arising ...

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

    [לנוסח המלא]

  • Face Reconstruction - A Learning Approach

    Fast and robust three-dimensional reconstruction of facial geometric structure from a single image is a challenging task with numerous applications in computer vision and ...

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

    [לנוסח המלא]

  • Formulae and Growth Rates of Animals on Cubical and Triangular Lattices

    A polyomino of size n consists of n squares joined along their edges. A popular example is the computer game Tetris, which features polyominoes ...

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

    [לנוסח המלא]

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

    YAHOO DAY at CSחברת יאהו תקיים אירוע שנתי בפקולטה ביום רביעי, 25 בינואר, 2017, בין השעות 14:30-16:30, בחדר 337, בניין טאוב למדעי המחשב. בתוכנית דברי פתיחה מפי ...

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

    [לנוסח המלא]

  • Theory Seminar: Lower Bound on the Step Complexity of Anonymous Binary Consensus

    Obstruction-free consensus, ensuring that a process running solo will eventually terminate, is at the core of practical ways to solve consensus, e.g., by using ...

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

    [לנוסח המלא]

  • ceClub: Achieving Scalable Formal Verification through Generalization and Abstraction

    Modern computerized systems are complex designs that include hardware and software components. Designing and implementing such systems requires extensive engineering. Yet, unlike other domains ...

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

    [לנוסח המלא]

  • יריד פרוייקטים בפיתוח תוכנה ב-IoT ו-Android

    Project Fair in IoT and Androidהמעבדה לפיתוח מערכות ותוכנה בפקולטה למדעי המחשב מזמינה אתכם לבקר ביריד פרוייקטים בפיתוח תוכנה ב-IoT ו-Android  ולהתרשם מפרוייקטים חדשים אשר יוצגו על-ידי צוותי הפיתוח. ...

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

    [לנוסח המלא]

  • Pixel Club: ​Human Pose Estimation using Deep Consensus Voting

    I will present out approach to human pose estimation, where each location in the image votes for the position of each keypoint using a ...

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

    [לנוסח המלא]

  • Robust and Simple Market Design

    Algorithms and the Internet are revolutionizing "markets" - the mechanisms through which resources are allocated among players under optimization criteria. While resource allocation is ...

    דובר:
    Inbal Talgam Cohen - CS-Lecture
    תאריך:
    יום שני, 23.1.2017, 10:30
    מקום:
    חדר 601 טאוב.

    [לנוסח המלא]

  • Coding Theory: Multiset Combinatorial Batch Codes

    Batch codes, first introduced by Ishai, Kushilevitz, Ostrovsky, and Sahai, mimic a distributed storage of a set of n data items on m servers, ...

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

    [לנוסח המלא]

  • Achieving Scalable Formal Verification through Generalization and Abstraction

    Modern computerized systems are complex designs that include hardware and software components. Designing and implementing such systems requires extensive engineering. Yet, unlike other domains ...

    דובר:
    Yakir Vizel - CS-Lecture
    תאריך:
    יום חמישי, 19.1.2017, 10:30
    מקום:
    חדר 601 טאוב.

    [לנוסח המלא]

  • ceClub: Leveraging RDMA for Strongly Consistent Replication at Large Scale

    My work focuses on ways of replicating data in demanding settings, most recently the cloud. The cloud is a setting where copying information and ...

    דובר:
    קן בירמן (אונ' קורנל)
    תאריך:
    יום רביעי, 18.1.2017, 14:30
    מקום:
    טאוב 301

    [לנוסח המלא]

  • Theory Seminar: Multi-parameter Approximation Schemes for APX-Hard Optimization Problems

    For every given real value epsilon>0, a Fully Polynomial Time Approximation Scheme (FPTAS) computes in polynomial time (in both the input size and 1/epsilon) ...

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

    [לנוסח המלא]

  • ceClub: Crowd Mining: A Framework for Mining the Knowledge of Web Users

    Crowd Mining is concerned with identifying significant patterns in the knowledge of the crowd, capturing, e.g., habits and preferences, by posing internet users with ...

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

    [לנוסח המלא]

  • Antibiotic resistance: machine learning to the rescue

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

    [לנוסח המלא]

  • How to Prove the Corretness of Computations

    Efficient proof verification is at the heart of the study of computation. Seminal results such as the IP=SPACE Theorem [LFKN92,Shamir92] and the PCP theorem ...

    דובר:
    Ron Rothblum - CS-Lecture
    תאריך:
    יום חמישי, 12.1.2017, 10:30
    מקום:
    חדר 601 טאוב.

    [לנוסח המלא]

  • On the consistency of principal component analysis in software metrics

    Software metrics are used by software engineers to help gauge the health of their projects. Researchers hope to correlate easy to measure properties, such ...

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

    [לנוסח המלא]

  • Theory Seminar: Non-adaptive learning of a hidden Hypergraph

    We give a new deterministic algorithm that non-adaptively learn a hidden hypergraph from edge-detecting query. This algorithm use a very interesting algebraic families: Perfect ...

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

    [לנוסח המלא]

  • ceClub: Distributed and Privacy Preserving Planning

    Classical AI planning is concerned with the following problem: Given a deterministic system, an initial system state, and a goal condition, find a sequence ...

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

    [לנוסח המלא]

  • CS Guest Lecture: Cracking Multi-Language Transformations

    Programming languages have many similarities, and so, when writing a source-to-source transformation on one language, it would be nice to reuse code from a ...

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

    [לנוסח המלא]

  • Hardness in P

    The class P attempts to capture the efficiently solvable computational tasks. It is full of practically relevant problems, with varied and fascinating combinatorial structure. ...

    דובר:
    Amir Abboud - CS-LECTURE
    תאריך:
    יום ראשון, 8.1.2017, 10:30
    מקום:
    חדר 601 טאוב.

    [לנוסח המלא]

  • Graph Algorithms for Distributed Networks

    I will describe two branches of my work related to algorithms for distributed networks. The main focus will be devoted for Fault-Tolerant (FT) Network ...

    דובר:
    Merav Parter - CS-Lecture -
    תאריך:
    יום חמישי, 5.1.2017, 10:30
    מקום:
    חדר 337 טאוב.

    [לנוסח המלא]

  • Pixel Club: Calibration of Multi-Camera Systems by Global Constraints on the Motion of Silhouettes

    Computing the epipolar geometry between cameras with very different viewpoints is often problematic as matching points are hard to find. In these cases, it ...

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

    [לנוסח המלא]

  • Constraint Based Isotope Tracing

    Motivation: Isotope tracing coupled with Metabolic Flux Analysis (MFA) is a commonly used approach for quantifying cellular metabolic fluxes. Isotope tracing involves feeding cells ...

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

    [לנוסח המלא]

  • Theory Seminar: Explicit Two-source Extractors for Near-logarithmic Min-entropy

    In this talk, we show an explicit construction of extractors for two independent sources of near-logaritmic min-entropy. Previous constructions required either polylog(n) min-entropy or ...

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

    [לנוסח המלא]

  • On Artificial Olfaction, and How to Test For It

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

    [לנוסח המלא]

  • Learning to act from observational data

    The proliferation of data collection in the health, commercial, and economic spheres, brings with it opportunities for extracting new knowledge with concrete policy implications. ...

    דובר:
    Uri Shalit - CS-Lecture - Note unusual hour and place
    תאריך:
    יום שלישי, 3.1.2017, 10:30
    מקום:
    חדר 601 טאוב.

    [לנוסח המלא]

  • Pixel Club: How Structure can Improve the Theory and Practice in Neural Networks?

    The past five years have seen a dramatic increase in the performance of recognition systems due to the introduction of deep architectures for feature ...

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

    [לנוסח המלא]