Research

58 Entries

  • This Week
  • This Month
  • All Time
  • Language(s)
  • Researching with HoloLens (and be awarded Dev Kits and Cash)
  • Research: Contract Checking and Automated Test Generation with Pex
  • MySong: Sing to Your Computer to Write Music
  • Michal Moskal - VCC, The Verifying C Compiler
    22 minutes, 4 seconds
  • AURA, scanning with your phone
  • Intel Projects a Whole New World for Childs Play
  • Wii on PC
    4 minutes, 18 seconds
  • EMIC - Information Overload and Crisis of Choice
    20 minutes, 54 seconds
  • TechFest: Commute UX: The next level of in-car infotainment
    6 minutes, 50 seconds
  • Directed Sound: The Personal Audio Space