Edinburgh Research Explorer

Centre for Intelligent Systems and their Applications

Organisational unit: Research Institute

  1. 2019
  2. 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

  3. 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

  4. 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

  5. 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

  6. 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

  7. 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

  8. 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

  9. 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

  10. 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

  11. 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

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