( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems.

, , , , , , , , и . CoRR, (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.

Yixuan Xie

Wang Wang

Linfang Wang

Investigation of the functions of 53BP1 in DNA demethylation. Uni Marburg, (2009)

Sha Wang

Lei Wang

 

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

Adaptive algebraic multiscale solver for compressible flow in heterogeneous porous media., , и . J. Comput. Phys., (2015)A structure-time parallel implementation of spike-based deep learning., , , и . Neural Networks, (2019)An Empirical Investigation of Filter Attribute Selection Techniques for High-Speed Network Traffic Flow Classification., , , , , и . Wirel. Pers. Commun., 66 (3): 541-558 (2012)Cloud-Aerosol Classification Based on the U-Net Model and Automatic Denoising CALIOP Data., , , , , , , и . Remote. Sens., 16 (5): 904 (марта 2024)The Spatiotemporal Distribution of NO2 in China Based on Refined 2DCNN-LSTM Model Retrieval and Factor Interpretability Analysis., , , , , , и . Remote. Sens., 15 (17): 4261 (сентября 2023)Maritime location inventory routing problem for island supply chain network under periodic freight demand., , и . Comput. Oper. Res., (2023)Theory and Application of Audio-Based Assessment of Cough., , , , и . J. Sensors, (2018)Accounting for Non-Stationary Relationships between Precipitation and Environmental Variables for Downscaling Monthly TRMM Precipitation in the Upper Indus Basin., , , , и . Remote. Sens., 15 (17): 4356 (сентября 2023)Multi-scale Feature Fusion and Transformer Network for urban green space segmentation from high-resolution remote sensing images., , , , , , , , , и 2 other автор(ы). Int. J. Appl. Earth Obs. Geoinformation, (ноября 2023)Deep Spiking Neural Networks With Binary Weights for Object Recognition., , , и . IEEE Trans. Cogn. Dev. Syst., 13 (3): 514-523 (2021)