University of Hertfordshire

Publications

  1. CRutoN: Automatic Verification of a Robotic Assistant’s Behaviours

    Gainer, P., Dixon, C., Dautenhahn, K., Fisher, M., Hustadt, U., Saunders, J. & Webster, M., 2017, Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Proceedings. Springer Verlag, Vol. 10471 LNCS. p. 119-133 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10471 LNCS).

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

  2. Changing the Culture of Building Simulation with Emergent Modelling

    Jankovic, L., 9 Aug 2017, Proceedings of BS 2017: 15th Conference of the International Building Performance Simulation Association. Barnaby, C. S. & Wetter, M. (eds.). International Building Performance Simulation Association, p. 222-229 8 p.

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

  3. Characterization of the n-TOF EAR-2 neutron beam

    Chen, Y. H., Tassan-Got, L., Audouin, L., Le Naour, C., Durán, I., Casarejos, E., Aberle, O., Andrzejewski, J., Bécares, V., Bacak, M., Balibrea, J., Barbagallo, M., Barros, S., Bečvář, F., Beinrucker, C., Berthoumieux, E., Billowes, J., Bosnar, D., Brugger, M., Caamaño, M. & 114 othersCalviño, F., Calviani, M., Cano-Ott, D., Cardella, R., Casanovas, A., Castelluccio, D. M., Cerutti, F., Chiaveri, E., Colonna, N., Cortés, G., Cortés-Giraldo, M. A., Cosentino, L., Damone, L. A., Diakaki, M., Domingo-Pardo, C., Dressler, R., Dupont, E., Fernández-Domínguez, B., Ferrari, A., Ferreira, P., Finocchiaro, P., Furman, V., Göbel, K., Gómez-Hornillos, M. B., García, A. R., Gawlik, A., Glodariu, T., Gonçalves, I. F., González, E., Goverdovski, A., Griesmayer, E., Guerrero, C., Gunsing, F., Harada, H., Heftrich, T., Heinitz, S., Heyse, J., Jenkins, D. G., Jericha, E., Käppeler, F., Kadi, Y., Katabuchi, T., Kavrigin, P., Ketlerov, V., Khryachkov, V., Kimura, A., Kivel, N., Kokkoris, M., Krtička, M., Leal-Cidoncha, E., Lederer, C., Leeb, H., Lerendegui-Marco, J., Meo, S. L., Lonsdale, S. J., Losito, R., Macina, D., Marganiec, J., Martínez, T., Massimi, C., Mastinu, P., Mastromarco, M., Matteucci, F., Maugeri, E. A., Mendoza, E., Mengoni, A., Milazzo, P. M., Mingrone, F., Mirea, M., Montesano, S., Musumarra, A., Nolte, R., Oprea, A., Patronis, N., Pavlik, A., Perkowski, J., Porras, J. I., Praena, J., Quesada, J. M., Rajeev, K., Rauscher, T., Reifarth, R., Riego-Perez, A., Robles, M., Rout, P. C., Rubbia, C., Ryan, J. A., Sabaté-Gilarte, M., Saxena, A., Schillebeeckx, P., Schmidt, S., Schumann, D., Sedyshev, P., Smith, A. G., Stamatopoulos, A., Tagliente, G., Tain, J. L., Tarifeño-Saldivia, A., Tsinganis, A., Valenta, S., Vannini, G., Variale, V., Vaz, P., Ventura, A., Vlachoudis, V., Vlastou, R., Wallner, A., Warren, S., Weigand, M., Weiss, C., Wolf, C., Woods, P. J., Wright, T. & Ugec, P., 13 Sep 2017, ND 2016: International Conference on Nuclear Data for Science and Technology. EDP Sciences, Vol. 146. 03020

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

  4. Chivalry, culture and Koizumi: the origins of the Budokwai, London.

    Callan, M., 2017, Abstracts of the 2nd International Budo Conference and Japanese Academy of Budo, 50th Anniversary Conference. Fuminori, N. (ed.). Kansai University, Osaka, Japan: Japanese Academy of Budo, p. 110 III 1-3

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

  5. Classification of Gross Upper Limb Movements Using Upper Arm Electromyographic Features

    Thacham-Poyil, A., Amirabdollahian, F. & Steuber, V., Aug 2017, Proceedings of the 26th IEEE International Symposium on Robot and Human Interactive Communication.

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

  6. Entry in progress

    Combining deformation modeling and machine learning for personalized prosthesis size prediction in valve-sparing aortic root reconstruction

    Hagenah, J., Scharfschwerdt, M., Schweikard, A. & Metzner, C., 2017, Functional Imaging and Modelling of the Heart - 9th International Conference, FIMH 2017, Proceedings. Springer Verlag, Vol. 10263 LNCS. p. 461-470 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10263 LNCS).

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

  7. Comparison of two scoring method within i-vector framework for speaker recognition from children’s speech

    Safavi, S. & Meng, L., 2017, (Accepted/In press) ICMI Workshop on Child Computer Interaction (WOCCI 2017).

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

  8. Entry in progress

    Connecting the dots: Measuring effectiveness and affectiveness in software systems

    Ortu, M., Destefanis, G., Counsell, S., Marchesi, M. & Tonelli, R., 28 Jun 2017, Proceedings - 2017 IEEE/ACM 2nd International Workshop on Emotion Awareness in Software Engineering, SEmotion 2017. Institute of Electrical and Electronics Engineers Inc., p. 52-53 2 p. 7961894

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

  9. Control Chart Pattern Recognition Approach to Throughput Monitoring in Sustainable Smart Manufacturing

    Sunmola, F., 2017, Challenges for technology innovation: Agenda for the future. da Silva, F. M., Bartolo, H., Bartolo, P., Almendra, R., Roseta, F., Almeida, H. A. & Lemos, A. C. (eds.). London UK.: CRC Press, p. 183 189 p.

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

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