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 | M | N | O | P | R | S | V
Number of items: 83.

A

ARRIDGE, SR; COPE, M; DELPY, DT; (1992) THE THEORETICAL BASIS FOR THE DETERMINATION OF OPTICAL PATHLENGTHS IN TISSUE - TEMPORAL AND FREQUENCY-ANALYSIS. PHYS MED BIOL , 37 (7) 1531 - 1560.

ARRIDGE, SR; SCHWEIGER, M; DELPY, DT; (1992) ITERATIVE RECONSTRUCTION OF NEAR-INFRARED ABSORPTION IMAGES. INVERSE PROBLEMS IN SCATTERING AND IMAGING , 1767 372 - 383.

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

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

B

BLANDFORD, AE; (1992) ARTIFICIAL-INTELLIGENCE AND LEARNING ENVIRONMENTS - CLANCEY,WJ, SOLOWAY,E. COMPUT EDUC , 18 (4) 333 - 334.

BLANDFORD, AE; (1992) INTELLIGENT TUTORING SYSTEMS - AT THE CROSSROADS OF ARTIFICIAL-INTELLIGENCE AND EDUCATION - FRASSON,C, GAUTHIER,G. COMPUT EDUC , 18 (4) 330 - 331.

BOIE, RA; COX, IJ; (1992) AN ANALYSIS OF CAMERA NOISE. IEEE T PATTERN ANAL , 14 (6) 671 - 674.

BURMESTER, M; DESMEDT, Y; (1992) ZERO-KNOWLEDGE BASED IDENTIFICATION - FROM A THEORETICAL CONCEPT TOWARDS A PRACTICAL TOKEN. IFIP TRANS A , 13 479 - 485.

BURMESTER, M; DESMEDT, Y; (1992) ZERO-KNOWLEDGE BASED IDENTIFICATION - FROM A THEORETICAL CONCEPT TOWARDS A PRACTICAL TOKEN. In: Aiken, RM, (ed.) EDUCATION AND SOCIETY : INFORMATION PROCESSING 92, VOL 2. (pp. 479 - 485). ELSEVIER SCIENCE PUBL B V

BURMESTER, M; DESMEDT, Y; BETH, T; (1992) EFFICIENT ZERO-KNOWLEDGE IDENTIFICATION SCHEMES FOR SMART CARDS. COMPUT J , 35 (1) 21 - 29.

C

CLARKSON, TG; GORSE, D; TAYLOR, JG; NG, CK; (1992) LEARNING PROBABILISTIC RAM NETS USING VLSI STRUCTURES. IEEE T COMPUT , 41 (12) 1552 - 1561.

COX, IJ; REHG, JM; HINGORANI, S; (1992) A BAYESIAN MULTIPLE HYPOTHESIS APPROACH TO CONTOUR GROUPING. LECT NOTES COMPUT SC , 588 72 - 77.

COX, IJ; REHG, JM; HINGORANI, S; (1992) A BAYESIAN MULTIPLE HYPOTHESIS APPROACH TO CONTOUR GROUPING. In: Sandini, G, (ed.) COMPUTER VISION - ECCV 92. (pp. 72 - 77). SPRINGER-VERLAG BERLIN

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.

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.

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

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

D

DESMEDT, Y; (1992) BREAKING THE TRADITIONAL COMPUTER SECURITY RESEARCH BARRIERS. LECT NOTES COMPUT SC , 648 125 - 138.

DESMEDT, Y; (1992) BREAKING THE TRADITIONAL COMPUTER SECURITY RESEARCH BARRIERS. In: Deswarte, Y and Eizenburg, G and Quisquater, JJ, (eds.) COMPUTER SECURITY - ESORICS 92. (pp. 125 - 138). SPRINGER-VERLAG BERLIN

DESMEDT, Y; FRANKEL, Y; (1992) SHARED GENERATION OF AUTHENTICATORS AND SIGNATURES. In: Feigenbaum, J, (ed.) ADVANCES IN CRYPTOLOGY - CRYPTO 91. (pp. 457 - 469). SPRINGER-VERLAG BERLIN

DESMEDT, Y; FRANKEL, Y; YUNG, M; (1992) MULTIRECEIVER MULTISENDER NETWORK SECURITY - EFFICIENT AUTHENTICATED MULTICAST FEEDBACK. In: IEEE INFOCOM 92 - THE CONFERENCE ON COMPUTER COMMUNICATIONS, PROCEEDINGS VOLS 1-3. (pp. 2045 - 2054). I E E E

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.

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
file

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.

E

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
file

Evans, CA; Kakas, T; (1992) Hypothetico-deductive reasoning. In: (Proceedings) Fifth Generation Computer Systems.

F

FINKELSTEIN, A; (1992) REVIEWING AND CORRECTING SPECIFICATIONS. INSTR SCI , 21 (1-3) 183 - 198.

FINKELSTEIN, A; KRAMER, J; NUSEIBEH, B; FINKELSTEIN, L; GOEDICKE, M; (1992) A FRAMEWORK FOR INTEGRATING MULTIPLE PERSPECTIVES IN SYSTEM-DEVELOPMENT - VIEWPOINTS. INT J SOFTW ENG KNOW , 2 (1) 31 - 57.

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

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

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.

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.

G

GUAN, Y; CLARKSON, TG; TAYLOR, JG; GORSE, D; (1992) THE USE OF ENCODED OUTPUTS AND REINFORCEMENT TRAINING IN PRAM NETS. In: Aleksander, I and Taylor, J, (eds.) ARTIFICIAL NEURAL NETWORKS, 2, VOLS 1 AND 2. (pp. 653 - 656). ELSEVIER SCIENCE PUBL B V

Gabbay, D; Gillies, D; Hunter, A; Muggleton, S; Ng, Y; Richards, B; (1992) The rule-based systems project: Using confirmation theory and non-monotonic logics for incremental learning. In: Inductive Logic Programming. Academic Press

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.

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

H

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

J

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.

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

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.

K

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.

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

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.

L

LEONARD, JJ; DURRANTWHYTE, HF; COX, IJ; (1992) DYNAMIC MAP BUILDING FOR AN AUTONOMOUS MOBILE ROBOT. INT J ROBOT RES , 11 (4) 286 - 298.

M

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.

N

NUSEIBEH, B; FINKELSTEIN, A; (1992) VIEW POINTS - A VEHICLE FOR METHOD AND TOOL INTEGRATION. PROCEEDINGS OF THE FIFTH INTERNATIONAL WORKSHOP ON COMPUTER-AIDED SOFTWARE ENGINEERING 50 - 60.

O

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.

P

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

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

R

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

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

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

S

SCHWEIGER, M; ARRIDGE, SR; HIRAOKA, M; DELPY, DT; (1992) APPLICATION OF THE FINITE-ELEMENT METHOD FOR THE FORWARD MODEL IN INFRARED-ABSORPTION IMAGING. MATHEMATICAL METHODS IN MEDICAL IMAGING , 1768 97 - 108.

SIMMONS, A; ARRIDGE, SR; BARKER, GJ; TOFTS, PS; (1992) SEGMENTATION OF NEUROANATOMY IN MAGNETIC-RESONANCE IMAGES. In: LOEW, MH, (ed.) MEDICAL IMAGING VI : IMAGE PROCESSING. (pp. 2 - 13). SPIE - INT SOC OPTICAL ENGINEERING

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

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.

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

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.

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).

V

VANDERZEE, P; COPE, M; ARRIDGE, SR; ESSENPREIS, M; POTTER, LA; EDWARDS, AD; WYATT, JS; (1992) EXPERIMENTALLY MEASURED OPTICAL PATHLENGTHS FOR THE ADULT HEAD, CALF AND FOREARM AND THE HEAD OF THE NEWBORN-INFANT AS A FUNCTION OF INTER OPTODE SPACING. In: Goldstick, TK and Mccabe, M and Maguire, DJ, (eds.) OXYGEN TRANSPORT TO TISSUE XIII. (pp. 143 - 153). PLENUM PRESS DIV PLENUM PUBLISHING CORP

This list was generated on Sun Aug 28 09:09:45 2016 BST.