Zobrazeno 1 - 10
of 106
pro vyhledávání: '"Baunsgaard P"'
In this paper we combine the principled approach to modalities from multimodal type theory (MTT) with the computationally well-behaved realization of identity types from cubical type theory (CTT). The result -- cubical modal type theory (Cubical MTT)
Externí odkaz:
http://arxiv.org/abs/2203.13000
Guarded recursion is a powerful modal approach to recursion that can be seen as an abstract form of step-indexing. It is currently used extensively in separation logic to model programming languages with advanced features by solving domain equations
Externí odkaz:
http://arxiv.org/abs/2102.01969
Automatic Speech Recognition (ASR) has increased in popularity in recent years. The evolution of processor and storage technologies has enabled more advanced ASR mechanisms, fueling the development of virtual assistants such as Amazon Alexa, Apple Si
Externí odkaz:
http://arxiv.org/abs/2003.12366
Autor:
Boehm, Matthias, Antonov, Iulian, Baunsgaard, Sebastian, Dokter, Mark, Ginthoer, Robert, Innerebner, Kevin, Klezin, Florijan, Lindstaedt, Stefanie, Phani, Arnab, Rath, Benjamin, Reinwald, Berthold, Siddiqi, Shafaq, Wrede, Sebastian Benjamin
Machine learning (ML) applications become increasingly common in many domains. ML systems to execute these workloads include numerical computing frameworks and libraries, ML algorithm libraries, and specialized systems for deep neural networks and di
Externí odkaz:
http://arxiv.org/abs/1909.02976
Autor:
Mette Marie Baunsgaard, Anne Sophie Lind Helligsoe, Louise Tram Henriksen, Torben Stamm Mikkelsen, Michael Callesen, Britta Weber, Henrik Hasle, Niels Birkebæk
Publikováno v:
Endocrine Connections, Vol 12, Iss 2, Pp 1-11 (2023)
Objective: Growth hormone deficiency (GHD) is the most common endocrine la te effect in irradiated survivors of childhood brain tumors. This study a imed to determine the prevalence of GHD in adults treated with proton or photon irradiation for a bra
Externí odkaz:
https://doaj.org/article/c25f88279c4b4aa2ac222ba1b47b043c
Autor:
Olga V. Moroz, Elena Blagova, Verena Reiser, Rakhi Saikia, Sohel Dalal, Christian Isak Jørgensen, Vikram K. Bhatia, Lone Baunsgaard, Birgitte Andersen, Allan Svendsen, Keith S. Wilson
Publikováno v:
ACS Omega, Vol 4, Iss 6, Pp 9964-9975 (2019)
Externí odkaz:
https://doaj.org/article/89c795affba548c9a855eee88d9d671e
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
George Nicholson, Mattias Rantalainen, Anthony D Maher, Jia V Li, Daniel Malmodin, Kourosh R Ahmadi, Johan H Faber, Ingileif B Hallgrímsdóttir, Amy Barrett, Henrik Toft, Maria Krestyaninova, Juris Viksna, Sudeshna Guha Neogi, Marc‐Emmanuel Dumas, Ugis Sarkans, The MolPAGE Consortium, Bernard W Silverman, Peter Donnelly, Jeremy K Nicholson, Maxine Allen, Krina T Zondervan, John C Lindon, Tim D Spector, Mark I McCarthy, Elaine Holmes, Dorrit Baunsgaard, Chris C Holmes
Publikováno v:
Molecular Systems Biology, Vol 7, Iss 1, Pp 1-12 (2011)
Abstract 1H Nuclear Magnetic Resonance spectroscopy (1H NMR) is increasingly used to measure metabolite concentrations in sets of biological samples for top‐down systems biology and molecular epidemiology. For such purposes, knowledge of the source
Externí odkaz:
https://doaj.org/article/f335db8f4a53437692b5541fc67ede7b
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.