Filter
Conference contribution

Search results

  • 2020

    Scalable Probabilistic Matrix Factorization with Graph-Based Priors

    Strahl, J., Peltonen, J., Mamitsuka, H. & Kaski, S., 3 Apr 2020, Proc. AAAI-2020, the Thirty-Fourth AAAI Conference on Artificial Intelligence. Vol. 34. p. 5851-5858 8 p.

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

  • Schema Mapping Generation in the Wild: A Demonstration with Open Government Data

    Mazilu, M., Konstantinou, N., Paton, N. & Fernandes, A., 2020, Proceedings of the 23rd International Conference on Extending Database Technology (EDBT).

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

    Open Access
  • Searching Collaborative Agents for Multi-plane Localization in 3D Ultrasound

    Huang, Y., Yang, X., Li, R., Qian, J., Huang, X., Shi, W., Dou, H., Chen, C., Zhang, Y., Luo, H., Frangi, A. F., Xiong, Y. & Ni, D., 4 Oct 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. 553-562 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12263 LNCS).

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

    Open Access
  • Secure and Efficient In-process Monitor (and Library) Protection with Intel MPK

    Wang, X., Yeoh, S., Olivier, P. & Ravindran, B., 20 Mar 2020, (Accepted/In press) Proceedings of the 13th European Workshop on Systems Security (EuroSec 2020).

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

  • Securing FPGA Accelerators at the Electrical Level for Multi-tenant Platforms

    La, T., Mätas, K., 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

    Open Access
    File
    169 Downloads (Pure)
  • Security-Minded Verification of Space Systems

    Maple, C., Bradbury, M., Yuan, H., Farrell, M., Dixon, C., Fisher, M. & Atmaca, U. I., 2020, IEEE Aerospace Conference.

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

    Open Access
  • Selecting Stable Safe Configurations for Systems Modelled by Neural Networks with ReLU Activation

    Brauße, F., Khasidashvili, Z. & Korovin, K., 22 Dec 2020, (E-pub ahead of print) Formal Methods in Computer-Aided Design (FMCAD'20).

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

    Open Access
    File
    4 Downloads (Pure)
  • Self-weighted Multi-task Learning for Subjective Cognitive Decline Diagnosis

    Cheng, N., Frangi, A. F., Zhang, Z. G., Deng, D., Zhao, L., Wang, T., Wei, Y., Yu, B., Mai, W., Duan, G., Nong, X., Li, C., Su, J. & Lei, B., 4 Oct 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. 104-113 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

  • Semantic Annotation for Improved Safety in Construction Work

    Thompson, P., Inan, E., Yates, T. & Ananiadou, S., 11 Feb 2020, (Accepted/In press) Proceedings of the 12th Language Resources and Evaluation Conference (LREC 2020). Marseilles, France

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

  • Semantics Altering Modifications for Evaluating Comprehension in Machine Reading

    Schlegel, V., Nenadic, G. & Batista-Navarro, R. T., 1 Dec 2020, (Accepted/In press) AAAI 21: Proceedings of the 35th AAAI Conference. Association for the Advancement of Artificial Intelligence, Vol. Proceedings of the 35th AAAI Conference. 7 p.

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

  • Shaping the Design of Smartphone-Based Interventions for Self-Harm

    Honary, M., Clinch, S., Bell, B., Kroll, L., Sefi, A., Vega Hernandez, J. & McNaney, R., 21 Apr 2020, CHI 2020 - Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems. 3376370. (Conference on Human Factors in Computing Systems - Proceedings).

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

    Open Access
    File
    450 Downloads (Pure)
  • Sharing Beyond Peer-to-peer Trading: Collaborative (Open) Business Models as a Pathway to Smart Circular Economy in Electricity Markets

    Montakhabi, M., Van Der Graaf, S., Ballon, P. & Mustafa, M. A., 1 Sept 2020, 2020 16th International Conference on Distributed Computing in Sensor Systems (DCOSS). p. 482-489

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

    Open Access
    File
    158 Downloads (Pure)
  • Sharing Economy in Future Electricity Markets: Security and Privacy Analysis

    Montakhabi, M., Madhusudan, A., Graaf, S. V. D., Abidin, A. & Mustafa, M. A., 17 Jan 2020, (Accepted/In press) Workshop on Decentralized IoT Systems and Security (DISS) 2020, co-located with NDSS 2020 .

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

  • Signature-Based Abduction for Expressive Description Logics

    Koopmann, P., Del-Pinto, W., Tourret, S. & Schmidt, R. A., 12 Sept 2020, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning. Calvanese, D. & Erdem, E. (eds.). IJCAI Organization, p. 592–602 11 p.

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

    Open Access
  • Sound C Code Decompilation for a subset of x86-64 Binaries

    Verbeek, F., Olivier, P. & Ravindran, B., 7 Jul 2020, (Accepted/In press) Proceedings of The 18th edition of the International Conference on Software Engineering and Formal Methods (SEFM).

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

  • Synthesis of Solar Photovoltaic Systems: Optimal Sizing Comparison

    Trindade, A. & Cordeiro, L., 12 Jun 2020, (Accepted/In press) 12th Working Conference on Verified Software: Theories, Tools, and Experiments.

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

  • Taxonomy of Trust-Relevant Failures and Mitigation Strategies

    Tolmeijer, S., Weiss, A., Hanheide, M., Lindner, F., Powers, T., Dixon, C. & Tielman, M., 23 Mar 2020, 15th ACM/IEEE International Conference on Human-Robot Interaction (HRI).

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

    Open Access
  • The Role of Uncertainty as a Facilitator to Reflection in Self-Tracking

    Alqahtani, D., Jay, C. & Vigo, M., 9 Apr 2020, (Accepted/In press) ACM Conference on Designing Interactive Systems.

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

  • Towards Highly Specialized, POSIX-compliant Software Stacks with Unikraft: Work-in-Progress

    Santhanam, S., Kuenzer, S., Lefeuvre, H., Huici, F., Jung, A., Pagani, S., Muraru, G-C., Stabellini, S., He, J. & Beri, J., 20 Sept 2020, Towards Highly Specialized, POSIX-compliant Software Stacks with Unikraft: Work-in-Progress. Singapore, Singapore: IEEE, Vol. 2020 International Conference on Embedded Software (EMSOFT). 3 p.

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

    Open Access
    File
    144 Downloads (Pure)
  • Towards lossless binary convolutional neural networks using piecewise approximation

    Zhu, B., Al-Ars, Z. & Pan, W., 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. 1730-1737 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 325).

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

  • Towards partner-aware humanoid robot control under physical interactions

    Tirupachuri, Y., Nava, G., Latella, C., Ferigo, D., Rapetti, L., Tagliapietra, L., Nori, F. & Pucci, D., 1 Jan 2020, Intelligent Systems and Applications - Proceedings of the 2019 Intelligent Systems Conference IntelliSys Volume 2. Bi, Y., Bhatia, R. & Kapoor, S. (eds.). Springer Nature, p. 1073-1092 20 p. (Advances in Intelligent Systems and Computing; vol. 1038).

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

    Open Access
  • TruffleWasm: A WebAssembly Interpreter on GraalVM

    Salim, S., Nisbet, A. & Luján, M., 17 Mar 2020, Proceedings of the 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
    1486 Downloads (Pure)
  • Validating Goal-Oriented Hypotheses of Business Problems Using Machine Learning: An Exploratory Study of Customer Churn

    Supakkul, S., Ahn, R., Junior, R. G., Villarreal, D., Zhao, L., Hill, T. & Chung, L., 15 Apr 2020, (Accepted/In press) Big Data 2020.

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

  • Verifiable Machine Ethics in Changing Contexts

    Dennis, L., Benzen, M. M., Lindner, F. & Fisher, M., 2 Dec 2020, (Accepted/In press) 35th AAAI Conference on Artificial Intelligence .

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

  • Verifying Autonomous Robots: Challenges and Reflections

    Dixon, C., 15 Sept 2020, 27th International Symposium on Temporal Representation and Reasoning (TIME 2020).

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

    Open Access
  • Verifying Autonomous Robots: Challenges and Reflections (Extended Abstract)

    Dixon, C., 21 Dec 2020, (E-pub ahead of print) Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY 2020).

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

    Open Access
  • Zero-Shot Human-Object Interaction Recognition via Affordance Graphs

    Sarullo, A. & Mu, T., 2 Dec 2020, (Accepted/In press) AAAI'21 workshop on Commonsense Knowledge Graphs .

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

  • 2019

    3D Cardiac Shape Prediction with Deep Neural Networks: Simultaneous Use of Images and Patient Metadata

    Attar, R., Pereañez, M., Bowles, C., Piechnik, S. K., Neubauer, S., Petersen, S. E. & 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. 586-594 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11765 LNCS).

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

  • A Bi-directional Multiple Timescales LSTM Model for Grounding of Actions and Verbs

    Antunes, A., Laflaquière, A., Ogata, T. & Cangelosi, A., 20 Jun 2019, (Accepted/In press) 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems .

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

  • A binary-compatible unikernel

    Olivier, P., Chiba, D., Lankes, S., Min, C. & Ravindran, B., 1 Apr 2019, VEE 2019: Proceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments. Association for Computing Machinery, p. 59-73

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

  • ABox Abduction via Forgetting in ALC

    Del-Pinto, W. & Schmidt, R., 23 Jul 2019, Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-2019). 1 ed. AAAI Press, Vol. 33. p. 2768-2775 (Proceedings of the AAAI Conference on Artificial Intelligence).

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

    Open Access
    File
    81 Downloads (Pure)
  • A Category Theoretic Interpretation of Gandy’s Principles for Mechanisms

    Razavi, J. & Schalk, A., 1 Feb 2019, (Accepted/In press) Electronic Proceedings in Theoretical Computer Science.

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

  • A CDCL-Style Calculus for Solving Non-linear Constraints

    Brausse, F., Korovin, K., Korovina, M. & Mueller, N., Sept 2019, Frontiers of Combining Systems, 12th International Symposium: FroCoS 2019, Proceedings. Herzig, A. & Popescu, A. (eds.). Springer Nature, Vol. 11715. p. 131-148 18 p. (LNCS; vol. 11715).

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

    Open Access
    File
    87 Downloads (Pure)
  • A Deep Neural Network for Finger Counting and Numerosity Estimation

    Pecyna, L., Cangelosi, A. & Di Nuovo, A., 1 Sept 2019, (Accepted/In press) Proceedings of the 2019 IEEE Symposium Series on Computational Intelligence .

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

  • Adversarial Imitation Learning from Incomplete Demonstrations

    Sun, M. & Ma, X., 10 Aug 2019, Proceedings of the 28th International Joint Conference on Artificial Intelligence. Kraus, S. (ed.). Washington DC: AAAI Press, p. 3513–3519 7 p.

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

  • A Dynamic Adaptation Strategy for Energy-Efficient Keyframe-Based Visual SLAM

    Khalufa, A., Riley, G. & Luján, M., 5 Jun 2019, (Accepted/In press) Proceedings of the 2019 International Conference on Parallel and Distributed Processing Techniques & Applications.

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

  • A Methodology for Using GitLab for Software Engineering Learning Analytics

    Cortes Rios, J. C., Kopec-Harding, K., Eraslan, S., Page, C., Haines, R., Jay, C. & Embury, S., 27 May 2019, 12th International Workshop on Cooperative and Human Aspects of Software Engineering.

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

  • An Analysis of Call-Site Patching without Strong Hardware Support for Self-Modifying-Code

    Hartley, T., Zakkak, F., Kotselidis, C. & Luján, M., 12 Sept 2019, (Accepted/In press) 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
    419 Downloads (Pure)
  • An architecture and stochastic method for database container placement in the edge-fog-cloud continuum

    Kochovski, P., Sakellariou, R., Bajec, M., Drobintsev, P. & Stankovski, V., 2019, Proceedings - 2019 IEEE 33rd International Parallel and Distributed Processing Symposium, IPDPS 2019. IEEE, p. 396-405 10 p. 8821021. (Proceedings - 2019 IEEE 33rd International Parallel and Distributed Processing Symposium, IPDPS 2019).

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

    Open Access
    File
    443 Downloads (Pure)
  • An effective routing with delay minimization for multi-hop wireless mesh network

    Chai, Y. & Zeng, X., 18 Jul 2019, (Accepted/In press) IEEE Global Communications Conference.

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

    Open Access
    File
    91 Downloads (Pure)
  • A Neurally-Guided, Parallel Theorem Prover

    Rawson, M. & Reger, G., 2019, FroCoS 2019: Frontiers of Combining Systems. (Lecture Notes in Computer Science ; vol. 11715).

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

    Open Access
    File
    262 Downloads (Pure)
  • An Overview of Thermal Challenges and Opportunities for Monolithic 3D ICs

    Shukla, P., Coskun, A., Pavlidis, V. & Salman, E., 13 May 2019, Great Lakes Symposium on VLSI. Association for Computing Machinery

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

    Open Access
    File
    78 Downloads (Pure)
  • A smart city dashboard for combining and analysing multi-source data streams

    Gledson, A., Paton, N. & Ba Dhafari, T., 2019, 20th IEEE International Conference on High Performance Computing and Communications; 16th IEEE International Conference on Smart City; 4th IEEE International Conference on Data Science and Systems, HPCC/SmartCity/DSS 2018, Exeter, United Kingdom, June 28-30, 2018..

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

    Open Access
    File
    465 Downloads (Pure)
  • A Summary of Formal Specification and Verification of Autonomous Robotic Systems

    Luckcuck, M., Farrell, M., Dennis, L. A., Dixon, C. & Fisher, M., 22 Nov 2019, Lecture Notes in Computer Science. p. 538-541 4 p.

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

  • Augmenting Television With Augmented Reality

    Saeghe, P., Clinch, S., Weir, B., Glancy, M., Vinayagamoorthy, V., Pattinson, O., Golds, P., Pettifer, S. & Stevens, R., 4 Jun 2019, ACM International Conference on Interactive Experiences for Television and Online Video.

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

    Open Access
    File
    573 Downloads (Pure)
  • Automatic detection of wrist fractures from posteroanterior and lateral radiographs: A deep learning-based approach

    Ebsim, R., Naqvi, J. & Cootes, T. F., 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 Nature, p. 114-125 12 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

    Open Access
    File
    508 Downloads (Pure)
  • Automating Data Preparation: Can We? Should We? Must We?

    Paton, N., 2019, Proceedings of the 21st International Workshop on Design, Optimization, Languages and Analytical Processing of Big Data.

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

    Open Access
    File
    698 Downloads (Pure)
  • Bayesnas: A Bayesian approach for neural architecture search

    Zhou, H., Yang, M., Wang, J. & Pan, W., 2019, Proceedings of the 36th International Conference on Machine Learning, ICML 2019. International Machine Learning Society (IMLS), p. 13116-13140 25 p. (36th International Conference on Machine Learning, ICML 2019; vol. 2019-June).

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

  • Beyond Polyhedral Analysis of OpenStream Programs

    Nobre, N. M., Drebes, A., Riley, G. & Pop, A., 23 Jan 2019, IMPACT 2019 - 9th International Workshop on Polyhedral Compilation Techniques. Valencia, Spain

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

  • Boost the Impact of Continuous Formal Verification in Industry

    Monteiro, F. R., Gadelha, M. Y. R. & Cordeiro, L., 15 Aug 2019, (Accepted/In press) 10th Workshop on Tools for Automatic Program Analysis .

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