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)

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

• 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

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

  Effects of Nutrition on the Development of Higher-Order Cognition

  Willatts, P., 2018, Recent Research in Nutrition and Growth. Colombo, J., Koletzko, B. & Lampl, M. (eds.). Switzerland: Karger, Vol. 89. p. 175-184 10 p. (Nestle Nutrition Institute Workshop Series).

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

  • cognition
  • Docosahexaenoic Acids
  • docosahexaenoic acid
  • Cognition
  • nutrition
  4 Citations (Scopus)
• 2015

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

  Behind the Rhetorical Scenes of Offence: A Rhetorical Analysis of Complained-about Offensive Ads

  Auxtova, K., 2018.

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

  • Rhetoric
  • Ethos
  • Complaints
  • Authority
• 2016

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

  The Blind & Deaf Highway Woman

  Sellbach, U. & Loo, S., Mar 2019

  Research output: Non-textual form › Performance
• 2018

  Ici & Là-bas: (20% Off)

  Peter, M., Afif, S., Maghrebi, A. & Peres, P., 2018, Berlin : Lyrics Records.

  Research output: Other contribution

  • Lyrics
  • Artwork
  • Artistic Practice
  • Mutation
  • Art

• Co-design of BRIGHT Trial: Brushing RemInder 4 Good oral HealTh intervention

  Dey, D., Innes, N., Marshman, Z., Kellar, I., Chestnutt, I. G., Day, P., Kellar, I. & Redout, A., Nov 2018.

  Research output: Contribution to conference › Abstract › peer-review
• 2015

  Nerves and nerve injuries: Vol 1: history, embryology, anatomy, imaging, and diagnostics

  Tubbs, R. S., Rizk, E., Shoja, M. M., Loukas, M., Barbaro, N. & Spinner, R. J., 23 Apr 2015, Elsevier. 673 p.

  Research output: Book/Report › Book

  • Embryology
  • Diagnostic Imaging
  • Anatomy
  • History
  • Wounds and Injuries
  13 Citations (Scopus)

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

• The ClearPET/XPAD prototype: Development of a simultaneous PET/CT scanner for mice

  Hamonet, M., Dupont, M., Fabiani, T., Cassol, F., Boursier, Y., Bonissent, A., Debarbieux, F., Pottier, G., Bidaut, L. & Morel, C., 3 Oct 2016, 2015 IEEE Nuclear Science Symposium and Medical Imaging Conference, NSS/MIC 2015. Institute of Electrical and Electronics Engineers Inc., p. 1-3 3 p. 7582074

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

  • Computerized tomography
  • Phantoms
  • mice
  • scanners
  • X rays
  1 Citation (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)
• 2018

  Social work education: A (hi-)story in two halves

  McCulloch, T., 2018, Social Work in a Changing Scotland. Cree, V. E. & Smith, M. (eds.). Routledge, p. 98-107 10 p. (Student Social Work).

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

  • social work
  • education
  • decentralization
  • reform
  • Ideologies
• 2016

  Double trouble diabetes – case report

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

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

  Saâdane Afif Paroles: (Songbook)

  Peter, M. & Gray, Z., 2018, Triangle Books. 316 p.

  Research output: Book/Report › Book

  • Parole
  • Song
  • Poetry
  • Original Language
  • Keystone
• 2016

  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

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

• The establishment of an iPad user group for adults with aphasia

  Black, R., Waller, A., Hunter, L., Hanschell, A., Gasowski, E. & Gowland, H., Sep 2015.

  Research output: Contribution to conference › Other

  • Aphasia
  • Focus Groups
  • Language Therapy
  • Speech Therapy
  • Public Opinion

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

  Developing a novel system to support language acquisition in children with CCN: An ethnographic study

  Norrie, C., Waller, A. & Zhang, J., 21 Jul 2018, p. 269-270.

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

  Open Access

  File

  • Language
  • Communication
  • Child
  • User centered design
  • Vocabulary
  49 Downloads (Pure)
• 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
• 2018

  Different ways of educating new teachers: opportunities for mentoring the mentors

  Boath, L. & Shimi, J., 21 Nov 2018.

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

  • mentoring
  • teacher
  • education
  • induction
  • coaching

• Teaching for transformation: higher education institutions, critical pedagogy and social impact

  Jupp Kina, V. & McEwan-Short, J., 2 Jun 2018, Paulo Freire and transformative education : changing lives and transforming communities. Melling, A. & Pilkington, R. (eds.). Palgrave Macmillan, p. 231-243 13 p.

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

  • social effects
  • political development
  • social development
  • Teaching
  • education
  5 Citations (Scopus)
• 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
• 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)
• 2016

  Detection of reactive oxygen species

  Adegoke, O. & Forbes, P. B. C., 1 Jun 2016, Reactive Oxygen Species in Biology and Human Health. Ahmad, S. I. (ed.). 1 ed. CRC Press, p. 17-24 8 p.

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

  • Fluorophores
  • Reactive Oxygen Species
  • Fluorescent Dyes
  • Coloring Agents
  • Semiconductors

• Introduction: The Internal Energy Market: Redefining Objectives

  Cameron, P., 27 Oct 2016, Legal Aspects of EU Energy Regulation: The Consolidation of Energy Law Across Europe. Cameron, P. D. & Heffron, R. J. (eds.). 2nd ed. Oxford: Oxford University Press, p. 3-31 29 p.

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

  • energy market
  • market
  • low carbon economy
  • audit
  • project