Software
Formal systems verification, which mathematically proves that code is secure in all circumstances, is a relatively new technology. Software is getting more complex and harder to get right using traditional software testing ...
Oct 30, 2023
0
12
Software
Screen readers, which convert digital text to audio, can make computers more accessible to many disabled users—including those who are blind, low vision or dyslexic. Yet slideshow software, such as Microsoft PowerPoint ...
Oct 30, 2023
0
15
Computer Sciences
Crowdsourcing provides an effective and low-cost way to collect labels from crowd workers. Due to the lack of professional knowledge, the quality of crowdsourced labels is relatively low. A common approach to addressing this ...
Oct 30, 2023
0
3
Energy & Green Tech
Led by Fraunhofer ISI, the BOLD project provided scientific support accompanying three field trials and 12 other research projects on electric trucks powered by overhead lines. Together with ifeu and Öko-Institut, Fraunhofer ...
Oct 30, 2023
0
5
Security
As technology continues to advance, the likelihood of malevolent attacks and subsequent failures on society's critical infrastructures increases. Blackouts, water shortages, transport collapses—these potential threats to ...
Oct 30, 2023
0
1
Business
Sam Bankman-Fried, founder of the collapsed cryptocurrency exchange FTX, faced a tough cross-examination on Monday, with US prosecutors chipping away at his denials of committing massive fraud.
Oct 30, 2023
0
1
Automotive
A wave of strikes that disrupted the three largest US automakers for six weeks looked to have been finally resolved Monday, as the auto workers union reached a tentative agreement with holdout General Motors.
Oct 30, 2023
0
6
Machine learning & AI
President Joe Biden issued an executive order Monday on regulating artificial intelligence, aiming for the United States to "lead the way" in global efforts to manage the technology's risks.
Oct 30, 2023
0
3
Business
Testifying in the biggest U.S. antitrust case in a quarter century, Google CEO Sundar Pichai defended his company's practice of paying Apple and other tech companies to make Google the default search engine on their devices, ...
Oct 30, 2023
0
9
Security
With the proliferation of computationally intensive machine-learning applications, such as chatbots that perform real-time language translation, device manufacturers often incorporate specialized hardware components to rapidly ...
Oct 30, 2023
0
39
