Publications (30)
Formalizing Safety Requirements Using Controlling Automata
Zhe Chen, Gilles Motet
Casimir Thrust Force on a Rotating Chiral Particle
Jianhui Yu, Wenjin Long, Yu Zhang +13
Accelerating and Evaluation of Syntactic Parsing in Natural Language Question Answering Systems
Zhe Chen, Dunwei Wen
Heuristic Reasoning on Graph and Game Complexity of Sudoku
Zhe Chen
Flags and orbits of connected reductive groups over local rings
Zhe Chen
Extended Laplace-Runge-Lentz vectors, new family of superintegrable systems and quadratic algebras
Zhe Chen, Ian Marquette, Yao-Zhong Zhang
Prometheus: LT Codes Meet Cooperative Transmission in Cellular Networks
Hai Wang, Zhe Chen, Qingyuan Gong +3
Transition Subspace Learning based Least Squares Regression for Image Classification
Zhe Chen, Xiao-Jun Wu, Josef Kittler
Aspects of Stochastic Integration with Respect to Processes of Unbounded p-variation
Zhe Chen, Lauri Viitasaari
The algebraisation of higher Deligne--Lusztig representations
Zhe Chen, Alexander Stasinski
Generic character sheaves on reductive groups over a finite ring
Zhe Chen
Modeling System Safety Requirements Using Input/Output Constraint Meta-Automata
Zhe Chen, Gilles Motet
Nonparametric Estimation of Band-limited Probability Density Functions
Rahul Agarwal, Zhe Chen, Sridevi V. Sarma
Pathwise stochastic integrals and Itô formula for multidimensional Gaussian processes
Zhe Chen, Lauri Viitasaari
An Experimental Survey on Correlation Filter-based Tracking
Zhe Chen, Zhibin Hong, Dacheng Tao
A Nonparametric Bayesian Approach to Uncovering Rat Hippocampal Population Codes During Spatial Navigation
Scott W. Linderman, Matthew J. Johnson, Matthew A. Wilson +1
Pathwise Stieltjes integrals of discontinuously evaluated stochastic processes
Zhe Chen, Lasse Leskelä, Lauri Viitasaari
Progressive LiDAR Adaptation for Road Detection
Zhe Chen, Jing Zhang, Dacheng Tao
Machine Ruling
Zhe Chen
Reconstruction of Missing Big Sensor Data
Yongshuai Shao, Zhe Chen
Anomaly Detection and Redundancy Elimination of Big Sensor Data in Internet of Things
Sai Xie, Zhe Chen
SVM and Dimensionality Reduction in Cognitive Radio with Experimental Validation
Shujie Hou, Robert C. Qiu, Zhe Chen +1
On the Generative Power of Omega-Grammars and Omega-Automata
Zhe Chen
On the inner products of some Deligne--Lusztig type representations
Zhe Chen
Green functions and higher Deligne--Lusztig characters
Zhe Chen
A Review of Automated Formal Verification of Ad Hoc Routing Protocols for Wireless Sensor Networks
Zhe Chen, Daqiang Zhang, Rongbo Zhu +3
The yields of r-process elements and chemical evolution of the Galaxy
Zhe Chen, Jiang Zhang, YanPing Chen +2
Predictive and Recommendatory Spectrum Decision for Cognitive Radio
Xinran Chen, Zhe Chen, Sai Xie +1
A Language-theoretic View on Guidelines and Consistency Rules of UML
Zhe Chen, Gilles Motet
Capacity-achieving and Flicker-free FEC coding scheme for Dimmable Visible Light Communication Based on Polar Codes
Junbin Fang, Zhen Che, Xiaolong Yu +5