Browse Publications

  1. 2017
  2. Publications content icon
    Published

    Evaluating the effect of uncertainty visualisation in open learner models on students’ metacognitive skills

    23 Jun 2017, Artificial Intelligence in Education: 18th International Conference, AIED 2017, Wuhan, China, June 28 – July 1, 2017, Proceedings. Springer Verlag, Vol. 10331 LNAI. p. 15-27 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10331 LNAI).

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

  3. Publications content icon
    Published

    Student preferences for visualising uncertainty in open learner models

    23 Jun 2017, Artificial Intelligence in Education: 18th International Conference, AIED 2017, Wuhan, China, June 28 – July 1, 2017, Proceedings. Springer Verlag, Vol. 10331 LNAI. p. 445-449 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10331 LNAI).

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

  4. Publications content icon
    Published

    Populations Can Be Essential in Tracking Dynamic Optima

    Per Kristian Lehre, 1 Jun 2017, In : Algorithmica. 78, 2, p. 660-680 21 p.

    Research output: Contribution to journalArticle

  5. Publications content icon
    Published

    List H-coloring a graph by removing few vertices

    Rajesh Chitnis, May 2017, In : Algorithmica. 78, 1, p. 110-146 37 p.

    Research output: Contribution to journalArticle

  6. Publications content icon
    Published

    On linear rewriting systems for Boolean logic and some applications to proof theory

    Anupam Das, 27 Apr 2017, In : Logical Methods in Computer Science. 12, 4, p. 1-27 27 p., 9.

    Research output: Contribution to journalArticle

  7. Publications content icon
    Published

    A tight algorithm for Strongly Connected Steiner Subgraph on two terminals with demands

    Rajesh Chitnis, 1 Apr 2017, In : Algorithmica. 77, 4, p. 1216-1239 24 p.

    Research output: Contribution to journalArticle

  8. Publications content icon
    Published

    Partiality, revisited: The partiality monad as a quotient inductive-inductive type

    Nicolai Kraus, 16 Mar 2017, Foundations of Software Science and Computation Structures : 20th International Conference, FOSSACS 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Esparza, J. & Murawski, A. S. (eds.). Springer, p. 534-549 16 p. (Lecture Notes in Computer Science; vol. 10203).

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

  9. Publications content icon
    Published

    Efficient finite field multiplication for isogeny based post quantum cryptography

    Sujoy Sinha Roy, 9 Mar 2017, Arithmetic of Finite Fields: 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016, Revised Selected Papers. Duquesne, S. & Petkova-Nikova, S. (eds.). Springer Verlag, p. 193-207 15 p. (Lecture Notes in Computer Science; vol. 10064 ).

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

  10. Publications content icon
    E-pub ahead of print

    Analysis of the Inertia and Dynamics of Grasped Objects, for Choosing Optimal Grasps to Enable Torque-Efficient Post-Grasp Manipulations

    Amir Ghalamzan Esfahani, Rustam Stolkin, Luca Baronti, Marek Kopicki & Marco Castellani, 2 Jan 2017, 2016 IEEE-RAS International Conference on Humanoid Robots. IEEE Xplore

    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 12 3 4 5 6 7 8 9 ...20 Next