Search research publications and outputs

  1. 2021
  2. SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints

    Bofill, M., Coll, J., Nightingale, P., Suy, J., Ulrich-Oltean, F. & Villaret, M., 7 Oct 2021, (E-pub ahead of print)

    Article in Artificial Intelligence

  3. Simulation, Design and Control of a Soft Robotic Arm with Integrated Bending Sensing

    Wills, B. & Liu, P., 6 Oct 2021, (Accepted/In press) The 20th IEEE International Conference on Advanced Robotics (ICAR). IEEE

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

  4. Decoding the proposed EU AI Act

    Townsend, B., 1 Oct 2021, 7 p. Washington, US : American Society of International Law.

    Research output: Other contribution

  5. Fast Rule-Based Graph Programs

    Campbell, G., Courtehoute, B. & Plump, D., 28 Sep 2021, (E-pub ahead of print)

    Article in Science of Computer Programming

  6. StressBench: A Configurable Full System Network and I/O Benchmark Framework

    Chester, D., Groves, T., Hammond, S. D., Law, T. R., Wright, S. A., Smedley-Stevenson, R., Fahmy, S. A., Mudalige, G. R. & Jarvis, S., 22 Sep 2021. 8 p.

    Research output: Contribution to conferencePaperpeer-review

  7. Global tropospheric halogen (Cl, Br, I) chemistry and its impact on oxidants

    Wang, X., Jacob, D. J., Downs, W., Zhai, S., Zhu, L., Shah, V., Holmes, C. D., Sherwen, T., Alexander, B., Evans, M. J., Eastham, S. D., Neuman, J. A., Veres, P. R., Koenig, T. K., Volkamer, R., Huey, L. G., Bannan, T. J., Percival, C. J., Lee, B. H. & Thornton, J. A., 21 Sep 2021

    Article in Atmospheric Chemistry and Physics

  8. Accuracy and Power Analysis of Social Networks Built From Count Data

    Hart, J. D. A., Franks, D. W., Brent, L. J. N. & Weiss, M. N., 20 Sep 2021, (Accepted/In press)

    Article in Methods in ecology and evolution

  9. InfoVAEGAN : Learning Joint Interpretable Representations by Information Maximization and Maximum Likelihood

    Ye, F. & Bors, A. G., 20 Sep 2021, Proc. IEEE International Conference on Image Processing. IEEE, 5 p.

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

  10. Lifelong Twin Generative Adversarial Networks

    Ye, F. & Bors, A. G., 20 Sep 2021, Proc. of IEEE International Conference on Image Processing (ICIP). IEEE, 5 p.

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

  11. Ontology Graph Embeddings and ILP for Financial Forecasting

    Erten, C. & Kazakov, D. L., 20 Sep 2021, (Accepted/In press) Inductive Logic Programming, Proceedings of the 30th International Conference. Springer, 14 p. (LNAI).

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

  12. Two-Pathway Style Embedding for Arbitrary Voice Conversion

    Xu, X., Shi, L., Chen, J., Chen, X., Lian, J., Lin, P., Zhang, Z. & Hancock, E. R., 1 Sep 2021, Proc. Interspeech 2021. p. 1364-1368 5 p.

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

  13. Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies

    Gerasimou, S., Camara Moreno, J., Calinescu, R., Alasmari, N., Alhwikem, F. & Fang, X., 31 Aug 2021, (E-pub ahead of print) 36th IEEE/ACM International Conference on Automated Software Engineering.

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

  14. Generation and Verification of Executable Assurance Case by Model-based Engineering

    Yan, F., 27 Aug 2021, (Accepted/In press) The 32nd International Symposium on Software Reliability Engineering, proceedings.

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

  15. Not Very Effective: Validity Issues of the Effectance in Games Scale

    Ballou, N., Breitsohl, H., Kao, D., Gerling, K. & Deterding, C. S., 25 Aug 2021, (Accepted/In press) xtended Abstracts of the 2021 Annual Symposium on Computer-Human Interaction in Play (CHI PLAY ’21),. Association for Computing Machinery, Inc, 6 p.

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

Previous 1 2 3 4 5 6 7 8 ...274 Next