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

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

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

  • Haifux Club:

    דובר:
    דניאל ברונשטיין
    תאריך:
    יום שני, 27.10.2014, 18:30
    מקום:
    טאוב 2

    A lecture with a life demo!

    General Agenda

    • What is Bitcoin
    • Wallets (mobile, cloud, cold storage)
    • Price and Market Capacitance
    • Worldwide adoption by big corporations and merchants
    • Regulatory environment
    • Billion Dollar Markets being disrupted by Bitcoin
    • Alternative crypto-currencies and Bitcoin 2.0
    • VC investment in Bitcoin startups
    • Bitcoin in Israel
    • Bitcoin in the Academy

    Technical Agenda

    • Public/private keys
    • Mining
    • Blockchain
    • Security, 51% attack

  • CGGC Seminar: Topologically Guaranteed Bivariate Solutions Of Under-Constrained Multivariate Piecewise Polynomial Systems

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

    We present a subdivision based algorithm to compute the solution of an under-constrained piecewise polynomial system of n−2 equations with n unknowns, exploiting properties of B-spline basis functions. The solution of such systems is, typically, a two-manifold in R^n. To guarantee the topology of the approximated solution in each sub-domain, we provide subdivision termination criteria, based on the (known) topology of the univariate solution on the domain’s boundary, and the existence of a one-to-one projection of the unknown solution on a two dimensional plane, in R^n. We assume the equation solving problem is regular, while sub-domains containing points that violate the regularity assumption are detected, bounded, and returned as singular locations of small (subdivision tolerance) size. This work extends (and makes extensive use of) topological guarantee results for systems with zero and one dimensional solution sets. Test results in R^3 and R^4 are also demonstrated, using error-bounded piecewise linear approximations of the two-manifolds.

  • Robust Probabilistic Inference

    דובר:
    Yishay Mansour - Colloquium Lecture
    תאריך:
    יום שלישי, 4.11.2014, 14:30
    מקום:
    חדר 337-8 טאוב.
    קישור:
    http://www.cs.technion.ac.il/~colloq/20141104_14_30_Mansour.html
  • When Machines Dominate Humans: The Challenges of Mining and Consuming Machine-generated Web Mail

    דובר:
    Yoelle Maarek - Colloquium Lecture
    תאריך:
    יום שלישי, 11.11.2014, 14:30
    מקום:
    חדר 337-8 טאוב.
    קישור:
    http://www.cs.technion.ac.il/~colloq/20141111_14_30_Maarek.html
  • The Axiomatic Approach and the Internet

    דובר:
    Moshe Tennenholtz - Colloquium Lecture
    תאריך:
    יום שלישי, 18.11.2014, 14:30
    מקום:
    חדר 337-8 טאוב.
    קישור:
    http://www.cs.technion.ac.il/~colloq/20141118_14_30_Tennenholz.html
  • The Cryptographic Lens

    דובר:
    Shafi Goldwasser - Colloquium Lecture
    תאריך:
    יום שלישי, 9.12.2014, 14:30
    מקום:
    חדר 337-8 טאוב.
    קישור:
    http://www.cs.technion.ac.il/~colloq/20141209_14_30_Goldwasser.html