Edinburgh Research Explorer

Centre for Intelligent Systems and their Applications

Organisational unit: Research Institute

  1. "Code Yourself" and "A Programar": a bilingual MOOC for teaching Computer Science to teenagers

    Friss De Kereki, I. & Manataki, A., 1 Dec 2016, 2016 IEEE Frontiers in Education Conference (FIE). Institute of Electrical and Electronics Engineers (IEEE), 9 p.

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

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

  3. 1377 questions and counting--what can we learn from online math

    Martin, U. & Pease, A., 2012, Dagstuhl Seminar. p. 1-6 6 p.

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

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

  5. A Collaboration Model for Community-Based Software Development with Social Machines

    Murray-Rust, D., Scekic, O., Papapanagiotou, P., Truong, H., Robertson, D. & Dustdar, S., 17 Dec 2015, In : EAI Endorsed Transactions on Collaborative Computing. 1, 5, 13 p.

    Research output: Contribution to journalArticle

  6. A Collaboration Model for Community-Based Software Development with Social Machines

    Murray-Rust, D., Scekic, O., Truong, H-L., Robertson, D. & Dustdar, S., 2014, Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom), 2014 International Conference on . Institute of Electrical and Electronics Engineers (IEEE), p. 84-93 10 p.

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

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

  8. A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia

    Fleuriot, J., 2001, Springer London. 140 p. (Distinguished Dissertations)

    Research output: Book/ReportBook

  9. A Combinator Language for Theorem Discovery

    Scott, P. & Fleuriot, J., 2012, Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings. Jeuring, J., Campbell, J., Carette, J., Dos Reis, G., Sojka, P., Wenzel, M. & Sorge, V. (eds.). Springer-Verlag GmbH, p. 371-385 15 p. (Lecture Notes in Computer Science; vol. 7362).

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

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