Skip to main content

Research Repository

See what's under the surface

Browse


Practical zero-knowledge proofs for circuit evaluation (2009)
Journal Article
Ghadafi, E., Smart, N. P., & Warinschi, B. (2009). Practical zero-knowledge proofs for circuit evaluation. Lecture Notes in Artificial Intelligence, 5921 LNCS, 469-494. https://doi.org/10.1007/978-3-642-10868-6_28

Showing that a circuit is satisfiable without revealing information is a key problem in modern cryptography. The related (and more general) problem of showing that a circuit evaluates to a particular value if executed on the input contained in a publ... Read More about Practical zero-knowledge proofs for circuit evaluation.

Endotoxin emissions from commercial composting activities (2009)
Presentation / Conference
Jackson, S., Hayes, E. T., Drew, G. H., Deacon, L., Pankhurst, L., Liu, J., …Tyrrel, S. Endotoxin emissions from commercial composting activities. Paper presented at Environmental Health: A Global Access Science Source

This paper describes an exploratory study of endotoxin emissions and dispersal from a commercial composting facility. Replicated samples of air were taken by filtration at different locations around the facility on 10 occasions. Measurements were mad... Read More about Endotoxin emissions from commercial composting activities.

The credit crunch - Are credit unions able to ride out the storm? (2009)
Journal Article
Ryder, N., & Chambers, C. (2009). The credit crunch - Are credit unions able to ride out the storm?. Journal of Banking Regulation, 11(1), 76-86. https://doi.org/10.1057/jbr.2009.14

Credit unions are financial co-operatives that conduct their business for their members. The principal purpose of a credit union is to receive deposits from and make loans to members. They do not serve the general public. Membership is restricted by... Read More about The credit crunch - Are credit unions able to ride out the storm?.

Autonomous control laws for mobile robotic surveillance swarms (2009)
Presentation / Conference
Mullen, R., Monekosso, D., Barman, S., & Paolo, R. (2009, December). Autonomous control laws for mobile robotic surveillance swarms. Paper presented at IEEE Symposium: Computational Intelligence for Security and Defence Applications (CISDA)

We investigate the use of artificial local forces governed by physics laws for the spatial formation and coordination of a swarm of VTOL UAVs for ground area surveillance applications. Varying parameter effects are investigated through simulation and... Read More about Autonomous control laws for mobile robotic surveillance swarms.

Neurath's whale (2009)
Presentation / Conference
Henning, M. (2009, December). Neurath's whale. Paper presented at The Afterlife of Animals

Taking a brief passage by Otto Neurath about a whale exhibit, I raise questions about how we interpret exhibits, using phenomenological and social-historical approaches, and I use Bruno Latour’s notion of objects as actants and imbroglios to reconsid... Read More about Neurath's whale.

Change at a hospice: Realist social theory applied (2009)
Presentation / Conference
Lipscomb, M. (2009, December). Change at a hospice: Realist social theory applied. Poster presented at ESRC Supported: Critical Realism in Action Seminar Series: Debating the Critiques of Critical Realism

Towards a universal requirements engineering process (2009)
Presentation / Conference
Odeh, M. (2009, December). Towards a universal requirements engineering process. Paper presented at The International Arab Conference on Information Technology

This paper introduces new a vision for a universal requirements engineering process, namely the TUREP process model with emphasis on the engineering dimension, but as well being business process driven, architecture centric, role driven, and relating... Read More about Towards a universal requirements engineering process.

Reasoning about other agents' beliefs under bounded resources (2009)
Journal Article
Alechina, N., Logan, B., Nguyen, H. N., & Rakib, A. (2009). Reasoning about other agents' beliefs under bounded resources. Lecture Notes in Artificial Intelligence, 5605 LNAI, 1-15. https://doi.org/10.1007/978-3-642-05301-6_1

There exists a considerable body of work on epistemic logics for bounded reasoners where the bound can be time, memory, or the amount of information the reasoners can exchange. In much of this work the epistemic logic is used as a meta-logic to reaso... Read More about Reasoning about other agents' beliefs under bounded resources.

Analysis of a global database on quaternary explosive volcanism (2009)
Presentation / Conference
Ortiz Guerrero, N., Sparks, R., & Hobbs, L. (2009, December). Analysis of a global database on quaternary explosive volcanism. Poster presented at AGU Fall Meeting 2009

Large volcanic eruptions, despite their low frequency of occurrence, have the potential to cause massive loss of life and affect the health of humans and animals and cause major economic losses. The knowledge of the evolution of past volcanic process... Read More about Analysis of a global database on quaternary explosive volcanism.

Ontology-driven requirements engineering with reference to the aerospace industry (2009)
Conference Proceeding
Kossmann, M., Odeh, M., Gillies, A., & Watts, S. (2009). Ontology-driven requirements engineering with reference to the aerospace industry. In P. Pichappan, & E. El-Qawasmeh (Eds.), Second International Conference on the Applications of Digital Information and Web Technologies, 2009. ICADIWT '09, (95-103). https://doi.org/10.1109/ICADIWT.2009.5273953

This paper provides an overview regarding the application of an ontology-driven requirements engineering methodology, namely OntoREM, in the aerospace industry with the objective to assess the extent to which this approach has the potential to develo... Read More about Ontology-driven requirements engineering with reference to the aerospace industry.

Antipsychotic long-acting injections in clinical practice: Medication management and patient choice (2009)
Journal Article
Gray, R., Spilling, R., Burgess, D., & Newey, T. (2009). Antipsychotic long-acting injections in clinical practice: Medication management and patient choice. British Journal of Psychiatry, 195(SUPPL. 52), S51-S56. https://doi.org/10.1192/bjp.195.52.s51

Background: A patient-centred approach to care, focusing on recovery, demands a reconsideration of how choices are made about treatment, how this affects medication adherence, and the role of long-acting antipsychotics (LAIs) in this process. Aims: T... Read More about Antipsychotic long-acting injections in clinical practice: Medication management and patient choice.

Knowledge, attitudes and experiences of Macao's casino workers with regard to second-hand smoke exposure at work (2009)
Journal Article
Wan, P., & Pilkington, P. (2009). Knowledge, attitudes and experiences of Macao's casino workers with regard to second-hand smoke exposure at work. International Gambling Studies, 9(3), 207-224. https://doi.org/10.1080/14459790903222449

This study investigates the knowledge, attitudes and experiences of casino workers in Macao with regard to exposure to second-hand smoke (SHS) in the workplace through structured face-to-face interviews with 377 workers. The results indicate that the... Read More about Knowledge, attitudes and experiences of Macao's casino workers with regard to second-hand smoke exposure at work.

Gambling on compliance with the new 2005 Act: Do organisations fulfil new regulations? (2009)
Journal Article
Chambers, C., & Willox, C. (2009). Gambling on compliance with the new 2005 Act: Do organisations fulfil new regulations?. International Review of Law, Computers and Technology, 23(3), 203-215. https://doi.org/10.1080/13600860903262263

Gambling is not a new phenomenon. Indeed gambling has been seen to be omnipresent throughout history and culture. However gambling has taken a new path. Online gambling is fast becoming a major pastime for many of society. The ease of access and conv... Read More about Gambling on compliance with the new 2005 Act: Do organisations fulfil new regulations?.

Interventions to promote cancer awareness and early presentation: Systematic review (2009)
Journal Article
Robb, K., Austoker, J., Bankhead, C., Forbes, L. J. L., Atkins, L., Martin, F., …Ramirez, A. J. (2009). Interventions to promote cancer awareness and early presentation: Systematic review. British Journal of Cancer, 101(S2), S31-S39. https://doi.org/10.1038/sj.bjc.6605388

Background:Low cancer awareness contributes to delay in presentation for cancer symptoms and may lead to delay in cancer diagnosis. The aim of this study was to review the evidence for the effectiveness of interventions to raise cancer awareness and... Read More about Interventions to promote cancer awareness and early presentation: Systematic review.

Effective researcher management (2009)
Presentation / Conference
Desai, T., & Ritchie, F. (2009, December). Effective researcher management. Paper presented at UNECE Worksession on Statistical Data Confidentiality 2009

National Statistical Institutes [NSIs] are increasingly investigating new ways of providing access to confidential microdata for research purposes. These innovations are being driven by the requirement for NSIs to ensure the best possible return for... Read More about Effective researcher management.