Forskning ved Københavns Universitet - Københavns Universitet

Forside

Publikationer

  1. Udgivet

    A Formalization of the Natural Gradient Method for General Similarity Measures

    Mallasto, A., Dela Haije, Tom & Feragen, Aasa, 2019, GSI 2019: Geometric Science of Information . s. 599-607 (Geometric Science of Information).

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningfagfællebedømt

  2. Udgivet

    A Formally Verified Abstract Account of Gödel's Incompleteness Theorems

    Popescu, A. & Traytel, Dmitriy, 2019, CADE-27. Fontaine, P. (red.). Springer, Cham, Bind 11716. s. 442-461 20 s. (LNCS).

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

  3. Udgivet

    A Formally Verified Monitor for Metric First-Order Temporal Logic

    Schneider, J., Basin, D., Krstić, S. & Traytel, Dmitriy, 2019, RV 2019. Finkbeiner, B. & Mariani, L. (red.). Springer, Cham, Bind 11757. s. 310-328 19 s. (LNCS).

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

  4. Udgivet

    A Framework for Development and Communication of Absolute Environmental Sustainability Assessment Methods

    Bjørn, A., Richardson, Katherine & Hauschild, M. Z., 2019, I : Journal of Industrial Ecology. 23, 4, s. 838-854

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  5. Udgivet

    A Framework for Learning in the Chemistry Laboratory

    Seery, M. K., Agustian, Hendra Yusup & Zhang, X., 2019, I : Israel Journal of Chemistry. 59, 6-7, s. 546-553

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  6. Udgivet

    A Functional Link between Nuclear RNA Decay and Transcriptional Control Mediated by the Polycomb Repressive Complex 2

    Garland, William, Comet, I., Wu, Mengjun, Radzisheuskaya, Aliaksandra, Rib, Leonor, Vitting-Seerup, Kristoffer, Lloret-Llinares, M., Sandelin, Albin Gustav, Helin, Kristian & Jensen, T. H., 2019, I : Cell Reports. 29, 7, s. 1800-1811 12 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  7. Udgivet

    A GIT construction of degenerations of Hilbert schemes of points

    Gulbrandsen, M. G., Halle, Lars Halvard & Hulek, K., 2019, I : Documenta Mathematica. 24, s. 421-472 52 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  8. Udgivet

    A Geometric Framework for Stochastic Shape Analysis

    Arnaudon, A., Holm, D. D. & Sommer, Stefan Horst, 2019, I : Foundations of Computational Mathematics. 19, 3, s. 653–701 49 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  9. Udgivet

    A Geometric Interpretation of Southern Ocean Eddy Form Stress

    Poulsen, M. B., Jochum, Markus, Maddison, J. R., Marshall, D. P. & Nuterman, Roman, 27 sep. 2019, I : Journal of Physical Oceanography. 49, 10, s. 2553-2570

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  10. Udgivet

    A Global Deal for Nature: Guiding principles, milestones, and targets

    Dinerstein, E., Vynne, C., Sala, E., Joshi, A. R., Fernando, S., Lovejoy, T. E., Mayorga, J., Olson, D., Asner, G. P., Baillie, J. E. M., Burgess, N. D., Burkart, K., Noss, R. F., Zhang, Y. P., Baccini, A., Birch, T., Hahn, N., Joppa, L. N. & Wikramanayake, E., 2019, I : Science Advances. 5, 4, 18 s., eaaw2869.

    Publikation: Bidrag til tidsskriftReviewForskningfagfællebedømt