Find Research outputs

Search results

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

  Neutron reflectivity as a tool for physics-based studies of model bacterial membranes

  Barker, R. D., McKinley, L. E. & Titmuss, S., 19 May 2016, Biophysics of infection. Leake, M. C. (ed.). Springer International Publishing, p. 261-282 22 p. (Advances in experimental medicine and biology; vol. 915).

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

  • Neutrons
  • Physics
  • Membranes
  • Peptides
  • Benchmarking
  3 Citations (Scopus)
• 2015

  A type-theoretic approach to resolution

  Fu, P. & Komendantskaya, E., 2015, Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. Falaschi, M. (ed.). Springer International Publishing, p. 91-106 16 p. (Lecture notes in computer science ; vol. 9527).

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

  • Logic programming
  • Query
  • Productivity
  • Program Transformation
  • Horn clause
  3 Citations (Scopus)

• 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

  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

  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

  WO2013076439 A1 - Apparatus for destroying solid tumours in-situ

  Wang, Z., Cuschieri, A., Brown, S. & Coleman, S., 30 May 2013, IPC No. WO2013076439 A1, Patent No. WO2013076439 A1

  Research output: Patent

  • tumors
  • electrodes
  • radio frequencies
  • death
  • causes

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

  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

• Entry on: "Prescription"

  Ruda, F., Jul 2015, The Badiou Dictionary. Corcoran, S. (ed.). Edinburgh: Edinburgh University Press, p. 260-266 7 p. (Philosophical Dictionaries).

  Research output: Chapter in Book/Report/Conference proceeding › Entry for encyclopedia/dictionary

• Caring for People with a Learning Disability or Complex Care Needs: An Evaluation of a Student Selected Component for Medical Students

  Christie, P., Keith, G. & Hogg, G., 15 Dec 2015, In: Health and Social Care Education. p. 1-7 7 p.

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

  • learning disability
  • medical student
  • evaluation
  • student
  • disability

• A Systematic Review of Shock Advertising

  Auxtova, K., Brennan, M. & Ho, M., 2015, The Academy of Marketing 2015 Conference Proceedings. Limerick: University of Limerick, 10 p.

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

  • Systematic Review
  • Nature
  • Academic Research
  • Inconsistency
  • Data Base

• Modern Languages in Scotland: Learner Uptake and Attainment 1996-2014

  Scott, J., 1 Jun 2015, In: Scottish Languages Review. Spring/Summer, 29, p. 11-26 16 p.

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

  Open Access

  File

  • political governance
  • governance
  • quantitative method
  • qualitative method
  • evidence
  139 Downloads (Pure)

• Apparitions: Frottages and Rubbings from 1860 to Now, Hammer Museum, Los Angeles

  Pesenti, A. & Myles, S., 2015

  Research output: Non-textual form › Exhibition
• 2019

  The EU Referendum 2016 Dataset

  Carvalho, E., Winters, K. & Oliver, T., 12 Mar 2019, The Qualitative Election Study of Britain.

  Research output: Other contribution

  • referendum
  • election research
  • EU
  • interview
  • campaign
• 2013

  Generation of tunable visible picosecond pulses by frequency-doubling of a quantum-dot laser in a PPKTP waveguide

  Fedorova, K. A., Sokolovskii, G. S., Nikitichev, D. I., Battle, P. R., Livshits, D. & Rafailov, E. U., 2013, Nonlinear Frequency Generation and Conversion: Materials, Devices, and Applications XII. Vodopyanov, K. L. (ed.). Bellingham: SPIE-International Society for Optical Engineering, 6 p. 860406. (Proceedings of SPIE; vol. 8604).

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

  SPHERE House Visualisation: Exhibition, MediaWall, Bath Spa University, Bath, UK

  Head, A., Nov 2016

  Research output: Non-textual form › Exhibition

  File

  • Bath
  • Visualization
  • Bristol
  • 3D Model
  • Public Engagement
  3 Downloads (Pure)
• 2015

  EU Member States under the Spotlight: Incorporating Human Rights into the Investment Strategies: 2014 Non-Financial Rating of the 28 EU Member States

  Carvalho, E., Fagan, A., Firmin, J. & Piquer, H. C., Mar 2015, Paris: International Federation for Human Rights .

  Research output: Book/Report › Commissioned report

• Order-Maintenance in Kosovo: The EU as an Increasingly Comprehensive Police Actor?

  Rozee, S., 2015, In: European Foreign Affairs Review. 20, 1, p. 97-114

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

  • Kosovo
  • police
  • EU
  • crime fighting
  • constitutional state
  4 Citations (Scopus)
• 2016

  Slow residency in a 'taskscape': the haunting process of critical reflection and creative experimentation whilst living in the same place as the people and things I study.

  Donkers, L., 24 Nov 2016, ‘Being in Place’ PG Researchers Conference with Land2, Duncan of Jordanstone College of Art & Design, University of Dundee, Scotland. University of Dundee

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

  • Critical Reflection
  • Haunting
  • Experimentation
  • Reverberation
  • Animate

• Over Ice

  Baxter, K., 2016

  Research output: Non-textual form › Digital or Visual Products

  • ice cap
  • watercourse
  • ice
  • coast

• An Internet of Soft Things

  Briggs-Goode, A., Glazzard, M., Walker, S. & Lucas, R., Oct 2016, Futurescan 3 : Intersecting Identities. Britt, H., Morgan, L. & Walton, K. (eds.). Loughborough University, 10 p.

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

  • Internet
  • research project
• 2013

  Mary Lily Walker 1853-1913: Forgotten Visionary of Dundee

  Small, E., 24 Jun 2013, Dundee: Dundee University Press. 224 p.

  Research output: Book/Report › Book

• Education investment effects of affirmative action policy. Contest game argument

  Kwiatkowski, A., 2013, Dundee: University of Dundee, Department of Economic Studies , 28 p. (Dundee Discussion Papers in Economics; no. 279).

  Research output: Working paper › Discussion paper

  • Affirmative Action
  • Investment in Education
  • Contests
  • Equal Treatment
  • Investment Incentives
• 2015

  External Skull

  Black, S., 25 Sep 2015, Gray's Anatomy: the anatomical basis of clinical practice. Standring, S. (ed.). 41 ed. London: Elsevier, p. 416-428 13 p.

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

• The full range of Volunteering: Views on Palliative Care Volunteering from seven countries as gathered in March 2014 in Bonn, Germany

  Radbruch, L. (ed.), Hesse, M. (ed.), Pelttari, L. (ed.) & Scott, R. (ed.), 2015, Bonn: Pallia Med Verlag. 161 p.

  Research output: Book/Report › Book
• 2016

  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)

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

• Double trouble diabetes – case report

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

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

• Impact of financial crisis on organizational behavior & job satisfaction: How can corporate leadership assist?

  Fragouli, E., 6 Apr 2016, 3rd International Open Conference on Business & Public Administration 2016: Conference Proceedings. Giannias, D. A. & Sfakianaki, E. (eds.). Greece: Hellenic Open University, p. 65-75 11 p.

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

  • Organizational Behaviour
  • Employees
  • Job Satisfaction
  • Financial Crisis
  • Employee Satisfaction

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

• Improving the physical condition of Scotland’s water environment

  Hendry, S., Apr 2015, In: Scottish Planning and Environmental Law. 168, p. 30 1 p.

  Research output: Contribution to journal › Comment/debate

  • consultation
  • physical conditions
  • water
• 2016

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

• 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

• 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

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

  Reforesting severely degraded grassland in the Lesser Himalaya of Nepal: Effects on soil hydraulic conductivity and overland flow production

  Ghimire, C. P., Bonell, M., Bruijnzeel, L. A., Coles, N. A. & Lubczynski, M. W., Dec 2013, In: Journal of Geophysical Research: Earth Surface. 118, 4, p. 2528-2545

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

  • hydraulic conductivity
  • pine
  • grassland
  • pasture
  • reforestation
  29 Citations (Scopus)

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

  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)