( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A structural transformation from p-π to MSVL.

, , , и . J. Comb. Optim., 29 (1): 308-329 (2015)

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.

Xiaobing Wang

Xiaobing Wang-Riese

Xiaobing Zhao

Xiaobing Gong

Xiaobing Wu

 

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

SDTGAN: Generation Adversarial Network for Spectral Domain Translation of Remote Sensing Images of the Earth Background Based on Shared Latent Domain., , , , и . Remote. Sens., 14 (6): 1359 (2022)Self-distillation object segmentation via pyramid knowledge representation and transfer., , , , , , и . Multim. Syst., 29 (5): 2615-2631 (октября 2023)Model checking of pushdown systems for projection temporal logic., , и . Theor. Comput. Sci., (2019)Automatic classification of retinal diseases with transfer learning-based lightweight convolutional neural network., , , , , и . Biomed. Signal Process. Control., (марта 2023)A novel load balancing scheme for mobile edge computing., , , , , , , и . J. Syst. Softw., (2022)MRNET: Multi-Refinement Network for Dual-Pixel Images Defocus Deblurring., , и . ICASSP, стр. 1-5. IEEE, (2023)Driver Violation Prediction based on Neural Network., , , , , и . DSA, стр. 143-152. IEEE, (2022)Natural Scene Text Detection with Multi-channel Connected Component Segmentation., , и . ICDAR, стр. 1375-1379. IEEE Computer Society, (2013)Model Checking Python Programs with MSVL., , , , , и . SOFL+MSVL, том 12028 из Lecture Notes in Computer Science, стр. 205-224. Springer, (2019)Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework., , , , и . SOFL+MSVL, том 12028 из Lecture Notes in Computer Science, стр. 73-87. Springer, (2019)