Zobrazeno 1 - 5
of 5
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:
Astashyn A; National Center for Biotechnology Information, National Library of Medicine, National Institutes of Health, Bethesda, MD, USA., Tvedte ES; National Center for Biotechnology Information, National Library of Medicine, National Institutes of Health, Bethesda, MD, USA., Sweeney D; National Center for Biotechnology Information, National Library of Medicine, National Institutes of Health, Bethesda, MD, USA., Sapojnikov V; National Center for Biotechnology Information, National Library of Medicine, National Institutes of Health, Bethesda, MD, USA., Bouk N; National Center for Biotechnology Information, National Library of Medicine, National Institutes of Health, Bethesda, MD, USA., Joukov V; National Center for Biotechnology Information, National Library of Medicine, National Institutes of Health, Bethesda, MD, USA., Mozes E; National Center for Biotechnology Information, National Library of Medicine, National Institutes of Health, Bethesda, MD, USA., Strope PK; National Center for Biotechnology Information, National Library of Medicine, National Institutes of Health, Bethesda, MD, USA., Sylla PM; National Center for Biotechnology Information, National Library of Medicine, National Institutes of Health, Bethesda, MD, USA., Wagner L; National Center for Biotechnology Information, National Library of Medicine, National Institutes of Health, Bethesda, MD, USA., Bidwell SL; National Center for Biotechnology Information, National Library of Medicine, National Institutes of Health, Bethesda, MD, USA., Clark K; National Center for Biotechnology Information, National Library of Medicine, National Institutes of Health, Bethesda, MD, USA., Davis EW; National Center for Biotechnology Information, National Library of Medicine, National Institutes of Health, Bethesda, MD, USA., Smith-White B; National Center for Biotechnology Information, National Library of Medicine, National Institutes of Health, Bethesda, MD, USA., Hlavina W; National Center for Biotechnology Information, National Library of Medicine, National Institutes of Health, Bethesda, MD, USA., Pruitt KD; National Center for Biotechnology Information, National Library of Medicine, National Institutes of Health, Bethesda, MD, USA., Schneider VA; National Center for Biotechnology Information, National Library of Medicine, National Institutes of Health, Bethesda, MD, USA., Murphy TD; National Center for Biotechnology Information, National Library of Medicine, National Institutes of Health, Bethesda, MD, USA.
Publikováno v:
BioRxiv : the preprint server for biology [bioRxiv] 2023 Jun 06. Date of Electronic Publication: 2023 Jun 06.
