דלג לתפריט הניווט (מקש קיצור '1') דלג לתוכן (מקש קיצור 's') דלג לפרטי יצירת קשר (מקש קיצור '2') דלג למדריך הטלפונים (מקש קיצור '3') דלג למפת האתר (מקש קיצור '4') דלג להצהרת הנגישות (מקש קיצור '0')
אתה נמצא כאן: › ›

קולוקוויום וסמינרים

כדי להצטרף לרשימת תפוצה של קולוקוויום מדעי המחשב, אנא בקר בדף מנויים של הרשימה.


Computer Science events calendar in HTTP ICS format for of Google calendars, and for Outlook.

Academic Calendar at Technion site.

קולוקוויום וסמינרים בקרוב

  • Theory Seminar: Planar Diameter via Metric Compression

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

    We develop a new approach for distributed distance computation in planar graphs that is based on a variant of the metric compression problem recently introduced by Abboud et al. [SODA'18]. In our variant of the Planar Graph Metric Compression Problem, one is given an $n$-vertex planar graph $G=(V,E)$, a set of $S \subseteq V$ source terminals lying on a single face, and a subset of target terminals $T \subseteq V$. The goal is to compactly encode the $S\times T$ distances.

    One of our key technical contributions is in providing a compression scheme that encodes all $S \times T$ distances using $\widetilde{O}(|S|\cdot\poly(D)+|T|)$ bits\footnote{As standard, $\widetilde{O}$ is used to hide $\poly\log n$ factors.}, for unweighted graphs with diameter $D$. This significantly improves the state of the art of $\widetilde{O}(|S|\cdot 2^{D}+|T| \cdot D)$ bits. We also consider an approximate version of the problem for \emph{weighted} graphs, where the goal is to encode $(1+\epsilon)$ approximation of the $S \times T$ distances, for a given input parameter $\epsilon \in (0,1]$. Here, our compression scheme uses $\widetilde{O}(\poly(|S|/\epsilon)+|T|)$ bits. In addition, we describe how these compression schemes can be computed in near-linear time. At the heart of this compact compression scheme lies a VC-dimension type argument on planar graphs, using the well-known Sauer’'s lemma.

    This efficient compression scheme leads to several improvements and simplifications in the setting of diameter computation, most notably in the distributed setting:
    - There is an $\widetilde{O}(D^5)$-round randomized distributed algorithm for computing the diameter in planar graphs, w.h.p.
    - There is an $\widetilde{O}(D^3)+\poly(\log n/\epsilon)\cdot D^2$-round randomized distributed algorithm for computing an $(1+\epsilon)$ approximation of the diameter in weighted graphs with polynomially bounded weights, w.h.p. No sublinear round algorithms were known for these problems before.

    Joint work with Jason Li, to appear in STOC'19.

  • Pixel Club: Geometric Feature Descriptors based on Partial Differential Equations

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

    Abstract: One of the main tasks in three-dimensional shape analysis is to retrieve similarities between two or more non-rigid objects in terms of point-to-point correspondences. For the descriptor based approach, it is useful to construct a simplified shape representation called feature descriptor. A successful descriptor class can be motivated by physical phenomena governed by partial differential equations (PDEs). The talk shows how different types of PDEs and discretization aspects may lead to quality improvements for the feature descriptor. This will be demonstrated at the hand of a detailed evaluation of a standard shape data set.

    *PhD research under supervision of Prof. Michael Breuß

  • CGGC Seminar: Viscous Thin Films in Real Time

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

    I'll discuss our novel discrete scheme for simulating viscous thin films in 2D at real-time frame rates.

    Our scheme is based on a new formulation of the gradient flow approach, that leads to a discretization based on local stencils that are easily computable on the GPU.

    I'll also discuss our recent work toward a real-time 3D scheme for simulation of the effect on meshes, based on simplifications of a previous scheme.

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

    CS RESEARCH DAY 2019

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

    יום המחקר התשיעי לתארים מתקדמים בפקולטה למדעי המחשב יתקיים ביום ראשון, 24 ביוני, 2019, בין השעות 15:00-17:00, בלובי של בניין טאוב למדעי המחשב.

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

    המחקרים המשתתפים ביום המחקר יהיו בנושאים שונים:
    Cryptology and Cyber, Data Centers and Clouds, Graphics, Intelligent Systems and Scientific Computation, Machine Learning and Information Retrieval, Systems and Applications, Testing and Verification, Theory of Computer Science.

    ההשתתפות באירוע אינה כרוכה בתשלום אך דורשת הרשמה מוקדמת.

    פרטים נוספים והרשמה.

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

  • יריד פרוייקטים ב-IoT, תוכנה, אפליקציות אנדרואיד, AI, סייבר, אבטחת מידע ורשתות תקשורת

    Project Fair in IoT, Software, Android Apps, AI, Cyber, Computer Security, and Networks

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

    מעבדות הפקולטה למדעי המחשב: המעבדה לפיתוח תוכנה ומערכות (SSDL), המעבדה לסייבר ואבטחת מידע (CYBER) ותקשורת מחשבים (LCCN) מזמינות אתכם לבקר ביריד פרוייקטים בתחומי IOT, תוכנה, אפליקציות אנדרואיד, AI, סייבר, אבטחת מידע ורשתות תקשורת ובו יציגו, ידגימו ויענו על שאלות בנושא מחקרם 60 צוותי תלמידי תואר ראשון.

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

    כולם מוזמנים!

    הפרוייקטים המציגים

  • CGGC Seminar: Linearly Converging Quasi Branch and Bound Algorithms for Global Rigid Registration

    דובר:
    נדב דים (אונ' דיוק)
    תאריך:
    יום רביעי, 3.7.2019, 11:30
    מקום:
    טאוב 401

    Rigid registration is the problem of finding the optimal rigid motion and correspondence between two shapes, so that they are as similar as possible in terms of an appropriate energy.

    We will describe several popular algorithms for this problem: PCA alignment and ICP, which are very efficient but are not globally optimal, as well as sampling and branch and bound (BnB) algorithms which exhibit slow convergence but are globally optimal.

    Next we suggest our quasi BnB algorithm as an improvement upon the BnB approach. Quasi BnB replaces the linear lower bounds used in BnB algorithms with quadratic quasi-lower bounds. While quasi-lower bounds are not truly lower bounds, the Quasi-BnB algorithm is globally optimal. Our experiments show that Quasi-BnB is dramatically more efficient than BnB algorithms. Theoretically we show that quasi-BnB exhibits linear convergence -- it achieves ϵ-accuracy in O(log(1/ϵ)) time while the time complexity of other rigid registration BnB algorithms is polynomial in 1/ϵ.