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: 68.

Article

ARRIDGE, SR; VANDERZEE, P; COPE, M; DELPY, DT; (1991) RECONSTRUCTION METHODS FOR INFRARED-ABSORPTION IMAGING. PROCEEDINGS OF TIME-RESOLVED SPECTROSCOPY AND IMAGING OF TISSUES , 1431 204 - 215.

Aste, T; Galleani d'Agliano, E; Napoli, F; (1991) AFM paramagnons in doped CuO<inf>2</inf> layers and superconducting pairing. Physica C: Superconductivity and its applications , 182 (4-6) pp. 307-314. 10.1016/0921-4534(91)90527-6.

BETH, T; DESMEDT, Y; (1991) IDENTIFICATION TOKENS OR - SOLVING THE CHESS GRANDMASTER PROBLEM. LECT NOTES COMPUT SC , 537 169 - 176.

BURMESTER, M; DESMEDT, Y; (1991) BROADCAST INTERACTIVE PROOFS. LECT NOTES COMPUT SC , 547 81 - 95.

BURMESTER, MVD; DESMEDT, Y; (1991) ALL LANGUAGES IN NP HAVE DIVERTIBLE ZERO-KNOWLEDGE PROOFS AND ARGUMENTS UNDER CRYPTOGRAPHIC ASSUMPTIONS. LECT NOTES COMPUT SC , 473 1 - 10.

COPE, M; VANDERZEE, P; ESSENPREIS, M; ARRIDGE, SR; DELPY, DT; (1991) DATA-ANALYSIS METHODS FOR NEAR-INFRARED SPECTROSCOPY OF TISSUE - PROBLEMS IN DETERMINING THE RELATIVE CYTOCHROME AA3 CONCENTRATION. PROCEEDINGS OF TIME-RESOLVED SPECTROSCOPY AND IMAGING OF TISSUES , 1431 251 - 262.

COX, IJ; (1991) BLANCHE - AN EXPERIMENT IN GUIDANCE AND NAVIGATION OF AN AUTONOMOUS ROBOT VEHICLE. IEEE T ROBOTIC AUTOM , 7 (2) 193 - 204.

DAVIDA, G; DESMEDT, Y; PERALTA, R; (1991) ON THE IMPORTANCE OF MEMORY RESOURCES IN THE SECURITY OF KEY EXCHANGE PROTOCOLS. LECT NOTES COMPUT SC , 473 11 - 15.

DESMEDT, Y; YUNG, M; (1991) ARBITRATED UNCONDITIONALLY SECURE AUTHENTICATION CAN BE UNCONDITIONALLY PROTECTED AGAINST ARBITER ATTACKS. LECT NOTES COMPUT SC , 537 177 - 188.

DESMEDT, Y; YUNG, MT; (1991) WEAKNESSES OF UNDENIABLE SIGNATURE SCHEMES. LECT NOTES COMPUT SC , 547 205 - 220.

Desmedt, Y; (1991) The "a" Cipher Does not necessarily Strengthen Security. Cryptologia , 15 (3) pp. 203-206. 10.1080/0161-119191865867.

FINKELSTEIN, A; (1991) A (NEAT) ALPHABET OF REQUIREMENTS ENGINEERING ISSUES. LECT NOTES COMPUT SC , 550 489 - 491.

FINKELSTEIN, A; (1991) A (NEAT) ALPHABET OF REQUIREMENTS ENGINEERING ISSUES. ESEC 91 : 3RD EUROPEAN SOFTWARE ENGINEERING CONFERENCE , 550 489 - 491.

Finkelstein, A; (1991) Student Problems in Software Engineering Education.

Finkelstein, A; (1991) Tracing back from requirements.

Finkelstein, L; Finkelstein, A; (1991) The Life Cycle of Engineering Products: an analysis of concepts. Engineering Management Journal , 1 (3) pp. 115-121.

GOLDSACK, SJ; FINKELSTEIN, ACW; (1991) REQUIREMENTS ENGINEERING FOR REAL-TIME SYSTEMS. SOFTWARE ENG J , 6 (3) 101 - 115.

GORSE, D; TAYLOR, JG; (1991) A CONTINUOUS INPUT RAM-BASED STOCHASTIC NEURAL MODEL. NEURAL NETWORKS , 4 (5) 657 - 665.

Jones, DT; (1991) Identification of Protein Consensus Sequences: book review. Biotechnology and Applied Biochemistry , 14 247-.

Jones, DT; (1991) The application of fractal clustering to efficient molecular ray-tracing on low-cost computers. Journal of Molecular Graphics , 9 pp. 249-253.

KRAMER, J; FINKELSTEIN, A; (1991) A CONFIGURABLE FRAMEWORK FOR METHOD AND TOOL INTEGRATION. LECT NOTES COMPUT SC , 509 233 - 257.

Lin, TTY; Slater, M; (1991) Stochastic Ray Tracing Using SIMD Processor Arrays. The Visual Computer , 7 (4) pp. 187-199. 10.1007/BF01900835.

Shawe-Taylor, J; Anthony, M; (1991) Sample Sizes for Multiple Output Threshold Networks. Network , 2 (1) pp. 107-117.

Shawe-Taylor, J; Jeavons, P; Daalen, M; (1991) Probabilistic Bit Stream Neural Chip: Theory. Connection Science , 3 (3) pp. 317-328.

THORNTON, JM; FLORES, TP; JONES, DT; SWINDELLS, MB; (1991) PROTEIN-STRUCTURE - PREDICTION OF PROGRESS AT LAST. NATURE , 354 (6349) 105 - 106.

Taylor, WR; Jones, DT; (1991) Templates, consensus patterns and motifs. Current Opinions in Structural Biology , 1 pp. 327-333.

WHITEFIELD, A; WILSON, F; DOWELL, J; (1991) A FRAMEWORK FOR HUMAN-FACTORS EVALUATION. BEHAV INFORM TECHNOL , 10 (1) 65 - 79.

Book chapter

Daalen, M; Jeavons, P; Shawe-Taylor, J; (1991) Probabilistic Bit Stream Neural Chip: Implementation. In: UNSPECIFIED (pp. 285-294). New York: Plenum

Emmerich, W; Gruhn, V; (1991) FUNSOFT Nets: a petri-net based software process modeling language. In: Proceedings of the 6th International Workshop on Software Specification and Design, Como, Italy. (pp. 175-184). IEEE Computer Society Press Green open access
file

Emmerich, W; Junkermann, G; Peuschel, B; Schaefer, W; Wolf, S; (1991) MERLIN: Knowledge-based Process Modeling. In: Proceedings of the 1st European Workshop on Software Process Modeling, Milan, Italy. (pp. 181-187). A.I.C.A. Press: Italy.

FINKELSTEIN, A; GOEDICKE, M; KRAMER, J; NISKIER, C; (1991) VIEWPOINT ORIENTED SOFTWARE-DEVELOPMENT - METHODS AND VIEWPOINTS IN REQUIREMENTS ENGINEERING. In: UNSPECIFIED (29 - 54). SPRINGER VERLAG

Finkelstein, A; (1991) Reviewing and correcting specifications. In: Computers and Writing IV. (pp. 219-237). Computers and Writing Association

Finkelstein, A; Kramer, J; (1991) TARA: tool assisted requirements analysis. In: Conceptual Modelling, Databases and CASE: an integrated view of information systems development. (pp. 413-432). John Wiley

Hunter, A; (1991) Developments in artificial intelligence reasoning. In: Artificial Intelligence in Engineering. (pp. 295-335). John Wiley

Kellner, M; Feiler, P; Finkelstein, A; Katayama, T; Osterweil, L; Penedo, M; Rombach, D; (1991) ISPW-6 Software process example. In: 1st International Conference on the Software Process, October 21-26 1991. (pp. 176-187). IEEE Computer Society Press

Shawe-Taylor, J; (1991) Threshold Network Learning in the Presence of Equivalences. In: Moody, JE and Hanson, SJ and Lippmann, R, (eds.) Advances in Neural Information Processing Systems 4, [NIPS Conference, Denver, Colorado, USA, December 2-5, 1991]. (pp. 879-886). Morgan Kaufmann

Proceedings paper

Annaswamy, AM; Srinivasan, MA; (1991) Adaptive control for grasping and manipulation of compliant objects with compliant fingerpads. In: (pp. pp. 1233-1234).

Attridge, G; Finkelstein, A; Phillips, G; (1991) Application of Information Systems Modelling to Civil Protection Planning and Operations. In: (Proceedings) Annual Conference of Scientific Advisers. Home Office

BETH, T; DESMEDT, Y; (1991) IDENTIFICATION TOKENS OR - SOLVING THE CHESS GRANDMASTER PROBLEM. In: Menezes, AJ and Vanstone, SA, (eds.) ADVANCES IN CRYPTOLOGY - CRYPTO 90. (pp. 169 - 176). SPRINGER-VERLAG BERLIN

BURMESTER, M; DESMEDT, Y; (1991) BROADCAST INTERACTIVE PROOFS. In: Davies, DW, (ed.) ADVANCES IN CRYPTOLOGY - EUROCRYPT 91. (pp. 81 - 95). SPRINGER-VERLAG BERLIN

CLARKSON, T; NG, T; GORSE, D; TAYLOR, J; (1991) A SERIAL-UPDATE VLSI ARCHITECTURE FOR THE LEARNING PROBABILISTIC RAM NEURON. In: KOHONEN, T and MAKISARA, K and SIMULA, O and KANGAS, J, (eds.) ARTIFICIAL NEURAL NETWORKS, VOLS 1 AND 2. (pp. 1573 - 1576). ELSEVIER SCIENCE PUBL B V

CLARKSON, TG; GORSE, D; GUAN, Y; TAYLOR, JG; (1991) APPLICATIONS OF THE PRAM. In: 1991 IEEE INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS, VOLS 1-3. (pp. 2618 - 2623). INST ELECTRICAL ENGINEERS

CLARKSON, TG; GORSE, D; TAYLOR, JG; (1991) BIOLOGICALLY PLAUSIBLE LEARNING IN HARDWARE REALIZABLE NETS. In: KOHONEN, T and MAKISARA, K and SIMULA, O and KANGAS, J, (eds.) ARTIFICIAL NEURAL NETWORKS, VOLS 1 AND 2. (pp. 195 - 199). ELSEVIER SCIENCE PUBL B V

DESMEDT, Y; YUNG, M; (1991) ARBITRATED UNCONDITIONALLY SECURE AUTHENTICATION CAN BE UNCONDITIONALLY PROTECTED AGAINST ARBITER ATTACKS. In: Menezes, AJ and Vanstone, SA, (eds.) ADVANCES IN CRYPTOLOGY - CRYPTO 90. (pp. 177 - 188). SPRINGER-VERLAG BERLIN

DESMEDT, Y; YUNG, MT; (1991) WEAKNESSES OF UNDENIABLE SIGNATURE SCHEMES. In: Davies, DW, (ed.) ADVANCES IN CRYPTOLOGY - EUROCRYPT 91. (pp. 205 - 220). SPRINGER-VERLAG BERLIN

Finkelstein, A; Kramer, J; Nuseibeh, B; (1991) A viewpoint-based framework for software development environments. In: (pp. 10/1-10/2). Institute of Electrical Engineers: London, UK.

Finkelstein, L; Finkelstein, A; (1991) Advances in the Automation of Instrument Systems Design. In: (Proceedings) IMEKO XII. (pp. pp. 1293-1297). International Academic Publishers

GORSE, D; TAYLOR, JG; (1991) ENCODING TEMPORAL STRUCTURE IN PROBABILISTIC RAM NETS. In: SECOND INTERNATIONAL CONFERENCE ON ARTIFICIAL NEURAL NETWORKS. (pp. 369 - 372). INST ELECTRICAL ENGINEERS

GORSE, D; TAYLOR, JG; (1991) LEARNING SEQUENTIAL STRUCTURE WITH RECURRENT PRAM NETS. In: IJCNN-91-SEATTLE : INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS, VOLS 1 AND 2. (pp. B37 - B42). I E E E

GORSE, D; TAYLOR, JG; (1991) REINFORCEMENT TRAINING STRATEGIES FOR PROBABILISTIC RAMS. In: NOVAK, M and PELIKAN, E, (eds.) THEORETICAL ASPECTS OF NEUROCOMPUTING. (pp. 180 - 184). WORLD SCIENTIFIC PUBL CO PTE LTD

Gilmore, S; Finkelstein, A; (1991) Teaching Formal and Informal Aspects of Software Engineering in a Unified Framework. In: (Proceedings) 1st National Conference on Software Engineering in Higher Education. (pp. pp. 117-127). SIHE

KRAMER, J; FINKELSTEIN, A; (1991) A CONFIGURABLE FRAMEWORK FOR METHOD AND TOOL INTEGRATION. In: ENDRES, A and WEBER, H, (eds.) SOFTWARE DEVELOPMENT ENVIRONMENTS AND CASE TECHNOLOGY. (pp. 233 - 257). SPRINGER-VERLAG BERLIN

O'Hearn, PW; (1991) Linear Logic and Interference Control. In: Pitt, DH and Curien, P-L and Abramsky, S and Pitts, AM and Poigné, A and Rydeheard, DE, (eds.) Category Theory and Computer Science. (pp. 74 - 93). Springer

Report

Parrott, D; clack, CD; (1991) Paragon - a Language for Modelling Lazy, Functional Workloads on Distributed Processors.

Shawe-Taylor, J; (1991) The Asymptotic Equipartition Property for Two dimensional Ergodic Arrays.

Conference item

Barringer, H; Fisher, M; Gabbay, DM; Hunter, A; (1991) Meta-Reasoning in Executable Temporal Logic. Presented at: UNSPECIFIED.

Bengio, S; Brassard, G; Desmedt, Y; Goutier, C; Quisquater, J-J; (1991) Secure Implementations of Identification Systems. Presented at: UNSPECIFIED.

Burmester, M; Desmedt, Y; (1991) Broadcast Interactive Proofs (Extended Abstract). Presented at: UNSPECIFIED.

Cussens, J; Hunter, A; (1991) Using Defeasible Logic for a Window on a Probabilistic Database: Some Preliminary Notes. Presented at: UNSPECIFIED.

Desmedt, Y; Burmester, M; (1991) An Efficient Zero-Knowledge Scheme for the Discrete Logarithm Based on Smooth Numbers. Presented at: UNSPECIFIED.

Desmedt, Y; Frankel, Y; (1991) Shared Generation of Authenticators and Signatures (Extended Abstract). Presented at: UNSPECIFIED.

Desmedt, Y; Yung, M; (1991) Weakness of Undeniable Signature Schemes (Extended Abstract). Presented at: UNSPECIFIED.

Gabbay, DM; Hunter, A; (1991) Making inconsistency respectable: a logical framework for inconsistency in reasoning. Presented at: UNSPECIFIED.

Griffin, LD; Colchester, ACF; Robinson, GP; (1991) Scale and segmentation of grey-level images using maximum gradient paths. Presented at: UNSPECIFIED.

Hunter, A; (1991) Execution of defeasible temporal clauses for building preferred models. Presented at: UNSPECIFIED.

Quisquater, J-J; Desmedt, Y; (1991) Chinese Lotto as an Exhaustive Code-Breaking Machine. Presented at: UNSPECIFIED.

Rounce, P; (1991) A processor with list structured memory. Presented at: UNSPECIFIED.

Other

Bustin, P; Langdon, WB; Elbourn, B; (1991) Sizing Report for the Company Office System at Thames Valley Park, British Gas Exploration and Production. UNSPECIFIED

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