Seminars

Every second, over a thousand ARM microprocessors are manufactured; in total, more than 320 billion have been shipped - far exceeding the estimated 120 billion humans who have ever lived. Given that most people have two arms and now carry around 40 ARMs, this is a no-contest “arms race” won by silicon.

I will introduce the All-atom Diffusion Transformer (ADiT), a unified generative modelling architecture capable of jointly modelling both periodic crystals and non-periodic molecular systems.

Misogyny and domestic abuse are old problems, but tech companies have enabled these harms to grow and proliferate on their platforms in new forms, such as social media harassment, cyberstalking, and deepfake intimate image abuse.

Abstract: Mobile computing technologies have advanced substantially over the last two decades. Today, the smart devices enabled by economies of scale, incorporate high-quality wireless sensors such as acoustic and RF sensors and the trend shows an increase in both the quantity and quality of these sensors.

Abstract to be confirmed

Link to join virtually: https://cam-ac-uk.zoom.us/j/87421957265

Alive2 is a practical oracle for determining whether a transformation on LLVM IR is a refinement -- that is, whether it is valid under the rules for LLVM optimizations.

Given two algebraic theories S and T, their commuting tensor product is a new algebraic theory in which the operations of S and T are required to commute with each other. The analogue of this operation for symmetric operads is the famous Boardman-Vogt tensor product.

NOTE THE UNUSUAL TIME FOR THIS SEMINAR

Abstract not available

Abstract not available