Zobrazeno 1 - 10
of 2 990
pro vyhledávání: '"safe regions"'
Autor:
Marzari, Luca, Corsi, Davide, Marchesini, Enrico, Farinelli, Alessandro, Cicalese, Ferdinando
Identifying safe areas is a key point to guarantee trust for systems that are based on Deep Neural Networks (DNNs). To this end, we introduce the AllDNN-Verification problem: given a safety property and a DNN, enumerate the set of all the regions of
Externí odkaz:
http://arxiv.org/abs/2308.09842
We present a shallow, isothermal, Newtonian model for the transient interaction of lava flows with topography. Numerical integrations and simple mathematical approximations are deployed to quantify how topography controls lava thicknesses and flow sp
Externí odkaz:
http://arxiv.org/abs/2207.05917
Verifying Aircraft Collision Avoidance Neural Networks Through Linear Approximations of Safe Regions
The next generation of aircraft collision avoidance systems frame the problem as a Markov decision process and use dynamic programming to optimize the alerting logic. The resulting system uses a large lookup table to determine advisories given to pil
Externí odkaz:
http://arxiv.org/abs/1903.00762
Publikováno v:
In International Journal of Non-Linear Mechanics September 2017 94:3-11
Publikováno v:
IEEE Access, Vol 8, Pp 50285-50298 (2020)
The peer-to-peer (P2P) paradigm has become very popular for storing and sharing information. In most P2P systems, peers are connected by means of a limited range of uniform networks, leading to issues when some connected peers are isolated from the o
Externí odkaz:
https://doaj.org/article/e61571690bde48d0abacf79843cba789
Conference
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:
Progress in Orthodontics, Vol 20, Iss 1, Pp 1-8 (2019)
Abstract Background To assess the anatomy of the mandibular buccal shelf (MBS) with cone-beam computed tomography (CBCT) and to identify the region of miniscrew implantation for the distalization of mandibular dentition. Materials and methods The MBS
Externí odkaz:
https://doaj.org/article/f97d494b1db641169dc93a1a46353ebe
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:
In Mathematical and Computer Modelling September 2013 58(5-6):1449-1458