( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Customizable Reference Runtime Monitoring of Neural Networks Using Resolution Boxes.

, , и . RV, том 14245 из Lecture Notes in Computer Science, стр. 23-41. Springer, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Jinglan Wu

Recovery of citric acid from fermentation broth using simulated moving bed technology: = Reinigung von Zitronensäure aus Fermentationslösung durch kontinuierliche Chromatographie. Uni Erlangen-Nürnberg, (2009)

Haiyan Wu

Yinghua Wu

Jinjin Wu

Changzhu Wu

 

Другие публикации лиц с тем же именем

Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes., , и . CoRR, (2021)Bridging formal methods and machine learning with model checking and global optimisation., , , , , и . J. Log. Algebraic Methods Program., (февраля 2024)What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems., , , , , и . AISoLA, том 14380 из Lecture Notes in Computer Science, стр. 55-76. Springer, (2023)Customizable Reference Runtime Monitoring of Neural Networks Using Resolution Boxes., , и . RV, том 14245 из Lecture Notes in Computer Science, стр. 23-41. Springer, (2023)DeepAbstraction: 2-Level Prioritization for Unlabeled Test Inputs in Deep Neural Networks., , , и . AITest, стр. 64-71. IEEE, (2022)A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation., , , , , , , , , и 7 other автор(ы). CoRR, (2023)Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems., , , , , , , , , и 11 other автор(ы). AISoLA, том 14380 из Lecture Notes in Computer Science, стр. 256-278. Springer, (2023)Towards Rigorous Design of OoD Detectors., , , и . CoRR, (2023)A digital twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle., , , , , , , , и . PoEM Companion, том 3645 из CEUR Workshop Proceedings, CEUR-WS.org, (2023)Computation of synchronizing sequences for a class of 1-place-unbounded synchronized Petri nets., , и . CoDIT, стр. 51-57. IEEE, (2018)