Researchers have developed an AI method that improves the identification of toxic chemicals -- based solely on knowledge of the molecular structure. The method can contribute to better control and understanding of the ever-growing number of chemicals used in society, and can also help reduce the...

A study describes a new computer algorithm which can be applied to Earth System Models to drastically reduce the time needed to prepare these in order to make accurate predictions of future climate change. During tests on models used in IPCC simulations, the algorithm was on average 10 times faster...

A sensing technology that can assess the quality of components in fields such as aerospace could transform UK industry....

The Takagi--Sugeno (T--S) fuzzy descriptor system offers a promising avenue for controlling non-linear systems but lacks optimal control strategies. Moreover, while robust control methods have been developed, they add additional complexity. To address these limitations, a team of researchers has...

Little progress had been made in solving Ramsey problems since the 1930s. Now, researchers have found the answer to r(4,t), a longstanding Ramsey problem that has perplexed the math world for decades....

A powerful new tool in artificial intelligence is able to predict whether someone is willing to be vaccinated against COVID-19....

Existing ship control systems using Model Predictive Control for Maritime Autonomous Surface Ships (MASS) do not consider the various forces acting on ships in real sea conditions. Addressing this gap, researchers developed a novel time-optimal control method, that accounts for the real wave loads...

When you teach a child how to solve puzzles, you can either let them figure it out through trial and error, or you can guide them with some basic rules and tips. Similarly, incorporating rules and tips into AI training -- such as the laws of physics --could make them more efficient and more...

A new safety-check technique can prove with 100 percent accuracy that a planned robot motion will not result in a collision. The method can generate a proof in seconds and does so in a way that can be easily verified by a human....

Solving arithmetic problems, even simple subtractions, involves mental representations whose influence remains to be clarified. Visualizing these representations would enable us to better understand our reasoning and adapt our teaching methods. A team has now analyzed drawings made by children and...