Category Technology/Electronics

A Northwestern University-led team of researchers has developed a new fuel cell that harvests energy from microbes living in dirt.

About the size of a standard paperback book, the completely soil-powered technology could fuel underground sensors used in precision agriculture and green infrastructure. This potentially could offer a sustainable, renewable alternative to batteries, which hold toxic, flammable chemicals that leach into the ground, are fraught with conflict-filled supply chains and contribute to the ever-growing problem of electronic waste.

To test the new fuel cell, the researchers used it to power sensors measuring soil moisture and detecting touch, a capability that could be valuable for track...

Your daily to-do list is likely pretty straightforward: wash the dishes, buy groceries, and other minutiae. It’s unlikely you wrote out “pick up the first dirty dish,” or “wash that plate with a sponge,” because each of these miniature steps within the chore feels intuitive. While we can routinely complete each step without much thought, a robot requires a complex plan that involves more detailed outlines.

MIT’s Improbable AI Lab, a group within the Computer Science and Artificial Intelligence Laboratory (CSAIL), has offered t...

Over the past decades, electronics engineers have created devices of various shapes and with increasingly sophisticated designs. This includes electronics that can be folded onto themselves, such as foldable phones, along with various other compressible devices.

Researchers at Ajou University and other institutes in South Korea recently introduced a new design for developing crumple-recoverable electronics, or in other words, electronics that can recover their original shape after being crumpled or compressed onto themselves to reduce their size...

A team of computer scientists led by the University of Massachusetts Amherst recently announced a new method for automatically generating whole proofs that can be used to prevent software bugs and verify that the underlying code is correct.

This new method, called Baldur, leverages the artificial intelligence power of large language models (LLMs), and when combined with the state-of-the-art tool Thor, yields unprecedented efficacy of nearly 66%. The team was recently awarded a Distinguished Paper award at the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering.

“We have unfortunately come to expect that our software is buggy, despite the fact that it is everywhere and we all use it every day...