Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Sprecher, Christian"'
Existing neural network verifiers compute a proof that each input is handled correctly under a given perturbation by propagating a symbolic abstraction of reachable values at each layer. This process is repeated from scratch independently for each in
Externí odkaz:
http://arxiv.org/abs/2109.00542
Autor:
Kamel, Mina, Verling, Sebastian, Elkhatib, Omar, Sprecher, Christian, Wulkop, Paula, Taylor, Zachary, Siegwart, Roland, Gilitschenski, Igor
Extending the maneuverability of unmanned areal vehicles promises to yield a considerable increase in the areas in which these systems can be used. Some such applications are the performance of more complicated inspection tasks and the generation of
Externí odkaz:
http://arxiv.org/abs/1801.04581
Autor:
Sprecher, Christian.
Publikováno v:
Solange vorrätig, können Sie diese Dissertation kaufen (für Bibliotheken evtl. auch Tauschexemplare erhältlich), hier anklicken.
Diss. Phil. Bern, 1913.
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.
Publikováno v:
J. Chem. Phys..
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:
Sprecher, Christian
Brief aus Burgdorf. Zusätzlich darauf vermerkt: Notiz zur Beantwortung am 10.4.1918 von Louis Rollier
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8e15829a9a2c3650449fff9cce92ed03