Home > Research > Publications & Outputs

Research

Publications and Research Outputs

Advanced search »

81651 - 81660 out of 99,710Page size: 10
Sort by: Type
  1. Conference contribution/Paper
  2. Published

    Rabinizer 4: From LTL to Your Favourite Deterministic Automaton.

    Kretínský, J., Meggendorfer, T., Sickert, S. & Ziegler, C., 18/07/2018, CAV 2018: Computer Aided Verification . Springer, p. 567-577 11 p.

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

  3. Published

    CommunityWatch: The Swiss-Army Knife of BGP Anomaly Detection

    Giotsas, V., 16/07/2018, ANRW '18 Proceedings of the Applied Networking Research Workshop. New York: ACM, p. 24 1 p.

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

  4. Published

    Bandits with Delayed, Aggregated Anonymous Feedback

    Pike-Burke, C., Agrawal, S., Szepesvari, C. & Grunewalder, S., 15/07/2018, Proceedings of the International Conference on Machine Learning, 10-15 July 2018, Stockholmsmässan, Stockholm Sweden. Dy, J. (ed.). PMLR, p. 4105-4123 19 p. (Proceedings of Machine Learning Research; vol. 80).

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

  5. Published

    Disabled people, work and SMEs: An exploration of experience and attitudes

    Molyneux, C. J., 14/07/2018, Lancaster University Postgraduate Intellectual Party Conference.

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

  6. Published

    Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying

    Hernich, A., Papacchini, F., Lutz, C. & Wolter, F., 13/07/2018, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden. IJCAI, p. 1861-1867 7 p.

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

  7. Published

    Investigation into Multi-Oscillating Water Column Wave Energy Converters and a Novel Concept

    Doyle, S. & Aggidis, G. A., 13/07/2018, Advances in Renewable Energies Offshore: Proceedings of 3rd International Conference on Renewable Energies Offshore. Guedes Soares, C. (ed.). London: Taylor and Francis, p. 559-567 9 p.

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

  8. Published

    Reachability analysis of deep neural networks with provable guarantees

    Ruan, W., Huang, X. & Kwiatkowska, M., 13/07/2018, Proceedings of the 27th International Joint Conference on Artificial Intelligence, IJCAI 2018. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, Vol. 2018. p. 2651-2659 9 p.

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

  9. Unpublished

    Simulating Meaning in the Brain: Applying the Neural Theory of Language to the Assumption of Coherence

    McDonough, T., 12/07/2018, (Unpublished) Papers from LAEL PG 2018. Lancaster University, (Papers from LAEL PG).

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

  10. Published

    Thai Defamatory Text Classification on Social Media

    Arreerard, R. & Senivongse, T., 12/07/2018, Proceedings of the 2018 IEEE International Conference on Big Data, Cloud Computing, Data Science Engineering: Proceedings of the BCD2018. Yonago, Japan, p. 73-78

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

  11. Published

    Internet Art, Google and Artistic Practice

    Christou, E., 10/07/2018, Proceedings of Proceedings of EVA London 2018, UK. BCS Learning and Development Limited

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

Previous 1...8162 8163 8164 8165 8166 8167 8168 8169 ...9971 Next

Back to top