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
Number of items: 60.


Atick, JJ; Li, Z; Redlich, N; (1992) Understanding Retinal Color Coding from First Principles. Neural Computation , 4 pp. 559-572.


Castro, J; Finkelstein, A; (1992) Requirements elicitation and formalization.

Chrysanthou, Y; Slater, M; (1992) Computing Dynamic Changes to BSP Trees. Comput. Graph. Forum , 11 (3) pp. 321-332. 10.1111/1467-8659.1130321.


Finkelstein, A; (1992) Software process modelling: a manifesto. IOPener , 1 (4) pp. 3-7.

Finkelstein, A; (1992) An advanced course on software development environments.

Finkelstein, A; (1992) A scheme for review, annotation and correction of specifications. Instructional Science , 21 pp. 183-198.

Finkelstein, A; (1992) A software process immaturity model. SIGSOFT Software Engineering Notes , 17 (5) pp. 22-23.

Finkelstein, A; Kramer, J; Nuseibeh, B; Finkelstein, L; Goedicke, M; (1992) Viewpoints: A Framework for Integrating Multiple Perspectives in System Development. International Journal of Software Engineering and Knowledge Engineering , 2 (1) pp. 31-57. 10.1142/S0218194092000038.

Finkelstein, A; Nuseibeh, B; Finkelstein, L; Huang, J; (1992) Technology Transfer: software engineering and engineering design. IEE Computing and Control Engineering Journal , 3 (6) pp. 259-265.

Finkelstein, L; Huang, J; Finkelstein, A; Nuseibeh, B; (1992) Using software specification methods for measurement instruments: Part I - structured methods. Measurement , 10 (2) pp. 79-86.

Finkelstein, L; Huang, J; Finkelstein, A; Nuseibeh, B; (1992) Using software specification methods for measurement instruments: Part II - formal methods. Measurement , 10 (2) pp. 87-92.

Griffin, LD; Colchester, ACF; Robinson, GP; (1992) Scale and segmentation of grey-level images using maximum gradient paths. Image and Vision Computing , 10 (6) 389 - 402. 10.1016/0262-8856(92)90025-X.

Jones, DT; Taylor, WR; Thornton, JM; (1992) A new approach to protein fold recognition. Nature , 358 pp. 86-89.

Jones, DT; Taylor, WR; Thornton, JM; (1992) The rapid generation of mutation data matrices from protein sequences. Computer Applications In The Biosciences , 8 pp. 275-282.

Kim, JY; Shawe-Taylor, J; (1992) An Approximate String-Matching Algorithm. Theor. Comput. Sci. , 92 (1) pp. 107-117. 10.1016/0304-3975(92)90138-6.

Krokos, MA; Slater, M; (1992) Interactive Shape Control of Interpolating B-splines. Comput. Graph. Forum , 11 (3) pp. 435-447. 10.1111/1467-8659.1130435.

Morris, S; Finkelstein, A; (1992) An Experimental Hypertext Design Method and Applications in the Field of Art History. Computers and the History of Art , 2 (2) pp. 45-63.

O'Hearn, PW; Stachniak, Z; (1992) Resolution Framework for Finitely-Valued First-Order Logics. J. Symb. Comput. , 13 (3) pp. 235-254. 10.1016/S0747-7171(10)80002-1.

Shawe-Taylor, J; (1992) Proportion of primes generated by strong prime methods. Electronics Letters , 28 (2) pp. 135-136.

Shawe-Taylor, J; Anthony, M; Kern, W; (1992) Classes of feedforward neural networks and their circuit complexity. Neural Networks , 5 (6) pp. 971-977. 10.1016/S0893-6080(05)80093-0.

Slater, M; (1992) Tracing a ray through uniformly subdivided n-dimensional space. The Visual Computer , 9 (1) pp. 39-46. 10.1007/BF01901027.

Slater, M; (1992) An algorithm to support 3D interaction on relatively low performance graphics systems. Computers and Graphics , 16 (3) pp. 311-315. 10.1016/0097-8493(92)90009-K.

Slater, M; (1992) A comparison of three shadow volume algorithms. The Visual Computer , 9 (1) pp. 25-38. 10.1007/BF01901026.

Slater, M; Drake, K; Davison, A; Kordakis, E; Billyard, A; Miranda, E; (1992) A Statistical Comparison of Two Hidden Surface Techniques : the Scan-line and Z-buffer Algorithms. Comput. Graph. Forum , 11 (2) pp. 131-138. 10.1111/1467-8659.1120131.


Preece, J; Rogers, Y; Benyon, D; Davies, G; (1992) A Guide to Usability. Open University Press: Milton Keynes..

Rogers, Y; Rutherford, A; Bibby, P; (1992) Models in the Mind: Theory, Perspective and Application. Academic Press: London..

Book chapter

Anthony, M; Brightwell, GR; Cohen, DA; Shawe-Taylor, J; (1992) On Exact Specification by Examples. In: Haussler, D, (ed.) Proceedings of the Fifth Annual ACM Conference on Computational Learning Theory, COLT 1992, Pittsburgh, PA, USA, July 27-29, 1992. (pp. 311-318). ACM

Dewal, S; Emmerich, W; Lichtinghagen, K; (1992) A decision support method for the selection of OMSs. In: Proceedings of the 2nd International Conference on Systems Integration, ICSI '92, Morristown, N.J. (pp. 32-40). IEEE Computer Society Press Green open access

Emmerich, W; Schaefer, W; Welsh, J; (1992) Suitable databases for process-centred environments do not yet exist. In: Derniame, J, (ed.) Proceedings of the 2nd European Workshop on Software Process Technology, EWSPT '92, Trondheim, Norway. (94 - 98). Springer Verlag Green open access

Finkelstein, A; Kramer, J; (1992) A critical evaluation of software process modelling techniques. In: IEE Colloquium on Process Planning and Modelling. IEE: London, UK.

Finkelstein, A; Kramer, J; Hales, M; (1992) Process modelling: a critical analysis. In: Integrated Software Reuse: management and techniques. (pp. 137-148). Chapman and Hall and UNICOM

Jones, DT; (1992) A brief review of protein sequence pattern matching. In: Taylor, WR, (ed.) Patterns in protein sequence and structure. (pp. 11-28). Springer-Verlag: Heidelberg.

Kim, JY; Shawe-Taylor, J; (1992) Fast Multiple Keyword Searching. In: Apostolico, A and Crochemore, M and Galil, Z and Manber, U, (eds.) Combinatorial Pattern Matching, Third Annual Symposium, CPM 92, Tucson, Arizona, USA, April 29 - May 1, 1992, Proceedings. (pp. 41-51). Springer

Shawe-Taylor, J; Zerovnik, J; (1992) Boltzmann machines with finite alphabet. In: UNSPECIFIED (pp. 391-394). Elsevier Science and Technology Books

Proceedings paper

Crowcroft, J; Hailes, S; Handley, M; Jena, AK; Lewis, D; Wakeman, I; (1992) Some Multimedia Traffic Characterization and Measurement Results. In: Raghavan, SV and Bochmann, GV and Pujolle, G, (eds.) NETWORKS. (pp. 3 - 14). North-Holland

Rogers, Y; (1992) Ghosts in the Network: Distributed Troubleshooting in a Shared Working Environment. In: Mantel, M and Baecker, R, (eds.) CSCW. (pp. 346 - 355). ACM

Srinivasan, MA; Dandekar, K; (1992) Role of fingertip geometry in the transmission of tactile mechanical signals. In: (pp. pp. 569-572).

Srinivasan, MA; Gulati, RJ; Dandekar, K; (1992) In vivo compressibility of the human fingertip. In: (pp. pp. 573-576).


Shawe-Taylor, J; (1992) Mean Field Annealing as a Barrier Function Optimisation and Alternative Solution Strategies.

Conference item

Colchester, ACF; Robinson, GP; Griffin, LD; (1992) A unified approach to the segmentation of grey-level and dot-pattern images. Presented at: UNSPECIFIED.

Cox, IJ; Hingorani, S; Maggs, BM; Rao, SB; (1992) Stereo without Disparity Gradient Smoothing: a Bayesian Sensor Fusion Solution. Presented at: UNSPECIFIED.

Crowcroft, J; Hailes, S; Handley, M; Jena, A; Lewis, D; Wakeman, I; (1992) Some Multimedia Traffic Characterisations and Results. Presented at: IFIP TC6 Working Conference, NETWORKS92.

Cussens, J; Hunter, A; (1992) Using Maximum Entropy in a Defeasible Logic with Probabilistic Semantics. Presented at: UNSPECIFIED.

Davida, GI; Desmedt, Y; (1992) Passports and visas versus IDs. Presented at: UNSPECIFIED.

Desmedt, Y; (1992) Breaking the Traditional Computer Security Barriers. Presented at: UNSPECIFIED.

Desmedt, Y; (1992) Treshold Cryptosystems (invited talk). Presented at: UNSPECIFIED.

Desmedt, Y; Landrock, P; Lenstra, AK; McCurley, KS; Odlyzko, AM; Rueppel, RA; Smid, ME; (1992) The Eurocrypt '92 Controversial Issue: Trapdoor Primes and Moduli (Panel). Presented at: UNSPECIFIED.

Desmedt, Y; Seberry, J; (1992) Practical Proven Secure Authentication with Arbitration. Presented at: UNSPECIFIED.

Dowell, J; (1992) A cognitive model of the air traffic controller's planning. Presented at: Fifth Annual Conference of the European Society for Cognitive Psychology, Universite de Paris.

Dowell, J; (1992) A domain analysis of air traffic management. Presented at: UNSPECIFIED.

Finkelstein, A; Gabbay, D; Hunter, A; Kramer, J; Nuseibeh, B; (1992) Inconsistency handling in multi-perspective specifications. Presented at: European Conference on Software Engineering (ESEC'92).

Frankel, Y; Desmedt, Y; (1992) Classification of Ideal Homomorphic Threshold Schemes over Finite Abelian Groups (Extended Abstract). Presented at: UNSPECIFIED.

Frankel, Y; Desmedt, Y; Burmester, M; (1992) Non-Existence of Homomorphic General Sharing Schemes for Some Key Spaces (Extended Abstract). Presented at: UNSPECIFIED.

Griffin, LD; Colchester, ACF; Robinson, GP; Hawkes, DJ; (1992) Structure-sensitive scale and the hierarchical segmentation of gray-level images. Presented at: UNSPECIFIED.

Hunter, A; (1992) A Conceptualization of Preferences in Non-Monotonic Proof Theory. Presented at: UNSPECIFIED.

Jones, DT; Orengo, CA; Taylor, WR; Thornton, JM; (1992) Progress towards Recognising Protein Folds from Amino Acid Sequences. Presented at: UNSPECIFIED.

Parrott, D; Clack, C; (1992) A common graphical form. Presented at: UNSPECIFIED.

Robinson, GP; Colchester, ACF; Griffin, LD; Hawkes, DJ; (1992) Integrated skeleton and boundary shape representation for medical image interpretation. Presented at: UNSPECIFIED.

This list was generated on Sun Mar 26 05:59:47 2017 BST.