1. Franco Bagnoli

    03:35

    from The Awareness Initiative Added 22 0 0

    Franco Bagnoli is a researcher in physics, in the department of Energy, University of Florence. He is the co-head of the Laboratory of Physics of Complex Systems (FiSiCo). He is also a member of…

    + More details
    • Computer Science Day 2010: Secure Two-Party Computation

      15:56

      from cs.au.dk Added 77 0 0

      Associate professor Jesper Buus Nielsen from The Department of Computer Science at Aarhus University tells about his research about "Secure Two-Party Computation". The lecture was held at…

      + More details
      • Verifying seL4-Based Systems

        55:53

        from Galois Video Added 334 1 0

        abstract: In 2009 the NICTA L4.verified project completed the machine-checked correctness proof of the seL4 microkernel. The natural next step is then to use this verified kernel to construct verified…

        + More details
        • Educed - Engineering Made Better

          02:19

          from André Passos Added 1,139 0 0

          Educed is company created to exploit the application of formal methods for the development of safe and reliable software systems. Educed is motivated by the strong belief that mathematically-based…

          + More details
          • Abstracción para Especificaciones DynAlloy

            38:14

            from charlas@cs.famaf Added 74 0 0

            DynAlloy es una extensión del lenguaje de especificación Alloy, que permite modelar de manera más apropiada propiedades de ejecución de los sistemas de software. DynAlloy…

            + More details
            • graphviz2dtrace demo: Node.js + PostgreSQL

              02:55

              from Carl Martin Rosenberg Added 20 0 0

              Demonstration of graphviz2dtrace (https://github.com/cmrosenberg/graphviz2dtrace)

              + More details
              • Using Dezyne to develop a Robocup Football Robot by Fontys Hogeschool ICT

                19:39

                from Verum CEO Added 6 0 0

                Wim Hendrikson describes how Fontys is using multiple generations of students to develop a Robocup robot using Dezyne

                + More details
                • Verification of Galois Field Multipliers

                  01:16:26

                  from Galois Video Added 479 2 0

                  abstract: Applications in Cryptography require multiplication and exponentiation operations to be performed over Galois fields GF(2^k). Therefore, there has been quite an interest in the hardware…

                  + More details
                  • The Strategy Challenge in Computer Algebra

                    52:19

                    from Galois Video Added 446 7 0

                    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
                    • Dezyne for Safety Critical Medical Devices by Elekta AB (Summary)

                      02:57

                      from Verum CEO Added 22 0 0

                      Elekta (Brachytherapy) descibes their initial experience of applying Dezyne to the development of safe state machines for controling medical devices

                      + 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."