University of Bath

  • BA2 7AY Bath

    UK United Kingdom

Research Output

Filter
Conference contribution

A "piano movers" problem reformulated

Wilson, D., Davenport, J. H., England, M. & Bradford, R. J., 2013, Proceedings of SYNASC 2013: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE, p. 53-60 8 p.

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

Open Access
File
15 Citations (Scopus)
83 Downloads (Pure)

A Poly-algorithmic Quantifier Elimination Package in Maple

Tonks, Z., 28 Feb 2020, Maple in Mathematics Education and Research. Springer International Publishing, p. 171-186

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

A polymeric regenerative optical bus for board-level optical interconnections

Bamiedakis, N., Hashim, A., Penty, R. V. & White, I. H., 1 Dec 2012, Optical Fiber Communication Conference, OFC 2012.

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

A polymeric regenerative optical bus for board-level optical interconnections

Bamiedakis, N., Hashim, A., Penty, R. V. & White, I. H., 24 May 2012, 2012 Optical Fiber Communication Conference and Exposition and the National Fiber Optic Engineers Conference, OFC/NFOEC 2012. 6192224

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

1 Citation (Scopus)

A polymer waveguide-based 40 Gb/s optical bus backplane for board-level optical interconnects

Bamiedakis, N., Hashim, A., Penty, R. V. & White, I. H., 19 Sep 2013, 2013 15th International Conference on Transparent Optical Networks, ICTON 2013. 6602918. (International Conference on Transparent Optical Networks).

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

1 Citation (Scopus)

Application and performance of bacteria-based self-healing concrete

Paine, K., Sharma, T., Alazhari, M., Heath, A. & Cooper, R., Jun 2018, Proceedings of Final Conference of RILEM TC 253-MCI: Microorganisms-Cementitious Materials Interactions. Bertron, A. & Jonkers, H. (eds.). Vol. 2. p. 387-394

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

Application of a hybrid process for precision manufacture of complex components

Zhu, Z., Dhokia, V., Newman, S. T. & Chua, C. K., 1 Jan 2014, Proceedings of the 1st International Conference on Progress in Additive Manufacturing, Pro-AM 2014. Liu, E., Yeong, W. Y., Chua, C. K. & Tan, M. J. (eds.). Pro-AM, p. 321-326 6 p.

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

Application of a multiplex microfluidic platform to fast polymorph screening of pharmaceutical compounds

Simone, E., McVeigh, J., Nagy, Z. K. & Reis, N. M., 1 Jan 2016, 20th International Conference on Miniaturized Systems for Chemistry and Life Sciences, MicroTAS 2016. Chemical and Biological Microsystems Society, p. 910-911 2 p.

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

Application of a rotary expander as an energy recovery system for a modern Wankel engine

Vorraro, G., Islam, R., Turner, M. & Turner, J., 10 Jan 2020, Internal Combustion Engines and Powertrain Systems for Future Transport 2019: Proceedings of the International Conference on Internal Combustion Engines and Powertrain Systems for Future Transport (ICEPSFT 2019), December 11-12, 2019, Birmingham, UK. 1st ed. CRC Press

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

Application of long-run network charging to large-scale systems

Gu, C., Li, F. & Gu, L., Jun 2010, 2010 7th International Conference on the European Energy Market, EEM 2010. Piscataway, NJ: IEEE, p. 1 - 5 5 p.

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

File
5 Citations (Scopus)
133 Downloads (Pure)

Application of semiconductor optical amplifiers in scalable switched radio-over-fiber networks

Qian, X., Hartmann, P., Li, S., Penty, R. V. & White, I. H., 1 Dec 2005, International Topical Meeting on Microwave Photonics, MWP 2005. p. 317-320 4 p. 1590330. (International Topical Meeting on Microwave Photonics, MWP 2005; vol. 2005).

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

10 Citations (Scopus)

Application of thin film transistors to label-free electrical biosensors

Estrela, P., Keighley, S. D., Li, P. & Migliorato, P., 2008, Proceedings of the 2008 IEEE International Symposium on Industrial Electronics (ISIE'08). IEEE, p. 2034-2039 6 p.

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

4 Citations (Scopus)

Applications of 3D level set topology optimization

Brampton, C. J., Kim, H. A. & Cunningham, J. L., 2012, ASME 2012 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference: 38th Design Automation Conference, Parts A and B. Chicago, IL: ASME, Vol. 3 . p. 875-882 8 p.

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

1 Citation (Scopus)

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

Applications of long period gratings in solid core photonic bandgap fibers

Kuhlmey, B. T., Luan, F., Lazaro, J. M., Fu, L., Eggleton, B. J., Yeom, D. I., Coen, S., Wang, A. & Knight, J. C., 12 Nov 2008, 1st Workshop on Specialty Optical Fibers and Their Applications. AIP Publishing, p. 61-64 4 p. (AIP Conference Proceedings; vol. 1055).

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

3 Citations (Scopus)

Applications of wavelength division multiplexed photonic components in local area networks

White, I., Williams, K., Lin, T., Penty, R. & Glick, M., 1 Dec 2005, Proceedings of 2005 7th International Conference on Transparent Optical Networks, ICTON 2005. 1505808. (Proceedings of 2005 7th International Conference on Transparent Optical Networks, ICTON 2005; vol. 1).

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

Applying Gödel's Dialectica interpretation to obtain a constructive proof of Higman's lemma

Powell, T., 2012, Proceedings Fourth Workshop on Classical Logic and Computation. Vol. 97. p. 49-62 (Electronic Proceedings in Theoretical Computer Science).

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

Applying multiple metrics in the performance measurement of design sessions in industry: A co-design case study

Mombeshora, M., Dekoninck, E., O'Hare, J., Boujut, J. F. & Cascini, G., 2017, DS 87-2 Proceedings of the 21st International Conference on Engineering Design (ICED 17) Vol 2: Design Processes, Design Organisation and Management, Vancouver, Canada, 21-25.08.2017. DS87-2 ed. Vol. 2. p. 457-466 10 p. (Proceedings of the International Conference on Engineering Design, ICED).

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

Open Access
File
2 Citations (Scopus)
34 Downloads (Pure)

Appropriateness of user interfaces to tasks

Balbo, S., Draheim, D., Lutteroth, C. & Weber, G., 26 Sep 2005, Proceedings of the 4th International Workshop on Task Models and Diagrams (TAMODIA), 2005. New York, U. S. A.: Association for Computing Machinery, p. 111-118 8 p.

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

7 Citations (Scopus)

A Practical Method for Developing Multi Agent Systems: APMDMAS

Elakehal, E. E. & Padget, J., 2011, Intelligent Distributed Computing V:Proceedings of the 5th International Symposium on Intelligent Distributed Computing – IDC 2011, Delft, The Netherlands – October 2011. Heidelberg: Springer, p. 11-20 10 p.

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

Open Access
File
2 Citations (Scopus)
147 Downloads (Pure)

A pragmatic approach to IS development and socio-technical evaluation

Madsen, S. & Vidgen, R., 2009, 17th European Conference on Information Systems, ECIS 2009.

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

2 Citations (Scopus)

A preliminary study into the effects of pelvic rotations on upper body lateral translation

Pennycott, A., Wyss, D., Vallery, H. & Riener, R., 2013, 2013 IEEE 13th International Conference on Rehabilitation Robotics (ICORR). IEEE, p. 1-5 5 p.

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

A preliminary study of lighting energy performance in houses with various window systems

Du, J., Hellström, B. & Dubois, M., 2013, Proceedings of the 7th International Conference on Energy Efficiency in Domestic Appliances and Lighting (EEDAL) 2013. Brussels, Belgium: Joint Research Centre, European Commission, p. 1-11

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

A probabilistic mechanism for agent discovery and pairing using domain-specific data

Traskas, D., Padget, J. & Tansley, J., 2011, Coordination, Organizations, Institutions, and Norms in Agent Systems VI - COIN 2010 International Workshops, COIN@MALLOW 2010, Revised Selected Papers. Heidelberg: Springer, Vol. 6541 LNAI. p. 192-209 18 p. (Lecture Notes in Computer Science).

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

A proof of strong normalisation of the typed atomic lambda-calculus

Gundersen, T., Heijltjes, W. & Parigot, M., 1 Jan 2013, Logic for Programming, Artificial Intelligence, and Reasoning (LPAR): Proceedings of the 19th International Conference, LPAR, Stellenbosch, South Africa, December 14-19, 2013. Heidelberg, Germany: Springer, p. 340-354 15 p. (Lecture Notes in Computer Science; vol. 8312).

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

Open Access
File
2 Citations (Scopus)
17 Downloads (Pure)

A propagation modeling approach to source location and navigation

Dai, Z., Watson, R. J. & Shepherd, P. R., 31 May 2016, 10th European Conference on Antennas and Propagation (EuCAP), 2016. European Association of Antennas and Propagation , 7481191

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

5 Citations (Scopus)

A propagation modeling approach to urban navigation

Dai, Z., Watson, R. J. & Shepherd, P. R., 15 May 2017, 11th European Conference on Antennas and Propagation, EUCAP 2017. IEEE, p. 1847-1851 5 p. 7928237

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

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

A proposito di insediamenti e castelli nella Langa tra le due Bormide

Garbarino, G. B., Lassa, S., Delmonte, A. & Pesce, G. L., 2012, Una chiesa bramantesca a Roccaverano. S. Maria Annunziata (1509-2009). Roccaverano, Italy 29-30 May 2009. Garbarino, G. B. & Morresi, M. (eds.). Acqui Terme, Italy: Impressioni Grafiche

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

A pseudo-differential calculus on graded nilpotent Lie groups

Fischer, V. & Ruzhansky, M., 1 Jan 2014, Fourier Analysis - Pseudo-differential Operators, Time-Frequency Analysis and Partial Differential Equations. Ruzhansky, M. V. & Turunen, V. (eds.). Springer International Publishing, p. 107-132 26 p. (Trends in Mathematics; vol. 63).

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

13 Citations (Scopus)

A public ideation of shape-changing applications

Sturdee, M., Hardy, J., Dunn, N. & Alexander, J., 15 Nov 2015, ITS '15 Proceedings of the 2015 International Conference on Interactive Tabletops and Surfaces. Association for Computing Machinery, p. 219-228 10 p.

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

Open Access
File
20 Citations (Scopus)
6 Downloads (Pure)

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

AQL : A query language for action domains modelled using answer set programming

Hopton, L., Cliffe, O., De Vos, M. & Padget, J., 2009, Logic Programming and Nonmonotonic Reasoning. Erdem, E., Fangzhen, L. & Schaub, T. (eds.). Berlin, Germany: Springer, Vol. 5753. p. 437-443 7 p. (Lecture Notes in Computer Science).

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

5 Citations (Scopus)

A qualitative study of the frustrations experienced by community pharmacists

Family, H., Weiss, M. & Sutton, J., Apr 2014, International Journal of Pharmacy Practice. Vol. 22(S1). p. 8 1 p.

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

File
95 Downloads (Pure)

A quantitative quality model for gesture based user interfaces

Barclay, K., Wei, D., Lutteroth, C. & Sheehan, R., Nov 2011, Proceedings of the 23rd Australian Computer-Human Interaction Conference (OzCHI). New York, U. S. A.: Association for Computing Machinery, p. 31-39 9 p.

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

29 Citations (Scopus)

A quantitative service evaluation of a telephone outreach initiative to enhance the uptake of NHS Health Checks

Coghill, N., 19 Jun 2020, 2020 South West Society for Academic Primary Care Conference Proceedings. Society for Academic Primary Care, p. 9 9 p.

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

Open Access
File
3 Downloads (Pure)

A quasipolynomial cut-elimination procedure in deep inference via atomic flows and threshold formulae

Bruscoli, P., Guglielmi, A., Gundersen, T. & Parigot, M., 2010, Logic for programming, artificial intelligence, and reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, revised selected papers. Clarke, E. M. & Voronkov, A. (eds.). Berlin: Springer, p. 136-153 18 p. (Lecture Notes in Computer Science; vol. 6355).

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

Open Access
File
11 Citations (Scopus)
115 Downloads (Pure)

Architectural freeform construction: Potential use in repair for re-use, maintenance and manufacture of building components

Adeyeye, K., Pasquire, C., Soar, R., Austin, S. & Pendlebury, M., 2006, COBRA 2006 - Proceedings of the Annual Research Conference of the Royal Institution of Chartered Surveyors.

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

1 Citation (Scopus)

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

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

A reactionary process planning algorithm for an unconstrained hybrid process integrating additive, subtractive and inspection processes

Zhu, Z., Dhokia, V. G. & Newman, S. T., 1 Dec 2013, 41st North American Manufacturing Research Conference 2013 - Transactions of the North American Manufacturing Research Institution of SME, NAMRC 2013. Vol. 41. p. 600-609 10 p.

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

A readout circuit implementation to reduce the flicker noise in MEMS electrothermal sensors

Mohammadi, A., Yuce, M. R. & Moheimani, S. O. R., 19 Feb 2013, 2012 19th IEEE International Conference on Electronics, Circuits, and Systems, ICECS 2012. p. 121-124 4 p. 6463784

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)

Are community pharmacists part of the primary care team? A survey of community pharmacist, GP and practice nurse perceptions of team work

Grey, E., Family, H., Sutton, J. & Weiss, M., Oct 2014, International Journal of Pharmacy Practice. Vol. 22(S2). p. 39 1 p. 0038

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

A Reconfigurable Architecture for Implementing Locally Connected Neural Arrays

Graham-Harper-Cater, J., Clarke, C., Metcalfe, B. & Wilson, P., 26 Apr 2018, (Acceptance date) Proceedings of the 2018 Science and Information (SAI) Computing Conference. Arai, K., Kapoor, S. & Bhatia, R. (eds.). Curran Associates, p. 76-92 17 p. (Advances in Intelligent Systems and Computing; vol. 857).

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

Open Access
File
1 Citation (Scopus)
97 Downloads (Pure)

A reconfigurable architecture for real-time digital simulation of neurons

Wilson, P., Metcalfe, B., Graham-Harper-Cater, J. & Bailey, J. A., 23 Mar 2018, 2017 Intelligent Systems Conference, IntelliSys 2017. IEEE, Vol. 2018-January. p. 66-75 10 p.

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

2 Citations (Scopus)

A Reconfigurable Architecture for Real-Time Digital Simulation of Neurons

Wilson, P., Graham-Harper-Cater, J. & Metcalfe, B., Sep 2017, Intellisys.

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

Open Access
File
137 Downloads (Pure)

A Regenerative Approach to Energy Efficient Hydraulic Vibration Control

Du Bois, J., 29 Mar 2014, Special Topics in Structural Dynamics: Conference Proceedings of the Society for Experimental Mechanics Series. Vol. 6. p. 211 - 220 10 p. (Conference Proceedings of the Society for Experimental Mechanics Series).

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

1 Citation (Scopus)

Are home use medical devices easy to use?

Abdusselam, S. C., Dong, H., Barnett, J. & Qin, S. F., 1 Dec 2011, Contemporary Ergonomics and Human Factors 2011: Proceedings of the International Conference on Ergonomics & Human Factors. Anderson, M. (ed.). London, U. K.: Taylor and Francis, p. 307-314 8 p.

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

Are individual learning styles relevant to teaching in Higher Education?

Shermer, G., 20 Aug 2015, Variety in Chemistry Education and Physics Higher Education Conference. p. 15

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