or cancel
  1. Destroyer - Bye bye


    from Merge Records / Liked

    21.3K Plays / / 9 Comments

    Director: David Galloway Director of Photography: Liam Mitchell Producers: David Galloway & David Ehrenreich Production Company: Border Patrol Films

    + More details
    • Beam Drop - Chris Burden


      from Fabiano Waewell / Liked

      Apple Color Editing and Color Grading Direção: Pablo Lobato http://www.canalcontemporaneo.art.br/saloesepremios/archives/003504.html#1

      + More details
      • Property Directed Reachability


        from Galois Video / Liked

        431 Plays / / 0 Comments

        abstract: Last spring, in March 2010, Aaron Bradley published the first truly new bit-level symbolic model checking algorithm since Ken McMillan’s interpolation based model checking procedure…

        + More details
        • The Strategy Challenge in Computer Algebra


          from Galois Video / Liked

          391 Plays / / 0 Comments

          abstract: In automated deduction, strategy is a vital ingredient in effective proof search. Strategy comes in many forms, but the key is this: user-specifiable adaptations of general reasoning mechanisms…

          + More details

          Browse Likes

          Dejan Jovanović

          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