Home > Research > Computing and Communications > Publications & Outputs

Research

View graph of relations

Computing and Communications

481 - 490 out of 10,606Page size: 10
RSS feed of this list
  1. 2024
  2. Forthcoming

    Real Arithmetic in TLAPM

    Gunasekera, O., Sogokon, A., Gouglidis, A. & Suri, N., 21/02/2024, (Accepted/In press) NASA Formal Methods 2024.

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

  3. Published

    Development of a 3D Reconstruction Technique for the Retinal Surface from Monocular Fundus Photography

    Du, A., 20/02/2024, Lancaster University. 96 p.

    Research output: Thesis › Master's Thesis

  4. Published

    CodeAgent: Collaborative Agents for Software Engineering

    Tang, D., Chen, Z., Kim, K., Song, Y., Tian, H., Ezzini, S., Huang, Y., Klein, J. & Bissyande, T. F., 15/02/2024, Arxiv.

    Research output: Working paper › Preprint

  5. Published

    Intent-driven Closed-Loop Control and Management Framework for 6G Open RAN

    Zhang, J., Yang, C., Dong, R., Wang, Y., Anpalagan, A., Ni, Q. & Guizani, M., 15/02/2024, In: IEEE Internet of Things Journal. 11, 4, p. 6314-6327 14 p.

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

  6. Published

    Traffic Sign Recognition Using Optimized Federated Learning in Internet of Vehicles

    Lian, Z., Zeng, Q., Wang, W., Xu, D., Meng, W. & Su, C., 15/02/2024, In: IEEE Internet of Things Journal. 11, 4, p. 6722-6729 8 p.

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

  7. Published

    DestripeCycleGAN: Stripe Simulation CycleGAN for Unsupervised Infrared Image Destriping

    Yang, S., Qin, H., Yuan, S., Yan, X. & Rahmani, H., 14/02/2024, Arxiv.

    Research output: Working paper › Preprint

  8. Published

    Sports-QA: A Large-Scale Video Question Answering Benchmark for Complex and Professional Sports

    Li, H., Deng, A., Ke, Q., Liu, J., Rahmani, H., Guo, Y. & Schiele, B., 14/02/2024, Arxiv.

    Research output: Working paper › Preprint

  9. Published

    HoberUI: An Exploration of Kinematic Structures as Interactive Input Devices

    Razevicius, G., Roudaut, A. & Karnik, A., 13/02/2024, In: Multimodal Technologies and Interaction. 8, 2, 13.

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

  10. Published

    Protecting Against Compromised Controllers in Software Defined Networks Using an Efficient Byzantine Fault Preventing Control Plane

    Gardiner, J., 13/02/2024, Lancaster University. 292 p.

    Research output: Thesis › Doctoral Thesis

  11. Published

    Models of High-Level Computation

    Arellanes, D., 4/02/2024, Arxiv.

    Research output: Working paper › Preprint

Previous 1...45 46 47 48 49 50 51 52 ...1061 Next

Back to top