| Publication | Date of Publication | Type |
|---|
Singularities of secant varieties from a Hodge theoretic perspective
Proceedings of the London Mathematical Society. Third Series | 2024-11-22 | Paper |
Fixed-time extended state observer-based trajectory tracking control for autonomous underwater vehicles
Asian Journal of Control | 2024-07-25 | Paper |
Deep learning techniques for spatiotemporal weighted pose Taekwondo features and their application in tactical analysis
JCMCC. The Journal of Combinatorial Mathematics and Combinatorial Computing | 2024-06-21 | Paper |
Singularities of secant varieties from a Hodge theoretic perspective
| 2023-10-13 | Paper |
Retrospective versus prospective score tests for genetic association with case‐control data
Biometrics | 2023-10-09 | Paper |
Adaptive prescribed performance control of nonlinear asymmetric input saturated systems with application to AUVs
Journal of the Franklin Institute | 2021-10-21 | Paper |
scientific article; zbMATH DE number 7318978 (Why is no real title available?)
| 2021-03-10 | Paper |
Approximation of bias and mean‐squared error in two‐sample Mendelian randomization analyses
Biometrics | 2020-10-26 | Paper |
Efficient 3D reconstruction of random heterogeneous media via random process theory and stochastic reconstruction procedure
Computer Methods in Applied Mechanics and Engineering | 2020-04-16 | Paper |
Dynamic mixed-item inventory control with limited capital and short-term financing
Annals of Operations Research | 2020-01-20 | Paper |
Probabilistic bisimulation for realistic schedulers
FM 2015: Formal Methods | 2019-12-19 | Paper |
Numerical solutions of nonlinear fractional differential equations by alternative Legendre polynomials
Applied Mathematics and Computation | 2019-11-14 | Paper |
The commutativity problem of the MapReduce framework: a transducer-based approach
Computer Aided Verification | 2019-05-03 | Paper |
Kodaira vanishing for singular varieties revisited
| 2018-09-11 | Paper |
Probabilistic bisimulation for realistic schedulers
Acta Informatica | 2018-09-06 | Paper |
Probably safe or live
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
Compositional bisimulation minimization for interval Markov decision processes
Language and Automata Theory and Applications | 2016-04-13 | Paper |
Reward-bounded reachability probability for uncertain weighted MDPs
Lecture Notes in Computer Science | 2016-03-23 | Paper |
Properties of central catadioptric circle images and camera calibration
Rough Sets and Knowledge Technology | 2015-10-02 | Paper |
Bisimulations and logical characterizations on continuous-time Markov decision processes
Lecture Notes in Computer Science | 2015-01-13 | Paper |
Smooth switching output tracking control for LPV systems
Asian Journal of Control | 2015-01-13 | Paper |
Quasi-maximum likelihood estimators in generalized linear models with autoregressive processes
Acta Mathematica Sinica, English Series | 2014-12-10 | Paper |
Bisimulations meet PCTL equivalences for probabilistic automata
Logical Methods in Computer Science | 2013-06-24 | Paper |
Hypothesis testing in generalized linear models with functional coefficient autoregressive pro\-cesses
Mathematical Problems in Engineering | 2013-06-11 | Paper |
Robust reliable tracking controller design against actuator faults for LPV systems
Asian Journal of Control | 2013-05-21 | Paper |
Broadcast Abstraction in a Stochastic Calculus for Mobile Networks
Lecture Notes in Computer Science | 2012-09-21 | Paper |
Structural characteristics of genomic islands associated with GMP synthases as integration hotspot among sequenced microbial genomes
Computational Biology and Chemistry | 2012-08-07 | Paper |
Control-oriented approaches to anticipating synchronization of chaotic deterministic ratchets
Physics Letters. A | 2012-02-13 | Paper |
An improved approach to robust stability analysis and controller synthesis for LPV systems
International Journal of Robust and Nonlinear Control | 2011-11-17 | Paper |
Dynamical models of happiness with fractional order
Communications in Nonlinear Science and Numerical Simulation | 2011-09-23 | Paper |
Bisimulations meet PCTL equivalences for probabilistic automata
CONCUR 2011 – Concurrency Theory | 2011-09-02 | Paper |
Finite axiomatization for symbolic probabilistic \(\pi \)-calculus
Journal of Shanghai Jiaotong University (Science) | 2011-01-05 | Paper |
Probabilistic mobility models for mobile and wireless networks
IFIP Advances in Information and Communication Technology | 2010-10-27 | Paper |
Chaos synchronization for a class of nonlinear oscillators with fractional order
Nonlinear Analysis. Theory, Methods \& Applications. Series A: Theory and Methods | 2010-02-05 | Paper |
On Covering Simplices by Dilations in Dimensions 3 and 4
| N/A | Paper |
