Edinburgh Research Explorer

Centre for Intelligent Systems and their Applications

Organisational unit: Research Institute

  1. Advances in Systems Biology

    Abenius, T. & Goryanin, I., 2012, Springer Science+ Business Media. 682 p.

    Research output: Book/ReportBook

  2. Using linked data for semi-automatic guesstimation

    Abourbih, J., Bundy, A. & McNeill, F., Mar 2010, Proceedings of AAAI Spring Symposium Series: Linked Data Meets Artificial Intelligence. Halpin, H., Chaudhri, V. K., Brickley, D. & McGuinness, D. (eds.). AAAI Press, p. 2-7 6 p.

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

  3. A Single-Significant-Digit Calculus for Semi-Automated Guesstimation

    Abourbih, J. A., Blaney, L., Bundy, A. & McNeill, F., 2010, Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings. Berlin: Springer-Verlag GmbH, p. 354-368 15 p. (Lecture Notes in Computer Science; vol. 6173).

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

  4. Provenance segmentation

    Abreu, R., Archer, D., Chapman, E., Cheney, J., Eldardiry, H. & Gascon Caro, A., 9 Jun 2016, 8th USENIX Workshop on the Theory and Practice of Provenance (TaPP '16). Washington D.C, USA, 6 p.

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

  5. Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS

    Adams, A., Dunstan, M., Gottliebsen, H., Kelsey, T., Martin, U. & Owre, S., 2001, Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001 Edinburgh, Scotland, UK, September 3–6, 2001 Proceedings. Boulton, R. J. & Jackson, P. B. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 27-42 16 p. (Lecture Notes in Computer Science; vol. 2152).

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

  6. SBSI: An extensible distributed software infrastructure for parameter estimation in systems biology

    Adams, R., Clark, A., Lebedeva, G., Millar, A. J., Gilmore, S., Yamaguchi, A., Goryanin, I., Hanlon, N., Tsorman, N., Ali, S., Goltsov, A., Sorokin, A., Akman, O. E. & Troein, C., 1 Mar 2013, In : Bioinformatics. 29, 5, p. 664-665 2 p.

    Research output: Contribution to journalArticle

  7. Assuring Dependable Cloud-Based System Engineering: A Cloud Accountability Method

    Adjepon Yamoah, D. E. & Wen, Z., 12 Dec 2016, 12th European Dependable Computing Conference (EDCC 2016). Gothenburg, Sweden: Institute of Electrical and Electronics Engineers (IEEE), p. 181-184 5 p.

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

  8. Processivity and Coupling in Messenger RNA Transcription

    Aitken, S., Robert, M-C., Alexander, R. D., Goryanin, I., Bertrand, E. & Beggs, J. D., 1 Jan 2010, In : PLoS ONE. 5, 1, p. 1-12 12 p., e8845.

    Research output: Contribution to journalArticle

  9. E-HBA: Using Action Policies for Expert Advice and Agent Typification

    Albrecht, S. V., Crandall, J. & Ramamoorthy, S., 2015, Workshops at the Twenty-Ninth AAAI Conference on Artificial Intelligence. AAAI Press, p. 2-8 7 p.

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

  10. Exploiting Causality for Selective Belief Filtering in Dynamic Bayesian Networks (Extended Abstract)*

    Albrecht, S. V. & Ramamoorthy, S., 25 Aug 2017, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI-17). IJCAI Inc, p. 5085-5089 5 p.

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

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