University of Hertfordshire

Publications

  1. 1994
  2. A case study for generic processes and reusability in LOTOS

    Taylor, P. N. & Smith, D. E., 1994, University of Hertfordshire. 15 p. (Computer Science Technical Report; no. 209)

    Research output: Book/ReportOther report

  3. A comparative study of three neural networks that use soft competition

    Butchart, K., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 211)

    Research output: Book/ReportOther report

  4. A comparison of Eiffel, C++ and Oberon-2

    Mayes, A. & Buchanan, M., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 191)

    Research output: Book/ReportOther report

  5. A conservative extension to CCS for true concurrency semantics

    Baillie, J. & Smith, D., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 200)

    Research output: Book/ReportOther report

  6. A data flow model for prototyping reactive systems. (PhD Transfer Report)

    Fensome, D. A., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 185)

    Research output: Book/ReportOther report

  7. A knowledge extraction approach for capturing dispersed knowledge and its application to the modelling of working environments for people with disabilities

    Hewitt, J. & Sapsford-Francis, J., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 194)

    Research output: Book/ReportOther report

  8. An Infrared Spectral Sequence for M Dwarfs

    Jones, H. R. A., Longmore, A. J. & Jameson, R. F., 1994, In: Cool Stars, Stellar Systems and the Sun; Eighth Cambridge Workshop - ASP Conf Series 64. Astronomical Society of the Pacific, p. 614-8

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

  9. An application of task analysis to the development of a generic office reference model

    Hewitt, J., Hobson, J. & Sapsford-Francis, J., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 189)

    Research output: Book/ReportOther report

  10. An evaluation of the iHARP multiple instruction issue processor

    Steven, F. L., Steven, G. B. & Wang, L., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 179)

    Research output: Book/ReportOther report

  11. An explicitly declared delayed-branch mechanism for a superscalar architecture

    Collins, R. & Steven, G. B., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 197)

    Research output: Book/ReportOther report

  12. An integrated approach to the development of advice systems to support learning and domain based information retrieval

    Bearne, M., Hewitt, J., Jones, S. & Sapsford-Francis, J., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 180)

    Research output: Book/ReportOther report

  13. Childhood antecedents of schizophrenia and affective illness: social adjustment at ages 7 and 11

    Done, D. J., Crow, T. J., Johnstone, E. C. & Sacker, A., 1994, In : British Medical Journal (Clinical Research ed). 309, 6956, p. 699-703

    Research output: Contribution to journalArticle

  14. Clone detection in telecommunications software systems: a neural net approach

    Carter, S., Frank, R. & Tansley, D., 1994, University of Hertfordshire. 11 p. (Computer Science Technical Report; no. 208)

    Research output: Book/ReportOther report

  15. Cognition for science

    Dittrich, W., 1994, In : Psycoloquy. 5, 71

    Research output: Contribution to journalArticle

  16. Design of Pi impedance matching networks

    Sun, Y. & Fidler, J. K., 1994, IEEE Int Symp on Circuits and Systems, ISCAS '94. Vol.5. IEEE, p. 5-8

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

  17. Discrimination between citrulline and arginine transport in activated murine macrophages: inefficient synthesis of NO from recycling of citrulline to arginine

    Baydoun, A. R., Bogle, R. G., Pearson, J. D. & Mann, G. E., 1994, In : British Journal of Pharmacology. 112, p. 487-492

    Research output: Contribution to journalArticle

  18. File server architecture for an open distributed document system

    Christianson, B. & Hu, P., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 204)

    Research output: Book/ReportOther report

  19. Formal dialogue specification for hypertext and multimedia systems

    Jacob, L. & Jones, S., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 175)

    Research output: Book/ReportOther report

  20. HARP: a statically scheduled multiple-instruction-issue architecture and its compiler

    Adams, R. G., Gray, S. M. & Steven, G. B., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 163)

    Research output: Book/ReportOther report

  21. Humour and incongruity

    Lippitt, J., 1994, In : Cogito. 8, 2, p. 147-153

    Research output: Contribution to journalArticle

  22. IR Imaging Polarimetry of the Nuclear Regions of CEN A

    Bailey, J., Hough, J. & Chrysostomou, A., 1994, In: Procs of The First Stromlo Symposium: The Physics of Active Galaxies. Astronomical Society of the Pacific, p. 361-2

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

  23. Implementing associations between objects

    Mayes, A., Dickerson, B. & Britton, C., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 205)

    Research output: Book/ReportOther report

  24. Increasing the usability of formal specification techniques through a combination of complementary formal languages and automated verification tools

    Taylor, P. N. & Britton, C., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 210)

    Research output: Book/ReportOther report

  25. Infrared line emission in 10-Lacertae

    Murdoch, K. A., Drew, J. E. & Anderson, L. S., 1994, In : Astronomy and Astrophysics. 284, 2, p. L27-L30

    Research output: Contribution to journalArticle

  26. Integrating formal and diagrammatic techniques in requirements capture and early system design

    Hewitt, J., Jones, S. & Sapsford-Francis, J., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 188)

    Research output: Book/ReportOther report

  27. Interaction between the Galaxies IC 2163 and NGC 2207

    Kaufman, M., Elmegreen, D. M., Brinks, E., Elmegreen, B. & Sundin, M., 1994, In: Mass-Transfer Induced Activity in Galaxies, proceedings of the Conference held at the University of Kentucky, Lexington, April 26-30. Cambridge University Press, p. 358-361

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

  28. MODEMA - a knowledge based browsing system to facilitate the employment of people with disabilities

    Hewitt, J., Sapsford-Francis, J., Bolstad, G., Eftedal, O., Halford, P., Vervenne, D. & Verheyen, M., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 192)

    Research output: Book/ReportOther report

  29. MODEMA - a multimedia public information system

    Hewitt, J., Sapsford-Francis, J. & Halford, J., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 193)

    Research output: Book/ReportOther report

  30. Minimum component multiple integrator loop OTA-grounded capacitor all-pole filters

    Sun, Y. & Fidler, J. K., 1994, Procs of the 37th Midwest Symposium on Circuits and Systems 1994. Vol.2. IEEE, p. 983-986

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

  31. Models of Dusty Discs in Active Galactic Nuclei

    Efstathiou, A., Hough, J. & Rowan-Robinson, M., 1994, In: Procs of the First Stromlo Symposium: The Physics of Active Galaxies.. Astronomical Society of the Pacific, p. 261-2

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

  32. Multicultural issues in the development of a Pan-European knowledge based system

    Hewitt, J. & Sapsford-Francis, J., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 176)

    Research output: Book/ReportOther report

  33. Near-IR Spectropolarimetry of NGC 1088

    Young, S., Hough, J., Bailey, J., Axon, D. J. & Ward, M. J., 1994, In: Procs of The First Stromlo Symposium: The Physics of Active Galaxies. ASP Conference Series 54. Astronomical Society of the Pacific, p. 277-80

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

  34. Overloading and polymorphism in the interpretation of inheritance in C++

    Buchanan, M., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 202)

    Research output: Book/ReportOther report

  35. Potential for asynchronous microprocessor design

    Elston, C. J., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 182)

    Research output: Book/ReportOther report

  36. Resource efficiency profiling

    Tofallis, C., 1994, University of Hertfordshire, (Business School Working Papers; vol. UHBS 1994: 8).

    Research output: Working paper

  37. Reverse accumulation and attractive fixed points

    Christianson, B., 1994, In : Optimization Methods and Software. 3, 4, p. 311-326

    Research output: Contribution to journalArticle

  38. Selective targeting of nitric oxide synthase inhibitors to system y+ in activated macrophages

    Baydoun, A. R. & Mann, G. E., 1994, In : Biochemical and Biophysical Research Communications. 200, p. 726-731

    Research output: Contribution to journalArticle

  39. Self authenticating proxies

    Low, M. R. & Christianson, B., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 201)

    Research output: Book/ReportOther report

  40. Shrink-wrapped optimism: the DODA approach to distributed document processing

    Christianson, B. & Snook, J. F., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 187)

    Research output: Book/ReportOther report

  41. Spatially Resolved Spectropolarimetry of NGC 1068

    Inglis, M. D., Young, S., Hough, J., Axon, D. J., Bailey, J. & Ward, M. J., 1994, In: Procs of The First Stromlo Symposium: The Physics of Active Galaxies, ASP Conference Series 54. Astronomical Society of the Pacific, p. 313-4

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

  42. The Oberon-2 language and environment

    Mayes, A. & Buchanan, M., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 190)

    Research output: Book/ReportOther report

  43. The Physics of Shocked Outflows In Star Forming Molecular Clouds

    Tedds, J. A., Brand, P. W. J. L., Burton, M., Chrysostomou, A. & Fernandes, A. J. L., 1994, In: Procs of Clouds, Cores, and Low Mass Stars - ASP Conf Series 65. Astronomical Society of the Pacific, p. 375-379

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

  44. The Role of HI in the Star-Formation Processes in Spiral Disks

    Knapen, J. & Beckman, J. E., 1994, In: Physics of the Gaseous and Stellar Disks of the Galaxy - ASP Conf Series 66. Astronomical Society of the Pacific, p. 329-336

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

  45. The influence of the formal description technique LOTOS on concurrent system design

    Taylor, P. N. & Smith, D. E., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 203)

    Research output: Book/ReportOther report

  46. The owl and the pussycat

    Larvor, B., 1994, In : Philosophical Quarterly. 44, 175, p. 233-239

    Research output: Contribution to journalArticle

  47. The role of graphical representations in early design and requirements specification

    Sapsford-Francis, J. & Jones, S., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 196)

    Research output: Book/ReportOther report

  48. To whom am I speaking? Remote booting in a hostile world

    Lomas, M. & Christianson, B., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 178)

    Research output: Book/ReportOther report

  49. Towards usability guidelines for multimedia systems

    Bearne, M., Jones, S. & Sapsford-Francis, J., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 186)

    Research output: Book/ReportOther report

  50. User and designer centred issues in the development of a multimedia exhibition guide

    Sapsford-Francis, J., Hewitt, J., Halford, P. & Waring, N., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 183)

    Research output: Book/ReportOther report

  51. Using a resource limited instruction scheduler to evaluate the iHARP processor

    Steven, F. L., Steven, G. B. & Wang, L., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 198)

    Research output: Book/ReportOther report

  52. Using conditional execution to exploit instruction level concurrency

    Gray, S. M. & Adams, R. G., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 181)

    Research output: Book/ReportOther report

  53. Using testing semantics to show safety and liveness in the development of CCS specifications

    Baillie, J., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 199)

    Research output: Book/ReportOther report

  54. Validating knowledge models across multinational boundaries

    Sapsford-Francis, J. & Hewitt, J., 1994, University of Hertfordshire. (UH Computer Science Technical Report; vol. 184)

    Research output: Book/ReportOther report

  55. Alpha-clustering and the stellar nucleosynthesis of carbon

    Oberhummer, H., Krauss, H., Grun, K., Rauscher, T., Abele, H., Mohr, P. & Staudt, G., Sep 1994, In : Zeitschrift fur Physik A-Hadrons and Nuclei. 349, 3-4, p. 241-242 2 p.

    Research output: Contribution to journalArticle

  56. 1995
  57. A brief history of time (before and after objects) - from a perspective of process algebras

    Taylor, P. N., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 238)

    Research output: Book/ReportOther report

  58. A fast partial parse of natural language sentences using a connectionist method

    Lyon, C. & Dickerson, R., 1995, Procs of the 7th Conf of the European Chapter of the Association for Computational Linguistics: EACL'95. Morgan Kaufmann Publishers Inc., p. 215-222

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

  59. A technique for clarifying the implementation of relationships between objects to enhance software reuse

    Mayes, J. A., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 226)

    Research output: Book/ReportOther report

  60. Adaptations in Buyer-Seller Relationships

    Brennan, D. & Turnbull, P., 1995, 11th annual Industrial Marketing and Purchasing (IMP) Group conference. University of Manchester Institute of Science and Technology

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

  61. Anti-thrombotic effects of a nitric-oxide-releasing, gastric-sparing aspirin derivative

    Wallace, J. L., McKnight, W., Del Soldato, P., Baydoun, A. R. & Cirino, G., 1995, In : Journal of Clinical Investigation. 96, 6, p. 2711-2718

    Research output: Contribution to journalArticle

  62. Applications of neural networks in telecommunications

    Field, S., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 219)

    Research output: Book/ReportOther report

  63. Authentication v Certification

    Low, M. R. & Christianson, B., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 216)

    Research output: Book/ReportOther report

  64. BPR - a UK case study

    Weerakkody, V., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 230)

    Research output: Book/ReportOther report

  65. Bridging the gap between business process reeingineering and information systems: identifying key issues

    Weerakkody, J., Tagg, C. & Bennett, J., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 262)

    Research output: Book/ReportOther report

  66. Case study - an information systems strategy: development and evolution at the University of Hertfordshire

    Bennett, J. & Hinton, P., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 221)

    Research output: Book/ReportOther report

  67. Chaotic behaviour in a bank account

    Tofallis, C., 1995, In : British Review of Economic Issues. 17, 43, p. 53-68

    Research output: Contribution to journalArticle

  68. Consciousness demystified

    Hutto, D., 1995, In : Monist. 78, 4, p. 464-478

    Research output: Contribution to journalArticle

  69. Decoupled line driven outflow around B and Be stars

    Porter, J. M. & Drew, J. E., 1995, In : Astronomy and Astrophysics. 296, 3, p. 761-770

    Research output: Contribution to journalArticle

  70. Dynamic competitive learning applied to the clone detection problem

    Barson, P., Davey, N., Frank, R. & Tansley, D., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 220)

    Research output: Book/ReportOther report

  71. Early elicitation and definition of requirements for an interactive multimedia information system

    Jones, S. & Britton, C., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 236)

    Research output: Book/ReportOther report

  72. Effectiveness of orthogonal instantaneous and transitional feature parameters for speaker verification

    Ariyaeeinia, A. & Sivakumaran, P., 1995, In: Procs IEEE 29th Annual Int Carnahan Conf on Security Technology, 1995. IEEE, p. 79-84

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

  73. Geometric approach to Fletcher's ideal penalty function

    Christianson, B., 1995, In : Journal of Optimization Theory and Applications. 84, 2, p. 433-441

    Research output: Contribution to journalArticle

  74. Graphical problems in Wittgenstein's Nachlaß

    Biggs, M., 1995, Culture and Value: Philosophy and the Cultural Sciences. Johannessen, K. & Nordenstam, T. (eds.). Kirchberg a/W: Die Osterreichische Ludwig Wittgenstein Gesellschaft, p. 751-761

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

  75. Hades - towards the design of an asynchronous superscalar processor

    Elston, C. J., Christianson, B., Findlay, P. & Steven, G. B., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 218)

    Research output: Book/ReportOther report

  76. High Resolution Studies of Molecular Hydrogen by Means of Near-Infrared Fabry-Perot Imaging

    Chrysostomou, A., Burton, M., Axon, D. J., Brand, P. W. J. L., Hough, J., Bland-Hawthorn, J. & Geballe, T., 1995, In: Procs of Tridimensional Optical Spectroscopic Methods in Astrophysics, ASP Conference Series 71. Astronomical Society of the Pacific, p. 173-181

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

  77. Humour and release

    Lippitt, J., 1995, In : Cogito. 9, 2, p. 169-176

    Research output: Contribution to journalArticle

  78. Humour and superiority

    Lippitt, J., 1995, In : Cogito. 9, 1, p. 54-61

    Research output: Contribution to journalArticle

  79. Inheritance, subtyping and the is-a relationship (PhD Transfer Report)

    Buchanan, M., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 237)

    Research output: Book/ReportOther report

  80. Internet: which future for organized knowledge, Frankenstein or Pygmalion

    Floridi, L., 1995, In : International Journal of Human-Computer Studies. 43, 2, p. 261-274

    Research output: Contribution to journalArticle

  81. Investigation of self-organising dynamic neural tree networks

    Butchart, K., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 225)

    Research output: Book/ReportOther report

  82. Is your computing environment secure? Security problems with interrupt handling mechanisms

    Christianson, B. & Hu, P., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 222)

    Research output: Book/ReportOther report

  83. Modelling changes in organisations for a complex world

    Taylor, P. N. & De Maria, E., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 228)

    Research output: Book/ReportOther report

  84. Modelling the millimetre-infrared flaring behaviour of the quasar 1253-055 (3C279)

    Litchfield, S. J., Stevens, J. A., Robson, E. I. & Gear, W. K., 1995, In : Monthly Notices of the Royal Astronomical Society. 274, 1, p. 221-234

    Research output: Contribution to journalArticle

  85. Nested signature blocks

    Low, M. R. & Christianson, B., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 223)

    Research output: Book/ReportOther report

  86. Positive fixed points of lattices under semigroups of positive linear operators

    Christianson, B., 1995, In : Mathematical Chronicle. 24, 1, p. 23-27

    Research output: Contribution to journalArticle

  87. Primary teachers and the primary curriculum

    Thornton, M. E., 1995, In : New Era in Education. 76, 3, p. 78-83

    Research output: Contribution to journalArticle

  88. Pro-inflammatory cytokines and lipopolysaccharide synergize to induce L-arginine transport and iNOS activity in vascular smooth muscle cells

    Wileman, S. M., Mann, G. E. & Baydoun, A. R., 1995, In : British Journal of Pharmacology. 116, p. 3243-3250

    Research output: Contribution to journalArticle

  89. Providing public access to information in complex and weakly structures domains: a 3-layered model for hypermedia information systems

    Bearne, M., Jones, S., Hewitt, J. & Sapsford-Francis, J., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 235)

    Research output: Book/ReportOther report

  90. Recalling pseudo-psychic demonstrations

    Wiseman, R. & Morris, R. L., 1995, In : British Journal of Psychology. 86, 1, p. 113-125

    Research output: Contribution to journalArticle

  91. Reconstructing the density operator via simple projectors

    Steuernagel, O. & Vaccaro, J., 1995, In : Physical Review Letters. 75, 18, p. 3201-3205

    Research output: Contribution to journalArticle

  92. Remote booting in a hostile world: to whom am I speaking? [Computer security]

    Lomas, M. & Christianson, B., 1995, In : Computer. 28, 1, p. 50-54

    Research output: Contribution to journalArticle

  93. Roles and rights

    Low, M. R. & Christianson, B., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 232)

    Research output: Book/ReportOther report

  94. Smoothing the transition from formal specification to object-oriented implementation

    Taylor, P. N. & Smith, D. E., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 213)

    Research output: Book/ReportOther report

  95. Structural invariance, structural definability and the Galois theory of elementarily invariant structures

    Broido, J., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 234)

    Research output: Book/ReportOther report

  96. Temporal logic and "reverse semantics"

    Broido, J., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 233)

    Research output: Book/ReportOther report

  97. The analysis of formal models of communication for the specification of reusable systems (progress report)

    Taylor, P. N., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 229)

    Research output: Book/ReportOther report

  98. The development of a software clone detector

    Davey, N., Barson, P., Field, S., Frank, R. & Tansley, D., 1995, In : International Journal of Applied Software Technology. 1, 3/4, p. 219-236

    Research output: Contribution to journalArticle

  99. The fusion method: a second generation object-oriented software development method

    Diedrichsen, J., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 231)

    Research output: Book/ReportOther report

  100. The representation of rules in connectionist models

    St Aubyn, M., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 227)

    Research output: Book/ReportOther report

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