University of Bath

  • BA2 7AY Bath

    UK United Kingdom

Research Output

Filter
Conference contribution
Conference 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)
12 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

11 Citations (Scopus)

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
75 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

27 Citations (Scopus)

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

30 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, (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
75 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

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

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

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

147 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

39 Citations (Scopus)

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

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

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

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

4 Citations (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

1 Citation (Scopus)

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

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

2 Citations (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

1 Citation (Scopus)

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

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

18 Citations (Scopus)

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

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
3 Citations (Scopus)
133 Downloads (Pure)

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

8 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

5 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

16 Citations (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

1 Citation (Scopus)

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

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

16 Citations (Scopus)

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