Department of Applied Mathematics and Computer Science

  1. 2018
  2. Published

    Dynamic bridge-finding in õ(log2 n) amortized time. / Holm, Jacob; Rotenberg, Eva; Thorup, Mikkel.

    Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. SIAM - Society for Industrial and Applied Mathematics, 2018. p. 35-52 (Proceedings of the Twenty-ninth Annual Acm-siam Symposium).

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

  3. Submitted

    Effects of additive noise on formation of spatial patterns in an activator-inhibitor system. / Tian, Canrong; Ling, Zhi; Zhang, Lai; Pedersen, Michael.

    In: Physical Review E (Statistical, Nonlinear, and Soft Matter Physics), 2018.

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

  4. Accepted/In press

    Effects of Lifestyle on Muscle Strength in a Healthy Danish Population. / Bartels, Else Marie; Robertson, Samuel; Danneskiold-Samsøe, Bente; Appleyard, Merete; Stockmarr, Anders.

    In: Journal of Lifestyle Medicine, Vol. 8, No. 1, 2018.

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

  5. Published

    Effects of menopause and high-intensity training on insulin sensitivity and muscle metabolism. / Mandrup, Camilla M; Egelund, Jon; Nyberg, Michael; Enevoldsen, Lotte Hahn; Kjær, Andreas ; Clemmensen, Andreas E; Christensen, Anders Nymark; Suetta, Charlotte; Frikke-Schmidt, Ruth; Steenberg, Dorte Enggaard; Wojtaszewski, Jørgen F P; Hellsten, Ylva; Stallknecht, Bente M.

    In: Menopause, Vol. 25, No. 2, 2018.

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

  6. Published
  7. Published

    Estimating the Density of Fluid in a Pipeline System with an Electropump. / Sadeghi, H.; Poshtan, J.; Poulsen, Niels Kjølstad; Niemann, Hans Henrik.

    In: Journal of Pipeline Systems Engineering and Practice, Vol. 9, No. 2, 06018002, 2018.

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

  8. Published

    Evaluating the Impact of Juice Filming Charging Attack in Practical Environments. / Meng, Weizhi; Lee, Wang; Liu, Zhe; Su, Chunhua; Li, Yan.

    Information Security and Cryptology. Vol. 10779 Springer, 2018. p. 327-338.

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

  9. Published

    Face Recognition using Approximate Arithmetic. / Marso, Karol ; Nannarelli, Alberto (Supervisor).

    DTU Compute, 2018. 25 p. (DTU Compute Technical Report-2018, Vol. 02).

    Publication: ResearchReport – Annual report year: 2018

  10. Published

    Formalization of Bachmair and Ganzinger's Ordered Resolution Prover. / Schlichtkrull, Anders; Blanchette, Jasmin Christian; Traytel, Dmitriy; Waldmann, Uwe.

    In: Archive of Formal Proofs, 2018.

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

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