University of Bath

  • BA2 7AY Bath

    UK United Kingdom

Research Output 1964 2020

Filter
Conference contribution
Conference contribution
58 Citations (Scopus)

A FACS valid 3D dynamic action unit database with applications to 3D dynamic morphable facial modelling

Cosker, D., Krumhuber, E. & Hilton, A., 13 Nov 2011, 2011 IEEE International Conference on Computer Vision (ICCV). IEEE, p. 2296-2303 8 p.

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

8 Citations (Scopus)

A feedforward Artificial Neural Network approach to fault classification and location on a 132kV transmission line using current signals only

Lout, K. & Aggarwal, R. K., 2012, Proceedings of the Universities Power Engineering Conference. IEEE

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

Electric lines
Neural networks
Electric instrument transformers
Outages
Fast Fourier transforms

A fibre that guides an airy pattern

Gris-Sánchez, I. & Birks, T. A., 1 Jan 2019, Proceedings 2015 European Conference on Lasers and Electro-Optics - European Quantum Electronics Conference, CLEO/Europe-EQEC 2015. OSA Publishing

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

A focal-ratio-degradation (FRD) resistant multimode fibre link using mode-selective photonic lanterns

Benoît, A., Yerolatsitis, S., Harrington, K., Birks, T. A. & Thomson, R. R., 17 Oct 2019, 2019 Conference on Lasers and Electro-Optics Europe and European Quantum Electronics Conference, CLEO/Europe-EQEC 2019. U. S. A.: IEEE, 8872561. (2019 Conference on Lasers and Electro-Optics Europe and European Quantum Electronics Conference, CLEO/Europe-EQEC 2019).

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

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

11 Citations (Scopus)

A Framework for Institutions Governing Institutions

King, T., Li, T., De Vos, M., Dignum, V., Jonker, C., Padget, J. & van Riemsdijk, M. B., 2015, Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2015). p. 473-481 8 p.

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

subsidiarity
treaty
legislation
regulation
Society
4 Citations (Scopus)

A framework for webcam-based hand rehabilitation exercises

Liu, R., Wünsche, B., Lutteroth, C. & Delmas, P., 2011, Proceedings of the International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISAPP), 2011. p. 626-631 6 p.

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

After they are gone: Identity of people with intellectual disabilities once they have died.

Forrester-Jones, R. & Oliver, D. J., 1 Sep 2006, European Conference for the International Association for the Scientific Study of Intellectual Disabilities. Wiley-Blackwell Publishing Ltd, Vol. 19. p. 276-276 1 p.

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

A fully abstract game semantics for countable nondeterminism

Gowers, W. J. & Laird, J. D., 1 Aug 2018, Computer Science Logic 2018, CSL 2018. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 119. 24

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

Open Access
Semantics
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

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
18 Citations (Scopus)

A game semantics of the asynchronous π-calculus

Laird, J., 2005, CONCUR 2005 – Concurrency Theory: Proceedings of 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Abadi, M. & Alfaro, L. (eds.). Berlin, Germany: Springer Verlag, p. 51-65 15 p. (Lecture Notes in Computer Science; vol. 3653).

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

Semantics
Computer programming languages

A generalised brownian motion model of RF spectral dispersion due to phase noise

Siddiq, K., Watson, R. J. & Pennock, S. R., 19 Dec 2017, European Microwave Week 2017: "A Prime Year for a Prime Event", EuMW 2017 - Conference Proceedings; 47th European Microwave Conference, EuMC 2017. IEEE, Vol. 2017-January. p. 1381-1384 4 p.

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

Brownian movement
Phase noise
flicker
calculus
Autocorrelation

A generalised Brownian motion model of RF spectral dispersion due to phase noise

Siddiq, K., Watson, R. J. & Pennock, S. R., 5 Jan 2018, European Microwave Week 2017: "A Prime Year for a Prime Event", EuMW 2017 - Conference Proceedings; 14th European Microwave Conference, EURAD 2017. IEEE, p. 533-536 4 p.

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

Brownian movement
Phase noise
flicker
calculus
Autocorrelation
1 Citation (Scopus)

A Generalised Successive Resultants Algorithm

Davenport, J. H., Petit, C. & Pring, B., 9 Mar 2017, Arithmetic of Finite Fields - 6th International Workshop, WAIFI 2016, Revised Selected Papers. Springer Verlag, Vol. 10064 LNCS. p. 105-124 20 p. (Lectures Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10064 LNCS).

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

Polynomials
10 Citations (Scopus)

A general purpose behavioural asynchronous synthesis system

Sacker, M., Brown, A. D., Wilson, P. R. & Rushton, A. J., 2004, International Symposium on Asynchronous Circuits and Systems. IEEE, p. 125-134

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

3 Citations (Scopus)

A generic front-stage for semi-stream processing

Naeem, M. A., Weber, G., Dobbie, G. & Lutteroth, C., Oct 2013, Proceedings of the 22nd International Conference on Information and Knowledge Management (CIKM), 2013. New York, U. S. A.: Association for Computing Machinery, p. 769-774 6 p.

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

Agent-based Matchmaking of Mathematical Web Services

Ludwig, S., Naylor, W., Rana, O., Padget, J., Dignum, F. (ed.), Dignum, V. (ed.), Koenig, S. (ed.), Kraus, S. (ed.), Singh, MP. (ed.) & Wooldridge, M. (ed.), 2005, Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems 2005. p. 1277--1278 2 p.

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

A geometry generation framework for contoured endwalls

Wood, L., Jones, R., Pountney, O., Scobie, J., Rees, D. A. S. & Sangan, C., 17 Jun 2019, (Accepted/In press) Proceedings of the ASME Turbo Expo 2019: Turbomachinery Technical Conference and Exposition. American Society of Mechanical Engineers (ASME), 16 p. GT2019-90446

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

Age-related Differences in the Relations between Individualized HRM and Organizational Performance.

Bal, P. & Dorenbosch, L., 2014, Academy of Management Proceedings. Academy of Management

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

Agile and Adaptive Hopping Height Control for a Pneumatic Robot

Hale, M., Du Bois, J. & Iravani, P., 21 May 2018, 2018 IEEE International Conference on Robotics and Automation (ICRA). IEEE, p. 5755-5760 18096047. (IEEE International Conference on Robotics and Automation. ).

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

A Golgi and tonoplast localized S-acyl transferase in involved in cell expansion, cell division, vascular patterning and fertility in Arabidopsis

Qi, B. & Hooley, R., 2012, Regulation of protein trafficking and function by palmitoylation.

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

3 Citations (Scopus)

A grounded procedure for managing data and sample size of a home medical device assessment

Borsci, S., Martin, J. L. & Barnett, J., 31 Jul 2013, Human-Computer Interaction: Human-Centred Design Approaches, Methods, Tools, and Environments - 15th International Conference, HCI International 2013, Proceedings. Springer, p. 166-175 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8004 , no. PART 1).

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

A heteroglossic language ecology in a Birmingham Chinese complementary school

Huang, J., 2016, (Unpublished) One rule for home, one rule for school? : European experiences of ‘good’ language, ‘bad language’, and (the) standard language ideology in multilingual communities, past and present .

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

A hollow-core negative curvature fibre for efficient delivery of NIR picosecond and femtosecond pulses for precision micro-machining

Jaworski, P., Yu, F., MacLachlan, D. G., Maier, R. R. J., Thomson, R. R., Wadsworth, W. J., Knight, J. C., Shephard, J. D. & Hand, D. P., 1 Dec 2013, Workshop on Specialty Optical Fibers and their Applications, WSOF 2013. OSA Publishing, F3.3. (Optics InfoBase Conference Papers).

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

1 Citation (Scopus)

A hybrid cloud computing approach for managing spatial data: a case study for water resources in Greece

Kallergis, D., Papacharalampou, C., Chimos, K., Chavakis, T. & Douligeris, C., 4 Aug 2014, 5th International Conference on Computing for Geospatial Research and Application. IEEE

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

Cloud computing
Water resources
Web services
Earth sciences
Visualization
3 Citations (Scopus)

A hybrid image-based modelling algorithm

Nguyen, H. M., Wünsche, B., Lutteroth, C. & Delmas, P., 29 Jan 2013, Proceedings of the 36th Australasian Computer Science Conference (ACSC), 2013: Volume 135. Thomas, B. (ed.). Darlinghurst, Australia: Australian Computer Society, p. 115-123 9 p.

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

A hybrid regularization algorithm for high contrast tomographic image reconstruction

Rahmati, P., Soleimani, M. & Adler, A., 1 Jan 2013, Proceedings of the 2013 International Conference on Image Processing, Computer Vision, and Pattern Recognition, IPCV 2013. Arabnia, H. R., Deligiannidis, L., Lu, J., Tinetti, F. G., You, J., Jandieri, G., Schaefer, G., Solo, A. M. G. & Volkov, V. (eds.). CSREA Press, p. 513-517 5 p. (Proceedings of the 2013 International Conference on Image Processing, Computer Vision, and Pattern Recognition, IPCV 2013; vol. 2).

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

4 Citations (Scopus)

AIMHelp: generating help for GUI applications automatically

Chakravarthi, Y. A., Lutteroth, C. & Weber, G., Jul 2009, Proceedings of the 10th Annual Conference of the NZ ACM Special Interest Group on Human-Computer Interaction (CHINZ), 2009. New York, U. S. A.: Association for Computing Machinery, p. 21-28 8 p.

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

Air Entrainment and Energy Dissipation in Plunging Breakers

Blenkinsopp, C. & Chaplin, J. R., 1 Jun 2006, 5th International Surfing Reef Symposium.

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

3 Citations (Scopus)

Air-fuel-ratio control of engine system with unknown input observer

Na, J., Herrmann, G., Rames, C., Burke, R. & Brace, C., 7 Nov 2016, 2016 UKACC International Conference on Control, UKACC Control 2016. IEEE, 7737647

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

A K-nearest neighbours based inverse sensor model for occupancy mapping

Miao, Y., Georgilas, I. & Hunter, A., 17 Jul 2019, Towards Autonomous Robotic Systems - 20th Annual Conference, TAROS 2019, Proceedings. Althoefer, K., Konstantinova, J. & Zhang, K. (eds.). Springer Verlag, p. 75-86 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11650 LNAI).

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

Alberti Digital: Investigando a influência de Alberti na arquitetura portuguesa da Contrarreforma

Duarte, J. P., Krüger, M., Coutinho, F., Figueiredo, B. & Castro e Costa, E., 1 Apr 2011, 2º Colóquio Internacional “Gêneses das Racionalidades Modernas – em torno de Alberti. Belo Horizonte, Brasil

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

32 Citations (Scopus)

Alcohol-based fuels in high performance engines

Turner, J. W. G., Pearson, R. J., Holland, B. & Peck, B., 2007, SAE Technical Papers.

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

Alcohols
Engines
Alcohol fuels
Superchargers
Gasoline

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

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

Algorithms for the mitigation of space weather threats at low latitudes, contributing to the extension of EGNOS over Africa

Forte, B., Da Dalt, F., Panicciari, T., Pinto Jayawardena, T., Mitchell, C., Zin, A., Marradi, L., Muscinelli, R., Fiordiponti, R., Sreeja, V., Aquino, M., Dovis, F., Alfonsi, L., Cesaroni, C., Spogli, L., De Franceschi, G., Haggstrom, I., Enell, C. F., Chawdhry, P. K., Hoeg, P. & 6 others, von Benzon, H-H., Pozoga, M., Kos, T., Vukovic, J., Henley, E. & Jackson, D., 27 Jun 2016, International Beacon Satellite Symposium BSS-2016.

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

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

A lightweight, low leakage piezoelectric servovalve

Persson, L., Plummer, A., Bowen, C. & Brooks, I., 1 Mar 2016, Proc Recent Advances in Aerospace Actuation Systems and Components 2016.

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

File
Reels
Automation
Titanium
Feedback
Costs
77 Downloads (Pure)

A light-weight framework for bridge-building from desktop to cloud

Duan, K., Padget, J. & Kim, H. A., 2014, Service-Orientated Computing, ICSOC, 2013: CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers. Lomuscio, A., Nepal, S., Patrizi, F., Benatallah, B. & Brandic, I. (eds.). Vol. 8377. p. 308-323 16 p. (Lecture Notes in Computer Science; vol. 8377).

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

File
Web services
Turnaround time
HTTP
Industrial plants
Packaging

A linearized impact localization algorithm for the health monitoring of aerospace components

De Simone, M. E., Boccardi, S., Ciampa, F. & Meo, M., 2016, Proceedings of 8th European Workshop on Structural Health Monitoring(EWSHM), 2016: Volume 3. NDT.net, p. 1773-1782 10 p.

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

Health
Monitoring
Structural health monitoring
Elastic waves
Sensors

A Linear Valve Actuated Switched Inertance Hydraulic System

Sell, N., Johnston, D., Plummer, A., Kudzma, S. & Pan, M., May 2015, Proc Fourteenth Scandinavian International Conference on Fluid Power.

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

Open Access
Hydraulics
Pressure control
Capacitance
Networks (circuits)
2 Citations (Scopus)

A literature review on the use of inclusive mobile devices by people with disabilities with particular reference to educational uses in the countries of the cooperation council of the Arab states of the Gulf (GCC)

Hayhoe, S., 1 Dec 2013, Proceedings of the 2013 International Conference on Current Trends in Information Technology,(CTIT) 2013. IEEE, p. 5-10 6 p. 6749469

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

disability
theory formation
student
inclusion
methodology

A little bit of frustration can go a long way

Boulton, A., Hourizi, R., Jefferies, D. & Guy, A., 2017, Advances in Computer Games - 15th International Conferences, ACG 2017, Revised Selected Papers. Springer Verlag, p. 188-200 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10664 ).

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

Frustration
Human computer interaction
Video Games
Game
Gaming

ALIVE: an agent-based framework for dynamic and robust service-oriented applications

Vazquez-Salceda, J., Vasconcelos, W., Padget, J. A., Dignum, F., Clarke, S. & Roig, M. P., 2010, Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010, Volume 1: Volume I. Hoek, W. V. D., Kaminka, G. A., Lespérance, Y., Luck, M. & Sen, S. (eds.). Richland, U. S. A.: The International Foundation for Autonomous Agents and Multiagent Systems, p. 1637-1638 2 p.

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

2 Citations (Scopus)

ALIVE: a model-driven framework to develop dynamic, flexible, distributed service-oriented systems

Vazquez-Salceda, J., Vasconcelos, W., Padget, J., Dignum, F., Clarke, S., Palau, M., Sergeant, P. & Nieuwenhuis, K., 2011, Proceedings - 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010. Piscataway, NJ: IEEE, p. 485-492 8 p.

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

Ecosystems
Web services
Semantics
Industry
System of systems
2 Citations (Scopus)

ALIVE: A Framework for Flexible and Adaptive Service Coordination

Lam, J. S. C., Vasconcelos, W. W., Guerin, F., Corsar, D., Chorley, A., Norman, T. J., Vázquez-Salceda, J., Panagiotidi, S., Confalonieri, R., Gomez, I., Hidalgo, S., Napagao, S. A., Nieves, J. C., Palau Roig, M., Ceccaroni, L., Aldewereld, H., Dignum, V., Dignum, F., Penserini, L., Padget, J. & 10 others, De Vos, M., Andreou, D., Cliffe, O., Staikopoulos, A., Popescu, R., Clarke, S., Sergeant, P., Reed, C., Quillinan, T. & Nieuwenhuis, K., 2009, Engineering Societies in the Agents World X. Heidelberg: Springer, Vol. 5881. p. 236-239 4 p.

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

Open systems
Semantic Web
Web services
Semantics
Communication

Alkali-activated binders based on biomass fly ash

Bernal, S. A., Hussein, O. H., Mundra, S., Ball, R., Heath, A. & Provis, J. L., 2014, XIII Encontro da Sociedade Brasileira de Pesquisa em Materiais (SBPMat), Int. > Symposium on Cementitious Materials – ISCM2014, Joao Pessoa, Brazil, September 28 – October 2, 2014. Book of proceedings..

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

All-chemical vapor deposited graphene/silicon nitride TFTs

Milne, W. I., Cole, M., Drapeko, M., Kidambi, P., Ying, K., Lee, S., Pfaendler, S. M. L., Teo, K. B. K., Hofmann, S. & Nathan, A., 2012, Thin Film Transistors 11, TFT 2012, (8th ed ). Vol. 50. p. 217-221 5 p.

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

Silicon nitride
Graphene
Monolayers
Vapors
Vapor deposition