Home > Publications

Publications

  1. Conference article › Research › Peer-reviewed
  2. Published

    4th international workshop on ontologies and conceptual modeling (Onto.Com)

    De Cesare, S., Gailly, F., Guizzardi, G., Lycett, M., Partridge, C. & Pastor, O., 2016, In : CEUR Workshop Proceedings. 1660

    Research output: Contribution to journalConference article

  3. Published

    A posteriori error bounds for joint matrix decomposition problems

    Colombo, N. & Vlassis, N., Dec 2016, In : ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS. p. 4950-4957 8 p.

    Research output: Contribution to journalConference article

  4. Published

    Amending contracts for choreographies

    Bocchi, L., Lange, J. & Tuosto, E., 31 Jul 2011, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 59, p. 111-129 19 p.

    Research output: Contribution to journalConference article

  5. Published

    Bayesian semi-supervised learning with graph Gaussian processes

    Ng, Y. C., Colombo, N. & Silva, R., 3 Dec 2018, In : ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS. p. 1690-1701 12 p.

    Research output: Contribution to journalConference article

  6. Published

    Bird Song Synthesis Based on Hidden Markov Models

    Bonada, J., Lachlan, R. & Blaauw, M., Sep 2016, In : Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. 08-12-September-2016, p. 2582-2586 5 p.

    Research output: Contribution to journalConference article

  7. Published

    Bounded verification of message-passing concurrency in Go using Promela and Spin

    Dilley, N. & Lange, J., 3 Apr 2020, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 314, p. 34-45 12 p.

    Research output: Contribution to journalConference article

  8. Published

    Choreography synthesis as contract agreement

    Lange, J. & Scalas, A., 15 Oct 2013, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 131, p. 52-67 16 p.

    Research output: Contribution to journalConference article

  9. Published

    Collimation of heavy-ion beams in the HE-LHC

    Abramov, A., Bruce, R., Crouch, M., Fuster-Martinez, N., Mereghetti, A., Molson, J., Nevay, L. J. & Redaelli, S., 2 Dec 2019, In : Journal of Physics: Conference Series. 1350, 1, p. 1-7 7 p., 012072.

    Research output: Contribution to journalConference article

  10. Published

    Collimation system studies for the FCC-hh

    Bruce, R., Abramov, A., Bertarelli, A., Besana, M. I., Carra, F., Cerutti, F., Faus-Golfe, A., Fiascaris, M., Gobbi, G., Krainer, A., Lechner, A., Mereghetti, A., Mirarchi, D., Molson, J., Pasquali, M., Redaelli, S., Schulte, D., Serluca, M., Skordis, E. & Varasteh, M., 2 Dec 2019, In : Journal of Physics: Conference Series. 1350, 1, p. 1-7 7 p., 012009.

    Research output: Contribution to journalConference article

  11. Published

    Compact neutron generators for the calibration of low background experiments

    Chepurnov, A. S., Gromov, M. B., Ionidi, V. Y., Kaplii, A. A., Kirsanov, M. A., Klenin, A. A., Kolesnikov, D. A., Kubankin, A. S., Maslenkina, A. Y., Oleinik, A. N., Selivanova, D. A. & Shchagin, A. V., 29 Nov 2019, In : Journal of Physics: Conference Series. 1390, 1, p. 1-4 4 p., 012103.

    Research output: Contribution to journalConference article

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