University of Hertfordshire

Publications

  1. A BDD-Representation for the Logic of Equality and Uninterpreted Functions

    van de Pol, J. & Tveretina, O., 2005, Mathematical Foundations of Computer Science 2005: 30th International Symposium. Jedrzejowicz, J. & Szepietowski, A. (eds.). Springer, p. 769-780 (Lecture Notes in Computer Science; vol. 3618).

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

  2. A Bird's Eye View of Ocular Galaxies

    Brinks, E., Kaufman, M., Elmegreen, D. M., Struck, C., Elmegreen, B., Thomasson, M. & Klaric, M., 2000, In: Cosmic Evolution and Galaxy Formation: Structure, Interactions, and Feedback, ASP Conf Series 215. Astronomical Society of the Pacific, p. 197-200

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

  3. A CMOS 100 MHz continuous-time seventh order 0.05° equiripple linear phase leapfrog multiple loop feedback Gm-C filter

    Su, H. W. & Sun, Y., 2002, procs of IEEE Int Symposium on Circuits & Systems: ISCAS 2002. IEEE, Vol. 2. p. 17-20

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

  4. A CMOS 650 MHz seventh-order current-mode 0.05° equiripple linear phase filter

    Zhu, X., Sun, Y. & Moritz, J., 2007, Procs 50th IEEE Int Midwest Symposium on Circuits & Systems. IEEE, Vol. 2007. p. 167-170

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

  5. A CMOS 750MHz fifth-order continuous-time linear phase lowpass filter with gain boost

    Zhu, X., Sun, Y. & Moritz, J., 2008, Procs IEEE Int Symposium on Circuits & Systems: ISCAS 2008. IEEE, p. 900-903

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

  6. A CMOS 80mW 400MHz seventh-order MLF FLF linear phase filter with gain boost

    Zhu, X., Sun, Y. & Moritz, J., 2008, Procs IEEE 15th Int Conf on Electronics, Circuits & Systems: ICECS 2008. IEEE, p. 300-303

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

  7. A CMOS field programmable analog array and its application in continuous-time OTA-C filter design

    Pankiewicz, B., Wojcikowski, M., Szczepanski, S. & Sun, Y., 2001, Procs IEEE Int Symposium on Circuits & Systems: ISCAS 2001. IEEE, Vol. 2001. p. 5-8

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

  8. A CMOS fifth-order 400MHz current-mode LF linear phase filter for hard disk read channels

    Zhu, X., Sun, Y. & Moritz, J., 2007, Procs of the 18th European Conference on Circuit Theory and Design, ECCTD. IEEE, Vol. 2007. p. 340-343

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

  9. A CVD diamond detector for (n,alpha) cross section measurements

    Weiss, C., Badurek, G., Berthoumieux, E., Calviani, M., Chiaveri, E., Dobos, D., Griesmayer, E., Guerrero, C., Jericha, E., Kaeppeler, F., Leeb, H., Rauscher, T. & Vlachoudis, V., Jan 2012, Experimental Nuclear Astrophysics. SISSA, 8 p. 015. (Proceedings of Science; vol. ENAS 6).

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

  10. A Candour-based Trust and Reputation Management System for Mobile Ad Hoc Networks

    Chiejina, E., Xiao, H. & Christianson, B., 2013, Procs of the 6th York Doctoral Symposium on Computer Science & Electronics: (YDS 2013). Simpson, S. (ed.). University of York, p. 17-26

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

  11. A Case Study in Coordination Programming: S-Net vs Concurrent Collection

    Zaichenkov, P., Gijsbers, B., Grelck, C., Tveretina, O. & Shafarenko, A., 2014, Proceedings of Programming Models, Languages and Compilers Workshop for Manycore and Heterogeneous Architectures . Vol. 2015. 1 p. 376317

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

  12. A Chi-square testing-based intrusion detection Model

    Abouzakhar, N. & Bakar, A., 3 Sep 2010, Procs 4th International Conference on Cybercrime Forensics Education & Training: CFET 2010.

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

  13. A Classification of Threats to Remote Online Examinations

    Ullah, A., Xiao, H. & Barker, T., 17 Nov 2016, 2016 IEEE 7th Annual Information Technology, Electronics and Mobile Communication Conference. IEEE, 6 p.

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

  14. A Cloud-based RFID Authentication Protocol with Insecure Communication Channels

    Xiao, H., Alshehri, A. & Christianson, B., Aug 2016, IEEE TrustCom 2016. IEEE, 8 p.

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

  15. A Co-operative Response to Entrepreneurial and Competitive Pressures

    Woods, P., 13 Aug 2015, Democratic Ethical Educational Leadership: Reclaiming School Reform. Gross, S. & Shapiro, J. (eds.). Oxon and New York: Routledge, p. 32-36 5 p. Chap 4

    Research output: Chapter in Book/Report/Conference proceedingChapter

  16. A Comparative Perspective on Scottish Cunning-folk and Charmers

    Davies, O., 2007, Witchcraft and Belief in Early Modern Scotland. Goodare, J., Martin, L. & Miller, J. (eds.). Palgrave Macmillan, p. 185-205 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  17. A Comparison of Empirical Study and Cognitive Dimensions Analysis in the Evaluation of UML Diagrams

    Kutar, M., Britton, C. & Barker, T., 2002, Procs of the 14th Workshop of the Psychology of Programming Interest Group (PPIG 14). Kuljis, J., Baldwin, L. & Scoble, R. (eds.). Vol. 2002. p. 1-14

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

  18. A Comparison of Loading on a Single or Double Temporomandibular Joint

    Muhandiram, J., Pierson, J., Wang, B. & Chizari, M., 2016, Transactions on Engineering Technologies. Ao, S., Yang, G-C. & Gelman, L. (eds.). Singapore: Springer Singapore, p. 151-162 12 p.

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

  19. A Comparison of the Centimetre-to-Submillimetre Continuum Spectra of BL Lacertae

    Stevens, J., Litchfield, S. J., Robson, E. I., Gear, W. K. & Hughes, D. H., 1994, Multi-Wavelength Continuum Emission of AGN: procs of the 159th Symposium of the International Astronomical Union, held in Geneva, Switzerland, August 30-September 3, 1993. Courvoisier, T. & Blecha, A. (eds.). Kluwer, p. 523 1 p. (IAU Symposium; vol. 159).

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

  20. A Comparison of the Infrared Spectra of Two Very Late-type M Dwarfs with Different Gravities

    Viti, S., Tennyson, J., Jones, H. R. A., Allard, F. & Hauschildt, P., 1998, In: Brown Dwarfs and Extrasolar Planets - ASP Conf Series 134. Astronomical Society of the Pacific, p. 471-4

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

  21. A Computational Account of Phonologically Mediated Free Recall

    Lovatt, P. & Bairaktaris, D., 1995, Neural Computation and Psychology. Smith, L. & Hancock, P. (eds.). Springer-Verlag, (Berlin-Heidelberg), p. 191-208 (Workshops in Computing).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  22. A Connectionist account of Spanish determiner production

    Nix, A., Messer, D. J., Davey, N. & Smith, P., 1998, Procs. 8th Int Conf on Artificial Neural Networks (ICANN'98). Niklasson, L., Boden, M. & Ziemke, T. (eds.). Springer, Vol. 2. p. 1077-1082

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

  23. A Constraint Satisfaction Method for Configuring Non-Local Service Interfaces

    Zaichenkov, P., Tveretina, O. & Shafarenko, A., 24 May 2016, Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Ábrahám, E. & Huisman, M. (eds.). Lecture Notes in Computer Science ed. Switzerland: Springer, Vol. 9681. p. 474-488 15 p. (http://www.springer.com/series/7408).

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

  24. A Constructivist Approach to Robot Language Learning via Simulated Babbling and Holophrase Extraction

    Saunders, J., Lyon, C., Foerster, F., Nehaniv, C. L. & Dautenhahn, K., 2009, Procs IEEE Symposium on Artificial Life 2009: ALife '09. IEEE, p. 13-20

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

  25. A Contribution to the Modal Identification of the Damping Factor based on the Dissipated Energy

    Montalvão, D. & Silva, J. M. M., Jul 2014, EURODYN 2014: IX Int Conf on Structural Dynamics. Cunha, A., Caetano, E., Ribeiro, P. & Muller, G. (eds.). European Association for Structural Dynamics (EASD), p. 2571-2577 7 p.

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

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