Zobrazeno 1 - 10
of 1 365
pro vyhledávání: '"Holck, P."'
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
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
Publikováno v:
Advanced Nonlinear Studies, Vol 24, Iss 1, Pp 178-188 (2024)
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:
https://doaj.org/article/0a3efd381da74b1e8f0e02c8e684e3cf
Publikováno v:
International Journal of Circumpolar Health, Vol 83, Iss 1 (2024)
ABSTRACTMany 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 associa
Externí odkaz:
https://doaj.org/article/2e966ebb181243b2b913d89f7ee2c351