( en | de | ru )

 

Disambiguierung von "Xue, Bai"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Probably Approximate Safety Verification of Hybrid Dynamical Systems.

, , , , und . ICFEM, Volume 11852 von Lecture Notes in Computer Science, Seite 236-252. Springer, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Xue Bai

Xue Xue Zhang

Mingzeng Bai

Alexandra Bai

Cheng Xue

 

Weitere Publikationen von Autoren mit dem selben Namen

The measurement-induced nonlocality of two spins in a single-model cavity system., , , , und . Quantum Inf. Process., 20 (11): 364 (2021)Learning Framework for Virtual Network Function Instance Migration., , und . WCSP, Seite 1-7. IEEE, (2018)Geodesic Matting: A Framework for Fast Interactive Image and Video Segmentation and Matting., und . Int. J. Comput. Vis., 82 (2): 113-132 (2009)Multichannel High-Speed Data Caching System on FPGA for RAID Storage., , und . CSPS (3), Volume 517 von Lecture Notes in Electrical Engineering, Seite 482-491. Springer, (2018)A New Machine Learning Classifier for High Dimensional Healthcare Data., , und . MedInfo, Volume 129 von Studies in Health Technology and Informatics, Seite 664-668. IOS Press, (2007)Under-Approximating Backward Reachable Sets by Polytopes., , und . CAV (1), Volume 9779 von Lecture Notes in Computer Science, Seite 457-476. Springer, (2016)A Spatiotemporal Heterogeneous Two-Stream Network for Action Recognition., , , , und . IEEE Access, (2019)GenerativeMap: Visualization and Exploration of Dynamic Density Maps via Generative Learning Model., , , , und . IEEE Trans. Vis. Comput. Graph., 26 (1): 216-226 (2020)Optical Remote Sensing Image Registration Using Spatial-Consistency and Average Regional Information Divergence Minimization via Quantum-Behaved Particle Swarm Optimization., , , , , und . Remote. Sens., 12 (18): 3066 (2020)Calculation Model and Case Study of Water-Saving Quantity in Typical Industrial Enterprises., , , und . J. Appl. Math., (2022)