Home > Research Search

Research

Search for research

1801 - 1825 out of 9,845Page size: 25
Sort by: Rating
  1. Published

    Sequent Calculus for Euler Diagrams

    Linker, S., 18/06/2018, Diagrammatic Representation and Inference: 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings. Chapman, P., Stapleton, G., Moktefi, A., Perez-Kriz, S. & Bellucci, F. (eds.). Cham: Springer, p. 399-407 9 p. (Lecture Notes in Computer Science; vol. 10871).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed) › peer-review

  2. Published

    Proving safety of traffic manoeuvres on country roads

    Hilscher, M., Linker, S. & Olderog, E.-R., 2013, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Liu, Z., Woodcock, J. & Zhu, H. (eds.). Berlin: Springer, p. 196-212 17 p. (Lecture Notes in Computer Science; vol. 8051).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed) › peer-review

  3. Published

    Proof Theory of a Multi-Lane Spatial Logic

    Linker, S. & Hilscher, M., 2013, Theoretical Aspects of Computing – ICTAC 2013: Proceedings of the 10th International Colloquium on Theoretical Aspects of Computing -- ICTAC 2013. Liu, Z., Woodcock, J. & Zhu, H. (eds.). Berlin: Springer, p. 231-248 18 p. (Lecture Notes in Computer Science; vol. 8049).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed) › peer-review

  4. Published

    Diagrammatic specification of mobile real-time systems

    Linker, S., 2010, Diagrammatic Representation and Inference: 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings. Goel, A. K., Jamnik, M. & Narayanan, N. H. (eds.). Berlin: Springer, p. 316-318 3 p. (Lecture Notes in Computer Science; vol. 6170).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  5. Published

    Playing with ambiguity: an agent based model of vague beliefs in games

    Georgalos, K., 04/2014, Interdisciplinary applications of agent-based social simulation and modeling. Adamatti, D. F., Dimuro, G. P. & Coehlo, H. (eds.). Hershey, Penn.: IGI Global, p. 125-142 18 p. 8

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed) › peer-review

  6. Published

    Improving full text search with text mining tools

    Piao, S., Rea, B., McNaught, J. & Ananiadou, S., 2010, Natural language processing and information systems: 14th International Conference on Applications of Natural Language to Information Systems, NLDB 2009, Saarbrücken, Germany, June 24-26, 2009. Revised Papers. Horacek, H., Métais, E., Muñoz, R. & Wolska, M. (eds.). Berlin: Springer, p. 301-302 2 p. (Lecture Notes in Computer Science; vol. 5723).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  7. Published

    A systematic review of bio-cyber interface technologies and security issues for internet of bio-nano things

    Zafar, S., Nazir, M., Bakhshi, T., Ali Khattak, H., Khan, S., Bilal, M., Choo, K. K. R., Kwak, K. S. & Sabah, A., 29/06/2021, In: IEEE Access. 9, p. 93529-93566 38 p., 9467302.

    Research output: Contribution to Journal/Magazine › Review article › peer-review

  8. Published

    Engineering Blockchain-based Software Systems: Foundations, Survey, and Future Directions

    Fahmideh, M., Grundy, J., Ahmad, A., Shen, J., Yan, J., Mougouei, D., Wang, P., Ghose, A., Gunawardana, A., Aickelin, U. & Abedin, B., 30/06/2023, In: ACM Computing Surveys. 55, 6, p. 110:1-110:44 44 p., 110.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  9. Published

    Enabling professional learning in distributed communities of practice: Descriptors for multimedia objects

    Smith, C. & Goodyear, P., 04/1999, In: Journal of Network and Computer Applications. 22, 2, p. 133-145 13 p.

    Research output: Contribution to Journal/Magazine › Journal article

  10. Published

    Cooperation and configuration within distributed systems management

    Dean, G., Hutchison, D., Rodden, T. & Sommerville, I., 27/05/1992, Proceedings of the International Workshop on Configurable Distributed Systems 1992. Institute of Electrical and Electronics Engineers Inc., p. 274-285 12 p. (Proceedings of the International Workshop on Configurable Distributed Systems 1992).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  11. Published

    Discovering affect-laden requirements to achieve system acceptance

    Sutcliffe, A., Rayson, P., Bull, C. & Sawyer, P., 08/2014, 22nd IEEE International Requirements Engineering Conference (RE'14). IEEE, p. 173-182 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  12. Published

    PHyPO: Priority-based Hybrid task Partitioning and Offloading in mobile computing using automated machine learning

    Bano, S., Abbas, G., Bilal, M., Abbas, Z. H., Ali, Z., Waqas, M. & Dao, N.-N. (Editor), 12/12/2024, In: PLoS One. 19, 12, e0314198.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  13. Published

    Zones of pain: Visualising the relationship between software architecture and defects

    Petrić, J., Hall, T. & Bowes, D., 31/08/2020, Quality of Information and Communications Technology: 13th International Conference, QUATIC 2020, Faro, Portugal, September 9–11, 2020, Proceedings. Shepperd, M., Brito e Abreu, F., Rodrigues da Silva, A. & Pérez-Castillo, R. (eds.). Cham: Springer Science and Business Media Deutschland GmbH, p. 135-143 9 p. (Communications in Computer and Information Science; vol. 1266).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  14. Published

    Performance analysis of NOMA enabled multi-user co-operative IoT network with SWIPT protocol

    Zaman, N. U., Hassan, A. K., Abbas, Z. H., Abbas, G., Bilal, M. & Pack, S., 30/09/2023, In: Journal of King Saud University - Computer and Information Sciences. 35, 8, 101639.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  15. Published

    Exploring Novel Datasets and Methods for the Study of False Information

    Dearden, E., 1/04/2022, Lancaster University. 298 p.

    Research output: Thesis › Doctoral Thesis

  16. Published

    Social Media-Based Intelligence for Disaster Response and Management in Smart Cities

    Khatoon, S., Asif, A., Hasan, M. M. & Alshamari, M., 9/01/2022, Springer Optimization and Its Applications. London: Springer, p. 211-235 25 p. (Springer Optimization and Its Applications; vol. 186).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  17. Published

    HCI and Aging: New Directions, New Principles

    Knowles, B., Singh, A., Ambe, A. H., Brewer, R., Lazar, A., Petrie, H., Vines, J. & Waycott, J., 11/05/2024, CHI 2024 - Extended Abstracts of the 2024 CHI Conference on Human Factors in Computing Sytems. New York: ACM, p. 473:1-473:5 5 p. 473. (Conference on Human Factors in Computing Systems - Proceedings).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  18. Published

    Teaching context to applications

    Van Laerhoven, K. & Aidoo, K., 02/2001, In: Personal and Ubiquitous Computing. 5, 1, p. 46-49 4 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  19. Published

    A Novel Implementation of Q-Learning for the Whittle Index

    Gibson, L. J., Jacko, P. & Nazarathy, Y., 8/12/2021, Performance Evaluation Methodologies and Tools - 14th EAI International Conference, VALUETOOLS 2021, Proceedings. Zhao, Q. & Xia, L. (eds.). Cham: Springer, p. 154-170 17 p. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST; vol. 404 LNICST).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  20. Published

    Ensemble Methods for Ontology Learning - An Empirical Experiment To Evaluate Combinations Of Concept Acquisition Techniques

    Gacitua, R. & Sawyer, P., 14/05/2008, Seventh IEEE/ACIS International Conference on Computer and Information Science, 2008. ICIS 08. . IEEE Publishing, p. 328-333 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  21. Published

    TAPHSIR: towards AnaPHoric ambiguity detection and ReSolution in requirements

    Ezzini, S., Abualhaija, S., Arora, C. & Sabetzadeh, M., 7/11/2022, ESEC/FSE 2022 - Proceedings of the 30th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Roychoudhury, A., Cadar, C. & Kim, M. (eds.). Association for Computing Machinery (ACM), p. 1677-1681 5 p. (ESEC/FSE 2022 - Proceedings of the 30th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  22. Published

    Experiences of assessment: using phenomenography for evaluation.

    Jones, C. R. & Asensio, M., 09/2001, In: Journal of Computer Assisted Learning. 17, 3, p. 314-321 8 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  23. Published

    A three-dimensional free vibration analysis of cross-ply laminated rectangular plates with clamped edges

    Ye, J. Q., 30/01/1997, In: Computer Methods in Applied Mechanics and Engineering. 140, 3-4, p. 383-392 10 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  24. Published

    Quadratic representation of a nonlinear dynamic stiffness matrix and related eigenvalue problems

    Ye, J. Q. & Williams, F. W., 15/07/1997, In: Computer Methods in Applied Mechanics and Engineering. 146, 3-4, p. 313-323 11 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  25. Published

    Coverage-Guided Testing for Recurrent Neural Networks

    Huang, W., Sun, Y., Zhao, X., Sharp, J., Ruan, W., Meng, J. & Huang, X., 30/09/2022, In: IEEE Transactions on Reliability. 71, 3, p. 1191-1206 16 p., 3.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

Previous 1...69 70 71 72 73 74 75 76 ...394 Next