Zobrazeno 1 - 10
of 4 660
pro vyhledávání: '"Holck, A."'
Combining machine learning and formal methods (FMs) provides a possible solution to overcome the safety issue of autonomous driving (AD) vehicles. However, there are gaps to be bridged before this combination becomes practically applicable and useful
Externí odkaz:
http://arxiv.org/abs/2408.01093
Autor:
Brorholt, Asger Horn, Høeg-Petersen, Andreas Holck, Larsen, Kim Guldstrand, Schilling, Christian
Publikováno v:
AISoLA 2024
We consider the problem of synthesizing safety strategies for control systems, also known as shields. Since the state space is infinite, shields are typically computed over a finite-state abstraction, with the most common abstraction being a rectangu
Externí odkaz:
http://arxiv.org/abs/2407.19911
Autor:
Ploeger, Esther, Poelman, Wessel, Høeg-Petersen, Andreas Holck, Schlichtkrull, Anders, de Lhoneux, Miryam, Bjerva, Johannes
Beyond individual languages, multilingual natural language processing (NLP) research increasingly aims to develop models that perform well across languages generally. However, evaluating these systems on all the world's languages is practically infea
Externí odkaz:
http://arxiv.org/abs/2407.05022
Publikováno v:
Front. Astron. Space Sci. 2023 10:1255481
The 450th anniversary of the discovery of the SN 1572 supernova event was celebrated in 2022. A closer look at the historical development of the field of supernova astronomy reveals the scientific importance of Tycho Brahe's 1572 observations of this
Externí odkaz:
http://arxiv.org/abs/2309.10120
We prove a strong Frankel theorem for mean curvature flow shrinkers in all dimensions: Any two shrinkers in a sufficiently large ball must intersect. In particular, the shrinker itself must be connected in all large balls. The key to the proof is a s
Externí odkaz:
http://arxiv.org/abs/2306.08078
We will show that if a gradient shrinking Ricci soliton has an approximate symmetry on one scale, this symmetry propagates to larger scales. This is an example of the shrinker principle which roughly states that information radiates outwards for shri
Externí odkaz:
http://arxiv.org/abs/2305.03135
We prove sharp lower bounds for eigenvalues of the drift Laplacian for a modified Ricci flow. The modified Ricci flow is a system of coupled equations for a metric and weighted volume that plays an important role in Ricci flow. We will also show that
Externí odkaz:
http://arxiv.org/abs/2305.02416
Publikováno v:
International Journal of Circumpolar Health, Vol 83, Iss 1 (2024)
Many people with diabetes mellitus experience minimal or no complications. Our objective was to determine the proportion of Alaska Native people who experienced four major complications or mortality and to identify factors that may be associated with
Externí odkaz:
https://doaj.org/article/2e966ebb181243b2b913d89f7ee2c351
Autor:
Sophie D. Fosså, Anne Holck Storås, Kirsti Aas, Tom Børge Johannesen, Ylva Maria Gjelsvik, Tor Å. Myklebust
Publikováno v:
European Urology Open Science, Vol 63, Iss , Pp 62-70 (2024)
Background and objective: Registry-based studies for prostate cancer (PCa) document higher overall mortality (OM) after high-dose radiotherapy (RT) than after radical prostatectomy (RP). Our aim was to explore the association between pretreatment pat
Externí odkaz:
https://doaj.org/article/23979ec550d6426ab0b163d4d21dc1e6
Autor:
Nord, Natasa, Tereshchenko, Tymofii, Woszczek, Aleksandra, Næss, Jan Sandstad, Sandberg, Nina Holck, Pahlavan, Hamed Mohseni, Brattebø, Helge
Publikováno v:
In Energy & Buildings 15 December 2024 325