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
• 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
• 2016

  A case-study approach for managing risks and challenges when expanding in emerging markets

  Fragouli, E. & Nikolaidou, Z., 8 Sep 2016.

  Research output: Contribution to conference › Paper
• 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
• 2016

  Sustainable Construction Materials: Sewage Sludge Ash

  Dhir, R. K., Ghataora, G. S. & Lynn, C. J., 26 Oct 2016, Woodhead Publishing Limited. 288 p. (Woodhead Publishing Series in Civil and Structural Engineering)

  Research output: Book/Report › Book

• Double trouble diabetes – case report

  Fuchs, J., Goldman, R., Alexander, V. & Conway, N., 2016.

  Research output: Contribution to conference › Poster › peer-review
• 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)
• 2016

  Comparison of needle actuation transducers working in the d₃₁ and d₃₃ modes

  Jiang, T., Huang, Z., Cochran, S. & Xia, C., 3 Nov 2016, 2016 IEEE International Ultrasonics Symposium (IUS). IEEE Computer Society, Vol. 2016-November. p. 1-4 4 p. 7728625

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

  • actuation
  • needles
  • transducers
  • performance
  • anesthesia
  1 Citation (Scopus)
• 2015

  NoSQL: Injection vaccination for a new generation

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

  Research output: Contribution to specialist publication › Article

• 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)
• 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
• 2016

  Children's experiences of science beyond schools: An exploration of children and young people’s experiences of, and attitudes to, learning science outside the school environment using children’s voice approaches, framed within the United Nations Convention on the Rights of the Child.

  Boath, L., 20 Jun 2016.

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

  • convention on the rights of the child
  • UNO
  • learning
  • experience
  • totality

• Economic Insecurity as a Socioeconomic Determinant of Mental Health

  Kopasker, D., 22 Aug 2016. 29 p.

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

  • Mental Health
  • Socio-economics
  • Economics
  • British Household Panel Survey
  • Realized Volatility
• 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
• 2016

  Apache not a loser

  Cobley, A., 6 Jun 2016, The Register.

  Research output: Contribution to specialist publication › Article

• Proof relevant corecursive resolution

  Fu, P., Komendantskaya, E., Schrijvers, T. & Pond, A., 2016, FLOPS 2016: Functional and Logic Programming. Kiselyov, O. & King, A. (eds.). Switzerland: Springer Verlag, p. 126-143 18 p. (Lecture Notes in Computer Science; vol. 9613).

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

  • Logic programming
  • Heuristic methods
  • Cycle
  • Meaning
  • Heuristic Method
  16 Citations (Scopus)

• Dual-specificity MAP kinase (MAPK) phosphatases (MKPs) and their involvement in cancer

  Kidger, A. M. & Keyse, S. M., 1 Jan 2016, Protein Tyrosine Phosphatases in Cancer. Neel, B. G. & Tonks, N. K. (eds.). New York: Springer New York, p. 201-231 31 p.

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

  • Mitogen-Activated Protein Kinase Phosphatases
  • Phosphoric Monoester Hydrolases
  • Phosphotransferases
  • Oncology
  • Neoplasms
  4 Citations (Scopus)

• Lapedo: Hybrid skeletons for programming heterogeneous multicore machines in Erlang

  Janjic, V., Brown, C. & Hammond, K., 2016, Parallel Computing: On the Road to Exascale. Peters, F., Parsons, M., Sawyer, M., Leather, H. & Joubert, G. R. (eds.). IOS Press, Vol. 27. p. 185-195 11 p. (Advances in Parallel Computing; vol. 27).

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

  • Graphics processing unit
  • Program processors
  • Data storage equipment
  6 Citations (Scopus)
• 2013

  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)
• 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
• 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