Items where Division is "Faculties (pre 2018 reorg) > Faculty of Physical Sciences and Engineering (pre 2018 reorg) > Electronics & Computer Science (pre 2018 reorg)
Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Electronics & Computer Science (pre 2018 reorg)
School of Electronics and Computer Science > Electronics & Computer Science (pre 2018 reorg)" and Year is 1995

Group by: No Grouping | Authors/Creators | Item Type

Number of items: 124.

1st Functional Programming languages in Education (FPLE), LNCS 1022

Type: Book | 1995 | Springer | Item not available on this server.

Spectroscopic characteristics of Er-doped LiNbO₃ - J. Amin, B. Dussardier, T. Schweizer, M. Hempstead and J.S. Wilkinson

Type: Conference or Workshop Item | 1995

On Specifying Boolean Functions by Labelled Examples - M. Anthony, G. Brightwell and J. Shawe-Taylor

Type: Article | 1995 | Item not available on this server.

Design of EGR Solenoid Valve Controller using Neural Networks - M.A. Arain and M. Brown

Type: Conference or Workshop Item | 1995 | Item not available on this server.

Sunstroke: a PC Software Simulation for Photovoltaic System Designers - A. Bahaj, A. J. Currie, S. D. R. Jones and K. Scott

Type: Conference or Workshop Item | 1995 | Item not available on this server.

Nonlinear $L_2$-gain suboptimal control - L. Baramov and H. Kimura

Type: Conference or Workshop Item | 1995 | Item not available on this server.

Nonlinear coprime factorization and parameterization of a class of stabilizing controllers - L. Baramov and H. Kimura

Type: Conference or Workshop Item | 1995 | Item not available on this server.

Fluid flow in a dynamic mechanical model of the larynx - A. Barney

Type: Thesis | 1995 | University of Southampton | Item not available on this server.

Putting the Media into Hypermedia - ND Beitner, W Hall and CA Goble

Type: Conference or Workshop Item | 1995 | Item not available on this server.

A procedure for validating the use of lathed tapes for electrical breakdown tests - R. S. Blacker, A. S. Vaughan, D. C. Bassett, S. M. Moody and R. N. Hampton

Type: Conference or Workshop Item | 1995 | Item not available on this server.

Thermal processing, morphology and electrical strength of polyethylene - R. S. Blacker, A. S. Vaughan, D. C. Bassett, S. M. Moody and R. N. Hampton

Type: Conference or Workshop Item | 1995 | Item not available on this server.

Neurofuzzy construction algorithms - K.M. Bossley

Type: Monograph | 1995 | Item not available on this server.

Co-evolutionary design: Implications for evolutionary robotics - Seth Bullock

Type: Monograph | 1995

Dynamic fitness landscapes - Seth Bullock

Type: Conference or Workshop Item | 1995

Adapting the Energy Landscape for MFA - P. Burge and J. Shawe-Taylor

Type: Article | 1995

Bitstream Neurons for Graph Colouring - P. Burge and J. Shawe-Taylor

Type: Article | 1995

Effect of Gamma-irradiation on electrical breakdown stress of LDPE - G. Chen, H. M. Banford and A. E. Davies

Type: Conference or Workshop Item | 1995 | Item not available on this server.

Effect of thermo-oxidative ageing on electrical performance of low density polyethylene - G. Chen and A. E. Davies

Type: Conference or Workshop Item | 1995 | Item not available on this server.

The influence of defect on the short-term DC breakdown characteristics of LDPE insulation - G. Chen and A. E. Davies

Type: Conference or Workshop Item | 1995 | Item not available on this server.

The Long-term DC electrical Performance of LDPE insulation - G. Chen and A. E. Davies

Type: Conference or Workshop Item | 1995 | Item not available on this server.

The development of an enhanced electropalatography system for speech research - W.S.C. Chiu

Type: Thesis | 1995 | University of Southampton | Item not available on this server.

Novel ionic media for liquid lasers - A.P. Coleman, M. Nieuwenhuyzen, H.N. Rutt and K.R. Seddon

Type: Article | 1995 | Item not available on this server.

Performance visualization of parallel programs - Oscar Naim D'Paola

Type: Thesis | 1995

The Communication Routines - A Network Layer Communication Model - Jonathan Dale

Type: Monograph | 1995

A Frequency Independent Circuit Model of a Conductor under Surge Conditions - A E Davies, Y K Tong, P L Lewin and D M German

Type: Article | 1995 | Item not available on this server.

Frequency-independent circuit model of earth return effects in transmission systems - A E Davies, Y K Tong, P L Lewin and D M German

Type: Article | 1995 | Item not available on this server.

Aeroacoustic Sources in a Vocal Tract Model - P.O.A.L. Davies, A. Barney and C.H. Shadle

Type: Conference or Workshop Item | 1995 | Item not available on this server.

Information highway applications - David De Roure

Type: Conference or Workshop Item | 1995 | Item not available on this server.

Information superhighway applications - David C. DeRoure

Type: Conference or Workshop Item | 1995 | Item not available on this server.

Networked multimedia: Hypermedia link services - David C. DeRoure

Type: Article | 1995 | Item not available on this server.

Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik -- SERVINT - R. Demant, F. Fatahi-Vanani, R. Galvez-Estrada, U. Nitsche and P. Ochsenschläger

Type: Monograph | 1995 | Item not available on this server.

The Complexity of Learning Minor Closed Graph Classes - Carlos Domingo and John Shawe-Taylor

Type: Conference or Workshop Item | 1995 | Springer | Item not available on this server.

The Parkbench Benchmark Collection - J Dongarra and A J G Hey

Type: Conference or Workshop Item | 1995 | Item not available on this server.

Kalman Filter - R.S. Doyle

Type: Conference or Workshop Item | 1995 | Item not available on this server.

Neurofuzzy modelling and control - R.S. Doyle

Type: Article | 1995 | Item not available on this server.

The Development Of A Sound Viewer For An Open Hypermedia System - Stuart Goose and Wendy Hall

Type: Article | 1995

Ending the Tyranny of the Button: Rethinking the Hypermedia Interface - W Hall

Type: Conference or Workshop Item | 1995 | Item not available on this server.

Hypermedia Tools for Multimedia Information Management - W Hall

Type: Conference or Workshop Item | 1995 | Academic Press | Item not available on this server.

Hypertext Links and Intelligent Agents - W Hall

Type: Conference or Workshop Item | 1995 | Item not available on this server.

Making Hypermedia Work - W Hall

Type: Conference or Workshop Item | 1995 | Item not available on this server.

Towards Industrial Strength Hypermedia - W Hall

Type: Conference or Workshop Item | 1995 | Item not available on this server.

Zen and the Art of Linking - W Hall

Type: Conference or Workshop Item | 1995 | Item not available on this server.

Breaking Down the Barriers: an Architecture for Developing and Delivering Resource-Based Learning Materials - W Hall, GA Hutchings and SA White

Type: Conference or Workshop Item | 1995 | Item not available on this server.

Shifting the Culture: the SCHOLAR Project - W Hall, SA White and GA Hutchings

Type: Conference or Workshop Item | 1995 | Item not available on this server.

Teaching and learning technology: shifting the culture - W. Hall

Type: Conference or Workshop Item | 1995 | Item not available on this server.

Microcosm: A new approach to hypermedia - Wendy Hall and David C. DeRoure

Type: Article | 1995 | Item not available on this server.

Formulating Update Messages - Jon. Hallett

Type: Article | 1995

Benchmarking implementations of lazy functional languages II -- Two years later - P. H. Hartel

Type: Conference or Workshop Item | 1995 | Item not available on this server.

Paradigms and laboratories in the core computer science curriculum: An overview - P. H. Hartel and L. O. Hertzberger

Type: Article | 1995 | Item not available on this server.

A toolkit for parallel functional programming - P. H. Hartel, R. F. H. Hofman, K. G. Langendoen, H. L. Muller, W. G. Vree and L. O. Hertzberger

Type: Article | 1995 | Item not available on this server.

State-of-the-art applications of pure functional programming languages - P. H. Hartel and M. J. Plasmeijer

Type: Article | 1995 | Item not available on this server.

Basic proof skills computer science students - P. H. Hartel, B. van Es and Th. J. M. Tromp

Type: Conference or Workshop Item | 1995 | Item not available on this server.

Thunk-lifting: Reducing heap usage in an implementation of a lazy functional language - A. R. Haydarlou and P. H. Hartel

Type: Article | 1995 | Item not available on this server.

POSD - a notation for presenting complex systems of processes - P. Henderson and G. D. Pratten

Type: Conference or Workshop Item | 1995 | Item not available on this server.

The Genesis Distributed-Memory Benchmarks, Part 2, COMMS1, TRANS1, FFT1 and QCD2 Benchmarks on the SUPRENUM and iPSC/860 Computers - A J G Hey, R Hockney, V Getov, I Wolton, J Merlin and J Allwright

Type: Conference or Workshop Item | 1995 | Item not available on this server.

On the morphology of polyethylene crystallised from a sheared melt - I.L. Hosier, D.C. Bassett and I.T. Moneva

Type: Article | 1995 | Item availability restricted.

Electrostatically Pre-charged Polymer paints - J.F. Hughes

Type: Article | 1995 | Item not available on this server.

Pre-charged Powder Coatings - J.F. Hughes

Type: Article | 1995 | Item not available on this server.

Shocking the Ancient Greeks - J.F. Hughes

Type: Article | 1995 | Item not available on this server.

An urge to coat - J.F. Hughes

Type: Article | 1995 | Item not available on this server.

Parallel Tracking Systems - Carlos Hulot

Type: Thesis | 1995

On the Functional Equivalence of Fuzzy Inference Systems and Spline-based Networks - K.J. Hunt, R. Haas and M. Brown

Type: Article | 1995 | Item not available on this server.

High Performance Computing for All - Allwright J, Pritchard D J, Jones S, Stephens N, Peel A, Makinson G, Steel J and Liddell H

Type: Conference or Workshop Item | 1995 | Item not available on this server.

On-line Submission and Testing of Programming Assignments - M. Joy and M. Luck

Type: Conference or Workshop Item | 1995 | Item not available on this server.

Signal-to-Interference Calculations for Modern TDMA Cellular Communications Systems - CC Lee and R Steele

Type: Article | 1995 | Item not available on this server.

Partial Evaluation of the Real Thing - M. Leuschel

Type: Conference or Workshop Item | 1995 | Item not available on this server.

Towards Creating Specialised Integrity Checks Through Partial Evaluation of Meta-Interpreters - M. Leuschel and D. De Schreye

Type: Conference or Workshop Item | 1995 | Item not available on this server.

Tutorial on Program Specialisation - M. Leuschel, D. De Schreye and B. Martens

Type: Conference or Workshop Item | 1995 | Item not available on this server.

Obtaining Specialised Update Procedures through Partial Deduction of the Ground Representation - M. Leuschel and B. Martens

Type: Conference or Workshop Item | 1995 | Item not available on this server.

Partial Deduction of the Ground Representation and its Application to Integrity Checking - M. Leuschel and B. Martens

Type: Conference or Workshop Item | 1995 | Item not available on this server.

Developments in Digital Transducers for Vehicle Control and Telemetric Instrumentation - C P Lewis, M Kraft and T G Hesketh

Type: Conference or Workshop Item | 1995 | Item not available on this server.

Review of Abductive Inference by John Josephson and Susan Josephson (editors) - M. Luck

Type: Article | 1995 | Item not available on this server.

Automatic Submission in An Evolutionary Approach to Computer Science Teaching - M. Luck and M. Joy

Type: Article | 1995 | Item not available on this server.

Agency and Autonomy: A Formal Framework - M. Luck and M. d'Inverno

Type: Monograph | 1995 | Item not available on this server.

A Formal Framework for Agency and Autonomy - M. Luck and M. d'Inverno

Type: Conference or Workshop Item | 1995 | Item not available on this server.

Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems - M. Luck and M. d'Inverno

Type: Conference or Workshop Item | 1995 | Item not available on this server.

Release Rates for [t] in VCV Sequences Estimated from Aerodynamic Data - S.J. Mair and C. Scully

Type: Monograph | 1995 | Item not available on this server.

Search Algorithms for Satisfiability Problems in Combinational Switching Circuits - Joao Marques-Silva

Type: Thesis | 1995

Local Linear Logic for Locality Consciousness in Multiset Transformation - H. McEvoy and P. H. Hartel

Type: Conference or Workshop Item | 1995 | Item not available on this server.

An Object Oriented Linkbase for Microcosm - M. Melly

Type: Monograph | 1995

Cooperative Work in Microcosm - M. Melly and Wendy Hall

Type: Monograph | 1995

Position Paper: Version Control in Microcosm - M. Melly and Wendy Hall

Type: Conference or Workshop Item | 1995 | Item not available on this server.

An Introduction to High Performance Fortran - J Merlin and A J G Hey

Type: Conference or Workshop Item | 1995 | Item not available on this server.

On electron irradiation and microstructure in polypyrrole - C. D. G. Minto and A. S. Vaughan

Type: Article | 1995 | Item not available on this server.

Modal Observation Equivalence of Processes - Bill Mitchell and David Carlisle

Type: Monograph | 1995

Measuring the shape of time-varying objects - T.P. Monks

Type: Thesis | 1995 | University of Southampton | Item not available on this server.

Image Manipulation using M-filters in a pyramidal computer model - M.E. Montiel, A.S. Aguado, M. Garza and J. Alarc

Type: Article | 1995 | Item not available on this server.

Using a functional notation to specify abstract simulation models - H. L. Muller, P. H. Hartel and L. O. Hertzberger

Type: Conference or Workshop Item | 1995 | Item not available on this server.

Current Approaches to Cloud Motion Wind Generation - F.T. Newland

Type: Monograph | 1995 | Item not available on this server.

Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik -- SERVINT - U. Nitsche and P. Ochsenschläger

Type: Monograph | 1995 | Item not available on this server.

A novel technique for the numerical simulation of collision-free space plasma - Vlasov Hybrid Simulation - D Nunn

Type: Book | 1995 | Item not available on this server.

Electron microscopy of water trees in XLPE - R. H. Olley, A. S. Vaughan, D. C. Bassett, S. M. Moody, V. A. A. Banks and D. G. Roberts

Type: Conference or Workshop Item | 1995 | Item not available on this server.

The Graphical Benchmark Information Service - M Papiani, A J G Hey and R W Hockney

Type: Conference or Workshop Item | 1995 | Item not available on this server.

Learning Mechanisms for Information Filtering Agents - T.R. Payne and P. Edwards

Type: Conference or Workshop Item | 1995

Interface Agents that Learn: An Investigation of Learning Issues in a Mail Agent Interface - Terry Payne and Peter Edwards

Type: Monograph | 1995 | Item not available on this server.

Using Hypermedia for Language Learning: A Resource-Based Environment - A Piper, V Wright, W Hall and S White

Type: Article | 1995 | Item not available on this server.

Multiple Model Filtering for Time-to-Collision Estimation and Segmentation - J.M. Roberts and D. Charnley

Type: Article | 1995 | Item not available on this server.

Etalon effects in Laser Mirrors – Comment - H N Rutt

Type: Article | 1995 | Item not available on this server.

Optically pumped mid infrared laser action in the monohaloacetylenes - H.N. Rutt

Type: Article | 1995

Book review: Handbook of infrared optical materials, ed. Paul Klocek 1991 - HN Rutt

Type: Article | 1995

Modelling the Noise Source in Voiced Fricatives - C.H. Shadle

Type: Monograph | 1995 | Item not available on this server.

Modelling the Noise Source in Voiced Fricatives - C.H. Shadle

Type: Conference or Workshop Item | 1995 | Item not available on this server.

An articulatory-acoustic-aerodynamic analysis of [s] in VCV sequences - C.H. Shadle and C. Scully

Type: Article | 1995 | Item not available on this server.

Sample Sizes for Threshold Networks with Equivalences - J. Shawe-Taylor

Type: Article | 1995

Analysis of the Mean Field Annealing Algorithm for Graph Colouring - J. Shawe-Taylor and Janez v Zerovnik

Type: Article | 1995 | Item not available on this server.

Consciousness at the Crossroads of Philosophy and Cognitive Science, Special issue of Journal of Consciousness Studies - John Shawe-Taylor

Type: Book | 1995 | Thorverton: Imprint Academic | Item not available on this server.

Generalisation Analysis for Classes of Continuous Neural Networks - John Shawe-Taylor

Type: Conference or Workshop Item | 1995 | IEEE | Item not available on this server.

Sample sizes for sigmoidal neural networks - John Shawe-Taylor

Type: Conference or Workshop Item | 1995 | Association for Computing Machinery | Item not available on this server.

Consciousness as a Linear Phenomenon - John Shawe-Taylor and Metka Shawe-Taylor

Type: Conference or Workshop Item | 1995 | Thorverton: Imprint Academic | Item not available on this server.

GSM and IS-95 Cellular Systems - R Steele

Type: Conference or Workshop Item | 1995 | Item not available on this server.

The therapy of percy comms: A dialogue on PCS issues - R Steele

Type: Conference or Workshop Item | 1995 | Item not available on this server.

System aspects of cellular radio - R Steele, J Whitehead and WC Wong

Type: Article | 1995 | Item not available on this server.

Teletraffic Performance of GSM900/DCS1800 in Street Microcells - R Steele, JEB Williams, D Chandler, S Dehghan and A Collard

Type: Article | 1995

On the morphology and growth of electrochemically polymerized polypyrrole - S.J. Sutton and A. S. Vaughan

Type: Article | 1995 | Item not available on this server.

On crystallization. morphology and radiation effects in PEEK - A. S. Vaughan and G. C. Stevens

Type: Article | 1995 | Item not available on this server.

On radiation effects in poly(ethylene terephthalate): a comparison with PEEK - A. S. Vaughan and G. C. Stevens

Type: Article | 1995 | Item not available on this server.

On radiation effects in oriented PEEK - A. S. Vaughan and S.J. Sutton

Type: Article | 1995 | Item not available on this server.

Communication lifting: fixed point computation for parallelism - W. G. Vree and P. H. Hartel

Type: Article | 1995 | Item not available on this server.

Variable Rate QAM for Mobile Radio - WT Webb and R Steele

Type: Article | 1995

Source-matched Mobile Communications - W C Wong, R Steele and C E W Sundberg

Type: Book | 1995 | Pentech Press | Item not available on this server.

A model of adaptive invariance - J. Wood

Type: Thesis | 1995 | Item not available on this server.

Neural networks for invariant pattern recognition - J. Wood and John Shawe-Taylor

Type: Conference or Workshop Item | 1995 | D-Facto Publications | Item not available on this server.

Multimedia Pedagogues: Interactive Systems for Teaching and Learning - BP Woolf and W Hall

Type: Article | 1995 | Item not available on this server.

Stochastic Connection Neural Networks - Jieyu Zhao and John Shawe-Taylor

Type: Conference or Workshop Item | 1995 | IET Conference Publications | Item not available on this server.

This list was generated on Tue Apr 16 01:28:18 2024 BST.

Export as	Atom RSS 1.0 RSS 2.0