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


Anthony, M; Brightwell, GR; Shawe-Taylor, J; (1995) On Specifying Boolean Functions by Labelled Examples. Discrete Applied Mathematics , 61 (1) pp. 1-25. 10.1016/0166-218X(94)00007-Z.

Aste, T; Botter, R; Beruto, D; (1995) Double-layer granular SnO2 sensors. Sensors and Actuators: B. Chemical , 25 (1-3) pp. 826-829. 10.1016/0925-4005(95)85184-4.

Aste, T; Rivier, N; (1995) Random cellular froths in spaces of any dimension and curvature. Journal of Physics A: Mathematical and General , 28 (5) pp. 1381-1398. 10.1088/0305-4470/28/5/023.

Burge, P; Shawe-Taylor, J; (1995) Adapting the Energy Landscape for MFA. Journal of Artificial Neural Networks , 2 (4) pp. 449-454.

Burge, P; Shawe-Taylor, J; (1995) Bitstream Neurons for Graph Colouring. Journal of Artificial Neural Networks , 2 (4) pp. 443-448.

Clack, C; Clayman, S; Parrott, D; (1995) Lexical Profiling: Theory and Practice. Journal of Functional Programming , 5 (2) pp. 225-277.

Clack, C; Myers, C; (1995) The Dys-functional student. Lecture Notes in Computer Science , 1022 pp. 289-309. 10.1007/3-540-60675-0_51.

Coppen, D; Hawes, D; Slater, M; Davison, A; (1995) A distributed frame buffer for rapid dynamic changes to 3D scenes. Computers and Graphics , 19 (2) pp. 247-250. 10.1016/0097-8493(94)00150-W.

Dowell, J; (1995) Tabletop crisis training and the requirements for computer-based simulation. Journal of Intelligent Systems , 5 (2) pp. 273-295.

Elvang-Gøransson, M; Hunter, A; (1995) Argumentative Logics: Reasoning with Classically Inconsistent Information. Data Knowl. Eng. , 16 (2) pp. 125-145. 10.1016/0169-023X(95)00013-I.

Freyd, PJ; O'Hearn, PW; Power, J; Tennent, RD; Takeyama, M; (1995) Bireflectivity. Electr. Notes Theor. Comput. Sci. , 1 pp. 199-213. 10.1016/S1571-0661(04)80011-2.

Germano, G; Veracini, CA; Boeffel, C; Spiess, HW; (1995) Main chain order and dynamics in a liquid crystalline side-group polymer. Molecular Crystals and Liquid Crystals Science and Technology. Section A. Molecular Crystals and Liquid Crystals , 266 (1) pp. 47-58. 10.1080/10587259508033631.

Griffin, LD; Colchester, ACF; (1995) Superficial and deep structure in linear diffusion scale space: critical points, isophotes and separatrices. Image and Vision Computing , 13 (7) 543 - 557. 10.1016/0262-8856(95)91145-4.

Hirsch, R; (1995) Completely Representable Relation Algebras. Logic Journal of the IGPL , 3 (1) pp. 77-92. 10.1093/jigpal/3.1.77.

Hirsch, R; (1995) Intractability in the Allen and Koomen Planner. Computational Intelligence , 11 pp. 553-564. 10.1111/j.1467-8640.1995.tb00049.x.

Jones, DT; (1995) Theoretical approaches to designing novel sequences to fit a given fold. Current Opinion in Biotechnology , 6 pp. 452-459.

Nuseibeh, B; Kramer, J; Finkelstein, A; Leonhardt, U; (1995) Decentralised Process Modelling. EWSPT , 913 pp. 185-188. 10.1007/3-540-59205-9_55.

O'Hearn, PW; Power, J; Tennent, RD; Takeyama, M; (1995) Syntactic control of interference revisited. Electr. Notes Theor. Comput. Sci. , 1 pp. 447-486. 10.1016/S1571-0661(04)00026-X.

O'Hearn, PW; Reddy, US; (1995) Objects, interference and the Yoneda embedding. Electr. Notes Theor. Comput. Sci. , 1 pp. 487-514. 10.1016/S1571-0661(04)00027-1.

O'Hearn, PW; Tennent, RD; (1995) Parametricity and Local Variables. J. ACM , 42 (3) pp. 658-709. 10.1145/210346.210425.

Rogers, Y; (1995) Coordinating and managing network technology. Personal Information Systems: Business Applications. 191 - 202.

Ross, S; Ramage, M; Rogers, Y; (1995) PETRA: Participatory Evaluation Through Redesign and Analysis. Interacting with Computers , 7 (4) pp. 335-360. 10.1016/0953-5438(96)87697-1.

Shawe-Taylor, J; Zerovnik, J; (1995) Analysis of the Mean Field Annealing Algorithm for Graph Colouring. Journal of Artificial Neural Networks , 2 (4) pp. 329-340.

Slater, M; Usoh, M; Steed, A; (1995) Taking Steps: The Influence of a Walking Technique on Presence in Virtual Reality. ACM Trans. Comput.-Hum. Interact. , 2 (3) pp. 201-219. 10.1145/210079.210084.


Clack, C; Myers, C; Poon, E; (1995) Programming with Miranda. [Book]. Prentice Hall International

Shawe-Taylor, J; (1995) Consciousness at the Crossroads of Philosophy and Cognitive Science, Special issue of Journal of Consciousness Studies. Thorverton: Imprint Academic

Book chapter

Domingo, C; Shawe-Taylor, J; (1995) The Complexity of Learning Minor Closed Graph Classes. In: Jantke, KP and Shinohara, T and Zeugmann, T, (eds.) Algorithmic Learning Theory, 6th International Conference, ALT '95, Fukuoka, Japan, October 18-20, 1995, Proceedings. (pp. 249-260). Springer

Finkelstein, L; Finkelstein, A; (1995) Review of Design Methodology. In: Collen, A and Gasparski, W, (eds.) Design and Systems Praxiology: The International Annual of Practical Philosophy and Methodology. (pp. 95-122). Transaction Publishers

Peyton Jones, SL; Clack, CD; Salkild, JD; (1995) High-performance parallel graph reduction. In: Skillikorn, DB and Talia, D, (eds.) Programming Languages for Parallel Processing. (pp. 254-247). IEEE Computer Society Press

Shawe-Taylor, J; (1995) Generalisation Analysis for Classes of Continuous Neural Networks. In: UNSPECIFIED (pp. 2944-2948). IEEE Neural Networks Council

Shawe-Taylor, J; (1995) Sample Sizes for Sigmoidal Neural Networks. In: Maass, W, (ed.) Proceedings of the Eigth Annual Conference on Computational Learning Theory, COLT 1995, Santa Cruz, California, USA, July 5-8, 1995. (pp. 258-264). ACM

Shawe-Taylor, J; Shawe-Taylor, M; (1995) Consciousness as a Linear Phenomenon. In: UNSPECIFIED (pp. 32-38). Thorverton: Imprint Academic

Shawe-Taylor, J; Zhao, J; (1995) Generalisation of A Class of Continuous Neural Networks. In: Touretzky, DS and Mozer, M and Hasselmo, ME, (eds.) Advances in Neural Information Processing Systems 8, NIPS, Denver, CO, November 27-30, 1995. (pp. 267-273). MIT Press

Taylor, WR; Jones, DT; (1995) Modelling and predicting alpha-helical transmembrane structures. In: Bohr, H and Brunak, S, (eds.) Protein folds - A Distance-Based Approach. (pp. 283-293). CRC Press

Zhao, J; Shawe-Taylor, J; (1995) Stochastic Connection Neural Networks. In: UNSPECIFIED (pp. 35-39). IEE Conference Publication 409

Proceedings paper

Blandford, A; Young, RM; (1995) Separating user and device descriptions for modelling interactive problem solving. In: Nordby, K and Helmersen, PH and Gilmore, DJ and Arnesen, SA, (eds.) INTERACT. (pp. 91 - 96). Chapman & Hall

Clarkson, TG; Taylor, JG; Gorse, D; (1995) Response to letter by K. Gurney. In: (pp. 491-).

Coutaz, J; Nigay, L; Salber, D; Blandford, A; May, J; Young, RM; (1995) Four easy pieces for assessing the usability of multimodal interaction: the CARE properties. In: Nordby, K and Helmersen, PH and Gilmore, DJ and Arnesen, SA, (eds.) INTERACT. (pp. 115 - 120). Chapman & Hall

Cox, IJ; Roy, S; Hingorani, SL; (1995) Dynamic histogram warping of image pairs for constant image brightness. In: (pp. pp. 366-369). IEEE Computer Society

Gotel, O; Finkelstein, A; (1995) Contribution structures (Requirements artifacts). In: (pp. pp. 100-107). IEEE Computer Society

Handley, M; Wakeman, I; Crowcroft, J; (1995) The Conference Control Channel Protocol (CCCP): A Scalable Base for Building Conference Control Applications. In: Wecker, S and Oran, D, (eds.) (pp. pp. 275-287). ACM

Lee Beauregard, G; Srinivasan, MA; Durlach, NI; (1995) Manual resolution of viscosity and mass. In: (pp. pp. 657-662).

Conference item

Barber, D; Saad, D; (1995) Knowledge and generalisation in simple learning systems. Presented at: UNSPECIFIED.

Bentley, PJ; Wakefield, J; (1995) The Evolution of Solid Object Designs using Genetic Algorithms. Presented at: Applied Decision Technologies (ADT '95), London.

Bentley, PJ; Wakefield, J; (1995) The Table: An Illustration of Evolutionary Design using Genetic Algorithms. Presented at: UNSPECIFIED.

Besnard, P; Hunter, A; (1995) Quasi-classical Logic: Non-trivializable classical reasoning from incosistent information. Presented at: UNSPECIFIED.

Desmedt, Y; (1995) Securing Traceability of Ciphertexts - Towards a Secure Software Key Escrow System (Extended Abstract). Presented at: UNSPECIFIED.

Dowell, J; Lukau, W; Salter, I; Shmueli, Y; Life, A; (1995) Designing the multimodal speech interface to a public travel facility. Presented at: International Ergonomics Association World Conference, Rio de Janeiro.

Hunter, A; (1995) Using Default Logic in Information Retrieval. Presented at: UNSPECIFIED.

Ismail, N; Hailes, S; Wilbur, S; (1995) Multimedia Traffic Tests over and SMDS Network. Presented at: Networkshop 23.

Julier, SJ; Durrant-Whyte, HF; (1995) Navigation and Parameter Estimation of High Speed Road Vehicles. Presented at: UNSPECIFIED.

Julier, SJ; Uhlmann, JK; Durrant-Whyte, HF; (1995) A new approach for filtering nonlinear systems. Presented at: UNSPECIFIED.

Plowman, L; Rogers, Y; Ramage, M; (1995) What Are Workplace Studies For? Presented at: UNSPECIFIED.

Roy, S; Cox, IJ; (1995) Statistical modelling of epipolar misalignment. Presented at: Int. Workshop on Stereoscopic and Three Dimensional Imaging, (IWS3DI'95),.

Roy, S; Cox, IJ; (1995) Direct Estimation of Rotation from Two Frames via Epipolar Search. Presented at: UNSPECIFIED.

Slater, M; Usoh, M; Geeas, R; Steed, A; (1995) Creating animations using virtual reality ThatcherWorld: a case study. Presented at: UNSPECIFIED.

Wood, J; Shawe-Taylor, J; (1995) UNSPECIFIED Presented at: Neural Networks for Invariant Pattern Recognition.

Wood, J; Shawe-Taylor, J; (1995) Neural networks for invariant pattern recognition. Presented at: UNSPECIFIED.


Griffin, LD; (1995) Descriptions of Image Structure. Doctoral thesis, UNSPECIFIED.

This list was generated on Sun Mar 26 05:58:33 2017 BST.