English | 繁體

Search in the results

UM

Browse/Search Results:  1-10 of 13 Help

Selected(0)Clear Items/Page:    Sort:
Large deviations principle via Malliavin calculus for the Navier–Stokes system driven by a degenerate white-in-time noise Journal article
Nersesyan,Vahagn, Peng,Xuhui, Xu,Lihu. Large deviations principle via Malliavin calculus for the Navier–Stokes system driven by a degenerate white-in-time noise[J]. Journal of Differential Equations, 2023, 362, 230-249.
Authors:  Nersesyan,Vahagn;  Peng,Xuhui;  Xu,Lihu
Favorite | TC[WOS]:0 TC[Scopus]:0  IF:2.4/2.6 | Submit date：2023/08/03
Degenerate Noise  Feynman–kac Semigroup  Large Deviations  Malliavin Calculus  Navier–stokes System  Uniform Feller Property  
Approximation to Stochastic Variance Reduced Gradient Langevin Dynamics by Stochastic Delay Differential Equations Journal article
Chen, Peng, Lu, Jianya, Xu, Lihu. Approximation to Stochastic Variance Reduced Gradient Langevin Dynamics by Stochastic Delay Differential Equations[J]. Applied Mathematics and Optimization, 2022, 85(2), 15.
Authors:  Chen, Peng;  Lu, Jianya;  Xu, Lihu
Favorite | TC[WOS]:4 TC[Scopus]:3  IF:1.6/1.8 | Submit date：2022/05/17
Malliavin Calculus  Refined Lindeberg Principle  Stochastic Delay Differential Equations (Sddes)  Stochastic Variance Reduced Gradient Langevin Dynamics (Svrg-ld)  Wasserstein-1 Distance  
Tracking Control of Nanopositioning Stages Using Parallel Resonant Controllers for High-Speed Nonraster Sequential Scanning Journal article
Yidan Tao, Zhiwei Zhu, Qingsong Xu, Han-Xiong Li, LiMin Zhu. Tracking Control of Nanopositioning Stages Using Parallel Resonant Controllers for High-Speed Nonraster Sequential Scanning[J]. IEEE Transactions on Automation Science and Engineering, 2021, 18(3), 1218-1228.
Authors:  Yidan Tao;  Zhiwei Zhu;  Qingsong Xu;  Han-Xiong Li;  LiMin Zhu
Favorite | TC[WOS]:13 TC[Scopus]:12  IF:5.9/6.0 | Submit date：2021/12/08
Digital Implementation  Fractional-order (Fo) Calculus  High-speed Nonraster Sequential Scanning  Resonant Controller (Rc)  
Multivariate approximations in Wasserstein distance by Stein’s method and Bismut’s formula Journal article
Xiao Fang, Qi-Man Shao, Lihu Xu. Multivariate approximations in Wasserstein distance by Stein’s method and Bismut’s formula[J]. Probability Theory and Related Fields, 2019, 174(3-4), 945–979.
Authors:  Xiao Fang;  Qi-Man Shao;  Lihu Xu
Favorite | TC[WOS]:23 TC[Scopus]:24  IF:1.5/1.9 | Submit date：2019/07/19
Bismut's Formula  Multivariate Approximation  Rate Of Convergence  Stein’s Method  Wasserstein Distance  Langevin Algorithm  Malliavin Calculus  
Model checking bounded continuous-time Extended Linear Duration Invariants Conference paper
An J., Zhan N., Li X., Zhang M., Yi W.. Model checking bounded continuous-time Extended Linear Duration Invariants[C], 2018, 81-90.
Authors:  An J.;  Zhan N.;  Li X.;  Zhang M.;  Yi W.
Favorite | TC[WOS]:5 TC[Scopus]:7 | Submit date：2019/02/14
Duration Calculus  Eldi  Model Checking  Quantified Linear Real Arithmetic  Timed Automata  
BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems Conference paper
Xie W., Zhu H., Xu Q.. BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems[C], 2018, 50-59.
Authors:  Xie W.;  Zhu H.;  Xu Q.
Favorite | TC[WOS]:3 TC[Scopus]:4 | Submit date：2019/04/04
Algebraic Properties  Bigrtimo Calculus  Mobile Systems  Operational Semantics  
BigrTiMo-A Process Algebra for Structure-aware Mobile Systemst Conference paper
Xie, Wanting, Zhu, Huibiao, Xu, Qiwen, IEEE. BigrTiMo-A Process Algebra for Structure-aware Mobile Systemst[C], 345 E 47TH ST, NEW YORK, NY 10017 USA:IEEE, 2017, 50-59.
Authors:  Xie, Wanting;  Zhu, Huibiao;  Xu, Qiwen;  IEEE
Favorite | TC[WOS]:3 TC[Scopus]:4 | Submit date：2018/10/30
Bigrtimo Calculus  Mobile Systems  Operational Semantics  Algebraic Properties  
The H∞ functional calculus based on the S-spectrum for quaternionic operators and for n-tuples of noncommuting operators Journal article
Daniel Alpay, Fabrizio Colombo, Tao Qian, Irene Sabadini. The H∞ functional calculus based on the S-spectrum for quaternionic operators and for n-tuples of noncommuting operators[J]. Journal of Functional Analysis, 2016, 271(6), 1544-1584.
Authors:  Daniel Alpay;  Fabrizio Colombo;  Tao Qian;  Irene Sabadini
Favorite | TC[WOS]:30 TC[Scopus]:34 | Submit date：2019/02/11
H∞ Functional Calculus  N-tuples Of Noncommuting Operators  Quaternionic Operators  S-spectrum  
Fueter mapping theorem in hypercomplex analysis Book chapter
出自: Operator Theory:Springer, Basel, 2015
Authors:  Tao Qian
Favorite | TC[Scopus]:14 | Submit date：2019/06/17
Dirac Operator  Clifford Algebra  Functional Calculus  Singular Integral Operator  Fourier Multiplier  
Formalising Scheduling Theories in Duration Calculus Journal article
QIWEN XU, NAIJUN ZHAN. Formalising Scheduling Theories in Duration Calculus[J]. Nordic Journal of Computing, 2008, 14, 173–201.
Authors:  QIWEN XU;  NAIJUN ZHAN
Favorite |  | Submit date：2019/05/29
Real Time Scheduling  Formal Proof  Duration Calculus  Temporal Logics  Schedulability Conditions