Filter
Conference contribution

Search results

  • 2020

    Deep Convolutional Gaussian Processes

    Blomqvist, K., Kaski, S. & Heinonen, M., 30 Apr 2020, Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2019, Proceedings. Brefeld, U., Fromont, E., Hotho, A., Knobbe, A., Maathuis, M. & Robardet, C. (eds.). Springer London, p. 582-597 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11907 LNAI).

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

  • Demo: A Closer Look at Malicious Bitstreams

    La, T., Mätas, K., Powell, J., Pham, K. & Koch, D., 2020, (Accepted/In press) 30th International Conference on Field-Programmable Logic and Applications (FPL).

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

  • Designing Intergenerational Media Experiences: A Participatory Design Approach

    Pialorsi, V. & Saeghe, P., 19 Mar 2020, (Accepted/In press) Toys and the TV: Serious Play. Workshop at the ACM International Conference on Interactive Media Experiences..

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

    Open Access
    File
    98 Downloads (Pure)
  • DEX: Scaling Applications Beyond Machine Boundaries

    Kim, S-H., Chuang, H-R., Lyerly, R., Olivier, P., Min, C. & Ravindran, B., 13 Mar 2020, (Accepted/In press) 40th IEEE International Conference on Distributed Computing Systems (ICDCS) .

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

  • Discovering Business Problems Using Problem Hypotheses: A Goal-Oriented and Machine Learning-Based Approach

    Ahn, R., Goncalves Junior, R., Hill, T., Chung, L., Supakkul, S. & Zhao, L., 11 Nov 2020, Proceedings 2021 IEEE International Conference on Big Data and Smart Computing (BigComp) : 17-20 Jan. 2021. Los Alamitos: IEEE Computer Society , p. 137-140 4 p.

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

  • Don’t overthink: fast decision making combined with behavior variability perceived as more human-like

    Marchesi, S., Perez-Osorio, J., De Tommaso, D. & Wykowska, A., 14 Oct 2020, 2020 29th IEEE International Conference on Robot and Human Interactive Communication (RO-MAN), Naples, Italy, 2020,. IEEE, p. 54-59

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

  • Edge Computing – the Case for Heterogeneous-ISA Container Migration

    Barbalace, A., Karaoui, M. L., Wang, W., Xing, T., Olivier, P. & Ravindran, B., 26 Jan 2020, (Accepted/In press) The 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE'20).

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

  • Effective Function Merging in the SSA Form

    Rocha, R., Petoumenos, P., Wang, Z., Cole, M. & Leather, H., 11 Jun 2020, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020). Donaldson, A. F. & Torlak, E. (eds.). p. 854-868 15 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

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

    Open Access
    File
    147 Downloads (Pure)
  • Efficient Linear System Solution Techniques in the Simulation of Large Dense Mutually Inductive Circuits

    Antoniadis, C., Mihajlovic, M., Evmorfopoulos, N., Stamoulis, G. & Pavlidis, V., 10 Feb 2020, Proceedings - 2019 IEEE International Conference on Computer Design, ICCD 2019. p. 405-408 4 p. 8988760. (Proceedings - 2019 IEEE International Conference on Computer Design, ICCD 2019).

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

    Open Access
    File
    225 Downloads (Pure)
  • Efficient Verified Implementation of Introsort and Pdqsort

    Lammich, P., 24 Mar 2020, (Accepted/In press) Proceedings of IJCAR 2020.

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

  • ESBMC: Scalable and Precise Test-Case Generation based on the Floating-Point Theory

    Gadelha, M. R., Menezes, R., Monteiro, F. R., Cordeiro, L. & Nicole, D., 21 Feb 2020, (Accepted/In press) 23rd International Conference on Fundamental Approaches to Software Engineering (FASE) .

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

  • Explaining Image Classifiers using Statistical Fault Localization

    Sun, Y., Chockler, H., Huang, X. & Kroening, D., 3 Nov 2020, European Conference on Computer Vision: 23-28 August 2020: Proceedings.

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

  • Fairness in Data Wrangling

    Mazilu, L., Paton, N. W., Konstantinou, N. & Fernandes, A. A. A., 10 Sept 2020, (E-pub ahead of print) 2020 IEEE 21st International Conference on Information Reuse and Integration for Data Science (IRI). p. 341-348

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

    Open Access
    File
    222 Downloads (Pure)
  • Feature Importance Ranking for Deep Learning

    Wojtas, M. & Chen, K., 25 Sept 2020, (Accepted/In press) Advances in Neural Information Processing Systems 33. (Advances in Neural Information Processing Systems).

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

  • Federated Simulation for Medical Imaging

    Li, D., Kar, A., Ravikumar, N., Frangi, A. F. & Fidler, S., 29 Sept 2020, Medical Image Computing and Computer Assisted Intervention – MICCAI 2020 - 23rd International Conference, Proceedings. Martel, A. L., Abolmaesumi, P., Stoyanov, D., Mateus, D., Zuluaga, M. A., Zhou, S. K., Racoceanu, D. & Joskowicz, L. (eds.). Springer Nature, p. 159-168 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12261 LNCS).

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

    File
    1 Downloads (Pure)
  • Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an Agent

    Vaz Alves, G., Dennis, L. & Fisher, M., 13 Aug 2020, Formal Methods. FM 2019 International Workshops. FM 2019.. Springer Nature, (Lecture Notes in Computer Science; vol. 12232).

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

    Open Access
    File
    111 Downloads (Pure)
  • Formal Verification of Astronaut-Rover Teams for Planetary Surface Operations

    Webster, M., Dennis, L., Dixon, C., Fisher, M., Stocker, R. & Sierhuis, M., 2020, IEEE Aerospace Conference.

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

    Open Access
  • Heterogeneous Verification of an Autonomous Curiosity Rover

    Cardoso, R. C., Farrell, M., Luckcuck, M., Ferrando, A. & Fisher, M., 10 Aug 2020, (E-pub ahead of print) NFM 2020: NASA Formal Methods. ( Lecture Notes in Computer Science).

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

  • Human Strategic Steering Improves Performance of Interactive Optimization

    Colella, F., Daee, P., Jokinen, J., Oulasvirta, A. & Kaski, S., 7 Jul 2020, UMAP 2020 - Proceedings of the 28th ACM Conference on User Modeling, Adaptation and Personalization. Association for Computing Machinery, p. 293-297 5 p. (UMAP 2020 - Proceedings of the 28th ACM Conference on User Modeling, Adaptation and Personalization).

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

  • HyDiff: Hybrid Differential Software Analysis

    Noller, Y., Păsăreanu, C., Böhme, M., Sun, Y., Nguyen, H. L. & Grunske, L., 27 Jun 2020, Proceedings - 2020 ACM/IEEE 42nd International Conference on Software Engineering, ICSE 2020. p. 1273-1285 13 p. 3380363. (Proceedings - International Conference on Software Engineering).

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

  • Implementing safety leading indicators in construction: insights on relative importance of indicators

    Cheung, C., Manu, P., Xu, J., Ejohwomu, O. & Freitas, A., Sept 2020, CIB WO99 & TG59 International Web-Conference 2020: Good Health, Wellbeing & Decent Work . p. 26

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

  • Integrating Similarity Awareness and Adaptive Calibration in Graph Convolution Network to Predict Disease

    Song, X., Frangi, A. F., Xiao, X., Cao, J., Wang, T. & Lei, B., 4 Oct 2020, Medical Image Computing and Computer Assisted Intervention – MICCAI 2020 - 23rd International Conference, Proceedings: MICCAI 2020. Martel, A. L., Abolmaesumi, P., Stoyanov, D., Mateus, D., Zuluaga, M. A., Zhou, S. K., Racoceanu, D. & Joskowicz, L. (eds.). Springer Nature, p. 124-133 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12267 LNCS).

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

  • Interaction Framework within Collaborative Virtual Environments for Multiple Users each interacting with Multiple Degrees-Of-Freedom Controllers

    Sandoval Olive, M., Turner, M. & Morris, T., 10 Sept 2020, Computer Graphics and Visual Computing (CGVC). Ritsos, P. D. & Xu, K. (eds.). Eurographics Association, p. 79-81 3 p.

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

    Open Access
  • Intra-Unikernel Isolation with Intel Memory Protection Keys

    Sung, M., Olivier, P., Lankes, S. & Ravindran, B., 26 Jan 2020, (Accepted/In press) The 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE'20).

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

  • Invited Tutorial: FPGA Hardware Security for Datacenters and Beyond

    Mätas, K., La, T., Grunchevski, N., Pham, K. & Koch, D., 2020, 28th ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA).

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

    Open Access
    File
    2013 Downloads (Pure)
  • JudithJeyafreeda@Dravidian-CodeMix-FIRE2020: Sentiment Analysis of YouTube Comments for Dravidian Languages

    Andrew, J., 20 Dec 2020, Forum for Information Retrieval Evaluation.

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

  • Learning global pairwise interactions with bayesian neural networks

    Cui, T., Marttinen, P. & Kaski, S., 24 Aug 2020, ECAI 2020 - 24th European Conference on Artificial Intelligence, including 10th Conference on Prestigious Applications of Artificial Intelligence, PAIS 2020 - Proceedings. De Giacomo, G., Catala, A., Dilkina, B., Milano, M., Barro, S., Bugarin, A. & Lang, J. (eds.). IOS Press, p. 1087-1094 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 325).

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

    Open Access
  • Lyapunov-Based Reinforcement Learning for Decentralized Multi-agent Control

    Zhang, Q., Dong, H. & Pan, W., 2020, Distributed Artificial Intelligence : Second International Conference, DAI 2020, Proceedings. Taylor, M. E., Yu, Y., Elkind, E. & Gao, Y. (eds.). Springer Nature, p. 55-68 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12547 LNAI).

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

  • Malaysian Road Accident Severity: Variables and Predictive Models

    Ting, C-Y., Tan, NY-Z., Hashim, H. H., Ho, C. C. & Shabadin, A., 2020, Computational Science and Technology - 6th ICCST 2019. Alfred, R., Lim, Y., Haviluddin, H. & On, C. K. (eds.). p. 699-708 10 p. (Lecture Notes in Electrical Engineering; vol. 603).

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

  • Map2Check: Using Symbolic Execution and Fuzzing

    Rocha, H., Menezes, R., Cordeiro, L. & Barreto, R., 17 Feb 2020, (Accepted/In press) 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems.

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

  • Measuring Low Molecular Weight Acids in Mineral and Ester Transformer Liquids

    Yan, Z. W., Kihampa, T., Matharage, S. Y., Liu, Q. & Wang, Z. D., 25 Oct 2020, Proceeding - 8th International Conference on Condition Monitoring and Diagnosis, CMD 2020. IEEE, p. 354-357 4 p. 9287247. (Proceeding - 8th International Conference on Condition Monitoring and Diagnosis, CMD 2020).

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

  • Memristor-based Reconfigurable Circuits: Challenges in Implementation

    Dao, N. & Koch, D., 2 Apr 2020, IEEE Xplore. 6 p.

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

  • Minting Mechanism for Proof of Stake Blockchains

    Deuber, D., Döttling, N., Magri, B., Malavolta, G. & Thyagarajan, S. A. K., 2020, Applied Cryptography and Network Security - 18th International Conference, ACNS 2020, Proceedings. Conti, M., Zhou, J., Casalicchio, E. & Spognardi, A. (eds.). Springer Berlin, Vol. 12146. p. 315-334 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12146 LNCS).

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

  • Model-Reference Reinforcement Learning Control of Autonomous Surface Vehicles

    Zhang, Q., Pan, W. & Reppa, V., 14 Dec 2020, 2020 59th IEEE Conference on Decision and Control, CDC 2020. IEEE, p. 5291-5296 6 p. 9304347. (Proceedings of the IEEE Conference on Decision and Control; vol. 2020-December).

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

  • Moving Compute towards Data in Heterogeneous multi-FPGA Clusters using Partial Reconfiguration and I/O Virtualisation

    Pham, K., Koch, D., Vaishnav, A., Georgopoulos, K., Malakonakis, P., Ioannou, A. & Mavroidis, I., 2 Nov 2020, (Accepted/In press) 2020 International Conference on Field-Programmable Technology (ICFPT). Maui, Hawaii, US

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

  • MultiMWE: Building a Multi-lingual Multi-Word Expression (MWE) Parallel Corpora

    Han, L., Jones, G. & Smeaton, A., May 2020, Proceedings of the 12th Language Resources and Evaluation Conference.

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

  • New Roles in Peer-to-Peer Electricity Markets: Value Network Analysis

    Montakhabi, M., Zobiri, F., Graaf, S. V. D., Deconinck, G., Orlando, D., Vanhove, S., Callaerts, R. & Mustafa, M. A., 2 Mar 2020, (Accepted/In press) IEEE International Energy Conference (ENERGYCON) .

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

  • Optimising Dynamic Binary Modification across 64-bit Arm Microarchitectures

    Callaghan, G., Gorgovan, C. & Luján, M., 17 Mar 2020, Proceedings of the 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE ’20). Association for Computing Machinery, 13 p.

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

    Open Access
    File
    444 Downloads (Pure)
  • ParlVote: A corpus for sentiment analysis of political debates

    Abercrombie, G. & Batista-Navarro, R., 2020, LREC 2020 - 12th International Conference on Language Resources and Evaluation, Conference Proceedings.

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

  • Plan Library Reconfigurability in BDI Agents

    Cardoso, R. C., Dennis, L. A. & Fisher, M., 2020, Engineering Multi-Agent Systems. p. 195-212 Chapter 10. (Engineering Multi-Agent Systems; vol. 12058).

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

    Open Access
    File
    83 Downloads (Pure)
  • PMThreads: Persistent Memory Threads Harnessing Versioned Shadow Copies

    Wu, Z., Lu, K., Nisbet, A., Zhang, W. & Luján, M., 11 Jun 2020, Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI ’20). Donaldson, A. F. & Torlak, E. (eds.). Association for Computing Machinery, p. 623-637 15 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

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

    Open Access
    File
    870 Downloads (Pure)
  • Powerhammering through Glitch Amplification – Attacks and Mitigation

    Mätas, K., La, T., Pham, K. & Koch, D., 1 May 2020, Proceedings - 28th IEEE International Symposium on Field-Programmable Custom Computing Machines, FCCM 2020. p. 65-69 5 p. 9114608. (Proceedings - 28th IEEE International Symposium on Field-Programmable Custom Computing Machines, FCCM 2020).

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

    Open Access
    File
    217 Downloads (Pure)
  • Practical Verification of Neural Network Enabled State Estimation System for Robotics

    Huang, W., Zhou, Y., Sun, Y., Sharp, J., Maskell, S. & Huang, X., 24 Oct 2020, International Conference on Intelligent Robots and Systems (IROS). p. 7336-7343 8 p.

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

  • Prevalence and Effects of Class Hierarchy Precompilation in Biomedical Ontologies

    Kindermann, C., Parsia, B. & Sattler, U., 31 Aug 2020, (Accepted/In press) THE 19TH INTERNATIONAL SEMANTIC WEB CONFERENCE.

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

  • Q-Learning-Based Adaptive Bacterial Foraging Optimization

    Niu, B. & Xue, B., 11 Nov 2020, Machine Learning for Cyber Security: Third International Conference, ML4CS 2020, Guangzhou, China, October 8–10, 2020, Proceedings, Part II. Chen, X., Yan, H., Yan, Q. & Zhang, X. (eds.). Cham: Springer Cham, p. 327-337 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12487).

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

  • Reliability Validation of Learning Enabled Vehicle Tracking

    Sun, Y., Zhou, Y., Maskell, S., Sharp, J. & Huang, X., May 2020, International Conference on Robotics and Automation (ICRA). p. 9390-9396

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

  • Resource Elastic Database Acceleration

    Manev, K. & Koch, D., 4 Sept 2020, 30th International Conference on Field Programmable Logic and Application (FPL). Gothenburg, Sweden

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

    Open Access
    File
    131 Downloads (Pure)
  • Rethinking pooling in graph neural networks

    Mesquita, D., Souza, A. H. & Kaski, S., 2020, Advances in Neural Information Processing Systems. Larochelle, H., Ranzato, M., Hadsell, R., Balcan, M. F. & Lin, H. (eds.). Curran Associates, Inc., Vol. 33. p. 2220-2231 12 p.

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

  • Robustness to Noisy Synaptic Weights in Spiking Neural Networks

    Li, C., Chen, R., Moutafis, C. & Furber, S., 28 Sept 2020, 2020 International Joint Conference on Neural Networks (IJCNN). Glasgow, United Kingdom, United Kingdom: IEEE, p. 1-8 8 p.

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

    Open Access
    File
    245 Downloads (Pure)
  • ROSMonitoring: A Runtime Verification Framework for ROS

    Ferrando, A., Cardoso, R. C., Fisher, M., Ancona, D., Franceschini, L. & Mascardi, V., 3 Dec 2020, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). p. 387-399 13 p.

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