University of Bath

  • BA2 7AY Bath

    UK United Kingdom

Research Output 1964 2020

Filter
Conference contribution
Conference contribution
11 Citations (Scopus)

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

Nilpotent Lie Group
Differential Calculus
Difference Operator
Operator
Representation Theory

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

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

Query languages
Semantics
Specifications
Processing
Oils
65 Downloads (Pure)

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

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

11 Citations (Scopus)
80 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
Cut-elimination
Propositional Logic
Trace
Sequent Calculus
Monotone
1 Citation (Scopus)

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

Repair
Sustainable development
Reverse engineering
Construction industry
Industry

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

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

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

MEMS
Silicon
Networks (circuits)
Sensors
Electric potential
30 Citations (Scopus)

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

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

71 Downloads (Pure)

A Reconfigurable Architecture for Implementing Locally Connected Neural Arrays

Graham-Harper-Cater, J., Clarke, C., Metcalfe, B. & Wilson, P., 26 Apr 2018, (Accepted/In press) 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)

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

Reconfigurable architectures
Reconfigurable Architectures
Digital Simulation
Neurons
Neuron
96 Downloads (Pure)

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

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

Vibration control
Hydraulics
Electromechanical devices
Electric power utilization
Electronic equipment

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

A resource-oriented architecture for MDO framework

Duan, K., Ye, V., Kim, H. & Padget, J., 2012, 53rd AIAA/ASME/ASCE/AHS/ASC Structures, Structural Dynamics and Materials Conference. Reston, U. S. A.: American Institute of Aeronautics and Astronautics (AIAA), p. AIAA-2012-1674

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

144 Citations (Scopus)

Are sparse representations really relevant for image classification?

Rigamonti, R., Brown, M. A. & Lepetit, V., Jul 2011, 2011 IEEE Conference on Computer Vision and Pattern Recognition (CVPR). IEEE, p. 1545-1552 8 p.

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

Image classification
Filter banks
Costs
Experiments
Primates
38 Citations (Scopus)

A review of technologies for MVDC circuit breakers

Pei, X., Cwikowski, O., Vilchis-Rodriguez, D. S., Barnes, M., Smith, A. C. & Shuttleworth, R., 21 Dec 2016, Proceedings of the IECON 2016 - 42nd Annual Conference of the Industrial Electronics Society. IEEE, p. 3799-3805 7 p. 7793492

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

Electric circuit breakers
Electric potential
Electric commutation
Naval vessels
Topology
1 Citation (Scopus)
52 Downloads (Pure)

Argumentation-based Normative Practical Reasoning

Shams, Z., Vos, M. D., Oren, N., Padget, J. & Satoh, K., 2015, Theory and Applications of Formal Argumentation - Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers. p. 226-242 17 p.

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

Open Access
File

Argument scope in inductive reasoning: Evidence for an abductive account of induction

Johnson, S. G. B., Merchant, T. & Keil, F. C., 2015, Proceedings of the 37th Annual Conference of the Cognitive Science Society. p. 1015-1020 6 p.

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

Sesamoid Bones
Aptitude
Cognition
Dogs
Weights and Measures

A rhythm for saving life? Respiratory sinus arrhythmia improves cardiac function in rat heart failure

O'Callaghan, E., Lataro, R. M., Chauhan, A., Salgado, H. C., Nogaret, A. & Paton, J. F. R., 2 Aug 2017, Physiology.

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

Heart Failure
Heart Rate
Central Pattern Generators
Myocardial Infarction
Stroke Volume
4 Citations (Scopus)

ARIMA based statistical approach to predict wind power ramps

Nayak, A. K., Sharma, K. C., Bhakar, R. & Mathur, J., 30 Sep 2015, IEEE Power and Energy Society General Meeting, 2015 . IEEE, 7286237

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

Wind power
Wind turbines
Farms
1 Citation (Scopus)

A robust W-MUSIC algorithm for GPR target detection in the presence of noise

Jiang, W., Pennock, S. & Shepherd, P., 6 Oct 2009, 2009 IEEE/SP 15th Workshop on Statistical Signal Processing, SSP '09. p. 457-460 4 p. 5278539. (IEEE Workshop on Statistical Signal Processing Proceedings).

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

5 Citations (Scopus)
64 Downloads (Pure)

A ROS-integrated API for the KUKA LBR iiwa collaborative robot

Mokaram, S., Aitken, J. M., Martinez Hernandez, U., Eimontaite, I., Cameron, D., Rolph, J., Gwilt, I., McAree, O. & Law, J., 1 Jul 2017, IFAC-PapersOnLine. 1 ed. Elsevier, Vol. 50. p. 15859-15864 6 p.

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

Open Access
File
Application programming interfaces (API)
Robots
Human robot interaction
Robotics
Experiments
2 Citations (Scopus)

Artificial ligamentous joints: Methods, materials and characteristics

Hockings, N., Iravani, P. & Bowen, C. R., 2014, 2014 IEEE-RAS International Conference on Humanoid Robots, Humanoids 2014. IEEE, p. 20-26 7 p. 7041312

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

1 Citation (Scopus)

Artificial vibrissae DEA-based module

Assaf, T., Conn, A., Rossiter, J., Walters, P. & Pearson, M., 8 Mar 2014, Electroactive Polymer Actuators and Devices, EAPAD 2014. SPIE, Vol. 9056. 90562O

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

A scalable method for pseudovaslcularised myoblast constructs formed from channelled and rolled polycaprolactone sheets

Mir Fakhar, M., Ellis, M. & Scott, J. L., 7 Oct 2019, 5th International Scientific Conference on Cultured Meat.

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

Ascmei.T. - An online tool to capture new digital and technological ideas and facilitate the development of new products to help individuals on the autistic spectrum

Austin, L., Brosnan, M., Parsons, S., Good, J. & Yuill, N., 29 Jun 2016, 9th ACM International Conference on Pervasive Technologies Related to Assistive Environments, PETRA 2016 - Conference Proceedings. Association for Computing Machinery, (ACM International Conference Proceeding Series; vol. 29-June-2016).

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

18 Citations (Scopus)

A semantical and operational account of call-by-value solvability

Carraro, A. & Guerrieri, G., 1 Jan 2014, Foundations of Software Science and Computation Structures - 17th Int. Conf., FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Proc.. Springer Verlag, p. 103-118 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8412 LNCS).

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

A service production planning model integrating human risk factors

Cao, N. V. & Fragniere, E., 2014, Next generation supply chains: Trends and opportunities.

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

A Shape Grammar to Generate Loggia Rucellai

Coutinho, F., Castro e Costa, E., Duarte, J. P. & Krüger, M., 2013, Open Systems: Proceedings of the 18th International Conference on Computer-Aided Architectural Design Research in Asia: CAADRIA 2013. Stouffs, R., Janssen, P. H. T., Roudavski, S. & Tunçer, B. (eds.). Singapore, p. 791-800 10 p. caadria2013_148

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

Open Access

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

3 Citations (Scopus)
115 Downloads (Pure)

A simple and highly sensitive electrochemical platform for detection of microRNAs

Jolly, P., Wong, L. C. C., Miodek, A., Lindsay, M. & Estrela, P., 2015, Proceedings of IEEE Sensors 2015. IEEE, p. 803-806 4 p.

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

File
MicroRNAs
Electrochemical impedance spectroscopy
Blood
Networks (circuits)
Microarrays
7 Citations (Scopus)

A situational awareness approach to intelligent vehicle agents

Baines, V. & Padget, J., 2015, Modeling Mobility with Open Data : 2nd SUMO conference 2014 Berlin, Germany, May 15-16, 2014 . Baines, V. & Padget, J. (eds.). Springer, p. 77-103 27 p. (Lecture Notes in Mobility ).

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

Intelligent vehicle highway systems
Intelligent systems
5 Citations (Scopus)

A SOLID case for active bayesian perception in robot touch

Lepora, N. F., Martinez Hernandez, U. & Prescott, T. J., 16 May 2013, Living Machines 2013: Biomimetic and Biohybrid Systems: Proceedings of the Conference on Biomimetic and Biohybrid Systems, 2013. Springer, p. 154-166 13 p. (Lecture Notes in Computer Science; vol. 8064).

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

16 Citations (Scopus)

A source code independent reverse engineering tool for dynamic web sites

Draheim, D., Lutteroth, C. & Weber, G., Sep 2005, Proceedings of the Ninth European Conference on Software Maintenance and Reengineering (CSMR), 2005. IEEE, p. 168-177 10 p.

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

1 Citation (Scopus)

A spatial point pattern analysis of the 2003 SARS Epidemic in Beijing

Cao, Z., Zhao, P., Liu, J. & Zhong, W., 7 Nov 2017, Proceedings of the 3rd ACM SIGSPATIAL International Workshop on the Use of GIS in Emergency Management, EM-GIS 2017. New York, U. S. A.: Association for Computing Machinery, A1

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

severe acute respiratory syndrome
Spatial distribution
gender
history
suburb

A spinning-hull approach providing rapid balance calculations when modelling human postures

Medland, A. J., 2012, Design 2012: Proceedings of the 12th International Design Conference, May 21-24, 2012, Dubrovnik - Croatia. Marjanovic, D., Storga, M., Pavkovic, N. & Bojcetic, N. (eds.). Glasgow, U. K. : Design Society, p. 533-542 10 p.

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

16 Citations (Scopus)

ASPViz: Declarative Visualisation and Animation Using Answer Set Programming

Cliffe, O., De Vos, M., Padget, J. & Brain, M., Dec 2008, Logic Programming - Proceedings of the 24th International Conference in Logic Programming (ICLP). Berlin / Heidelberg: Springer, Vol. 5366. p. 724-728 5 p. (Lecture Notes in Computer Science).

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

Answer Sets
Answer Set Programming
Animation
Visualization
Debugging

Assessing improvements in perception afforded by retinal prostheses in multisensory tasks

Garcia, S., Petrini, K., Lyndon, D. C., Rubin, G. & Nardini, M., 2014, ARVO 2014 Annual Meeting Abstracts.

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

Assessing the effect of walking with a linkage-based gait trainer by analysing muscle activation

Kora, K., Ward, S. & McDaid, A., 16 Aug 2018, MeMeA 2018 - 2018 IEEE International Symposium on Medical Measurements and Applications, Proceedings. IEEE, 8438736

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

Assessing the impact of window systems on energy performance in houses: an integrated analysis

Du, J., Hellström, B. & Dubois, M., 2013, Proceedings of the 12th European Lighting Conference LuxEuropa2013. Poland: Jagiellonian University, p. 259-264

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

Energy utilization
Lighting
Cooling
Heating
Computer simulation

Assessing the importance of the slow drift motion of floating wind turbine platforms

Lupton, R. C. & Langley, R. S., 1 Jan 2014, Ocean Renewable Energy. American Society of Mechanical Engineers (ASME), Vol. 9A.

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

Assessment of DG security contribution on transmission levels

Zhang, Z., Li, J., Li, F., Budd, C. & Hamidi, V., 29 Oct 2014, PES General Meeting/ Conference & Exposition, 2014 IEEE . IEEE, 6939851

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

Distributed power generation
Electric power distribution
1 Citation (Scopus)

Assessment of dynamic reaching tasks through a novel ergonomical index

Preatoni, E., Mazzola, M. & Andreoni, G., Jul 2010, Proceedings of the 3rd International Conference on Applied Human Factors and Ergonomics (AHFE), 17-20 July 2010, Miami (USA).

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

8 Citations (Scopus)

Assessment of supercharging boosting component for heavily downsized gasoline engines

Romagnoli, A., Wan-Salim, W. S. I., Gurunathan, B. A., Martinez-Botas, R. F., Turner, J. W. G., Luard, N., Jackson, R., Matteucci, L., Copeland, C., Akehurst, S., Lewis, A. G. J. & Brace, C. J., 1 Jan 2014, Institution of Mechanical Engineers - 11th International Conference on Turbochargers and Turbocharging. Woodhead Publishing Ltd., p. 13-26 14 p.

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

Gasoline
Engines
Superchargers
Powertrains
Supercharging