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), Southampton, GB, 04 - 08 Sep 1995. 1pp.
Anthony, M., Brightwell, G. and Shawe-Taylor, J. (1995) On Specifying Boolean Functions by Labelled Examples. Discrete Applied Mathematics, 61, (1), 1-25.
Arain, M.A. and Brown, M. (1995) Design of EGR Solenoid Valve Controller using Neural Networks. EUFIT '95 , 985--989.
Asal, R, Rivers, P E and Rutt, H N (1995) Laser Ablation Deposition of Ga2S3-La2S3 Glass Films. In, MRS 1995 Fall Meeting, Boston, USA,
Bahaj, A., Currie, A. J., Jones, S. D. R. and Scott, K. (1995) Sunstroke: a PC Software Simulation for Photovoltaic System Designers. 13th European Photovoltaic Solar Energy Conference Stephens and Associates.
Baramov, L. and Kimura, H. (1995) Nonlinear $L_2$-gain suboptimal control. Proc. of the 3rd IFAC Symposium on Nonlinear Control Systems Design , 244-249.
Baramov, L. and Kimura, H. (1995) Nonlinear coprime factorization and parameterization of a class of stabilizing controllers. Proceedings of the 34th IEEE Conference on Decision and Control , 981-986.
Barney, A. (1995) Fluid Flow in a Dynamic Mechanical Model of the Larynx. : University of Southampton, Doctoral Thesis .
Beitner, ND, Hall, W and Goble, CA (1995) Putting the Media into Hypermedia. Proceedings of Multimedia Computing and Networking 1995 SPIE, 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. Proceedings of 5th International Conference on Conduction and Breakdown of Solid Dielectrics , 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. Proceedings of 5th International Conference on Conduction and Breakdown of Solid Dielectrics , 214-8.
Bossley, K.M. (1995) Neurofuzzy construction algorithms.
Bullock, Seth (1995) Co-evolutionary design: Implications for evolutionary robotics.
Bullock, Seth (1995) Dynamic fitness landscapes. In, the Seventh White House Papers University of Sussex, UK.
Burge, P. and Shawe-Taylor, J. (1995) Adapting the Energy Landscape for MFA. Journal of Artificial Neural Networks, 2, (4), 449-454.
Burge, P. and Shawe-Taylor, J. (1995) Bitstream Neurons for Graph Colouring. Journal of Artificial Neural Networks, 2, (4), 443-448.
Chen, G., Banford, H. M. and Davies, A. E. (1995) Effect of Gamma-irradiation on electrical breakdown stress of LDPE. IEEE 5th International Conference on Solid Dielectrics , 556-560.
Chen, G. and Davies, A. E. (1995) Effect of thermo-oxidative ageing on electrical performance of low density polyethylene. IEEE 5th International Conference on Solid Dielectrics , 651-655.
Chen, G. and Davies, A. E. (1995) The influence of defect on the short-term DC breakdown characteristics of LDPE insulation. 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. 9th International Symposuim on High Voltage Engineering , paper 1085 (1-4).
Chiu, W.S.C. (1995) The Development of an Enhanced Electropalatography System for Speech research. : 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, 2369-2370.
Dale, Jonathan (1995) The Communication Routines - A Network Layer Communication Model.
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. International Journal of Numerical Modelling: Electronic Networks, Devices and Fields, 8, (2), 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 Proceedings: Generation, Transmission and Distribution, 142, (2), 143-8.
Davies, P.O.A.L., Barney, A. and Shadle, C.H. (1995) Aeroacoustic Sources in a Vocal Tract Model. Proc. 15th Int. Cong. on Acoustics , 23.
De Roure, David (1995) Information highway applications. In, 1995 CERN School of Computing, Arles, France, CERN.
DeRoure, David C. (1995) Information superhighway applications. 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.
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, 249-260.
Dongarra, J and Hey, A J G (1995) The Parkbench Benchmark Collection. Supercomputer 11, 94
Doyle, R.S. (1995) Kalman Filter. Handbuch der Sensortecknik Springer-Verlag GmbH & Co. KG.
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. Proceedings of the IEE Summer School on Fundamentals of Multimedia Systems, University of Lancaster IEE.
Hall, W (1995) Hypermedia Tools for Multimedia Information Management. In, Earnshaw, RA and Vince, JA (eds.) UNSPECIFIED Multimedia Systems and Applications , Academic Press, 101-114.
Hall, W (1995) Hypertext Links and Intelligent Agents. Proceedings of the IIR Conference on Electronic Media: Publishing & Distribution, London, England
Hall, W (1995) Making Hypermedia Work. 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. Proceedings of SEDA Conference on Developing Students, Developing Staff (key-note), University of Sunderland
Hall, W (1995) Towards Industrial Strength Hypermedia. Proceedings of Multimedia Information Systems and Hypermedia (key-note), Institute of Industrial Science, University of Tokyo, Japan , 103-112.
Hall, W (1995) Zen and the Art of Linking. 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. Proceedings of the World Conference on Computers in Education, WCCE'95 Chapman and Hall, 623-634.
Hall, W, White, SA and Hutchings, GA (1995) Shifting the Culture: the SCHOLAR Project. 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), 41-44.
Hartel, P. H. (1995) Benchmarking implementations of lazy functional languages II -- Two years later. Proc. 7th Int. Conf. Implementation of Functional Languages Dept. of Comp. Sci, Chalmers Univ. of Tech., Göteborg, Sweden, 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), 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), 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), 1-3.
Hartel, P. H., van Es, B. and Tromp, Th. J. M. (1995) Basic proof skills computer science students. Proc. 1st Int. Conf. Functional Programming languages in Education (FPLE), LNCS 1022 Springer-Verlag, Berlin, 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. Proc. 1st IEEE Int. Conf. on Engineering of Complex Computer Systems IEEE Press, Los Alamitos, California, 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. 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), 4197-4202.
Hughes, J.F. (1995) Electrostatically Pre-charged Polymer paints. Finishing, 19, (6), 30-2.
Hughes, J.F. (1995) Pre-charged Powder Coatings. Powder Coatings Bulletin, 2-3.
Hughes, J.F. (1995) Shocking the Ancient Greeks. Finishing, 19, (11), 22-4.
Hughes, J.F. (1995) An urge to coat. Finishing, 19, (10), 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), 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. 3rd Annual Conference on Teaching of Computing, Dublin
Joy, M. and Luck, M. (1995) On-line Submission and Testing of Programming Assignments. Innovations in Computing Teaching SEDA.
Lee, CC and Steele, R (1995) Signal-to-Interference Calculations for Modern TDMA Cellular Communications Systems. IEE Proceedings, 142, (1), 21-30.
Leuschel, M. (1995) Partial Evaluation of the Real Thing. Logic Program Synthesis and Transformation (LOPSTR), LNCS 883 Springer-Verlag, Berlin, 122-137.
Leuschel, M. and De Schreye, D. (1995) Towards Creating Specialised Integrity Checks Through Partial Evaluation of Meta-Interpreters. ACM Sigplan Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM) ACM Press, New York, 253-263.
Leuschel, M., De Schreye, D. and Martens, B. (1995) Tutorial on Program Specialisation. International Logic Programming Symposium (ILPS) MIT Press, Boston, 615-616.
Leuschel, M. and Martens, B. (1995) Obtaining Specialised Update Procedures through Partial Deduction of the Ground Representation. Proc. Joint Workshop on Deductive Databases and Logic Programming and Abduction in Deductive Databases and Knowledge Based Systems GMD-Studien Nr. 266, 81-95.
Leuschel, M. and Martens, B. (1995) Partial Deduction of the Ground Representation and its Application to Integrity Checking. Int. Logic Programming Symposium (ILPS) MIT Press, Boston, 495-509.
Lewis, C P, Kraft, M and Hesketh, T G (1995) Developments in Digital Transducers for Vehicle Control and Telemetric Instrumentation. In, 2nd IFAC Conference on Intelligent Auton. Vehicles, Helsinki, , 32-36.
Luck, M. (1995) Review of Abductive Inference by John Josephson and Susan Josephson (editors). The Computer Journal, 38, (9), 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. (Research Report CS-RR-).
Luck, M. and d'Inverno, M. (1995) A Formal Framework for Agency and Autonomy. Proceedings of the First International Conference on Multi-Agent Systems AAAI Press/MIT Press, 254--260.
Luck, M. and d'Inverno, M. (1995) Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems. ZUM'95: The Z Formal Specification Notation, 9th International Conference of Z Users, Lecture Notes in Computer Science Springer-Verlag, 48--62.
Mair, S.J. and Scully, C. (1995) Release Rates for [t] in VCV Sequences Estimated from Aerodynamic Data.
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. Proc. 7th Int. Conf. Programming languages: implementations, logics and programs (PLILP), LNCS 982 Springer-Verlag, Berlin, 357-379.
Melly, M. (1995) An Object Oriented Linkbase for Microcosm.
Melly, M. and Hall, Wendy (1995) Cooperative Work in Microcosm.
Melly, M. and Hall, Wendy (1995) Position Paper: Version Control in Microcosm. 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. Scientific Programming , 87-113.
Minto, C. D. G. and Vaughan, A. S. (1995) On electron irradiation and microstructure in polypyrrole. J. Mater. Sci., 30, 6028-34.
Mitchell, Bill and Carlisle, David (1995) Modal Observation Equivalence of Processes.
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. Abstract machine models for highly parallel computers Oxford university press, UK, 243-258.
Newland, F.T. (1995) Current Approaches to Cloud Motion Wind Generation.
Nitsche, U. and Ochsenschläger, P. (1995) Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik -- SERVINT.
Nunn, D (1995) A novel technique for the numerical simulation of collision-free space plasma - Vlasov Hybrid Simulation, UNSPECIFIED
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. Proceedings of 5th International Conference on Conduction and Breakdown of Solid Dielectrics , 676-80.
Papiani, M, Hey, A J G and Hockney, R W (1995) The Graphical Benchmark Information Service. Scientific Programming 4, 219
Payne, T.R. and Edwards, P. (1995) Learning Mechanisms for Information Filtering Agents. UK Intelligent Agents Workshop, Oxford Brookes University, , 163-183.
Payne, Terry and Edwards, Peter (1995) Interface Agents that Learn: An Investigation of Learning Issues in a Mail Agent Interface.
Payne, Terry R. and Edwards, Peter (1995) Learning Mechanisms for Information Filtering Agents.
Piper, A, Wright, V, Hall, W and White, S (1995) Using Hypermedia for Language Learning: A Resource-Based Environment. Innovations in Education and Training International, 32, (3), 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), 1838-1839.
Rutt, H N (1995) A low-cost, ultra-wide range infrared polarizer. Measurement Science and Technology, 6, (8), 1124-1132.
Rutt, H N (1995) Optically pumped mid infrared laser action in the monohaloacetylenes. Optics Communications, 120, (5-6), 287-294.
Rutt, H N (1995) Optically pumped mid infrared laser action in the monohaloacetylense. In, 20th International Conference on Infrared and Millimetre Waves, Orlando, Florida, USA, 11 - 15 Dec 1995. Elsevier, 287-294.
Rutt, HN (1995) Book review: Handbook of infrared optical materials, ed. Paul Klocek 1991. Journal of Infrared Physics and Technology, 36, (5), 923-924.
Shadle, C.H. (1995) Modelling the Noise Source in Voiced Fricatives.
Shadle, C.H. (1995) Modelling the Noise Source in Voiced Fricatives. Proc. 15th Int. Cong. on Acoustics , 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), 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), 329-340.
Shawe-Taylor, John (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, 2944-2948.
Shawe-Taylor, John (1995) Sample sizes for sigmoidal neural networks. In, Proceedings of Eighth Conference on Computational Learning Theory, COLT. , ACM Press, 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, 32-38.
Steele, R (1995) GSM and IS-95 Cellular Systems. Proceedings of IEE Seminar on Wireless Communications , 4.1-4.6.
Steele, R (1995) Microcellular Radio Communications, IEEE Press-CRC
Steele, R (1995) The therapy of percy comms: A dialogue on PCS issues. UNSPECIFIED , 123-132.
Steele, R, Whitehead, J and Wong, WC (1995) System aspects of cellular radio. IEEE Communications Magazine, 33, (1), 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), 102-108.
Sutton, S. J and Vaughan, A. S. (1995) On the morphology and growth of electrochemically polymerized polypyrrole. Polymer, 36, 1849-57.
Vaughan, A. S. and Stevens, G. C. (1995) On crystallization. morphology and radiation effects in PEEK. Polymer, 36, 1531-40.
Vaughan, A. S. and Stevens, G. C. (1995) On radiation effects in poly(ethylene terephthalate): a comparison with PEEK. Polymer, 36, 1541-7.
Vaughan, A. S. and Sutton, S. J. (1995) On radiation effects in oriented PEEK. Polymer, 36, 1549-54.
Vree, W. G. and Hartel, P. H. (1995) Communication lifting: fixed point computation for parallelism. J. Functional Programming, 5, (4), 549-581.
Webb, WT and Steele, R (1995) Variable Rate QAM for Mobile Radio. IEEE Transactions on Communications, 43, (7), 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. Proc. of European Symposium on Artificial Neural Networks , 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, 253-258.
Woolf, BP and Hall, W (1995) Multimedia Pedagogues: Interactive Systems for Teaching and Learning. IEEE Computer, 28, (5), 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, 35-39.