Zobrazeno 1 - 10
of 1 897
pro vyhledávání: '"P. Gehr"'
We present the first correct-by-construction learning-based system for step-by-step mathematical integration. The key idea is to learn a policy, represented by a GPT transformer model, which guides the search for the right mathematical integration ru
Externí odkaz:
http://arxiv.org/abs/2410.02666
A key challenge of quantum programming is uncomputation: the reversible deallocation of qubits. And while there has been much recent progress on automating uncomputation, state-of-the-art methods are insufficient for handling today's expressive quant
Externí odkaz:
http://arxiv.org/abs/2406.14227
Autor:
Gehr, Felix, Theurich, Timo, Monjaraz-Tec, Carlo, Gross, Johann, Schwarz, Stefan, Hartung, Andreas, Krack, Malte
We consider the common problem setting of an elastic sphere impacting on a flexible beam. In contrast to previous studies, we analyze the modal energy distribution induced by the impact, having in mind the particular application of impact vibration a
Externí odkaz:
http://arxiv.org/abs/2207.00795
Publikováno v:
European Respiratory Review, Vol 17, Iss 108, Pp 78-80 (2008)
The epithelium of the human airway wall serves as structural and functional barrier against inhaled and deposited particulate antigen. Recently we have shown that human blood monocyte-derived dendritic cells (MDDC) and human blood monocytes derived m
Externí odkaz:
https://doaj.org/article/b901b7c87cf04004bc9c87748155ecce
We introduce the concept of provably robust adversarial examples for deep neural networks - connected input regions constructed from standard adversarial examples which are guaranteed to be robust to a set of real-world perturbations (such as changes
Externí odkaz:
http://arxiv.org/abs/2007.12133
Generative neural networks can be used to specify continuous transformations between images via latent-space interpolation. However, certifying that all images captured by the resulting path in the image manifold satisfy a given property can be very
Externí odkaz:
http://arxiv.org/abs/2004.14756
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.
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.