PIR sensor array for hand motion recognition
Presentation / Conference
Wojtczuk, P., Armitage, A., Binnie, D., & Chamberlain, T. (2011, August)
PIR sensor array for hand motion recognition. Paper presented at SensorDevices 2011, Nice, France
Abstract—In this paper we present our work towards a hand gesture recognition system realised with a passive thermal infrared sensor array. In contrast with the majority of re...
A model checking based approach to automatic test suite generation for testing web services and BPEL.
Conference Proceeding
Zhao, H., Sun, J., & Liu, X. (2012)
A model checking based approach to automatic test suite generation for testing web services and BPEL. In Proceedings of IEEE Asia-Pacific Services Computing Conference, 61-69. https://doi.org/10.1109/APSCC.2012.29
With the rapid increase of Web Service applications, the reliability of web service and service composition has drawn particular attention from researchers and industries. Man...
Investigations of impacts of junction design on emissions: are our junctions sustainable?
Journal Article
Saleh, W., & Lawson, A. (2013)
Investigations of impacts of junction design on emissions: are our junctions sustainable?. World journal of science, technology and sustainable development, 10, 143-151. https://doi.org/10.1108/20425941311323145
Purpose - An investigation of the driving behaviour and impacts on emission at two traffic junctions
Design/methodology/approach - A signalised junction and a roundabout in E...
Converting an existing taxonomic data resource to employ an ontology and LSIDs.
Conference Proceeding
Kennedy, J., Gales, R., & Kukla, R. (2006)
Converting an existing taxonomic data resource to employ an ontology and LSIDs. In L. Belbin, A. Rissoné, & A. Weitzman (Eds.), Proceedings of TDWG (2006), St Louis, MI
Data sharing is fundamental to biodiversity and taxonomic data applications, however previous attempts at developing mechanisms to facilitate sharing within the community have...
A topological insight into restricted Boltzmann machines
Journal Article
Mocanu, D. C., Mocanu, E., Nguyen, P. H., Gibescu, M., & Liotta, A. (2016)
A topological insight into restricted Boltzmann machines. Machine Learning, 104(2-3), 243-270. https://doi.org/10.1007/s10994-016-5570-z
Restricted Boltzmann Machines (RBMs) and models derived from them have been successfully used as basic building blocks in deep artificial neural networks for automatic feature...
The Design and Evaluation of a Modern C++ Library
Conference Proceeding
Chalmers, K. (2016)
The Design and Evaluation of a Modern C++ Library. In Communicating Process Architectures 2016
Although many CSP inspired libraries exist, none yet have targeted modern C++ (C++11 onwards). The work presented has a main objective of providing a new C++ CSP library which...
A refinement calculus for the development of real-time systems.
Conference Proceeding
Chen, Z., Cau, A., Zedan, H., Liu, X., & Yang, H. (1998)
A refinement calculus for the development of real-time systems. In 5th Asia Pacific Software Engineering Conference, APSEC '98, 61. https://doi.org/10.1109/APSEC.1998.733588
We present a calculus which can transfer specifications
to objects for the development of real-time systems. The
object model is based on a practical OO development
technique—...
A Transparent Thread and Fiber Framework in C++CSP
Conference Proceeding
Chalmers, K. (2018)
A Transparent Thread and Fiber Framework in C++CSP
There are multiple low-level concurrency primitives supported today, but these often require the programmer to be explicit in their implementation decisions at design time. Th...
Apto: A MDD-Based Generic Framework for Context-Aware Deeply Adaptive Service-Based Processes
Conference Proceeding
Jaroucheh, Z., Liu, X., & Smith, S. (2010)
Apto: A MDD-Based Generic Framework for Context-Aware Deeply Adaptive Service-Based Processes. In Proceedings of The 8th IEEE International Conference on Web Services (ICWS’10), 219-226. doi:10.1109/icws.2010.16
Context-awareness and adaptability are important and desirable properties of service-based processes designed to provide personalized services. Most of the existing approaches...
Immunological inspiration for building a new generation of autonomic systems.
Conference Proceeding
Hart, E., Davoudani, D., & McEwan, C. (2007)
Immunological inspiration for building a new generation of autonomic systems. In Autonomics '07 Proceedings of the 1st international conference on Autonomic computing and communication systems
Autonomic computing systems of the future will be required to exhibit a number of properties which cannot be engineered using current technologies and algorithms. The most dir...