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)

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

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

  Arctic peatlands

  Minayeva, T., Sirin, A., Kershaw, P. & Bragg, O., 16 May 2018, The Wetland Book II: Distribution, Description, and Conservation. Springer Nature, Vol. 1. p. 275-288 14 p.

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

  • Permafrost
  • peatlands
  • Soil
  • Arctic region
  • peatland
  1 Citation (Scopus)
• 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
• 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
• 2018

  Poor Beasts

  Gunn, K., Jun 2018, The Land Agent: 1700-1920. Tindley, A., Rees, L. A. & Reilly, C. (eds.). Edinburgh: Edinburgh University Press, p. 249-255 7 p. (Scotland's Land).

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

• Chiari Malformations and Syringohydromyelia

  Robinson, L. C., Tubbs, R. S., Wellons, J. C. & Hankinson, T. C., 7 Feb 2018, Principles of Neurological Surgery. Ellenbogen, R. G., Sekhar, L. N. & Kitchen, N. (eds.). 4 ed. Philadelphia: Elsevier Inc., p. 170-182.e2 15 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter
  1 Citation (Scopus)
• 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
• 2020

  COX-2 inhibitors: Communication of accumulating risk evidence and a product withdrawal

  Rogers, A., Grieve, K. & MacDonald, T. M., 2020, Communicating about Risks and Safe Use of Medicines: Real Life and Applied Research. Bahri, P. (ed.). Singapore: Adis, p. 131-146 16 p.

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

  • Product Recalls and Withdrawals
  • rofecoxib
  • Cyclooxygenase 2 Inhibitors
  • Communication
  • History
• 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

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

  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

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

  Emoji Accessibility for Visually Impaired People

  Tigwell, G. W., Gorman, B. M. & Menzies, R., Apr 2020, CHI '20: Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems. New York: Association for Computing Machinery (ACM), 14 p. 3376267

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

  • Communication
  2 Citations (Scopus)
• 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)
• 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
• 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
• 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

• Alice and Bob Meet Equational Theories

  Basin, D., Keller, M., Radomirović, S. & Sasse, R., 2015, Logic, Rewriting and Concurrency : Essays Dedicated to Jose Meseguer on the Occasion of His 65th Birthday. Martí-Oliet, N., Csaba Ölveczky, P. & Talcott, C. (eds.). Switzerland: Springer International Publishing, p. 160-180 21 p. (Lecture Notes in Computer Science ; vol. 9200).

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

  • Cryptographic Protocols
  • Equational Theory
  • Specification
  • Secure Communication
  • Formal Verification
  3 Citations (Scopus)
• 2018

  Hands on with neural-network toolkit LIME: Come now, you sourpuss. You've got some explaining to do

  Cobley, A., 5 Nov 2018, The Register.

  Research output: Contribution to specialist publication › Article
• 2019

  Learning-Based Dynamic Pinning of Parallelized Applications in Many-Core Systems

  Chasparis, G. C., Janjic, V., Rossbory, M. & Hammond, K., 21 Mar 2019, Proceedings - 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2019. IEEE, p. 1-8 8 p. 8671569. (2019 27TH EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED AND NETWORK-BASED PROCESSING (PDP)).

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

  • Data storage equipment
  • Switching frequency
  • Computer operating systems
  • Linux
  • Program processors
  1 Citation (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)

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

  OGLE-2017-BLG-0406: ${\it Spitzer}$ Microlens Parallax Reveals Saturn-mass Planet orbiting M-dwarf Host in the Inner Galactic Disk

  Hirao, Y., Bennett, D. P., Ryu, Y-H., Koshimoto, N., Udalski, A., Yee, J. C., Sumi, T., Bond, I. A., Shvartzvald, Y., Abe, F., Barry, R. K., Bhattacharya, A., Donachie, M., Fukui, A., Itow, Y., Kondo, I., Li, M. C. A., Matsubara, Y., Matsuo, T., Miyazaki, S. & 74 others, Muraki, Y., Nagakane, M., Ranc, C., Rattenbury, N. J., Suematsu, H., Shibai, H., Suzuki, D., Tristram, P. J., Yonehara, A., Skowron, J., Poleski, R., Mroz, P., Szymanski, M. K., Soszynski, I., Kozlowski, S., Pietrukowicz, P., Ulaczyk, K., Rybicki, K., Iwanek, P., Albrow, M. D., Chung, S-J., Gould, A., Han, C., Hwang, K-H., Jung, Y. K., Shin, I-G., Zang, W., Cha, S-M., Kim, H-W., Kim, S-L., Lee, C-U., Lee, D-J., Lee, Y., Park, B-G., Pogge, R. W., Beichman, C. A., Bryden, G., Calchi Novati, S., Carey, S., Gaudi, B. S., Henderson, C. B., Zhu, W., Bachelet, E., Bolt, G., Christie, G., Hundertmark, M., Natusch, T., Maoz, D., McCormick, J., Street, R. A., Tan, T-G., Tsapras, Y., Jorgensen, U. G., Dominik, M., Bozza, V., Skottfelt, J., Snodgrass, C., Ciceri, S., Figuera Jaimes, R., Peixinho, N., Hinse, T. C., Burgdorf, M. J., Southworth, J., Rahvar, S., Sajadian, S., Rabus, M., von Essen, C., Fujii, Y. I., Campbell-White, J., Lowry, S., Helling, C., Mancini, L., Haikala, L. & Kandori, R., Apr 2020.

  Research output: Working paper

  File

  • parallax
  • Saturn
  • planets
  • light curve
  • kinematics
  12 Downloads (Pure)
• 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)

• 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