Edinburgh Research Explorer

Centre for Intelligent Systems and their Applications

Organisational unit: Research Institute

  1. 2019
  2. We may not cooperate with friendly machines

    Rovatsos, M., 12 Nov 2019, In : Nature Machine Intelligence. 2 p.

    Research output: Contribution to journalComment/debate

  3. A Common Type of Rigorous Proof that Resists Hilbert’s Programme

    Bundy, A. & Jamnik, M., 28 Oct 2019, Proof Technology in Mathematics Research and Teaching. Springer-Verlag GmbH, p. 59-71 11 p. (Mathematics Education in the Digital Era; vol. 14).

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

  4. The quest for interpretable and responsible artificial intelligence

    Belle, V., 18 Oct 2019, In : The Biochemist. 41, 5, p. 16-19 4 p.

    Research output: Contribution to journalArticle

  5. User Involvement in the Design of a Data-Driven Self-Management Decision Support Tool for Stroke Survivors

    Balatsoukas, P., Porat, T., Sassoon, I., Essers, K., Kokciyan, N., Chapman, M., Drake, A., Modgil, S., Ashworth, M., Sklar, E., Parsons, S. & Curcin, V., 10 Oct 2019, Proceedings of the IEEE EUROCON 2019 -18th International Conference on Smart Technologies. Institute of Electrical and Electronics Engineers (IEEE), p. 1-6 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. To what extent can new web-based technology improve forecasts? Assessing the economic value of information derived from Virtual Globes and its rate of diffusion in a financial market

    Green, L., Sung, M-C., Ma, T. & Johnson, JE. V., 1 Oct 2019, In : European Journal of Operational Research. 278, 1, p. 226-239 14 p.

    Research output: Contribution to journalArticle

  7. Toward Fairness, Morality and Transparency in Artificial Intelligence through Experiential AI

    Hemment, D., Belle, V., Aylett, R., Murray-Rust, D., Pschetz, L. & Broz, F., 1 Oct 2019, In : Leonardo. 52, 5, 2 p.

    Research output: Contribution to journalEditorial

  8. Journeys in mathematical landscapes: genius or craft?

    Lane, L., Martin, U., Murray-Rust, D., Pease, A. & Tanswell, F., Oct 2019, Proof Technology in Mathematics Research and Teaching. Hanna, G., Reid, D. & de Villiers, M. (eds.). Springer, p. 197-212 16 p. (Mathematics education in the digital era).

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

  9. Interventions and Counterfactuals in Tractable Probabilistic Models

    Papantonis, G. & Belle, V., 30 Sep 2019, (Accepted/In press). 13 p.

    Research output: Contribution to conferencePaper

  10. Logical Interpretations of Autoencoders

    Fuxjaeger, A. & Belle, V., 30 Sep 2019, (Accepted/In press). 12 p.

    Research output: Contribution to conferencePaper

  11. PAC + SMT

    Mocanu, I., Belle, V. & Juba, B., 30 Sep 2019, (Accepted/In press). 11 p.

    Research output: Contribution to conferencePaper

  12. Tractable Probabilistic Models for Moral Responsibility

    Hammond, L. & Belle, V., 30 Sep 2019, (Accepted/In press). 18 p.

    Research output: Contribution to conferencePaper

  13. Climate Data Access: Re-thinking our Data Analysis Workflows

    Page, C. M., Plieger, M., Cerff, W. S., de Vreede, E., Drost, N., Klampanos, I. A., Karkaletsis, V., Atkinson, M. & Pivan, X., 24 Sep 2019.

    Research output: Contribution to conferencePoster

  14. Efficient Influence Maximization Under Network Uncertainty

    Eshgi, S., Maghsudi, S., Restocchi, V., Stein, S. & Tassiulas, L., 23 Sep 2019, IEEE INFOCOM 2019 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS). Institute of Electrical and Electronics Engineers (IEEE), p. 365-371 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  15. Argumentation-based Decision Support for Patient Self-Management

    Sassoon, I., Kokciyan, N., Young, A. P., Modgil, S. & Sklar, E., 11 Sep 2019. 3 p.

    Research output: Contribution to conferencePaper

  16. Explainable Argumentation for Wellness Consultation

    Sassoon, I., Kökciyan, N., Sklar, E. & Parsons, S., 11 Sep 2019, Explainable, Transparent Autonomous Agents and Multi-Agent Systems. Calvaresi, D., Najjar, A., Schumacher, M. & Främling, K. (eds.). Cham: Springer International Publishing AG, p. 186-202 17 p. (Lecture Notes in Computer Science (LNCS); vol. 11763).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  17. Implicitly learning to reason in first-order logic

    Belle, V. & Juba, B., 4 Sep 2019, (Accepted/In press) Thirty-third Conference on Neural Information Processing Systems (NeurIPS 2019). 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  18. A Collaborative Decision Support Tool for Managing Chronic Conditions

    Kokciyan, N., Chapman, M., Balatsoukasb, P., Sassoon, I., Essers, K., Ashworth, M., Curcin, V., Modgil, S., Parsons, S. & Sklar, E. I., 24 Aug 2019, MEDINFO 2019: Health and Wellbeing e-Networks for All. Ohno-Machado, L. & Séroussi, B. (eds.). IOS Press, p. 644-648 5 p. (Studies in Health Technology and Informatics; vol. 264).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  19. Characterisation of breathing and physical activity patterns in the general population using the wearable Respeck monitor

    Arvind, D. K., Fischer, D., Bates, A. & Kinra, S., 23 Aug 2019, (Accepted/In press) Proceedings of BODYNETS 2019 – 14th EAI International Conference on Body Area Networks. Springer, 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  20. S2C2: Toward an App to Support Social StoryTM Comprehension Checking in Children with ASD

    Constantin, A., Georgiou, N., Alexandru, C. & Korte, J., 23 Aug 2019, Human-Computer Interaction - INTERACT 2019: 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2-6, 2019, Proceedings, Part I. Lamas, D., Loizides, F., Nacke, L., Petrie, H., Winckler, M. & Zaphiris, P. (eds.). Springer, Cham, p. 153-160 8 p. ( Lecture Notes in Computer Science; vol. 11746).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  21. Harnessing Interdisciplinarity to Promote the Ethical Design of AI Systems

    Patel, M., Webb, H., Jirotka, M., Davoust, A., Gales, R., Rovatsos, M. & Koene, A., 15 Aug 2019, (Accepted/In press) European Conference on the Impact of Artificial Intelligence and Robotics : 31 October–1 November 2019, EM-Normandie Business School, Oxford, UK. 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  22. Implicitly Learning to Reason in First-Order Logic

    Belle, V. & Juba, B., 12 Aug 2019. 7 p.

    Research output: Contribution to conferencePaper

  23. ChangeIt: Toward an App to Help Children with Autism Cope with Changes

    Varnava, V., Constantin, A. & Alexandru, C., 9 Aug 2019, International Conference Interfaces and Human Computer Interaction 2019 (part of MCCSIS 2019). Blashki, K. & Xiao, Y. (eds.). Internal Association for Development of the Information Society, p. 348-352 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  24. Learning Probabilistic Logic Programs over Continuous Data

    Speichert, S. & Belle, V., 26 Jul 2019, (Accepted/In press) Inductive Logic Programming: 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings. 17 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  25. Active provenance for Data-Intensive workflows: engaging users and developers

    Spinuso, A., Atkinson, M. & Magnoni, F., 24 Jul 2019, (Accepted/In press) Proceedings of the IEEE eScience 2019 proceedings. Institute of Electrical and Electronics Engineers (IEEE), 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  26. DARE: A Reflective Platform Designed to Enable Agile Data-Driven Research on the Cloud

    Klampanos, I., Davvetas, A., Gemünd, A., Atkinson, M., Koukourikos, A., Filgueira Vicente, R., Krause, A., Spinuso, A., Charalambidis, A., Magnoni, F., Casarotti, E., Pagé, C. M. & Lindner, M., 24 Jul 2019, (Accepted/In press) Proceedings of the IEEE eScience 2019 proceedings. Institute of Electrical and Electronics Engineers (IEEE), 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  27. Towards a computer-interpretable actionable formal model to encode data governance rules

    Zhao, R. & Atkinson, M., 24 Jul 2019, (Accepted/In press) Proceedings of the IEEE eScience 2019 proceedings. Institute of Electrical and Electronics Engineers (IEEE), 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  28. Comparing the effectiveness of deep feedforward neural networks and shallow architectures for predicting stock price indices

    Orimoloye, L. O., Sung, M-C., Ma, T. & Johnson, J. E. V., 23 Jul 2019, In : Expert Systems with Applications. 139, 44 p., 112828.

    Research output: Contribution to journalArticle

  29. Landscape Summary: Bias in Algorithmic Decision-Making: What is bias in algorithmic decision-making, how can we identify it, and how can we mitigate it?

    Rovatsos, M., Mittelstadt, B. & Koene, A., 19 Jul 2019, UK Government. 70 p.

    Research output: Book/ReportCommissioned report

  30. A Responsive Engagement Approach to Promote the Development of ‘Fairer’ Algorithms

    Webb, H., Davoust, A., Rovatsos, M., Patel, M., Koene, A. & Jirotka, M., 15 Jul 2019, (Accepted/In press) European Conference on the Impact of Artificial Intelligence and Robotics: 31 October–1 November 2019, EM-Normandie Business School, Oxford, UK. 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  31. Is there a Function for a Sex Pheromone Precursor?

    Vasieva, O. & Goryanin, I., 13 Jul 2019, In : Journal of Integrative Bioinformatics. p. 1-12 12 p.

    Research output: Contribution to journalArticle

  32. Comprehensible Control for Researchers and Developers facing Data Challenges

    Atkinson, M., Filgueira Vicente, R., Klampanos, I., Koukourikos, A., Krause, A., Magnoni, F., Page, C. M., Rietbrock, A. & Spinuso, A., 10 Jul 2019, (Accepted/In press) Proceedings IEEE eScience 2019: 15th International Conference. Sand Diego, California, USA, 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  33. A scaling-up strategy supporting the expansion of integrated care: a study protocol

    Grooten, L., Alexandru, C., Alhambra-Borrás, T., Anderson, S., Avolio, F., Cotanda, E. V., Gütter, Z., Henderson, D., Kassberg, A-C., de Manuel Keenoy, E., Lange, M., Lundgren, L., Pavlickova, A., Suarez, J. T., Whitehouse, D., Zabala, A. F., Rementeria, J. I. Z. & Vrijhoef, H. J. M., 20 Jun 2019, In : Journal of Integrated Care. 27, 3, p. 215-231 17 p.

    Research output: Contribution to journalArticle

  34. Using simple PID-inspired controllers for online resilient resource management of distributed scientific workflows

    Silva, R. F. D., Filgueira, R., Deelman, E., Pairo-Castineira, E., Overton, I. M. & Atkinson, M. P., Jun 2019, In : Future Generation Computer Systems. 95, p. 615 - 628 14 p.

    Research output: Contribution to journalArticle

  35. “It would be pretty immoral to choose a random algorithm”: Opening up algorithmic interpretability and transparency

    Webb, H., Patel, M., Rovatsos, M., Davoust, A., Ceppi, S., Koene, A., Dowthwaite, L., Portillo, V., Jirotka, M. & Cano, M., 13 May 2019, In : Journal of Information, Communication & Ethics in Society. 17, 2, 25 p.

    Research output: Contribution to journalArticle

  36. Computational Argumentation-based Clinical Decision Support

    Chapman, M., Balatsoukas, P., Ashworth, M., Curcin, V., Kökciyan, N., Essers, K., Sassoon, I., Modgil, S., Parsons, S. & Sklar, E. I., 8 May 2019, Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, p. 2345-2347 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  37. Using Crowdsourcing to Foster Creativity in Children with Autism during Idea Generation

    Constantin, A., Alexandru, C. & Dragomir, M., 4 May 2019. 5 p.

    Research output: Contribution to conferencePaper

  38. "Why is the Doctor a Man?" Reactions of Older Adults to a Virtual Training Doctor

    Constantin, A., Lai, C., Farrow, E., Alex, B., Pel-Littel, R., Nap, H. H. & Jeuring, J., 2 May 2019, Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems. Glasgow, Scotland UK, 6 p. LBW1719. (CHI EA '19).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  39. Expecting the Unexpected in Participatory Design

    Constantin, A., Korte, J., Fails, J. A., Alexandru, C., Dragomir, M., Pain, H., Good, J., Garzoto, F., Eriksson, E. & Waller, A., 2 May 2019, Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems. 4 p. SIG07

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  40. Single chamber air-cathode microbial fuel cells as biosensors for determination of biodegradable organics

    Lóránt, B., Gyalai-Korpos, M., Goryanin, I. & Tardy, G. M., May 2019, In : Biotechnology letters. 41, 4-5, p. 555-563 9 p.

    Research output: Contribution to journalArticle

  41. A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference

    Papapanagiotou, P. & Fleuriot, J., 22 Apr 2019, Logic-Based Program Synthesis and Transformation. Mesnard, F. & Stuckey, P. J. (eds.). Cham: Springer International Publishing, p. 77-93 17 p. (LNCS; vol. 11408).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  42. Experiential AI

    Hemment, D., Aylett, R., Belle, V., Murray-Rust, D., Luger, E., Hillston, J., Rovatsos, M. & Broz, F., 1 Apr 2019, AI Matters, 5, 1, p. 25-31 7 p.

    Research output: Contribution to specialist publicationArticle

  43. Statistical properties of volume and calendar effects in prediction markets

    Restocchi, V., McGroarty, F. & Gerding, E., 29 Mar 2019, In : Physica a-Statistical mechanics and its applications. 20 p.

    Research output: Contribution to journalArticle

  44. Transmission errors and influence maximization in the voter model

    Brede, M., Restocchi, V. & Stein, S., 15 Mar 2019, In : Journal of Statistical Mechanics: Theory and Experiment. 15 p., 033401.

    Research output: Contribution to journalArticle

  45. Explanation in mathematical conversations: An empirical investigation

    Pease, A., Aberdein, A. & Martin, U., Mar 2019, In : Philosophical Transactions A: Mathematical, Physical and Engineering Sciences. 377, 2140, p. 1-25 25 p.

    Research output: Contribution to journalArticle

  46. Application of artificial intelligence in microwave radiometry (MWR)

    Galazis, C., Vesnin, S. & Goryanin, I., 24 Feb 2019, Proceedings of the 12th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 4: BIOINFORMATICS. De Maria, E., Gamboa, H. & Fred, A. (eds.). SCITEPRESS, Vol. 4. p. 112-122 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  47. Agent-based modelling of Pattern Formation in Pluripotent Stem Cells: Initial Experiments and Results

    Wang, M., Robertson, D., Blin, G., Lowell, S. & Tsanas, T., 1 Feb 2019, Proceedings - 2018 11th International Congress on Image and Signal Processing, BioMedical Engineering and Informatics, CISP-BMEI 2018. Li, Q., Li, W. & Wang, L. (eds.). Institute of Electrical and Electronics Engineers Inc., 8633048

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  48. The stylized facts of prediction markets: Analysis of price changes

    Restocchi, V., McGroarty, F. & Gerding, E., Feb 2019, In : Physica a-Statistical mechanics and its applications. 515, p. 159 - 170 12 p.

    Research output: Contribution to journalArticle

  49. Let's Call it Quits: Break-Even Effects in the Decision to Stop Taking Risks

    Fraser-Mackenzie, P. A. F., Ma, T., Sung, M-C. & Johnson, J. E. V., 16 Jan 2019, In : Risk analysis. 22 p.

    Research output: Contribution to journalArticle

  50. Argumentation theory for mathematical argument

    Corneli, J., Martin, U., Murray-Rust, D., Nesin, G. R. & Pease, A., 4 Jan 2019, In : Argumentation. p. 1-42 42 p.

    Research output: Contribution to journalArticle

  51. Automating Event-B invariant proofs by rippling and proof patching

    Lin, Y., Bundy, A., Grov, G. & Maclean, E., 2 Jan 2019, In : Formal Aspects of Computing. p. 1-35 35 p.

    Research output: Contribution to journalArticle

Previous 1 2 3 4 5 6 7 8 ...26 Next