New tool will make math-heavy research papers easier to view online

A schematic for creating the SciA11y HTML render from a paper PDF. Starting with the raw two-column PDF on the left, S2ORC [24] is used to extract the title, authors,…

NASA flies drones autonomously for air taxi research

An Alta-8 small Unmanned Aircraft System testbed vehicle flies above NASA’s Langley Research Center in Hampton, Virginia. Flying beyond visual line of sight from observers on the ground required special…

Interoperability is the name of the game in the future of traffic, says researcher

Credit: CC0 Public Domain An F-35 fighter plane has 8 million lines of code. A modern car, by comparison, has hundreds of millions of lines of code. The car is…

When deep learning meets active learning in the era of foundation models

Five things to know about the blockbuster GTA games

The next title in the GTA series is widely expected to be the biggest game of the decade. Rockstar Games, the studio behind the blockbuster Grand Theft Auto series, has…

New tool automates the formal verification of systems software

Tang Family Assistant Professor of Computer Science Rongui Gu (left) and Professor of Computer Science Jason Nieh (right). Credit: Columbia Engineering Formal systems verification, which mathematically proves that code is…

‘Pokemon Go’ new Party Play feature adds another reason to team up in real life

Credit: Pixabay/CC0 Public Domain Niantic has always been big on bringing players together when it comes to their games. It’s a key pillar in the design of “Pokemon Go” and…

An app shows how ancient Greek sites looked thousands of years ago. It’s a glimpse of future tech

A man holds up a tablet showing a digitally overlayed virtual reconstruction of the ancient Parthenon temple, at the Acropolis Hill in Athens, Greece on Tuesday, June 13, 2023. Greece…

A divide and conquer approach to leads-to model checking for large-scale systems

Credit: Pixabay/CC0 Public Domain Model checking is one of the most successful computer science achievements in the last few decades. This is why Edmund M. Clarke, E. Allen Emerson, and…

This app shows California gig workers when they can make the most money, and guarantees their income

Credit: Unsplash/CC0 Public Domain Should you drive Uber or Lyft? DoorDash or Grubhub? Instacart or Amazon Flex? This app will tell you which job to work and when—and guarantees your…