Browse Publications

  1. Conference contribution › Research
  2. Publications content icon
    Published

    A crown jewel defense strategy based particle swarm optimization

    Shan He & , 2012, 2012 IEEE Congress on Evolutionary Computation, CEC 2012. 6256145. (2012 IEEE Congress on Evolutionary Computation, CEC 2012).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Publications content icon
    Published

    A cut-free cyclic proof system for kleene algebra

    Anupam Das & , 30 Aug 2017, Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28 2017, Proceedings. Nalon, C. & Schmidt, R. A. (eds.). Springer, p. 261-277 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10501 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Publications content icon
    Published

    A graph theoretic approach for object shape representation in compositional hierarchies using a hybrid generative-descriptive model

    Mete Ozay, Ales Leonardis & Jeremy Wyatt, 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). PART 3 ed. Springer, Vol. 8691 LNCS. p. 566-581 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8691 , no. 3).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. Publications content icon
    Published

    A logical approach for behavioural composition of scenario-based models

    Behzad Bordbar & , 2015, Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings. Editor, M., Conchon, S. & Zaidi, F. (eds.). Springer, Vol. 9407. p. 252-269 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9407).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Publications content icon
    Published

    A market-based approach for detecting malware in the cloud via introspection

    Tom Chothia & Rami Bahsoon, 2017, Service-Oriented Computing - 15th International Conference, ICSOC 2017, Proceedings. Maximilien, M., Vallecillo, A., Wang, J. & Oriol, M. (eds.). Springer Verlag, p. 722-730 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10601 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. Publications content icon
    Published

    A masked ring-LWE implementation

    Sujoy Sinha Roy, & , 1 Sep 2015, Cryptographic Hardware and Embedded Systems - CHES 2015: 17th International Workshop Saint-Malo, France, September 13–16, 2015 Proceedings. Güneysu, T. & Handschuh, H. (eds.). Springer Verlag, p. 683-702 (Lecture Notes in Computer Science ; vol. 9293).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. Publications content icon
    Published

    A memory binary particle swarm optimization

    Shan He & , 2012, 2012 IEEE Congress on Evolutionary Computation, CEC 2012. 6256150. (2012 IEEE Congress on Evolutionary Computation, CEC 2012).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. Publications content icon
    Published

    A multimodal optimization and surprise based consensus community detection algorithm

    Shan He, , & , 11 Jul 2015, GECCO 2015 - Companion Publication of the 2015 Genetic and Evolutionary Computation Conference. Silva, S. (ed.). Association for Computing Machinery , p. 1407-1408 2 p. (GECCO 2015 - Companion Publication of the 2015 Genetic and Evolutionary Computation Conference).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. Publications content icon
    Published

    A new semantic model for domain-ontology learning

    John Barnden, 4 Mar 2015, Human Centred Computing: First International Conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014, Revised Selected Papers. Zu, Q., Hu, B., Gu, N. & Seng, S. (eds.). Springer, Vol. 8944. p. 140-155 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8944).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. Publications content icon
    Published

    A practical energy modeling method for industrial robots in manufacturing

    Duc Pham, 1 Jan 2017, Challenges and Opportunity with Big Data: 19th Monterey Workshop 2016, Beijing, China, October 8–11, 2016 Revised Selected Papers. Zhang, L., Ren, L. & Kordon, F. (eds.). Springer Verlag, p. 25-36 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10228 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

Previous 1 2 3 4 5 6 7 8 ...25 Next