Software

A face-recognition system that can identify people even if they are wearing a face mask covering their nose and mouth is discussed in the International Journal of Computational Vision and Robotics. The new system uses biometrics from around the eyes and forehead.... Read more

Model checking helps automatically verify whether hardware and software systems satisfy specified requirements. It has become an important formal verification technique, but two major challenges remain: state-space explosion, which limits the size of systems that can be checked, and long verification times.... Read more

Many software tools, including compilers, optimizers and synthesizers, have a common task at their core. They must transform long, complicated programs into simplified equivalents. These scaled-down programs run faster and on a wider range of hardware but must deliver the same results as their original versions.... Read more

A total of 265 couples have married after meeting on an AI-powered dating app launched by the Tokyo government in 2024 to lift Japan's low birth rate, according to official data.... Read more

In the current issue of the journal Nature Methods, siibra is introduced as a software suite that integrates data from different multimodal sources into a comprehensive atlas of the human brain and makes the data easily accessible—for interactive exploration and automated, reproducible data analyses, simulations and AI applications. siibra is... Read more

The emergence of generative artificial intelligence (GenAI) models, including ChatGPT, Gemini and Copilot, has transformed educational pedagogy by enabling new forms of interaction, reflection and learning. Yet the use of GenAI in software development education often fails to support deep conceptual learning. In a new article, researchers introduce Teachable AI,... Read more

Engineers often use vision-language models to produce new designs, such as airplane or automobile components. To simulate how those components will perform in realistic situations, they'll use tried-and-true computer-aided design (CAD) software to generate 3D models of those designs, which they can put through virtual crash or durability tests.... Read more

During the day, our brain acquires new memories; at night, during sleep, it consolidates the important ones and eliminates the useless ones. A similar principle has been applied to Hopfield networks, one of the classic models of artificial intelligence inspired by the workings of the brain. In 2025, Federico Ricci-Tersenghi... Read more

Many experts refer to hydrogen as "the fuel of the future." It is expected to help decarbonize the global economy in two main ways: Burning it or feeding it into a fuel cell produces storable energy with no carbon emissions, just water. It can also be used in place of... Read more

Developers are increasingly relying on large language models (LLMs) for everyday computing tasks such as fixing bugs, explaining code and automating text-processing tasks like filtering logs.... Read more

The Horizon Europe project Mopo has published a new technical publication dedicated to Spine Toolbox, the open-source workflow management system that supports flexible data, scenario and workflow management for complex modeling environments.... Read more

Artificial intelligence can now generate images that are virtually indistinguishable from real ones. Researchers at the Fraunhofer Institute of Optronics, System Technologies and Image Exploitation IOSB have developed RealOrRender, a tool that not only specifically detects such deepfakes but also explains why an image is classified as real or AI-generated.... Read more

A technology developed at the Technion enables ordinary users to create realistic video clips intuitively, without the need for massive computing resources. Called Time-to-Move (TTM), it offers unprecedented control over the movement of objects and characters in AI-generated videos using nothing more than mouse movements, eliminating the need for complex... Read more

It's game over for fans of discontinued video games after the EU admitted defeat Tuesday and said it cannot stop publishers from making them unplayable.... Read more

How do software developers respond when they come across code they do not intuitively understand? Neuropsychologists have now explored this question by recording brain activity alongside eye movements. A team of psycholinguists then compared the findings with established patterns from natural language processing and identified some surprising parallels. The interdisciplinary... Read more