Department of Computer Science

Read more
61 - 70 out of 1,686Page size: 10
  1. 2021
  2. Published

    Zoom and Enhance: Action Refinement via Subprocesses in Timed Declarative Processes

    Normann, H., Debois, S., Slaats, Tijs & Hildebrandt, Thomas Troels, 2021, Business Process Management - 19th International Conference, BPM 2021, Proceedings. Polyvyanyy, A., Wynn, M. T., Van Looy, A. & Reichert, M. (eds.). Springer, p. 161-178 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12875 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  3. 2020
  4. Published

    Iteratively Adapting Avatars using Task-Integrated Optimisation

    McIntosh, J., Zajac, Hubert Dariusz, Stefan, A., Bergström, Joanna & Hornbæk, Kasper, 1 Oct 2020, Proceedings of the 33rd Annual ACM Symposium on User Interface Software and Technology. 1 ed. https://dl.acm.org/doi/abs/10.1145/3379337.3415832: Association for Computing Machinery, p. 709–721

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  5. Published

    Constraining the Chiral Magnetic Effect with charge-dependent azimuthal correlations in Pb-Pb collisions at root s(NN)=2.76 and 5.02 TeV

    Acharya, S., Torals-Acosta, F., Adam, J., Adamova, D., Adler, A., Adolfsson, J., Aggarwal, M., Rinella, G. A., Agnello, M., Agrawal, N., Ahn, S. U., Aiola, S., Akindinov, A., Al-Turany, M., Alam, S., Bearden, Ian, Bourjau, C. A., rtc312, rtc312, bsm989, bsm989, Gaardhøje, Jens Jørgen, Ozelin De Lima Pimentel, L., Pacik, V., Nielsen, Børge Svane, Thoresen, F., Vislavicius, V., Schukraft, J., Zhou, You & Alice Collaboration, A. C., 24 Sep 2020, In: Journal of High Energy Physics (Online). 2020, 9, 34 p., 160.

    Research output: Contribution to journal › Journal article › Research › peer-review

  6. Published

    Algoritmer kopierer lægers fordomme om race og køn

    Ganz, Melanie, Holm, Sune Hannibal & Feragen, A., 4 Jun 2020, In: Dagbladet Politiken. p. 9 (sektion 2) 1 p.

    Research output: Contribution to journal › Contribution to newspaper - Comment/debate › Communication

  7. Published

    Color coding ER-diagrams, one approach to modeling semistructured data. Entity-Relationship diagrams used for aggregate oriented databases.

    Lassen, Anders & Ejstrup, C., Jun 2020, In: International Journal of Innovative Studies in Sciences and Engineering Technology (IJISSET). 6, 6, p. 14-22

    Research output: Contribution to journal › Journal article › Research › peer-review

  8. Published

    Digital Game Interventions for Youth Mental Health Services (Gaming My Way to Recovery): Protocol for a Scoping Review

    Ferrari, M., McIlwaine, S., Reynolds, J. A., Archie, S., Boydell, K., Lal, S., Shah, J. L., Henderson, J., Alvarez-Jimenez, M., Andersson, N., Boruff, J., Nielsen, R. K. L. & Iyer, S. N., Jun 2020, In: JMIR Research Protocols. 9, 6, 10 p., 13834.

    Research output: Contribution to journal › Review › Research › peer-review

  9. Published

    Impact of adding breast density to breast cancer risk models: A systematic review

    Vilmun, B. M., Vejborg, I., Lynge, E., Lillholm, Martin, Nielsen, Mads, Nielsen, Michael Bachmann & Carlsen, Jonathan Frederik, Jun 2020, In: European Journal of Radiology. 127, 9 p., 109019.

    Research output: Contribution to journal › Review › Research › peer-review

  10. Published

    Lung Segmentation from Chest X-rays using Variational Data Imputation

    Selvan, Raghav, Dam, Erik Bjørnager, Rischel, S., Sheng, K., Nielsen, Mads & Pai, A., 20 May 2020, In: OpenReview.net. 7 p.

    Research output: Contribution to journal › Conference article › Research

  11. Published

    A Complete Characterization of Infinitely Repeated Two-Player Games having Computable Strategies with no Computable Best Response under Limit-of-Means Payoff

    Dargaj, Jakub & Simonsen, Jakob Grue, 2020, EC 2020 - Proceedings of the 21st ACM Conference on Economics and Computation. Association for Computing Machinery, p. 69-70 2 p. 3399520

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  12. Published

    A Formally Verified Static Analysis Framework for Compositional Contracts

    Henglein, Fritz, Larsen, C. K. & Murawska, A., 2020. 18 p.

    Research output: Contribution to conference › Paper › Research › peer-review

Previous 1...3 4 5 6 7 8 9 10 ...169 Next