From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus.

P. Balbiani, H. Gao, Ç. Gencer, и N. Olivetti. CSL, том 288 из LIPIcs, стр. 13:1-13:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)

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.

Gao Guo

Zhigang Gao

Yi Gao

Yawen Gao

Hailong Gao

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

Fine-Grained Evaluation of Knowledge Graph Embedding Model in Knowledge Enhancement Downstream Tasks.Y. Zhang, B. Li, H. Gao, Y. Ji, H. Yang, M. Wang, и W. Chen. Big Data Res., (2021)Cycle and Self-Supervised Consistency Training for Adapting Semantic Segmentation of Aerial Images.H. Gao, Y. Zhao, P. Guo, Z. Sun, X. Chen, и Y. Tang. Remote. Sens., 14 (7): 1527 (2022)Unsupervised Cross-User Adaptation in Taste Sensation Recognition Based on Surface Electromyography.H. Wang, X. Zhan, L. Liu, A. Ullah, H. Li, H. Gao, Y. Wang, R. Hu, и G. Li. IEEE Trans. Instrum. Meas., (2022)A Novel and Systematic Signal Extraction Method for High-Temperature Object Detection via Structured Light Vision.Q. He, X. Zhang, Z. Ji, H. Gao, и G. Yang. IEEE Trans. Instrum. Meas., (2022)Basic Taste Sensation Recognition From EEG Based on Multiscale Convolutional Neural Network With Residual Learning.H. Gao, S. Zhao, H. Li, L. Liu, H. Wang, Y. Wang, Z. Luo, J. Zhang, и G. Li. IEEE Trans. Instrum. Meas., (2023)Three-Dimensional Image Reconstruction With Enhanced Spatial Accuracy for Pulsed-Laser Imaging Based on Compressive Sensing.H. Gao, G. Zhang, и M. Huang. IEEE Trans. Geosci. Remote. Sens., (2023)TSPol-ASLIC: Adaptive Superpixel Generation With Local Iterative Clustering for Time-Series Quad- and Dual-Polarization SAR Data.H. Gao, C. Wang, D. Xiang, J. Ye, и G. Wang. IEEE Trans. Geosci. Remote. Sens., (2022)Synchrophasor-Based Online Load Margin Estimation Using Incremental Learning Assisted LightGBM in Smart Grid.G. Cai, H. Gao, D. Yang, и L. Wang. IEEE Syst. J., 17 (3): 4660-4670 (сентября 2023)An implement of RPV control system for small unmanned helicopters.Y. Zhang, T. Wang, J. Liang, C. Wang, Y. Chen, Y. Zhou, Y. Luan, и H. Gao. ROBIO, стр. 1141-1145. IEEE, (2012)Self-localization of autonomous underwater vehicles with accurate sound travel time solution.J. Li, H. Gao, S. Zhang, S. Chang, J. Chen, и Z. Liu. Comput. Electr. Eng., (2016)

BibSonomy

Disambiguation