Find Research outputs

Search results

• 2015

  Higher-order approximate relational refinement types for mechanism design and differential privacy

  Barthe, G., Gaboardi, M., Arias, E. J. G., Hsu, J., Roth, A. & Strub, P. Y., 14 Jan 2015, Proceedings of the 42nd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages. New York: Association for Computing Machinery, Vol. 2015-January. p. 55-68 14 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Surface mount technology
  • Acoustic waves
  • Semantics
  31 Citations (Scopus)
• 2012

  Micromachined diaphragm transducers for miniaturised ultrasound arrays

  Griggio, F., Demore, C. E. M., Kim, H., Gigliotti, J., Qiu, Y., Jackson, T. N., Choi, K., Tutwiler, R. L., Cochran, S. & Trolier-McKinstry, S., 2012, 2012 IEEE International Ultrasonics Symposium . IEEE, p. 1-4 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • diaphragms
  • transducers
  • fabrication
  • piezoelectric transducers
  • electronics
  10 Citations (Scopus)
• 2013

  Benefit Sharing in the UN Watercourses Convention under International Water Law

  Wouters, P. & Moynihan, R., Aug 2013, The UN Watercourses Convention in Force: Strengthening International Law for Transboundary Water Management. Rocha Loures, F. & Rieu-Clarke, A. (eds.). Routledge

  Research output: Chapter in Book/Report/Conference proceeding › Chapter
• 2012

  Radio frequency surgical probe: UK application filed

  Wang, Z., 4 Jan 2012, Patent No. GB1120023.5

  Research output: Patent
• 2015

  Structural resolution for logic programming

  Johann, P., Komendantskaya, E. & Komendantskiy, V., 2015, Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015) . De Vos, M., Eiter, T., Lierler, Y. & Toni, F. (eds.). 13 p. (CEUR workshop proceedings; vol. 1433).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Logic programming
  1 Citation (Scopus)
• 2013

  Impact of female sex on lipid lowering and relationship of lipids to clinical outcomes in atorvastatin trials

  Hsue, P., Fayyad, R., Laskey, R., Betteridge, J., Bittner, V. A., Colhoun, H., Wenger, N. & Waters, D. D., 17 Nov 2013.

  Research output: Contribution to conference › Poster
• 2012

  Revisiting Experimental Catchment Studies in Forest Hydrology: (Proceedings of a Workshop held during the XXV IUGG General Assembly in Melbourne, June–July 2011

  Webb, A. A. (ed.), Bonell, M. (ed.), Bren, L. (ed.), Lane, P. N. J. (ed.), McGuire, D. (ed.), Neary, D. G. (ed.), Nettles, J. (ed.), Scott, D. F. (ed.), Stednick, J. (ed.) & Wang, Y. (ed.), 2012, Wallingford: International Association of Hydrological Sciences (IAHS). 240 p. (IAHS Publications; no. 353)

  Research output: Book/Report › Book

  • hydrology
  • catchment
  • ecosystem service
  • sediment
  • forested catchment

• Comparison between a statistical approach and paired catchment study in estimating water yield response to afforestation

  Wang, Y., Bredemeier, M., Bonell, M., Yu, P., Feger, K-H., Xiong, W. & Xu, L., 2012, Revisiting Experimental Catchment Studies in Forest Hydrology: (Proceedings of a Workshop held during the XXV IUGG General Assembly in Melbourne, June–July 2011. Webb, A. A., Bonell, M., Bren, L., Lane, P. N. J., McGuire, D., Neary, D. G., Nettles, J., Scott, D. F., Stednick, J. & Wang, Y. (eds.). Wallingford: International Association of Hydrological Sciences (IAHS), p. 3-11 9 p. (IAHS Publication; no. 353).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

  • yield response
  • water yield
  • afforestation
  • catchment
  • comparison
• 2019

  Multi-Scale Convolutional-Stack Aggregation for Robust White Matter Hyperintensities Segmentation

  Li, H., Zhang, J., Muehlau, M., Kirschke, J. & Menze, B., 26 Jan 2019, Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries. Crimi, A., Bakas, S., Kuijf, H., Keyvan, F., Reyes, M. & van Walsum, T. (eds.). Switzerland: Springer Verlag, Vol. 11393. p. 199-207 9 p. (Lecture Notes in Computer Science; vol. 11383).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

  • Segmentation
  • Aggregation
  • Agglomeration
  • Spatial Information
  • Multiple Sclerosis
  127 Downloads (Pure)
• 2012

  A sonic screwdriver: acoustic angular momentum transfer for ultrasonic manipulation

  Demore, C., Yang, Z., Volovick, A., Wang, H., Cochran, S., MacDonald, M. & Spalding, G., 2012, 2011 IEEE INTERNATIONAL ULTRASONICS SYMPOSIUM (IUS). New York: IEEE Computer Society, p. 180-183 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  5 Citations (Scopus)
• 2013

  Using theory formation techniques for the invention of fictional concepts

  Cavello, F., Pease, A., Gow, J. & Colton, S., 2013, Proceedings of the fourth international conference on computational creativity, 2013: ICCC 2013 Sydney Australia. Maher, M. L., Veale, T., Saunders, R. & Brown, O. (eds.). Sydney: University of Sydney, Faculty of Architecture, Design and Planning, p. 176-183 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Patents and inventions
  • Animals
  • Experiments
• 2015

  Nonhuman life

  Woodward, A., 2015, Deleuze and the Non/Human. Roffe, J. & Stark, H. (eds.). Palgrave Macmillan, p. 25-41 15 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter
• 2013

  The Scottish Legal System

  White, R., Willock, I. & MacQueen, H., 2013, 5th ed. Hatwards Heath, West Sussex: Bloomsbury. 464 p.

  Research output: Book/Report › Book

  • legal system
  • act
  • civil justice
  • Legal services
  • arbitration
• 2019

  Improving Emergency Collision Avoidance with Vehicle to Vehicle Communications

  Knowles Flanagan, S., He, J. & Peng, X. H., 24 Jan 2019, 2018 IEEE 20th International Conference on High Performance Computing and Communications, IEEE 16th International Conference on Smart City; IEEE 4th International Conference on Data Science and Systems (HPCC/SmartCity/DSS 2018). Institute of Electrical and Electronics Engineers Inc., p. 1322-1329 8 p. 8622958

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Collision Avoidance
  • Vehicle to vehicle communications
  • Emergency
  • Collision avoidance
  • Safety
  2 Citations (Scopus)
• 2015

  Kindling the Singing Flame: The Burning of the Public Record Office (30 June 1922) as a Historical Problem

  Regan, J., 2015, In: Journal of the Old Athlone Society . 3, 10, p. 11-30 20 p.

  Research output: Contribution to journal › Article
• 2012

  Share valuation methods and data source-based accounting in an emerging stock market: the case of the Kuwaiti stock market

  Almujamed, H. I., Fifield, S. G. M. & Power, D. M., 2012, In: International Business and Economics Research Journal. 11, 7, p. 713-730 18 p.

  Research output: Contribution to journal › Article › peer-review

  • Stock Market
  • Emerging Stock Markets
  • Valuation Methods
  • Data Sources
  • Investors
• 2015

  Okul Öncesi Öğretmenlerinin Sınıfta Uyguladıkları Kurallar ve Çocukların Kurallara Yönelik Farkındalık Düzeyleri

  Karabay, S. O. & Asi, D., 2015, In: İnönü University Journal of the Faculty of Education. 16, 3, p. 69-86

  Research output: Contribution to journal › Article › peer-review

  • classroom
  • teacher
  • anger
  • penalty
  • management

• Venice Biennale: All The World's Futures

  Fagen, G., May 2015

  Research output: Non-textual form › Exhibition catalogue

  • Venice Biennale
  • Exhibition Catalogue
  • International Exhibitions
  • Biennials
  • Artist

• Functional characterization of piezocrystals monitored under high power driving conditions

  Liao, X., Sadiq, M., Jiang, T., Huang, Z. & Cochran, S., 13 Nov 2015, 2015 IEEE International Ultrasonics Symposium, IUS 2015. Institute of Electrical and Electronics Engineers, 7329320

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • characterization
  • single crystals
  • piezoelectric ceramics
  • performance
  • temperature

• The UNECE Water Convention viewed from the perspective of the SADC revised protocol on shared watercourses

  Kinna, R., 2015, The UNECE Convention on the Protection and Use of Transboundary Watercourses and International Lakes : its contribution to international water cooperation. Tanzi, A., McIntyre, O., Kolliopoulos, A., Rieu-Clarke, A. & Kinna, R. (eds.). Leiden: Brill Academic Publishers, p. 466-485 20 p. (International water law series; vol. 4).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter
• 2013

  Diabetes and schizophrenia: exploring the associations: determining the extent of diabetes and the quality of diabetes care within a clozapine (schizophrenia) clinic in Edinburgh

  Perera, S. M., Cochrane, L., Wang, Y., MacIntyre, D. J. & Wake, D., 2013.

  Research output: Contribution to conference › Poster
  5 Citations (Scopus)
• 2015

  NoSQL: Injection vaccination for a new generation

  Cobley, A., 13 Nov 2015, The Register.

  Research output: Contribution to specialist publication › Article
• 2013

  The Damon Herd Name Story

  Herd, D., 2013

  Research output: Book/Report › Book

  • Dama
  • herds
• 2015

  Parliaments and Mining Agreements: Reviving the Numbed Arm of Government

  Southalan, J. L., Bennett, M., Kusaasira, D., Oo, U. T. & Gabriel, L., 13 Apr 2015, 49 p. (IM4DC Action Research Report)

  Research output: Book/Report › Other report

  • parliament
  • regulation
  • government company
  • miner
  • cost-benefit analysis
• 2012

  ‘A critique of Alain Badiou’s denial of time in his philosophy of events’

  Williams, J., 2012, Badiou and Philosophy . Bowden, S. & Duffy, S. (eds.). Edinburgh: Edinburgh University Press, p. 113-131 19 p. (Critical Connections).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  2 Citations (Scopus)
• 2019

  “You Really Do Become Invisible”: Examining Older Adults’ Rights to Urban Environments in the UK

  Woolrych, R., Menezes, D., Sixsmith, J., Murray, M., Fisher, J., Lawthom, R., Garcia-Ferrari, S., Makita, M. & Smith, H., 22 May 2019.

  Research output: Contribution to conference › Paper › peer-review
• 2013

  An Economic Approach to Remedies in Private Competition Law Claims

  Dnes, S., 2013, Cross-Border EU Competition Law Actions. Danov, M., Becker, F. & Beaumont, P. (eds.). Oxford: Hart Publishing, p. 337-356 20 p. (Hart Studies in Competition Law; vol. 4).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • EU Competition Law
  • Competition Law
  • Litigation
  • Remedies
  • Cross-border
• 2019

  Writing Phenomenologically >< Phenomenology of Writing: Group Exhibition, Research Pavilion, Venice Biennale

  Mackenna, T., Jun 2019

  Research output: Non-textual form › Exhibition

  • Venice Biennale
  • Pavilion
  • Phenomenology
  • Language
  • Artistic Research
• 2015

  FutureEverything Singapore: International Festival, with associated Exhibition, Conference, Laboratory

  Hemment, D., Oct 2015

  Research output: Non-textual form › Exhibition

  • festival
  • Singapore
  • art
  • innovation
  • sleep

• Listening to children, young people and families involved in the child protection system in Scotland

  Kelly, L. & Jackson, S., 13 Apr 2015, British Association for the Prevention of Abuse and Neglect.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2013

  The role of propagation invariant light modes in single and multi-photon imaging

  Vettenburg, T., Dalgarno, H. I. C., Čižmár, T. & Dholakia, K., 6 Jun 2013, Proceedings of SPIE - The International Society for Optical Engineering: Complex Light and Optical Forces VII. SPIE-International Society for Optical Engineering, Vol. 8637. 86370I

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Light propagation
  • Photon
  • Photons
  • Fluorescence
  • Imaging
  1 Citation (Scopus)
• 2015

  Algebras and coalgebras in the light affine lambda calculus

  Gaboardi, M. & Péchoux, R., 29 Aug 2015, Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP. Association for Computing Machinery, Vol. 2015-August. p. 114-126 13 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Algebra
  • Polymorphism
  • Computational complexity
  • Functional programming
  • Computer programming languages
  1 Citation (Scopus)

• SpaceFibre: The standard, simulation, IP cores and test equipment

  Parkes, S. S., McClements, C., McLaren, D., Florit, A. F. & Villafranca, A. G., 1 Sep 2015, European Space Agency, (Special Publication) ESA SP. European Space Agency, Vol. SP-732.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Intellectual property core
  • test equipment
  • Standardization
  • standardization
  • Data handling
  1 Citation (Scopus)

• Researching strategists and their identity in practice: building ‘close-with’ relationships

  Balogun, J., Beech, N. & Johnson, P., 2015, Cambridge handbook of strategy as practice. Golsorkhi, D., Rouleau, L., Seidl, D. & Vaara, E. (eds.). 2nd ed. Cambridge: Cambridge University Press, p. 447-461 15 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Strategy as Practice
  • Praxis
  • Strategizing
  • Theorizing
  • Empirical Research
  4 Citations (Scopus)
• 2013

  Is agile the answer? the case of UK Universal Credit

  Michaelson, R., 2013, Grand Successes and Failures in IT. Private and Public Sectors: IFIP WG 8.6 International Working Conference on Transfer and Diffusion of IT, TDIT 2013, Bangalore, India, June 27-29, 2013. Proceedings. Dwivedi, Y. K., Henriksen, H. Z., Wastell, D. & De, R. (eds.). Berlin: Springer , p. 295-309 (IFIP Advances in Information and Communication Technology).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Agile Methods
  • IT Project
  • Credit
  • Software Development
  • Information Systems
• 2015

  Data separation of L1-minimization for real-time motion detection

  Liu, Y., Xiao, H., Zhang, Z., Xu, W., Zhang, M. & Zhang, J., 2015, Proceedings of the British Machine Vision Conference (BMVC). Xie, X., Jones, M. W. & Tam, G. K. L. (eds.). BMVA Press, 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2013

  Beta-secretase 1 (BACE1) inhibition improves obese and diabetic phenotypes in a leptin dependent manner

  Meakin, P. J., Jalicy, S. M., Irvine, S. W. & Ashford, M. L. J., 2013.

  Research output: Contribution to conference › Poster
• 2012

  Insider Attacks and Privacy of RFID Protocols

  Van Deursen, T. & Radomirović, S., 2012, Public Key Infrastructures, Services, and Applications: 8th European Workshop, EuroPKI 2011 Leuven, Belgium, September 15-16, 2011 Revised Selected Papers. Petkova-Nikova, S., Pashalidis, A. & Pernul, G. (eds.). Berlin: Springer Verlag, p. 91-105 15 p. (Lecture Notes in Computer Science ; vol. 7163 ).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Radio Frequency Identification
  • Privacy
  • Attack
  • Radio frequency identification (RFID)
  • Cryptography
  5 Citations (Scopus)

• Patient safety and simulation

  Mehta, R., Fitzpatrick, J. & Nabi, G., 2012, Surgical simulation. Dasgupta, P., Ahmed, K., Jaye, P. & Khan, M. S. (eds.). London: Anthem Press, p. 85-94 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Patient Simulation
  • Patient Safety
  • Delivery of Health Care
  • Patient Harm
  • National Academies of Science, Engineering, and Medicine (U.S.) Health and Medicine Division
• 2013

  Critical legal analysis of the national implementation of the Water Framework and Groundwater Directives: Lessons from the GENESIS project

  Allan, A., Hendry, S. & Tsagarakis, K., 26 Apr 2013, Proceedings of the 3rd International Conference on Water Economics, Statistics and Finance, Marbella, 24-26 April 2013. IWA Publishing, 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • directive
  • conflict of interests
  • diffuse pollution
  • institutional framework
  • groundwater

• Learning from partially annotated OPT images by contextual relevance ranking

  Li, W., Zhang, J., Zheng, W-S., Coats, M., Carey, F. A. & McKenna, S. J., 2013.

  Research output: Contribution to conference › Poster
• 2015

  Automating change of representation for proofs in discrete mathematics

  Raggi, D., Bundy, A., Grov, G. & Pease, A., 23 Jun 2015, Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015 Proceedings. Kerber, M., Carette, J., Kaliszyk, C., Rabe, F. & Sorge, V. (eds.). Springer , Vol. LNAI 9150. p. 227-242 16 p. (Lecture Notes In Computer Science; vol. 9150).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2013

  Understanding eating behaviour and lifestyle issues on women's health: implications for obesity development and prevention

  Anderson, A. S. & Craigie, A. M., 2013, Obesity: a ticking time bomb for reproductive health. Mahmood, T. & Arulkumaran, S. (eds.). London: Elsevier, p. 597-606 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter
  1 Citation (Scopus)
• 2019

  Estimating HbA1c from average blood glucose - accuracy of estimates based on paediatric clinic data

  Insyirah Mohd Amir, H., Alexander, V., Graham, S., McKenzie, L., Thom, H., Webster, C. & Conway, N., 30 Oct 2019.

  Research output: Contribution to conference › Poster › peer-review

  • Blood Glucose
  • Pediatrics
  • Proxy
  • Child
  • Linear Models
• 2012

  Effective governance across Central Asian boundaries: What lessons does the Central Asian transboundary watercourse management experience provide for mountain biodiversity conservation across the Kyrgyz-Tajik boundary?

  Lim, M., 2012, Transboundary Environmental Governance: Inland, Coastal and Marine Perspectives. Warner, R. & Marsden, S. (eds.). Ashgate, p. 113-140 28 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter
  2 Citations (Scopus)
• 2015

  Untangled modes in multimode fibres for flexible microendoscopy

  Plöschner, M., Tyc, T. & Čižmár, T., 23 Sep 2015, Optical Systems Design 2015: Computational Optics. Smith, D. G., Wyrowski, F. & Erdmann, A. (eds.). Bellingham: SPIE-International Society for Optical Engineering, 96300E. (Proceedings of SPIE; vol. 9630).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Multimode Fiber
  • Endoscope
  • Multimode fibers
  • endoscopes
  • Endoscopy
• 2013

  Planar particle trapping and manipulation with ultrasonic transducer arrays

  Wang, H., Qiu, Y., Demore, C., Cochran, S., Glynne-Jones, P. & Hill, M., 2013, Optics in the Life Sciences: OSA Technical Digest, Paper TW4D.2. Optical Society of America, p. TW4D.2

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • manipulators
  • transducers
  • trapping
  • ultrasonics
• 2012

  Ultrasonic cutting with resonance tracking and vibration stabilization

  Kuang, Y., Sadiq, M., Cochran, S. & Huang, Z., 2012.

  Research output: Contribution to conference › Paper
  5 Citations (Scopus)

• Tumour segmentation in breast tissue microarray images using spin-context

  Akbar, S., Amaral, T., McKenna, S. J., Thompson, A. & Jordan, L., 2012, Medical Image Understanding and Analysis 2012: Proceedings of the 16th Conference on Medical Image Understanding and Analysis, 9-11 July 2012, Swansea, United Kingdom. Xie, X. (ed.). British Machine Vision Association and Society for Pattern Recognition, p. 25-30 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2013

  IWRM in the Swedish Context: a voluntary move to IWRM principles or a legal necessity to comply with the European Union Water Framework Directive?

  Gooch, G. D. & Baggett, S., Jul 2013, In: International Journal of Water Governance. 1, 3-4, n/a.

  Research output: Contribution to journal › Article › peer-review

  • Water Framework Directive
  • European Union
  • county
  • participation
  • public participation