or cancel
  1. Destroyer - Bye bye

    03:01

    from Merge Records / Liked

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

        337 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

          346 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