Zobrazeno 1 - 10
of 16 009
pro vyhledávání: '"A. Holck"'
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
Autor:
Hanks, Patrick, Lenarčič, Simon
Publikováno v:
Dictionary of American Family Names, 2 ed., 2022.
Externí odkaz:
http://www.oxfordreference.com/view/10.1093/acref/9780190245115.001.0001/acref-9780190245115-e-33779
Autor:
Theilgaard, Ida, Skiveren, Tobias
Publikováno v:
Theilgaard, I & Skiveren, T 2022, Kropsmodernismen genbesøgt : En nymaterialistisk revurdering af firserpoesien hos Henrik S. Holck og Pia Tafdrup . i Poetiske partiturer : Et portræt af Pia Tafdrups forfatterskab . Forlaget Spring, Hellerup, s. 243-283 .
Danish literary histories often depict the 80ies as a period in which questions of cor- poreality moved to the foreground of the poetics of its poets. Dubbing this move »corporeal modernism« (»kropsmodernisme«), scholars have explained this new a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pure_au_____::a33dfb5ae5a05823ec0600f74d10711c
https://pure.au.dk/portal/da/publications/kropsmodernismen-genbesoegt(ee18b851-f5b2-4fc7-8600-b73830d1f0ea).html
https://pure.au.dk/portal/da/publications/kropsmodernismen-genbesoegt(ee18b851-f5b2-4fc7-8600-b73830d1f0ea).html
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