Home > Research > Security Lancaster > Publications & Outputs

Research

View graph of relations

Security Lancaster

1526 - 1550 out of 3,577Page size: 25
RSS feed of this list
  1. 2014
  2. Published

    Budget imbalance criteria for auctions: a formalized theorem

    Caminati, M. B., Kerber, M. & Rowat, C., 30/06/2014, Trends in Contemporary Computer Science. Bialystok University of Technology Publishing Office, (arXiv preprint arXiv:1412.0542).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed) › peer-review

  3. Published

    Pseudo-Canonical Formulae are Classical

    Caminati, M. B. & Kornilowicz, A., 30/06/2014, In: Formalized Mathematics.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  4. Published

    Reasoning about Auctions

    Caminati, M., Kerber, M., Lange, C. & Rowat, C., 30/06/2014.

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

  5. 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/ISSN › Conference contribution/Paper › peer-review

  6. Published

    Multi-tenancy in cloud computing

    AlJahdali, H., Albatli , A., Garraghan, P., Townend, P., Lau, L. & Xu, J., 12/06/2014, 2014 IEEE 8th International Symposium on Service Oriented System Engineering (SOSE). IEEE, p. 344-351 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  7. Published

    Dynamically evolving clustering for data streams

    Dutta Baruah, R., Angelov, P. & Baruah, D., 2/06/2014, Proceedings 2014 IEEE Symposium on Evolving and Intelligent Systems, EAIS2014. IEEE Xplore, p. 1-6 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  8. Published

    Robust evolving cloud-based PID control adjusted by gradient learning method

    Skrjanc, I., Blazic, S. & Angelov, P., 2/06/2014, Proceedings 2014 IEEE Symposium on Evolving and Intelligent Systems, EAIS-2014. IEEE Xplore, p. 1-8 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  9. Published

    Researcher bias: The use of machine learning in software defect prediction

    Shepperd, M., Bowes, D. & Hall, T., 1/06/2014, In: IEEE Transactions on Software Engineering. 40, 6, p. 603-616 14 p., 6824804.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  10. Published

    Three dimensions of religious place-making in diaspora

    Vasquez, M. A. & Knott, K., 1/06/2014, In: Global Networks. II, p. 326-347 21 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  11. Published

    A survey of privacy in multi-agent systems

    Such, J. M., Espinosa, A. & Garcia-Fornes, A., 06/2014, In: Knowledge Engineering Review. 29, 3, p. 314-344 31 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  12. Published

    Can SPDY really make the web faster?

    Elkhatib, Y., Tyson, G. & Welzl, M., 06/2014, Networking Conference, 2014 IFIP. IFIP, p. 1-9 9 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  13. Published

    Concrete governmentality: shelters and the transformations of preparedness

    Deville, J., Guggenheim, M. & Hrdličková, Z., 06/2014, In: The Sociological Review. 62, Supp. S1, p. 183-210 18 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  14. Published

    Delay-QoS-driven spectrum and energy efficiency tradeoff

    Musavian, L. & Ni, Q., 06/2014, IEEE International Conference on Communications (ICC 2014). IEEE, p. 4981-4986 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  15. Published

    Design of a terahertz cascade backward wave amplifier

    David, J.-F., Durand, A., Mineo, M. & Paoloni, C., 06/2014, In: IEEE Transactions on Electron Devices. 61, 6, p. 1715-1720 6 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  16. Published

    Interactional order and constructed ways of seeing with touchless imaging systems in surgery

    O'Hara, K., Gonzalez, G., Penney, G., Sellen, A., Corish, R., Mentis, H., Varnavas, A., Criminisi, A., Rouncefield, M., Dastur, N. & Carrell, T., 06/2014, In: Computer Supported Cooperative Work. 23, 3, p. 299-337 39 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  17. Published

    Periodically allocated re-entrant cavity klystron

    Paoloni, C., 06/2014, In: IEEE Transactions on Electron Devices. 61, 6, p. 1687 - 1691 5 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  18. Published

    Proceedings of the 2014 IEEE Conference on Evolving and Adaptive Intelligent Systems

    Angelov, P. (Editor), Filev, D. (Editor), Kasabov, N. (Editor), Lughofer, E. (Editor), Klement, E. P. (Editor) & Saminger-Platz, S. (Editor), 06/2014, Piscataway, N.J.: IEEE. 150 p.

    Research output: Book/Report/Proceedings › Proceedings

  19. Published

    Symbol recognition with a new autonomously evolving classifier autoclass

    Angelov, P., Kangin, D., Xiaowei, Z. & Kolev, D., 06/2014, 2014 IEEE Conference on Evolving and Adaptive Intelligent Systems. 9781479933471: IEEE, p. 1-6 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  20. Published

    The day-to-day co-production of ageing in place

    Procter, R., Greenhalgh, T., Wherton, J., Sugarhood, P., Rouncefield, M. & Hinder, S., 06/2014, In: Computer Supported Cooperative Work. 23, 3, p. 245-267 23 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  21. Published

    The relational aspect to high reliability organization

    Busby, J. & Iszatt-White, M., 06/2014, In: Journal of Contingencies and Crisis Management. 22, 2, p. 69-80 12 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  22. Published

    Dealing with big data outside of the cloud: GPU accelerated sort

    Vidler, J., Rayson, P., Anthony, L., Scott, A. & Mariani, J., 31/05/2014, p. 21-24. 4 p.

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

  23. Published

    Efficient agile sink selection in wireless sensor networks based on compressed sensing

    Mahmudimanesh, M., Naseri, A. & Suri, N., 26/05/2014, 2014 IEEE International Conference on Distributed Computing in Sensor Systems. IEEE, p. 193-200 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  24. Published

    Robust compressive data gathering in wireless sensor networks with linear topology

    Mahmudimanesh, M. & Suri, N., 26/05/2014, 2014 IEEE International Conference on Distributed Computing in Sensor Systems. IEEE, p. 179-186 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  25. Published

    The doors are open to us: on parliamentary inquiries and the plight of Europe’s migrants

    Follis, K., 26/05/2014

    Research output: Exhibits, objects and web-based outputs › Web publication/site

  26. Published

    Spectroscopy of single GaSb quantum rings: a route towards practical quantum communication

    Roberts, J., Young, M., Noori, Y., Smakman, E. P., Koenraad, P. M., Hayne, M. & Young, R., 14/05/2014.

    Research output: Contribution to conference - Without ISBN/ISSN › Poster › peer-review

Previous 1...58 59 60 61 62 63 64 65 ...144 Next

Back to top