Department of Computer Science

Read more
1401 - 1450 out of 1,702Page size: 50
Sort by: 1st author
  1. Published

    Ordered combinatory algebras and realizability

    Santos, W. F., Frey, J., Guillermo, M., Malherbe, O. & Miquel, A., 2017, In: Mathematical Structures in Computer Science. 27, 3, p. 428-458 31 p.

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

  2. Published

    WikiBank: Using wikidata to improve multilingual frame-semantic parsing

    Sas, C., Beloucif, M. & Søgaard, Anders, 2020, LREC 2020 - 12th International Conference on Language Resources and Evaluation, Conference Proceedings. Calzolari, N., Bechet, F., Blache, P., Choukri, K., Cieri, C., Declerck, T., Goggi, S., Isahara, H., Maegaard, B., Mariani, J., Mazo, H., Moreno, A., Odijk, J. & Piperidis, S. (eds.). European Language Resources Association (ELRA), p. 4183-4189

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

  3. Published

    Photon differentials

    Schjøth, L., Frisvad, J. R., Erleben, Kenny & Sporring, Jon, 2007, Proceedings - GRAPHITE 2007, 5th International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia. p. 179-186 8 p. (Proceedings - GRAPHITE 2007, 5th International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia).

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

  4. Published

    Diffusion Based Photon Mapping

    Schjøth, L., Olsen, O. F. & Sporring, Jon, 2006, Proceeding of the First International conference on Computer Graphics -- Theory and Applications -- (GRAPP). p. 168-175

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

  5. Published

    Photon differentials

    Schjøth, L., Revall Frisvad, J., Erleben, Kenny & Sporring, Jon, 2007, GRAPHITE 2007: Proceedingsof the 5th international conference on computer graphics and interactive techniques in Australia and Southeast Asia, December 1-4, 2007, Perth, Western Austalia. Association for Computing Machinery, p. 179-186

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

  6. Published

    Diffusion Based Photon Mapping

    Schjøth, L., Fogh Olsen, O. & Sporring, Jon, 2007, Advances in Computer Graphics and Computer Vision: International conferences, VISAPP and GRAPP 2006, Setúbal, Portugal, February 25-28, 2006 : revised selected papers. Braz, J., Ranchordas, A., Araújo, H. & Jorge, J. (eds.). Berlin/Heidelberg: Springer, p. 109-122 (Communications in Computer and Information Science; No. 4).

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

  7. Published

    Diffusion Based Photon Mapping

    Schjøth, L., Sporring, Jon & Fogh Olsen, O., 2008, In: Computer Graphics Forum. 27, 8, p. 2114-2127 13 p.

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

  8. Published

    Echtzeit-Videoanalyse im Fußball

    Schlipsing, M., Salmen, J. & Igel, Christian, 2013, In: KI - Künstliche Intelligenz. 27, 3, p. 235-240 6 p.

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

  9. Published

    Adaptive pattern recognition in real-time video-based soccer analysis

    Schlipsing, M., Salmen, J., Tschentscher, M. & Igel, Christian, Jun 2017, In: Journal of Real-Time Image Processing. 13, 2, p. 345–361 17 p.

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

  10. Published

    Kickables: tangibles for feet

    Schmidt, D., Ramakers, R., Pedersen, E. W., Jasper, J., Köhler, S., Pohl, A., Rantzsch, H., Rau, A., Schmidt, P., Sterz, C., Yurchenko, Y. & Baudisch, P., 2014, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems: CHI '14. Association for Computing Machinery, p. 3143-3152 10 p.

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

  11. Published

    Computational artifacts: interactive and collaborative computing as an integral feature of work practice

    Schmidt, K. & Bansler, Jørgen P., 2016, COOP 2016: proceedings of the 12th International Conference on the Design of Cooperative Systems, 23-27 May 2016, Trento, Italy. De Angeli, A., Bannon, L., Marti, P. & Bordin, S. (eds.). Springer, p. 21-38 18 p.

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

  12. Published

    Chunked Bounding Volume Hierarchies for fast digital prototyping using volumetric meshes

    Schmidtke, R. & Erleben, Kenny, 2018, In: IEEE Transactions on Visualization and Computer Graphics. 24, 12, p. 3044-3057

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

  13. Published

    Probabilistic shortest path tractography in DTI using gaussian process ODE solvers

    Schober, M., Kasenburg, N., Feragen, A., Hennig, P. & Hauberg, S., 2014, Medical image computing and computer-assisted intervention – MICCAI 2014: 17th International Conference, Boston, MA, USA, September 14-18, 2014, Proceedings, Part III. Golland, P., Hata, N., Barillot, C., Hornegger, J. & Howe, R. (eds.). Springer, p. 265-272 8 p. (Lecture notes in computer science, Vol. 8675).

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

  14. Published

    Can AMR Assist Legal and Logical Reasoning?

    Schrack, Nikolaus Alexander, Cui, Ruixiang, López, H. A. & Hershcovich, Daniel, 2022, Findings of the Association for Computational Linguistics: EMNLP 2022. Association for Computational Linguistics, p. 1555-1568

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

  15. Published

    Elements of a reversible object-oriented language: work-in-progress report

    Schultz, U. P. & Axelsen, H. B., 2016, Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings. Devitt, S. & Lanese, I. (eds.). Springer, p. 153-159 7 p. (Lecture notes in computer science, Vol. 9720).

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

  16. Published

    Towards a domain-specific language for reversible assembly sequences

    Schultz, U. P., Laursen, J. S., Ellekilde, L. & Axelsen, H. B., 2015, Reversible computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings. Krivine, J. & Stefani, J-B. (eds.). Springer, p. 111-126 16 p. (Lecture notes in computer science, Vol. 9138).

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

  17. Published

    Interpreting Latent Spaces of Generative Models for Medical Images using Unsupervised Methods

    Schön, Julian Elisha, Selvan, Raghav & Petersen, Jens, 2022, Deep Generative Models: Second MICCAI Workshop, DGM4MICCAI 2022, Held in Conjunction with MICCAI 2022, Singapore, September 22, 2022, Proceedings. Springer, p. 24-33 (Lecture Notes in Computer Science, Vol. 13609).

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

  18. Published

    Designing usable web forms- Empirical evaluation of web form improvement guidelines

    Seckler, M., Heinz, S., Bargas-Avila, J. A., Opwis, K. & Tuch, A. N., 2014, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems: CHI '14. Association for Computing Machinery, p. 1275-1284 10 p.

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

  19. Published

    Hover Pad: interacting with autonomous and self-actuated displays in space

    Seifert, J., Boring, S., Winkler, C., Schaub, F., Schwab, F., Herrdum, S., Maier, F., Mayer, D. & Rukzio, E., 2014, Proceedings of the 27th annual ACM symposium on User Interface Software and Technology. Association for Computing Machinery, p. 139-147 9 p.

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

  20. Published

    Interaction graphs: full linear logic

    Seiller, T., 2016, Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science. Association for Computing Machinery, Vol. 05-08-July-2016. p. 427-436 10 p.

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

  21. Published

    Interaction graphs: graphings

    Seiller, T., Feb 2017, In: Annals of Pure and Applied Logic. 168, 2, p. 278-320 43 p.

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

  22. Published

    PAC-Bayesian generalization bound for density estimation with application to co-clustering

    Seldin, Yevgeny & Tishby, N., 2009, JMLR Workshop and Conference Proceedings, 5 (AISTATS).

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

  23. Published

    An improved parametrization and analysis of the EXP3++ algorithm for stochastic and adversarial bandits

    Seldin, Yevgeny & Lugosi, G., 2017, Proceedings of Conference on Learning Theory, 7-10 July 2017, Amsterdam, Netherlands. Kale, S. & Shamir, O. (eds.). Proceedings of Machine Learning Research, p. 1743-1759 (Proceedings of Machine Learning Research, Vol. 65).

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

  24. Published

    Information bottleneck for non co-occurrence data

    Seldin, Yevgeny, Slonim, N. & Tishby, N., 2007, Advances in Neural Information Processing Systems (NIPS).

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

  25. Published

    Unsupervised sequence segmentation by a mixture of variable memory length Markov sources

    Seldin, Yevgeny, Bejerano, G. & Tishby, N., 2001, Proceedings of the 18th International Conference on Machine Learning (ICML).

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

  26. Published

    Multi-classification by categorical features via clustering

    Seldin, Yevgeny & Tishby, N., 2008, Proceedings of the 25th International Conference on Machine Learning (ICML).

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

  27. Published

    Unsupervised segmentation and classification of mixtures of Markovian sources

    Seldin, Yevgeny, Starik, S. & Werman, M., 2003.

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

  28. 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

  29. Published

    Carbon Footprint of Selecting and Training Deep Learning Models for Medical Image Analysis

    Selvan, Raghav, Bhagwat, N., Anthony, L. F. W., Kanding, B. & Dam, Erik Bjørnager, 2022, Medical Image Computing and Computer Assisted Intervention – MICCAI 2022: 25th International Conference Singapore, September 18–22, 2022 Proceedings, Part V. Springer, p. 506–516 (Lecture Notes in Computer Science, Vol. 13435).

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

  30. Published

    Type families with class, type classes with family

    Serrano, A., Hage, J. & Bahr, P., 2015, In: ACM SIGPLAN Notices. 50, 12, p. 129-140 12 p.

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

  31. Published

    Reactors: A Case for Predictable, Virtualized Actor Database Systems

    Shah, V. & Vaz Salles, M. A., 2018, SIGMOD 2018 - Proceedings of the 2018 International Conference on Management of Data. Das, G., Jermaine, C., Eldawy, A. & Bernstein, P. (eds.). Association for Computing Machinery, p. 259-274

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

  32. Published

    Exploration of a Vision for Actor Database Systems

    Shah, V., 2017, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/Report › Ph.D. thesis › Research

  33. Published

    Impact of device programming on the success of the first anti-tachycardia pacing therapy: An anonymized large-scale study

    Shakibfar, Saeed, Krause, Oswin, Lund-Andersen, Casper, Strycko, F., Moll, J., Andersen, Tariq Osman, Høgh Petersen, H., Svendsen, Jesper Hastrup & Igel, Christian, 2019, In: PLoS ONE. 14, 8, e0219533.

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

  34. Published

    Effectiveness of CRT-D Versus ICD on Prevention of Electrical Storm: Big Data from the USA

    Shakibfar, Saeed, Yazdchi, M. & Aliakbaryhosseinabadi, S., 2019, 2019 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2019. Institute of Electrical and Electronics Engineers Inc., p. 302-304 3 p. 8857530

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

  35. Published

    Predicting Electrical Storm Using Episodes’ Parameters from ICD Recorded Data*

    Shakibfar, Saeed, Yazdchi, M. & Aliakbaryhosseinabadi, S., 2019, 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE, p. 4885-4888

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

  36. Published

    Graph Processing on GPUs: A Survey

    Shi, X., Zheng, Z., Zhou, Yongluan, Jin, H., He, L., Liu, B. & Hua, Q., Jan 2018, In: A C M Computing Surveys. 50, 6, 35 p., 81.

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

  37. Published

    Long-term global and regional brain volume changes following severe traumatic brain injury: A longitudinal study with clinical correlates: NeuroImage

    Sidaros, A., Skimminge, A., Liptrot, M. G., Sidaros, K., Engberg, A. W., Herning, M., Paulson, Olaf B., Jernigan, T. L. & Rostrup, Egill, 2009, In: NeuroImage. 44, 1, p. 1-8

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

  38. Published

    Method of modelling and characterising heart fiber geometry, involves determining whether new fitting energy meets predetermined threshold when predetermined threshold is met iterative process is terminated

    Siddiqi, K., Piuze-Phaneuf, E., Sporring, Jon, Savadjiev, P., Strijkers, G. & Zucker, S., 2015, IPC No. G06T-011/00, Patent No. US2015332483-A1, 19 Nov 2015, Priority date 15 May 2014, Priority No. US993600P

    Research output: Patent

  39. Published

    Brain Segmentation in Rodent MR-Images Using Convolutional Neural Networks

    Sigurdsson, B., Darkner, Sune, Sommer, Stefan Horst, Mortensen, K. N., Sanggaard, S., Kostrikov, S. & Nedergaard, Maiken, 2018.

    Research output: Contribution to conference › Conference abstract for conference › Research › peer-review

  40. Published

    Interactive rigid body dynamics using a projected gauss-seidel subspace minimization method

    Silcowitz, M., Niebe, S. & Erleben, Kenny, 2011, Computer Vision, Imaging and Computer Graphics: Theory and Applications - International Joint Conference, VISIGRAPP 2010, Revised Selected Papers. p. 218-229 12 p. (Communications in Computer and Information Science, Vol. 229 CCIS).

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

  41. Published

    Rewriting the Finite and the Infinite: Disputats for the Degree of Doctor Scientiarum at the University of Copenhagen

    Simonsen, Jakob Grue, 2012, Københavns Universitet. 294 p.

    Research output: Book/Report › Doctoral thesis › Research

  42. Published

    A confluent rewriting system having no computable, one-step, normalizing strategy

    Simonsen, Jakob Grue, 2015, In: ACM Transactions on Computational Logic. 16, 2, 9 p., 10.

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

  43. Published

    Have a nice trip: an algorithm for identifying excess routes under satisfaction constraints

    Skov-Petersen, Hans, Zachariasen, M. & Kefaloukos, P. K. B., 2010, In: International Journal of Geographical Information Science. 24, 11, p. 1745-1758 14 p.

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

  44. Published

    Extending distributed shared memory for the cell broadband engine to a channel model

    Skovhede, K., Larsen, M. N. & Vinter, B., 2012, Applied Parallel and Scientific Computing: 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part I. Jónasson, K. (ed.). Springer, Vol. Part I. p. 108-118 11 p. (Lecture notes in computer science, Vol. 7133).

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

  45. Published

    Mapping sense(s) of place

    Skovse, A. R., Hovy, D. & Johannsen, A. T., 16 Jun 2016. 1 p.

    Research output: Contribution to conference › Conference abstract for conference › Research › peer-review

  46. Published

    A concurrent data collection environment for wasteful communication satellite system

    Skovsgaard, T., Sørensen, P. D., Dickson, L. J., Quarrie, L. O. B. & Vinter, B., 2019, Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40). Pedersen, J. B., Chalmers, K., Broenink, J. F., Vinter, B., Vella, K., Welch, P. H., Smith, M. L. & Skovhede, K. (eds.). IMIA and IOS Press, p. 189-197 9 p. (Concurrent Systems Engineering Series, Vol. 70).

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

  47. Published

    The semantics of hybrid process models

    Slaats, Tijs, Schunselaar, D. M. M., Maggi, F. M. & Reijers, H. A., 2016, On the move to meaningful internet systems: OTM 2016 conferences: confederated international conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings. Debruyne, C., Panetto, H., Meersman, R., Dillon, T., Kühn, E., O'Sullivan, D. & Ardagna, C. A. (eds.). Springer, p. 531-551 21 p.

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

  48. Published

    Content-Aware Video Editing in the Temporal Domain

    Slot, K., Truelsen, R. & Sporring, Jon, 2009, Scandinavian Conference on Image Analysis (SCIA '09). 9 p.

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

  49. Published

    RootPainter3D: Interactive-machine-learning enables rapid and accurate contouring for radiotherapy

    Smith, Abraham George, Petersen, Jens, Terrones-Campos, C., Berthelsen, A. K., Forbes, N. J., Darkner, Sune, Specht, Lena & Vogelius, I. R., 2022, In: Medical Physics. 49, 1, p. 461-473

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

  50. Published

    Civile droner i Danmark: potentialer, udfordringer og anbefalinger

    Smith Lygum, A. K., Skjødt Nielsen, J., Bang Bådum, N., La Cour-Harbo, A., Paulin Hansen, J., Steenstrup Pedersen, Kim, Larsen, L. M., Kessing, P. V., Madsen Almdal, T., Ploug, T. & Grønbæk, D., 2014, Teknologirådet. 103 p.

    Research output: Book/Report › Report › Commissioned

Previous 1...25 26 27 28 29 30 31 32 ...35 Next