1. Fall 2016 Indoor IM Soccer Championship Final - Grad:Faculty:Staff (November 21, 2016)

    44:31

    from PackTV Added 1,088 0 0

    The IM indoor soccer final between G-Killers and Galois. With PackTV, NC State sports is within your grasp. Our broadcasts and original programing will get you closer to varsity, club and intramural…

    + More details
    • Mobile Roots of Trust: The Next Step in Mobile Security

      03:40

      from Deep Sky Added 207 4 0

      Mobile roots of trust provides a mechanism to not only have a secure device, but to prove it. We had the pleasure collaborating with Galois to educate viewers about mobile roots of trust. Our…

      + More details
      • Symmetries of a tetrahedron

        01:24

        from Astrocadia Added 6 0 0

        A short I created for a presentation on Galois Theory.

        + More details
        • Galois - O QUe é ser Melhor?

          00:30

          from Astronautas Filmes Added 56 1 0

          Direção: Rodrigo (Digão) Áudio: Astronáudio Astronautas Filmes

          + More details
          • A Mundial

            00:15

            from Astronautas Filmes Added 43 0 0

            Direção: Frederico Paiva Imagens: Hugo Edição e Finalização: Ronald Veiga Áudio: Astronáudio Astronautas Filmes

            + More details
            • ICE FACTORY 2014 -- Meet the artists from GALOIS

              01:51

              from New Ohio Theatre Added 78 0 0

              PART OF ICE FACTORY 2014 Written by Sung Rno & Aaron Jones Directed by Victor Maog Produced by Second Generation Productions July 16-19 New Ohio Theatre http://www.newohiotheatre.org/icefactory2014.htm

              + More details
              • PME et grandes entreprises

                05:00

                from La Fabrique de l'Industrie Added 2 0 0

                Troisième séance des Entretiens de La Fabrique de l'industrie. Jean-Louis Beffa, Louis Gallois et Jean-Noël de Galzain livrent leurs témoignages sur les collaborations…

                + More details
                • Parametricity, Quotient Types, and Theorem Transfer

                  50:59

                  from Galois Video Added 171 1 0

                  abstract: A polymorphic function may be instantiated at many different types; if the function is parametrically polymorphic, then all of its instances must behave uniformly. Reynolds' parametricity…

                  + More details
                  • Automatic Function Annotations for Hoare Logic

                    47:37

                    from Galois Video Added 362 1 0

                    abstract: Formal verification can provide a high degree of assurance for critical software, but can come at the cost of large artefacts that must be maintained alongside it. When using an interactive…

                    + More details
                    • GALOIS

                      00:30

                      from Astronautas Filmes Added 272 0 0

                      Cliente: Galois Agencia: Idea Propaganda Direção: Frederico Paiva Auxiliar Direção: Frederico Fernandes Fotografia: André Macedo Montagem: Maycon Lucas Color:…

                      + More details

                      What are Tags?

                      Tags

                      Tags are keywords that describe videos. For example, a video of your Hawaiian vacation might be tagged with "Hawaii," "beach," "surfing," and "sunburn."