E-LIB Suche - Ergebnisse für: Liu, Kairong

1

Evolution Function Based Reach-Avoid Verification for Time-..:

Hu, Ruiqi ; Liu, Kairong ; She, Zhikun
ACM Transactions on Embedded Computing Systems. , 2023

Link: https://doi.org/10.1145/..

2

Research on Software Architecture of Hardware-In-The-Loop S..:

, In: 2023 China Automation Congress (CAC),

Ji, Xu ; Liu, Kairong ; Jing, Haitao.. - p. 1789-1793 , 2023

Link: https://doi.org/10.1109/..

3

Reachability Based Uniform Controllability to Target Set wi..:

, In: Dependable Software Engineering. Theories, Tools, and Applications; Lecture Notes in Computer Science,

Geng, Jia ; Hu, Ruiqi ; Liu, Kairong.. - p. 21-37 , 2023

Link: https://doi.org/10.1007/..

4

A Compensation Method for Lost Trajectories of ORB-SLAM3 wi..:

, In: 2023 3rd International Conference on Computer, Control and Robotics (ICCCR),

Liu, Kairong ; Fan, Yong ; Su, Jianmei.. - p. 309-316 , 2023

Link: https://doi.org/10.1109/..

5

Safety verification for Regime-Switching Jump Diffusions vi..:

Liu, Kairong ; She, Zhikun
Nonlinear Analysis: Hybrid Systems. 50 (2023) - p. 101401 , 2023

Link: https://doi.org/10.1016/..

6

Reach-Avoid Verification for Time-varying Systems with Unce..:

, In: 2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE),

Hu, Ruiqi ; Liu, Kairong ; She, Zhikun - p. 1-12 , 2022

Link: https://doi.org/10.1109/..

7

Uniform exponential stability criteria with verification fo..:

Lu, Junjie ; She, Zhikun ; Liu, Kairong
International Journal of Robust and Nonlinear Control. 32 (2022) 12 - p. 6721-6738 , 2022

Link: https://doi.org/10.1002/..

8

Stability Verification for a Class of Stochastic Hybrid Sys..:

Liu, Kairong ; Li, Meilun ; She, Zhikun
SIAM Journal on Control and Optimization. 59 (2021) 1 - p. 365-392 , 2021

Link: https://doi.org/10.1137/..

9

Identifying Cell Type Specific TF Combinatorial Regulation ..:

, In: 2020 IEEE International Conference on Big Data and Smart Computing (BigComp),

Liu, Kairong ; Hutchins, Andrew ; Wang, Yong - p. 350-357 , 2020

Link: https://doi.org/10.1109/..

10

Reachability Estimation of Stochastic Dynamical Systems by ..:

, In: 2019 IEEE 58th Conference on Decision and Control (CDC),

Liu, Kairong ; Li, Meilun ; She, Zhikun - p. 7727-7732 , 2019

Link: https://doi.org/10.1109/..

11

Continuity of the eigenvalues for a vibrating beam:

Jiang, Xin ; Liu, Kairong ; Meng, Gang.
Applied Mathematics Letters. 67 (2017) - p. 60-66 , 2017

Link: https://doi.org/10.1016/..

12

Models of global gene expression define major domains of ce..:

Hutchins, Andrew P. ; Yang, Zhongzhou ; Li, Yuhao...
Nucleic Acids Research. 45 (2017) 5 - p. 2354-2367 , 2017

Link: https://doi.org/10.1093/..

13

Models of global gene expression define major domains of ce..:

Hutchins, Andrew P ; Yang, Zhongzhou ; Li, Yuhao...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC5389706/. , 2017

Link: http://www.ncbi.nlm.nih...

14

New Demiric–Selçuk meet-in-the-middle attacks on Misty and ..:

Zou, Jian ; Huang, Kairong ; Zhu, Min...
Quantum Information Processing. 23 (2024) 4 - p. , 2024

Link: https://doi.org/10.1007/..

15

Carrier-Free, Injectable Hydrogel Formed by Self-Assembled ..:

Liu, Kexin ; Zhang, Hanru ; Wang, Zhaopeng...
ACS Applied Nano Materials. , 2024

Link: https://doi.org/10.1021/..