Now showing items 120-139 of 209

  • Long-term care facilities in Ontario, Canada: A waste management overview 

    Gales, John; Roy-Poirier, A; Champagne, P (white paper report, 2009)
    Long-term care (LTC) facilities are growing in number in the province of Ontario. Typically, Canadian LTC facilities house an average of over 100 residents. Environmental concerns associated to waste management in LTC ...
  • Magnetic Squeeze-Films 

    Anderson, Colin George (The University of Edinburgh, 1983-04)
    Design proposals for a magnetic-repulsion enhanced hydrostatic bearing for the type N2 wave-power buoy
  • Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent Proof Attempts 

    Dennis, Louise; Bundy, Alan; Green, Ian (1999)
    Coinduction is a proof rule. It is the dual of induction. It allows reasoning about non--well--founded structures such as lazy lists or streams and is of particular use for reasoning about equivalences. A central difficulty ...
  • Measurement, Monitoring and Verification: Enhanced Oil Recovery and Carbon Dioxide Storage 

    Boait, Fran; JafarGandomi, Arash; Johnson, Gareth (SCCS, 2015-03-06)
    This report assesses the differences between monitoring technology requirements for CO2 storage in a saline or depleted hydrocarbon reservoir and in a hydrocarbon reservoir, when CO2 injection is used for enhanced oil ...
  • Million Atom KS-DFT with CP2K 

    Bethune, Iain; Carter, Adam; Guo, Xu; Korosoglou, Paschalis (2011)
    CP2K is a powerful materials science and computational chemistry code and is widely used by research groups across Europe and beyond. The recent addition of a linear scaling KS-DFT method within the code has made it possible ...
  • Mineral Resources Consultative Committee - Fluorspar 

    Notholt, A. J. G.; Highley, D. E. (Her Majesty's Stationery Office, 1971)
    Widespread and increasing interest in the mineral resources of the United Kingdom has led the Mineral Resources Consultative Committee to undertake the collation of the factual information at present available about minerals ...
  • MOOCs @ Edinburgh 2013: Report #1 

    MOOCs@Edinburgh Group (The University of Edinburgh, 2013-05-10)
    A report summarising the experience of the University of Edinburgh of offering our first 6 massive open online courses (MOOCs) in partnership with Coursera
  • Multi-Predicate Induction Schemes for Mutual Recursion 

    Boulton, Richard (2000-04)
    Where mutually recursive data types are used in programming languages, etc., mutually recursive functions are usually required. Mutually recursive functions are also quite common for non-mutually recursive types. Reasoning ...
  • A New Algorithm for Learning Range Restricted Horn Expressions 

    Arias, Marta; Khardon, Roni (2000-03)
    A learning algorithm for the class of range restricted Horn expressions is presented and proved correct. The algorithm works within the framework of learning from entailment, where the goal is to exactly identify some ...
  • Numerical Models 

    Pizer, David (The University of Edinburgh, 1994-09)
    This work is a continuation of a previous DTI project on "The Numerical Prediction of the Performance of a Solo Duck". Results of the previous study are extended by computing the reactive powers required to attain the ...
  • OAIS Five-year review: Recommendations for update 

    Higgins, Sarah; Semple, Najla (Digital Curation Centre, 2006-10-31)
    This document is a compilation of comments gathered from a joint meeting of the Networks Associates Members of the Digital Curation Centre and members of the Digital Preservation Coalition on 13 October 2006. It was ...
  • Offshore offloading of CO₂: Review of single point mooring types and suitability 

    Brownsort, Peter (SCCS, 2015-05)
    There are many types of single point mooring (SPM) and loading systems that have been developed in the offshore Oil and Gas sector for the transfer of hydrocarbon and other fluids from production wells, platforms or floating ...
  • Online intermediaries and copyright liability 

    Waelde, Charlotte; Edwards, Lilian (World Intellectual Property Organisation, 2005)
    The report, presented to the World Intellectual Property Organisation, examines the role of online intermediaries, and liability for copyright infringement. The authors discuss the difficulties found in disclosure identity ...
  • Opportunities for CO2 Storage around Scotland; An Integrated Strategic Research Study 

    Rennie, Alastair; Ackhurst, Maxine C; Gomersall, Sam D; Pershad, Harsh; Todd, Adrian C; Forshaw, Simon; Murray, Stuart; Kemp, Alex; Haszeldine, R Stuart; Bellingham, Richard (SCCS, 2009-04)
    Carbon Capture and Storage (CCS) is one of the critical technologies worldwide which will enable reduction of carbon dioxide (CO2) emissions arising from large industrial sites. CCS allows the continued use of a diverse ...
  • Optimal Control of a Duck 

    Nebel, Paul (The University of Edinburgh, 1992-05)
    Experimental values have been obtained for optimal (complex-conjugate) control of an Edinburgh Duck model in the presence of unidirectional monochromatic incident waves, in a one-dimensional test tank of intermediate depth. ...
  • Optimising CO2 storage in geological formations; a case study ofshore Scotland - CO2 MultiStore project 

    Akhurst, Maxine C; Callaghan, E A; Hannis, Sarah D; Kirk, K L; Monaghan, A A; Pearce, Jonathan M; Williams, J D O; Jin, Min; Mackay, Ericc; Pickup, Giliian; Goldthorpe, Ward; Mallows, Tom; Haszeldine, R Stuart; McDermott, Chris (SCCS, 2015-09)
    Carbon capture, transport and storage (CCS) is considered a key technology to provide a secure, low-carbon energy supply and reduce the greenhouse gas emissions (DECC, 2014) that contribute to the adverse effects of climatic ...
  • Policy and Contract Management for Semantic Web Services 

    Uszok, A; Bradshaw, J M; Jeffers, R; Johnson, M; Tate, Austin; Dalton, J; Aitken, Stuart (AAAI Press, 2004-03)
    This paper summarizes our efforts to develop capabilities for policy and contract management for Semantic Web Services applications. KAoS services and tools allow for the specification, management, analyzes, disclosure and ...
  • The Polyadic pi-Calculus: A Tutorial 

    Milner, Robin (The University of Edinburgh, 1991)
    The pi-calculus is a model of concurrent computation based upon the notion of naming. It is first presented in its simplest and original form, with the help of several illustrative applications. Then it is generalized from ...
  • Practical evaluation of SEEK and OpenBIS for biological data management in SynthSys; first report 

    Troup, Eilidh; Clark, Ivan; Swain, Peter; Millar, Andrew John; Zielinski, Tomasz (2015-10-30)
    The project evaluated two existing data management systems for a small set of users, who represent diverse needs within the SynthSys Centre, in order to inform wider adoption for biological research. SEEK’s strengths are ...
  • Practical evaluation of SEEK and OpenBIS for biological data management in SynthSys; second report. 

    Troup, Eilidh; Tomlinson, Kevin; D’Mellow, Kenton; Richards, Orlando; Millar, Andrew J.; Zielinski, Tomasz (SBS, University of Edinburgh, 2016-03-11)
    The objective of this joint project between University Information Services (IS) and the School of Biological Sciences (SBS) is to evaluate the provision of Biological Data Management systems and their integration with ...