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

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

    The 7th Annual International TCE Conference on Coding for Storage and Information Systemsהכנס השנתי הבינלאומי השביעי להנדסת מחשבים בטכניון בנושא צפינת איחסון ומערכות מידע יתקיים בימים רביעי-חמישי, 21-22 ביוני, 2017 בבניין טאוב למדעי המחשב, הטכניון. מארגני ...

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

    [לנוסח המלא]

  • Effective deductive verification of safety of distributed protocols in unbounded systems

    T B A

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

    [לנוסח המלא]

  • יום עיון בקריפטולוגיה 2017

    CRYPTODAY 2017יום העיון בקריפטולוגיה 2017 יתקיים ביום חמישי, 15 ביוני 2017, בין השעות 17.15-9.00, באודיטוריום 1, בניין טאוב למדעי המחשב, הטכניון. רוב ההרצאות יינתנו בעברית ...

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

    [לנוסח המלא]

  • גרפיקה ממוחשבת בראיית הזמן: עבר, הווה ועתיד

    CSpecial Guest: Computer Graphics in the View of Time: Past, Present and Futureפרטים נוספים בכרזה המצורפת. כולם מוזמנים.

    דובר:
    אייל בר לב (אלביט, חטיבת כלי טייס)
    תאריך:
    יום רביעי, 14.6.2017, 12:30
    מקום:
    טאוב 7

    [לנוסח המלא]

  • CGGC Seminar: Precise Algebraic-based Swept Volumes for Arbitrary Free-form Shaped Tools towards Multi-axis CNC Machining Verification

    We will discuss a variation of the Ginzburg-Landau functional, a common tool in applications such as image segmentation (Ambrosio-Tortorelli) and phase-field methods in fluid ...

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

    [לנוסח המלא]

  • How to Find Cryptographic Needles In Exponentially Large Haystacks

    One of the most common algorithmic tasks is to find a single interesting event (a needle) in an exponentially large collection (haystack) of N=3D2^n ...

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

    [לנוסח המלא]

  • CGGC Seminar: Design of 3D printed mathematical art

    When visualising topological objects via 3D printing, we need a three-dimensional geometric representation of the object. There are approximately three broad strategies for doing ...

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

    [לנוסח המלא]

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

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

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

    [לנוסח המלא]

  • CGGC Seminar: Obstacle-Ginzburg-Landau Functionals

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

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

    [לנוסח המלא]

  • Coding Theory: Codes for Graph Erasures

    Motivated by systems where the information is represented by a graph, such as neural networks, associative memories, and distributed systems, we present in this ...

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

    [לנוסח המלא]

  • CGGC Seminar: Moebius Geometry Processing

    The mainstream approaches in digital geometry processing utilize triangular (simplicial) meshes, discretize differential quantities using finite-element function spaces, and describe transformations with piecewise affine ...

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

    [לנוסח המלא]

  • Pixel Club: 3D on the Fly

    Elbit Aerospace utilizes 3D mapping in a variety of different projects. We present two of these projects; in the first project, a 3D model ...

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

    [לנוסח המלא]

  • TCE Special Guest Lecture: Re-Engineering Computing with Neuro-Inspired Learning: Devices, Circuits, and Systems

    TCE Special Guest Lecture: Re-Engineering Computing with Neuro-Inspired Learning: Devices, Circuits, and Systems Advances in machine learning, notably deep learning, have led to computers matching or surpassing human performance in several cognitive tasks including vision, speech and ...

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

    [לנוסח המלא]

  • JPM Talk: Technology Ignites our Business - Discover the power of Tech in Financial Services

    This talk describes the importance technology plays in financial services. Amir will describe several examples of domains where technology is disrupting the market, together ...

    דובר:
    אמיר נהיר (ג'יי פי מורגן)
    תאריך:
    יום רביעי, 24.5.2017, 13:30
    מקום:
    טאוב 9

    [לנוסח המלא]

  • Theory Seminar: Approximating the Number of $k$ Cliques in a Graph in Sublinear Time

    We present a sublinear-time algorithm for approximating the number of $k$-cliques in an input graph. We assume the standard general graphs access model via ...

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

    [לנוסח המלא]

  • ceClub: cuSTINGER - A Sparse Dynamic Graph and Matrix Data Structure

    Sparse data computations are ubiquitous in science and engineering. Two widely used applications requiring sparse data computations are graph algorithms and linear algebra operations ...

    דובר:
    עודד גרין (מכון ג'ורג'יה)
    תאריך:
    יום רביעי, 24.5.2017, 11:30
    מקום:
    טאוב 301

    [לנוסח המלא]

  • Modular Verification of Concurrent Programs via Sequential Model Checking

    Verification of concurrent programs is known to be extremely difficult. On top of the challenges inherent in verifying sequential programs, it adds the need ...

    דובר:
    דן רסין
    תאריך:
    יום רביעי, 24.5.2017, 11:00
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Pixel Club: Expressive Efficiency and Inductive Bias of Convolutional Networks: Analysis and Design through Hierarchical Tensor Decompositions

    The driving force behind convolutional networks - the most successful deep learning architecture to date, is their expressive power. Despite its wide acceptance and ...

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

    [לנוסח המלא]

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

    TODAY! CS RESEARCH DAY 2017יום המחקר השביעי לתארים מתקדמים בפקולטה למדעי המחשב יתקיים ביום ראשון, 21 במאי, 2017, בין השעות 15:30-17:30, בלובי של בניין טאוב למדעי המחשב. יום ...

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

    [לנוסח המלא]

  • CGGC Seminar: Four Open Mathematical Problems Related to Computer Graphics and Geometric Modeling

    Four unsolved problems that originate from research in Computer Graphics and Geometric Modeling will be presented. The first problem involves understanding the notion oscillation ...

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

    [לנוסח המלא]

  • Coding Theory: Coding for Racetrack Memories

    Racetrack memory is a new technology which utilizes magnetic domains along a nanoscopic wire in order to obtain extremely high storage density. In racetrack ...

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

    [לנוסח המלא]

  • 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 ...

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

    [לנוסח המלא]

  • Theory Seminar: Incidence Geometry, Rank Bounds for Design Matrices, and Applications

    The classical Sylvester-Gallai theorem states the following: Given a finite set of points in the Euclidean plane, if the line through every pair of ...

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

    [לנוסח המלא]

  • ceClub: Moore with Less: Specializing Cores for the Cloud

    Big data is revolutionizing the way we live, work, and socialize. This revolution is powered by datacenters built with commodity hardware technologies that are ...

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

    [לנוסח המלא]

  • Quantum computation: A computational lens on quantum physics

    While the jury is still out as to whether the impressive experimental progress on quantum gates and qubits will lead one day to a ...

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

    [לנוסח המלא]

  • Pixel Club: ​On Clutter Rejection in Ultrasound Imaging​​

    Ultrasound images are often contaminated with acoustic clutter, which obscures image details of interest, thus leading to potentially inaccurate medical diagnosis. In order to ...

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

    [לנוסח המלא]

  • Coding Theory: Reconstruction of Sequences over Non-Identical Channels

    Motivated by the error behavior in DNA storage channels, in this work we extend the previously studied sequence reconstruction problem by Levenshtein. The reconstruction ...

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

    [לנוסח המלא]

  • CGGC Seminar: Depth with Respect to a Family of Convex Sets

    We introduce the notion of depth with respect to a finite family F of convex sets in R^d that generalizes the well-studied Tukey depth. ...

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

    [לנוסח המלא]

  • Communication-efficient Algorithms for Distributed Stream Mining

    Recent years has seen an explosion in the number of connected devices, which means not only growth in velocity and volume of data, but ...

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

    [לנוסח המלא]

  • Theory Seminar: Locally Testable and Locally Correctable Codes Approaching the Gilbert-Varshamov Bound

    Abstract We show that there exist binary locally testable codes (for all rates) and locally correctable codes (for low rates) with rate and distance ...

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

    [לנוסח המלא]

  • ceClub: The Challenges of Mining Machine-Generated Web Mail

    In the last decade, Web mail traffic has evolved, very much like regular snail mail, into being dominated by machine- generated messages. Some recent ...

    דובר:
    ליאן לוין-איתן
    תאריך:
    יום רביעי, 10.5.2017, 11:30
    מקום:
    טאוב 301

    [לנוסח המלא]

  • CSpecial Guest: Design by Introspection

    Over the years, a few programming paradigms have been successful enough to enter the casual vocabulary of software engineers: procedural, imperative, object-oriented, functional, generic, ...

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

    [לנוסח המלא]

  • Coding Theory: Nearly Optimal Constructions of PIR and Batch Codes

    In this work we study two families of codes with availability, namely \emph{PIR codes} and \emph{batch codes}. While the former requires that every information ...

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

    [לנוסח המלא]

  • Pixel Club: A Deep Learning Perspective on the Origin of Facial Expressions

    Facial expressions play a significant role in human communication and behavior.​ ​Psychologists have long studied the relationship between facial expressions and emotions.​ ​Paul Ekman ...

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

    [לנוסח המלא]

  • Distributed construction of graph spanners

    A spanner of a given graph is a sparse subgraph that approximately preserves distances. Since their introduction in the late 1980's, spanners have found ...

    דובר:
    עמי פז
    תאריך:
    יום רביעי, 3.5.2017, 12:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • Coding Theory: LDPC Codes over the q-ary Multi-Bit Channel

    The rapid development of memory technologies has introduced challenges to the continued scaling of memory devices in density and access speed. Many of these ...

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

    [לנוסח המלא]

  • 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, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Theory Seminar: Agreement Testing and PCPs

    I will describe the notion of agreement testing, which allows to deduce global structure from local agreement checks. In retrospect, agreement testing theorems are ...

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

    [לנוסח המלא]

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

    TODAY! 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 טאוב.

    [לנוסח המלא]

  • Pixel Club: On Elliptic Operators and Non-rigid Shapes

    Many shape analysis methods treat the geometry of an object as a metric space captured by the Laplace-Beltrami operator. We present an adaptation of ...

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

    [לנוסח המלא]

  • Coding Theory: On the VC-Dimension of Binary Error-Correcting Codes

    We investigate the asymptotic rates of length-$n$ binary codes with VC-dimension at most $dn$ and minimum distance at least $\delta n$. Two upper bounds ...

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

    [לנוסח המלא]

  • TCE Guest Lecture: Making General-Purpose Computing Great Again

    TCE Guest Lecture: Making General-Purpose Computing Great AgainGeneral-Purpose (GP) CPUs are a quintessential example for “engineering for serendipity” as their current ubiquity seems to exceed the wildest dreams of its originators. ...

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

    [לנוסח המלא]

  • A GPU-Friendly Skiplist Algorithm

    We propose a design for a fine-grained lock-based skiplist optimized for Graphics Processing Units (GPUs). While GPUs are often used to accelerate streaming parallel ...

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

    [לנוסח המלא]

  • ceClub: Omid - Low latency, Scalable and Highly-Available Transactions in Distributed Data Storage

    We present Omid - a low latency transaction processing service that powers web-scale production systems at Yahoo. Omid provides ACID transaction semantics on top ...

    דובר:
    אוהד שחם (יאהו מחקר)
    תאריך:
    יום רביעי, 19.4.2017, 11:30
    מקום:
    טאוב 301

    [לנוסח המלא]

  • Entanglement and Geometrical Distances in Quantum Information and Quantum Cryptography

    The counter-intuitive features of Quantum Mechanics make it possible to solve problems and perform tasks that are beyond the abilities of classical computers and ...

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

    [לנוסח המלא]

  • Theory Seminar: Scalable Transparent ARguments-of-Knowledge

    There are various theoretically-efficient constructions of public-randomness (i.e., Arthur-Merlin type) Zero-Knowledge Succinct Arguments of Knowledge in the random oracle model, for computations-verification (also known ...

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

    [לנוסח המלא]

  • Pixel Club: Detecting Similar Actions across videos using a view and appearance video descriptor

    The ability to detect similar actions across videos can be very useful for real-world applications in many fields. In this talk I will describe ...

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

    [לנוסח המלא]

  • Pixel Club: DT-MRI Guided Focused Ultrasound

    We present an analysis method to improve treatment procedures for a set of neurological pathologies, specifically essential tremor disorder. By combining anatomical and pathological ...

    דובר:
    Hagai Tzafrir (CS, Technion)
    תאריך:
    יום חמישי, 6.4.2017, 13:30
    מקום:
    טאוב 201

    [לנוסח המלא]

  • CSpecial Guest: Page Fault Support for Network Controllers

    Direct network I/O allows network controllers (NICs) to expose multiple instances of themselves, to be used by untrusted software without a trusted intermediary. Direct ...

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

    [לנוסח המלא]

  • CSpecial Guest: 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, 11:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • ceClub: GPUpipes: A Scalable Multi-GPU Network Server

    While augmenting a system with multiple GPUs is an appealing way to push more compute power inside a single machine, it is not without ...

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

    [לנוסח המלא]

  • Theory Seminar: The Theory that is Missing in The Software Industry

    The theory of software creation (aka programming) relies on several theoretical domains: Computability, complexity, algorithms, graph theory, and alike. Alas, the above are related ...

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

    [לנוסח המלא]

  • ceClub: On Routing Games and Net Neutrality

    Net neutrality is getting major attention these days, as it is at the crossroads between technology, economics and regulation. Discussions and new net neutrality ...

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

    [לנוסח המלא]

  • 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

    TODAY! 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
    תאריך:
    יום שלישי, 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, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • 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 טאוב.

    [לנוסח המלא]