Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science" and Year is 1995
|Up a level|
Hartel, P. H. and Plasmeijer, M. J. (eds.) (1995) 1st Functional Programming languages in Education (FPLE), LNCS 1022, Springer-Verlag, Berlin
Amin, J., Dussardier, B., Schweizer, T., Hempstead, M. and Wilkinson, J.S. (1995) Spectroscopic characteristics of Er-doped LiNbO3 At Quantum Electronics Conference (QE12), United Kingdom. 04 - 08 Sep 1995. 1 pp.
Anthony, M., Brightwell, G. and Shawe-Taylor, J. (1995) On Specifying Boolean Functions by Labelled Examples Discrete Applied Mathematics, 61, (1), pp. 1-25.
Arain, M.A. and Brown, M. (1995) Design of EGR Solenoid Valve Controller using Neural Networks At EUFIT '95. , 985--989.
Bahaj, A., Currie, A. J., Jones, S. D. R. and Scott, K. (1995) Sunstroke: a PC Software Simulation for Photovoltaic System Designers At 13th European Photovoltaic Solar Energy Conference.
Baramov, L. and Kimura, H. (1995) Nonlinear $L_2$-gain suboptimal control At Proc. of the 3rd IFAC Symposium on Nonlinear Control Systems Design. , pp. 244-249.
Baramov, L. and Kimura, H. (1995) Nonlinear coprime factorization and parameterization of a class of stabilizing controllers At Proceedings of the 34th IEEE Conference on Decision and Control. , pp. 981-986.
Barney, A. and Shadle, C.H. (1995) Fluid Flow in a Dynamic Mechanical Model of the Larynx University of Southampton, : University of Southampton, Doctoral Thesis .
Beitner, ND, Hall, W and Goble, CA (1995) Putting the Media into Hypermedia At Proceedings of Multimedia Computing and Networking 1995. , pp. 12-23.
Blacker, R. S., Vaughan, A. S., Bassett, D. C., Moody, S. M. and Hampton, R. N. (1995) A procedure for validating the use of lathed tapes for electrical breakdown tests At Proceedings of 5th International Conference on Conduction and Breakdown of Solid Dielectrics. , pp. 219-23.
Blacker, R. S., Vaughan, A. S., Bassett, D. C., Moody, S. M. and Hampton, R. N. (1995) Thermal processing, morphology and electrical strength of polyethylene At Proceedings of 5th International Conference on Conduction and Breakdown of Solid Dielectrics. , pp. 214-8.
Bossley, K.M. (1995) Neurofuzzy construction algorithms s.n.
Bullock, Seth (1995) Co-evolutionary design: Implications for evolutionary robotics s.n.
Bullock, Seth, (1995) Dynamic fitness landscapes de Bourcier, Peter, Lemmen, Ronald and Thompson, Adrian (eds.) At the Seventh White House Papers.
Burge, P. and Shawe-Taylor, J. (1995) Adapting the Energy Landscape for MFA Journal of Artificial Neural Networks, 2, (4), pp. 449-454.
Burge, P. and Shawe-Taylor, J. (1995) Bitstream Neurons for Graph Colouring Journal of Artificial Neural Networks, 2, (4), pp. 443-448.
Chen, G., Banford, H. M. and Davies, A. E. (1995) Effect of Gamma-irradiation on electrical breakdown stress of LDPE At IEEE 5th International Conference on Solid Dielectrics. , pp. 556-560.
Chen, G. and Davies, A. E. (1995) Effect of thermo-oxidative ageing on electrical performance of low density polyethylene At IEEE 5th International Conference on Solid Dielectrics. , pp. 651-655.
Chen, G. and Davies, A. E. (1995) The influence of defect on the short-term DC breakdown characteristics of LDPE insulation At 9th International Symposuim on High Voltage Engineering. , paper 1084 (1-4).
Chen, G. and Davies, A. E. (1995) The Long-term DC electrical Performance of LDPE insulation At 9th International Symposuim on High Voltage Engineering. , paper 1085 (1-4).
Chiu, W.S.C. and Shadle, C. (1995) The Development of an Enhanced Electropalatography System for Speech research University of Southampton, : University of Southampton, Doctoral Thesis .
Coleman, A.P., Nieuwenhuyzen, M., Rutt, H.N. and Seddon, K.R. (1995) Novel Ionic Media for Liquid Lasers Journal of the Chemical Society, Chemical Communications, 23, pp. 2369-2370.
D'Paola, Oscar Naim (1995) Performance visualization of parallel programs University of Southampton, Electronics & Computer Science, Doctoral Thesis , 145pp.
Dale, Jonathan (1995) The Communication Routines - A Network Layer Communication Model s.n.
Davies, A E, Tong, Y K, Lewin, P L and German, D M (1995) A Frequency Independent Circuit Model of a Conductor under Surge Conditions Intn. Journal of Numerical Modelling, 8, (2), pp. 139-47.
Davies, A E, Tong, Y K, Lewin, P L and German, D M (1995) Frequency-independent circuit model of earth return effects in transmission systems IEE Proc. Generation, Transmission and Distribution, 142, (2), pp. 143-8.
Davies, P.O.A.L., Barney, A. and Shadle, C.H. (1995) Aeroacoustic Sources in a Vocal Tract Model At Proc. 15th Int. Cong. on Acoustics. , p. 23.
De Roure, David (1995) Information highway applications At 1995 CERN School of Computing, France.
DeRoure, David C., (1995) Information superhighway applications Vandoni, C.E. (ed.) At 1995 CERN School of Computing. , 139--146.
DeRoure, David C. (1995) Networked multimedia: Hypermedia link services Telecommunications, 117--120.
Demant, R., Fatahi-Vanani, F., Galvez-Estrada, R., Nitsche, U. and Ochsenschläger, P. (1995) Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik -- SERVINT s.n.
Domingo, Carlos and Shawe-Taylor, John (1995) The Complexity of Learning Minor Closed Graph Classes In Proceedings of 6th International Workshop on Algorithmic Learning Theory, Fukuoka, Japan. Lecture Notes in Artificial Intelligence, 997. Springer., pp. 249-260.
Dongarra, J and Hey, A J G (1995) The Parkbench Benchmark Collection At Supercomputer 11, 94.
Doyle, R.S., (1995) Kalman Filter Obermeier, E. and Trankler, H. (eds.) At Handbuch der Sensortecknik.
Doyle, R.S. (1995) Neurofuzzy modelling and control Electrotechnology, 6, (2), 10--12.
Goose, Stuart and Hall, Wendy (1995) The Development Of A Sound Viewer For An Open Hypermedia System New Review of Hypermedia and Multimeida: Applications and Research, 1, 213--232.
Hall, W (1995) Ending the Tyranny of the Button: Rethinking the Hypermedia Interface At Proceedings of the IEE Summer School on Fundamentals of Multimedia Systems, University of Lancaster.
Hall, W, (1995) Hypermedia Tools for Multimedia Information Management Earnshaw, RA and Vince, JA (eds.) In Multimedia Systems and Applications. Academic Press., pp. 101-114.
Hall, W (1995) Hypertext Links and Intelligent Agents At Proceedings of the IIR Conference on Electronic Media: Publishing & Distribution, London, England.
Hall, W (1995) Making Hypermedia Work At Proceedings of Hypermedia at Work - Practice and Theory in Higher Education (keynote), University of Kent.
Hall, W (1995) Teaching and Learning Technology: Shifting the Culture At Proceedings of SEDA Conference on Developing Students, Developing Staff (key-note), University of Sunderland.
Hall, W (1995) Towards Industrial Strength Hypermedia At Proceedings of Multimedia Information Systems and Hypermedia (key-note), Institute of Industrial Science, University of Tokyo, Japan. , pp. 103-112.
Hall, W (1995) Zen and the Art of Linking At Proceedings of Hypertext'96. University of Pretoria, South Africa (invited key-note).
Hall, W, Hutchings, GA and White, SA (1995) Breaking Down the Barriers: an Architecture for Developing and Delivering Resource-Based Learning Materials At Proceedings of the World Conference on Computers in Education, WCCE'95. , pp. 623-634.
Hall, W, White, SA and Hutchings, GA (1995) Shifting the Culture: the SCHOLAR Project At Proceedings of CAL'95, Cambridge, England.
Hall, Wendy and DeRoure, David C. (1995) Microcosm: A new approach to hypermedia Interactive Media International, 9--11.
Hallett, Jon. (1995) Formulating Update Messages ACM Sigplan Notices, 30, (7), pp. 41-44.
Hartel, P. H., (1995) Benchmarking implementations of lazy functional languages II -- Two years later Johnsson, T. (ed.) At Proc. 7th Int. Conf. Implementation of Functional Languages. , pp. 63-68.
Hartel, P. H. and Hertzberger, L. O. (1995) Paradigms and laboratories in the core computer science curriculum: An overview ACM SIGCSE bulletin, 27, (4), pp. 13-20.
Hartel, P. H., Hofman, R. F. H., Langendoen, K. G., Muller, H. L., Vree, W. G. and Hertzberger, L. O. (1995) A toolkit for parallel functional programming Concurrency: Practice and Experience, 7, (8), pp. 765-793.
Hartel, P. H. and Plasmeijer, M. J. (1995) State-of-the-art applications of pure functional programming languages J. Functional Programming, 5, (3), pp. 1-3.
Hartel, P. H., van Es, B. and Tromp, Th. J. M., (1995) Basic proof skills computer science students Hartel, P. H. and Plasmeijer, M. J. (eds.) At Proc. 1st Int. Conf. Functional Programming languages in Education (FPLE), LNCS 1022. , pp. 269-288.
Haydarlou, A. R. and Hartel, P. H. (1995) Thunk-lifting: Reducing heap usage in an implementation of a lazy functional language J. Functional and Logic Programming, 1, (1)
Henderson, P. and Pratten, G. D. (1995) POSD - a notation for presenting complex systems of processes At Proc. 1st IEEE Int. Conf. on Engineering of Complex Computer Systems. , pp. 125-128.
Hey, A J G, Hockney, R, Getov, V, Wolton, I, Merlin, J and Allwright, J (1995) The Genesis Distributed-Memory Benchmarks, Part 2, COMMS1, TRANS1, FFT1 and QCD2 Benchmarks on the SUPRENUM and iPSC/860 Computers At Concurrency: Practice and Experience 7, 543.
Hosier, I.L., Bassett, D.C. and Moneva, I.T. (1995) On the morphology of polyethylene crystallised from a sheared melt Polymer, 36, (22), pp. 4197-4202.
Hughes, J.F. (1995) Electrostatically Pre-charged Polymer paints Finishing, 19, (6), pp. 30-2.
Hughes, J.F. (1995) Pre-charged Powder Coatings Powder Coatings Bulletin, pp. 2-3.
Hughes, J.F. (1995) Shocking the Ancient Greeks Finishing, 19, (11), pp. 22-4.
Hughes, J.F. (1995) An urge to coat Finishing, 19, (10), pp. 36-52.
Hulot, Carlos (1995) Parallel Tracking Systems University of Southampton, Electronics & Computer Science, Doctoral Thesis .
Hunt, K.J., Haas, R. and Brown, M. (1995) On the Functional Equivalence of Fuzzy Inference Systems and Spline-based Networks Int. J. Neural Systems, 6, (2), pp. 171-184.
J, Allwright, J, Pritchard D, S, Jones, N, Stephens, A, Peel, G, Makinson, J, Steel and H, Liddell (1995) High Performance Computing for All At 3rd Annual Conference on Teaching of Computing, Dublin.
Joy, M. and Luck, M., (1995) On-line Submission and Testing of Programming Assignments Hart, J. (ed.) At Innovations in Computing Teaching.
Lee, CC and Steele, R (1995) Signal-to-Interference Calculations for Modern TDMA Cellular Communications Systems IEE Proceedings, 142, (1), pp. 21-30.
Leuschel, M. (1995) Partial Evaluation of the Real Thing At Logic Program Synthesis and Transformation (LOPSTR), LNCS 883. , pp. 122-137.
Leuschel, M. and De Schreye, D. (1995) Towards Creating Specialised Integrity Checks Through Partial Evaluation of Meta-Interpreters At ACM Sigplan Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM). , pp. 253-263.
Leuschel, M., De Schreye, D. and Martens, B. (1995) Tutorial on Program Specialisation At International Logic Programming Symposium (ILPS). , pp. 615-616.
Leuschel, M. and Martens, B. (1995) Obtaining Specialised Update Procedures through Partial Deduction of the Ground Representation At Proc. Joint Workshop on Deductive Databases and Logic Programming and Abduction in Deductive Databases and Knowledge Based Systems. , pp. 81-95.
Leuschel, M. and Martens, B. (1995) Partial Deduction of the Ground Representation and its Application to Integrity Checking At Int. Logic Programming Symposium (ILPS). , pp. 495-509.
Lewis, C P, Kraft, M and Hesketh, T G (1995) Developments in Digital Transducers for Vehicle Control and Telemetric Instrumentation At 2nd IFAC Conference on Intelligent Auton. Vehicles. , pp. 32-36.
Luck, M. (1995) Review of Abductive Inference by John Josephson and Susan Josephson (editors) The Computer Journal, 38, (9), pp. 748-749.
Luck, M. and Joy, M. (1995) Automatic Submission in An Evolutionary Approach to Computer Science Teaching Computers and Education, 25, (3), 105--111.
Luck, M. and d'Inverno, M. (1995) Agency and Autonomy: A Formal Framework s.n. (Research Report, CS-RR-).
Luck, M. and d'Inverno, M. (1995) A Formal Framework for Agency and Autonomy At Proceedings of the First International Conference on Multi-Agent Systems. , 254--260.
Luck, M. and d'Inverno, M., (1995) Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems Bowen, J. P. and Hinchey, M. G. (eds.) At ZUM'95: The Z Formal Specification Notation, 9th International Conference of Z Users, Lecture Notes in Computer Science. , 48--62.
Mair, S.J. and Scully, C. (1995) Release Rates for [t] in VCV Sequences Estimated from Aerodynamic Data s.n.
Marques-Silva, Joao (1995) Search Algorithms for Satisfiability Problems in Combinational Switching Circuits University of Michigan, Electrical Engineering and Computer Science, Doctoral Thesis .
McEvoy, H. and Hartel, P. H., (1995) Local Linear Logic for Locality Consciousness in Multiset Transformation Hermenegildo, M. and Swierstra, S. D. (eds.) At Proc. 7th Int. Conf. Programming languages: implementations, logics and programs (PLILP), LNCS 982. , pp. 357-379.
Melly, M. (1995) An Object Oriented Linkbase for Microcosm s.n.
Melly, M. and Hall, Wendy (1995) Cooperative Work in Microcosm s.n.
Melly, M. and Hall, Wendy (1995) Position Paper: Version Control in Microcosm At To be presented at: The Role of Version Control in CSCW Applications - A Workshop to be held in conjunction with the ECSCW'95 (the Fourth European Conference on Computer Supported Cooperative Work) - Stockholm, Sweden..
Merlin, J and Hey, A J G (1995) An Introduction to High Performance Fortran At Scientific Programming. , pp. 87-113.
Minto, C. D. G. and Vaughan, A. S. (1995) On electron irradiation and microstructure in polypyrrole J. Mater. Sci., 30, pp. 6028-34.
Mitchell, Bill and Carlisle, David (1995) Modal Observation Equivalence of Processes s.n.
Monks, T.P. and Carter, J. (1995) Measuring the shape of time-varying objects University of Southampton, Electronics and Computer Science, Doctoral Thesis .
Montiel, M.E., Aguado, A.S., Garza, M. and Alarc, J. (1995) Image Manipulation using M-filters in a pyramidal computer model IEEE Transactions on Pattern Analysis and Machine Intelligence, 17, (11), 1110--1115.
Muller, H. L., Hartel, P. H. and Hertzberger, L. O., (1995) Using a functional notation to specify abstract simulation models Davy, J. R. and Dew, P. M. (eds.) At Abstract machine models for highly parallel computers. , pp. 243-258.
Newland, F.T. (1995) Current Approaches to Cloud Motion Wind Generation s.n.
Nitsche, U. and Ochsenschläger, P. (1995) Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik -- SERVINT s.n.
Olley, R. H., Vaughan, A. S., Bassett, D. C., Moody, S. M., Banks, V. A. A. and Roberts, D. G. (1995) Electron microscopy of water trees in XLPE At Proceedings of 5th International Conference on Conduction and Breakdown of Solid Dielectrics. , pp. 676-80.
Papiani, M, Hey, A J G and Hockney, R W (1995) The Graphical Benchmark Information Service At Scientific Programming 4, 219.
Payne, T.R. and Edwards, P., (1995) Learning Mechanisms for Information Filtering Agents Nealon, J.L. and Taylor, N.S. (eds.) At UK Intelligent Agents Workshop. , pp. 163-183.
Payne, Terry and Edwards, Peter (1995) Interface Agents that Learn: An Investigation of Learning Issues in a Mail Agent Interface s.n.
Payne, Terry R. and Edwards, Peter (1995) Learning Mechanisms for Information Filtering Agents s.n.
Piper, A, Wright, V, Hall, W and White, S (1995) Using Hypermedia for Language Learning: A Resource-Based Environment Innovations in Education and Teaching International, 32, (3), pp. 220-228.
Roberts, J.M. and Charnley, D. (1995) Multiple Model Filtering for Time-to-Collision Estimation and Segmentation IEEE Trans. on Signal Processing
Rutt, H N (1995) Etalon effects in Laser Mirrors – Comment Optical Engineering, 34, (6), pp. 1838-1839.
Rutt, H N (1995) A low-cost, ultra-wide range infrared polarizer Measurement Science and Technology, 6, (8), pp. 1124-1132.
Rutt, H N (1995) Optically pumped mid infrared laser action in the monohaloacetylenes Optics Communications, 120, (5-6), pp. 287-294.
Rutt, HN (1995) Book review: Handbook of infrared optical materials, ed. Paul Klocek 1991 Journal of Infrared Physics and Technology, 36, (5), pp. 923-924.
Shadle, C.H. (1995) Modelling the Noise Source in Voiced Fricatives s.n.
Shadle, C.H. (1995) Modelling the Noise Source in Voiced Fricatives At Proc. 15th Int. Cong. on Acoustics. , p. 145.
Shadle, C.H. and Scully, C. (1995) An articulatory-acoustic-aerodynamic analysis of [s] in VCV sequences J. Phonetics, 23, 53--66.
Shawe-Taylor, J. (1995) Sample Sizes for Threshold Networks with Equivalences Information and Computation, 118, (1), pp. 65-72.
Shawe-Taylor, J. and Zerovnik, Janez v (1995) Analysis of the Mean Field Annealing Algorithm for Graph Colouring Journal of Artificial Neural Networks, 2, (4), pp. 329-340.
Shawe-Taylor, John, Borstner, B. and Shawe-Taylor, John (eds.) (1995) Consciousness at the Crossroads of Philosophy and Cognitive Science, Special issue of Journal of Consciousness Studies, Thorverton: Imprint Academic
Shawe-Taylor, John (1995) Generalisation Analysis for Classes of Continuous Neural Networks In Proceedings of IEEE International Conference on Neural Networks. IEEE Neural Networks Council., pp. 2944-2948.
Shawe-Taylor, John (1995) Sample sizes for sigmoidal neural networks In Proceedings of Eighth Conference on Computational Learning Theory, COLT. ACM Press., pp. 258-264.
Shawe-Taylor, John and Shawe-Taylor, Metka (1995) Consciousness as a Linear Phenomenon In Proceedings of em Consciousness at the Crossroads of of Philosophy and Cognitive Science, Journal of Consciousness Studies. Thorverton: Imprint Academic., pp. 32-38.
Steele, R (1995) GSM and IS-95 Cellular Systems At Proceedings of IEE Seminar on Wireless Communications. , 4.1-4.6.
Steele, R, Gibson, J D (ed.) (1995) Microcellular Radio Communications, IEEE Press-CRC
Steele, R (1995) The therapy of percy comms: A dialogue on PCS issues , pp. 123-132.
Steele, R, Whitehead, J and Wong, WC (1995) System aspects of cellular radio IEEE Communications Magazine, 33, (1), pp. 80-86.
Steele, R, Williams, JEB, Chandler, D, Dehghan, S and Collard, A (1995) Teletraffic Performance of GSM900/DCS1800 in Street Microcells IEEE Communications Magazine, 33, (3), pp. 102-108.
Sutton, S. J and Vaughan, A. S. (1995) On the morphology and growth of electrochemically polymerized polypyrrole Polymer, 36, pp. 1849-57.
Vaughan, A. S. and Stevens, G. C. (1995) On crystallization. morphology and radiation effects in PEEK Polymer, 36, pp. 1531-40.
Vaughan, A. S. and Stevens, G. C. (1995) On radiation effects in poly(ethylene terephthalate): a comparison with PEEK Polymer, 36, pp. 1541-7.
Vaughan, A. S. and Sutton, S. J. (1995) On radiation effects in oriented PEEK Polymer, 36, pp. 1549-54.
Vree, W. G. and Hartel, P. H. (1995) Communication lifting: fixed point computation for parallelism J. Functional Programming, 5, (4), pp. 549-581.
Webb, WT and Steele, R (1995) Variable Rate QAM for Mobile Radio IEEE Transactions on Communications, 43, (7), pp. 2223-2230.
Wong, W C, Steele, R and Sundberg, C E W (1995) Source-matched Mobile Communications, Pentech Press
Wood, J. (1995) A model of adaptive invariance University of London, : Department of Computer Science, Royal Holloway University of London, Doctoral Thesis .
Wood, J. and Shawe-Taylor, J. (1995) Neural Networks for Invariant Pattern Recognition At Proc. of European Symposium on Artificial Neural Networks. , pp. 253-8.
Wood, J. and Shawe-Taylor, John (1995) Neural networks for invariant pattern recognition In Proceedings of the ESANN'95 Conference, Brussels. D-Side Publications., pp. 253-258.
Woolf, BP and Hall, W (1995) Multimedia Pedagogues: Interactive Systems for Teaching and Learning IEEE Computer, 28, (5), pp. 74-80.
Zhao, Jieyu and Shawe-Taylor, John (1995) Stochastic Connection Neural Networks In Proceedings of the Fourth IEE Conference on Artificial Neural Networks. IEE Conference Publication 409., pp. 35-39.