Mathematical verification tests if software runs as advertised
When it comes to security, what you don't know can hurt you.
Sep 28, 2018
0
191
Software
Sorted by rank
Software
What makes an educational video game work well?
To succeed at "Lure of the Labyrinth," a video game created by designers in MIT's Education Arcade, players rescue pets from an underground lair inhabited by monsters. In so doing, they solve mathematical puzzles, decipher ...
Sep 20, 2018
0
101
Software
App that will extend your smartphone battery life
New research out of the University of Waterloo has found a novel method to extend the battery life of smartphones for up to an hour each day.
Aug 15, 2018
0
141
Software
OpenAI Five wins a best-of-three, looks to International next
What can happen if computer-controlled bots go up against a team of top human players? The formidable playing team of OpenAI Five managed to defeat human teams at Dota 2 recently, and made a lot of news doing so.
Software
Google Contact Center AI could lighten load of pressures and problems
Having to deal with automated assistance during call center exchanges is not fun. How is that for an understatement. We tried to dive as gently as we could.
Software
Britannica Insights will help searchers cut through noise for good answers
The next time your niece asks you where 18 things come from, you may not need to worry over the quality of your answer that was snatched from a quick keyboard tap. Not if you download an extension. A regarded information ...
Software
Hey Alexa: Amazon's virtual assistant becomes a personal assistant to software developers
UBC computer scientists have turned Amazon Alexa into a tool for software engineers, tasking the virtual assistant to take care of mundane programming tasks, helping increase productivity and speed up workflow.
May 24, 2018
0
136
Software
First-of-its-kind software quickly automates sports analytics
New software designed by Rice University students working in the Oshman Engineering Design Kitchen and Liu Idea Lab for Innovation and Entrepreneurship (Lilie) can provide automated sports analytics in an hour.
May 4, 2018
0
151
Software
Researchers develop an app for crowdsourced exercise plans, which rival personal trainers in effectiveness
Exercise can prevent chronic disease, boost mental health and elevate quality of life. But exercise can also be an expensive undertaking—especially for newcomers.
May 2, 2018
0
95
Software
Bento browser makes it easier to search on mobile devices
Searches involving multiple websites can quickly get confusing, particularly when performed on a mobile device with a small screen. A new web browser developed at Carnegie Mellon University now brings order to complex searches ...
Apr 25, 2018
0
95
