UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Browse by UCL Departments and Centres

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Author | Type
Jump to: A | B | C | D | E | F | G | H | J | K | L | N | O | P | R | S | T | Z
Number of items: 96.

A

Abiteboul, S; Adiba, M; Arlow, J; Armenise, P; Bandinelli, S; Baresi, L; Breche, P; (1994) The GOODSTEP project: General Object-Oriented Database for Software Engineering Processes. In: In Proceedings of the 1st Asian Pacific Software Engineering Conference, Tokyo, Japan. (pp. 10-19). IEEE Computer Society Press Green open access
file

Anthony, M; Shawe-Taylor, J; (1994) A Result of Vapnik with Applications. Discrete Applied Mathematics , 52 (2) p. 211. 10.1016/0166-218X(94)00025-5.

Anthony, M; Shawe-Taylor, J; (1994) Valid Generalisation of Functions from Close Approximations on a Sample. In: UNSPECIFIED Oxford University Press

Anthony, M; Shawe-Taylor, J; (1994) First European Conference on Computational Learning Theory (EuroCOLT'93). [Book]. The Institute of Mathematics and Its Applications Conference Series: Vol.23. Oxford University Press

Aste, T; Beruto, D; Botter, R; Ciccarelli, C; Giordani, M; Pozzolini, P; (1994) Microstructural development during the oxidation process in SnO2 thin films for gas sensors. Sensors and Actuators: B. Chemical , 19 (1-3) pp. 637-641. 10.1016/0925-4005(93)01218-S.

Aste, T; Eggenhöffner, R; d'Agliano, EG; (1994) Effects of doping and Cu-substitution in the magnetic susceptibility of the La2-xSrxCu1-yZnyO4 +δ system. Solid State Communications , 91 (4) pp. 307-311. 10.1016/0038-1098(94)90307-7.

B

BILTING, U; SASSE, MA; SCHULZ, CD; TURLETTI, T; (1994) INTERNATIONAL RESEARCH SEMINARS THROUGH MULTIMEDIA CONFERENCING - EXPERIENCES FROM THE MICE PROJECT. In: Bauerfeld, W and Spaniol, O and Williams, F, (eds.) BROADBAND ISLANDS '94 - CONNECTING WITH THE END-USER. (pp. 411 - 414). ELSEVIER SCIENCE PUBL B V

Bentley, PJ; (1994) An Affordable Virtual Reality Training Aid for Anaesthetists. Presented at: International State of the Art Workshop: Application and Exploitation of VR Systems in Surgery and Medicine, Leeds.

Blackwell, T; Chan, K; Chang, K; Charuhas, T; Gwertzman, J; Karp, B; Kung, HT; (1994) Secure Short-Cut Routing for Mobile IP. Presented at: UNSPECIFIED.

Blandford, A; Cross, N; Scanlon, E; (1994) Computers and the development of design decision making skills. Computers and Education , 22 (1-2) pp. 45-56. 10.1016/0360-1315(94)90072-8.

Botter, R; Aste, T; Beruto, D; (1994) Influence of microstructures on the functional properties of tin oxide-based gas sensors. Sensors and Actuators: B. Chemical , 22 (1) pp. 27-35. 10.1016/0925-4005(94)01257-1.

Burmester, M; Desmedt, Y; (1994) A Secure and Efficient Conference Key Distribution System (Extended Abstract). Presented at: UNSPECIFIED.

C

COX, IJ; (1994) A MAXIMUM-LIKELIHOOD N-CAMERA STEREO ALGORITHM. In: 1994 IEEE COMPUTER SOCIETY CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION, PROCEEDINGS. (pp. 733 - 739). I E E E, COMPUTER SOC PRESS

COX, IJ; HINGORANI, SL; (1994) AN EFFICIENT IMPLEMENTATION AND EVALUATION OF REIDS MULTIPLE HYPOTHESIS TRACKING ALGORITHM FOR VISUAL TRACKING. In: PROCEEDINGS OF THE 12TH IAPR INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION - CONFERENCE A: COMPUTER VISION & IMAGE PROCESSING. (pp. 437 - 442). I E E E, COMPUTER SOC PRESS

COX, IJ; LEONARD, JJ; (1994) MODELING A DYNAMIC ENVIRONMENT USING A BAYESIAN MULTIPLE HYPOTHESIS APPROACH. ARTIF INTELL , 66 (2) 311 - 344.

COX, IJ; LEONARD, JJ; (1994) UNSUPERVISED LEARNING FOR MOBILE ROBOT NAVIGATION USING PROBABILISTIC DATA ASSOCIATION. In: Hanson, SJ and Petsche, T and Kearns, M and Rivest, RL, (eds.) COMPUTATIONAL LEARNING THEORY AND NATURAL LEARNING SYSTEMS, VOL II: INTERSECTIONS BETWEEN THEORY AND EXPERIMENT. (pp. 297 - 319). M I T PRESS

Clack, C; (1994) GRIP: the GRIP Multiprocessor. In: Fountain, TJ, (ed.) Parallel Computing principles and practice. (pp. 266-275). Cambridge University Press

Clark, D; Errington, L; Hankin, C; (1994) Static Analysis of Value-Passing Process Calculi. Presented at: UNSPECIFIED.

Crossland, W; Hall, T; Shawe-Taylor, J; Daalen, M; (1994) Optical implementation of a stochastic neural system. In: UNSPECIFIED (pp. 395-398). IOP Publishing

courtenage, S; clack, CD; (1994) Analysing Resource Use in the Lambda Calculus by Type Inference. In: (Proceedings) ACM SIGPlan Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'94). (pp. 33 - 41).

D

Daalen, M; Kosel, T; Jeavons, P; Shawe-Taylor, J; (1994) Emergent activation functions from a stochastic bit stream neuron. Electronics Letters , 30 (4) pp. 331-333.

Derniame, J; Finkelstein, A; Kramer, J; Nuseibeh, B; (1994) Directions in software process modelling and technology. In: Software Process Modelling and Technology. Research Studies Press and John Wiley & Sons

Desmedt, Y; Frankel, Y; (1994) Perfect Homomorphic Zero-Knowledge Threshold Schemes over any Finite Abelian Group. Presented at: UNSPECIFIED.

Domingo, C; Shawe-Taylor, J; Bodlaender, H; Abello, J; (1994) Learning Minor Closed Graph Classes with Membership and Equivalence Queries.

Dowell, J; Salter, I; Life, A; (1994) The design space for a multimodal multimedia travel facility. Presented at: ECCE7 seventh European conference on cognitive ergonomics, Bonn.

Dowell, J; Salter, I; Zekrullahi, S; (1994) A Domain Analysis of Air Traffic Managment Work can be Used to Rationalise Interface Design Issues. Presented at: UNSPECIFIED.

Dzikowski, J; Rounce, P; (1994) Using Databases to Support the Development of Microcode. Microprocessors and Microsystems , 18 (9) pp. 537-546.

E

EASTERBROOK, S; FINKELSTEIN, A; KRAMER, J; NUSEIBEH, B; (1994) COORDINATING DISTRIBUTED VIEWPOINTS - THE ANATOMY OF A CONSISTENCY CHECK. CONCURRENT ENG-RES A , 2 (3) 209 - 222.

Easterbrook, S; Finkelstein, A; Kramer, J; Nuseibeh, B; (1994) Coordinating Conflicting ViewPoints by Managing Inconsistency.

F

FINKELSTEIN, A; (1994) SOFTWARE ENGINEERING-EDUCATION - A PLACE IN THE SUN. 16TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING 358 - 359.

FINKELSTEIN, A; (1994) IS APPLICATION DEVELOPMENT FOCUSED ON REAL PROBLEMS. In: Duncan, K and Krueger, K, (eds.) INFORMATION PROCESSING '94, VOL III. (pp. 448 - 450). ELSEVIER SCIENCE PUBL B V

FINKELSTEIN, A; FINKELSTEIN, L; (1994) REQUIREMENTS ENGINEERING FOR INSTRUMENT SYSTEMS. MEAS CONTROL-UK , 27 (8) 248 - 250.

FINKELSTEIN, ACW; GABBAY, D; HUNTER, A; KRAMER, J; NUSEIBEH, B; (1994) INCONSISTENCY HANDLING IN MULTIPERSPECTIVE SPECIFICATIONS. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING , 20 (8) 569 - 578.

Finkelstein, A; (1994) Requirements engineering: a review and research agenda. APSEC pp. 10-19. 10.1109/APSEC.1994.465278.

Finkelstein, A; (1994) A course on requirements engineering.

Finkelstein, A; Kramer, J; Nuseibeh, B; (1994) Software Process Modelling Technology. [Book]. Research Studies Press

Fowler, PW; Pisanski, T; Shawe-Taylor, J; (1994) Molecular Graph Eigenvectors for Molecular Coordinates. In: Tamassia, R and Tollis, IG, (eds.) Graph Drawing, DIMACS International Workshop, GD '94, Princeton, New Jersey, USA, October 10-12, 1994, Proceedings. (pp. 282-285). Springer

G

GORSE, D; SHEPHERD, A; TAYLOR, JG; (1994) A CLASSICAL ALGORITHM FOR AVOIDING LOCAL MINIMA. In: WORLD CONGRESS ON NEURAL NETWORKS-SAN DIEGO, - 1994 INTERNATIONAL NEURAL NETWORK SOCIETY ANNUAL MEETING, VOL 3. (pp. C364 - C369). LAWRENCE ERLBAUM ASSOC PUBL

GORSE, D; TAYLOR, JG; CLARKSON, TG; (1994) A PULSE-BASED REINFORCEMENT ALGORITHM FOR LEARNING CONTINUOUS-FUNCTIONS. In: WORLD CONGRESS ON NEURAL NETWORKS-SAN DIEGO - 1994 INTERNATIONAL NEURAL NETWORK SOCIETY ANNUAL MEETING, VOL 2. (pp. B73 - B78). LAWRENCE ERLBAUM ASSOC PUBL

GUAN, Y; CLARKSON, TG; TAYLOR, JG; GORSE, D; (1994) NOISY REINFORCEMENT TRAINING FOR PRAM NETS. NEURAL NETWORKS , 7 (3) 523 - 538.

Gotel, O; Finkelstein, A; (1994) Modelling the contribution structure underlying requirements.

Gotel, OCZ; Finkelstein, A; (1994) An analysis of the requirements traceability problem. ICRE pp. 94-101. 10.1109/ICRE.1994.292398.

Grate, L; Herbster, M; Hughey, R; Haussler, D; Mian, IS; Noller, H; (1994) RNA modeling using Gibbs sampling and stochastic context free grammars. Presented at: UNSPECIFIED.

Griffin, LD; (1994) The intrinsic geometry of the cerebral cortex. Journal of Theoretical Biology , 166 (3) 261 - 273. 10.1006/jtbi.1994.1024.

Griffin, LD; Colchester, ACF; Roll, SA; Studholme, CS; (1994) Hierarchical segmentation satisfying constraints. Presented at: UNSPECIFIED.

H

HARMAN, M; DANICIC, S; (1994) USING A FUNCTIONAL LANGUAGE TO TEACH ELEMENTS OF FORMAL METHODS. In: King, G and Brebbia, CA and Staples, G and Ross, M, (eds.) SOFTWARE ENGINEERING IN HIGHER EDUCATION. (pp. 439 - 446). COMPUTATIONAL MECHANICS PUBLICATIONS LTD

HARMAN, M; DANICIC, S; (1994) USING AN INTERPRETER TO TEACH INTRODUCTORY PROGRAMMING. In: King, G and Brebbia, CA and Staples, G and Ross, M, (eds.) SOFTWARE ENGINEERING IN HIGHER EDUCATION. (pp. 283 - 290). COMPUTATIONAL MECHANICS PUBLICATIONS LTD

HARMAN, M; DANICIC, S; (1994) PRACTICAL SUBPROGRAM VERIFICATION - AN APPROACH WHICH USES SLICING, METRICS AND AXIOMATIC VERIFICATION. In: Ross, M and Brebbia, CA and Staples, G and Stapleton, J, (eds.) SOFTWARE QUALITY MANAGEMENT II, VOL 2: BUILDING QUALITY INTO SOFTWARE. (pp. 531 - 544). COMPUTATIONAL MECHANICS PUBLICATIONS LTD

Handley, MJ; Kirstein, PT; Angela Sasse, M; (1994) Multimedia integrated conferencing for European researchers: experiences form the MICE project. IEE Colloquium (Digest) (59) 1/1-1/6.

Harrison, MD; Blandford, A; Barnard, PJ; (1994) Modelling Interactive Systems and Providing Task Relevant Information. In: Paternò, F, (ed.) DSV-IS. (pp. 267 - 277). Springer

Hirsch, R; (1994) From points to intervals. Journal of Applied Non-Classical Logics , 4 (1) pp. 7-27. 10.1080/11663081.1994.10510816.

Hunter, A; (1994) Defeasible Reasoning with Structured Information. Presented at: UNSPECIFIED.

J

JONES, DT; (1994) DE-NOVO PROTEIN DESIGN USING PAIRWISE POTENTIALS AND A GENETIC ALGORITHM. PROTEIN SCI , 3 (4) 567 - 574.

JONES, DT; TAYLOR, WR; THORNTON, JM; (1994) A MUTATION DATA MATRIX FOR TRANSMEMBRANE PROTEINS. FEBS LETT , 339 (3) 269 - 275.

JONES, DT; TAYLOR, WR; THORTON, JM; (1994) A MODEL RECOGNITION APPROACH TO THE PREDICTION OF ALL-HELICAL MEMBRANE-PROTEIN STRUCTURE AND TOPOLOGY. BIOCHEMISTRY-US , 33 (10) 3038 - 3049.

Jeavons, P; Cohen, DA; Shawe-Taylor, J; (1994) Generating binary sequences for stochastic computing. IEEE Transactions on Information Theory , 40 (3) pp. 716-720. 10.1109/18.335883.

Johnson, WL; Finkelstein, A; (1994) Introduction. In: (pp. pp. 7-8).

Julier, SJ; (1994) Process Models for the High-Speed Navigation of Conventional Road Vehicles.

K

Kim, JY; Shawe-Taylor, J; (1994) Fast Expected string Machine using an n-gram Algorithm. Software: Practice and Experience , 24 pp. 79-88.

Kim, JY; Shawe-Taylor, J; (1994) Fast String Matching using an n -gram Algorithm. Softw., Pract. Exper. , 24 (1) pp. 79-88. 10.1002/spe.4380240105.

L

LAMOTTE, RH; SRINIVASAN, MA; LU, C; KLUSCHPETERSEN, A; (1994) CUTANEOUS NEURAL CODES FOR SHAPE. Presented at: XVth International Symposium of the Centre-de-Recherche-en-Sciences-neurologiques: Sensorimotor Control of the Hand, MONTREAL, CANADA.

Langdon, WB; (1994) Genetic Programming. : Department of Computer Science.

Langdon, WB; (1994) Quick Intro to simple-gp.c. : Gower Street, London WC1E 6BT, UK.

Li, Z; Atick, JJ; (1994) Efficient stereo coding in the multiscale representation. Network: Computation in neural systems , 5 pp. 157-174.

Li, Z; Atick, JJ; (1994) Towards a theory of striate cortex. Neural Computation , 62 pp. 349-391.

Loo, S.L.; (1994) Neural networks for financial forecasting. Doctoral thesis, University of London. Green open access
file

N

NIRANJAN, M; COX, IJ; HINGORANI, S; (1994) RECURSIVE TRACKING OF FORMANTS IN SPEECH SIGNALS. In: ICASSP-94 PROCEEDINGS, VOL 2. (pp. 205 - 208). I E E E

NUSEIBEH, B; KRAMER, J; FINKELSTEIN, A; (1994) A FRAMEWORK FOR EXPRESSING THE RELATIONSHIPS BETWEEN MULTIPLE VIEWS IN REQUIREMENTS SPECIFICATION. IEEE T SOFTWARE ENG , 20 (10) 760 - 773.

Niranjan, N; Cox, IJ; Hingorani, SL; (1994) Recursive Tracking of Formants in Speech Signals. Presented at: UNSPECIFIED.

Nuseibeh, B; Finkelstein, A; Kramer, J; Easterbrook, S; (1994) Concurrent software engineering: coordinating distributed viewpoints for managing inconsistency. In: (pp. 10/1-10/2). Institution of Electrical Engineers: London, UK.

O

O'Hearn, PW; Riecke, JG; (1994) Fully Abstract Translations and Parametric Polymorphism. In: Sannella, D, (ed.) ESOP. (pp. 454 - 468). Springer

ORENGO, CA; JONES, DT; THORNTON, JM; (1994) PROTEIN SUPERFAMILIES AND DOMAIN SUPERFOLDS. NATURE , 372 (6507) 631 - 634.

Orengo, CA; Jones, DT; Thornton, JM; (1994) Protein domain superfolds and superfamilies. Nature , 372 pp. 631-634.

P

Palmer, R; Rounce, P; (1994) An Architecture for Application Specific Neural Network Processors. Computing and Control Engineering , 5 (6) pp. 260-264.

Pontil, M; (1994) Computation of Feynman Diagrams with MATHEMATICA. Masters thesis, UNSPECIFIED.

Preece, J; Rogers, Y; Benyon, D; Sharp, H; Carey, T; Holland, S; (1994) Human Computer-Interaction. Addison-Wesley: Wokingham, Berks..

R

Rogers, Y; (1994) Exploring Obstacles: Integrating CSCW in Evolving Organisations. In: Smith, JB and Smith, FD and Malone, TW, (eds.) CSCW. (pp. 67 - 77). ACM

Rogers, Y; Bannon, L; Button, G; (1994) Rethinking theoretical frameworks for HCI: A Review. SIGCHI Bulletin , 26 (1) 28 - 30.

Rogers, Y; Ellis, J; (1994) Distributed Cognition: an alternative framework for analysing and explaining collaborative working. Journal of Information Technology , 9 (2) 119 - 128.

Roll, SA; Colchester, ACF; Summers, PE; Griffin, LD; (1994) Intensity-based object extraction from 3D medical images including a correction for partial volume errors. Presented at: UNSPECIFIED.

S

SASSE, MA; HANDLEY, MJ; ISMAIL, NM; (1994) COPING WITH COMPLEXITY AND INTERFERENCE - DESIGN ISSUES IN MULTIMEDIA CONFERENCING SYSTEMS. In: Rosenberg, D and Hutchison, C, (eds.) DESIGN ISSUES IN CSCW. (pp. 179 - 195). SPRINGER-VERLAG, LONDON LTD

SIMMONS, A; ARRIDGE, SR; BARKER, GJ; CLUCKIE, AJ; TOFTS, PS; (1994) IMPROVEMENTS TO THE QUALITY OF MRI CLUSTER-ANALYSIS. MAGN RESON IMAGING , 12 (8) 1191 - 1204.

SIMMONS, A; BARKER, GJ; TOFTS, PS; GASS, A; ARRIDGE, SR; (1994) A METHOD FOR VISUALIZATION OF MRI PARTIAL VOLUME REGIONS - PAIR (PARTIAL VOLUME SENSITIZED INVERSION-RECOVERY IMAGING). MAGN RESON IMAGING , 12 (5) 821 - 826.

SIMMONS, A; TOFTS, PS; BARKER, GJ; ARRIDGE, SR; (1994) SOURCES OF INTENSITY NONUNIFORMITY IN SPIN-ECHO IMAGES AT 1.5-T. MAGNET RESON MED , 32 (1) 121 - 128.

SYLLAIOS, AJ; ANDERSON, JM; COLOMBO, L; LITTLER, CL; BROSTOW, GJ; CHRISTENSEN, CR; GRISHAM, JA; (1994) MAGNETOOPTICAL CHARACTERIZATION OF HGCDTE THIN-FILMS. In: Pollehn, HK and Balcerak, R, (eds.) PRODUCIBILITY OF II-VI MATERIALS AND DEVICES. (pp. 309 - 315). SPIE - INT SOC OPTICAL ENGINEERING

Sasse, MA; Bilting, U; Schulz, CD; Turletti, T; (1994) Remote Seminars through Multimedia Conferencing: Experiences from the MICE project. In: Proceedings of INET94 and JENC5. Green open access
file

Shawe-Taylor, J; (1994) Coverings of complete bipartite graphs and associated structures. Discrete Mathematics , 134 (1-3) pp. 151-160. 10.1016/0012-365X(93)E0070-K.

Shawe-Taylor, J; (1994) Introducing invariance: a principled approach to weight sharing. In: UNSPECIFIED (pp. 345-349).

Shawe-Taylor, J; Pisanski, T; (1994) Homeomorphism of 2-Complexes is Graph Isomorphism Complete. SIAM J. Comput. , 23 (1) pp. 120-132. 10.1137/S0097539791198900.

Simmons, A; Tofts, PS; Barker, GJ; Arridge, SR; (1994) Sources of intensity non-uniformity in spin echo images at 1.5T. Magnetic Resonance in Medicine , 32 (1) pp. 1191-1204.

Slater, M; Barsky, BA; (1994) 2D line and polygon clipping based on space subdivision. The Visual Computer , 10 (7) pp. 407-422. 10.1007/BF01900665.

Slater, M; Usoh, M; Steed, A; (1994) Depth of Presence in Virtual Environments. Presence , 3 , Article 2.

T

TAYLOR, WR; JONES, DT; GREEN, NM; (1994) A METHOD FOR ALPHA-HELICAL INTEGRAL MEMBRANE-PROTEIN FOLD PREDICTION. PROTEINS , 18 (3) 281 - 294.

Thornton, JM; Orengo, CA; Jones, DT; Taylor, WR; (1994) Protein motifs and folding recognition. Biophysical Journal , 66 241-.

Tu, PH; Zisserman, A; Mason, IA; Cox, IJ; (1994) Identification of Events from 3D Volumes of Seismic Data. Presented at: UNSPECIFIED.

Z

Zhao, J; Shawe-Taylor, J; (1994) Neural Network Optimization for Good Generalization Performance. In: UNSPECIFIED (pp. 561-564). Springer-Verlag

This list was generated on Sun Feb 7 04:40:35 2016 GMT.