The LMS-KTN Impact Acceleration Papers (previously the LMS-KTN Knowledge Transfer Papers) are are an initiative coordinated jointly by the IM-KTN and the Computer Science Committee of the LMS. They are 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 impact and exploitation in their own fields, alongside information about potential collaborators and suppliers.
Published Impact Acceleration Papers
The reports can be downloaded below.
- Managing Risk in the Modern World: Applications of Bayesian Networks (authors: Norman Fenton and Martin Neil)
- The GPU Computing Revolution: From Multi-Core CPUs to Many-Core Graphics Processors (author: Simon McIntosh-Smith)
- Problem Solving for the 21st Century: Efficient Solvers for Satisfiability Modulo Theories (authors: Clark Barrett, Daniel Kroening and Tom Melham)
- Quantitative Verification: Formal Guarantees for Timeliness, Reliability and Performance (authors: Gethin Norman and David Parker)
Further reports are in development, and we will be making copies of these available as they are produced. Suggestions for suitable topics of future reports are warmly welcomed by the committee, and authors will be awarded an honorarium. For more information and/or to enquire about writing a report, contact Katherine Wright, Society & Research Officer: firstname.lastname@example.org.
Submitted by Donald Eastwood on 26 October, 2011 14:49