University of Bath

  • BA2 7AY Bath

    UK United Kingdom

Research Output 1964 2020

Filter
Conference contribution
1990

Univariate power series expansions in REDUCE

Padget, J. & Barnes, A., 1990, ISSAC '90: Proceedings of the international symposium on Symbolic and algebraic computation. Watanabe, S. (ed.). New York, U. S. A.: Association for Computing Machinery, p. 82-87 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1989

A Multiprocessor Execution Profiler

Burdorf, C., Fitch, J. P., Marti, J. B. & Padget, J. A., 1989, Software Track Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. University of Hawaii, p. 524-531 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Applications of computer algebra in solid modelling

Bowyer, A., Davenport, J. H., Milne, P. S., Padget, J. & Wallis, A. F., 1989, Eurocal '87: European Conference on Computer Algebra Leipzig, GDR, June 2–5, 1987: Proceedings. Berlin: Springer, p. 244-245 2 p. (Lecture Notes in Computer Science; vol. 378).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Effective tests for cyclotomic polynomials

Bradford, R. J. & Davenport, J. H., 1989, Symbolic and Algebraic Computation: International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988: Proceedings. Gianni, P. (ed.). Berlin, Germany: Springer, p. 244-251 8 p. (Lecture Notes in Computer Science; vol. 358).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Systematic design of dissipative and regenerative snubbers

Robinson, F. & Williams, B. W., 1 Jan 1989, Conference Record of the 1989 IEEE Industry Applications Society Annual Meeting. San Diego, USA: IEEE, Vol. 2. p. 1320-1327 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Diodes
Insulated gate bipolar transistors (IGBT)
Switches
Recovery
Electric commutation

The use of symbolic computation in geometric modelling

Wallis, A. F., Bowyer, A., Davenport, J. H., Milne, P. S. & Padget, J. A., 1 Sep 1989, Proceedings of the 3rd IMA Conference on the Mathematics of Surfaces (IMA),1988. Handscomb, D. C. (ed.). New York, U. S. A.: Clarendon Press, p. 199-206 8 p. (Mathematics of Surfaces).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1988

Active-Snubbing Or Passive-Snubbing for Fast Switches?

Robinson, F. & Williams, B., 1988, 14 Annual Conference of Industrial Electronics Society. IECON '88. . Singapore: IEEE, Vol. 3. p. 617-622 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
ringing
energy
aid
loss
parameter

Minimising snubbers for high-current emitter-switched transistors

Robinson, F. & Williams, B. W., 11 Apr 1988, 19th Annual IEEE Power Electronics Specialists Conference. PESC '88 Record. Kyoto, Japan: IEEE, Vol. 2. p. 797-804 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
clamps
high current
emitters
transistors
power loss

Optimising snubbers for high-current emitter-switched transistors

Robinson, F. & Williams, B., 13 Jul 1988, Third International Conference on Power Electronics and Variable-Speed Drives. London, UK: IET, p. 177-180 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
Transistors
Clamping devices
Electric potential
Energy dissipation
Rails
1987

Synthesis of myo-inositol phosphates and analogues using a phosphite chemistry approach

Hamblin, M. R., Potter, B. V. L. & Gigg, R., 1987, Biochemical Society Transactions, 1987. 3 ed. Biochemical Society, Vol. 15. p. 1289-1290

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1986

Current Developments in LISP

Padget, J., Jan 1986, EUROCAL'85: European Conference on Computer Algebra Linz, Austria, April 1–3 1985 Proceedings Vol. 1: Invited Lectures. Buchberger, B. (ed.). Berlin, Germany: Springer Verlag, p. 45-57 13 p. (Lecture Notes in Computer Science; vol. 203).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Pure Language
Inclusion
Hardware
Paradigm
Japan

Desiderata for the standardization of LISP

Padget, J., Chailloux, J., Christaller, T., Lopez De Mantaras, R., Dalton, J., Devin, M., ffitch, J. P., Krumnack, T., Neidl, E., Papon, E., Pope, S., Queinnec, C., Steels, L. & Stoyan, H., Aug 1986, Proceedings of the ACM Conference on LISP and Functional Programming. Gabriel, R. P. (ed.). Cambridge, U. S. A.: Association for Computing Machinery, p. 54-66 13 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Enlarging the REDUCE domain of computation

Bradford, R. J., Hearn, A. C., Padget, J. A. & Schrüfer, E., 1986, SYMSAC '86: Proceedings of the Fifth ACM Symposium on Symbolic and Algebraic Computation. New York, U. S. A.: Association for Computing Machinery, p. 100-106 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Experience with an uncommon Lisp

Alberga, C., Bosman-Clark, C., Mikelsons, M., Deusen, M. V. & Padget, J., 1986, Proceedings of the 1986 ACM conference on LISP and functional programming. Cambridge, Massachusetts, US: Association for Computing Machinery, Vol. 1986. p. 39-53 15 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Mung bean nuclease catalyses DNA cleavage with inversion of configuration at phosphorus

Hamblin, M. R., Cummins, J. H. & Potter, B. V. L., 1986, Biochemical Society Transactions, 1986. 5 ed. Biochemical Society, Vol. 14. p. 899-900

Research output: Chapter in Book/Report/Conference proceedingConference contribution

On numbers and polynomials

Davenport, J. & Padget, J., 1986, Computers and Computing: Proceedings of the International Conference, Future Trends of Computing dedicated to N. Gastinel, grenoble, 2-6 December 1985. Chenin, P., Crescenzo, C. D. & Robert, F. (eds.). Chichester, U. K.: Wiley Masson, p. 49-53 5 p. (Études et recherches en informatique).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Stereochemical mechanism of the cleavage reaction catalysed by bovine intestinal mucosa 5′-nucleotide phosphodiesterase

Cummins, J. H. & Potter, B. V. L., 1986, Biochemical Society Transactions, 1986. 6 ed. Biochemical Society, Vol. 14. p. 1289-1290

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards a LISP standard

Stoyan, H., Chailloux, J., ffitch, J. P., Krumnack, T., Neidl, E., Padget, J., Attardi, G., Christaller, T., Dalton, J., Devin, M., Lang, B., Mantaras, R. L. D., Papon, E., Pope, S., Quiennec, C. & Steels, L., 1986, Advances in Artificial Intelligence, II: Seventh European Conference on Artificial Intelligence, ECAI-86, Brighton, U.K., July 20--25, 1986. Boulay, B. D., Hogg, D. & Steels, L. (eds.). Amsterdam, The Netherlands: North-Holland Publishing Co., Vol. 2. p. 46-52 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1985

Closurize and Concentrate

Padget, J. A. & Fitch, J. P., 1985, POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages. New York: Association for Computing Machinery, p. 255-265 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Graph theory
Labeling
Semantics

HEUGCD- How elementary upperbounds generate cheaper data

Davenport, J. & Padget, J., 1 Apr 1985, EUROCAL '85: European Conference on Computer Algebra Linz, Austria, April 1–3 1985 Proceedings Vol. 2: Research Contributions. Caviness, B. F. (ed.). Berlin, Germany: Springer Verlag, p. 18-28 11 p. (Lecture Notes in Computer Science; vol. 204).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

The Extent of Scope

Fitch, J. P. & Padget, J. A., 1985, Proceedings of 5th Hungarian Computer Science Conference, Gy\H{o}r, Hungary. Budapest: Hungariam Academy of Sciences, p. 173-184 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

The rationale of LIER: A considered LISP

Padget, J. & Fitch, J., 1985, The Second RIKEN International Symposium on Symbolic and Algebraic Computation by Computers. Inada, M. & Soma, S. (eds.). Philadelphia PA, USA: Word Scientific Publishing Company, Vol. 2. p. 41-53 13 p. (Series in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1984

A paint program for the graphic arts in printing

Willis, P., 1984, Proceedings of the European Graphics Conference and Exhibition, Copenhagen, Denmark 12-14 September. Bo, K. & Tucker, H. A. (eds.). Amsterdam: North-Holland Publishing Co., p. 109-120

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Paint
Printing
Painting
Transcription
Color

A Pure And Really Simple Initial Functional Algebraic Language

Fitch, J. P. & Padget, J. A., 1984, EUROSAM 84 International Symposium on Symbolic and Algebraic Computation Cambridge, England, July 9–11, 1984. Fitch, J. P. (ed.). 174 ed. Heidelberg: Springer, p. 148-158 11 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

LISP (programming language)
algebra
rational functions
evaluation
lists
1983

Integration - what do we want from the theory?

Davenport, J. H., 1983, Computer Algebra: EUROCAL '83, European Computer Algebra Conference, London, England, March 28-30, 1983: Proceedings. Hultzen, J. A. V. (ed.). Berlin, Germany: Springer, p. 2-11 10 p. (Lecture Notes in Computer Science; vol. 162).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

The Ecology of LISP or the Case for the Preservation of the Environment

Padget, J., 1 Mar 1983, Computer Algebra. Proceedings of EUROCAL'83, European Computer Algebra Conference. Hulzen, J. A. V. (ed.). London, U. K.: Springer Verlag, p. 91-100 10 p. (Lecture Notes in Computer Science; vol. 162).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1982

Escaping from intermediate expression swell: a continuing saga

Padget, J., 1 Apr 1982, Computer Algebra : EUROCAM '82, European Computer Algebra Conference Marseille, France 5–7 April 1982. Calmet, J. (ed.). Berlin, Germany: Springer Verlag, p. 256-262 7 p. (Lecture Notes in Computer Science; vol. 144).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

The Parallel Risch Algorithm (I)

Davenport, J. H., 1982, Computer algebra: EUROCAM '82, European Computer Algebra Conference, Marseille, France 5-7 April 1982. Calmet, J. (ed.). Berlin, Germany: Springer, p. 144-157 14 p. (Lecture Notes in Computer Science; vol. 144).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1981

Effective mathematics: the computer algebra viewpoint

Davenport, J. H., 1981, Constructive Mathematics: Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980. Richman, F. (ed.). Berlin, Germany: Springer, p. 31-43 13 p. (Springer Lecture Notes in Mathematics; vol. 873).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1980

Form finding and cutting patterns for air-supported structures

Williams, C., 1980, Air-supported structures: the state of the art. London: Institution of Structural Engineers, p. 99-120 22 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
1979

Algorithms for the integration of algebraic functions

Davenport, J. H., 1979, Symbolic and Algebraic Computation: Eurosam '79, An International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979. Ng, E. W. (ed.). Berlin, Germany: Springer, p. 415-425 11 p. (Lecture Notes in Computer Science; vol. 72).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

The computerisation of algebraic geometry

Davenport, J. H., 1979, Symbolic and Algebraic Computation : Eurosam '79, An International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979. Ng, E. W. (ed.). Berlin, Germany: Springer, p. 119-133 15 p. (Lecture Notes in Computer Science; vol. 72).

Research output: Chapter in Book/Report/Conference proceedingConference contribution