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

  • CGGC Seminar: Efficient Collision Detection and Avoidance for Tree Structures using Sweep-based BVH

    We present an interactive tree modeling and deformation system that supports an efficient collision detection and avoidance using a bounding volume hierarchy of sweep ...

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

    [לנוסח המלא]

  • On Visibility and Point Clouds

    We introduce the concept of visibility detection within a point set to new domains. Specifically, we show that a simple representation of an image ...

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

    [לנוסח המלא]

  • Coding Schemes for Non-Volatile Memories

    Flash memories is a non-volatile technology that is both electrically programmable and electrically erasable. It incorporates a set of cells maintained at a set ...

    דובר:
    מיכל הורוביץ
    תאריך:
    יום חמישי, 6.7.2017, 14:30
    מקום:
    טאוב 601

    [לנוסח המלא]

  • Sampling-on-Demand in SDN

    Sampling is an expensive network resource, because switches and routers are able to sample only a small fraction of the traffic they receive. Modern ...

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

    [לנוסח המלא]

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

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

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

    [לנוסח המלא]

  • Pixel Club: Probabilistic Pursuits on Graphs

    We consider a discrete system of "ant-like" agents which pursue each other on the vertices of a graph environment. Visually reminiscent of a trail ...

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

    [לנוסח המלא]

  • Probabilistic Pursuits on Graphs

    We consider a discrete system of "ant-like" agents which pursue each other on the vertices of a graph environment. Visually reminiscent of a trail ...

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

    [לנוסח המלא]

  • Generalizations of the Cardinality Estimation Problem and Applications to Computer Networks

    Sketch-based streaming algorithms allow efficient processing of big data. These algorithms use small fixed-size storage to store a summary ("sketch") of the input data, ...

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

    [לנוסח המלא]

  • The True Difference Between Emulation and Paravirtualization of High-Throughput I/O Devices

    Machine virtualization has grown in popularity in recent years with the growth of cloud computing. Virtual machines use virtual I/O devices to perform their ...

    דובר:
    ארתור קייאנובסקי
    תאריך:
    יום רביעי, 28.6.2017, 13:00
    מקום:
    טאוב 644

    [לנוסח המלא]

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

    Exposure to Virtual Reality Course Eventהמרכז לגרפיקה (CGGC) וחישוב גיאומטרי והמעבדה לעיבוד גיאומטרי של תמונות (GIP) מזמינים אתכם לאירוע חשיפה והרשמה מוקדמת לקורס: מציאות וירטואלית\רבודה האירוע יתקיים ...

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

    [לנוסח המלא]

  • ceClub: Securing Internet Routing from the Ground Up

    The Internet's communication infrastructure (TCP/IP, DNS, BGP, etc.) is alarmingly insecure, as evidenced by many high-profile incidents. I will illustrate the challenges en route ...

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

    [לנוסח המלא]

  • Probabilistic Reasoning Meets Heuristic Search

    Graphical models, including constraint networks, Bayesian networks, Markov random fields and influence diagrams, have become a central paradigm for knowledge representation and reasoning in ...

    דובר:
    Rina Dechter - SPECIAL GUEST LECTURE - Note unusual day and time
    תאריך:
    יום רביעי, 28.6.2017, 11:30
    מקום:
    חדר 337 טאוב.

    [לנוסח המלא]

  • Pixel Club: InterpoNet, A Brain Inspired Neural Network for Optical Flow Dense Interpolation

    Sparse-to-dense interpolation for optical flow is a fundamental phase in the pipeline of most of the leading optical flow estimation algorithms. The current state-of-the-art ...

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

    [לנוסח המלא]

  • CGGC Seminar: Consistent Functional Cross Field Design for Mesh Quadrangulation

    We propose a novel technique for computing consistent cross fields on a pair of triangle meshes given an input correspondence, which we use as ...

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

    [לנוסח המלא]

  • Pixel Club: Computational Geometric Vision

    By combining geometric principles for shape analysis with modern sensing techniques, large-scale datasets and powerful computational architectures we show various new ways of enabling ...

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

    [לנוסח המלא]

  • Theory Seminar: Competitive Distributed Controller with Heterogeneous Edge Costs

    Most communication networks exhibit a large variety of links that may differ significantly in terms of the cost incurred for sending messages over them. ...

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

    [לנוסח המלא]

  • Pixel Club: Shape Correspondence using Spectral Methods and Deep Learning

    The interest in acquiring and analyzing the geometry of the world is ever increasing, fueling a wide range of computer vision algorithms in the ...

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

    [לנוסח המלא]

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

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

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

    [לנוסח המלא]

  • ceClub: Finding the Next Curves: Towards a Scalable Future for Specialized Architectures

    The end of CMOS transistors scaling marks a new era for modern computer systems. As the gains from traditional general-purpose processors diminish, researchers explore ...

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

    [לנוסח המלא]

  • Pixel Club: Improved Stereo Matching with Constant Highway Networks and Reflective Confidence Learning

    I'll present two new concepts in deep learning and show how we used them to achieve a significant improvement in stereo matching, which is ...

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

    [לנוסח המלא]

  • Coding Theory: Coded Gradient Computation form Cyclic MDS Codes and Expander Graphs

    Stochastic Gradient Descent (SGD) is a popular method for learning classes of linear predictors. If the size of the training set is large, a ...

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

    [לנוסח המלא]

  • CGGC Seminar: GWCNN: A Metric Alignment Layer for Deep Shape Analysis & Deblurring and Denoising of Maps between Shapes

    Title: GWCNN: A Metric Alignment Layer for Deep Shape Analysis Abstract: Deep neural networks provide a promising tool for incorporating semantic information in geometry ...

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

    [לנוסח המלא]

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

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

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

    [לנוסח המלא]

  • TCE Guest Lecture: Memcomputing: a Brain-inspired Topological Computing Paradigm

    Which features make the brain such a powerful and energy-efficient computing machine? Can we reproduce them in the solid state, and if so, what ...

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

    [לנוסח המלא]

  • Constructions of PIR and Batch Codes for Distributed Storage

    Distributed and cloud storage systems today are required to tolerate the failure or unavailability of some of the nodes in the system. The simplest ...

    דובר:
    הלאל עאסי
    תאריך:
    יום רביעי, 14.6.2017, 15:00
    מקום:
    טאוב 601

    [לנוסח המלא]

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

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

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

    [לנוסח המלא]

  • Seminar in Cryptology: Tutorial on the Construction of SHA-1 Collision Attacks

    The cryptographic hash function SHA-1 has been known to be weak since 2004 with the first theoretical collision attack. Since then many techniques for ...

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

    [לנוסח המלא]

  • Theory Seminar: Non-constructive Combinatorics

    I will describe several old and new applications of topological and algebraic methods in the derivation of combinatorial results. In all of them the ...

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

    [לנוסח המלא]

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

    Safety of a distributed protocol means that the protocol never reaches a bad state, e.g., a state where two nodes become leaders in a ...

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

    [לנוסח המלא]

  • Pixel Club: Distilled Collections and Applications

    In the talk, I will present a distillation algorithm which operates on a large, unstructured, and noisy collections of internet images returned from an ...

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

    [לנוסח המלא]

  • Coding Theory: Mutually Uncorrelated Codes for DNA Storage

    Mutually Uncorrelated (MU) codes are a class of codes in which no proper prefix of one codeword is a suffix of another codeword. These ...

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

    [לנוסח המלא]

  • 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, 14:30
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    [לנוסח המלא]

  • Accelerating Multidimensional NMR Spectroscopy by Compressed Sensing of Hypercomplex FTs

    Multidimensional NMR (MDNMR) experiments are an important tool in physical chemistry,but can take a long time, in some cases weeks, to conduct. At first ...

    דובר:
    David L. Donoho - SPECIAL GUEST LECTURE - Note unusual hour
    תאריך:
    יום ראשון, 11.6.2017, 13:30
    מקום:
    חדר 337 טאוב.

    [לנוסח המלא]

  • Theory Seminar: Refuting Random 3-CNFs Using Polynomials Requires Large Proof Space

    To prove space lower bounds​ for refuting random k-CNF formulas in the UNSAT region we use the expansion property of the incidence graph of ...

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

    [לנוסח המלא]

  • ceClub: Revisiting Email Search

    With the rapid growth in machine-generated traffic and in storage capacities offered by Web mail services, our mailboxes get larger and larger. Search therefore ...

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

    [לנוסח המלא]

  • Improving SSD-based Caches Lifetime with Write-Once Memory Codes

    Solid State Disks (SSDs) have the potential to revolutionize the storage system landscape. They have gained popularity as cache devices in data centers because, ...

    דובר:
    רן קורצקי
    תאריך:
    יום רביעי, 7.6.2017, 11:30
    מקום:
    טאוב 601

    [לנוסח המלא]

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

    [לנוסח המלא]

  • Pixel Club: Optical Flow Requires Multiple Strategies (but only one network)

    I will present our pipeline for optical flow computing, based on a CNN for generating local descriptors. I will focus on our recent research, ...

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

    [לנוסח המלא]

  • סדנת המרכז להנדסת מחשבים ע"ש סטפן ושרון זיידן 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
    מקום:
    המרכז להנדסת מחשבים,טכניון

    [לנוסח המלא]

  • Coding Theory: A Brief Introduction to Lattice Coding Theory

    Lattices are error-correcting codes defined over the real numbers. In the physical world, 1 plus 1 is 2, and it is the same for ...

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

    [לנוסח המלא]

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

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

    [לנוסח המלא]

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

    [לנוסח המלא]

  • CSpecial Guest: The NFV Industry: Current state, Challenges and Next Steps

    The lecture will be given as part of the Network Function Virtualization advanced course (cs236635). Dudu Amzallag is Technion CS Ph.D. graduate and is ...

    דובר:
    דודו אמזלג (SDN ו-NFV)
    תאריך:
    יום שני, 29.5.2017, 10:30
    מקום:
    טאוב 4

    [לנוסח המלא]

  • 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 Guest Lecture: CANCELLED!

    TCE Guest Lecture: CANCELLED!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 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 טאוב.

    [לנוסח המלא]