Search research publications and outputs

  1. 2020
  2. CONNER: A Concurrent ILP Learner in Description Logic

    Algahtani, E. & Kazakov, D. L., 5 Jun 2020, Inductive Logic Programming: 29th International Conference, ILP 2019. Springer, p. 1-15 15 p. (LNAI; no. 11770).

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

  3. Metagame Autobalancing for Competitive Multiplayer Games

    Hernandez, D., Gbadamosi, C., Goodman, J. & Walker, J. A., 5 Jun 2020, Proceedings of the IEEE Conference on Games 2020. IEEE, 8 p.

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

  4. Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles

    Calinescu, R., Cortelessa, V., Stefanakos, I. & Trubiani, C., 17 Mar 2020, 23rd International Conference on Fundamental Approaches to Software Engineering. p. 357-377 21 p.

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

  5. The Ablation of solid targets using a capillary discharge laser

    Tallents, G. J., Wilson, S., Lolley, J., Solis Meza, E., Wagenaars, E., Bravo, H., Menoni, C. S. & Rocca, J. J., 7 Mar 2020, X-Ray Lasers 2018 - Proceedings of the 16th International Conference on X-Ray Lasers. Kozlová, M. & Nejdl, J. (eds.). SPRINGER, p. 11-15 5 p. (Springer Proceedings in Physics; vol. 241).

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

  6. A corpus for large-scale phonetic typology

    Salesky, E., Chodroff, E., Pimentel, T., Wiesner, M., Black, A. W. & Eisner, J., 2020, Proceedings of the 58th Annual Meeting for the Association of Computational Linguistics.

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

  7. Predicting declension class from form and meaning

    Williams, A., Pimentel, T., McCarthy, A., Blix, H., Chodroff, E. & Cotterell, R., 2020, Proceedings of the 58th Annual Meeting for the Association of Computational Linguistics.

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

  8. 2019
  9. Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods

    Nemouchi, Y., Foster, S. D., Gleirscher, M. & Kelly, T. P., 22 Nov 2019, Integrated Formal Methods: Proceedings of the 15th International Conference. Springer International Publishing, Vol. 11918. p. 379-398 20 p. (LNCS).

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

  10. Characterization and first test of an i-TED prototype at CERN n_TOF

    nToF, 31 Aug 2019, Basic Concepts in Nuclear Physics: Theory, Experiments and Applications - 2018 La Rábida International Scientific Meeting on Nuclear Physics. García-Ramos, J-E., Pérez-Bernal, F., Andrés, M. V., Moro, A. M. & Valera, J. A. (eds.). Springer Science and Business Media, LLC, p. 169-173 5 p. (Springer Proceedings in Physics; vol. 225).

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

  11. 7Be(n,p)7 Li Cross Section Measurement for the Cosmological Lithium Problem at the n_TOF Facility at CERN

    The n-TOF Collaboration, 20 Aug 2019, Nuclei in the Cosmos XV. Gialanella, L., Imbriani, G., Formicola, A. & Junker, M. (eds.). Springer Science and Business Media, LLC, Vol. 219. p. 25-32 8 p.

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

  12. Data for the s Process from n_TOF

    The n-TOF Collaboration, 20 Aug 2019, Nuclei in the Cosmos XV. Gialanella, L., Imbriani, G., Formicola, A. & Junker, M. (eds.). Springer Science and Business Media, LLC, Vol. 219. p. 63-70 8 p.

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

Previous 1 2 3 4 Next