Computer Science

  • Postal address

    United Kingdom

Filter
Conference contribution

Search results

  • 2024

    A Multi-Agent Reinforcement Learning Approach to Promote Cooperation in Evolutionary Games on Networks with Environmental Feedback

    Zhang, T., Gupta, H., Suprabhat, K. & Stella, L., 19 Jan 2024, 2023 62nd IEEE Conference on Decision and Control, CDC 2023. Institute of Electrical and Electronics Engineers (IEEE), p. 2196-2201 6 p. (Proceedings of the IEEE Conference on Decision and Control).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    18 Downloads (Pure)

  • An Impact Study of Concept Drift in Federated Learning

    Yang, G., Chen, X., Zhang, T., Wang, S. & Yang, Y., 5 Feb 2024, 2023 IEEE International Conference on Data Mining (ICDM). IEEE, p. 1457-1462 6 p. (IEEE International Conference on Data Mining (ICDM)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    33 Downloads (Pure)

  • A Theoretical Investigation Of Termination Criteria For Evolutionary Algorithms

    Rowe, J., 2 Jun 2024, Evolutionary Computation in Combinatorial Optimization: 24th European Conference, EvoCOP 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3–5, 2024, Proceedings. Stützle, T. & Wagner, M. (eds.). 1 ed. Springer, p. 162–176 (Lecture Notes in Computer Science; vol. 14632).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Bicriteria optimisation of average and worst-case performance using coevolutionary algorithms

    Benford, A., Olhofer, M., Rodemann, T. & Lehre, P. K., 18 Mar 2024, (Accepted/In press) 2024 IEEE Congress on Evolutionary Computation (CEC). IEEE, (Congress on Evolutionary Computation).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Bridging the Gap: Cross-modal Knowledge Driven Network for Radiology Report Generation

    Kang, B., Zhang, Y., Xiong, Y., Jia, X., Jiao, J. & Li, J., 18 Jan 2024, 2023 IEEE International Conference on Bioinformatics and Biomedicine (BIBM). Jiang, X., Wang, H., Alhajj, R., Hu, X., Engel, F., Mahmud, M., Pisanti, N., Cui, X. & Song, H. (eds.). IEEE, p. 1202-1209 8 p. 10385967. (IEEE International Conference on Bioinformatics and Biomedicine (BIBM)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    1 Downloads (Pure)

  • CL-MVSNet: Unsupervised Multi-view Stereo with Dual-level Contrastive Learning

    Xiong, K., Peng, R., Zhang, Z., Feng, T., Jiao, J., Gao, F. & Wang, R., 15 Jan 2024, 2023 IEEE/CVF International Conference on Computer Vision (ICCV). IEEE, p. 3746-3757 12 p. 10376500. (International Conference on Computer Vision (ICCV)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    2 Downloads (Pure)

  • CoinSeg: Contrast Inter- and Intra- Class Representations for Incremental Segmentation

    Zhang, Z., Gao, G., Jiao, J., Liu, C. H. & Wei, Y., 15 Jan 2024, 2023 IEEE/CVF International Conference on Computer Vision (ICCV). IEEE, p. 843-853 11 p. 10378563. (International Conference on Computer Vision (ICCV)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • DiffPose: SpatioTemporal Diffusion Model for Video-Based Human Pose Estimation

    Feng, R., Gao, Y., Tse, T. H. E., Ma, X. & Chang, H. J., 15 Jan 2024, 2023 IEEE/CVF International Conference on Computer Vision (ICCV). IEEE, p. 14815-14826 12 p. 10378477. (Proceedings of the IEEE International Conference on Computer Vision).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    36 Downloads (Pure)

  • Diffuse3D: Wide-Angle 3D Photography via Bilateral Diffusion

    Jiang, Y., Zhou, Y., Liang, Y., Liu, W., Jiao, J., Quan, Y. & He, S., 15 Jan 2024, 2023 IEEE/CVF International Conference on Computer Vision (ICCV). IEEE, p. 8964-8974 11 p. 10376874. (International Conference on Computer Vision (ICCV)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Dynamic Data-Driven Digital Twins for Blockchain Systems

    Diamantopoulos, G., Tziritas, N., Bahsoon, R. & Theodoropoulos, G., 27 Feb 2024, Dynamic Data Driven Applications Systems: 4th International Conference, DDDAS 2022, Cambridge, MA, USA, October 6–10, 2022, Proceedings. Blasch, E., Darema, F. & Aved, A. (eds.). 1 ed. Springer, p. 283–292 10 p. (Lecture Notes in Computer Science; vol. 13984).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Downloads (Pure)

  • Hardness of Linearly Ordered 4-Colouring of 3-Colourable 3-Uniform Hypergraphs

    Filakovský, M., Nakajima, T-V., Opršal, J., Tasinato, G. & Wagner, U., 11 Mar 2024, 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024). Beyersdorff, O., Kanté, M. M., Kupferman, O. & Lokshtanov, D. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik , p. 34:1-34:19 19 p. 34. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 289).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Interpretable and robust hospital readmission predictions from Electronic Health Records

    Calero-Diaz, H., Hamad, R. A., Atallah, C., Casement, J., Canoy, D., Reynolds, N. J., Barnes, M. R. & Missier, P., 22 Jan 2024, 2023 IEEE International Conference on Big Data (BigData). He, J., Palpanas, T., Hu, X., Cuzzocrea, A., Dou, D., Slezak, D., Wang, W., Gruca, A., Lin, J. C-W. & Agrawal, R. (eds.). Institute of Electrical and Electronics Engineers (IEEE), p. 3679-3687 9 p. (IEEE International Conference on Big Data).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Intuitionistic Gödel-Löb Logic, à la Simpson: Labelled Systems and Birelational Semantics

    Das, A., van der Giessen, I. & Marin, S., 7 Feb 2024, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024). Murano, A. & Silva, A. (eds.). Schloss Dagstuhl, p. 22:1-22:18 18 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 288).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    71 Downloads (Pure)

  • Malleable Commitments from Group Actions and Zero-Knowledge Proofs for Circuits based on Isogenies

    Chen, M., Lai, Y-F., Laval, A., Marco, L. & Petit, C., 29 Mar 2024, Progress in Cryptology – INDOCRYPT 2023: 24th International Conference on Cryptology in India, Goa, India, December 10–13, 2023, Proceedings, Part I. Chattopadhyay, A., Bhasin, S., Picek, S. & Rebeiro, C. (eds.). 1 ed. Springer, p. 221–243 23 p. (Lecture Notes in Computer Science; vol. 14459).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    8 Downloads (Pure)

  • Multi-view Self-supervised Disentanglement for General Image Denoising

    Chen, H., Qu, C., Zhang, Y., Chen, C. & Jiao, J., 15 Jan 2024, 2023 IEEE/CVF International Conference on Computer Vision (ICCV). IEEE, p. 12247-12257 11 p. 10377551. (International Conference on Computer Vision (ICCV)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    3 Downloads (Pure)

  • On Efficient and Secure Compression Functions for Arithmetization-Oriented Hashing

    Trevisani, S., Andreeva, E., Bhattacharyya, R. & Roy, A., 8 Apr 2024, (Accepted/In press) 2024 IEEE 37th Computer Security Foundations Symposium (CSF). IEEE, (IEEE Computer Security Foundations Symposium).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • OneShot: View-Adapting Streamlined BFT Protocols with Trusted Execution Environments

    Decouchant, J., Kozhaya, D., Rahli, V. & Yu, J., 30 Jan 2024, (Accepted/In press) 2024 IEEE International Symposium on Parallel and Distributed Processing (IPDPS). IEEE, (International Symposium on Parallel and Distributed Processing (IPDPS)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Right-Adjoints for Datalog Programs

    ten Cate, B., Dalmau, V. & Opršal, J., 14 Mar 2024, 27th International Conference on Database Theory (ICDT 2024). Cormode, G. & Shekelyan, M. (eds.). Schloss Dagstuhl, 10. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 290).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    6 Downloads (Pure)

  • Runtime Analysis of Coevolutionary Algorithms on a Class of Symmetric Zero-Sum Games

    Benford, A. & Lehre, P. K., 22 Mar 2024, (Accepted/In press) GECCO '24: Proceedings of the Genetic and Evolutionary Computation Conference. Association for Computing Machinery (ACM), (GECCO: Genetic and Evolutionary Computation Conference).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Scoped Effects as Parameterized Algebraic Theories

    Lindley, S., Matache, C., Moss, S., Staton, S., Wu, N. & Yang, Z., 5 Apr 2024, Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I. Weirich, S. (ed.). 1 ed. Springer, p. 3-21 19 p. (Lecture Notes in Computer Science; vol. 14576).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • SoK: Prudent Evaluation Practices for Fuzzing

    Schloegel, M., Bars, N., Schiller, N., Bernhard, L., Scharnowski, T., Crump, A., Ale-Ebrahim, A., Bissantz, N., Muench, M. & Holz, T., 23 May 2024, 2024 IEEE Symposium on Security and Privacy (SP). Los Alamitos, CA, USA: IEEE, (Proceedings of the IEEE Symposium on Security and Privacy).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    463 Downloads (Pure)

  • Spectral Graphormer: Spectral Graph-based Transformer for Egocentric Two-Hand Reconstruction using Multi-View Color Images

    Tse, T. H. E., Mueller, F., Shen, Z., Tang, D., Beeler, T., Dou, M., Zhang, Y., Petrovic, S., Chang, H. J., Taylor, J. & Doosti, B., 15 Jan 2024, 2023 IEEE/CVF International Conference on Computer Vision (ICCV). IEEE, p. 14620-14631 12 p. 10377643. (Proceedings of the IEEE International Conference on Computer Vision).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    34 Downloads (Pure)

  • Testing Self-Reducible Samplers

    Bhattacharyya, R., Chakraborty, S., Pote, Y., Sarkar, U. & Sen, S., 24 Mar 2024, Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence. AAAI Press, p. 7952-7960 9 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 38, no. 8).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
  • 2023

    Accountable Javascript Code Delivery

    Esiyok, I., Berrang, P., Cohn-Gordon, K. & Kuennemann, R., 8 Feb 2023, NDSS Symposium 2023 Accepted Papers. The Internet Society, p. 1-17 17 p. f96

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • A Comparison of Multi-task Learning and Single-Task Learning Approaches

    Marquet, T. & Oswald, E., 4 Oct 2023, Applied Cryptography and Network Security Workshops - ACNS 2023 Satellite Workshops, ADSC, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S and P, SCI, SecMT, SiMLA, Proceedings. Springer, p. 121-138 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13907).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • A dataset of coordinated cryptocurrency-related social media campaigns

    Zilius, K., Spiliotopoulos, T. & Moorsel, A. V., 2 Jun 2023, Proceedings of the Seventeenth International AAAI Conference on Web and Social Media. Lin, Y-R., Cha, M. & Quercia, D. (eds.). AAAI Press, p. 1112-1121 10 p. (Proceedings of the International AAAI Conference on Weblogs and Social Media.; vol. 17).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    30 Downloads (Pure)

  • A Kernel Density Estimation Based Quality Metric for Quality Assessment of Obstetric Ultrasound Video

    Kwon, J., Jiao, J., Self, A., Alison Noble, J. & Papageorghiou, A., 31 Jul 2023, Trustworthy Machine Learning for Healthcare: First International Workshop, TML4H 2023, Virtual Event, May 4, 2023, Proceedings. Chen, H. & Luo, L. (eds.). 1 ed. Springer, p. 134-146 13 p. (Lecture Notes in Computer Science; vol. 13932).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Amortised experimental design and parameter estimation for user models of pointing

    Keurulainen, A., Keurulainen, O., Westerlund, I. & Howes, A., 19 Apr 2023, CHI '23: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems. Schmidt, A., Väänänen, K., Goyal, T., Kristensson, P. O., Peters, A., Mueller, S., Williamson, J. R. & Wilson, M. L. (eds.). New York: Association for Computing Machinery (ACM), p. 1-17 17 p. 772. (CHI: Conference on Human Factors in Computing Systems).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    27 Downloads (Pure)

  • Analysing the Effects of Congestion on Hybrid Order Picking Systems using a Discrete-Event Simulator

    Street, C., Sadhan Jujjavarapu, S., Nai-An Chen, M., Paul, S. & Hawes, N., 20 Apr 2023, (Accepted/In press) Intelligent Autonomous Systems 18: Proceedings of the 18th International Conference on IAS18-2023. Lee, S-G., An, J., Chong, N. Y., Strand, M. & Kim, J. H. (eds.). Springer, 11 p. (Lecture Notes in Networks and Systems).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Analysis of a Pairwise Dominance Coevolutionary Algorithm And DefendIt

    Lehre, P. K., Fajardo, M. H., Toutouh, J., Hemberg, E. & O'Reilly, U-M., 12 Jul 2023, GECCO '23: Proceedings of the Genetic and Evolutionary Computation Conference. Association for Computing Machinery (ACM), p. 1027-1035 9 p. (GECCO: Genetic and Evolutionary Computation Conference).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Anatomy-Aware Contrastive Representation Learning for Fetal Ultrasound

    Fu, Z., Jiao, J., Yasrab, R., Drukker, L., Papageorghiou, A. T. & Noble, J. A., 18 Feb 2023, ECCV 2022: Computer Vision – ECCV 2022 Workshops: Tel Aviv, Israel, October 23–27, 2022, Proceedings, Part III. Karlinsky, L., Michaeli, T. & Nishino, K. (eds.). 1 ed. Cham: Springer, Vol. 2022. p. 422-436 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13803 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • A new calculus for intuitionistic Strong Löb logic: strong termination and cut-elimination, formalised

    Shillito, I., van der Giessen, I., Goré, R. & Iemhoff, R., 2023, Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023. Ramanayake, R. & Urban, J. (eds.). p. 73-93 (Lecture Notes in Computer Science; vol. 14278).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • A Novel Generalized Metaheuristic Framework for Dynamic Capacitated Arc Routing Problems

    Tong, H., Minku, L., Menzel, S., Sendhoff, B. & Yao, X., 24 Jul 2023, GECCO '23 Companion: Proceedings of the Companion Conference on Genetic and Evolutionary Computation. Association for Computing Machinery (ACM), p. 45–46 2 p. (GECCO: Genetic and Evolutionary Computation Conference).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • A Practical Human Labeling Method for Online Just-in-Time Software Defect Prediction

    Song, L., Minku, L., Teng, C. & Yao, X., 30 Nov 2023, ESEC/FSE 2023: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Chandra, S., Blincoe, K. & Tonella, P. (eds.). Association for Computing Machinery (ACM), p. 605–617 13 p. (FSE: Foundations of Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    13 Downloads (Pure)

  • Are you not moved? Incorporating Sensorimotor Knowledge to Improve Metaphor Detection

    Alnafesah, G., Smith, P. & Lee, M., 6 Sept 2023, Proceedings of the 14th International Conference on Recent Advances in Natural Language Processing. Mitkov, R. & Angelova, G. (eds.). Incoma Ltd, p. 80-89 10 p. (International Conference Recent Advances in Natural Language Processing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • A Social Referencing Disambiguation Framework for Domestic Service Robots

    Fan, K., Jouaiti, M., Noormohammadi-As, A., Nehaniv, C. L. & Dautenhahn, K., 4 Jul 2023, 2023 IEEE International Conference on Robotics and Automation (ICRA). IEEE, p. 11979-11985 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • BioLeak: Exploiting Cache Timing to Recover Fingerprint Minutiae Coordinates

    Pemberton, O. & Oswald, D., 26 Nov 2023, ASHES '23: Proceedings of the 2023 Workshop on Attacks and Solutions in Hardware Security. Association for Computing Machinery (ACM), p. 61–72 12 p. (CCS: Computer and Communications Security).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    14 Downloads (Pure)

  • BoIR: Box-Supervised Instance Representation for Multi Person Pose Estimation

    Jeong, U., Baek, S., Chang, H. J. & Kim, K. I., 25 Aug 2023, (Accepted/In press) The 34th British Machine Vision Conference Proceedings. British Machine Vision Association

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Cali-NCE: Boosting Cross-modal Video Representation Learning with Calibrated Alignment

    Zhao, N., Jiao, J., Xie, W. & Lin, D., 14 Aug 2023, 2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW). IEEE, p. 6317-6327 11 p. 10209009. (IEEE Computer Society Conference on Computer Vision and Pattern Recognition workshops).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Can We Have Cultural Robotics Without Emotions?

    Candiotto, L. & Mansouri, M., 9 Jan 2023, Social Robots in Social Institutions. Hakli, R., Mäkelä, P. & Seibt, J. (eds.). IOS Press, p. 259-266 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 366).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    44 Downloads (Pure)

  • Cerebral resting state oscillations study with TD fNIRS

    Re, R., Contini, L., Contini, D., Orihuela-Espina, F., Torricelli, A. & Spinelli, L., 9 Aug 2023, Diffuse Optical Spectroscopy and Imaging IX. Contini, D., Hoshi, Y. & O'Sullivan, T. D. (eds.). SPIE, 126280I. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 12628).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    23 Downloads (Pure)

  • Characterizing Bias in Word Embeddings Towards Analyzing Gender Associations in Philippine Texts

    Gamboa, L. C. L. & Estuar, M. R. J. E., 2 Oct 2023, 2023 IEEE World Conference on Applied Intelligence and Computing (AIC). IEEE, 6 p. 10263949. (Applied Intelligence and Computing (AIC), IEEE World Conference on).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • CHERI-TrEE: Flexible enclaves on capability machines

    Van Strydonck, T., Noorman, J., Jackson, J., Dias, L., Vanderstraeten, R., Oswald, D., Piessens, F. & Devriese, D., 3 Jul 2023, EuroS&P - 8th IEEE European Symposium on Security and Privacy. IEEE, p. 1143-1159 17 p. (IEEE European Symposium on Security and Privacy).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    712 Downloads (Pure)

  • Clothes Grasping and Unfolding Based on RGB-D Semantic Segmentation

    Zhu, X., Wang, X., Freer, J., Chang, H. J. & Gao, Y., 4 Jul 2023, 2023 IEEE International Conference on Robotics and Automation (ICRA). IEEE, p. 9471-9477 7 p. 10160268. (IEEE International Conference on Robotics and Automation).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    130 Downloads (Pure)

  • Co-creating an 'EDI in computer science university teaching' toolkit with a focus on LGBTQIA+ issues

    Backens, M., 6 Mar 2023, SIGCSE 2023: Proceedings of the 54th ACM Technical Symposium on Computer Science Education. New York: Association for Computing Machinery (ACM), Vol. 2. p. 1266-1266 1 p. (SIGCSE: Computer Science Education).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Comparing Infinitary Systems for Linear Logic with Fixed Points

    Das, A., De, A. & Saurin, A., 12 Dec 2023, 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2023). Bouyer, P., Srinivasan, S. & Srinivasan, S. (eds.). Schloss Dagstuhl, p. 40:1-40:17 37. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 284).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    9 Downloads (Pure)

  • Comparing Key Rank Estimation Methods

    Young, R., Mather, L. & Oswald, E., 29 Jan 2023, Smart Card Research and Advanced Applications - 21st International Conference, CARDIS 2022, Revised Selected Papers. Buhan, I. & Schneider, T. (eds.). Springer, p. 188-204 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13820).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Comparison of multi-distance and multi-frequency methods in frequency-domain near-infrared spectroscopy

    Abdalsalam, O., Ross, N., Perkins, G. A., Dale, R., Dehghani, H., O’Sullivan, T. D. & Ferradal, S. L., 7 Mar 2023, Optical Tomography and Spectroscopy of Tissue XV. Fantini, S. & Taroni, P. (eds.). SPIE, 1237607. (Progress in Biomedical Optics and Imaging - Proceedings of SPIE; vol. 12376).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Compiling Higher-Order Specifications to SMT Solvers: How to Deal with Rejection Constructively

    Daggitt, M. L., Atkey, R., Kokke, W., Komendantskaya, E. & Arnaboldi, L., 11 Jan 2023, Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs. Krebbers, R., Traytel, D., Pientka, B. & Zdancewic, S. (eds.). New York: Association for Computing Machinery (ACM), p. 102–120 19 p. (ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Complete flow-preserving rewrite rules for MBQC patterns with Pauli measurements

    McElvanney, T. & Backens, M., 16 Nov 2023, Proceedings 19th International Conference on Quantum Physics and Logic (QPL 2022): Wolfson College, Oxford, UK, 27 June - 1 July 2022. Gogioso, S. & Hoban, M. (eds.). Open Publishing Association, p. 66-82 17 p. (Electronic proceedings in theoretical computer science; vol. 394).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    15 Downloads (Pure)