Implementing a High-level Distributed-Memory Parallel Haskell in Haskell Patrick Maier and Phil Trinder School of Mathematical and Computer Sciences Heriot-Watt University, Edinburgh, UK

Source URL: www.macs.hw.ac.uk

A critical study of network models for neural networks Gordon Govan, Peirluigi Frisco, Alex Xenos School of Mathematical and Computer Sciences Heriot-Watt University

Source URL: www.monmeetings.org

A Practical Perspective on the Verifying Compiler Proposal∗ Andrew Ireland School of Mathematical and Computer Sciences Heriot-Watt University Edinburgh, Scotland, UK

Source URL: www.macs.hw.ac.uk

Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis Andrew Ireland and Jamie Stark School of Mathematical & Computer Sciences Heriot-Watt University, Edinburgh, Scotland, UK

Source URL: www.macs.hw.ac.uk

Orkney Field Club Founded in 1959 Aim: To encourage the study and conservation of the natural and cultural heritage of the County Orkney Field Club was delighted to welcome Professor Jon Side, Director of Heriot-Watt

Source URL: s3.spanglefish.com

‘New Speakers’ of Gaelic in Edinburgh and Glasgow Wilson McLeod, University of Edinburgh Bernadette O’Rourke, Heriot-Watt University Stuart Dunmore, University of Edinburgh

Source URL: www.soillse.ac.uk

Impact case study (REF3b) Institution: Edinburgh Research Partnership in Engineering – ERPE (Heriot-Watt /Edinburgh) Unit of Assessment: B15: General Engineering Title of case study: Test Protocols for Tidal Current En

Source URL: www.masts.ac.uk

• Energy
• Physical universe
• Nature
• Energy conversion
• Water waves
• Renewable energy in Scotland
• Marine energy
• Water power
• European Marine Energy Centre
• Tidal stream generator
• Tidal power
• Wave power

December 2015 CIB W062 – Water Supply and Drainage New coordinator of Commission: Professor Dr Lynne Jack The CIB programme Committee has appointed Professor Dr Lynne Jack as the new Coordinator of

Source URL: daiku.kenken.go.jp

• Drainage
• Drainage system
• Heriot-Watt University
• CIB

Image Case Study Community Led Engineering Image Collections By Lisa Rogers & Phil Barker Institute for Computer Based Learning Heriot Watt University On behalf of Higher Education Academy Engineering Subject

Source URL: www.icbl.hw.ac.uk

• Computing
• World Wide Web
• RSS
• Social information processing
• Rashtriya Swayamsevak Sangh
• News aggregator
• Atom
• Flickr

A Law of Large Numbers approach to valuation in life insurance Tom Fischer∗ Heriot-Watt University, Edinburgh First version: March 17, 2003 This version: February 17, 2006

Source URL: www.statistik-mathematik.uni-wuerzburg.de

• Mathematical finance
• Economy
• Finance
• Money
• Arbitrage
• Risk-neutral measure
• BlackScholes model
• Actuarial science
• Futures contract
• Derivative
• Forward contract
• Rational pricing