Department of Applied Mathematics and Computer Science

  1. 2017
  2. Published

    Chromatic number via Turán number. / Alishahi, Meysam; Hajiabolhassan, Hossein.

    In: Discrete Mathematics, Vol. 340, No. 10, 2017, p. 2366-2377.

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

  3. Published

    Combined shape and topology optimization for minimization of maximal von Mises stress. / Lian, Haojie; Christiansen, Asger Nyman; Tortorelli, Daniel A.; Sigmund, Ole; Aage, Niels.

    In: Structural and Multidisciplinary Optimization, Vol. 55, No. 5, 2017, p. 1541-1557.

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

  4. E-pub ahead of print
  5. Published
  6. Published

    Compensation for geometric modeling errors by positioning of electrodes in electrical impedance tomography : Paper. / Hyvönen, N.; Majander, H. ; Staboulis, Stratos.

    In: Inverse Problems, Vol. 33, No. 3, 035006, 2017.

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

  7. Published

    Compositional Model Checking of Interlocking Systems for Lines with Multiple Stations. / Macedo, Hugo Daniel dos Santos; Fantechi, Alessandro; Haxthausen, Anne Elisabeth.

    Proceedings of NASA Formal Methods Symposium 2017. Springer, 2017. p. 146–162 (Lecture Notes in Computer Science, Vol. 10227).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2017

  8. Published

    Compositional Verification of Interlocking Systems for Large Stations. / Fantechi, Alessandro; Haxthausen, Anne Elisabeth; Macedo, Hugo Daniel dos Santos.

    Software Engineering and Formal Methods. Vol. 10469 Springer, 2017. p. 236-252 (Lecture Notes in Computer Science, Vol. 10469).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2017

  9. Published

    Compressed Subsequence Matching and Packed Tree Coloring. / Bille, Philip; Cording, Patrick Hagge; Gørtz, Inge Li.

    In: Algorithmica, Vol. 77, No. 2, 2017, p. 336–348.

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

  10. Submitted

    Computer Vision for Additive Manufacturing. / Eiríksson, Eyþór Rúnar; Aanæs, Henrik (Main supervisor); Pedersen, David Bue (Supervisor).

    DTU Compute, 2017. 157 p. (DTU Compute PHD-2017, Vol. 447).

    Publication: ResearchPh.D. thesis – Annual report year: 2017

  11. Published

    Contact activity and dynamics of the social core. / Mones, Enys; Stopczynski, Arkadiusz; Jørgensen, Sune Lehmann.

    In: Epj Data Science, Vol. 6, No. 1, 2017.

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

Previous 1...4 5 6 7 8 9 10 11 ...1085 Next
Download list: To download, please limit the number of search results to 1,000 or less.