Home > Research Search

Research

Search for research

601 - 610 out of 9,850Page size: 10
Sort by: Rating
  1. Published

    Decision Theory Meets Linear Optimization Beyond Computation

    Jansen, C., Schollmeyer, G. & Augustin, T., 15/06/2017, Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings. Antonucci, A., Cholvy, L. & Papini, O. (eds.). Cham: Springer, p. 329-339 11 p. (Lecture Notes in Computer Science; vol. 10369).

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

  2. Published

    Data privacy management, autonomous spontaneous security, and security assurance: 9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Selected Papers

    Garcia-Alfaro, J. (Editor), Herrera-Joancomartí, J. (Editor), Lupu, E. (Editor), Posegga, J. (Editor), Aldini, A. (Editor), Martinelli, F. (Editor) & Suri, N. (Editor), 2015, Springer. 343 p. (Lecture Notes in Computer Science)

    Research output: Book/Report/Proceedings › Book

  3. Text Meets Space: Geographic Content Extraction, Resolution and Information Retrieval

    Leidner, J. L., McDonough, K., Martins, B. & Purves, R., 11/04/2020, ECIR 2020: Advances in Information Retrieval. Springer, Vol. 12036. p. 669–673 (Lecture Notes in Computer Science; vol. 12036).

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

  4. Published

    Artificial Neural Networks and Machine Learning – ICANN 2022: 31st International Conference on Artificial Neural Networks, Bristol, UK, September 6–9, 2022, Proceedings, Part III

    Pimenidis, E., Angelov, P., Jayne, C., Papaleonidas, A. & Aydin, M., 6/09/2022, Cham: Springer. 813 p. (Lecture Notes in Computer Science; vol. 13531)

    Research output: Book/Report/Proceedings › Proceedings

  5. Published

    Artificial Neural Networks and Machine Learning – ICANN 2022: 31st International Conference on Artificial Neural Networks, Bristol, UK, September 6–9, 2022, Proceedings, Part I

    Pimenidis, E. (Editor), Angelov, P. (Editor), Jayne, C. (Editor), Papaleonidas, A. (Editor) & Aydin, M. (Editor), 6/09/2022, Cham: Springer. 761 p. (Lecture Notes in Computer Science; vol. 13529)

    Research output: Book/Report/Proceedings › Proceedings

  6. Published

    Artificial Neural Networks and Machine Learning – ICANN 2022: 31st International Conference on Artificial Neural Networks, Bristol, UK, September 6–9, 2022, Proceedings, Part II

    Pimenidis, E. (Editor), Angelov, P., Jayne, C. (Editor), Papaleonidas, A. & Aydin, M., 6/09/2022, Cham: Springer. 813 p. (Lecture Notes in Computer Science ; vol. 13530)

    Research output: Book/Report/Proceedings › Proceedings

  7. Published

    Artificial Neural Networks and Machine Learning – ICANN 2022: 31st International Conference on Artificial Neural Networks, Bristol, UK, September 6–9, 2022, Proceedings; Part IV

    Pimenidis, E. (Editor), Angelov, P. (Editor), Jayne, C. (Editor), Papaleonidas, A. (Editor) & Aydin, M. (Editor), 6/09/2022, Cham: Springer. 795 p. (Lecture Notes in Computer Science; vol. 13532)

    Research output: Book/Report/Proceedings › Proceedings

  8. Published

    Measuring User Comprehension of Inference Rules in Euler Diagrams

    Linker, S., Burton, J. & Blake, A., 10/08/2016, Diagrammatic Representation and Inference: 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings. Jamnik, M., Uesaka, Y. & Schwartz, S. E. (eds.). Cham: Springer, p. 32-39 8 p. (Lecture Notes in Computer Science; vol. 9781).

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

  9. Published

    Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL

    Linker, S., 20/09/2017, Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings. Polikarpova, N. & Schneider, S. (eds.). Cham: Springer, p. 34-49 16 p. (Lecture Notes in Computer Science; vol. 10510).

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

  10. Published

    DNSSEC Misconfigurations in Popular Domains

    Dai, T., Shulman, H. & Waidner, M., 28/10/2016, Cryptology and Network Security. CANS 2016.. Foresti, S. & Persiano, G. (eds.). Cham: Springer, p. 651-660 10 p. (Lecture Notes in Computer Science; vol. 10052).

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

Previous 1...57 58 59 60 61 62 63 64 ...985 Next