Home > Publications

Publications

37526 - 37550 out of 42,602Page size: 25
  1. Published

    Automatic analysis (aa): Efficient neuroimaging workflows and parallel processing using Matlab and XML

    Cusack, R., Vicente-Grabovetsky, A., Mitchell, D. J., Wild, C. J., Auer, T., Linke, A. C. & Peelle, J. E., 12 Jan 2015, In: Frontiers in Neuroinformatics. 8, JAN

    Research output: Contribution to journalArticlepeer-review

  2. Published

    Automated Workflows using Dialectical Argumentation

    McGinnis, J., Bromuri, S., Urovi, V. & Stathis, K., 1 May 2007, German e-Science Conference.

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

  3. Published

    Automated whole-genome multiple alignment of rat, mouse, and human

    Brudno, M., Poliakov, A., Salamov, A., Cooper, G. M., Sidow, A., Rubin, E. M., Solovyev, V., Batzoglou, S. & Dubchak, I., 1 Apr 2004, In: Genome Research. 14, 4, p. 685-92 8 p.

    Research output: Contribution to journalArticlepeer-review

  4. Forthcoming

    Automated Verification of Go Programs via Bounded Model Checking

    Dilley, N. & Lange, J., 8 Jul 2021, (Accepted/In press) In: IEEE/ACM International Conference on Automated Software Engineering.

    Research output: Contribution to journalConference articlepeer-review

  5. Published

    Automated Transformation of PDDL Representations

    Riddle, P. J., Barley, M. W., Franco, S. & Douglas, J., 14 May 2015, Proceedings of the Eighth Annual Symposium on Combinatorial Search, SOCS 2015: 11-13 June 2015, Ein Gedi, the Dead Sea, Israel. Lelis, L. & Stern, R. (eds.). AAAI Press, p. 214-215 2 p.

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

  6. Published

    Automated taxonomy extraction from semantic business process models

    De Cesare, S., Juric, D. & Lycett, M., 7 Mar 2016, Proceedings of the 49th Annual Hawaii International Conference on System Sciences, HICSS 2016. IEEE Computer Society, Vol. 2016-March. p. 4394-4403 10 p. 7427732

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

  7. Published

    Automated synthesis of safe digital controllers for sampled-data stochastic nonlinear systems

    Shmarov, F., Soudjani, S., Paoletti, N., Bartocci, E., Lin, S., Smolka, S. A. & Zuliani, P., 2 Oct 2020, In: IEEE Access. 8, p. 180825-180843 19 p., 3028476.

    Research output: Contribution to journalArticlepeer-review

  8. Published

    Automated Semmes Weinstein monofilament examination replication using optical imaging and mechanical probe assembly

    Siddiqui, H. U. R., Spruce, M., Alty, S. R. & Dudley, S., 21 Jul 2015, 2015 IEEE 12th International Symposium on Biomedical Imaging, ISBI 2015. IEEE Computer Society, Vol. 2015-July. p. 552-555 4 p. 7163933

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

  9. Published

    Automated Planning for Urban Traffic Management

    McCluskey, T. L., Vallati, M. & Franco, S., 2017, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017. Sierra, C. (ed.). International Joint Conferences on Artificial Intelligence, p. 5238-5240 3 p.

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

  10. Published

    Automated peripheral neuropathy assessment using optical imaging and foot anthropometry

    Siddiqui, H. U. R., Spruce, M., Alty, S. R. & Dudley, S., 1 Aug 2015, In: IEEE Transactions on Biomedical Engineering. 62, 8, p. 1911-1917 7 p., 7047824.

    Research output: Contribution to journalArticlepeer-review

  11. E-pub ahead of print

    Automated peripheral neuropathy assessment of diabetic patients using optical imaging and binary processing techniques

    Siddiqui, H. U. R., Alty, S. R., Spruce, M. & Dudley, S. E., 14 Feb 2013, (E-pub ahead of print) IEEE EMBS Special Topic Conference on Point-of-Care (POC) Healthcare Technologies: Synergy Towards Better Global Healthcare, PHT 2013. p. 200-203 4 p. 6461319

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

  12. Published

    Automated multimodal spectral histopathology for quantitative diagnosis of residual tumour during basal cell carcinoma surgery

    Boitor, R., Kong, K., Shipp, D., Varma, S., Koloydenko, A. A., Kulkarni, K., Elsheikh, S., Schut, T., Caspers, P., Puppels, G., van der Wolf, M., Sokolova, E., Nijsten, T. E. C., Salence, B., Williams, H. & Notingher, I., 22 Nov 2017, In: Biomedical Optics Express. 8, 12, p. 5749-5766 18 p.

    Research output: Contribution to journalArticlepeer-review

  13. Published

    Automated generation of colluding apps for experimental research

    Blasco Alis, J. & Chen, T. M., May 2018, In: Journal of Computer Virology and Hacking Techniques. 14, 2, p. 127–138 12 p.

    Research output: Contribution to journalArticlepeer-review

  14. Published

    Automated Dynamic Analysis of Ransomware: Benefits, Limitations and use for Detection

    Sgandurra, D., Muñoz-González, L., Mohsen, R. & Lupu, E. C., 10 Sep 2016, In: ArXiv.org.

    Research output: Contribution to journalArticle

  15. Published

    Automated detection of Hainan gibbon calls for passive acoustic monitoring

    Dufourq, E., Durbach, I., Hansford, J. P., Hoepfner, A., Ma, H., Bryant, J. V., Stender, C. S., Li, W., Liu, Z., Chen, Q., Zhou, Z. & Turvey, S. T., Sep 2021, In: Remote Sensing in Ecology and Conservation. 7, 3, p. 475-487 13 p.

    Research output: Contribution to journalArticlepeer-review

  16. Published

    Automated Debugging for Arbitrarily Long Executions

    Zamfir, C., Kasikci, B., Kinder, J., Bugnion, E. & Candea, G., May 2013, Proc. 14th Workshop on Hot Topics in Operating Systems (HotOS 2013). USENIX

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

  17. Published

    Automated Analysis and Verification of TLS 1.3: 0-RTT, Resumption and Delayed Authentication

    Cremers, C., Horvat, M., Scott, S. & Van Der Merwe, T., 18 Aug 2016, IEEE Symposium on Security and Privacy 2016. p. 470-485 16 p.

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

  18. Published

    Autofeedback in the management of diabetes mellitus

    Bradley, C. & Jefferies, SC., 1980, In: Biological Psychology. p. 277

    Research output: Contribution to journalArticlepeer-review

  19. Published

    Autoethnography in Consumer Research

    Hackley, C., Jan 2016, Qualitative Research Methods in Consumer Psychology: Ethnography and culture. Hackett, P. (ed.). New York, p. 105-117 12 p. Chapter 8 . (Researching Social Psychology).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  20. Published

    Autoethnography and Subjective Experience in Marketing and Consumer Research (Autoetnografia e experiência subjetiva em marketing e pesquisa do consumidor)

    Hackley, C. & Hackley, R. A., 2016, In: Revista Interdisciplinar d Marketing. 6, 1, p. 3-10 8 p.

    Research output: Contribution to journalArticlepeer-review

  21. Published

    Auto-Ethnographic Consumer Research and Creative Non-Fiction: exploring connections and contrasts from a literary perspective

    Hackley, C., 2007, In: Qualitative Market Research: an international journal. 10, 1, p. 1352-2752

    Research output: Contribution to journalArticlepeer-review

  22. Published

    Autodriven Photo-Elicitation Interviews: Accessing Children’s Experiences of Epilepsy

    Webster, M., 2017, In: SAGE Research Methods Cases.

    Research output: Contribution to journalArticlepeer-review

  23. Published

    Autocrine overexpression of CTGF maintains fibrosis: RDA analysis of fibrosis genes in systemic sclerosis

    Shi-Wen, X., Pennington, D., Holmes, A., Leask, A., Bradham, D., Beauchamp, J. R., Fonseca, C., du Bois, R. M., Martin, G. R., Black, C. M. & Abraham, D. J., 25 Aug 2000, In: Experimental cell research. 259, 1, p. 213-224 12 p.

    Research output: Contribution to journalArticlepeer-review

  24. Published

    Autocreativity. The Operation of Codes of Freedom in Art and Culture

    Goriunova, O., 2008, FLOSS + ART. de Valk, M. & Mansoux, A. (eds.). Open Mute, p. 92-118

    Research output: Chapter in Book/Report/Conference proceedingChapter

  25. Published

    Autocreativity and Organizational Aesthetics in Art Platforms

    Goriunova, O., 2011, In: Fibreculture. 17, p. 18-33

    Research output: Contribution to journalArticlepeer-review