Home > Research Search

Search for research

  1. Published

    Engineering complex adaptations in highly heterogeneous distributed systems

    Grace, P., Blair, G. S., Flores-Cortes, C. & Bencomo, N., 09/2008, Autonomics '08 Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems. New York: ACM

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  2. Published

    A multi-level resilience framework for unified networked environments

    Marnerides, A., Bhandari, A., Murthy, H. & Mauthe, A. U., 05/2015, Integrated Network Management (IM), 2015 IFIP/IEEE International Symposium on. IEEE, p. 1369-1372 4 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  3. Published

    Does Positivity Bias Explain Patterns of Performance on Wason’s 2-4-6 Task?

    Gale, M. & Ball, L. J., 2002, Proceedings of the Twenty-Fourth Annual Conference of the Cognitive Science Society. Gray, W. D. & Schunn, C. (eds.). Mahwah, New Jersey: Lawrence Erlbaun Associates

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  4. Published

    Evaluating and improving firewalls for ip-telephony environments

    Roedig, U., Ackermann, R. & Steinmetz, R., 1/04/2000, Proceedings of the 1st IP-Telephony Workshop (IPTel2000), Berlin, Germany. GMD-Forschungszentrum Informationstechnik GmbH, p. 161-166 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  5. Unpublished

    The Synthesis and Study of Functionalised Catenanes and Rotaxanes for Supramolecular Chemistry Applications

    Barlow, S., 14/06/2024, (Unpublished) Lancaster University. 403 p.

    Research output: ThesisDoctoral Thesis

  6. Published

    Real-time human activity recognition from wireless sensors using evolving fuzzy systems.

    Andreu, J. & Angelov, P., 07/2010, IEEE International Conference on Fuzzy Systems (FUZZ), 2010 . IEEE, p. 2652-2659 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  7. Published

    Security engineering with patterns

    Schumacher, M. & Roedig, U., 1/09/2001, Proceedings of the 8th Conference on Pattern Languages of Programs (PLoP 2001).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  8. Unpublished

    A Study of alpha-Synuclein, Parkin and TDP-43 ; Proteins Implicated in Neurodegenerative Disease.

    Foulds, P., 2008, (Unpublished) Lancaster: Lancaster University. 192 p.

    Research output: ThesisDoctoral Thesis

  9. Published

    Digital approaches to field neutron spectrometry-NPL Report IR 23.

    Akurugoda Gamage, K. A., Hawkes, N. & Taylor, G., 09/2010, National Physical Laboratory.

    Research output: Working paper

  10. Published

    Chronostratigraphy

    Hounslow, M. W., 1/01/2021, Reference Module in Earth Systems and Environmental Sciences: Encyclopaedia of geology. Elsevier Science, p. 96-106 11 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNEntry for encyclopedia/dictionary

  11. Published
  12. Published

    Supporting (Mobile) User Experience at a Rural Village ‘Scarecrow Festival’: A Formative Study of a Geolocated Photo Mashup Utilising a Situated Display

    Cheverst, K., Coulton, P., Bamford, W. & Taylor, N., 2/09/2008. 5 p.

    Research output: Contribution to conference - Without ISBN/ISSN Conference paperpeer-review

  13. Published

    Electricity as (big) data: metering, spatiotemporal granularity and value

    Kragh-Furbo, M. & Walker, G. P., 1/06/2018, In: Big Data and Society. 5, 1, p. 1-12 12 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  14. Published

    An empirical characterization of touch-gesture input force on mobile devices

    Taher, F., Alexander, J., Hardy, J. & Velloso, E., 11/2014, ITS '14 Proceedings of the Ninth ACM International Conference on Interactive Tabletops and Surfaces. New York: ACM, p. 195-204 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  15. Published

    Endocannabinoids and endocannabinoid-like compounds modulate hypoxia-induced permeability in CaCo-2 cells via CB1, TRPV1, and PPAR<alpha>

    Karwad, M. A., Couch, D. G., Wright, K., Tufarelli, C., Larvin, M., Lund, J. & O'Sullivan, S. E., 1/10/2019, In: Biochemical Pharmacology. 168, p. 465-472 8 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  16. Published

    Non-parametric regression for hypothesis testing in hospitality and tourism research

    Assaf, A. G. & Tsionas, M., 01/2019, In: International Journal of Hospitality Management. 76, Part A, p. 43-47 5 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  17. Published

    Analytic modeling of interconnects for deep submicron circuits.

    Pamunuwa, D. B., Elassaad, S. & Tenhunen, H., 2003, 2003 International Conference on Computer-Aided Design (ICCAD'03). San Jose, California: IEEE Computer Society, p. 835-842 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  18. Published

    Nitrate salt-halloysite nanotube (HNT) composite phase change materials for thermal energy storage: The feasibility of material fabrication by using HNT as skeleton substance and its thermal properties

    Li, C., Han, L., Leng, G., Lu, H., Xu, R., Du, Y., Li, Q. & Wu, Y., 31/12/2023, In: Solar Energy Materials and Solar Cells. 263, 112565.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  19. Published

    Blockchain and Cryptocurrency in Human Computer Interaction: A Systematic Literature Review and Research Agenda

    Fröhlich, M., Waltenberger, F., Trotter, L., Alt, F. & Schmidt, A., 13/06/2022, DIS 2022 - Proceedings of the 2022 ACM Designing Interactive Systems Conference: Digital Wellbeing. ACM, p. 155-177 23 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  20. Published

    The WTO's Appellate Body: Legal Formalism as a Legitimation of Global Governance.

    Picciotto, S., 07/2005, In: Governance. 18, 3, p. 477-503 27 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  21. Published

    On simplifying modular specification and verification of distributed protocols

    Sinha, P. & Suri, N., 22/10/2001, Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering: Special Topic: Impact of Networking. IEEE, p. 173-181 9 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  22. Published

    Gauge equivalence for complete L-algebras

    Guan, A., 7/07/2021, In: Homology, Homotopy and Applications. 23, 2, p. 283-297 15 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  23. Published

    A component-based approach for (Re)-configurable routing in VANETs

    Nudloll, V., Blair, G. S. & Grace, P., 12/2009, ARM '09 Proceedings of the 8th International Workshop on Adaptive and Reflective MIddleware. New York: ACM, 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  24. Published

    Demo: Helping to Tackle Social Isolation and Loneliness of Older Adults Using Mobile Applications

    Shaw, P. A., Mikusz, M., Davies, N. A. J., Bull, C. N., Harding, M. P. & Hayes, J. N., 22/02/2019, HotMobile '19 Proceedings of the 20th International Workshop on Mobile Computing Systems and Applications. New York: ACM, p. 185-185 1 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  25. Published

    Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?

    Caminati, M. B., Kerber, M., Lange, C. & Rowat, C., 30/06/2014, International Conference on Intelligent Computer Mathematics. Springer, Vol. 8543. p. 236-251

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review