Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Sylla, Pape"'
This paper introduces an approach for formally verifying the safety of the flight controller of an octorotor platform. Our method involves finding regions of the octorotor's state space that are considered safe, and which can be proven to be invarian
Externí odkaz:
http://arxiv.org/abs/2107.00612
Testing remains the primary method to evaluate the accuracy of neural network perception systems. Prior work on the formal verification of neural network perception models has been limited to notions of local adversarial robustness for classification
Externí odkaz:
http://arxiv.org/abs/2012.09313
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:
Astashyn, Alexander, Tvedte, Eric S, Sweeney, Deacon, Sapojnikov, Victor, Bouk, Nathan, Joukov, Victor, Mozes, Eyal, Strope, Pooja K, Sylla, Pape M, Wagner, Lukas, Bidwell, Shelby L, Clark, Karen, Davis, Emily W, Smith-White, Brian, Hlavina, Wratko, Pruitt, Kim D, Schneider, Valerie A, Murphy, Terence D
Publikováno v:
bioRxiv
Assembled genome sequences are being generated at an exponential rate. Here we present FCS-GX, part of NCBI's Foreign Contamination Screen (FCS) tool suite, optimized to identify and remove contaminant sequences in new genomes. FCS-GX screens most ge
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmc_________::c9c4d0b1f7cd2fed8ad61de9178f1a6c
https://europepmc.org/articles/PMC10246020/
https://europepmc.org/articles/PMC10246020/
Autor:
Ly, A.
Publikováno v:
African Journal of Cancer / Journal Africain du Cancer; Nov2011, Vol. 3 Issue 4, p273-275, 3p
Autor:
Martin Weinert
Das Buch thematisiert den Wandel unseres Wortschatzes durch die COVID-19-Pandemie. Anhand zahlreicher Beispiele aus der deutschsprachigen Print- und Onlinepresse werden relevante Neologismen, Bedeutungsveränderungen sowie eine coronaspezifische Meta