or cancel
  1. Property Directed Reachability


    from Galois Video / Liked

    465 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

      402 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
      • 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
        • Destroyer - Bye bye


          from Merge Records / Liked

          21.6K Plays / / 9 Comments

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

          + 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