University of Bath

  • BA2 7AY Bath

    UK United Kingdom

Research Output 1964 2030

Filter
Conference contribution
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

1980
10 Downloads (Pure)

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
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

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

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

1984
24 Downloads (Pure)

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
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

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

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

1988
45 Downloads (Pure)

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
34 Downloads (Pure)

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
16 Downloads (Pure)

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
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

46 Downloads (Pure)

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

1990

Concurrent object-oriented processing in Lisp

Padget, J., Bradford, R. & ffitch, J. P., Jan 1990, Proceedings of BCS Workshop on High Performance and Parallel Computing in Lisp, 1990. Europal Ltd.

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

64 Downloads (Pure)

Evaluating the reduction in snubbing with soft-recovery devices and the effect of resistor inductance

Robinson, F. & Williams, B., 7 Oct 1990, Conference Record of the Industry Applications Society Annual Meeting. Seattle, USA: IEEE, Vol. 2. p. 1686-1694 9 p.

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

Open Access
File
Inductance
Resistors
Energy dissipation
Recovery
Diodes
51 Downloads (Pure)

Scratchpad's view of algebra I: Basic commutative algebra

Davenport, J. H. & Trager, B. M., 1990, Design and Implementation of Symbolic Computation Systems: International Symposium DISCO '90 Capri, Italy, April 10–12, 1990 Proceedings. Berlin: Springer, p. 40-54 (Lecture Notes in Computer Science; vol. 429/1990).

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

Open Access
File
Basic Algebra
Commutative Algebra
Algebra
Computer algebra system
Polynomial function

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

1991

A proposal for a modular Lisp with macros and dynamic evaluation

Queinnec, C. & Padget, J., 1 Oct 1991, Journées de Travail sur l'Analyse Statique en Programmation Équationnelle, Fonctionnelle et Logique. Bordeaux, France: BIGRE: Bulletin d'information du Groupe de recherche sur les outils de conception et d'écriture des systèmes opératoires, p. 1-8 8 p.

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

Bridging the MIMD-SIMD gap

Merrall, S. & Padget, J., 1991, Proceedings of the BCS workshop on Abstract Machine Models for Highly Parallel Computers, 1991.

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

Modules, macros and Lisp

Queinnec, C. & Padget, J., 1 Oct 1991, Computer Science Research and Applications: Proceedings of the Eleventh International Conference of the Chilean Computer Science Society, 1991. Baeza-Yates, R. & Manber, U. (eds.). New York, U. S. A.: Plenum Publishing Corporation, p. 109-122

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

1992

Collections and garbage collection

Merrall, S. C. & Padget, J. A., 1992, Memory Management: Proceedings of International Workshop IWMM 92 St. Malo, France, September 17–19, 1992 . Bekkers, Y. & Cohen, J. (eds.). Berlin, Germany: Springer Verlag, p. 473-489 17 p. (Lecture Notes in COmputer Science; vol. 637).

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

Data storage equipment
Processing

Mixing concurrency abstractions and classes

Padget, J., Broadbery, P. & Hutchinson, D., 1 Jun 1992, Research Directions in High-Level Parallel Programming Languages: Proceedings of Mont Saint-Michel, France, June 17–19, 1991 . Banâtre, J. P. & Metayer, D. L. (eds.). Berlin, Germany: Springer Verlag, p. 174-186 13 p. (Lecture Notes in Computer Science; vol. 574).

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

Object oriented programming
Network protocols
Experiments
1993

Algebraic simplification of multiple-valued functions

Bradford, R., 1993, Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '92 Bath, U.K., April 13–15, 1992 Proceedings. Springer, p. 13-21 9 p. (Lecture Notes in Computer Science; vol. 721).

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

simplification
current algebra
algebra

Architecture independence and coordination

Padget, J., Batey, D. & Merrall, S., 1993, Parallel Symbolic Computing: Languages Systems and Applications US/Japan Workshop Cambridge, MA, USA, October 14–17, 1992 Proceedings. Springer, Vol. 748/1993. p. 287-299 13 p. (Lecture Notes in Computer Science).

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

Iontophoretic transdermal delivery of nafarelin, a GnRH analog

Delgado-Charro, M. B., Rodriguez-Bayon, A. M. & Guy, R. H., 1993, Proceedings of the Controlled Release Society. Vol. 20. p. 88-89 2 p.

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

Object-oriented execution of OPS5 production systems

Odeh, M. H. & Padget, J. A., 1993, OOPSLA '93: Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications. Babitsky, T. (ed.). New York, U. S. A.: Association for Computing Machinery, p. 178-190 13 p.

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

Textural analysis and structure-tracking for geological mapping: applications to sonar images from endeavour segment, Juan de Fuca Ridge

Blondel, P., Sempere, J. C. & Robigou, V., 1 Dec 1993, Proceedings of OCEANS '93. Anon (ed.). IEEE, p. 208-213 6 p.

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

Towards A Virtual Multicomputer

Batey, D. & Padget, J., 1993, Proceedings of Workshop on Heterogeneous Processing at the International Parallel Processing Symposium (WHP93). IEEE, p. 71-76 6 p.

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

1994

Controlling (virtual) multicomputers

Padget, J., 1 May 1994, Proceedings of the 1st International Conference on Massively Parallel Computing Systems, 1994. Los Alamitos, U. S. A.: IEEE, p. 102-112

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

Data storage equipment
Computer workstations
Parallel processing systems
Communication
48 Downloads (Pure)

Interleaved switching topology for three-phase power-factor correction

Chunkag, V. & Robinson, F., 31 Oct 1994, Fifth International Conference on Power Electronics and Variable-Speed Drives. IET, p. 280-285 6 p.

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

Open Access
File
Design aids
Power converters
Capacitors
Switches
Topology

Kinetics of mycobacterium M156 for chiral biotransformations

Caridis, K. A., Stuckey, D. C. & Leak, D. J., 1 Jan 1994, Institution of Chemical Engineers Symposium Series. Anon (ed.). The Institution of Chemical Engineers, p. 37-39 3 p. (Institution of Chemical Engineers Symposium Series).

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

42 Downloads (Pure)

Maximising device current utilisation in inverter drives

Robinson, F., 26 Oct 1994, Fifth International Conference on Power Electronics and Variable-Speed Drives. London, UK: IET, p. 580-585 6 p.

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

Open Access
File
Power converters
Pulse width modulation
Feedback
Temperature
Power semiconductor devices