Home > Research > Security Lancaster > Publications & Outputs

Research

View graph of relations

Security Lancaster

2051 - 2075 out of 3,577Page size: 25
RSS feed of this list
  1. 2011
  2. Published

    Biphoton interference and coherence of a quantum dot source of entangled photons

    Young, R., 15/11/2011.

    Research output: Contribution to conference - Without ISBN/ISSN › Abstract

  3. Published

    MCMC-Based Tracking and Identification of Leaders in Groups

    Carmi, A., Mihaylova, L., Septier, F., Pang, S. K. & Godsill, S., 7/11/2011, IEEE International Conference on Computer Vision Workshops (ICCV Workshops), 2011 . IEEE, p. 112-119 8 p.

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

  4. Published

    Supporting domain-specific state space reductions through local partial-order reduction

    Bokor, P., Kinder, J., Serafini, M. & Suri, N., 6/11/2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011). IEEE, p. 113-122 10 p.

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

  5. Published

    Developing fault-prediction models: What the research can show industry

    Hall, T., Beecham, S., Bowes, D., Gray, D. & Counsell, S., 1/11/2011, In: IEEE Software. 28, 6, p. 96-99 4 p.

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

  6. Published

    Social TV: The impact of social awareness on content navigation within IPTV systems

    Mitchell, K., Jones, A., Ishmael, J. & Race, N. J. P., 1/11/2011, In: Computers in Entertainment (CIE). 9, 3, 29 p., 19.

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

  7. Published

    An adaptive and composite spatio-temporal data compression approach for wireless sensor networks

    Ali, A., Khelil, A., Szczytowski, P. & Suri, N., 31/10/2011, Proceedings of the 14th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems. ACM, p. 67-76 10 p.

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

  8. Published

    Premorbid risk markers for chronic fatigue syndrome in the 1958 British birth cohort

    Clark, C., Goodwin, L., Stansfeld, S., Hotopf, M. & White, P., 31/10/2011, In: The British journal of psychiatry : the journal of mental science. 199, 4, p. 323-329 7 p.

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

  9. Published

    Putting Like a Pro: The Role of Positive Contagion in Golf Performance and Perception

    Lee, C., Linkenauger, S. A., Bakdash, J. Z., Joy-Gaba, J. A. & Profitt, D. R., 20/10/2011, In: PLoS ONE. 6, 10, 4 p., e26016.

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

  10. Published

    A Sequential Monte Carlo Approach for Extended Object Tracking in the Presence of Clutter

    Petrov, N., Mihaylova, L., Gning, A. & Angelova, D., 1/10/2011, Lecture Notes from Informatics. Berlin, Germany, p. 1-11 11 p. (Lecture Notes in Informatics; vol. P192).

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

  11. Published

    Enhanced Positioning Techniques for Hybrid Wireless Networks

    Zvikhachevskaya, A., Gourov, V., Awang md isa, A., Mihaylova, L. & Markarian, G., 1/10/2011, Lecture Notes in Informatics. Berlin, Germany, p. 1-10 10 p. (Lecture Notes in Informatics; vol. P192).

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

  12. Published

    Next generation satellite broadband enablers

    Ewald, N. L., Fairhurst, G., Race, N., Baker, T. & Skoutaridis, P., 1/10/2011, Telecom World (ITU WT), 2011 Technical Symposium at ITU. IEEE Publishing, p. 39-44 6 p.

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

  13. Published

    A group-oriented secure multiagent platform

    Such, J. M., Alberola, J. M., Espinosa, A. & Garcia-Fornes, A., 10/2011, In: Software: Practice and Experience. 41, 11, p. 1289-1302 14 p.

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

  14. Published

    Information Driven Approach for Sensor Positioning in Wireless Sensor Networks

    Ali, A., Xydeas, C., Mihaylova, L. & Gning, A., 10/2011, INFORMATIK 2011 Informatik schafft Communities 4.–7. Oktober 2011 Berlin. Heiß , H.-U., Pepper, P., Schlingloff, H. & Schneider, J. (eds.). Bonn: GI, 12 p. (Lecture Notes in Informatics; vol. P-192).

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

  15. Published

    Partial identities as a foundation for trust and reputation

    Such, J. M., Espinosa, A., Garcia-Fornes, A. & Botti, V., 10/2011, In: Engineering Applications of Artificial Intelligence. 24, 7, p. 1128-1136 9 p.

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

  16. Published

    Taking a Hands-On Approach: Apparent Grasping Ability Scales the Perception of Object Size

    Linkenauger, S. A., Witt, J. K. & Proffitt, D. R., 10/2011, In: Journal of Experimental Psychology: Human Perception and Performance. 37, 5, p. 1432-1441 10 p.

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

  17. Published

    Trust and distrust in safety leadership: mirror reflections?

    Conchie, S., Taylor, P. J. & Charlton, A., 10/2011, In: Safety Science. 49, 8-9, p. 1208-1214 7 p.

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

  18. Published

    Definition of first order language with arbitrary alphabet. Syntax of terms, atomic formulas and their subterms

    Caminati, M., 30/09/2011, In: Formalized Mathematics. 19, 3, p. 169-178

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

  19. Published

    First order languages: Further syntax and semantics

    Caminati, M., 30/09/2011, In: Formalized Mathematics. 19, 3, p. 179-192

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

  20. Published

    Free interpretation, quotient interpretation and substitution of a letter with a term for first order languages

    Caminati, M., 30/09/2011, In: Formalized Mathematics. 19, 3, p. 193-203

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

  21. Published

    Preliminaries to classical first order model theory

    Caminati, M., 30/09/2011, In: Formalized Mathematics. 19, 3, p. 155-167

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

  22. Published

    Sequent Calculus, Derivability, Provability. Gödel's Completeness Theorem

    Caminati, M., 30/09/2011, In: Formalized Mathematics. 19, 3, p. 205-222

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

  23. Published

    Dependability in federated cloud environments

    Garraghan, P., Townend, P. & Xu, J., 26/09/2011.

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

  24. Published

    MWM: A map-based world model for wireless sensor networks

    Khelil, A., Shaikh, F. K., Ayari, B. & Suri, N., 23/09/2011, Autonomics: 2nd International ICST Conference on Autonomic Computing and Communication Systems. EUDL, 10 p.

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

  25. Published

    Autonomous Machine Learning (ALMA): generating rules from data streams

    Angelov, P., 19/09/2011, Proceedings of the Special International Conference on Complex Systems, COSY-2011: 16-19 September 2011. Ohrid, FYR of Macedonia, p. 249-256 8 p.

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

  26. Published

    Quantum information to the home

    Young, R. & Townsend, P., 18/09/2011.

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

Previous 1...79 80 81 82 83 84 85 86 ...144 Next

Back to top