University of Bath

  • BA2 7AY Bath

    UK United Kingdom

Research Output 1964 2020

Filter
Conference contribution
1997
77 Citations (Scopus)

Full abstraction for functional languages with control

Laird, J., Dec 1997, Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science (LICS), 1997. Anon (ed.). California, U. S. A.: IEEE, p. 58-67 10 p.

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

Factorization
Mathematical operators
Acoustic waves

High Velocity Resolution Observations of the ISM in NGC 4151

Asif, M. W., Unger, S. W., Pedlar, A., Mundell, C., Robinson, A. & Walton, N. A., 1997, Quasar Hosts: Proceedings of the ESO-IAC Conference held on Tenerife, Spain. Clements, D. L. & Perez-Fournon, I. (eds.). Berlin, Germany: Springer Verlag, p. 168-170

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

7 Citations (Scopus)

Robust control of a lightweight flexible manipulator under the influence of gravity

Sutton, R. P., Halikias, G. D., Plummer, A. R. & Wilson, D. A., 1997, Control Applications, 1997., Proceedings of the 1997 IEEE International Conference on. IEEE, p. 300-305 6 p.

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

Flexible manipulators
Robust control
Gravitation
Controllers

Ten questions that arose in designing the Djinn API for solid modelling

Bowyer, A., Cameron, S., Jared, G., Martin, R., Middleditch, A., Sabin, M. & Woodwark, J., 1997, Proceedings - 1997 International Conference on Shape Modeling and Applications. IEEE, p. 71-76 6 p.

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

Application programming interfaces (API)
Data structures
Labels
Navigation

Transmission of subcarrier multiplexed signals over multimode fibre links using vertical cavity surface emitting lasers

Raddatz, L., White, I. H. & Penty, R. V., 1 Jan 1997, International Topical Meeting on Microwave Photonics, MWP 1997. IEEE, p. 201-204 4 p. 740262. (International Topical Meeting on Microwave Photonics, MWP 1997).

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

Using HI to Probe AGN Hosts and Their Nuclei

Mundell, C., 1997, Quasar Hosts: Proceedings of the ESO-IAC Conference held on Tenerife, Spain. Clements, D. L. & Perez-Fournon, I. (eds.). Berlin, Germany: Springer Verlag, p. 156

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

1998

Advanced modeling and simulation techniques for magnetic component optimization

Wilson, P. R., 1998, Power, Electronics and Variable Speed Drives, 7th International Conference, 1998: Conference Publication No. 456. IET, p. 187-193

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

120 Citations (Scopus)

A fully abstract game semantics for general references

Abramsky, S., Honda, K. & McCusker, G., 1 Jan 1998, Proceedings - 13th Annual IEEE Symposium on Logic in Computer Science, LICS 1998. IEEE, Vol. 1998-June. p. 334-344 11 p.

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

A tunable architecture for delivering interpreted programs

Padget, J. & Kind, A., 1998, Actes de JFLA98 - Journées Francophone des langages applicatifs. Cerri, S. & Queinnec, C. (eds.). Institute national de recherche en informatique et en automatique, p. 117-139 23 p. (Collection Didactique).

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

Characterization of the permselective properties of neonatal porcine skin

Alvarez, A. L., Mendez, J. B., Guy, R. H. & Delgado-Charro, M. B., 1998, Proceedings of the Controlled Release Society. p. 601-602 2 p.

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

Experimental results in the vibration control of a highly flexible manipulator

Plummer, A. R., Sutton, R. P., Wilson, D. A. & Halikias, G. D., 1998, Proceedings of Movic’98. Vol. 3. p. 877-882 6 p.

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

Multi-lingual threading

Kind, A. & Padget, J., 1998, Proceedings of 6th Euromicro Workshop on Parallel and Distributed Processing, 1998. IEEE, p. 431-437 7 p.

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

Machine oriented languages
UNIX

Some insights into the effects of knowledge on risk perception and precautionary behaviour

Weyman, A. & Goddard, H., 1998, British Occupational Hygiene Society Conference, Sheffield May 1998..

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

1999

A library for parallel modular arithmetic

Power, D. & Bradford, R., 1999, Euro-Par’99 Parallel Processing: 5th International Euro-Par Conference Toulouse, France, August 31 – September 3, 1999 Proceedings. Amestoy, P., Berger, P., Dayde, M., Ruiz, D., Duff, I., Fraysse, V. & Girard, L. (eds.). Berlin: Springer, p. 1476-1483 8 p. (Lecture Notes in Computer Science; vol. 1685).

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

Hardware
Costs
1 Citation (Scopus)

All-optical regeneration and wavelength conversion in an integrated semiconductor optical amplifier/distributed feedback laser

Stephens, M. F. C., Lowery, A., Penty, R. V. & White, I. H., 26 Feb 1999, OFC/IOOC 1999 - Optical Fiber Communication Conference and the International Conference on Integrated Optics and Optical Fiber Communication. IEEE, p. 125-127 3 p. 767814. (OFC/IOOC 1999 - Optical Fiber Communication Conference and the International Conference on Integrated Optics and Optical Fiber Communication; vol. 1).

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

23 Citations (Scopus)
57 Downloads (Pure)

A minimum-energy-based capacitor voltage balancing control strategy for MPC conversion systems

Marchesoni, M., Mazzucchelli, M., Robinson, F. & Tenca, P., 12 Jul 1999, Proceedings of the IEEE International Symposium on Industrial Electronics, ISIE '99. Bled, Slovenia: IEEE, Vol. 1. p. 20-25 6 p.

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

Open Access
File
Pulse width modulation
Capacitors
Electric potential
Power converters
Redundancy
1 Citation (Scopus)

Analysis of polarisation pinning in vertical cavity surface emitting lasers using etched trenches

Sargent, L. J., Rorison, J. M., Kuball, M., Penty, R. V., White, I. H., Heard, P. J., Tan, M. R. T., Corzine, S. W., Babic, D. I. & Wang, S. Y., 1 Jan 1999, Proceedings of SPIE - The International Society for Optical Engineering. SPIE, p. 186-192 7 p. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 3627).

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

Angled launch techniques using vertical cavity surface emitting lasers for gigabit data links

Webster, M., White, I. H. & Penty, R. V., 1 Jan 1999, Proceedings of SPIE - The International Society for Optical Engineering. SPIE, p. 159-171 13 p. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 3627).

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

A shared knowledge base for interdisciplinary parametric product data models in CAD

Schaefer, D., Eck, O. & Roller, D., 1999, Proceedings of the 12th International Conference on Engineering Design (ICED), 1999: Volume 3. Munich, Germany: Technische Universitat Munchen, p. 1593-1598

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

A π-calculus model of the spanish fish market

Padget, J. & Bradford, R., 1999, Agent Mediated Electronic Commerce: First International Workshop on Agent Mediated Electronic Trading, AMET'98, Minneapolis, MN, USA, May 10th, 1998 Selected Papers. Noriega, P. & Sierra, C. (eds.). Berlin, Germany: Springer Verlag, p. 166-188 23 p. (Lecture Notes in Artificial Intelligence; vol. 1571).

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

6 Citations (Scopus)
41 Downloads (Pure)

Comparative study of parallel hybrid filters in resonance damping

Li, R., Johns, A. R., Elkateb, M. M. & Robinson, F. V. P., 29 Aug 1999, International Conference on Electric Power Engineering. PowerTech Budapest 99. Budapest, Hungary: IEEE, 1 p.

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

Open Access
File
Damping
Active filters
Inductance
Topology

Design and analysis of phase locked loops using behavioral modeling and mixed mode simulation techniques

Wilson, P. R., 1999, DATE.

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

Phase locked loops
Computer hardware description languages
Simulators
FORTRAN (programming language)
High level languages

Dual-purpose vertical-cavity optoelectronic components for data communication applications

Dragas, M., White, I. H., Penty, R. V., Rorison, J., Heard, P. J. & Parry, G., 1 Jan 1999, Proceedings of SPIE - The International Society for Optical Engineering. SPIE, p. 152-158 7 p. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 3627).

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

5 Citations (Scopus)

Effect of area on the iontophoretic transport of phenylalanine and propranolol across the skin

Lopez-Castellano, A., Guy, R. H. & Delgado-Charro, M. B., 1999, Proceed. Intern. Symp. Control. Rel. Bioact. Mater. Vol. 26. p. 405-406 2 p.

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

1 Citation (Scopus)

High power laser with integrated lens using focused ion beam etching

Rashed, A. M., Williams, K. A., Penty, R. V., White, I. H., Heard, P. J., Day, J. C. C. & Allen, G. C., 1 Jan 1999, CLEO/Pacific Rim 1999 - Pacific Rim Conference on Lasers and Electro-Optics. IEEE, p. 1091-1092 2 p. 814678. (CLEO/Pacific Rim 1999 - Pacific Rim Conference on Lasers and Electro-Optics; vol. 4).

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

2 Citations (Scopus)

Improved modelling of tapered IDG antennas

Hannigan, A. B., Pennock, S. R. & Shepherd, P. R., 7 Oct 1999, 1999 29th European Microwave Conference. IEEE, p. 335-338 4 p.

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

3 Citations (Scopus)

Iontophoretic transport mechanisms: Effect of background electrolyte and competing ions

Marro, D., Delgado-Charro, M. B., Kalia, Y. N. & Guy, R. H., 1999, Proceed. Intern. Symp. Control. Rel. Bioact. Mater. Vol. 26. p. 94-95 2 p.

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

Microemulsions as a vehicle for topical administration of methoxalen

Baroli, B., Lopez-Quintela, M. A., Delgado-Charro, M. B., Fadda, A. M. & Blanco-Mendez, J., 1999, Proceed. Intern. Symp. Control. Rel. Bioact. Mater. Vol. 26. p. 479-480 2 p.

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

Neutral Hydrogen Absorption in Nearby Active Galaxies

Pedlar, A., Wills, K. A., Cole, G. H. J., Muxlow, T. W. B., Mundell, C. & Gallimore, J. F., Jan 1999, Highly Redshifted Radio Lines: Proceedings of a Conference Held in Green Bank WV USA October 9-1, 1997 . Astronomical Society of the Pacific, p. 252 (ASP Conference series; vol. 156).

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

active galaxies
hydrogen
galactic structure
nuclei
Seyfert galaxies
3 Citations (Scopus)

Picosecond pulse source for OTDM/WDM applications based on arrayed waveguide grating

Khrushchev, I. Y., Bainbridge, J. D., Penty, R. V., White, I. H., Whiteaway, J. E. A., Day, S. & Clements, S. J., 1 Jan 1999, OFC/IOOC 1999 - Optical Fiber Communication Conference and the International Conference on Integrated Optics and Optical Fiber Communication. IEEE, p. 296-298 3 p. 768144. (OFC/IOOC 1999 - Optical Fiber Communication Conference and the International Conference on Integrated Optics and Optical Fiber Communication; vol. 3).

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

31 Citations (Scopus)

Quantum mechanical enhancement of the random dopant induced threshold voltage fluctuations and lowering in sub 0.1 micron MOSFETs

Asenov, A., Slavcheva, G., Brown, A. R., Davies, J. H. & Saini, S., 1999, IEDM '99 Technical Digest: International Electron Devices Meeting, 1999 . IEEE, p. 535-558

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

threshold voltage
field effect transistors
augmentation
inversions
valleys
1 Citation (Scopus)

Sonophoresis: How does ultrasound enhance drug transport across the skin?

Merino, G., Kalia, Y. N., Delgado-Charro, M. B., Potts, R. O. & Guy, R. H., 1999, Proceed. Intern. Symp. Control. Rel. Bioact. Mater. Vol. 26. p. 383-384 2 p.

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

Towards meta-agent protocols

Kind, A. & Padget, J., 1999, Collaboration between Human and Artificial Societies: Coordination and Agent-Based Distributed Computing. Padget, J. A. (ed.). Berlin, Germany: Springer Verlag, p. 30-42 13 p. (Lecture Notes in Computer Science; vol. 1624).

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

Network protocols
Software agents
Fault tolerance
Monitoring

Vega Vision: a vision system for recognizing license plates

Kim, K. I., Kim, K. K., Park, S. H., Jung, K., Park, M. H. & Kim, H. J., 1999, Proc. IEEE International Symposium on Consumer Electronics, 1999. p. 176-181 6 p.

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

Vertical cavity optoelectronic transceivers for short distance data communications links

Dragaš, M., White, I. H., Penty, R. V., Rorison, J., Williams, K. A., Heard, P. J. & Parry, G., 1 Jan 1999, OFC/IOOC 1999 - Optical Fiber Communication Conference and the International Conference on Integrated Optics and Optical Fiber Communication. IEEE, p. 244-246 3 p. 766397. (OFC/IOOC 1999 - Optical Fiber Communication Conference and the International Conference on Integrated Optics and Optical Fiber Communication; vol. 2).

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

2000
6 Citations (Scopus)

Adaptive-Q control of vibration due to unknown disturbances in rotor/magnetic bearing systems

Cole, M. O. T., Keogh, P. S. & Burrows, C. R., 2000, Proceedings of the 2000 IEEE International Conference on Control Applications. Piscataway, U. S. A.: IEEE, Vol. 1. p. 965-970

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

Magnetic bearings
Rotors
Controllers
State feedback
Transfer functions

A Neutron Powder Diffraction Study of the Ferromagnetic Superconductor RuSr2(Gd1.3Ce0.7)Cu2O10-σ

Knee, C. S. & Weller, M. T., 1 Jan 2000, Symposium II: High Temperature Conductors, Crystal Chemistry, Processing & Properties. Balachandran, U., Freyhardt, H. C., Izumi, T. & Larbalestier, T. C. (eds.). Materials Research Society, Vol. 659.

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

Auctions without auctioneers: distributed auction protocols

Esteva, M. & Padget, J., 2000, Agent-mediated Electronic Commerce II: Towards Next-Generation Agent-Based Electronic Commerce Systems. Moukas, A., Sierra, C. & Ygge, F. (eds.). Berlin, Germany: Springer Verlag, p. 220-238 19 p. (Lecture Notes in Artificial Intelligence; vol. 1788).

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

5 Citations (Scopus)

A video indexing system using character recognition

Kim, E. Y., Kim, K. I., Jung, K. & Kim, H. J., 2000, Proc. IEEE International Conference on Consumer Electronics, 2000. IEEE, p. 358-359 2 p.

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

Character recognition
Automatic indexing
Textures
Neural networks
3 Citations (Scopus)

Digital control of a flexible manipulator

Goh, S. P., Plummer, A. R. & Brown, M. D., 2000, Proceedings of the American Control Conference, 2000: Volume 3. IEEE, p. 2205-2209 5 p.

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

Flexible manipulators
Poles
Manipulators
Gravitation
Controllers
1 Citation (Scopus)

Fast modulation performance of uncooled semiconductor lasers

Peaty, R. V., Massara, A. B., Webster, M., Williams, K. A. & White, I. H., 1 Jan 2000, International Topical Meeting on Microwave Photonics, MWP 2000. IEEE, p. 101-104 4 p. 889797. (International Topical Meeting on Microwave Photonics, MWP 2000).

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

Free-Free Absorption on Parsec Scales in Seyfert Galaxies

Roy, A. L., Ulvestad, J. S., Wilson, A. S., Colbert, E. J. M., Mundell, C., Wrobel, J. M., Norris, R. P., Falcke, H. & Krichbaum, T. P., 2000, Perspectives on Radio Astronomy - Science with Large Antenna Arrays : Proceedings of the Conference held at the Royal Netherlands Academy of Arts and Sciences in Amsterdam on 7-9 April 1999. van Haarlem, P. (ed.). p. 173

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

1 Citation (Scopus)

Molecular genetic analysis of the Sd1 aphid resistance locus in Malus

Cevik, V. & King, G. J., Oct 2000, ISHS Acta Horticulturae, 538 : Eucarpia Symposium on Fruit Breeding and Genetics, 1999 . Geibel, M., Fischer, M. & Fischer, C. (eds.). Dresden, Germany, p. 553-559 7 p.

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

Neural network-based OCR for video indexing

Jung, K. Y., Jung, K., Kim, K. I., Kim, H. J. & Lee, C. W., 2000, Proc. International Conference on Advances in Pattern Recognition and Digital Techniques. p. 321-325 5 p.

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

Online cursive Korean character recognition using affine transformation with topological relations

Kim, K. I., Jung, K., Park, S. H. & Kim, H. J., 2000, Proc. International Conference on Advances in Pattern Recognition and Digital Techniques. p. 437-441 5 p.

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

2001

A combined EXAFS and powder diffraction study of local and averaged structure in complex oxides

Binsted, N., Stange, M., Fjellvag, H. & Weller, M. T., 1 Jan 2001, AIP Conference Proceedings. American Institute of Physics, Vol. 554. p. 470-477

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

1 Citation (Scopus)

A deconstruction of non-deterministic classical cut elimination

Laird, J., 2001, Typed Lambda Calculi and Applications: Proceedings of 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001. Abramsky, S. (ed.). Berlin, Germany: Springer Verlag, p. 268-282 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2044 ).

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

Cut-elimination
Sequent Calculus
Lambda Calculus
Termination
Operator
24 Citations (Scopus)

A fully abstract game semantics of local exceptions

Laird, J., Jun 2001, Proceedings of 16th Annual IEEE Symposium on Logic in Computer Science, 2001. IEEE, p. 105-114 10 p.

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

Semantics
Factorization
Flow control
53 Citations (Scopus)
114 Downloads (Pure)

ARCO: An Architecture for Digitization, Management and Presentation of Virtual Exhibitions

White, M., Mourkoussis, N., Darcy, J., Petridis, P., Liarokapis, F., Lister, P., Walczak, K., Wojciechowski, R., Cellary, W. & Patel, M., Jun 2001, Computer Graphics International, 2004. Proceedings.. p. 622-625 4 p.

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

File
Analog to digital conversion
Museums
Interoperability
Virtual reality
Visualization

Circumnuclear dynamics in Mrk 273 and Mrk 231

Richards, A. M. S., Cohen, R. J., Cole, G. H., Holloway, A. J., Pedlar, A., Collett, J. L., Knapen, J. H., Yates, J. A., Field, D., Gray, M. D., Mundell, C. & Wright, M. M., Jan 2001, Galaxies and their Constituents at the Highest Angular Resolutions: Proceedings of IAU Symposium #205, held 15-18 August 2000 . Schilizzi, R. T. (ed.). p. 212

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

masers
line of sight
continuums
rotating disks
irregularities