Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. 2017
  2. Effect of power state on absorption cross section of personal computer components

    Yan, J., Dawson, J. & Marvin, A., 4 Sep 2017, 2017 International Symposium on Electromagnetic Compatibility - EMC EUROPE. Angers

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

  3. Errors in the shielding effectiveness of cavities due to stair-cased meshing in FDTD: Application of empirical correction factors

    Bourke, S. A., Dawson, J. F., Flintoft, I. D. & Robinson, M. P., 4 Sep 2017, 2017 International Symposium on Electromagnetic Compatibility - EMC EUROPE. Angers

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

  4. Measurement of Transmission through Printed Circuit Boards: Application to Enclosure Shielding

    Parker, S. L., Marvin, A. C., Dawson, J. F. & Ye, M., 4 Sep 2017, 2017 International Symposium on Electromagnetic Compatibility - EMC EUROPE. Angers

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

  5. Algebraic Compilation of Safety-Critical Java Bytecode

    Baxter, J. & Cavalcanti, A. L. C., 1 Sep 2017, Integrated Formal Methods. Polikarpova, N. & Schneider, S. (eds.). Springer, p. 161-176 16 p.

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

  6. Modelling and Verification of Timed Robotic Controllers

    De Oliveira Salazar Ribeiro, P. F., Miyazawa, A., Li, W., Cavalcanti, A. L. C. & Timmis, J., 1 Sep 2017, Integrated Formal Methods. Polikarpova, N. & Schneider, S. (eds.). Springer, p. 18-33 16 p. (Lecture Notes in Computer Science; vol. 10510).

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

  7. Challenges of Safety Assurance for Industry 4.0

    Jaradat, O., Šljivo, I., Habli, I. & Hawkins, R. D., Sep 2017, 13th European Dependable Computing Conference (EDCC). p. 103-106

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

  8. Formalising Cosimulation Models

    Zeyda, F., Ouy, J., Foster, S. D. & Cavalcanti, A. L. C., Sep 2017, 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS 2017). 15 p.

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

  9. Grid Waymark baseband underwater acoustic transmission model

    Liao, L., Henson, B. T. & Zakharov, Y., Sep 2017, Underwater Acoustics Conference and Exhibition. p. 343-350 8 p.

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

  10. Learning from Ordinal Data with Inductive Logic Programming in Description Logic

    Qomariyah, N. N. & Kazakov, D. L., Sep 2017, Online proceedings of the 27th conference on Inductive Logic Programming.

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

  11. Recognizing Interactions Between People from Video Sequences

    Stephens, K. & Bors, A. G., Sep 2017, International Conference on Analysis and Image Analysis (CAIP). Springer, Vol. LNCS 10424. p. 80-91 12 p. (Lecture Notes in Computer Science).

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

Previous 1...4 5 6 7 8 9 10 11 ...22 Next