Software

New tool automates the formal verification of systems 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 ...

Internet

Microsoft to offer OpenAI's Dall-E 3 in Bing

Microsoft on Thursday said it would integrate OpenAI's soon to be released Dall-E 3 image creation tool into its Bing search engine, in its latest effort to use artificial intelligence to compete with the almighty Google.

Computer Sciences

Scales and self-checkouts to identify weighted goods faster

A research team from Skoltech and other institutions have pioneered a new fast way to distinguish weighted goods at a supermarket. Unlike existing systems, the algorithm will make neural network training faster when new types ...

Internet

A system to keep cloud-based gamers in sync

Cloud gaming, which involves playing a video game remotely from the cloud, witnessed unprecedented growth during the lockdowns and gaming hardware shortages that occurred during the heart of the COVID-19 pandemic. Today, ...

Electronics & Semiconductors

New technology improves power line performance

Associate Professor of the Practice Dmitry Titov and Research Engineer Klim Volkhov from the Energy Center published laboratory results of assessing the possibility of a frequent reason for power outages in Russia—flashovers ...

Computer Sciences

New tool finds bias in state-of-the-art generative AI model

Text-to-image (T2I) generative artificial intelligence tools are increasingly powerful and widespread tools that can create nearly any image based on just a few inputted words. T2I generative AI can create convincingly realistic ...

page 2 from 11