Edinburgh Research Explorer

Institute for Adaptive and Neural Computation

Organisational unit: Research Institute

  1. Self-Organization of Spatiotemporal Receptive Fields and laterally connected direction and orientation maps

    Bednar, J. A. & Miikkulainen, R., 2003, Neurocomputing. Thoemmes Press, p. 52-54 3 p.

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

  2. Neonatal Learning of Faces: Environmental and Genetic Influences

    Bednar, J. A. & Miikkulainen, R., 2002, Proceedings of the 24th Annual Conference of the Cognitive Science Society. p. 107-112 6 p.

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

  3. Internally-generated activity, non-episodic memory, and emotional salience in sleep

    Bednar, J. A., 1 Dec 2000, In : Behavioral and Brain Sciences. 23, 6, p. 908-909

    Research output: Contribution to journalArticle

  4. ImaGen: Generic library for 0D, 1D and 2D pattern distributions

    Bednar, J. A. & Ball, C. E., 2012.

    Research output: Contribution to conferencePoster

  5. Tilt Aftereffects In A Self-Organizing Model Of The Primary Visual Cortex

    Bednar, J. A. & Miikkulainen, R., 2000, In : Neural Computation. 12, p. 1721-1740 20 p.

    Research output: Contribution to journalArticle

  6. Topographica: building and analyzing map-level simulations from Python, C/C++, MATLAB, NEST, or NEURON components

    Bednar, J. A., 2009, In : Frontiers in Neuroinformatics. 3, 8, p. 1-9 9 p., 8.

    Research output: Contribution to journalArticle

  7. The Topographica cortical map simulator

    Bednar, J. A., Choe, Y., De Paula, J., Miikkulainen, R. & Provost, J., 2005.

    Research output: Contribution to conferencePoster

  8. Visual Aftereffects, Models of

    Bednar, J., 2014, Encyclopedia of Computational Neuroscience. Jaeger, D. & Jung, R. (eds.). Springer New York, p. 1-8

    Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary

  9. Learning multi-whisker spatial-temporal cortical receptive fields from robotic whisker input

    Bednar, J., Wilson, S. P., Mitchinson, B., Pearson, M. & Prescott, T. J., Oct 2009.

    Research output: Contribution to conferencePoster

  10. A Neural Network Model of Visual Tilt Aftereffects

    Bednar, J. A. & Miikkulainen, R., 1997, In Proceedings of the 19th Annual Conference of the Cognitive Science Society. Shafto, M. G. & Langley, P. (eds.). Erlbaum, p. 37-42 6 p.

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

  11. Orthogonal coding of tactile stimulus features in a self-organising model of barrel cortex development

    Bednar, J., Wilson, S. P., Mitchinson, B. & Prescott, T. J., 2012.

    Research output: Contribution to conferencePoster

  12. Modeling Cortical Maps with Topographica

    Bednar, J. A., Choe, Y., Paula, J. D., Miikkulainen, R., Provost, J. & Tversky, T., 2004, In : Neurocomputing. 58-60, p. 1129-1135 7 p.

    Research output: Contribution to journalArticle

  13. Understanding Neural Maps with Topographica

    Bednar, J. A., 2008, In : Brains, Minds & Media. 1

    Research output: Contribution to journalArticle

  14. The GENESIS Simulator-based Neuronal Database

    Beeman, D., Bower, J. M., Schutter, E. D., Efthimiadis, E. N., Goddard, N. & Leigh, J., 1997, Progress in Neuroinformatics. Koslow, S. & Huerta, M. (eds.). Lawrence Erlbaum Associates, Vol. 1. 203 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  15. Flux-dependent graphs for metabolic networks

    Beguerisse-Díaz, M., Bosque, G., Oyarzún, D., Picó, J. & Barahona, M., 14 Aug 2018, In : npj Systems Biology and Applications. 4, 1, 14 p., 32.

    Research output: Contribution to journalArticle

  16. Bayesian Adversarial Spheres: Bayesian Inference and Adversarial Examples in a Noiseless Setting

    Bekasovs, A. & Murray, I., 16 Nov 2018, (Accepted/In press) p. 1-6. 6 p.

    Research output: Contribution to conferencePaper

  17. A Comparison of Frequentist and Bayesian Approaches to Latent Class Modelling of Susceptibility to Asthma and Patterns of Antibiotic Prescriptions in Early Life

    Belgrave, D., Bishop, C., Custovic, A., Simpson, A., Semic-Jusufagic, A., Pickles, A. & Buchan, I., 2011, Proceedings of the 26th International Workshop on Statistical Modelling. Valencia (Spain). p. 75-78 4 p.

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

  18. Developmental Profiles of Eczema, Wheeze, and Rhinitis: Two Population-Based Birth Cohort Studies

    Belgrave, D. C. M., Granell, R., Simpson, A., Guiver, J., Bishop, C., Buchan, I. E., Henderson, J. & Custovic, A., 1 Oct 2014, In : PLoS ONE. 11, 10, 14 p., e1001748.

    Research output: Contribution to journalArticle

  19. Progeroid syndromes: models for stem cell aging?

    Bellantuono, I., Sanguinetti, G. & Keith, W. N., 2012, In : Biogerontology. 13, 1, p. 63-75 13 p.

    Research output: Contribution to journalArticle

  20. Transcription factor binding predicts histone modifications in human cell lines

    Benveniste, D., Sonntag, H-J., Sanguinetti, G. & Sproul, D., 16 Sep 2014, In : Proceedings of the National Academy of Sciences. 111, 37, p. 13367-72 6 p.

    Research output: Contribution to journalArticle

  21. MicroRNA-34a Acutely Regulates Synaptic Efficacy in the Adult Dentate Gyrus In Vivo

    Berentsen, B., Patil, S., Rønnestad, K., Goff, K. M., Pajak, M., Simpson, T. I., Wibrand, K. & Bramham, C. R., 21 Nov 2019, In : Molecular Neurobiology. 14 p.

    Research output: Contribution to journalArticle

  22. Chapter Two - Towards a Systems Level Understanding of the Oxygen Response of Escherichia coli

    Bettenbrock, K., Bai, H., Ederer, M., Green, J., Hellingwerf, K. J., Holcombe, M., Kunz, S., Rolfe, M. D., Sanguinetti, G., Sawodny, O., Sharma, P., Steinsiek, S. & Poole, R. K., 2014, Advances in Microbial Systems Biology. Vol. 64. p. 65 - 114 50 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  23. Memory Retention and Spike-Timing-Dependent Plasticity

    Billings, G. & van Rossum, M. C. W., Jun 2009, In : Journal of Neurophysiology. 101, 6, p. 2775-2788 14 p.

    Research output: Contribution to journalArticle

  24. The SM and NLO multileg working group: Summary report

    Binoth, T., Dissertori, G., Huston, J., Pittau, R., andersen, J., Archibald, J., Badger, S., ball, R., Bevilacqua, G., Bierenbaum, I., Binoth, T., Boudjema, F., Boughezal, R., Bredenstein, A., Britto, R., Campanelli, M., Campbell, J., Carminati, L., Chachamis, G., Ciulli, V. & 75 others, Cullen, G., Czakon, M., Del Debbio, L., Denner, A., Dissertori, G., Dittmaier, S., Forte, S., Frederix, R., Frixione, S., Gardi, E., garzelli, M., Gascon-Shotkin, S., Gehrmann, T., Gehrmann-De Ridder, A., Giele, W., Gleisberg, T., glover, E., Greiner, N., Guffanti, A., -Ph. Guillet, J., van Hameren, A., Heinrich, G., Hoeche, S., Huber, M., Huston, J., Jaquier, M., Kallweit, S., Karg, S., Kauer, N., Krauss, F., latorre, J., Lazopoulos, A., Lenzi, P., Luisoni, G., Mackeprang, R., Magnea, L., Maitre, D., Majumder, D., Malamos, I., Maltoni, F., Mazumdar, K., Nadolsky, P., Nason, P., Oleari, C., Olness, F., papadopoulos, C., Passarino, G., Pilon, E., Pittau, R., Pozzorini, S., Reiter, T., Reuter, J., Rodgers, M., Rodrigo, G., Rojo, J., Sanguinetti, G., -P. Schilling, F., Schumacher, M., Schumann, S., Schwienhorst, R., Skands, P., Stenzel, H., Stoeckli, F., Thorne, R., Ubiali, M., Uwer, P., Vicini, A., Warsinsky, M., Watt, G., Weng, J., Wigmore, I., Weinzierl, S., Winter, J., Worek, M. & Zanderighi, G., 5 Mar 2010, Universite Joseph Fourier. 169 p.

    Research output: Book/ReportOther report

  25. Multi-Task Time Series Analysis applied to Drug Response Modelling

    Bird, A., Williams, C. K. I. & Hawthorne, C., 18 Apr 2019, Proceedings of the Twenty-Second International Conference on Artificial Intelligence and Statistics. Lawrence, N. & Reid, M. (eds.). PMLR, Vol. 89. 10 p. (Proceedings of Machine Learning Research).

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

  26. EM optimization of latent-variable density models

    Bishop, C. M., Svensén, M. & Williams, C. KI., 1996, Advances in Neural Information Processing Systems 8 (NIPS 1995). MIT Press, p. 465-471 7 p.

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

  27. Pattern Recognition and Feedforward Networks

    Bishop, C. M., Aug 1999, The MIT Encyclopedia of the Cognitive Sciences. MIT Press, p. 629–631 3 p.

    Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary

  28. Bayesian Neural Networks

    Bishop, C. M., Jul 1997, In : The Journal of the Brazilian Computer Society. 4, 1, p. 61–68 8 p.

    Research output: Contribution to journalArticle

  29. Curvature–driven smoothing: a learning algorithm for feedforward networks

    Bishop, C., 1993, In : IEEE Transactions on Neural Networks. 4, 5, p. 882-884 3 p.

    Research output: Contribution to journalArticle

  30. Magnification factors for the SOM and GTM algorithms

    Bishop, C. M., Svensén, M. & Williams, C. K. I., 1997, Proceedings 1997 Workshop on Self-Organizing Maps. p. 333–338 6 p.

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

  31. Clumps, Clusters and Classification

    Bishop, C., 2004, Computer Systems: Theory, Technology, and Applications. Herbert, A. & Jones, K. (eds.). Springer New York, p. 39-49 11 p. (Monographs in Computer Science).

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

  32. A New Framework for Machine Learning

    Bishop, C., 2008, Computational Intelligence: Research Frontiers: IEEE World Congress on Computational Intelligence, WCCI 2008, Hong Kong, China, June 1-6, 2008, Plenary/Invited Lectures. Zurada, J., Yen, G. & Wang, J. (eds.). Springer Berlin Heidelberg, p. 1-24 24 p. (Lecture Notes in Computer Science; vol. 5050).

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

  33. VIBES: A Variational Inference Engine for Bayesian Networks

    Bishop, C. M., Spiegelhalter, D. J. & Winn, J., 2002, Advances in Neural Information Processing Systems 15 (NIPS 2002). 8 p.

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

  34. Neural network training using multi-channel data with aggregate labelling

    Bishop, C. M., Mcgrogan, N. & Tarassenko, L., 1999, Artificial Neural Networks, 1999. ICANN 99. Ninth International Conference on (Conf. Publ. No. 470). IET, p. 862-867 6 p.

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

  35. A Neural Network Approach to Tokamak Equilibrium Control

    Bishop, C., Cox, P., Haynes, P., Roach, C., Smith, M., Todd, T. & Trotman, D., 1992, Neural Network Applications. Taylor, J. G. (ed.). Springer London, p. 114-128 15 p. (Perspectives in Neural Computing).

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

  36. GTM: A Principled Alternative to the Self-Organizing Map

    Bishop, C. M., Svensen, M. & Williams, C. K. I., 1997, Advances in Neural Information Processing Systems 9. MIT Press, p. 354-360 7 p.

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

  37. Regularization and Complexity Control in Feed-forward Networks

    Bishop, C. M., 1995, Proceedings International Conference on Artificial Neural Networks ICANN'95. Fougelman-Soulie, F. & Gallinari, P. (eds.). Vol. 1. p. 141–148 8 p.

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

  38. Latent Variable Models

    Bishop, C. M., 1 Jan 1999, Learning in Graphical Models. Jordan, M. I. (ed.). MIT Press, p. 371–403 33 p. (Adaptive Computation and Machine Learning).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  39. Reconstruction of tokamak density profiles using feedforward networks

    Bishop, C., Strachan, I., O'Rourke, J., Maddison, G. & Thomas, P., 1993, In : Neural Computing & Applications. 1, 1, p. 4-16 13 p.

    Research output: Contribution to journalArticle

  40. An Investigation of Coupled Energy and Particle Transport

    Bishop, C. M., Connor, J. W., Cox, M., Deliyankis, N. & Robinson, D. C., 1994, Proceedings 17th European Physical Society on Controlled Fusion and Plasma Heating,. Vol. 1. p. 178-178 178 p.

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

  41. Ballooning Delta-prime in the Second Stable Region

    Bishop, C. M., Hastie, R. J., Sykes, A. & Wilson, H. R., 1 Jan 1990, In : Physics of Fluids B. 2, p. 3052-3053 2 p.

    Research output: Contribution to journalArticle

  42. GTM: The generative topographic mapping

    Bishop, C. M., Svensén, M. & Williams, C. KI., Jan 1998, In : Neural Computation. 10, 1, p. 215-234 20 p.

    Research output: Contribution to journalArticle

  43. Handbook of Neural Computation

    Bishop, C. M., 1996, Handbook of Neural Computation. Oxford University Press

    Research output: Chapter in Book/Report/Conference proceedingChapter

  44. A Special Class of Toroidal MHD Equilibria Including Minimum-B

    Bishop, C. M. & Taylor, J. B., 1985, Proceedings 12 European Conference on Controlled Fusion and Plasma Physics, Budapest. p. 401–404 4 p.

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

  45. Multiphase flow monitoring in oil pipelines

    Bishop, C. M., 1995, Applications of Neural Networks: Section B. Murray, A. (ed.). Springer US, p. 133-155 23 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  46. Latent Variables, Topographic Mappings and Data Visualization

    Bishop, C., 1998, Neural Nets WIRN VIETRI-97: Proceedings of the 9th Italian Workshop on Neural Nets, Vietri sul Mare, Salerno, Italy, 22–24 May 1997. Marinaro, M. & Tagliaferri, R. (eds.). Springer London, p. 3-32 30 p. (Perspectives in Neural Computing).

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

  47. Heat-Pulse Propagation in Tokamaks and the Role of Density Perturbations

    Bishop, C. M. & Connor, J. W., 1 Jan 1990, In : Plasma physics and controlled fusion. 32, 3, p. 203-211 9 p.

    Research output: Contribution to journalArticle

  48. Variational Learning in Graphical Models and Neural Networks

    Bishop, C., 1998, ICANN 98: Proceedings of the 8th International Conference on Artificial Neural Networks, Skövde, Sweden, 2–4 September 1998. Niklasson, L., Boden, M. & Ziemke, T. (eds.). Springer London, p. 13-22 10 p. (Perspectives in Neural Computing).

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

  49. Model-based machine learning

    Bishop, C. M., 2013, In : Philosophical Transactions A: Mathematical, Physical and Engineering Sciences. 371, 1984, 20120222.

    Research output: Contribution to journalArticle

  50. Real-time Control of a Tokamak Plasma Using Neural Networks

    Bishop, C. M., Haynes, P. S., Smith, M. E. U., Todd, T. N., Trotman, D. L. & Windsor, C. G., 1994, Advances in Neural Information Processing Systems 7 (NIPS 1994). MIT Press, Vol. 7. p. 1007-1014 8 p.

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

  51. Exact Calculation of the Hessian Matrix for the Multilayer Perceptron

    Bishop, C., 1 Jul 1992, In : Neural Computation. 4, 4, p. 494-501 8 p.

    Research output: Contribution to journalArticle

  52. Modelling Conditional Probability Distributions for Periodic Variables

    Bishop, C. & Nabney, I., 1997, Mathematics of Neural Networks: Models, Algorithms and Applications. Ellacott, S., Mason, J. & Anderson, I. (eds.). Springer US, p. 118-122 5 p. (Operations Research/Computer Science Interfaces Series; vol. 8).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  53. Object Recognition via Local Patch Labelling

    Bishop, C. & Ulusoy, I., 2005, Deterministic and Statistical Methods in Machine Learning: First International Workshop, Sheffield, UK, September 7-10, 2004. Revised Lectures. Winkler, J., Niranjan, M. & Lawrence, N. (eds.). Springer Berlin Heidelberg, Vol. 3635. p. 1-21 21 p. (Lecture Notes in Computer Science).

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

  54. Variational Principal Components

    Bishop, C. M., 1 Jan 1999, Proceedings Ninth International Conference on Artificial Neural Networks, ICANN'99. IEE, p. 509-514 6 p.

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

  55. Variational Relevance Vector Machines

    Bishop, C. M. & Tipping, M. E., 1 Jan 2000, Proceedings of the 16th Conference on Uncertainty in Artificial Intelligence. Morgan Kaufmann, p. 46-53 8 p.

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

  56. Magnification factors for the GTM algorithm

    Bishop, C. M., Svensén, M. & Williams, C. K. I., 1 Jan 1997, Artificial Neural Networks, Fifth International Conference on (Conf. Publ. No. 440). Institute of Electrical and Electronics Engineers (IEEE), p. 64–69 6 p.

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

  57. Developments of the generative topographic mapping

    Bishop, C. M., Svensén, M. & Williams, C. K. I., Nov 1998, In : Neurocomputing. 21, 1–3, p. 203-224 22 p.

    Research output: Contribution to journalArticle

  58. Kick-starting GPLVM Optimization via a Connection to Metric MDS

    Bitzer, S. & Williams, C. K. I., 2010, Proceedings of the NIPS 2010 workshop on Challenges of Data Visualization. 6 p.

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

  59. Modelling-based experiment retrieval: A case study with gene expression clustering

    Blomstedt, P., Dutta, R., Seth, S., Brazma, A. & Kaski, S., 1 May 2016, In : Bioinformatics. 32, 9, p. 1388-1394 7 p.

    Research output: Contribution to journalArticle

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

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

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

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

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

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

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

  67. Efficient stochastic simulation of systems with multiple time scales via statistical abstraction

    Bortolussi, L., Milios, D. & Sanguinetti, G., 2015, Computational Methods in Systems Biology: 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings. Springer International Publishing, p. 40-51 12 p. (Lecture Notes in Computer Science; vol. 9308).

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

  68. U-check: Model Checking and Parameter Synthesis under Uncertainty

    Bortolussi, L., Milios, D. & Sanguinetti, G., 2015, Quantitative Evaluation of Systems: 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings. Springer International Publishing, p. 89-104 16 p. (Lecture Notes in Computer Science; vol. 9259).

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

  69. Learning and Designing Stochastic Processes from Logical Constraints

    Bortolussi, L. & Sanguinetti, G., 2013, Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Joshi, K., Siegle, M., Stoelinga, M. & D'Argenio, P. R. (eds.). Springer-Verlag GmbH, p. 89-105 17 p. (Lecture Notes in Computer Science; vol. 8054).

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

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

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

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

  73. Dynamical Inference from a Kinematic Snapshot: The Force Law in the Solar System

    Bovy, J., Murray, I. & Hogg, D. W., Mar 2010, In : Astrophysical Journal. 711, 2, p. 1157-1167 11 p.

    Research output: Contribution to journalArticle

  74. Analysis of Video Feature Learning in Two-Stream CNNs on the Example of Zebrafish Swim Bout Classification

    Breier, B. & Onken, A., 20 Dec 2019, Proceedings of the International Conference on Learning Representations, 2020. Addis Ababa, Ethiopia

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

  75. MIMO INTERACTIONS IN SAMPLED DATA SYSTEMS

    Brocal, M. S. & Oyarzún, D. R., 2005, In : IFAC Proceedings Volumes (IFAC-PapersOnline). 38, 1, p. 119 - 124 6 p.

    Research output: Contribution to journalArticle

  76. A modified spreading algorithm for autoassociation in weightless neural networks

    Browne, C., de L. Pereira Castro Jr., J. & Storkey, A., 1996, Artificial Neural Networks — ICANN 96: 1996 International Conference Bochum, Germany, July 16–19, 1996 Proceedings. von der Malsburg, C., von Seelen, W., Vorbrüggen, J. C. & Sendhoff, B. (eds.). Springer Berlin Heidelberg, p. 569-574 6 p. (Lecture Notes in Computer Science; vol. 1112).

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

  77. Quantitative investigations of electrical nerve excitation treated as polarization

    Brunel, N. & Van Rossum, M. C. W., Dec 2007, In : Biological Cybernetics. 97, 5, p. 341-349 9 p.

    Research output: Contribution to journalArticle

  78. Lapicque's 1907 paper: from frogs to integrate-and-fire

    Brunel, N. & van Rossum, M., 2007, In : Biological Cybernetics. 97, 5-6, p. 337-339 3 p.

    Research output: Contribution to journalArticle

  79. Mirror symmetry on K3 surfaces as a hyper-Kaehler rotation

    Bruzzo, U. & Sanguinetti, G., 1998, In : Letters in mathematical physics. 45, 4, p. 295-301 7 p.

    Research output: Contribution to journalArticle

  80. Test-retest reliability of structural brain networks from diffusion MRI

    Buchanan, C. R., Pernet, C. R., Gorgolewski, K. J., Storkey, A. J. & Bastin, M. E., 1 Feb 2014, In : NeuroImage. 86, p. 231-243

    Research output: Contribution to journalArticle

  81. Reduced structural connectivity brain connectivity in amyotrophic lateral sclerosis

    Buchanan, C., Pettit, L. D., Bastin, M., Storkey, A. J. & Abrahams, S., 2013, Proceedings of the 17th Conference on Medical Image Understanding and Analysis. Claridge, E., Palmer, A. D. & Pitkeathly, W. T. E. (eds.). Medical Image Understanding and Analysis, p. 13 18 p.

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

  82. Reduced structural connectivity within a prefrontal-motor-subcortical network in amyotrophic lateral sclerosis

    Buchanan, C. R., Pettit, L. D., Storkey, A. J., Abrahams, S. & Bastin, M. E., May 2015, In : Journal of Magnetic Resonance Imaging. 41, 5, p. 1342-1352 11 p.

    Research output: Contribution to journalArticle

  83. Structural Brain Networks in Amyotrophic Lateral Sclerosis

    Buchanan, C., Pettit, L., Bastin, M., Storkey, A. & Abrahams, S., Jun 2013.

    Research output: Contribution to conferenceAbstract

  84. Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients

    Bufo, S., Bartocci, E., Sanguinetti, G., Borelli, M., Lucangelo, U. & Bortolussi, L., 2014, Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 391-403 13 p. (Lecture Notes in Computer Science; vol. 8803).

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

  85. Exploration by random network distillation

    Burda, Y., Edwards, H., Storkey, A. & Klimov, O., 2019. 17 p.

    Research output: Contribution to conferencePaper

  86. Large-Scale Study of Curiosity-Driven Learning

    Burda, Y., Edwards, H., Pathak, D., Storkey, A., Darrell, T. & Efros, A. A., 2019. 15 p.

    Research output: Contribution to conferencePaper

  87. Information theory and representation in associative word learning

    Burns, B., Sutton, C., Morrison, C. & Cohen, P., 2003, Proceedings of the Third International Workshop on Epigenetic Robotics. 7 p.

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

  88. Multidisciplinary research: should effort be the measure of success?

    Buswell, R. A., Webb, L., Mitchell, V. & Mackley, K. L., 13 Jul 2016, In : Building Research and Information. 45, 5, p. 539-555 17 p.

    Research output: Contribution to journalArticle

  89. Determining heat use in residential buildings using high resolution gas and domestic hot water monitoring

    Buswell, R. A., Marini, D., Webb, L. & Thomson, M., 2013, Proceedings of the 13th Conference of International Building Performance Simulation Association. Chambéry, France: International Building Performance Simulation Association, p. 2413-2420 8 p.

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

  90. The Gene Regulatory Cascade Linking Proneural Specification with Differentiation in Drosophila Sensory Neurons

    Cachero, S., Simpson, T. I., zur Lage, P., Ma, L. N., Newton, F. G., Holohan, E. E., Armstrong, D. & Jarman, A. P., Jan 2011, In : PLoS Biology. 9, 1, e1000568.

    Research output: Contribution to journalArticle

  91. A systems biology approach to Down syndrome: Identification of Notch/Wnt dysregulation in a model of stem cells aging

    Cairney, C. J., Sanguinetti, G., Ranghini, E., Chantry, A. D., Nostro, M. C., Bhattacharyya, A., Svendsen, C. N., Keith, W. N. & Bellantuono, I., 2009, In : Biochimica et biophysica acta-Molecular basis of disease. 1792, 4, p. 353 - 363 11 p.

    Research output: Contribution to journalArticle

  92. Modelling the acquisition of lexical segmentation

    Cairns, P., Shillcock, R., Chater, N. & Levy, J., 1994, The Proceedings of the 26th Annual Child Language Research Forum. Clark, E. V. (ed.). Vol. 26. p. 32-41 10 p.

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

  93. Bottom-up connectionist modelling of speech

    Cairns, P., Shillcock, R., Chater, N. & Levy, J., 20 Dec 1995, Preview this Book Connectionist Models Of Memory And Language. Levy, J. (ed.). CRC PRESS-TAYLOR & FRANCIS GROUP, 289 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  94. Regeneration of dopaminergic neurons in adult zebrafish depends on immune system activation and differs for distinct populations

    Caldwell, L., Davies, N. O., Cavone, L., Mysiak, K., Semenova, S., Panula, P., Armstrong, J. D., Becker, C. G. & Becker, T., 4 Apr 2019, In : Journal of Neuroscience.

    Research output: Contribution to journalArticle

  95. Geppetto: a reusable modular open platform for exploring neuroscience data and models

    Cantarelli, M., Marin, B., Quintana, A., Earnshaw, M., Court, R., Gleeson, P., Dura-bernal, S., Silver, R. A. & Idili, G., 19 Oct 2018, In : Philosophical Transactions of the Royal Society B: Biological Sciences. 373, 1758, p. 1-13 13 p.

    Research output: Contribution to journalArticle

  96. Distributed inference and query processing for RFID tracking and monitoring

    Cao, Z., Sutton, C., Diao, Y. & Shenoy, P., Feb 2011, In : Proceedings of the VLDB Endowment (PVLDB). 4, 5, p. 326-337 12 p.

    Research output: Contribution to journalArticle

  97. Matching Models Across Abstraction Levels with Gaussian Processes

    Caravagna, G., Bortolussi, L. & Sanguinetti, G., 4 Sep 2016, Computational Methods in Systems Biology: 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings. Bartocci, E., Lio, P. & Paoletti, N. (eds.). Cham: Springer International Publishing, p. 49-66 18 p. (Lecture Notes in Computer Science; vol. 9859).

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

  98. Detecting repeated cancer evolution from multi-region tumor sequencing data

    Caravagna, G., Giarratano, Y., Ramazzotti, D., Tomlinson, I., Graham, T. A., Sanguinetti, G. & Sottoriva, A., 31 Aug 2018, In : Nature Methods. 15, p. 707-714 8 p.

    Research output: Contribution to journalArticle

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