Mathematical Knowledge Transfer
The Smith Institute works with the London Mathematical Society to produce a series of Knowledge Transfer Reports.
The LMS-Smith Knowledge Transfer Reports are an initiative that is coordinated jointly by the Smith Institute and the Computer Science Committee of the LMS.
The reports are being produced as an occasional series, each one addressing an area where mathematics and computing have come together to provide significant new capability that is on the cusp of mainstream industrial uptake.
They are written by senior researchers in each chosen area, for a mixed audience in business and government. The reports are designed to raise awareness among managers and decision-makers of new tools and techniques, in a format that allows them to assess rapidly the potential for exploitation in their own fields, alongside information about potential collaborators and suppliers.
Papers in the series so far:
- Managing Risk in the Modern World.
Applications of Bayesian Networks.
By Norman Fenton and Martin Neil
- The GPU Computing Revolution.
From Multi-Core CPUs to Many-Core Graphics Processors.
By Simon McIntosh-Smith
- Problem Solving for the 21st Century.
Efficient Solvers for Satisfiability Modulo Theories.
By Clark Barrett, Daniel Kroening and Tom Melham
- Quantitative Verification.
Formal Guarantees for Timeliness, Reliability and Performance.
By Gethin Norman and David Parker