University of Edinburgh

Research output

Research output per year 1962 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2024

• 123599 Article
• 18492 Conference contribution
• 8107 Chapter
• 7247 Chapter (peer-reviewed)
• 39013 More
  • 4138 Book
  • 3924 Paper
  • 2912 Book/Film/Article review
  • 2899 Meeting abstract
  • 2504 Editorial
  • 2265 Abstract
  • 1990 Review article
  • 1979 Literature review
  • 1664 Other contribution
  • 1533 Working paper
  • 1515 Comment/debate
  • 1465 Letter
  • 1410 Poster
  • 1062 Commissioned report
  • 920 Exhibition
  • 772 Entry for encyclopedia/dictionary
  • 770 Other
  • 752 Web publication/site
  • 700 Other report
  • 463 Special issue
  • 390 Other chapter contribution
  • 355 Digital or Visual Products
  • 322 Anthology
  • 320 Performance
  • 298 Doctoral Thesis
  • 262 Composition
  • 258 Discussion paper
  • 205 Artefact
  • 189 Patent
  • 140 Preprint
  • 127 Foreword/postscript
  • 107 Featured article
  • 84 Master's Thesis
  • 81 Design
  • 72 Scholarly edition
  • 72 Short survey
  • 65 Software
  • 13 Data set/Database
  • 8 Conference article
  • 8 Protocols

Research output per year

Research output per year

Search results

• 1990

  On Design Values for Bulk Solid Properties for Silos

  Rotter, J. M. & Nielsen, J., 1990, Proceedings 2nd European Symposium on the Stress and Strain Behaviour of Particulate Solids- Silo Stresses, Prague.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• On mesh design for concrete strain softening analyses

  Bicanic, N. & Pankaj, P., 1990, 2nd International Conference on Computer Aided Analysis and Design of Concrete Structures, Zell am See, Austria. Bicanic, N. & Mang, H. (eds.). PINERIDGE PRESS LTD, Vol. 2. p. 959-974 16 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Ordered rewriting and confluence

  Martin, U. & Nipkow, T., 1990, 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings. Stickel, M. E. (ed.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 366-380 15 p. (Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence); vol. 449).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Performance comparison of RLS and LMS algorithms for tracking a first order Markov communication channel

  Bershad, N. J., McLaughlin, S. & Cowan, C. F. N., 1990, IEEE International Sym on Circuits and Systems. p. 5 1 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Pointing: A Way Toward Explanation Dialogue

  Moore, J. D. & Swartout, W. R., 1990, Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, July 29 - August 3, 1990, 2 Volumes. AAAI Press, p. 457-464 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Planning 100%

• Pulse-Firing Neural Chips for Hundreds of Neurons

  Murray, A., Brownlow, M., Hamilton, A., Han, I. S., Reekie, H. M. & Tarassenko, L., 1990, Neural Information Processing Systems (NIPS) Conference. p. 8 1 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• QUADTREE GIS-PRAGMATICS FOR THE PRESENT, PROSPECTS FOR THE FUTURE

  Stuart, N., 1990, Gis/lis 90 : proceedings. Vol. vols 1 and 2. p. 373-382 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Seismic design and analysis of multi-storey RC frames

  Lu, Y., Zeris, C. & Zhang, G. F., 1990, 10th Hellenic Conference on Concrete, Rhodes.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• SEROTONIN, PLATELETS AND CLINICAL-TRIALS IN PERIPHERAL VASCULAR-DISEASE

  CHALMERS, TC. & MURRAY, GD., 1990, ADVANCES IN VASCULAR PATHOLOGY 1990, VOL 3. STRANO, A. & NOVO, S. (eds.). AMSTERDAM: ELSEVIER SCIENCE PUBL B V, p. 645-652 8 p. (INTERNATIONAL CONGRESS SERIES; vol. 954).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Shifting patterns of parental control 1900-1980

  Jamieson, L. & Toynbee, C., 1990, Politics of Everyday Life . Corr, H. & Jamieson, L. (eds.). London: Palgrave Macmillan, p. 86-113

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Silicon active backplane spatial light modulators using ferroelectric liquid crystals

  Crossland, W. A., Birch, M. J., Vass, D. G., Underwood, I., Reid, S. A. & Latham, S. G., 1990, O.S.A.Topical Meeting on Spatial Light Modulators and Applications.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Silicon Backplane Spatial Light Modulators for Parallel Optical Systems

  Crossland, W. A., Underwood, I. & Vass, D. G., 1990, Fourth International Specialist Seminar on 'Systems on Silicon'.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Singularity indicators for stress return mapping in hardening/softening plasticity

  Pankaj, P. & Bicanic, N., 1990, Numerical Methods in Engineering: Theory and Applications, NUMETA 90, Swansea. Pande, G. N. & Middleton, J. (eds.). Elsevier Applied Science, Vol. 2. p. 854-861 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Singularity indicators for stress return mapping in hardening/softening plasticity

  Pankaj, P. & Bicanic, N., 1990, Int Conf on Numerical Methods in Engineering: Theory and Practice, Swansea. p. 8 1 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Snap-through Buckling of Reinforced Concrete Domes

  Teng, J. G. & Rotter, J. M., 1990, Proc, Second International Conference on Computer Aided Analysis and Design of Concrete Structures SCI-C 90, Zell am See, Austria,. p. 6 1 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Strategies to maximise selection progress in dairy cattle

  Woolliams, J., 1990, Proceedings of the 4th World Congress on Genetics applied to Livestock Production. Hill, W. G., Thompson, R. & Woolliams, J. A. (eds.). Organising Committee, Vol. XIV. p. 15-24

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Structure and Intonation in Spoken Language Understanding

  Steedman, M., 1990, Proceedings of the 28th Annual Meeting on Association for Computational Linguistics. Stroudsburg, PA, USA: Association for Computational Linguistics, p. 9-16 8 p. (ACL '90).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Spoken Language Understanding 100%
  • Intonation 58%
  • Rheme 38%
  • Categorial Grammar 38%
  • Syntax 36%

• Submilliwatt optical bistability in nematic liquid-crystals at 1.3-MU-M

  Wang, C. H., Lloyd, A. & Wherrett, B. S., 1990, International Conference on Optoelectronic Science and Engineering 90. Wang, D. H. (ed.). SPIE, p. 729-732 4 p. (Proceedings of the Society of Photo-Optical Instrumentation Engineers; vol. 1230).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• SURFACE-MARKERS OF THE HEMANGIOBLASTIC CELL LINEAGE - A REVIEW OF THE SPECIFICITIES OF MB1 AND QH1

  PEAULT, B. & LABASTIE, M. C., 1990, AVIAN MODEL IN DEVELOPMENT BIOLOGY : FROM ORGANISM TO GENES. LEDOUARIN, N., DIETERLENLIEVRE, F. & SMITH, J. (eds.). PARIS: EDITIONS C N R S, p. 165-179 15 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The Application of Non-linear Architectures to Adaptive Channel Equalisation

  Gibson, G. J., Siu, S., Chen, S., Cowan, C. F. N. & Grant, P. M., 1990, Proceedings IEEE International Conference on Communications. p. 5 1 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The design of smart SLMs and applications in optical systems

  Vass, D. G., Bradford, G., Underwood, I., Crossland, W. A. & Reid, S. A., 1990, Applied Optics Digest (Conference on Applied Optics and Optoelectronics). p. 2 1 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The Discrete Rupture Surface Theory applied to Silos under Eccentric Discharge

  Rotter, J. M., Berry, P. A. & Ooi, J. Y., 1990, Proceedings 2nd European Symposium on the Stress and Strain Behaviour of Particulate Solids- Silo Stresses, Prague.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The effect of electric fields on nonaqueous dispersions

  Ottewill, R. H., Rennie, A. R. & Schofield, A., 1990, Progress in Colloid & Polymer Science. Vol. 81. p. 1-5 5 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • electric fields 100%
  • beads 85%
  • calcium 84%
  • neutron scattering 74%
  • strings 73%

• The Opportunity for Small Scale Hydro Power in Scotland

  Wallace, A. R., 1990, Proceedings 25th Universities Power Engineering Conference (UPEC). p. 4 1 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The optics of spatial light modulator pixels

  Sillitto, R. M., Vass, D. G., Underwood, I., McKnight, D. J., Hossack, W. J. & Snook, M. W. G., 1990, Conference on Applied Optics and Optoelectronics.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Theoretical and Experimental Study of Beam Functions from Rotating Arrays

  Lee, A. K. T. & Bryden, I., 1990, OMAE90.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The OYSTER-CLAM system

  Bundy, A., van Harmelen, F., Horn, C. & Smaill, A., 1990, Proceedings of the 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings. Springer-Verlag GmbH, Vol. Lecture Notes in Artificial Intelligence No. 449,. p. 647-648 (Lecture Notes in Computer Science; vol. 449).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• The placing of Mesozoic stromatoporoids within the Porifera

  Wood, R., 1990, New perspectives in Sponge Biology.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Thermodynamic properties of refrigerant mixtures using the CCOR equation of state

  Low, R. E. & Pritchard, C., 1990, Proc 3rd Intl Workshop research on advanced heat pumps. p. 9 1 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The State of the Art: Silo Design for Structural Strength

  Rotter, J. M., 1990, Proceedings 2nd European Symposium on the Stress and Strain Behaviour of Particulate Solids- Silo Stresses, Prague.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The Synthesis of Logic Programs from Inductive Proofs

  Bundy, A., Smaill, A. & Wiggins, G., 1990, Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990. Lloyd, J. (ed.). Springer Berlin Heidelberg, p. 135-149 15 p. (ESPRIT Basic Research Series).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

  • Specifications 100%

• The use of proof plans in formal methods

  Bundy, A., 1990, Design and implementation of symbolic computation systems: International Symposium DISCO '90 Capri, Italy, April 10–12, 1990 Proceedings. Miola, A. (ed.). Springer-Verlag GmbH, p. 151-153 (Lecture Notes in Computer Science; vol. 429).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Topographic controls on holocene ice margin dynamics in central west Greenland

  Warren, C. R. & Hulton, N., 1990, Proceedings of the European Union of Geoscience V.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Torque-angle prediction of standardised impulse turbines for micro hydro

  Wallace, A. R. & Whittington, H. W. P., 1990, Proceedings Conference Water Power, Dam Construction and Small Hydro. p. 8 1 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Turning Eureka Steps into Calculations in Automatic Program Synthesis

  Bundy, A., Smaill, A. & Hesketh, J., 1990, Proceedings of the UK IT 90 Conference.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

  • Theorem proving 100%
  • Specifications 48%

• Unsymmetrical Features of Measured Pressures on Prototype Grain Silos

  Ooi, J. Y. & Rotter, J. M., 1990, Proceedings 2nd European Symposium on the Stress and Strain Behaviour of Particulate Solids- Silo Stresses, Prague. p. 10 1 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Verifying temporal properties of processes

  Bradfield, J. & Stirling, C., 1990, CONCUR '90 Theories of Concurrency: Unification and Extension: Amsterdam, The Netherlands, August 27–30, 1990 Proceedings. Baeten, J. C. M. & Klop, J. W. (eds.). Springer Berlin Heidelberg, Vol. 458. p. 115-125 11 p. (Lecture Notes in Computer Science; vol. 458).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Volumetric and Deviatoric Behaviour of Wheat under Triaxial Testing

  Ooi, J. Y. & Rotter, J. M., 1990, Proceedings 2nd European Symposium on the Stress and Strain Behaviour of Particulate Solids- Silo Stresses, Prague.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Yield Improvement with Local Design Rules

  Allan, G. A., Walton, A. J. & Holwill, R. J., 1990, IEEE Workshop on Defect and Fault Tolerance In VLSI Systems. p. 9 1 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• 1989

  Introducing GIS Into Organisations

  Mackaness, W., 30 Nov 1989, Proceedings of the Inaugural Colloquium of the Spatial Information Research Centre, University Otago, Dunedin, NZ. p. 106-120 15 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Modular specifications in process algebra---with curious queues (extended abstract)

  van Glabbeek, R. J. & Vaandrager, F. W., 20 Sep 1989, Algebraic Methods: Theory, Tools and Applications. Wirsing, M. & Bergstra, J. A. (eds.). Springer-Verlag, Vol. 394. p. 465-506 42 p. (Lecture Notes in Computer Science; vol. 394).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Algebra 100%
  • Specifications 62%
  • Mathematical operators 21%
  • Semantics 16%

• Branching Time and Abstraction in Bisimulation Semantics (extended abstract)

  van Glabbeek, R. J. & Weijland, W. P., 1 Sep 1989, Information Processing 89, 11th World Computer Congress, San Francisco 1989. Ritter, G. X. (ed.). North-Holland Publishing Company, p. 613-618 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Semantics 100%

• Equivalence notions for concurrent systems and refinement of actions (extended abstract)

  van Glabbeek, R. J. & Goltz, U., 9 Aug 1989, Mathematical Foundations of Computer Science 1989: Porabka-Kozubnik, Poland, August 28 - September 1, 1989. Proceedings. Kreczmar, A. & Mirkowska, G. (eds.). Springer-Verlag, Vol. 379. p. 237-248 12 p. (Lecture Notes in Computer Science; vol. 379).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Semantics 100%

• A Rational Reconstruction and Extension of Recursion Analysis

  Bundy, A., van Harmelen, F., Hesketh, J., Smaill, A. & Stevens, A., Aug 1989, Proceedings of the 11th International Joint Conference on Artificial Intelligence - IJCAI 1989.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

  • Recursion 100%
  • Proof by induction 50%
  • Mathematical Induction 35%
  • Automation 32%
  • Schema 29%

• Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference

  Ohori, A., Buneman, P. & Breazu-Tannen, V., 1 Jun 1989, SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data. ACM, p. 46-57 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

  • Object-oriented databases 100%
  • Polymorphism 49%
  • Computer programming languages 36%

• Planning Text for Advisory Dialogues

  Moore, J. D. & Paris, C. L., 1 Jun 1989, Proceedings of the 27th Annual Meeting of the Association for Computational Linguistics. Vancouver, British Columbia, Canada: Association for Computational Linguistics, p. 203-211 9 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

  • Planning 100%

• Structure and representation in LF

  Harper, R., Sannella, D. & Tarlecki, A., 1 Jun 1989, Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on. p. 226-237 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• All-optical bistability in nematic liquid-crystals at microwatt power levels

  Lloyd, A., Wang, C. H. & Wherrett, B. S., 24 Apr 1989, Nonlinear Optical Materials II. Grun, J. B. (ed.). SPIE, p. 143-151 9 p. (Proceedings of the Society of Photo-Optical Instrumentation Engineers; vol. 1127).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The interpretation of visual motion: recognizing moving light displays

  Goddard, N. H., Mar 1989, Visual Motion, 1989.,Proceedings. Workshop on. Institute of Electrical and Electronics Engineers (IEEE), p. 212-220 9 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Display devices 100%
  • Data storage equipment 26%

• Coordinating the Activities of a Planner and an Execution Agent

  Tate, A., Feb 1989, Proceedings of the Second NASA Conference on Space Telerobotics. Rodriguez, G. & Seraji, H. (eds.). p. 385-393 9 p. (JPL Publication; vol. 89-7, no. 1).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Space platforms 100%
  • Planning 83%
  • Online systems 79%
  • Network protocols 44%
  • Specifications 42%