How Stargazing Became a Numbers Game
People have long thought of astronomy as the science of …
NASA's WISE Spacecraft Discovers Most Luminous Galaxy in Universe
A remote galaxy shining with the light of more than …
Wolfram's ID Project Launch Touts ImageIdentify Function
Wolfram Research's artificial intelligence-based Language Identification Project is equipped with …
St. Petersburg National Research University ITMO Wins 2015 ACM-ICPC World Finals
ITMO becomes the first team to solve all 13 problems in the ACM-ICPC World Finals!
The ACM-ICPC World Finals: How to Watch and Engage from Home
A guide to following the ACM International Collegiate Programming Contest from afar.
Day Two at the ACM-ICPC World Finals
A look at the second day of the ACM-ICPC World Finals in Morocco.
As Congress Haggles Over Patriot Act, We Answer 6 Basic Questions
The rest of the month is setting up to be pretty dramatic in the Senate.
An Interview with U.S. Chief Technology Officer Megan Smith
Vinton G. Cerf
Recently appointed U.S. CTO Megan Smith discusses her evolving governmental role.
Created Computed Universe
Computing crosses cosmology and makes the case for agnosticism.
The Science of Managing Data Science
Lessons learned managing a data science research team.
Reliable Cron Across the Planet
Štěpán Davidovič, Kavita Guliani
. . . or: How I stopped worrying and learned to love time.
There Is No Now
Problems with simultaneity in distributed systems.
Technical Perspective: Virtual Reality in Your Living Room
The authors of IllumiRoom investigate what AR/VR could look like in a truly social environment — the living room.
IllumiRoom: Immersive Experiences Beyond the TV Screen
Brett R. Jones, Hrvoje Benko, Eyal Ofek, Andrew D. Wilson
IllumiRoom is a proof-of-concept system that surrounds a television with projected light, bringing video games, and film experiences...
Technical Perspective: Programming Multicore Computers
"Can Traditional Programming Bridge the Ninja Performance Gap for Parallel Computing Applications" advocates an appealing division...
Evaluation Without Ground Truth in Social Media Research
Reza Zafarani, Huan Liu
Even without it, some ingenious methods can be developed to help verify users' social media behavioral patterns.
Colored Petri Nets: A Graphical Language for Formal Modeling and Validation of Concurrent Systems
Kurt Jensen, Lars M. Kristensen
Formal executable models enable systematic evaluation of system designs prior to implementation and deployment.
Turing Lecture: The Computer Science of Concurrency: The Early Years
Leslie Lamport is the recipient of the 2013 ACM A.M. Turing Award.
Future Internets Escape the Simulator
Mark Berman, Piet Demeester, Jae Woo Lee, Kiran Nagaraja, Michael Zink, Didier Colle, Dilip Kumar Krishnappa, Dipankar Raychaudhuri, Henning Schulzrinne, Ivan Seskar, Sachin Sharma
Future Internet testbeds permit experiments not possible in today's public Net or commercial cloud services.
Optimization as Motion Selection Principle in Robot Action
Jean-Paul Laumond, Nicolas Mansard, Jean Bernard Lasserre
Robots move to act. While actions operate in a physical space, motions begin in a motor control space. So how do robots express...
Security Challenges for Medical Devices
Johannes Sametinger, Jerzy Rozenblit, Roman Lysecky, Peter Ott
Implantable devices, often dependent on software, save countless lives. But how secure are they?