University of Bath

  • BA2 7AY Bath

    UK United Kingdom

Research Output

Filter
Conference contribution
2001

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

1 Citation (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

24 Citations (Scopus)

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
61 Citations (Scopus)
222 Downloads (Pure)

Behavioural modelling of operational amplifier faults using analogue hardware description languages

Wilson, P. R., Kiliç, Y., Ross, J. N., Zwolinski, M. & Brown, A. D., 2001, BMAS 2001 - Proceedings of the 5th IEEE International Workshop on Behavioral Modeling and Simulation. IEEE, p. 106-112 7 p. 962506. (Proceedings of the IEEE International Workshop on Behavioral Modeling and Simulation, BMAS; vol. 2001-January).

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

7 Citations (Scopus)

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

Creating a computer-assistant for performance

ffitch, J. & Padget, J., 2001, Proceedings of Music Without Walls? Music Without Instruments? (De Montfort, June 2001)..

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

Dynamical optical near-gap solitons

Kovalev, A. S., Usatenko, O. V. & Gorbach, A. V., 30 May 2001, Eighth International Conference on Nonlinear Optics of Liquid and Photorefractive Crystals. V.Klimusheva, G. & G.Iljin, A. (eds.). SPIE, Vol. 4418. p. 251-258 8 p. (The International Society for Optical Engineering).

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

Electron-hole interactions and metal-insulator transitions in InAs/GaSb

Nicholas, R., Takashina, K., Kardynal, B., Petchsingh, C., Mason, N., Maude, D. & Portal, J. C., 2001, Proc. NGS 10, IPAP Conf. Series 2. p. 9-12

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

Experience of behavioural modeling in the mixed-signal ASIC design process - a case study

Wilson, P. R., Chapman, P., Ross, J. N. & Brown, A. D., 1 Oct 2001, Proceedings of the Fifth IEEE International Workshop on Behavioral Modeling and Simulation (BMAS), 2001 . IEEE, p. 26-31

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

Exploiting nonlinear structures of computational general equilibrium models

Condevaux-Lanloy, C., Epelly, O. & Fragnière, E., 1 Jan 2001, Numerical Analysis and Its Applications - 2nd International Conference, NAA 2000, Revised Papers. Vulkov, L., Yalamov, P. & Waniewski, J. (eds.). Springer Verlag, p. 214-221 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1988).

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

1 Citation (Scopus)

Formalization of UML Statechart Diagrams in the π-calculus

Lam, V. & Padget, J., Aug 2001, Proceedings of the 13th Australian Software Engineering Conference (ASWEC'01). p. 213--223 11 p.

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

10 Citations (Scopus)

Insulating states of a two-dimensional electron-hole system in high magnetic field

Takashina, K., Nicholas, R., Kardynal, B., Mason, N., Maude, D. & Portal, J. C., 2001, Proc. ICPS 25, Springer Proceedings in Physics 87, II. p. 895

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

Learning-based approach for license plate recognition

Kim, K. K., Kim, J. B., Kim, K. I. & Kim, H. J., 31 Jan 2001, Neural Networks for Signal Processing X, 2000: Proc. IEEE International Workshop on Neural Networks for Signal Processing, 2000. Volume 2. Widrow, B., Larsen, J., Guan, L., Wilson, E., Paliwa, K., Douglas, S. & Adali, T. (eds.). IEEE, p. 614-623 10 p.

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

136 Citations (Scopus)

Magnetotransport in two-dimensional lateral superlattices in strongly coupled electron-hole gasses

Kardynal, B., Nicholas, R., Rehman, J., Takashina, K. & Mason, N., 2001, Proc. ICPS 25, Springer Proceedings in Physics 87, I. p. 783

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

Modelling simple market structures in process algebras with locations

Padget, J., 2001, AISB'01 Symposium on Software Mobility and Adaptive Behaviour. Luc, M. (ed.). p. 1-9 9 p.

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

Parsec-scale jets and tori in seyfert galaxies

Roy, A. L., Wrobel, J. M., Wilson, A. S., Ulvestad, J. S., Mundell, C., Norris, R. P., Krichbaum, T. P., Falcke, H. & Colbert, E. J. 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. 70

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

Performance investigations of a novel rolling traction CVT

Akehurst, S., Brace, C. J., Vaughan, N. D., Milner, P. & Hosoi, Y., 1 Dec 2001, SAE 2001 World Congress, Detroit, Michigan. SAE International, 2001-01-0874. (SAE Technical Papers Series).

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

6 Citations (Scopus)

Post-buckling of single and multi-bay panels using strut, strip and fe methods

Lillico, M., Butler, R., Hunt, G. W., Watson, A. S. & Kennedy, D., 2001, 19th AIAA Applied Aerodynamics Conference, 2001. Reston, Canada: American Institute of Aeronautics and Astronautics

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

1 Citation (Scopus)

Psycho-social influences on the reporting of work related upper limb disorders - A grounded theory approach.

Weyman, A., 2001, Contemporary Ergonomics 2001. .

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

Qualitative analysis of gap and near-gap solitons in nonlinear modulated optical system

Kovalev, A. S., Usatenko, O. V. & Gorbach, A. V., 30 May 2001, Eighth International Conference on Nonlinear Optics of Liquid and Photorefractive Crystals. V.Klimusheva, G. & G.Iljin, A. (eds.). SPIE, Vol. 4418. p. 259-266 8 p. (The International Society for Optical Engineering).

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

Real-time application of face pose discrimination system using support vector machines

Jung, K., Kim, K. I. & Han, J., 2001, Proc. Conference of the Korean Human Computer Interaction Society. p. 441-446 6 p.

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

Recognition of facial images using support vector machines

Kim, K. I., Kim, J. H. & Jung, K., 2001, Proc. of the 11th IEEE Workshop on Statistical Signal Processing, 2001. IEEE, p. 468-471 4 p.

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

10 Citations (Scopus)

Simultaneous generation of spectrally distinct third harmonic in photonic crystal fibers

Omenetto, F. G., Moores, M. D., Reitze, D. H., Knight, J. C., Wadsworth, W. J., Russell, P. S. J. & Taylor, A. J., 1 Jan 2001, Technical Digest - Summaries of Papers Presented at the Quantum Electronics and Laser Science Conference, QELS 2001. IEEE, 1 p. 961827. (Technical Digest - Summaries of Papers Presented at the Quantum Electronics and Laser Science Conference, QELS 2001).

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

Static hysteresis of vortex breakdown due to support interference

Taylor, G. S., Gursul, I. & Greenwell, D. I., 2001, 19th AIAA Applied Aerodynamics Conference, 2001. Reston, Canada: American Institute of Aeronautics and Astronautics

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

Subparsec-scale HI in the nucleus of NGC 4151

Mundell, C., Wrobel, J. M., Pedlar, A. & Gallimore, J. F., 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. 192

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

TAURUS Observations of the Ionized Gas in NGC 4151

Asif, M. W., Unger, S. W., Pedlar, A., Mundell, C., Robinson, A. & Axon, D. J., Feb 2001, The Central Kiloparsec of Starbursts and AGN: The La Palma Connection. Knapen, J. H. & Beckman, J. E. (eds.). San Francisco, U. S. A.: Astronomical Society of the Pacific, p. 715 (ASP Conference Proceedings ; vol. 249).

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

The Gaseous Environment of Seyfert Galaxies

Mundell, C., Jan 2001, Gas and Galaxy Evolution. Hibbard, J. E., Rupen, M. & van Gorkom, J. H. (eds.). San Francisco, U. S. A.: Astronomical Society of the Pacific, p. 411 (ASP Conference Proceedings; vol. 240).

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

The nature of flat-spectrum nuclear radio emission in Seyfert galaxies

Mundell, C., Wilson, A. S., Ulvestad, J. S. & Roy, A. L., 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. 72

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

The Visitor as Virtual Archaeologist: Explorations in Mixed Reality Technology to Enhance Educational and Social Interaction in the Museum

Hall, T., Ciolfi, L., Bannon, L., Fraser, M., Benford, S., Bowers, J., Greenhalgh, C., Hellström, S. O., Izadi, S., Schnädelbach, H. & Flintham, M., 1 Dec 2001, Proceedings VAST 2001 Virtual Reality, Archeology, and Cultural Heritage. Spencer, S. N. & Spencer, S. N. (eds.). p. 91-96 6 p. (Proceedings VAST 2001 Virtual Reality, Archeology, and Cultural Heritage).

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

64 Citations (Scopus)

Ultrashort pulse propagation in highly birefringent photonic crystal fibers

Ortigosa-Blanch, A., Knight, J. C., Wadsworth, W. J., Mangan, B. J. & Russell, P. S. J., 1 Jan 2001, Technical Digest - Summaries of Papers Presented at the Quantum Electronics and Laser Science Conference, QELS 2001. IEEE, 1 p. 961937. (Technical Digest - Summaries of Papers Presented at the Quantum Electronics and Laser Science Conference, QELS 2001).

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

Unearthing virtual history: Using diverse interfaces to reveal hidden virtual worlds

Benford, S., Bowers, J., Chandler, P., Ciolfi, L., Flintham, M., Fraser, M., Greenhalgh, C., Hall, T., Hellström, S. O., Izadi, S., Rodden, T., Schnädelbach, H. & Taylor, I., 1 Jan 2001, Ubicomp 2001: Ubiquitous Computing - International Conference, Proceedings. Abowd, G. D., Abowd, G. D., Brumitt, B. & Shafer, S. (eds.). Springer Verlag, p. 225-231 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2201).

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

10 Citations (Scopus)

VHDL-AMS editor and debugger for analogue and mixed signal models (VEDAMS)

Wilson, P. R., Ross, J. N., Kazmierski, T. J. & Brown, A. D., 1 Sep 2001, FDL.

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

What can be done with photonic crystal fibers?

Knight, J., 1 Jan 2001, Technical Digest - Summaries of Papers Presented at the Quantum Electronics and Laser Science Conference, QELS 2001. IEEE, p. 27-28 2 p. 961804. (Technical Digest - Summaries of Papers Presented at the Quantum Electronics and Laser Science Conference, QELS 2001).

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

2002

A framework for checking agent interaction within institutions

Cliffe, O. & Padget, J., 2002, Proceedings of MOCHART workshop at ECAI'02.

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

Agent-Mediated Electronic Commerce IV

Padget, J., Parkes, D., Sadeh, N., Shehory, O. & Walsh, W., 2002, Revised Papers of AAMAS 2002 Workshop on Agent Mediated Electronic Commerce, Bologna, Italy, July 16, 2002. Springer, Vol. 2531. (Lecture Notes in Artificial Intelligence).

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

Analysis for problems that could arise with GPS ionospheric scintillation measurements

Forte, B. & Radicella, S. M., 2002, URSI General Assembly 2002.

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

Analysis of modeling efforts and experimental techniques for ionospheric scintillations assessment

Forte, B., Radicella, S. M. & Leitinger, R., 2002, URSI General Assembly 2002.

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

A recommender system based on the immune network

Cayzer, S. & Aickelin, U., 2002, Proceedings of the 2002 Congress on Evolutionary Computation, 2002. CEC'02. . Vol. 1. p. 807-812 6 p.

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

31 Citations (Scopus)

Behavioural modelling of operational amplifier faults using VHDL-AMS

Wilson, P., Ross, J., Zwolinski, M., Brown, A. & Kilic, Y., 2002, Proceedings of 2002 Design, Automation and Test in Europe Conference and Exhibition. IEEE, p. 1133 1 p.

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

3 Citations (Scopus)

Bidirectional transmission of 32-QAM radio over a single multimode fibre using 850-nm vertical-cavity half-duplex transceivers

Ingham, J. D., Webster, M., Wake, D., Seeds, A. J., Penty, R. V. & White, I. H., 1 Jan 2002, 2002 28th European Conference on Optical Communication, ECOC 2002 - Proceedings. Danielsen, P. (ed.). IEEE, 1601254. (European Conference on Optical Communication, ECOC; vol. 3).

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

2 Citations (Scopus)

Broadband gain clamped semiconductor optical amplifier with variable gain operation using a sampled grating laser

Davies, A. R., Williams, K. A., Penty, R. V., White, I. H., Glick, M., McAuley, D. & Williams, P. J., 1 Jan 2002, 2002 28th European Conference on Optical Communication, ECOC 2002 - Proceedings. Danielsen, P. (ed.). IEEE, 1601004. (European Conference on Optical Communication, ECOC; vol. 2).

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

1 Citation (Scopus)

Demonstration of highly linear uncooled DFB lasers for next generation RF over fibre applications

Hartmann, P., Webster, M., Wonfor, A., Wake, D., Penty, R. V., Seeds, A. J. & White, I. H., 1 Jan 2002, 2002 28th European Conference on Optical Communication, ECOC 2002 - Proceedings. Danielsen, P. (ed.). IEEE, 1601032. (European Conference on Optical Communication, ECOC; vol. 2).

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

8 Citations (Scopus)

Doppler difference velocimetry using a 2-core photonic crystal fibre

MacPherson, W. N., Jones, J. D. C., Mangan, B. J., Knight, J. C. & Russell, P. S. J., 1 Jan 2002, 2002 15th Optical Fiber Sensors Conference Technical Digest, OFS 2002. IEEE, p. 603-606 4 p. 1012108. (2002 15th Optical Fiber Sensors Conference Technical Digest, OFS 2002).

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

1 Citation (Scopus)

Exceptions, continuations and macro-expressiveness

Laird, J., 14 Mar 2002, Programming Languages and Systems: Proceedings of 11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002. Le Metayer, D. (ed.). Berlin, Germany: Springer Verlag, p. 133-146 14 p. (Lecture Notes in Computer Science ; vol. 2305).

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

9 Citations (Scopus)

Formalizing a language for institutions and norms

Esteva, M., Padget, J. & Sierra, C., 2002, Intelligent Agents Viii: Agent Theories, Architectures, and Languages. Vol. 2333. p. 348-366 19 p. (Lecture Notes in Artificial Intelligence).

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

89 Citations (Scopus)

Gigahertz-Peaked Spectrum Radio Sources in Nearby Galaxies

Nagar, N. M., Wilson, A. S., Falcke, H., Ulvestad, J. S. & Mundell, C., 2002, Issues in Unification of Active Galactic Nuclei: Proceedings of a Meeting Held in Marciana Marina, Elba Island, Italy, 21-24 May, 2001. Maiolino, R., Marconi, A. & Nagar, N. (eds.). San Francisco, U. S. A.: Astronomical Society of the Pacific, p. 171 (ASP Conference Proceedings; vol. 258).

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

Integrating the organ and tissue allocation processes through an agent-mediated electronic institution

Vazquez-Salceda, J., Cortes, U. & Padget, J., 2002, Topics in Artificial Intelligence, Proceedings. Vol. 2504. p. 309-321 13 p. (Lecture Notes in Artificial Intelligence).

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

6 Citations (Scopus)

Interaction effects of virtual structures

Fraser, M. & Benford, S., 1 Dec 2002, Proceedings of the 4th International Conference on Collaborative Virtual Environments. Greenhalgh, C., Churchill, E., Broll, W., Greenhalgh, C., Churchill, E. & Broll, W. (eds.). p. 128-134 7 p. (Proceedings of the 4th International Conference on Collaborative Virtual Environments).

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

6 Citations (Scopus)

Learning to play and perform on synthetic instruments

ffitch, J. P. & Padget, J. A., Sep 2002, Proceedings of the International Computer Music Conference. Mats, N. (ed.). Ann Arbor, MI: Scholarly Publishing Office, University of Michigan Library, p. 432-435 4 p.

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

Low loss photonic crystal fibre

Farr, L., Knight, J. C., Mangan, B. J. & Roberts, P. J., 1 Jan 2002, 2002 28th European Conference on Optical Communication, ECOC 2002. Danielsen, P. (ed.). IEEE, 1601383. (European Conference on Optical Communication, ECOC; vol. 5).

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

50 Citations (Scopus)