Home > Research > Security Lancaster > Publications & Outputs

Research

View graph of relations

Security Lancaster

2071 - 2080 out of 3,580Page size: 10
RSS feed of this list
  1. 2011
  2. 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

  3. 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

  4. 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

  5. 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

  6. 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

  7. 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

  8. 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)

  9. Published

    Quantum information to the home

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

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

  10. Published

    Towards an adaptive resilience strategy for future computer networks

    Ali, A., Angelov, P. & Hutchison, D., 9/09/2011, Proceedings of the UKCI 2011, 7-9 Spetember, 2011, Manchester, UK. Manchester: University of Manchester, p. 201-206 6 p.

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

  11. Published

    Backward Wave Amplifier Realisation at 1000 GHz Progress whitin EU FP7 OPTHER Project

    Paoloni, C., Di Carlo, A., Brunetti, F., Mineo, M., Ulisse, G., Durand, A. J., Krozer, V., Kotiranta, M., Fiorello, A. M., Dispenza, M., Secchi, A., Zhurbenko, V., Boumrane, F., Bouvet, T., Megtert, S., Cojocaru, C.-S. & Gohier, A., 1/09/2011, 5th UK-China Workshop on Millimetre-Waves and Terahertz Technologies 2011. Glasgow

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

Previous 1...204 205 206 207 208 209 210 211 ...358 Next

Back to top