Department of Computer Science

Filter
Conference contribution

Search results

  • 2024

    Progressive Feature Self-reinforcement for Weakly Supervised Semantic Segmentation

    He, J., Cheng, L., Fang, C., Feng, Z., Mu, T. & Song, M., 24 Mar 2024, 38th AAAI Conference on Artificial Intelligence, AAAI-2024. AAAI Press

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    28 Downloads (Pure)

  • Quff: A Dynamically Typed Hybrid Quantum-Classical Programming Language

    Wright, C. J., Luján, M., Petoumenos, P. & Goodacre, J., 13 Sept 2024, MPLR 2024: Proceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes. New York, NY: Association for Computing Machinery, p. 65-81 17 p.

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    18 Downloads (Pure)

  • Rapid Taint Assisted Concolic Execution (TACE)

    Jain, R., Tihanyi, N., Ndhlovu, M., Ferrag, M. A. & Cordeiro, L., 10 Jul 2024, The ACM International Conference on the Foundations of Software Engineering (FSE) . p. 627 - 631

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    15 Downloads (Pure)

  • ReflectanceFusion: Diffusion-based text to SVBRDF Generation

    Xue, B., Guarnera, G. C., Zhao, S. & Montazeri, Z., 5 Jul 2024, Eurographics Symposium on Rendering (EGSR). Eurographics Association

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    21 Downloads (Pure)

  • REVISIT AND OUTSTRIP ENTITY ALIGNMENT: A PERSPECTIVE OF GENERATIVE MODELS

    Guo, L., Chen, Z., Chen, J., Fang, Y. & Zhang, W., 16 Jan 2024, (Accepted/In press) The Twelfth International Conference on Learning Representations (ICLR 2024).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    2 Downloads (Pure)

  • Revolutionizing Data Privacy: The ENCRYPT Project’s Innovations and Applications

    Erotokritou, S., Giannoulakis, I., Kafetzakis, E., Kaltakis, K., Etenzi, E., Diamantopoulos, S., Mazzeo, G., D'Antonio, S., Bultel, J.-P., Stratikopoulos, A., Papoutsis, A., Lloyd, J., Meditskos, G. & Napolitano , V., 3 Sept 2024, Information Systems : (EMCIS 2024). M. T., N. B., G. K. & M. P. (eds.). p. 65-80 16 p. (Lecture Notes in Business Information Processing; vol. 536)(European, Mediterranean, and Middle Eastern Conference on Information Systems).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

  • Reward-Guided Individualised Communication for Deep Reinforcement Learning in Multi-Agent Systems

    Lin, Y.-Y. & Zeng, X., 1 Feb 2024, UK Workshop on Computational Intelligence. Springer Nature, p. 79-94 Chapter 7. (Advances in Computational Intelligence Systems; vol. 1453).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    1 Downloads (Pure)

  • Robotics: A New Mission for FRET Requirements

    Vazquez, G., Mavridou, A., Farrell, M., Pressburger, T. & Calinescu, R., 26 May 2024, (E-pub ahead of print) NASA Formal Methods: Lecture Notes in Computer Science. Springer Cham, Vol. 14627.

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    487 Downloads (Pure)

  • RO-Crate community update 2024

    RO-Crate community, Soiland-Reyes, S., Sefton, P., Leo, S., Castro, L. J. & Weiland, C., 13 Jan 2024, (Submitted) International FAIR Digital Objects Implementation Summit 2024. TIB Open Publishing

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

    File
    132 Downloads (Pure)

  • ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics

    Ghaffari Saadat, M., Ferrando, A., Dennis, L. & Fisher, M., 26 Sept 2024, (Accepted/In press) Sixth International Workshop on Formal Methods for Autonomous Systems.

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

  • Second-Order Uncertainty Quantification: A Distance-Based Approach

    Sale, Y., Bengs, V., Caprio, M. & Hüllermeier, E., 1 Jul 2024, (Accepted/In press) Proceedings of machine Learning Research, ICML 2024.

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    153 Downloads (Pure)

  • Self-Refine Instruction-Tuning for Aligning Reasoning in Language Models

    Ranaldi, L. & Freitas, A., 12 Nov 2024, Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics, p. 2325–2347

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access

  • SemEval-2024 Task 2: Safe Biomedical Natural Language Inference for Clinical Trials

    Jullien, M., Valentino, M. & Freitas, A., 20 Jun 2024, (E-pub ahead of print) Association for Computational Linguistics. p. 1947-1962

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    4 Downloads (Pure)

  • SENSIM: An Event-driven Parallel Simulator for Multi-core Neuromorphic Systems

    Nembhani, P., Vadivel, K., Tang, G., Tahghighi, M., van Schaik, G.-J., Sifalakis, M., Al-Ars, Z. & Yousefzadeh, A., 9 Sept 2024, IJCNN 2024 Conference Proceedings. Piscataway, NJ: IEEE, 6 p.

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

  • Sequential underspecified instrument selection for cause-effect estimation

    Ailer, E., Hartford, J. & Kilbertus, N., Feb 2024, International Conference on Machine Learning (ICML 2023). Stroudsburg, PA: International Machine Learning Society (IMLS), p. 408-420 13 p. (Proceedings of Machine Learning Research; vol. 202).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

  • Sigh!!! There is more than just faces and verbal speech to recognize emotion in human-robot interaction

    Maharjan, R. S., Romeo, M. & Cangelosi, A., 30 Oct 2024, 2024 33rd IEEE International Conference on Robot and Human Interactive Communication (ROMAN). IEEE, p. 62-68 7 p.

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

  • Signature-Based Witness Encryption with Compact Ciphertext

    Avitabile, G., Döttling, N., Magri, B., Sakkas, C. & Wohnig, S., 10 Dec 2024, (E-pub ahead of print) Advances in Cryptology – ASIACRYPT 2024 - 30th International Conference on the Theory and Application of Cryptology and Information Security, Proceedings. Chung, K.-M. & Sasaki, Y. (eds.). Springer Nature, p. 3-31 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15484 LNCS).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

  • Silicone-Based Haptic Interfaces: Enhancing Multimodal Interactions through Pneumatic Tactile Feedback

    Liu, Y., Shangguan, Z., Tapus, A., Safin, S., Détienne, F. & Lecolinet, E., 29 Oct 2024, 2024 16th International Conference on Intelligent Human-Machine Systems and Cybernetics. p. 140-143 4 p.

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

  • Simultaneous Super-Resolution and Denoising on MRI via Conditional Stochastic Normalizing Flow

    Liu, Z., Wang, X., Wu, Z., Zhu, Y. C. & Frangi, A. F., 18 Jan 2024, Proceedings - 2023 2023 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2023. Jiang, X., Wang, H., Alhajj, R., Hu, X., Engel, F., Mahmud, M., Pisanti, N., Cui, X. & Song, H. (eds.). IEEE, p. 1313-1318 6 p. (Proceedings - 2023 2023 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2023).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    32 Downloads (Pure)

  • SMACv2: An Improved Benchmark for Cooperative Multi-Agent Reinforcement Learning

    Ellis, B., Cook, J., Moalla, S., Samvelyan, M., Sun, M., Mahajan, A., Foerster, J. N. & Whiteson, S., Jul 2024, Advances in Neural Information Processing Systems 36: 37th Conference on Neural Information Processing Systems, NeurIPS 2023. Oh, A., Neumann, T., Globerson, A., Saenko, K., Hardt, M. & Levine, S. (eds.). Neural information processing systems foundation, p. 1-27 27 p. (Advances in Neural Information Processing Systems; vol. 36).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access

  • SMLP: Symbolic Machine Learning Prover

    Brausse, F., Khasidashvili, Z. & Korovin, K., 26 Jul 2024, (E-pub ahead of print) Computer Aided Verification - 36th International Conference, CAV 2024. Springer Cham, Vol. 14681. p. 219–233 ( Lecture Notes in Computer Science).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Soft Gripping: Specifying for Trustworthiness

    Abeywickrama, D., Le, N. H., Chance, G., Winter, P. D., Manzini, A., Partridge, A. J., Ives, J., Downer, J., Deacon, G., Rossiter, J., Eder, K. & Windsor, S., 13 May 2024, (E-pub ahead of print) 2024 IEEE 7th International Conference on Soft Robotics, RoboSoft 2024. IEEE, p. 565-571 7 p.

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    8 Downloads (Pure)

  • SoK: Software Compartmentalization

    Lefeuvre, H., Dautenhahn, N., Chisnall, D. & Olivier, P., 10 Sept 2024, (Accepted/In press) 46th IEEE Symposium on Security and Privacy (S&P'25).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

  • Spatio-Angular Convolutions for Super-resolution in Diffusion MRI

    Lyon, M., Armitage, P. & Alvarez, M. A., Jul 2024, Advances in Neural Information Processing Systems 36: 37th Conference on Neural Information Processing Systems (NeurIPS 2023). Oh, A., Naumann, T., Globerson, A., Saenko, K., Hardt, M. & Levine, S. (eds.). Neural Information Processing Systems Foundation, Inc., p. 1-19 19 p.

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Specifying Agent Ethics

    Dennis, L. A. & Fisher, M., 25 Sept 2024, (Accepted/In press) Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVII. Springer London

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

  • Specifying Agent Ethics (Blue Sky Ideas)

    Dennis, L. A. & Fisher, M., 12 Mar 2024, (Accepted/In press) Coordination, Organizations, Institutions, Norms and Ethics for Governance of Multi-Agent Systems.

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    8 Downloads (Pure)

  • Synthesising 3D Cardiac CINE-MR Images and Corresponding Segmentation Masks using a Latent Diffusion Model

    Cheng, N., Liu, Z., Deo, Y., Dou, H., Bi, N., Wu, K., Lin, F., Taylor, Z. A., Ravikumar, N. & Frangi, A. F., 22 Aug 2024, IEEE International Symposium on Biomedical Imaging, ISBI 2024 - Conference Proceedings. IEEE Computer Society , (Proceedings - International Symposium on Biomedical Imaging).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

  • Synthetic Data Aided Federated Learning Using Foundation Models

    Abacha, F., Teo, S. G., Cordeiro, L. C. & Mustafa, M. A., 3 Jun 2024, (Accepted/In press) International Workshop on Federated Learning in the Age of Foundation Models In Conjunction with IJCAI 2024 (FL@FM-IJCAI'24).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

  • Task-Oriented Source-Channel Coding Enabled Autonomous Driving Based on Edge Computing

    Diao, Y., Meng, Z., Xu, X., She, C. & Zhao, P. G., 13 Aug 2024, IEEE INFOCOM 2024 : IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS). IEEE

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

  • Taxonomy completion via implicit concept insertion

    Shi, J., Chen, J., Dong, H., Wu, Z. & Horrocks, I., 23 Jan 2024, (Accepted/In press) The Web Conference 2024.

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    3 Downloads (Pure)

  • The ‘Causality’ Quagmire for Formalised Bond Graphs

    Banach, R. & Baugh, J., 24 Apr 2024, (Accepted/In press) ICGT 2024.

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    File

  • Thin and Deep Gaussian Processes

    de Souza, D. A., Nikitin, A., John, S. T., Ross, M., Alvarez, M. A., Deisenroth, M. P., Gomes, J. P. P., Mesquita, D. & Mattos, C. L. C., Jul 2024, Advances in Neural Information Processing Systems 36: 37th Conference on Neural Information Processing Systems (NeurIPS 2023). Oh, A., Neumann, T., Globerson, A., Saenko, K., Hardt, M. & Levine, S. (eds.). Neural Information Processing Systems Foundation, Inc., p. 1-11 11 p.

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Thinking on Your Feet: Enhancing Foveated Rendering in Virtual Reality During User Activity

    Petrescu, D., Warren, P. A., Montazeri, Z., Strain, G. & Pettifer, S., 11 Mar 2024, In Proceedings of the 19th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications - GRAPP. 2024 ed. Rome, Italy, p. 140 150 p.

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    251 Downloads (Pure)

  • ToP-ToM: Trust-aware Robot Policy with Theory of Mind

    Yu, C., Serhan, B. & Cangelosi, A., 8 Aug 2024, 2024 IEEE International Conference on Robotics and Automation (ICRA).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    41 Downloads (Pure)

  • TrackIops: Real-Time NFS Performance Metrics Extractor

    Dubuc, T., Vicat-Blanc, P., Olivier, P., Callau-Zori, M., Hubert, C. & Tchana, A., 2 Mar 2024, (Accepted/In press) 4th Workshop on Challenges and Opportunities of Efficient and Performant Storage Systems (CHEOPS 2024).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    2 Downloads (Pure)

  • Trust, but Verify: Evaluating Developer Behavior in Mitigating Security Vulnerabilities in Open-Source Software Projects

    de Sousa, J. O., Carvalho De Farias, B., Filho, E. B. D. L. & Cordeiro, L., 8 Aug 2024, (Accepted/In press) 24th Brazilian Symposium on Information and Computational Systems Security .

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    File
    27 Downloads (Pure)

  • TrustUQA: A Trustful Framework for Unified Structured Data Question Answering

    Zhang, W., Jin, L., Zhu, Y., Chen, J., Huang, Z., Wang, J., Hua, Y. & Chen, H., 13 Dec 2024, (Accepted/In press) Proceedings of the AAAI Conference on Artificial Intelligence.

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

  • Trustworthy ROS Software Architecture for Autonomous Drones Missions: From RoboChart Modelling to ROS Implementation

    Shaukat, N., Dubey, S., Kaddouh, B., Blight, A., Mudrich, L., Ribeiro, P., Araujo, H., Richardson, R., Dennis, L., Cavalcanti, A. & Mousavi, M., 9 Oct 2024, IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    47 Downloads (Pure)

  • Uncoupled Learning of Differential Stackelberg Equilibria with Commitments

    Loftin, R., Celikok, M. M., Van Hoof, H., Kaski, S. & Oliehoek, F. A., 6 May 2024, Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS2024). Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 1265-1273 9 p.

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access

  • UNSAT Solver Synthesis via Monte Carlo Forest Search

    Cameron, C., Hartford, J., Lundy, T., Truong, T., Milligan, A., Chen, R. & Leyton-Brown, K., 28 Mar 2024, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28–31, 2024, Proceedings, Part I. Dilkina, B. (ed.). Cham: Springer Cham, p. 170-189 20 p. (Lecture Notes in Computer Science; vol. 14742).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Untargeted Adversarial Attack on Knowledge Graph Embeddings

    Zhao, T., Chen, J., Ru, Y., Lin, Q., Geng, Y. & Liu, J., 11 Jul 2024, Proceedings of the 47th International ACM SIGIR Conference on Research and Development in Information Retrieval. p. 1701 - 1711

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    16 Downloads (Pure)

  • Using Thermal and Contact Sensors for Mood Detection in Smart Living Environments

    Garcia-Constantino, M., Konios, A., Ekerete, I., Mustafa, M. A., Lopez-Nava, I. H. & Altamirano-Flores, Y. V., 26 Jun 2024, International Conference on PErvasive Technologies Related to Assistive Environments (PETRA). p. 351 - 358

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    27 Downloads (Pure)

  • Vector-Aware Anisotropic Gauge Equivariant Mesh Convolution Network for 3D Aneurysm Detection

    Ru, X., Zhao, H., Wang, X., Wu, Z., Liu, S., Zhu, Y. C. & Frangi, A. F., 7 Jun 2024, ICMR 2024 - Proceedings of the 2024 International Conference on Multimedia Retrieval. Association for Computing Machinery, p. 248-256 9 p. (ICMR 2024 - Proceedings of the 2024 International Conference on Multimedia Retrieval).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

  • Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving

    Quan, X., Valentino, M., Dennis, L. A. & Freitas, A., 12 Nov 2024, (E-pub ahead of print) Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics, p. 2933-2958

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    12 Downloads (Pure)

  • VIRAS: Conflict-Driven Quantifier Elimination for Integer-Real Arithmetic

    Schoisswohl, J., Kovács, L. & Korovin, K., 26 May 2024, Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'24). Bjørner, N., Heule, M. & Voronkov, A. (eds.). EasyChair, Vol. 100. p. 147–164 (EPiC Series in Computing).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    22 Downloads (Pure)

  • Where is My Favourite Toy? Inferring the Mental States of Users in False Belief Understanding

    Hellou, M., Vinanzi, S. & Cangelosi, A., 27 Aug 2024, 2024 IEEE International Conference on Development and Learning (ICDL). IEEE, p. 1-8 8 p.

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

  • 2023

    A Cognitive Robotics Model for Contextual Diversity in Language Learning

    Raggioli, L. & Cangelosi, A., 28 Aug 2023, 32nd IEEE International Conference on Robot and Human Interactive Communication (IRO-MAN 2023), Busan, Republic of Korea.

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    39 Downloads (Pure)

  • A Conditional Flow Variational Autoencoder for Controllable Synthesis of Virtual Populations of Anatomy

    Dou, H., Ravikumar, N. & Frangi, A. F., 2023, Medical Image Computing and Computer Assisted Intervention – MICCAI 2023 - 26th International Conference, Proceedings. Greenspan, H., Greenspan, H., Madabhushi, A., Mousavi, P., Salcudean, S., Duncan, J., Syeda-Mahmood, T. & Taylor, R. (eds.). Springer Nature, p. 143-152 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14226 LNCS).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

  • A Control Approach for Human-Robot Ergonomic Payload Lifting

    Rapetti, L., Sartore, C., Elobaid, M., Tirupachuri, Y., Draicchio, F., Kawakami, T., Yoshiike, T. & Pucci, D., 4 Jul 2023, Proceedings - ICRA 2023: IEEE International Conference on Robotics and Automation. IEEE, p. 7504-7510 7 p. (Proceedings - IEEE International Conference on Robotics and Automation; vol. 2023-May).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

  • Adaptive Cognitive Agents: Updating Action Descriptions and Plans

    Stringer, P., Cardoso, R. C., Dixon, C., Fisher, M. & Dennis, L., 7 Sept 2023, 20th European Conference of Multi-Agents Systems. Springer Nature, p. 345-362 (Multi-Agent Systems; vol. 14282).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    23 Downloads (Pure)