Forskning ved Københavns Universitet - Københavns Universitet



  1. Udgivet

    Calculating certified compilers for non-deterministic languages

    Bahr, P., 2015, Mathematics of program construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings. Hinze, R. & Voigtländer, J. (red.). Springer, s. 159-186 28 s. (Lecture notes in computer science, Bind 9129).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  2. Udgivet

    Association analysis of genetic variants with type 2 diabetes in a mongolian population in China

    Bai, H., Liu, H., Suyalatu, S., Guo, X., Chu, S., Chen, Y., Lan, T., Borjigin, B., Orlov, Y. L., Posukh, O. L., Yang, X., Guilan, G., Osipova, L. P., Wu, Q. & Narisu, N., 2015, I : Journal of Diabetes Research. 2015, 7 s., 613236.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  3. Udgivet

    Combined PET/MRI: Multi-modality Multi-parametric Imaging Is Here: Summary Report of the 4th International Workshop on PET/MR Imaging; February 23-27, 2015, Tübingen, Germany

    Bailey, D. L., Pichler, B. J., Gückel, B., Barthel, H., Beer, A. J., Bremerich, J., Czernin, J., Drzezga, A., Franzius, C., Goh, V., Hartenbach, M., Iida, H., Kjær, Andreas, la Fougère, C., Ladefoged, C. N., Law, Ian, Nikolaou, K., Quick, H. H., Sabri, O., Schäfer, J., Schäfers, M., Wehrl, H. F. & Beyer, T., okt. 2015, I : Molecular Imaging and Biology. 17, 5, s. 595-608 14 s.

    Publikation: Bidrag til tidsskriftReviewForskningfagfællebedømt

  4. Udgivet

    A guide to veterinary clinical skills laboratories

    Baillie, S., Booth, N., Catterall, A., Coombes, N., Crowther, E., Dilly, M., Farrell, R., Langebæk, Rikke, O'Reilly, M. & Read, E. K., 2015, 49 s.

    Publikation: Bog/antologi/afhandling/rapportBog

  5. On the maintenance of human heat balance during cold and warm fluid ingestion

    Bain, A. R., Morris, N. B., Cramer, M. N. & Jay, O., 2015, I : Medicine and Science in Sports and Exercise. 47, 6, s. 1316-1317 2 s.

    Publikation: Bidrag til tidsskriftKommentar/debatForskning

  6. Udgivet

    Cerebral vascular control and metabolism in heat stress

    Bain, A. R., Nybo, Lars & Ainslie, P. N., 2015, I : Comprehensive Physiology. 5, 3, s. 1345-1380 36 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  7. Udgivet

    Investigating the effects of arctic dietary intake on lung health

    Baines, K. J., Backer, Vibeke, Gibson, P. G., Powell, H. & Porsbjerg, Celeste Michala, nov. 2015, I : European Journal of Clinical Nutrition. 69, 11, s. 1262-6 5 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  8. Udgivet

    Impaired lung function is associated with systemic inflammation and macrophage activation

    Baines, K. J., Backer, Vibeke, Gibson, P. G., Powel, H. & Porsbjerg, Celeste Michala, feb. 2015, I : European Respiratory Journal. 45, 2, s. 557-9 3 s.

    Publikation: Bidrag til tidsskriftLetterForskningfagfællebedømt

  9. Udgivet

    Coral reproduction on the world’s southernmost reef at Lord Howe Island, Australia

    Baird, A. H., Cumbo, V. R., Gudge, S., Keith, S. A., Maynard, J. A., Tan, C. H. & Woolsey, E. S., 2015, I : Aquatic Biology. 23, 3, s. 275-284 10 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  10. Udgivet

    Social exclusion or poverty individualisation? An empirical test of two recent and competing poverty theories

    Bak, C. K. & Larsen, Jørgen Elm, 2015, I : European Journal of Social Work. 18, 1, s. 17-35 19 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt