Home > Research > Publications & Outputs
  1. Published

    A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees

    Wu, M., Wicker, M., Ruan, W., Huang, X. & Kwiatkowska, M., 6/02/2020, In: Theoretical Computer Science. 807, p. 298-329 32 p.

    Research output: Contribution to journalJournal articlepeer-review

  2. E-pub ahead of print

    A game theory model based on Gale-Shapley for dual-resource constrained (DRC) flexible job shop scheduling

    Renna, P., Thurer, M. & Stevenson, M., 1/11/2019, In: International Journal of Industrial Engineering Computations. 11, 2, p. 173-184 12 p.

    Research output: Contribution to journalJournal articlepeer-review

  3. Published

    A game theoretical network-assisted user-centric design for resource allocation in 5G heterogeneous networks

    Munir, H., Hassan, S. A., Pervaiz, H. B. & Ni, Q., 15/05/2016, 2016 IEEE 83rd Vehicular Technology Conference (VTC Spring). IEEE, p. 1-5 5 p.

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

  4. Published

    A game theoretic based Call Admission Control scheme for competing WiMAX networks

    Pervaiz, H. B., 17/02/2009, p. 1-5. 5 p.

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

  5. Published

    A fuzzy-weighted finite-volume flow model of flooding on the river Thames in a fuzzy possiblistic framework

    Hankin, B. G. & Beven, K. J., 1/12/2000, In: PIK Report. 65, 2, p. 532-533 2 p.

    Research output: Contribution to journalJournal articlepeer-review

  6. Published

    A fuzzy time series approach based on weights determined by the number of recurrences of fuzzy relations

    Rezan Uslu, V., Bas, E., Yolcu, U. & Egrioglu, E., 1/04/2014, In: Swarm and Evolutionary Computation. 15, p. 19-26 8 p.

    Research output: Contribution to journalJournal articlepeer-review

  7. Published

    A fuzzy system for evaluating students' project in engineering education

    Baba, A. F., Cin, F. M. & Bakanay, D., 06/2012, In: Computer Applications in Engineering Education. 20, 2, p. 287-294 8 p.

    Research output: Contribution to journalJournal articlepeer-review

  8. Published

    A Fuzzy Paradigmatic Clustering Algorithm

    Amirjavid, F., Barak, S. & Nemati, H., 31/12/2019, In: IFAC-PapersOnLine. 52, 13, p. 2360-2365 6 p.

    Research output: Contribution to journalJournal articlepeer-review

  9. Published

    A fuzzy decision tree to predict phosphorus export at the catchment scale.

    Scharer, M., Page, T. & Beven, K., 15/12/2006, In: Journal of Hydrology. 331, 3-4, p. 484-494 11 p.

    Research output: Contribution to journalJournal articlepeer-review

  10. Published

    A Fuzzy Data-Driven Paradigmatic Predictor

    Amirjavid, F., Nemati, H. & Barak, S., 31/12/2019, In: IFAC-PapersOnLine. 52, 13, p. 2366-2371 6 p.

    Research output: Contribution to journalJournal articlepeer-review

  11. Published

    A fuzzy controller with evolving structure.

    Angelov, P., 5/04/2004, In: Information Sciences. 161, 1-2, p. 21-35 15 p.

    Research output: Contribution to journalJournal articlepeer-review

  12. Published

    A fuzzy based verification agent for the Persim human activity simulator in Ambient Intelligent Environments

    Elfaham, A., Hagras, H., Helal, S., Hossain, S., Lee, J. W. & Cook, D., 2010, 2010 6th IEEE World Congress on Computational Intelligence, WCCI 2010. IEEE

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

  13. Published

    A fuzzy approach to building thermal systems optimization.

    Angelov, P., 06/1999. 4 p.

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

  14. Published

    A futures-based analysis for urban air quality remediation

    Pugh, T., Mackenzie, R., Davies, G., Whyatt, D., Barnes, M. & Hewitt, C. N., 2012, In: Proceedings of the ICE - Engineering Sustainability. 165, 1, p. 21-36 16 p.

    Research output: Contribution to journalJournal articlepeer-review

  15. Published

    A future for small business? prospective scenarios for the development of the economy based on current policy thinking and counterfactual reasoning

    Atherton, A., 10/2005, In: Futures. 37, 8, p. 777-794 18 p.

    Research output: Contribution to journalJournal articlepeer-review

  16. Unpublished

    A Future Archaeology of the Mobile Telecoms Industry.

    Watts, L., 2007, (Unpublished) Lancaster: Lancaster University. 401 p.

    Research output: ThesisDoctoral Thesis

  17. Published

    A further test of the linearity of temporal summation in forward masking.

    Plack, C. J., Carcagno, S. & Oxenham, A. J., 10/2007, In: Journal of the Acoustical Society of America. 122, p. 1880-1883 4 p.

    Research output: Contribution to journalJournal articlepeer-review

  18. Published

    A Further Species of Trouble: Disaster

    Singleton, V. & Law, J., 2009, From Mayhem to Meaning: The Cultural Meaning of the 2001 Outbreak of Foot and Mouth Disease in the UK.. Martin, D. & Brigitte, N. (eds.). Manchester: Manchester: Manchester University Press, p. 229-242 13 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter (peer-reviewed)

  19. Published

    A fungal nitrate carrier with two transport mechanisms.

    Zhou, J-J., Trueman, L. J., Boorer, K. J., Theodoulou, F. L., Forde, B. G. & Miller, A. J., 22/12/2000, In: Journal of Biological Chemistry. 275, 51, p. 39894-39899 6 p.

    Research output: Contribution to journalJournal articlepeer-review

  20. Published

    A fundamental metallicity relation for galaxies at z = 0.84-1.47 from HiZELS

    Stott, J., Sobral, D., Bower, R., Smail, I., Best, P. N., Matsuda, Y., Hayashi, M., Geach, J. E. & Kodama, T., 12/2013, In: Monthly Notices of the Royal Astronomical Society. 436, 2, p. 1130-1141 12 p.

    Research output: Contribution to journalJournal articlepeer-review

  21. Unpublished

    A function-behaviour-structure framework for the lifecycle of an artefact

    Stalker, R., 01/2002, (Unpublished).

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

  22. Published

    A Functionalized 8 nm Long Aryleneethynylene Molecular Wire with Alkyne Termini.

    Zeng, X., Wang, C., Bryce, M. R., Batsanov, A. S., Sirichantaropass, S., Garcia Suarez, V. M., Lambert, C. J. & Sage, I., 11/2007, In: European Journal of Organic Chemistry. 2007, 31, p. 5244-5249 6 p.

    Research output: Contribution to journalJournal articlepeer-review

  23. Published

    A Functional Role for Motor Simulation in Identifying Tools

    Witt, J. K., Kemmerer, D., Linkenauger, S. A. & Culham, J., 09/2010, In: Psychological Science. 21, 9, p. 1215-1219 5 p.

    Research output: Contribution to journalJournal articlepeer-review

  24. Published

    A functional role for modality-specific perceptual systems in conceptual representations

    Connell, L., Lynott, D. & Dreyer, F., 13/03/2012, In: PLoS ONE. 7, 3, 7 p., e33321.

    Research output: Contribution to journalJournal articlepeer-review

  25. Published

    A functional approach reveals community responses to disturbances

    Mouillot, D., Graham, N. A. J., Villeger, S., Mason, N. W. H. & Bellwood, D. R., 03/2013, In: Trends in Ecology and Evolution. 28, 3, p. 167-177 11 p.

    Research output: Contribution to journalLiterature reviewpeer-review

Back to top