1. Access Device: I Talk 2

    03:41

    from District 75 New York City / Added

    175 Plays / / 0 Comments

    How do you get information if you can't read? Or if you can't, physically, turn a page? How do you communicate if you can't speak or use your hands to write or type? Various devices provide access to information or provide a voice for students who would be academically or socially isolated without technical assistance. This tutorial offers some direction and some strategies when you need to put a device into action.

    + More details
    • Access Device: Bookworm

      16:26

      from District 75 New York City / Added

      168 Plays / / 0 Comments

      How do you get information if you can't read? Or if you can't, physically, turn a page? How do you communicate if you can't speak or use your hands to write or type? Various devices provide access to information or provide a voice for students who would be academically or socially isolated without technical assistance. This tutorial offers some direction and some strategies when you need to put a device into action. Susan Abdulezer Video Producer District 75 NYC Department of Education

      + More details
      • The Rubinius Virtual Machine

        01:09:36

        from Galois Video / Added

        1,805 Plays / / 0 Comments

        abstract: Ruby is a highly dynamic, strongly-typed programming language created by Yukihiro Matsumoto in 1993 and first released in 1995. It borrows from Smalltalk, Lisp, and Perl. Ruby has single inheritance, mixins, and syntax features like omission of parentheses that make it well-suited for embedded domain-specific languages. Ruby was popularized by the Ruby on Rails web development framework. The Rubinius project began as an implementation of the Ruby programming language roughly following the design of the Smalltalk-80 virtual machine described in the Blue book (“Smalltalk-80: the language and its implementation” by Adele Goldberg and David Robson). We have extended the initial implementation based on modern research in virtual machines, garbage collectors, and just-in-time (JIT) compilers. Rubinius currently features a stack-oriented opcode virtual machine, generational garbage collector, and LLVM-based JIT compiler. Most of the Ruby core library and the bytecode compiler are written in Ruby. We will examine the main features of Rubinius and take a deeper dive into some aspects of the virtual machine and JIT compiler. We will also look at possible future work to address memory load, startup, and suitability for using Rubinius in Android phones. If there is time and interest, we will discuss implementing programming languages besides Ruby on Rubinius. bio: Brian Ford began contributing to the Rubinius project in December 2006 shortly after the creator, Evan Phoenix, announced the project. He is presently employed by Engine Yard, Inc to work full-time on Rubinius. Brian is keenly interested in languages of all kinds, from mathematics and various programming languages to Spanish and Japanese. He has primarily used C/C++, Tcl, Python, and Ruby in Geographic Information Systems, physical security systems monitoring and web application development. He has a B.Sc. in Mathematics from Portland State University.

        + More details
        • Formal Methods Applied to Control Software

          01:04:11

          from Galois Video / Added

          452 Plays / / 0 Comments

          abstract: Critical cyber-physical systems, such as avionics, typically have one or more components that control the behavior of dynamical physical systems. The design of such control systems is well understood with mature and sophisticated foundations, but control engineers typically only work on Matlab/Simulink models, ignoring the implementation all together. I will speak about an ongoing collaboration with Prof. Eric Feron of Georgia Tech aimed at narrowing this gap. I will briefly describe the design of a Matlab to C translator being written in Haskell and verified using the Frama-C tool and the Prototype Verification System (PVS). In addition, I will give a survey of our efforts in enhancing PVS’ capabilities in this area by building a Linear Algebra library targeted at the math used by control engineers. bio: Alwyn Goodloe obtained his B.Sc. in Computer Science from Old Dominion University in 1985 and an M.Sc. in Mathematics from George Mason University in 1992. He worked for fourteen years in the software industry as a software engineer, database administrator, Unix system administrator, and technologist. In 1999, he returned to graduate school to study at the University of Pennsylvania, where he obtained a Ph.D. in Computer and Information Science in 2008. At Penn he conducted research in the area of computer and network security. He is currently a research scientist at the National Institute of Aerospace in Hampton, Virginia. At NIA his research focus has been formal methods applied to high-reliable systems such as avionics.

          + More details
          • BayCare Clinic - Coronary

            00:33

            from Launch Film / Added

            200 Plays / / 0 Comments

            BayCare Clinic Commercial. Production Company: Launch Film

            + More details
            • BayCare Clinic - Tech Talk

              00:32

              from Launch Film / Added

              163 Plays / / 0 Comments

              BayCare Clinic Commercial - Production Company: Launch Film

              + More details
              • GGD Tech Discussion: The Evolving Reader

                11:58

                from jes lowry / Added

                20 Plays / / 0 Comments

                Girl Geek Dinners Melbourne invited Lisa Lang, SitePoint and Venessa Paech, Lonely Planet to lead a discussion on tech. We broadcasted the entire event on LiveStream and asked everyone to participate by contributing their own review of tech in 2010 and predictions for 2011. Interestingly, the topic was broad and the participants were free to cover any aspect of tech- they choose to focus on the cultural and sociological impact of current digital technologies. In this part of the discussion the room discussed the ways in which reading is evolving - in part, due to the Internet, but also because behaviour is changing. App culture and info snacking has established the need for new technologies- such as the iPad to help us do more with traditional content.

                + More details
                • Tech Talk Volume 2 Ep. 1

                  04:19

                  from downdays TV / Added

                  102 Plays / / 0 Comments

                  The Tech Talk goes into a new seaon. Have here a look at episode 1.

                  + More details
                  • Friday Tech Talk - Twitter Oauth

                    28:11

                    from Skookum Digital Works / Added

                    88 Plays / / 0 Comments

                    Corey Ballou talks to us about the Twitter OAUTH API and how to build a simple application using a framework to abstract the calls. Grab the source code and see a demo here: http://labs.skookum.com/demos/twitter/

                    + More details
                    • Copilot: A Hard Real-Time Runtime Monitor

                      53:48

                      from Galois Video / Added

                      1,238 Plays / / 0 Comments

                      abstract: We address the problem of runtime monitoring for hard real-time programs—a domain in which correctness is critical yet has largely been overlooked in the runtime monitoring community. We describe the challenges to runtime monitoring for this domain as well as an approach to satisfy the challenges. The core of our approach is a language and compiler called Copilot. Copilot is a stream-based dataflow language that generates small constant-time and constant-space C programs, implementing embedded monitors. Copilot also generates its own scheduler, obviating the need for an underlying real-time operating system. This talk will include fun pictures and videos. bio: Lee Pike has worked in Research & Development at Galois, Inc. since 2005. His primary area of research is dependable embedded systems, including both safety-critical and security-critical systems. Previously, he was a research scientist with the NASA Langley Formal Methods Group. He has a Ph.D in Computer Science from Indiana University. He has a Best Paper award from Formal Methods in Computer-Aided Design (FMCAD’2007), and service includes being on the program committees of FMCAD and Interactive Theorem Proving. His publications and other information can be found at http://www.cs.indiana.edu/~lepike.

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