Edinburgh Research Explorer

Institute for Adaptive and Neural Computation

Organisational unit: Research Institute

  1. Smoothed model checking for uncertain Continuous-Time Markov Chains

    Bortolussi, L., Milios, D. & Sanguinetti, G., Apr 2016, In : Information and Computation. 247, p. 235-253 24 p.

    Research output: Contribution to journalArticle

  2. A statistical approach for computing reachability of non-linear and stochastic dynamical systems

    Bortolussi, L. & Sanguinetti, G., 2014, Quantitative Evaluation of Systems: 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings. Springer International Publishing, p. 41-56 16 p.

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

  3. Machine Learning Methods in Statistical Model Checking and System Design – Tutorial

    Bortolussi, L., Milios, D. & Sanguinetti, G., 2015, Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings. Bartocci, E. & Majumdar, R. (eds.). Cham: Springer International Publishing, p. 323-341 19 p. (Lecture Notes in Computer Science; vol. 9333).

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

  4. Multi-task Gaussian Process Prediction

    Bonilla, E. V., Chai, K. M. A. & Williams, C. K. I., 2008, Advances in Neural Information Processing Systems 20. NIPS Foundation, p. 153-160 8 p.

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

  5. Predictive Search Distributions

    Bonilla, E. V., Williams, C. K. I., Agakov, F., Cavazos, J., Thomson, J. & O'Boyle, M., 2006, ICML '06 Proceedings of the 23rd international conference on Machine learning. ACM, p. 121-128 8 p.

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

  6. Non-Gaussian probability distribution of the total transmission of multiply scattered light

    Boer, J. F. D., Van Rossum, M. C. W., Albada, M. P. V., Nieuwenhuizen, T. M. & Lagendijk, A., 1994, International Quantum Electronics Conference 1994. Optical Society of America (OSA), 1 p. QThE5

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

  7. Statistical Machine Learning Makes Automatic Control Practical for Internet Datacenters

    Bodík, P., Griffith, R., Sutton, C., Fox, A., Jordan, M. & Patterson, D., 2009, Proceedings of the 2009 Conference on Hot Topics in Cloud Computing (HotCloud 2009). Berkeley, CA, USA: USENIX Association, 5 p.

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

  8. Response-Time Modeling for Resource Allocation and Energy-Informed SLAs

    Bodik, P., Sutton, C., Fox, A., Patterson, D. & Jordan, M. I., 2007, NIPS Workshop on Statistical Learning Techniques for Solving Systems Problems (MLSys 07). NIPS Foundation

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

  9. Automatic Exploration of Datacenter Performance Regimes

    Bodik, P., Griffith, R., Sutton, C., Fox, A., Jordan, M. I. & Patterson, D. A., 2009, Proceedings of the 1st Workshop on Automated Control for Datacenters and Clouds (ACDC 2009). New York, NY, USA: ACM, p. 1-6 6 p.

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

  10. Host-circuit interactions explain unexpected behavior of a gene circuit

    Boada, Y., Vignoni, A., Oyarzún, D. & Picó, J., 2018, In : IFAC-PapersOnLine. 51, 19, p. 86 - 89 4 p.

    Research output: Contribution to journalArticle