Filter
Conference contribution

Search results

  • 2021

    Distributed Ledger Technologies to Foster Energy Transition in Smart Cities: Peer-to-Peer Electricity Trading Case

    Montakhabi, M., van der Graaf, S., Madhusudan, A. & Mustafa, M. A., 31 May 2021, (Accepted/In press) Workshop The City as a License: Design, Rights and Civics in a Blockchain Society (CivicBlockchain) .

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Efficient Local Reductions to Basic Modal Logic

    Papacchini, F., Nalon, C., Hustadt, U. & Dixon, C., 9 Apr 2021, (Accepted/In press) 28th International Conference on Automated Deduction.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • EnnCore: End-to-End Conceptual Guarding of Neural Architectures

    Manino, E., Carvalho, D., Dong, Y., Rozanova, J., Song, X., Mustafa, M. A., Freitas, A., Brown, G., Luján, M., Huang, X. & Cordeiro, L., 7 Dec 2021, (Accepted/In press) AAAI's Workshops on Artificial Intelligence Safety (SafeAI) .

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Exploiting the SAT Revolution for Automated Software Verification: Report from an Industrial Case Study

    Cordeiro, L., 23 Sept 2021, (Accepted/In press) 10th Latin-American Symposium on Dependable Computing (LADC).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Exposure to Robotic Virtual Agent Affects Adoption of Intentional Stance

    Parenti, L., Marchesi, S., Belkaid, M. & Wykowska, A., 9 Nov 2021, HAI 2021 - Proceedings of the 9th International User Modeling, Adaptation and Personalization Human-Agent Interaction. p. 348-353 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    59 Downloads (Pure)
  • F3M: Fast Focused Function Merging

    Stirling, S., Rocha, R. C. O., Hazelwood, K., Leather, H., O'Boyle, M. F. P. & Petoumenos, P., 6 Nov 2021, (Accepted/In press) International Symposium on Code Generation and Optimization (CGO) 2022.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • FlexOS: Easy Specialization of OS Safety Properties

    Lefeuvre, H., 6 Dec 2021, (E-pub ahead of print) Proceedings of the 22nd International Middleware Conference Doctoral Symposium. 22 ed. New York, USA: Association for Computing Machinery, 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    153 Downloads (Pure)
  • Flip Learning: Erase to Segment

    Huang, Y., Yang, X., Zou, Y., Chen, C., Wang, J., Dou, H., Ravikumar, N., Frangi, A. F., Zhou, J. & Ni, D., 2021, Medical Image Computing and Computer Assisted Intervention – MICCAI 2021 - 24th International Conference, Proceedings. de Bruijne, M., de Bruijne, M., Cattin, P. C., Cotin, S., Padoy, N., Speidel, S., Zheng, Y. & Essert, C. (eds.). Springer Nature, p. 493-502 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12901 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Fostering Energy Transition in Smart Cities: DLTs for Peer-to-Peer Electricity Trading

    Montakhabi, M., Graaf, S. V. D., Madhusudan, A., Sarenche, R. & Mustafa, M. A., 15 Jun 2021, (Accepted/In press) 3rd IEEE International Workshop on Smart Circular Economy .

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs

    Alshmrany, K., Aldughaim, M., Bhayat, A. & Cordeiro, L., 18 Jun 2021, TAP: International Conference on Tests and Proofs. Springer London, (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution)

    Alshmrany, K., Menezes, R. S., Gadelha, M. R. & Cordeiro, L., 20 Mar 2021, 24th International Conference on Fundamental Approaches to Software Engineering (FASE) .

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Generalize ultrasound image segmentation via instant and plug play style transfer

    Liu, Z., Huang, X., Yang, X., Gao, R., Li, R., Zhang, Y., Huang, Y., Zhou, G., Xiong, Y., Frangi, A. F. & Ni, D., 13 Apr 2021, 2021 IEEE 18th International Symposium on Biomedical Imaging, ISBI 2021. IEEE Computer Society , p. 419-423 5 p. 9433930. (Proceedings - International Symposium on Biomedical Imaging; vol. 2021-April).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Human vs Humanoid. A Behavioral Investigation of the Individual Tendency to Adopt the Intentional Stance

    Marchesi, S., Spatola, N., Perez-Osorio, J. & Wykowska, A., 1 Mar 2021, Proceedings of the 2021 ACM/IEEE International Conference on Human-Robot Interaction (HRI '21), pp. 332-340: HRI'21. p. 332-340 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Hybrid Autoregressive Inference for Scalable Multi-hop Explanation Regeneration

    Valentino, M., Thayaparan, M., Mendes Ferreira, D. & Freitas, A., 1 Dec 2021, (Accepted/In press) 36th AAAI Conference on Artificial Intelligence .

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • HyFM: Function Merging for Free

    Rocha, R. C. O., Petoumenos, P., Wang, Z., Cole, M., Hazelwood, K. & Leather, H., 9 Apr 2021, (Accepted/In press) International Conference on Languages Compilers, Tools and Theory of Embedded Systems (LCTES 2021) .

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    129 Downloads (Pure)
  • Image-Derived Phenotype Extraction for Genetic Discovery via Unsupervised Deep Learning in CMR Images

    Bonazzola, R., Ravikumar, N., Attar, R., Ferrante, E., Syeda-Mahmood, T. & Frangi, AF., 2021, Medical Image Computing and Computer Assisted Intervention – MICCAI 2021 - 24th International Conference, Proceedings. deBruijne, M., Cattin, PC., Cotin, S., Padoy, N., Speidel, S., Zheng, Y. & Essert, C. (eds.). Springer Nature, p. 699-708 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12905 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Implementing Ethical Governors in BDI

    Cardoso, R., Ferrando, A., Dennis, L. & Fisher, M., 3 Oct 2021, (Accepted/In press) 9th International Workshop on Engineering Multi-Agent Systems .

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Increasing Confidence in Autonomous Systems

    Fisher, M., Ferrando, A. & Cardoso, R., 28 May 2021, (Accepted/In press) Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution (VORTEX '21).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Interactive Clustering of Cooking Recipe Instructions: Towards the Automatic Detection of Events Involving Kitchen Devices

    Ventirozos, F., Jacobo Romero, M., Clinch, S. & Batista-Navarro, R. T., 3 Mar 2021, IEEE 15th International Conference on Semantic Computing ICSC 2021: Virtual Conference 27 -29 January 2021. California: IEEE Computer Society , p. 341-346 6 p. (International Conference on Semantic Computing).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Investigating Text Simplification Evaluation

    Vásquez-Rodríguez, L., Shardlow, M., Przybyla, P. & Ananiadou, S., 2021, Findings of the Association for Computational Linguistics: ACL-IJCNLP 2021.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • IoT Cooking Workflows for End-Users: A Comparison Between Behaviour Trees and the DX-MAN Model

    Ventirozos, F., Batista-Navarro, R. T., Clinch, S. & Arellanes Molina, D., 20 Dec 2021, 24th International Conference on Model-Driven Engineering Languages and Systems MODELS 2021: 10–15 October 2021 Virtual Event. California: IEEE Computer Society , p. 341-350 10 p. (ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C); vol. 2021).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • ISO 23494: Biotechnology - Provenance Information Model for Biological Specimen and Data

    Wittner, R., Holub, P., Müller, H., Geiger, J., Goble, C., Soiland-Reyes, S., Pirredu, L., Frexia, F., Mascia, C., Fairweather, E., Swedlow, J. R., Moore, J., Strambio, C., Zanetti, G., Grunwald, D. & Nakae, H., 9 Jul 2021, Lecture Notes in Computer Science. Springer Nature, Vol. 12839. p. 222-225 4 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    151 Downloads (Pure)
  • Is the Understanding of Explicit Discourse Relations Required in Machine Reading Comprehension?

    Wu, Y., Schlegel, V. & Batista-Navarro, R., 1 Apr 2021, Proceedings of the 16th Conference of the European Chapter of the Association for Computational Linguistics: Main Volume. Association for Computational Linguistics, p. 3565-3579

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Learning Nonparametric Volterra Kernels with Gaussian Processes

    Ross, M., Smith, M. T. & Álvarez, M. A., 2021, Advances in Neural Information Processing Systems 34 - 35th Conference on Neural Information Processing Systems, NeurIPS 2021. Ranzato, MA., Beygelzimer, A., Dauphin, Y., Liang, P. S. & Wortman Vaughan, J. (eds.). Neural information processing systems foundation, p. 24099-24110 12 p. (Advances in Neural Information Processing Systems; vol. 29).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Loopapalooza: Investigating Limits of Loop-Level Parallelism with a Compiler-Driven Approach

    Zaidi, A., Iordanou, K., Luján, M. & Gabrielli, G., 23 Apr 2021, Proceedings of the 2021 IEEE International Symposium on Performance Analysis of Systems and Software.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    379 Downloads (Pure)
  • Loop Rolling for Code Size Reduction

    Rocha, R. C. O., Petoumenos, P., Franke, B., Bhatotia, P. & O'Boyle, M. F. P., 6 Nov 2021, (Accepted/In press) International Symposium on Code Generation and Optimization (CGO) 2022.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Machine Learning and Museum Collections: A Data Conundrum

    Noehrer, L., Carlton, J. & Jay, C., 2021, Emerging Technologies and the Digital Transformation of Museums and Heritage Sites - 1st International Conference, RISE IMET 2021, Proceedings. Shehade, M. & Stylianou-Lambert, T. (eds.). Springer Nature, p. 19-31 13 p. (Communications in Computer and Information Science; vol. 1432).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Microeconomic foundations of decentralised organisations

    Jacobo-romero, M. & Freitas, A., 22 Mar 2021, Proceedings of the 36th Annual ACM Symposium on Applied Computing, SAC 2021. ACM Digital Library, p. 282-290 9 p. (Proceedings of the ACM Symposium on Applied Computing).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    20 Downloads (Pure)
  • Modality Completion via Gaussian Process Prior Variational Autoencoders for Multi-modal Glioma Segmentation

    Hamghalam, M., Frangi, A. F., Lei, B. & Simpson, A. L., 2021, Medical Image Computing and Computer Assisted Intervention – MICCAI 2021 - 24th International Conference, Proceedings. de Bruijne, M., Cattin, P. C., Cotin, S., Padoy, N., Speidel, S., Zheng, Y. & Essert, C. (eds.). Springer Nature, p. 442-452 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12907 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Model-Checking Information Diffusion in Social Networks with PRISM

    Dennis, L. & Slavkovik, M., 5 Jan 2021, EUMAS 2020, AT 2020: Multi-Agent Systems and Agreement Technologies. (Lecture Notes in Computer Science; vol. 12520).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Modular Gaussian Processes for Transfer Learning

    Moreno-Muñoz, P., Artés-Rodríguez, A. & Álvarez, M. A., 2021, Advances in Neural Information Processing Systems 34 - 35th Conference on Neural Information Processing Systems, NeurIPS 2021. Ranzato, MA., Beygelzimer, A., Dauphin, Y., Liang, P. S. & Wortman Vaughan, J. (eds.). Neural information processing systems foundation, p. 24730-24740 11 p. (Advances in Neural Information Processing Systems; vol. 30).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Natural Language Inference over Tables: Enabling Explainable Data Exploration on Data Lakes

    Ramirez, M., Bogatu, A., Paton, N. & Freitas, A., 23 Feb 2021, (Accepted/In press) European Semantic Web Conference.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • NEUROSPF: A Tool for the Symbolic Analysis of Neural Networks

    Usman, M., Noller, Y., Pasareanu, C. S., Sun, Y. & Gopinath, D., May 2021, Proceedings - 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings, ICSE-Companion 2021. IEEE Computer Society , p. 25-28 4 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • NNrepair: constraint-based repair of neural network classifiers

    Usman, M., Gopinath, D., Sun, Y., Noller, Y. & Păsăreanu, C. S., 2021, Computer Aided Verification (CAV): 33rd International Conference, July 20--23, 2021, Proceedings, Part I 33. p. 3-25 23 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • No Free Lunch: Overcoming Reward Gaming in AI Safety Gridworlds

    Tsvarkaleva, M. & Dennis, L., 12 Jun 2021, (Accepted/In press) 4th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2021) .

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Number and Quality of Diagrams in Scholarly Publications is Associated with Number of Citations

    Marshall, G., Jay, C. & Freitas, A., 6 Jul 2021, (Accepted/In press) DIAGRAMS 2021:12th International Conference on the Theory and Application of Diagrams.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Power and energy efficient routing for Mach-Zehnder interferometer based photonic switches

    Kynigos, M., Pascual, J., Navaridas, J., Goodacre, J. & Luján, M., 3 Jun 2021, ICS 2021 - Proceedings of the 2021 ACM International Conference on Supercomputing. Association for Computing Machinery, p. 177-189 19 p. (Proceedings of the International Conference on Supercomputing).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    185 Downloads (Pure)
  • Predicting Sign of Depression via Using Frozen Pre-trained Models and Random Forest Classifier

    Alhuzali, H., Zhang, T. & Ananiadou, S., 2021, CLEF (Working Notes).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Privacy-Enhancing Settlements Protocol in Peer-to-Peer Energy Trading Markets

    Thandi, R. & Mustafa, M. A., 1 Nov 2021, (Accepted/In press) 13th International Conference on Innovative Smart Grid Technologies (ISGT 2022) .

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Prosumers’ Business Models in Future Electricity Markets; Peer to Peer, Community Self Consumption, and Transactive Energy Models

    Montakhabi, M., van der Graaf, S., Ballon, P. & Mustafa, M. A., 3 Aug 2021, (Accepted/In press) Business Model Conference 2021 .

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Ranking policy decisions

    Pouget, H., Chockler, H., Sun, Y. & Kroening, D., 2021, 2021 Conference on Neural Information Processing Systems (NeurIPS). Vol. 34. p. 8702-8713 12 p. (Advances in Neural Information Processing Systems).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • ReAD: AD-Based Modular Ontology Classification

    Zhao, H., Parsia, B. & Sattler, U., 12 May 2021, Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Proceedings. Faber, W., Friedrich, G., Gebser, M. & Morak, M. (eds.). Vol. 12678. p. 210-224 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12678 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Reinforcement Learning Compensated Extended Kalman Filter for Attitude Estimation

    Tang, Y., Hu, L., Zhang, Q. & Pan, W., 2021, IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2021. IEEE, p. 6854-6859 6 p. (IEEE International Conference on Intelligent Robots and Systems).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Reinforcement Learning for Orientation Estimation Using Inertial Sensors with Performance Guarantee

    Hu, L., Tang, Y., Zhou, Z. & Pan, W., 2021, 2021 IEEE International Conference on Robotics and Automation, ICRA 2021. IEEE, p. 10243-10249 7 p. (Proceedings - IEEE International Conference on Robotics and Automation; vol. 2021-May).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Reparo: Publicly Verifiable Layer to Repair Blockchains

    Thyagarajan, S. A. K., Bhat, A., Magri, B., Tschudi, D. & Kate, A., 23 Oct 2021, Financial Cryptography and Data Security - 25th International Conference, FC 2021, Virtual Event, March 1-5, 2021, Revised Selected Papers, Part II. Borisov, N. & Diaz, C. (eds.). Springer Berlin, Vol. 12675. p. 37-56 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12675 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • RobOT: Robustness-Oriented Testing for Deep Learning Systems

    Wang, J., Chen, J., Sun, Y., Ma, X., Wang, D., Sun, J. & CHeng, P., 7 May 2021, 43rd International Conference on Software Engineering (ICSE): Proceedings.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Robust SLAM Systems: Are We There Yet?

    Bujanca, H-M., Shi, X., Spear, M., Zhao, P., Lennox, B. & Luján, M., Sept 2021, (Accepted/In press) IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2021) . IEEE, 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    530 Downloads (Pure)
  • Runtime verification of the ARIAC competition: Can a robot be agile and safe at the same time?

    Ferrando, A., Kootbally, Z., Piliptchak, P., Cardoso, R. C., Schlenoff, C. & Fisher, M., 2021, CEUR Workshop Proceedings.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Self Context and Shape Prior for Sensorless Freehand 3D Ultrasound Reconstruction

    Luo, M., Yang, X., Huang, X., Huang, Y., Zou, Y., Hu, X., Ravikumar, N., Frangi, A. F. & Ni, D., 21 Sept 2021, Medical Image Computing and Computer Assisted Intervention – MICCAI 2021 - 24th International Conference, Proceedings. de Bruijne, M., de Bruijne, M., Cattin, P. C., Cotin, S., Padoy, N., Speidel, S., Zheng, Y. & Essert, C. (eds.). Springer Nature, p. 201-210 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12906 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • SpanEmo: Casting Multi-label Emotion Classification as Span-prediction

    Alhuzali, H. & Ananiadou, S., 2021, In Proceedings of the 16th conference of the European Chapter of the Association for Computational Linguistics (EACL-2021).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review