or cancel
  1. Destroyer - Bye bye

    03:01

    from Merge Records / Liked

    21.1K 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

      05:25

      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

        01:04:28

        from Galois Video / Liked

        399 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

          52:19

          from Galois Video / Liked

          379 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