Personensuche
X
?
Lecture Notes in Computer Science; NASA Formal Methods ,
1
Verification of Scapegoat Trees Using Dafny:
, In:
?
2024 IEEE Wireless Communications and Networking Conference (WCNC) ,
2
Near-Field Beam Training with DFT Codebook:
, In:
?
2024 5th International Conference on Computer Engineering and Application (ICCEA) ,
3
Engine Integration Using WebGL Depth Buffer and Rendering M..:
, In:
?
Advances in Computer Graphics; Lecture Notes in Computer Science ,
4
A Novel Approach to Curved Layer Slicing and Path Planning ..:
, In:
?
Scale-up and Chemical Process for Microbial Production of Plant-Derived Bioactive Compounds ,
5
List of contributors:
, In:
?
2023 IEEE International Symposium on High-Performance Computer Architecture (HPCA) ,
7
Ah-Q: Quantifying and Handling the Interference within a Da..:
, In:
?
2023 6th International Conference on Energy, Electrical and Power Engineering (CEEPE) ,
8
Intelligent Operation and Maintenance System of Power Distr..:
, In:
?
2023 IEEE/CVF International Conference on Computer Vision (ICCV) ,
9
LinkGAN: Linking GAN Latents to Pixels for Controllable Ima..:
, In:
?
2023 American Control Conference (ACC) ,
10
Robust Tracking Control for Nonlinear Systems: Performance ..:
, In:
?
2023 China Automation Congress (CAC) ,
11
An Improved Extended Kalman Filter for UAV Localization in ..:
, In:
?
2023 42nd Chinese Control Conference (CCC) ,
12
Robust Repetitive Learning Control for a Class of Nonlinear..:
, In:
?
2023 8th International Conference on Integrated Circuits and Microsystems (ICICM) ,
13
A 6-18 GHz Low Group Delay Variation Amplifier With Inducti..:
, In:
?
2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) ,
14
REC-MV: REconstructing 3D Dynamic Cloth from Monocular Vide..:
, In:
?
2023 International Telecommunications Conference (ITC-Egypt) ,
15