|
|
Edinburgh Research Archive >
Browsing by Publication Type Technical Report
Showing results 74 to 93 of 133
| Issue Date | Title | Author(s) | Supervisor(s) | | 9-Aug-2010 | Improving the performance of GWW | Bethune, Iain | - |
| 22-Sep-2010 | Improving the scalability of CP2K on multi-core systems | Bethune, Iain | - |
| 2011 | Innovation in the Water Industry: Challenges and Opportunities from the Water Engineering Perspective | Schäfer, Andrea | - |
| Oct-1947 | Interim report on the Causes of and Circumstances attending the Explosion which occured at Whitehaven William Colliery, Cumberland, on the 15th August, 1947 | Bryan, A. M. | - |
| Jan-1953 | International Convention for the Safety of Life at Sea, 1948 | Anonymous | - |
| 2000 | Isamode: Theorem Proving with Isabelle inside Emacs | Aspinall, David | - |
| Mar-2000 | Learning Inequated Range Restricted Horn Expressions | Arias, Marta; Khardon, Roni | - |
| 2009 | Long-term care facilities in Ontario, Canada: A waste management overview | Gales, John; Roy-Poirier, A; Champagne, P | - |
| 1999 | Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent Proof Attempts | Dennis, Louise; Bundy, Alan; Green, Ian | - |
| 2011 | Million Atom KS-DFT with CP2K | Bethune, Iain; Carter, Adam; Guo, Xu; Korosoglou, Paschalis | - |
| 1971 | Mineral Resources Consultative Committee - Fluorspar | Notholt, A. J. G.; Highley, D. E. | - |
| 10-May-2013 | MOOCs @ Edinburgh 2013: Report #1 | MOOCs@Edinburgh Group | - |
| Apr-2000 | Multi-Predicate Induction Schemes for Mutual Recursion | Boulton, Richard | - |
| Mar-2000 | A New Algorithm for Learning Range Restricted Horn Expressions | Arias, Marta; Khardon, Roni | - |
| 31-Oct-2006 | OAIS Five-year review: Recommendations for update | Higgins, Sarah; Semple, Najla | - |
| 2005 | Online intermediaries and copyright liability | Waelde, Charlotte; Edwards, Lilian | - |
| Mar-2004 | Policy and Contract Management for Semantic Web Services | Uszok, A; Bradshaw, J.M; Jeffers, R; Johnson, M; Tate, Austin; Dalton, J; Aitken, Stuart | - |
| 1991 | The Polyadic pi-Calculus: A Tutorial | Milner, Robin | - |
| 2009 | A practical guide to implementing the DCC testbed methodology | Jones, Sarah; McCann, Patrick; Kim, Yunhyong | - |
| Jan-1967 | A preliminary analysis of some Flambeau data | Western, A.M. | - |
Showing results 74 to 93 of 133
|
