Seminars

*Abstract*

Abstract not available

Metastable failures refer to a class of catastrophic system failures that cause a permanent, self-sustaining overload of the impacted system.

In my last talk (https://talks.cam.ac.uk/talk/index/228844), I introduced the criterion of deterministic neural reasoning, the method of reasoning through model construction and inspection, and proposed a novel neural network, Sphere Neural Network (SphNN), which reasons syllogistic statements by constructing and inspecting

A super-linear lower bound for the iteration number of the Weisfeiler-Leman algorithm

Abstract not available

Abstract not available

Abstract not available

As single-core performance has reached its limit, exploiting the peak performance of heterogeneous accelerators and specialized instructions has become crucial in many applications.

*Abstract*