A tool called AI-Newton can derive scientific laws from raw data, but is some way from developing human-like reasoning.

Abstract: In this paper we describe a class of cryptographic guess-and-determine attacks which is based on the notion of a linearizing set. A linearizing set-based ...

Abstract: The linear–quadratic mean field social control problem is studied in a large-population system with heterogeneous agents following the direct approach. A graph is introduced to represent the ...

Under the influence of global warming, the Arctic is transitioning from a state dominated by multi-year thick ice to a "New ...