Department of Computer Science

Read more
1681 - 1690 out of 1,702Page size: 10
Sort by: 1st author
  1. Published

    An implicit characterization of the polynomial-time decidable sets by cons-free rewriting

    de Carvalho, D. B. & Simonsen, Jakob Grue, 2014, Rewriting and typed lambda calculi: Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. Dowek, G. (ed.). Springer Science+Business Media, p. 179-193 15 p. (Lecture notes in computer science, Vol. 8560).

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

  2. Published

    MIQModel: predictive model for mobile internet

    de Masi, A. & Wac, Katarzyna, Apr 2016. 1 p.

    Research output: Contribution to conference › Poster › Research

  3. Published

    Automated measurement of diagnostic angles for hip dysplasia

    de Raedt, S., Mechlenburg, I. B., Stilling, M., Mikkelsen, L. R., Søballe, K. & de Bruijne, Marleen, 2013, Medical Imaging 2013: Computer-Aided Diagnosis. Novak, C. L. & Aylward, S. (eds.). SPIE - International Society for Optical Engineering, 10 p. 867009. (Proceedings of S P I E - International Society for Optical Engineering, Vol. 8670).

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

  4. Published

    Human accuracy in mobile data collection

    van Berkel, N., Goncalves, J., Wac, Katarzyna, Hosio, S. & Cox, A. L., 2020, In: International Journal of Human Computer Studies. 137, 4 p., 102396.

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

  5. Published

    Three-dimensional carotid ultrasound plaque texture predicts vascular events

    van Engelen, A., Wannarong, T., Parraga, G., Niessen, W. J., Fenster, A., Spence, J. D. & de Bruijne, Marleen, 2014, In: Stroke. 45, p. 2695-2701 7 p.

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

  6. Published

    Atherosclerotic plaque component segmentation in combined carotid MRI and CTA data incorporating class label uncertainty

    van Engelen, A., Niessen, W. J., Klein, S., Groen, H. C., Verhagen, H. J. M., Wentzel, J. J., van der Lugt, A. & de Bruijne, Marleen, 2014, In: PLoS ONE. 9, 4, 14 p., e94840.

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

  7. Published

    Multi-center MRI carotid plaque component segmentation using feature normalization and transfer learning

    van Engelen, A., van Dijk, A. C., Truijman, M. T. B., van't Klooster, R., van Opbroek, A., van der Lugt, A., Niessen, W. J., Kooi, M. E. & de Bruijne, Marleen, 2015, In: IEEE Transactions on Medical Imaging. 34, 6, p. 1294-1305 12 p.

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

  8. Published

    Automated segmentation of atherosclerotic histology based on pattern classification

    van Engelen, A., Niessen, W. J., Klein, S., Groen, H. C., van Gaalen, K., Verhagen, H. J., Wentzel, J. J., van der Lugt, A. & de Bruijne, Marleen, 2013, In: Journal of Pathology Informatics. 4, 7 p., 3.

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

  9. Accepted/In press

    Doorways Do Not Always Cause Forgetting: Studying the Effect of Locomotion Technique and Doorway Visualization in Virtual Reality

    van Gemert, Thomas, Kalaitzoglou, Ioannis, Chew, S. & Bergström, Joanna, 2024, (Accepted/In press) CHI '24: Proceedings of the 2024 CHI Conference on Human Factors in Computing Systems. New York, NY, United States: Association for Computing Machinery

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

  10. Published

    A transfer-learning approach to image segmentation across scanners by maximizing distribution similarity

    van Opbroek, A., Ikram, M. A., Vernooij, M. W. & de Bruijne, Marleen, 2013, Machine Learning in Medical Imaging: 4th International Workshop, MLMI 2013, held in conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings. Wu, G., Zhang, D., Shen, D., Yan, P., Suzuki, K. & Wang, F. (eds.). Springer, p. 49-56 8 p. (Lecture notes in computer science, Vol. 8184).

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

Previous 1...165 166 167 168 169 170 171 Next