UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Browse by UCL Departments and Centres

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

A

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

Aste, T and Galleani d'Agliano, E and Napoli, F (1991) AFM paramagnons in doped CuO2 layers and superconducting pairing. Physica C: Superconductivity and its applications , 182 (4-6) 307 - 314.

B

Barringer, H and Fisher, M and Gabbay, DM and Hunter, A (1991) Meta-Reasoning in Executable Temporal Logic. In: Allen, JF and Fikes, R and Sandewall, E, (eds.) KR. (pp. 40 - 49). Morgan Kaufmann

Bengio, S and Brassard, G and Desmedt, Y and Goutier, C and Quisquater, J-J (1991) Secure Implementations of Identification Systems. In: J. Cryptology. (pp. 175 - 183).

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

BETH, T and 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 and DESMEDT, Y (1991) BROADCAST INTERACTIVE PROOFS. LECT NOTES COMPUT SC , 547 81 - 95.

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

Burmester, M and Desmedt, Y (1991) Broadcast Interactive Proofs (Extended Abstract). In: Davies, DW, (ed.) EUROCRYPT. (pp. 81 - 95). Springer

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

C

CLARKSON, T and NG, T and GORSE, D and 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 and GORSE, D and GUAN, Y and 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 and GORSE, D and 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

COPE, M and VANDERZEE, P and ESSENPREIS, M and ARRIDGE, SR and 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.

Cussens, J and Hunter, A (1991) Using Defeasible Logic for a Window on a Probabilistic Database: Some Preliminary Notes. In: Kruse, R and Siegel, P, (eds.) ECSQARU. (pp. 146 - 152). Springer

D

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

DAVIDA, G and DESMEDT, Y and 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 and Burmester, M (1991) An Efficient Zero-Knowledge Scheme for the Discrete Logarithm Based on Smooth Numbers. In: Imai, H and Rivest, RL and Matsumoto, T, (eds.) ASIACRYPT. (pp. 360 - 367). Springer

Desmedt, Y and Frankel, Y (1991) Shared Generation of Authenticators and Signatures (Extended Abstract). In: Feigenbaum, J, (ed.) CRYPTO. (pp. 457 - 469). Springer

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

Desmedt, Y and Yung, M (1991) Weakness of Undeniable Signature Schemes (Extended Abstract). In: Davies, DW, (ed.) EUROCRYPT. (pp. 205 - 220). Springer

DESMEDT, Y and 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 and YUNG, MT (1991) WEAKNESSES OF UNDENIABLE SIGNATURE SCHEMES. LECT NOTES COMPUT SC , 547 205 - 220.

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

E

Emmerich, W and 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. (175 - 184). IEEE Computer Society Press
An open access version is available from UCL Discovery
 file

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

G

Gabbay, DM and Hunter, A (1991) Making inconsistency respectable: a logical framework for inconsistency in reasoning. In: Jorrand, P and Kelemen, J, (eds.) FAIR. (pp. 19 - 32). Springer

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

GORSE, D and 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 and 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 and 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

Griffin, LD and Colchester, ACF and Robinson, GP (1991) Scale and segmentation of grey-level images using maximum gradient paths. In: Colchester, ACF and Hawkes, DJ, (eds.) Information Processing in Medical Imaging: 12th International Conference, IPMI '91 Wye, UK, July 7–12, 1991: Proceedings. (pp. 256 - 272). Springer-Verlag: Berlin/Heidelberg, Germany.

H

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

Hunter, A (1991) Execution of defeasible temporal clauses for building preferred models. In: Jorrand, P and Kelemen, J, (eds.) FAIR. (pp. 84 - 98). Springer

J

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 249 - 253.

L

Lin, TTY and Slater, M (1991) Stochastic Ray Tracing Using SIMD Processor Arrays. The Visual Computer , 7 , Article 4. 10.1007/BF01900835.

O

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

P

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

Q

Quisquater, J-J and Desmedt, Y (1991) Chinese Lotto as an Exhaustive Code-Breaking Machine. In: IEEE Computer. (pp. 14 - 22).

R

Rounce, P (1991) A processor with list structured memory. In: Monaco, VA and Negrini, R, (eds.) Proceedings of CompEuro '91: Advanced Computer Technology, Reliable Systems and Applications: 5th Annual European Computer Conference. (pp. 41 - 45). IEEE Computer Society: Los Alamitos, US.

S

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

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]. (879 - 886). Morgan Kaufmann

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

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

T

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

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

W

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

This list was generated on Tue Jun 11 04:46:12 2013 BST.