School of Informatics, University of Edinburgh

Archive of sources to corroborate REF Impact Case Studies

The School of Informatics has submitted the following case studies to REF 2014.

  1. Actual Analytics Ltd: automated processing of video data to reduce the use of laboratory animals in scientific research
  2. Automatic detection of defects in multi-threaded enterprise Java codebases
  3. The Moses Machine Translation Toolkit
  4. The Natural Language Toolkit (NLTK)
  5. MilePost GCC and compiler research at Edinburgh
  6. Speech Graphics Ltd: Audio-driven animation
  7. The Tegola Wireless Community Broadband Project
  8. The EnCore Microprocessor and the ArcSim Simulator
  9. Clinical and commercial applications of text-to-speech synthesis technologies
  10. Shaping the XML technologies used to manage the world's data

This website contains an archive of time-stamped copies of web pages which are cited in these case studies. This archive both provides hyperlinks to the current versions of these web pages and provides time-stamped PDF printouts of these web pages dating from the time that the case study was written.


1.  Actual Analytics Ltd: automated processing of video data to reduce the use of laboratory animals in scientific research

References to the research

  1. J.D. Armstrong, D.A. Baker, J.A. Heward, and T.C. Lukins. Sex, flies and no videotape. In Proceedings of the 5th Measuring Behavior Conference, Wageningen, NL, 2005.
  2. J.A. Heward, D.A. Baker, T.C. Lukins, and J.D. Armstrong. flyTracker: real-time analysis of insect courtship. In Proceedings of the 5th Measuring Behavior Conference, Wageningen, NL, 2005
  3. P.A. Crook, T. C. Lukins, J.A. Heward, and J.D. Armstrong. Identifying semi-invariant features on mouse contours. In Proceedings of the British Machine Vision Conference, Leeds, UK, 2008. doi:10.5244/C.22.84
  4. T.C. Lukins, M.A. Dewar, P.A. Crook, J.A. Heward, A.B. Hawcock, and J.D. Armstrong. Automatically determining active investigation in rodents using contour analysis. In Proceedings of the 6th Measuring Behaviour Conference, Wageningen, NL, 2008.
  5. Sheward WJ, Naylor E, Knowles-Barley S, Armstrong JD, Brooker GA, Seckl JR, Turek FW, Holmes MC, Zee PC, Harmar AJ. (2010) Circadian control of mouse heart rate and blood pressure by the suprachiasmatic nuclei: behavioral effects are more significant than direct outputs. PLOS One Mar 22;5(3):e9783. doi:10.1371/journal.pone.0009783
  6. Armstrong JD, Texada MJ, Munjal R, Baker DA and Beckingham KM. (2006) Gravitaxis in Drosophila melanogaster: A forward genetic screen. Genes, Brain and Behavior. 5: 222. DOI: 10.1111/j.1601-183X.2005.00154.x

Sources to corroborate the impact

  1. CRACK IT, the first open innovation platform designed to support research and development which will replace, reduce and refine the use of animals (the 3Rs), http://www.crackit.org.uk (Archive PDF version from August 6, 2013) (Archive screengrab version from August 6, 2013)
  2. Director, Computational Biology, GlaxoSmithKline. acted as an independent scientific advisor on the programme prior to the spinout of Actual Analytics from the School of Informatics.
  3. A serial entrepreneur, founder of six start-up companies and a former Director of the MIT Entrepreneurship Centre — acted as an independent business advisor on the programme prior to the spinout of Actual Analytics from the School of Informatics.
  4. Crack-IT 2011 Challenge Competition winners http://www.crackit.org.uk/crack/2011/challengewinners (Archive PDF version from August 6, 2013) (Archive screengrab version from August 6, 2013)
  5. Actual Analytics Case Study | SMART/SCOTLAND | Scottish Enterprise http://www.scottish-enterprise.com/resources/case-studies/abc/actual-analytics.aspx (Archive PDF version from August 6, 2013)
  6. Actual Analytics Secures £900,000 Investment http://www.tricapital.co.uk/content/news/TRICAP-TweedRenaissanceInvestorsCapital-News-ActualAnalytics.php (Archive PDF version from August 6, 2013) (Archive screengrab version from August 6, 2013)
  7. Actual Analytics Launch World's First Web-Based Behavior Analysis System, http://www.edinburghsciencetriangle.net/news.asp?id=N-10091 (Archive PDF version from August 6, 2013) (Archive screengrab version from August 6, 2013)
  8. FlyTracker video http://www.tissue-atlas.org/dbaker2/index/flytracker.mov (Archive copy of movie from August 6, 2013.)
  9. PhenoTracker — Modular video tracking software http://www.tse-systems.com/products/behavior/video-tracking-software/phenotracker/index.htm (Archive PDF version from August 6, 2013)

2.  Automatic detection of defects in multi-threaded enterprise Java codebases

References to the research

  1. D. Aspinall, S. Gilmore, M. Hofmann, D. Sannella and I. Stark. Mobile Resource Guarantees for Smart Devices. Proc. Intl. Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2004, Marseille. Springer LNCS 3362, 1-26, 2004. DOI 10.1007/978-3-540-30569-9_1.
  2. J. Ševčík and D. Aspinall. On Validity of Program Transformations in the Java Memory Model. Proc. 22nd European Conf. on Object-Oriented Programming, ECOOP 2008, Paphos. Springer LNCS 5142, 27–51, 2008. DOI 10.1007/978-3-540-70592-5_3.
  3. D. Aspinall, R. Atkey, C. Hughes, D. Sannella and P. Stevens. Design Level Technology Study: Reverse Engineering and Refactoring Concurrency Final Deliverable WP2.3.1 D2, Version 1.1. ITI Techmedia Software Integrity Engineering programme, Dec 2008. Can be supplied on request.
  4. R. Adams, D. Aspinall, R. Atkey, B. Campbell, C. Hughes, D. Sannella, J. Ševčík and P. Stevens. Program Analysis Demonstrator: Early Alpha Demonstrator WP 2.1.6 D3. ITI Techmedia Software Integrity Engineering programme, Jan 2009, report and software. Can be supplied on request.
  5. D. Aspinall, R. Atkey, B. Campbell, S. Lindley, D. Sannella and J. Ševčík. Annotations for Concurrency: Final Report WP 2.1.7 D2. ITI Techmedia Software Integrity Engineering programme, Mar 2009, report and software. Can be supplied on request.
  6. D. Aspinall, R. Atkey, S. Lindley, D. Sannella and J. Ševčík. Further Research on Technologies for Concurrency Analysis, Final Report WP4.3.1 D2. ITI Techmedia Software Integrity Engineering programme, Jul 2009, report and software.

Sources to corroborate the impact

  1. CEO, Contemplate Ltd can provide information about all aspects of Contemplate's business, including copies of purchase orders and invoices to confirm sales. All information about customers and sales is commercially sensitive.
  2. Contemplate's business plan, including financial projections, can be supplied on request; this contains commercially sensitive information. This plan has been subject to repeated financial and technical due diligence by Scottish Enterprise in connection with negotiation of Contemplate's IP licence agreement, applications for funding from SMART:SCOTLAND, and investment from the Scottish Investment Bank.
  3. Copies of IP due diligence reports commissioned by SMART:SCOTLAND can be supplied on request; these contain commercially sensitive information.
  4. A senior member of the High-Growth Start-Up Unit at Scottish Enterprise can provide information about Scottish Enterprise's support for Contemplate. See also http://www.scottish-enterprise.com/~/media/SE/Resources/Documents/ABC/Contemplate.pdf (Archive PDF version, creation date in the original PDF document Feb 11, 2013).
  5. A commercialisation advisor to Software Integrity Engineering programme and former chair of the ICT Advisory Group for Scottish Enterprise can provide information about the role of the University of Edinburgh and Contemplate in the ITI Software Integrity Engineering programme.
  6. A software developer at Attachmate in Seattle can comment on ThreadSafe from a user's point of view.
  7. Press articles on Contemplate and ThreadSafe:
    1. Scotland on Sunday, Dec 2012, http://www.scotsman.com/business/management/software-firm-unveils-program-to-beat-costly-computer-failures-1-2682298. (Archive PDF version from December 9, 2012.) (Archive screengrab version showing date December 9, 2012.)
    2. CFO Insight, 1 May 2013, http://www.cfo-insight.com/risk-management-it/it/software-errors-new-technology-briefing-for-cfos/. (Archive PDF version, page dated May 1, 2013.)
    3. InfoQ, Aug 2013, http://www.infoq.com/news/2013/08/ThreadSafe-Public-Release. (Archive PDF version dated August 28, 2013.) (Archive screengrab version showing date August 28, 2013.)
    4. DevX, Sep 2013, http://www.devx.com/Java/contemplate-delivers-threadsafe-java-concurrency-static-analysis-tool.html (Archive PDF version dated September 4, 2013.)
  8. Contemplate's website http://www.contemplateltd.com: contains press releases concerning product releases and partnership agreements. (Archive PDF version dated October 10, 2013.)

3.  The Moses Machine Translation Toolkit

References to the research

  1. Moses: Open Source Toolkit for Statistical Machine Translation, Philipp Koehn, Hieu Hoang, Alexandra Birch, Chris Callison-Burch, Marcello Federico, Nicola Bertoldi, Brooke Cowan, Wade Shen, Christine Moran, Richard Zens, Chris Dyer, Ondrej Bojar, Alexandra Constantin, Evan Herbst, ACL 2007, demonstration session.
  2. Factored Translation Models, Philipp Koehn and Hieu Hoang, EMNLP 2007
  3. Agreement Constraints for Statistical Machine Translation into German, Philip Williams and Philipp Koehn, Proceedings of the Sixth Workshop on Statistical Machine Translation (WMT), 2011.
  4. Enriching Morphologically Poor Languages for Statistical Machine Translation, Eleftherios Avramidis and Philipp Koehn, ACL 2008.
  5. Improving Mid-Range Reordering using Templates of Factors, Hieu Hoang and Philipp Koehn, EACL 2009.
  6. Monte Carlo Inference and Maximization for Phrase-based Translation, Abhishek Arun, Chris Dyer, Barry Haddow, Phil Blunsom, Adam Lopez and Philipp Koehn, Conference on Computational Natural Language Learning, 2009.

Sources to corroborate the impact

  1. http://www.translationautomation.com/articles/six-moses-machine-translation-use-cases (Archive PDF version from May 24, 2013)
  2. http://www.translationautomation.com (Archive PDF version from May 24, 2013)
  3. http://www.tausdata.org/blog/2010/10/doing-business-with-moses-open-source-translation/ (Archive PDF version from May 24, 2013)
  4. http://groups.google.com/group/m4loc (Archive PDF version from May 24, 2013)
  5. http://www.precisiontranslationtools.com/news (Archive PDF version from May 24, 2013)
  6. http://www.statmt.org/mtm12 (Archive PDF version from May 24, 2013)
  7. http://www.mt-archive.info/MTMarathon-2011-Turchi.pdf (Archive PDF version from May 24, 2013)
  8. http://www.catalystsecure.com/blog/2012/05/was-samsung-deal-a-watershed-for-use-of-machine-translation-in-ftc-second-requests/ (Archive PDF version from May 24, 2013)
  9. http://translate.autodesk.com/productivity.html (Archive PDF version from May 24, 2013)
  10. http://www.translationautomation.com/technology/a-snapshot-of-real-time-multilingual-chat.html#comments (Archive PDF version from June 23, 2012)

4.  The Natural Language Toolkit (NLTK)

References to the research

  1. J. Bos and K. Markert, Recognising textual entailment with robust logical inference, in Machine Learning Challenges, MLCW 2005 (J. Quinonero-Candela, I. Dagan, B. Magnini, and F. d’Alché Buc, eds.), vol. 3944 of LNAI, pp. 404–426, Springer, 2006. DOI: 10.1007/11736790_23
  2. J. Bos, Computational semantics in discourse: Underspecification, resolution, and inference, Journal of Logic, Language and Information, vol. 13, no. 2, pp. 139-157, 2004. DOI: 10.1023/B:JLLI.0000024731.26883.86
  3. E. Klein, Computational semantics in the Natural Language Toolkit, in Proceedings of the Australasian Language Technology Workshop (ALTW'06) (L. Cavedon and I. Zukerman, eds.), Sydney, pp. 26-41, 2006.
  4. D. Garrette and E. Klein, An extensible toolkit for computational semantics, in IWCS-8 2009 Proceedings of the Eighth International Conference on Computational Semantics, Association for Computational Linguistics, 2009.
  5. J. Bos, Exploring model building for natural language understanding, in ICoS-4, Inference in Computational Semantics. Workshop Proceedings (P. Blackburn and J. Bos, eds.), pp. 41-55, 2003.
  6. S. Bird, E. Klein, and E. Loper, Natural Language Processing with Python. Sebastopol, CA: O'Reilly Media, 2009. ISBN-10: 0596516495, ISBN-13: 978-0596516499.

Sources to corroborate the impact

  1. Details of the Python Foundation award to NLTK http://pyfound.blogspot.com.es/2012/11/grants-to-assist-kivy-nltk-in-porting.html (Archive PDF version from May 27, 2013)
  2. NLTK book in Japanese — http://www.oreilly.co.jp/books/9784873114705/ (Archive PDF version from May 27, 2013)
  3. Python Text Processing with NLTK 2.0 Cookbook, Jacob Perkins, PACKT Press — http://www.packtpub.com/python-text-processing-nltk-20-cookbook/book (Archive PDF version from May 27, 2013)
  4. Questions about the NLTK software — http://stackoverflow.com/search?q=nltk, retrieved 27th May 2013. (Archive PDF version from May 27, 2013)
  5. The NLTK users mailing list — http://groups.google.com/group/nltk-users (Archive PDF version from August 6, 2013)
  6. The NLTK developers mailing list — http://groups.google.com/group/nltk-dev (Archive PDF version from August 6, 2013)

5.  MilePost GCC and compiler research at Edinburgh

References to the research

  1. Using Machine Learning to Focus Iterative Optimization. F. Agakov, E.V. Bonilla, J. Cavazos, B. Franke, G. Fursin, M.F.P. O'Boyle, J. Thomson, M. Toussaint, and C.K.I. Williams, Proceedings of the International Symposium on Code Generation and Optimization (CGO '06), pages 295-305, March 2006. (doi: 10.1109/CGO.2006.37)
  2. Towards a Holistic Approach to Auto-Parallelization: Integrating Profile-Driven Parallelism Detection and Machine-Learning Based Mapping. Z. Wang, B. Franke and M. O'Boyle, Proceedings of the ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation (PLDI '09), June 2009. Pages 177–187. (doi: 10.1145/1542476.1542496)
  3. Portable Compiler Optimization Across Embedded Programs and Microarchitectures using Machine Learning. C. Dubach, T.M. Jones, E.V. Bonilla, G. Fursin and M.F.P. O'Boyle, 42nd IEEE/ACM International Symposium on Microarchitecture (MICRO '09), December 2009. Pages 78–88. (doi: 10.1145/1669112.1669124)
  4. Partitioning Streaming Parallelism for Multi-cores: A Machine Learning Based Approach. Z. Wang and M. O'Boyle, In 19th International Conference on Parallel Architectures and Compilation Techniques (PACT '10), September 2010. Pages 307–318. (doi: 10.1145/1854273.1854313)
  5. Predictive Model for Dynamic Microarchitectural Adaptivity Control. C. Dubach, T.M. Jones, E.V. Bonilla, and M.F.P. O'Boyle, In 43rd IEEE/ACM International Symposium on Microarchitecture (MICRO '10), December 2010. Pages 485–496. (doi: 10.1109/MICRO.2010.14)
  6. Generalized Just-In-Time Trace Compilation using a Parallel Task Farm in a Dynamic Binary Translator. Igor Bøhm, T.J.K. Edler von Koch, S. Kyle, B. Franke, and N. Topham, Proceedings of the 32nd ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI '11), June 2011, San Jose, California, USA. Pages 74–85. (doi: 10.1145/1993498.1993508)

Sources to corroborate the impact

  1. MilePostGCC press release. http://www-03.ibm.com/press/us/en/pressrelease/27874.wss (Archive PDF version from August 6, 2013)
  2. High-Impact ICT research: "Machine-learning revolutionises software development". http://cordis.europa.eu/ictresults/index.cfm?section=news&tpl=article&ID=91208 (Archive PDF version from August 6, 2013)
  3. An open-source machine-learning compiler that intelligently optimizes applications. Dr Dobb's Software Journal. http://www.drdobbs.com/open-source/milepost-gcc-now-available/218102130 (Archive PDF version from August 6, 2013)
  4. The Collective Tuning website. http://ctuning.org. (Archive PDF version from August 6, 2013)
  5. University of Edinburgh and ARM Research Centre of Excellence Framework agreement. This is a commercially sensitive document describing the details of the collaboration agreement between the University of Edinburgh and ARM. Copies can be made available on request.
  6. University of Edinburgh and Samsung Research Collaboration agreement. This is a commercially sensitive document which describing the details of the collaboration agreement between the University of Edinburgh and Samsung. Copies can be made available on request.
  7. The EnCore processor influenced the Synopsys DesignWare® ARC™ EM Family of embedded processor cores http://www.synopsys.com/IP/ProcessorIP/ARCProcessors/ARCEM/Pages/default.aspx (Archive PDF version from August 7, 2013)
  8. Intel Doctoral Student Honour Programme. http://www.intel.com/content/www/us/en/education/university/intel-2012-doctoral-student-honor-awardees.html?wapkw=2012+doctoral+student+honor+awardees (Archive PDF version from August 7, 2013)
  9. Intel University Collaborative Research https://www.intel-university-collaboration.net/?ai1ec_event=early-career-faculty-awards (Archive PDF version from August 7, 2013)

6.  Speech Graphics Ltd: Audio-driven animation

References to the research

  1. Gregor Hofer and Hiroshi Shimodaira. Automatic head motion prediction from speech data. In Proc. Interspeech 2007, Antwerp, Belgium, 2007. http://www.era.lib.ed.ac.uk/handle/1842/2006
  2. Gregor Hofer, Junichi Yamagishi, and Hiroshi Shimodaira. Speech-driven lip motion generation with a trajectory HMM. In Proc. Interspeech 2008, pages 2314-2317, Brisbane, Australia, September 2008. http://www.era.lib.ed.ac.uk/handle/1842/3883
  3. Michal Dziemianko, Gregor Hofer, and Hiroshi Shimodaira. HMM-based automatic eye-blink synthesis from speech. In Proc. Interspeech, pages 1799-1802, Brighton, UK, September 2009. http://www.cstr.ed.ac.uk/downloads/publications/2009/dziemianko_interspeech2009.pdf
  4. Gregor Hofer and Korin Richmond. Comparison of HMM and TMDN methods for lip synchronisation. In Proc. Interspeech, pages 454-457, Makuhari, Japan, September 2010. http://www.era.lib.ed.ac.uk/handle/1842/4558
  5. Michael Berger, Gregor Hofer, and Hiroshi Shimodaira. 2010. Carnival: a modular framework for automated facial animation. In ACM SIGGRAPH 2010 Posters (SIGGRAPH '10). ACM, New York, NY, USA, Article 5, 1 page. http://doi.acm.org/10.1145/1836845.1836851
  6. Michael A. Berger, Gregor Hofer, and Hiroshi Shimodaira. Carnival — combining speech technology and computer animation. IEEE Computer Graphics and Applications, 31:80-89, 2011. http://dx.doi.org/10.1109/MCG.2011.71.

Sources to corroborate the impact

  1. Speech Graphics Ltd, company website: http://www.speech-graphics.com (Archive PDF version from August 7, 2013)
  2. John Logie Baird award winners, 2010: http://bit.ly/1cJeXNa (Archive PDF version from August 7, 2013)
  3. Develop, the online information source for global games development sector (monthly readership of over 300,000) profiled Speech Graphics Ltd in 2012: http://www.develop-online.net/features/1595/Evolving-facial-animation (Archive PDF version, page dated 21st March 2012) (Archive screengrab version, page dated 21st March 2012).
  4. Students awarded top award for smooth talking, Scottish Television News website, July 2011, http://local.stv.tv/edinburgh/21239-students-awarded-top-award-for-smooth-talking/. (Archive PDF version, page dated 19th July 2011).
  5. Edinburgh lip-synch spin-out Speech Graphics wins national entrepreneurship award, July 2011, http://startupcafe.co.uk/2011/07/21/edinburgh-lip-synch-spin-out-speech-graphics-wins-national-entrepreneurship-award/. (Archive PDF version, page dated July 21st 2011) (Archive screengrab version, page dated July 21st 2011).
  6. The Speech Graphics channel on You Tube http://www.youtube.com/user/SpeechGraphics (Archive PDF version, page updated March 2013.)
  7. Scottish Development International, Scottish Games Industry Profiles 2012, http://bit.ly/1gpvGH7 (Archive PDF version, dated February 2013).
  8. http://www.supermassivegames.com/index.php/about/partner-list, Supermassive Games lists Speech Graphics as one of their partners. (Archive PDF version, from September 17th 2013.)
  9. http://www.havoksimulation.com/?q=corporate-relationships, Havok, a wholly owned subsidiary of Intel Inc., lists Speech Graphics as one of its partners. (Archive PDF version, from September 17th 2013.)
  10. The Scottish startup that made animated Kanye rap in his Black Skinhead video, Wired, July 2013. http://www.wired.co.uk/news/archive/2013-07/25/kanye-west-speech-graphics (Archive PDF version, page dated 25th July 2013.)

7.  The Tegola Wireless Community Broadband Project

References to the research

  1. G. Bernardi, P. Buneman and M. K. Marina, Tegola Tiered Mesh Network Testbed in Rural Scotland, In Proc. ACM MobiCom 2008 Workshop on Wireless Networks and Systems for Developing Regions (WiNS-DR'08), San Francisco, USA, Sep 2008. DOI: http://dx.doi.org/10.1145/1410064.1410067
  2. M. Fourman et al., Digital Scotland, The Royal Society of Edinburgh Inquiry Report, Oct 2010. ISBN: 978 0 902198 36 4 URL: http://bit.ly/11bciYa
  3. G. Bernardi, D. Fenacci, M. K. Marina and D. Pezaros, BSense: A Flexible and Open-Source Broadband Mapping Framework, In Proc. 11th IFIP Networking Conference, 2012. DOI: http://dx.doi.org/10.1007/978-3-642-30045-5_26
  4. A. Macmillan, M. K. Marina and J. T. Triana, Slow Frequency Hopping for Mitigating Tidal Fading on Rural Long Distance Over-Water Wireless Links, In Proc. IEEE INFOCOM, 2010. DOI: http://dx.doi.org/10.1109/INFCOMW.2010.5466612
  5. S. Pediaditaki, M. K. Marina and D. Tyrode, Traffic-Aware Channel Width Adaptation in Long-Distance 802.11 Mesh Networks, In Proc. 15th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM'12), 2012. DOI: http://dx.doi.org/10.1145/2387238.2387283

Sources to corroborate the impact

  1. BBC News, Rory Cellan-Jones, Broadband in the Highlands, http://news.bbc.co.uk/1/hi/technology/7433025.stm, 3 June 2008. (Archive PDF version, page dated 3rd June 2008.)
  2. BBC News, Rory Cellan-Jones, Highlands and Islands remote broadband scheme under way, http://www.bbc.co.uk/news/uk-scotland-highlands-islands-19909081, 12 Oct 2012. (Archive PDF version, page dated 12th October 2012.) (Archive screengrab version, page dated 12th October 2012).
  3. NextGen Challenge Award submission http://www.tegola.org.uk/news/nextgen.html (Archive PDF version from 17th September 2013.) and press release, 17 November 2011 http://www.nextgenevents.co.uk/blog/id41/news-release-17-november-2011-bristol-uk (Archive PDF version, page dated 17th November 2011).
  4. Motion recognizing Tegola, Scottish Parliament Business Bulletin, 8 November 2011. http://www.scottish.parliament.uk/BusinessBulletins/bb-11-134w.pdf. (Archive PDF copy with key passage on page 24-25 highlighted, document dated Tuesday 8 November 2011.)
  5. Digital Futures, Royal Society of Edinburgh-commissioned documentary on Tegola and Hebnet projects, 2011. http://vimeo.com/25278290 (Archive PDF version, video dated 2011.) (Archive screengrab version, video dated 2011.)
  6. RSE Digital Scotland Interim Report - Scottish Government Response, August 2010. http://www.scotland.gov.uk/Resource/Doc/918/0105211.pdf (Archive PDF version, document dated August 2010.)
  7. Scottish Government, Scotland's Digital Future: A Strategy for Scotland, March 2011. http://www.scotland.gov.uk/Resource/Doc/981/0114237.pdf (Archive PDF version, document dated March 2011.)
  8. Scottish Parliament Motion S4M-01893, February 2012. http://www.scottish.parliament.uk/S4_BusinessTeam/pm-v1n50-S4.pdf. (Archive PDF version, document dated February 2012.)
  9. Scottish Parliament proceedings http://www.scottish.parliament.uk/parliamentarybusiness/28862.aspx?r=6835&mode=pdf (Archive PDF version, document dated 7th December 2011.), http://www.scottish.parliament.uk/parliamentarybusiness/28862.aspx?r=6780&i=61520&c=1274262 (Archive PDF copy with key passages highlighted, document dated 2nd February 2012.)
  10. House of Lords report Broadband for all -- an alternative vision. http://www.publications.parliament.uk/pa/ld201213/ldselect/ldcomuni/41/41.pdf (Archive PDF copy with key passages highlighted, document published 31st July 2012.)

8.  The EnCore Microprocessor and the ArcSim Simulator

References to the research

  1. M. Zuluaga, E. Bonilla and N. Topham, Predicting Best Design Trade-offs: A Case Study in Processor Customization, Proceedings of Design, Automation and Test in Europe (DATE '12), 2012. DOI: http://doi.ieeecomputersociety.org/10.1109/DATE.2012.6176647
  2. M. Zuluaga and N.P. Topham, Design Space Exploration of Resource Sharing Solutions for Custom Instruction Set Extensions, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD'09), volume 28, issue 12, pages 1788-1801, 2009. DOI: http://dx.doi.org/10.1109/TCAD.2009.2026355
  3. A. Murray, R.V. Bennett, B. Franke and N.P. Topham, Code Transformation and Instruction Set Extensions, ACM Transactions on Embedded Computing Systems (TECS '09), volume 8, issue 4, 2009. DOI: http://dx.doi.org/10.1145/1550987.1550989
  4. K. Sundararajan, V. Porpodas, T. Jones, N. Topham and B. Franke, Cooperative Partitioning: Energy-Efficient Cache Partitioning for High-Performance CMPs, Proceedings of the 18th International Symposium on High Performance Computer Architecture (HPCA'12), New Orleans, 2012. DOI: http://dx.doi.org/10.1109/HPCA.2012.6169036
  5. T. Edler von Koch, I. Böhm and B. Franke, Integrated Instruction Selection and Register Allocation for Compact Code Generation Exploiting Freeform Mixing of 16- and 32-bit Instructions, Proceedings of the 8th annual IEEE/ACM International Symposium on Code generation and optimization (CGO '10), Toronto, Canada, 2010. DOI: http://dx.doi.org/10.1145/1772954.1772980
  6. I. Böhm, T. Edler von Koch, S. Kyle, B. Franke and N. Topham, Generalized Just-In-Time Trace Compilation using a Parallel Task Farm in a Dynamic Binary Translator, ACM SIGPLAN 2011 Conference on Programming Language Design and Implementation (PLDI'11), San Jose, CA, 2011. DOI: http://dx.doi.org/10.1145/1993498.1993508

Sources to corroborate the impact

  1. Synopsys Annual Financial Statement, 2011: http://www.synopsys.com/company/locations/armenia/news/pages/pressid11302011.aspx
    • Provided to back up claims regarding recent financial status of the licensee.
    (Archive PDF version, copy of 17th September 2013.)
  2. Rick Merrit, ARM Dominates 10B unit CPU core market: EE Times online, 5th October 2012, http://eetimes.com/electronics-news/4372693 (Archive PDF version, page dated 5th October 2012.)
  3. EPSRC: New Microprocessor Could Extend Battery Life, Case Study 25, Issue date 07 July 2009, http://www.epsrc.ac.uk/newsevents/casestudies/2009/Pages/newmicroprocessor.aspx, (Archive PDF version, page published 7th July 2009.)
    • The Engineering and Physical Sciences Research Council commissioned this article to highlight the impact of the PASTA project, which they funded.
    Print version: http://www.epsrc.ac.uk/SiteCollectionDocuments/Publications/casestudies/ IMPACTCaseStudy25MicroprocessorExtendBatteryLife.pdf. (Archive copy of print PDF version, article published July 2009.)
  4. [Text removed for publication.]
  5. Synopsys, product landing page for the nSIM simulator: http://www.synopsys.com/dw/ipdir.php?ds=sim_nsim
    • Contains an online overview of technical details of the nSIM simulator, which is derived from the ArcSim technology, licensed by the University of Edinburgh to Synopsys Inc.
    (Archive PDF version, copy of 17th September 2013.)
  6. Vice President Engineering, Solutions Group at Synopsys, Inc.
    • This source represents the licensing group within Synopsys and can be approached for a reference if required to corroborate details about the license.

9.  Clinical and commercial applications of text-to-speech synthesis technologies

References to the research

  1. P Taylor, AW Black, and R Caley (2001). Heterogeneous relation graphs as a formalism for representing linguistic information, Speech Communication, 33, 153-174. http://dx.doi.org/10.1016/S0167-6393(00)00074-1
  2. RAJ Clark, K Richmond, and S King (2007). Multisyn: Open-domain unit selection for the Festival speech synthesis system, Speech Communication, 49, 317-330. http://dx.doi.org/10.1016/j.specom.2007.01.014
  3. J Yamagishi, T Nose, H Zen, Z Ling, T Toda, K Tokuda, S King, and S Renals (2009). Robust speaker-adaptive HMM-based text-to-speech synthesis, IEEE Transactions on Audio, Speech, and Language Processing, 17, 1208-1230. http://dx.doi.org/10.1109/TASL.2009.2016394
  4. J Yamagishi, B Usabaev, S King, O Watts, J Dines, J Tian, R Hu, Y Guan, K Oura, K Tokuda, R Karhila, and M Kurimo (2010). Thousands of voices for HMM-based speech synthesis — analysis and application of TTS systems built on various ASR corpora, IEEE Transactions on Audio, Speech, and Language Processing, 18, 1005-1016. http://dx.doi.org/10.1109/TASL.2010.2045237
  5. K Richmond, R Clark, and S Fitt (2009). Robust LTS rules with the Combilex speech technology lexicon, Proc Interspeech, 1295-1298. http://www.era.lib.ed.ac.uk/handle/1842/3958
  6. S Creer, S Cunningham, P Green, and J Yamagishi (2013). Building personalised synthetic voices for individuals with severe speech impairment, Computer Speech and Language, 27, 1178-1193. http://dx.doi.org/10.1016/j.csl.2012.10.001

Sources to corroborate the impact

  1. Research Manager, Speech Synthesis, Google; founder of Phonetic Arts — can corroborate that technology developed Phonetic Arts builds on research done in Edinburgh.
  2. Euan just wants to go places, Blackwood Foundation Bespoken forum, http://www.bespoken.me/forum/topics/euan-just-wants-to-go-places, July 2013. (Archive PDF version, posted July 26, 2013.) (Archive screengrab version, posted July 26, 2013.)
  3. The Voice Bank Project, Blackwood Foundation Bespoken forum, http://www.bespoken.me/forum/topics/the-voicebank-project, July 2013. (Archive PDF version, posted July 26, 2013.) (Archive screengrab version, posted July 26, 2013.)
  4. http://www.smart-mnd.org/voicebank/ (Archive PDF version, dating from 17th September, 2013.) and http://www.euanmacdonaldcentre.com/voicebank.html (Archive PDF version, page dated July 2011.) (Archive screengrab version, page dated July 2011.)
  5. http://annerowlingclinic.com/research.html (Archive PDF version, dating from 17th September, 2013.) (Archive screengrab version, dating from 17th September, 2013.)
  6. NHK (Japan Broadcasting Corporation), Close-up Gendai, 28 Feb 2012, Medical applications of speech synthesis technologies. http://www.nhk.or.jp/gendai/kiroku/detail02_3166_all.html (Archive PDF version of the English translation of the page, dating from August 1st 2013.)
  7. H Zen and K Tokuda (2009). [Best of the Web] TechWare: HMM-based speech synthesis resources, IEEE Signal Processing Magazine, 26(4), 95-97. http://dx.doi.org/10.1109/MSP.2009.932563
  8. http://www.computescotland.com/google-absorbs-phonetic-arts-3868.php (Archive PDF version, page last updated 8th December 2010.)

10.  Shaping the XML technologies used to manage the world's data

References to the research

  1. S. Adler, H.S. Thompson, et al. (1997) A Proposal for XSL, http://www.w3.org/TR/NOTE-XSL
  2. H.S. Thompson and D. McKelvie (1997) Hyperlink semantics for standoff markup of read-only documents. In SGML Europe '97, P. Gennusa, ed., Graphical Communications Association, Barcelona. http://bit.ly/194PWJi
  3. C. Frankston and H.S. Thompson (1998) XML-Data Reduced. Technical Report, Microsoft, Redmond, WA. http://bit.ly/194PPxv
  4. H.S. Thompson and R. Tobin (2003) Using Finite State Automata to Implement W3C XML Schema Content Model Validation and Restriction Checking. In XML Europe 2003, E. Dumbill, ed., IDEAlliance, London. http://bit.ly/15pspPd
  5. M. Arenas and L. Libkin (2008) XML data exchange: Consistency and query answering, Journal of the ACM, 55(2), article no.7, May 2008. DOI 10.1145/1346330.1346332
  6. A. Mikheev, C. Grover and M. Moens (1998), Description of the LTG system used for MUC-7, Proceedings of 7th Message Understanding Conference (MUC-7), Fairfax, VA. http://acl.ldc.upenn.edu/muc7/M98-0021.pdf

Sources to corroborate the impact

  1. Director of the W3C, for corroboration of contribution to XML development
  2. Interaction Domain Leader at the W3C, for corroboration of XML schema influence
  3. Deputy Director of the W3C, for corroboration of contribution to XML implementations
  4. D. W3C Standards with Edinburgh authors and significantly influenced by Edinburgh work
    1. Constraints of the Provenance Data Model, J. Cheney, P. Missier and L. Moreau, Sept 2012, http://www.w3.org/TR/prov-constraints
    2. W3C XML Schema Definition Language (XSD) 1.1 Part 1: Structures, N. Mendelsohn, S. Gao, C. M. Sperberg-McQueen, D. Beech, M. Maloney and H. Thompson, Apr 2012, http://www.w3.org/TR/xmlschema11-1
    3. W3C XML Schema Definition Language (XSD) 1.1 Part 2: Datatypes, S. Gao, A. Malhotra, C. M. Sperberg-McQueen, D. Peterson, H. Thompson and P.V. Biron, Apr 2012, http://www.w3.org/TR/xmlschema11-2
    4. XML Information Set (Second Edition), R. Tobin and J. Cowan, Feb 2004, http://www.w3.org/TR/xml-infoset
    5. XML Processor Profiles, H. Thompson, N. Walsh and J. Fuller, Jan 2012, http://www.w3.org/TR/xml-proc-profiles
    6. XProc: an XML Pipeline Language, H. Thompson, A. Milowski and N. Walsh, May 2010, http://www.w3.org/TR/xproc
    7. XQuery 1.0 and XPath 2.0 Formal Semantics (Second Edition), M. Fernández, M. Rys, K. Rose, P. Fankhauser, M. Dyck, J. Siméon, D. Draper, A. Malhotra and P. Wadler, Dec 2010, http://www.w3.org/TR/xquery-semantics