Department of Applied Mathematics and Computer Science

  1. 2017
  2. Published

    A framework of DYNAMIC data structures for string processing. / Prezza, Nicola.

    In: Leibniz International Proceedings in Informatics, Vol. 75, 2017.

    Publication: Research - peer-reviewJournal article – Annual report year: 2017

  3. Published

    A gentle introduction to epistemic planning: The DEL approach. / Bolander, Thomas.

    In: Electronic Proceedings in Theoretical Computer Science, Vol. 243, 2017, p. 1-22.

    Publication: Research - peer-reviewConference article – Annual report year: 2017

  4. Published

    A high-performance Riccati based solver for tree-structured quadratic programs. / Frison, Gianluca; Kouzoupis, Dimitris; Diehl, Moritz; Jørgensen, John Bagterp.

    In: IFAC-PapersOnLine, Vol. 50, No. 1, 2017, p. 14399-14405.

    Publication: Research - peer-reviewConference article – Annual report year: 2017

  5. Published

    A language-based approach to modelling and analysis of Twitter interactions. / Maggi, Alessandro; Petrocchi, Marinella; Spognardi, Angelo; Tiezzi, Francesco.

    In: Journal of Logical and Algebraic Methods in Programming, Vol. 87, 2017, p. 67-91.

    Publication: Research - peer-reviewJournal article – Annual report year: 2017

  6. Published

    A least squares approach for efficient and reliable short-term versus long-term optimization. / Christiansen, Lasse Hjuler; Capolei, Andrea; Jørgensen, John Bagterp.

    In: Computational Geosciences, Vol. 21, No. 3, 2017, p. 411-26.

    Publication: Research - peer-reviewJournal article – Annual report year: 2017

  7. Published

    Algorithms and Tools for Petri Nets - Proceedings of the Workshop AWPN 2017. / Kindler, Ekkart (Editor); Bergenthum, Robin (Editor).

    DTU Compute, 2017. 70 p. (DTU Compute-Technical Report-2017, Vol. 06).

    Publication: Research - peer-reviewReport – Annual report year: 2017

  8. Published

    Algorithms for Zero-Dimensional Ideals Using Linear Recurrent Sequences. / Neiger, Vincent; Rahkooy, Hamid; Schost, Éric.

    19th International Workshop on Computer Algebra in Scientific Computing. Springer, 2017. p. 313-328 (Lecture Notes in Computer Science, Vol. 10490).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2017

  9. Published

    Alterations in the brain's connectome during recovery from severe traumatic brain injury: Protocol for a longitudinal prospective study. / Conde, Virginia; Andreasen, Sara Hesby; Petersen, Tue Hvass; Larsen, Karen Busted; Madsen, Karine; Andersen, Kasper Winther; Akopian, Irina; Madsen, Kristoffer Hougaard; Hansen, Christian Pilebæk; Poulsen, Ingrid; Kammersgaard, Lars Peter; Siebner, Hartwig Roman.

    In: Open Journal of Ecology, Vol. 7, No. 6, 2017.

    Publication: Research - peer-reviewJournal article – Annual report year: 2017

  10. Published

    A machine learning method for fast and accurate characterization of depth-of-interaction gamma cameras : Paper. / Pedemonte, Stefano; Pierce, Larry; Van Leemput, Koen.

    In: Physics in Medicine and Biology, Vol. 62, No. 21, 2017, p. 8376-8401.

    Publication: Research - peer-reviewJournal article – Annual report year: 2017

  11. Published

    Amalgams and χ-Boundedness. / Penev, Irena.

    In: Journal of Graph Theory, Vol. 84, No. 1, 2017, p. 57–92.

    Publication: Research - peer-reviewJournal article – Annual report year: 2016

Download list: To download, please limit the number of search results to 1,000 or less.