Filter
Conference contribution

Search results

  • 2019

    FullFusion: A Framework for Semantic Reconstruction of Dynamic Scenes

    Bujanca, M., Luján, M. & Lennox, B., Oct 2019, The IEEE International Conference on Computer Vision (ICCV) Workshops.

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

    Open Access
    File
    307 Downloads (Pure)
  • Function Merging by Sequence Alignment

    Rocha, R. C. O., Petoumenos, P., Wang, Z., Cole, M. & Leather, H., 7 Mar 2019, CGO 2019 - Proceedings of the 2019 IEEE/ACM International Symposium on Code Generation and Optimization. IEEE, p. 0 0

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

    Open Access
    File
    131 Downloads (Pure)
  • Generating Verified LLVM from Isabelle/HOL

    Lammich, P., 1 Jun 2019, (Accepted/In press) ITP 2019: Interactive Theorem Proving.

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

  • Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance

    Ruan, W., Wu, M., Sun, Y., Huang, X., Kroening, D. & Kwiatkowska, M., Aug 2019, International Joint Conferences on Artificial Intelligence Organization: Proceedings.

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

  • Heterogeneous Resource-Elastic Scheduling for CPU+FPGA Architectures

    Vaishnav, A., Pham, K. & Koch, D., 6 Jun 2019, 10th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies (HEART). ACM Digital Library

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

  • HEXO: Offloading HPC Compute-Intensive Workloads on Low-Cost, Low-Power Embedded Systems

    Olivier, P., Mehrab, A. K. M. F., Lankes, S., Karaoui, M. L., Lyerly, R. & Ravindran, B., 1 Jun 2019, HPDC '19: Proceedings of the 28th International Symposium on High-Performance Parallel and Distributed Computing. Association for Computing Machinery, p. 85-96

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

  • High Throughput Computation of Reference Ranges of Biventricular Cardiac Function on the UK Biobank Population Cohort

    Attar, R., Pereañez, M., Gooya, A., Albà, X., Zhang, L., Piechnik, S. K., Neubauer, S., Petersen, S. E. & Frangi, A. F., 2019, Statistical Atlases and Computational Models of the Heart. Atrial Segmentation and LV Quantification Challenges - 9th International Workshop, STACOM 2018, Held in Conjunction with MICCAI 2018, Revised Selected Papers. Pop, M., Mansi, T., Li, S., Sermesant, M., Young, A., Rhode, K., Zhao, J. & McLeod, K. (eds.). Springer-Verlag Italia, p. 114-121 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11395 LNCS).

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

  • Hosting OpenMP Programs on Java Virtual Machines

    Gaikwad, S., Nisbet, A. & Luján, M., 21 Oct 2019, Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes (MPLR '19). Association for Computing Machinery

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

    Open Access
    File
    224 Downloads (Pure)
  • Human-in-the-loop Active Covariance Learning for Improving Prediction in Small Data Sets

    Afrabandpey, H., Peltola, T. & Kaski, S., 18 Mar 2019, Proceedings of IJCAI 2019, the Twenty-Eighth International Joint Conference on Artificial Intelligence. p. 1959-1966 8 p.

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

  • Identifying and Explaining Discriminative Attributes

    Stepanjans, A. & Freitas, A., Nov 2019, (E-pub ahead of print) 2019 Conference on Empirical Methods in Natural Language Processing and 9th International Joint Conference on Natural Language Processing.

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

    Open Access
  • Identifying Supporting Facts for Multi-hop Question Answering with Document Graph Networks

    Thayaparan, M., Valentino, M., Schlegel, V. & Freitas, A., 1 Nov 2019, Proceedings of the Thirteenth Workshop on Graph-Based Methods for Natural Language Processing (TextGraphs-13). Hong Kong: Association for Computational Linguistics, p. 42-51 10 p.

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

  • Improving classification of Adverse Drug Reactions through Using Sentiment Analysis and Transfer Learning

    Alhuzali, H. & Ananiadou, S., 1 Jul 2019, Improving classification of Adverse Drug Reactions through Using Sentiment Analysis and Transfer Learning. p. 339 347 p.

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

    Open Access
  • Improving Urban Traffic Speed Prediction Using Data Source Fusion and Deep Learning

    Essien, A., Petrounias, I., Sampaio, P. & Sampaio, S., 2019, 2019 IEEE International Conference on Big Data and Smart Computing, BigComp 2019 - Proceedings. Kyoto, Japan: IEEE Computer Society , 8 p. 8679231. (2019 IEEE International Conference on Big Data and Smart Computing, BigComp 2019 - Proceedings).

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

    Open Access
    File
    760 Downloads (Pure)
  • Incremental Bounded Model Checking of Artificial Neural Networks in CUDA

    Sena, L. H., Bessa, I. V., Gadelha, M. R., Cordeiro, L. & Mota, E., 19 Sept 2019, (Accepted/In press) IX Brazilian Symposium on Computing Systems Engineering.

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

  • Induction in Saturation-Based Proof Search

    Reger, G. & Voronkov, A., 2019, Automated Deduction – CADE 27 . (Lecture Notes in Computer Science; vol. 11716).

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

    Open Access
    File
    237 Downloads (Pure)
  • Information potential variability for hyperparameter selection in the MMD distance

    Valencia, C. K., Álvarez, A., Valencia, E. A., Álvarez, M. A. & Orozco, Á., 2019, Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications - 23rd Iberoamerican Congress, CIARP 2018, Proceedings. Vera-Rodriguez, R., Fierrez, J. & Morales, A. (eds.). Springer-Verlag Italia, p. 279-286 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11401 LNCS).

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

  • International Competition on Runtime Verification (CRV)

    Bartocci, E., Falcone, Y. & Reger, G., 4 Apr 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings. Steffen, B., Kordon, F., Beyer, D. & Huisman, M. (eds.). Springer Nature, p. 41-49 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11429 LNCS).

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

    Open Access
  • Inter-sentence Relation Extraction with Document-level Graph Convolutional Neural Network

    Sahu, S., Christopoulou, E., Miwa, M. & Ananiadou, S., Jul 2019, Inter-sentence Relation Extraction with Document-level Graph Convolutional Neural Network. p. 4309-4316 7 p.

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

    Open Access
  • Intracranial aneurysm detection from 3d vascular mesh models with ensemble deep learning

    Zhou, M., Wang, X., Wu, Z., Pozo, J. M. & Frangi, A. F., 2019, Medical Image Computing and Computer Assisted Intervention – MICCAI 2019 - 22nd International Conference, Proceedings. Shen, D., Yap, P-T., Liu, T., Peters, T. M., Khan, A., Staib, L. H., Essert, C. & Zhou, S. (eds.). Springer Nature, p. 243-252 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11767 LNCS).

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

  • It's All About the Message! Visual Experience is a Precursor to Accurate Auditory Interaction

    Harper, S., Eraslan, S. & Yesilada, Y., 2019, W4A '19: Proceedings of the 16th Web For All 2019 Personalization - Personalizing the Web.

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

  • JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution)

    Cordeiro, L., Kroening, D. & Schrammel, P., 4 Apr 2019, International Conference on Tools and Algorithms for the Construction and Analysis of Systems.

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

    Open Access
  • kMVX: Detecting Kernel Information Leaks with Multi-variant Execution

    Österlund, S., Koning, K., Olivier, P., Barbalace, A., Bos, H. & Giuffrida, C., 1 Apr 2019, ASPLOS '19: Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery, p. 559-572

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

  • Learning-Based Video Game Development in MLP@UoM: An Overview

    Chen, K., 1 Aug 2019, (Accepted/In press) Proceedings of the 6th IEEE International Conference on Electrical, Electronics and Information Engineering (ICEEIE 2019).

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

  • Live Migration for OpenCL FPGA Accelerators

    Vaishnav, A., Pham, K. & Koch, D., 20 Jul 2019, International Conference on Field-Programmable Technology (FPT). Naha, Okinawa, Japan: IEEE, 8 p.

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

    Open Access
    File
    268 Downloads (Pure)
  • Load and Energy Aware Hybrid Routing Protocol for Hybrid Wireless Mesh Networks

    Chai, Y. & Zeng, X., 2019, 2019 IEEE 90th Vehicular Technology Conference (VTC2019-Fall). p. 1-5

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

    Open Access
    File
    142 Downloads (Pure)
  • Load- and Interference-Balance Hybrid Routing Protocol for Hybrid Wireless Mesh Network

    Chai, Y. & Zeng, X. J., 2019, 2019 Wireless Days, WD 2019. IEEE Computer Society , 8734257. (IFIP Wireless Days; vol. 2019-April).

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

    Open Access
    File
    210 Downloads (Pure)
  • Low-Precision Neural Network Decoding of Polar Codes

    Wodiany, I. & Pop, A., 2019, International Workshop on Signal Processing Advances in Wireless Communications (SPAWC). IEEE Computer Society

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

  • Measuring the Effectiveness of Biomimetic Robots as Therapeutic Tools: Translating the Felt Security Scale from English to Japanese

    Collins, E., 6 Jul 2019, Conference on Biomimetic and Biohybrid Systems.

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

  • "Mirror, mirror on my search...": Data-Driven Reflection and Experimentation with Search Behaviour

    Fessl, A., Apaolaza, A., Gledson, A., Pammer-Schindler, V. & Vigo, M., 9 Sept 2019, (E-pub ahead of print) European Conference on Technology Enhanced Learning (EC-TEL). Springer Nature

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

    Open Access
    File
    156 Downloads (Pure)
  • Missing Slice Imputation in Population CMR Imaging via Conditional Generative Adversarial Nets

    Zhang, L., Pereañez, M., Bowles, C., Piechnik, S., Neubauer, S., Petersen, S. & Frangi, A. F., 10 Oct 2019, MICCAI 2019: Medical Image Computing and Computer Assisted Intervention . p. 651–659 9 p.

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

  • Mixed-model noise removal in 3d via rotation-and-scale invariant non-local means

    Liu, X., Liu, Q., Wu, Z., Wang, X., Sole, J. P. & Frangi, A., 2019, Processing and Analysis of Biomedical Information- 1st International SIPAIM Workshop, SaMBa 2018 Held in Conjunction with MICCAI 2018, Revised Selected Papers. Lepore, N., Racoceanu, D., Brieva, J., Joskowicz, L. & Romero, E. (eds.). Springer-Verlag Italia, p. 33-41 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11379).

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

  • Model-driven Web Page Segmentation for Non Visual Access

    Andrew, J., 2019, International Conference of the Pacific Association for Computational Linguistics.

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

  • Modelling Instance-Level Annotator Reliability for Natural Language Labelling Tasks

    Li, M., Fahlström Myrman, A., Mu, T. & Ananiadou, S., Jun 2019, Proceedings of NAACL-HLT 2019. p. 2873-2883 10 p.

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

    Open Access
  • Modular Dimensionality Reduction

    Reeve, H. W. J., Mu, T. & Brown, G., 2019, Proceedings of the European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases 2018.

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

    Open Access
    File
    122 Downloads (Pure)
  • More Than You Expect: Priors Influence on the Adoption of Intentional Stance Toward Humanoid Robots

    Perez-Osorio, J., Marchesi, S., Ghiglino, D., Ince, M. & Wykowska, A., 2019, International Conference on Social Robotics. p. 119-129 10 p. (Lecture Notes in Computer Science; vol. 11876).

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

    Open Access
    File
    134 Downloads (Pure)
  • Multiple Criteria Performance Assessment for Decentralized Energy Systems: A Case Study

    Wu, T., Xu, D. L. & Yang, J. B., 2019, 5th International Conference on Information Management, ICIM 2019. IEEE, p. 257-261 5 p. 8714710

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

  • MULTI-X, a State-of-the-Art Cloud-Based Ecosystem for Biomedical Research

    De Vila, M. H., Attar, R., Pereanez, M. & Frangi, A. F., 21 Jan 2019, Proceedings - 2018 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2018. Schmidt, H., Griol, D., Wang, H., Baumbach, J., Zheng, H., Callejas, Z., Hu, X., Dickerson, J. & Zhang, L. (eds.). IEEE, p. 1726-1733 8 p. 8621317. (Proceedings - 2018 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2018).

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

  • Numerical and experimental investigation of tandem wing flyers

    Lambert, T., Warbecq, N., Hendrick, P., Nudds, R., Andrianne, T. & Dimitriadis, G., 2019, AIAA Scitech 2019 Forum. American Institute of Aeronautics and Astronautics , (AIAA Scitech 2019 Forum).

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

  • Old or Heavy? Decaying Gracefully with Age/Weight Shapes.

    Rawson, M. & Reger, G., 20 Aug 2019, Automated Deduction – CADE 27. (Lecture Notes in Computer Science; vol. 11716).

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

    Open Access
    File
    240 Downloads (Pure)
  • On the Evaluation of Intelligent Process Automation

    Mendes Ferreira, D., Rozanova, J., Dubba, K., Zhang, D. & Freitas, A., 7 Dec 2019, (Accepted/In press) The AAAI-20 Workshop on Intelligent Process Automation .

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

  • On The Stability of Feature Selection in the Presence of Feature Correlations

    Sechidis, K., Papangelou, K., Nogueira, S., Weatherall, J. & Brown, G., 7 Jun 2019, (Accepted/In press) European Conference on Machine Learning.

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

  • Ontology Extraction for Large Ontologies via Modularity and Forgetting

    Chen, J., Alghamdi, G., Schmidt, R., Walther, D. & Gao, Y., 23 Sept 2019, International Conference on Knowledge Capture (K-CAP) .

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

    Open Access
    File
    77 Downloads (Pure)
  • Optimal Experimental Design for Biophysical Modelling in Multidimensional Diffusion MRI

    Coelho, S., Pozo, J. M., Jespersen, S. N. & Frangi, A. F., 10 Oct 2019, MICCAI 2019: Medical Image Computing and Computer Assisted Intervention. p. 9

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

  • ORB-SLAM-CNN: Lessons in Adding Semantic Map Construction to Feature-Based SLAM

    Webb, A. M., Brown, G. & Luján, M., 2019, Towards Autonomous Robotic Systems - 20th Annual Conference, TAROS 2019, Proceedings. Althoefer, K., Konstantinova, J. & Zhang, K. (eds.). Springer Nature, p. 221-235 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11649 LNAI).

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

  • Parallel Continuous Outlier Mining in Streaming Data

    Toliopoulos, T., Gounaris, A., Tsichlas, K., Papadopoulos, A. & Sampaio, S., 2019, Proceedings - 2018 IEEE 5th International Conference on Data Science and Advanced Analytics, DSAA 2018. Eliassi-Rad, T., Wang, W., Cattuto, C., Provost, F., Ghani, R. & Bonchi, F. (eds.). IEEE Computer Society , p. 227-236 10 p. 8631496. (2018 IEEE 5TH INTERNATIONAL CONFERENCE ON DATA SCIENCE AND ADVANCED ANALYTICS (DSAA)).

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

    Open Access
    File
    244 Downloads (Pure)
  • Pelvis segmentation using multi-pass U-Net and iterative shape estimation

    Wang, C., Connolly, B., de Oliveira Lopes, P. F., Frangi, A. F. & Smedby, Ö., 2019, Computational Methods and Clinical Applications in Musculoskeletal Imaging - 6th International Workshop, MSKI 2018, Held in Conjunction with MICCAI 2018, Revised Selected Papers. Zheng, G., Vrtovec, T., Yao, J. & Pozo, J. M. (eds.). Springer-Verlag Italia, p. 49-57 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11404 LNCS).

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

  • Policy Preference Detection in Parliamentary Debate Motions

    Abercrombie, G. & Batista-Navarro, R. T., 2019, Proceedings of the 23rd Conference on Computational Natural Language Learning (CoNLL). Association for Computational Linguistics, p. 249-259 11 p.

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

  • POSTER: A collaborative multi-factor scheduler for asymmetric multicore processors

    Yu, T., Petoumenos, P., Janjic, V., Zhu, M., Leather, H. & Thomson, J., 2019, Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Predicting Plausible Human Purkinje Network Morphology from Simulations

    Lange, M., Lassila, T. & Frangi, A. F., 30 Dec 2019, Computing in Cardiology.

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

  • Probabilistic Analysis of Temporal and Sequential Aspects of Activities of Daily Living for Abnormal Behaviour Detection

    Konios, A., Garcia-Constantino, M., Christopoulos, S-R. G., Mustafa, M., Ekerete, I., Shewell, C., Nugent, C. & Morrison, G., 24 Sept 2019, (E-pub ahead of print) 16th IEEE International Conference on Ubiquitous Intelligence and Computing .

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

    Open Access
    File
    115 Downloads (Pure)