Computer Sciences
Reliable navigation, place recognition and object interaction require autonomous robots to maintain precise environmental maps. Semantic simultaneous localization and mapping (SLAM) adds meaning to a robot's map by representing ...
Sep 3, 2026
0
6
Computer Sciences
Large language models (LLMs), the artificial intelligence systems underpinning the functioning of ChatGPT, Gemini and other similar conversational agents, are now widely used worldwide. In addition to processing, interpreting ...
Computer Sciences
Researchers from Skoltech and Sberbank's Center for Practical Artificial Intelligence have proposed a new method, TOHA, for detecting hallucinations in large language models operating in retrieval-augmented generation (RAG) ...
Sep 2, 2026
0
10
Computer Sciences
Computer scientists worldwide have been developing a wide range of artificial intelligence (AI) systems. Some of these systems rely on an individual AI agent, while others consist of multiple interacting agents that exchange ...
Computer Sciences
Modern computational tools let scientists explore huge numbers of possible molecules, materials and chemical reactions. But testing every combination in the lab is slow and costly. So how do researchers choose the best "recipe" ...
Sep 2, 2026
0
15
Computer Sciences
Researchers from the University of Warwick report that how faithfully we can build a "digital twin" of a human brain depends not only on computing power but fundamentally on how much of the living brain we can measure, validate ...
Sep 1, 2026
0
26
Computer Sciences
By combining two complementary clues—camera geometry and visual appearance—researchers at the Institute of Science Tokyo, Japan, developed a new approach for preserving identities across multiple cameras. The method uses ...
Aug 28, 2026
0
11
Computer Sciences
For decades, chess has served as a laboratory for studying intelligence and decision-making. It is well established that today's chess engines can outperform even the strongest grandmasters. But far less is understood about ...
Aug 27, 2026
0
35
Software
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, ...
Aug 26, 2026
0
5
Computer Sciences
Next-generation science experiments will collect more data than ever—so much so that they'll surpass the capabilities of current data storage and analysis methods. To help, researchers at the Department of Energy's SLAC National ...
Aug 24, 2026
0
7
