Safety and robustness aspects analysis of Lactobacillus delbrueckii ssp. bulgaricus LDB-C1 based on the genome analysis and biological tests.
Sign Up to like & getrecommendations! Published in 2021 at "Archives of microbiology"
DOI: 10.1007/s00203-021-02383-7
Abstract: Lactobacillus delbrueckii subsp. bulgaricus (L. bulgaricus) is a microaerophylic anaerobe, which is widely used in the production of yogurt, cheese, and other fermented dairy products. L. bulgaricus and its partner Streptococcus thermophilus were used as… read more here.
Keywords: safety robustness; analysis; bulgaricus; bulgaricus ldb ... See more keywords
Efficient Complete Verification of Neural Networks via Layerwised Splitting and Refinement
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"
DOI: 10.1109/tcad.2022.3197534
Abstract: Safety and robustness properties are highly required for neural networks deployed in safety-critical applications. Current complete verification techniques of these properties suffer from the lack of efficiency and effectiveness. In this article, we present an… read more here.
Keywords: safety robustness; neural networks; verification; via layerwised ... See more keywords