or cancel
  1. FOCS Lecture 6 : Number representations

    01:17:21

    from Dan Ghica Liked 216 1 0

    Foundations of CS part I University of Birmingham 2012-2013

    + More details
    • What is ... P vs NP?

      44:36

      from Berlin Mathematical School Liked 188 1 0

      This is Jannik Matuschke's talk "What is ... P vs NP?" at the "What is ...?" seminar. The talk was given on Friday, February 11, 2011, 12:45pm at the BMS Loft at Urania. ABSTRACT: Complexity…

      + More details
      • David Laing - Laws and Equations and Coq! Oh, My! - BFPG 13-03-26

        50:38

        from Rob Manthey Liked 321 2 0

        http://www.bfpg.org/events/96368302 Laws and Equations and Coq! Oh, My! (or More Equational Reasoning) - David Laing Haskell isn't able to determine whether Monoid and Functor instances…

        + More details
        • On profinite groups

          44:12

          from The IRMACS Centre Liked

          PIMS / IRMACS 10th Anniversary Lecture Series: "On profinite groups" Apr 30 2007 Efim Zelmanov Infinite profinite groups encapture asymptotic properties of arrays of finite groups.…

          + More details
          • Algebra and Computation - Chris Umans, California Institute of Technology

            37:00

            from Kavli Frontiers of Science Liked 115 2 0

            Local Decoding of Polynomials and its Application Chris Umans, California Institute of Technology Error-correcting codes lie at the heart of a number of powerful results in Computer Science. Among…

            + More details
            • Cryptography and Computer Security - Anna Lysyanskaya, Brown University

              21:57

              from Kavli Frontiers of Science Liked 328 1 0

              Cryptography and Computer Security Anna Lysyanskaya, Brown University Cryptography is the mathematical study of how to protect communication and computation against adversarial behavior. Unlike…

              + More details
              • Anatomy of the HIV Virus - CGChallenge submission

                01:47

                from Chris Harkins Liked 10K 71 4

                Full text from the submission: I decided to focus this animation on the new virus model structure. Revealing the components layer by layer, from the external proteins down to the RNA core, I wanted…

                + More details
                • Anatomy of Message Passing, part 2

                  49:48

                  from Bartosz Milewski Liked 354 5 0

                  In the second part of the presentation I discuss the goals and the implementation of a C++ message-passing library which is based on Events and Channels. What makes it stand apart from other such…

                  + More details
                  • Anatomy of Message Passing, part 1

                    52:27

                    from Bartosz Milewski Liked 1,019 7 0

                    A presentation given by Bartosz Milewski at the Northwest C++ Users Group, May 19, 2010. This is part 1, in which I discuss various message passing models, in particular Caml's channels and events.…

                    + More details
                    • Haskell and C++ Template Metaprogramming

                      01:11:09

                      from Bartosz Milewski Liked 2,312 12 1

                      This is a presentation I gave to the Northwest C++ Users Group in October 2009. I show how useful the knowledge of functional programming is to C++ Template Metaprogramming. It's a parallel tutorial…

                      + More details
                      • Understanding C++ Concepts through Haskell Type Classes, Part II

                        38:35

                        from Bartosz Milewski Liked 293 1 0

                        Part II of the presentation given by Bartosz Milewski at the Northwest C++ Users Group, Nov 2010. The speaker introduces bits of Haskell to C++ programmers and shows the parallels between type classes…

                        + More details
                        • Understanding C++ Concepts through Haskell Type Classes, Part I

                          51:55

                          from Bartosz Milewski Liked 768 4 1

                          Part I of the presentation given by Bartosz Milewski at the Northwest C++ Users Group, Nov 2010. The speaker introduces bits of Haskell to C++ programmers and shows the parallels between type classes…

                          + More details

                          Browse Likes

                          Marco Piedra Venegas

                          Likes are an easy way to keep track of the videos you enjoy. Use likes to bookmark videos you want to watch again and again and again and again.

                          Also Check Out