Edinburgh Research Explorer

Centre for Intelligent Systems and their Applications

Organisational unit: Research Institute

  1. 2018
  2. Correct-by-construction Process Composition Using Classical Linear Logic Inference

    Papapanagiotou, P. & Fleuriot, J., 11 Sep 2018, 28th International Symposium on Logic-Based Program Synthesis and Transformation. Frankfurt am Main, Germany, 16 p.

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

  3. ABC Repair System for Datalog-like Theories

    Li, X., Bundy, A. & Smaill, A., Sep 2018, 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management. Seville, Spain: SCITEPRESS, Vol. 2. p. 335-342 8 p.

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

  4. Understanding situated energy values in rural Kenya

    Pschetz, L., Magill, C., Klein, E., Cross, J. & van der Horst, D., 30 Aug 2018, DRS Conference Proceedings 2018. DRS, Vol. 2. p. 729-746

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

  5. Automated Reasoning in the Age of the Internet

    Bundy, A., Nuamah, K. & Lucas, C., 22 Aug 2018, 13th International Conference on Artificial Intelligence and Symbolic Computation. Suzhou, China: Springer, Cham, Vol. LNAI 11110. p. 3-18 16 p.

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

  6. Machine Learning for Automated Inductive Theorem Proving

    Jiang, Y., Papapanagiotou, P. & Fleuriot, J., 22 Aug 2018, Proceedings of the 13th International Artificial Intelligence and Symbolic Computation (AISC) Conference 2018 : Lecture Notes in Artificial Intelligence, Volume 11110, pages 87-103, 2018. Suzhou, China: Springer, Cham, p. 87-103 16 p.

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

  7. The temporal evolution of mispricing in prediction markets

    Restocchi, V., McGroarty, F. & Gerding, E., 11 Aug 2018, In : Finance Research Letters. 5 p.

    Research output: Contribution to journalArticle

  8. Computer-Assisted Theorem Proving in Synthetic Geometry

    Narboux, J., Janicic, P. & Fleuriot, J., 1 Aug 2018, Handbook of Geometric Constraint Systems Principles . 1st ed. New York, USA: Chapman and Hall/CRC, p. 21-60 39 p.

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

  9. Use of Microwave Radiometry to Monitor Thermal Denaturation of Albumin

    Ivanov, Y., Kozlov, A. F., Galiullin, R. A., Tatur, V. Y., Ziborov, V. S., Ivanova, N. D., Pleshakova, T. O., Vesnin, S. G. & Goryanin, I., 25 Jul 2018, In : Frontiers in physiology. 9, 5 p., 956.

    Research output: Contribution to journalArticle

  10. ApproxIoT: Approximate Analytics for Edge Computing

    Wen, Z., Quoc, D. L., Bhatotia, P., Chen, R. & Lee, M., 23 Jul 2018, 2018 IEEE 38th International Conference on Distributed Computing Systems (ICDCS). Vienna, Austria: Institute of Electrical and Electronics Engineers (IEEE), p. 411-421 11 p.

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

  11. Qualitative conditioning in an interval-based possibilistic setting

    Benferhat, S., Kreinovich, V., Levray, A. & Tabia, K., 15 Jul 2018, In : Fuzzy Sets and Systems. 343, p. 35-49 15 p.

    Research output: Contribution to journalArticle

Previous 1...4 5 6 7 8 9 10 11 ...127 Next