Browsing Category
Formal Sciences
Geometric stabilisation via p-adic integration
Michael Groechenig discusses a new proof of Ngô's Geometric Stabilisation Theorem, which implies the Fundamental Lemma
Residually finite rationally solvable groups and virtual fibring
Dawid Kielak discusses his new proof, which in particular reproves the analogous result of Ian Agol for fundamental groups of 3-manifolds.
To Allow, or Deny?
Panagiotis Andriotis discusses how installed apps on Android devices are able to employ the systems’ public assets and extract users’…
Exact Inference with Approximate Computation for Differentially Private Data via Perturbations
Ruobin Gong discusses approximate Bayesian computation, a practical suite of methods to simulate from approximate posterior distributions of…
An Aristotelian Realist Philosophy of Mathematics
Mathematics is as much a science of the real world as biology is. It is the science of…
Irrational Exuberance: Correcting Bias in Probability Estimates
Gareth James discusses the common setting where one observes probability estimates for a large number of events, such…
Fake News in an Era of Social Media: Tracking Viral Contagion
Over the last few years, social media has expanded to become a key platform for news dissemination and…
Entropy Growth in the Central Limit Theorem
Keith Ball discusses how the central limit theorem is analogous to the second law of thermodynamics; in that…
The Hiring Gambit: In Search of the Twofer Data Scientist
Radu Craiu discusses generating new methods motivated by cross-disciplinary collaborations between scientists and statisticians.
A novel bibliometric index with a simple geometric interpretation
Researchers from Birkbeck’s Department of Computer Science and Information Systems have proposed an innovative new index to measure…
and then