| Publication | Date of Publication | Type |
|---|
A new efficient method for two classes of singular convolution integral equations of non-normal type with Cauchy kernel
Journal of Applied Analysis and Computation | 2024-09-06 | Paper |
Adaptive neural dynamic surface control for nonstrict feedback systems with state delays
International Journal of Robust and Nonlinear Control | 2024-08-21 | Paper |
Solving convolution singular integral equations with reflection and translation shifts utilizing Riemann-Hilbert approach
Journal of Applied Analysis and Computation | 2024-07-24 | Paper |
| Proof Guidance in PVS with Sequential Pattern Mining | 2024-03-14 | Paper |
| Using PVS for Modeling and Verification of Probabilistic Connectors | 2024-03-14 | Paper |
Weighted automata extraction and explanation of recurrent neural networks for natural language tasks
Journal of Logical and Algebraic Methods in Programming | 2024-02-12 | Paper |
Robust dynamic output feedback stabilization for uncertain singular Markovian jump systems with time‐varying delays
International Journal of Robust and Nonlinear Control | 2023-12-02 | Paper |
Closed-form solutions for several classes of singular integral equations with convolution and Cauchy operator
Complex Variables and Elliptic Equations | 2023-10-31 | Paper |
Cubic spline interpolation with optimal end conditions
Journal of Computational and Applied Mathematics | 2023-06-22 | Paper |
Stochastic admissibility and \(H_\infty\) output feedback control for singular Markov jump systems under dynamic measurement output event-triggered strategy
Chaos, Solitons and Fractals | 2023-01-26 | Paper |
Capturing stochastic and real-time behavior in Reo connectors
Lecture Notes in Computer Science | 2022-11-04 | Paper |
Probabilistic mediator: a coalgebraic perspective
Journal of Logical and Algebraic Methods in Programming | 2022-09-30 | Paper |
An Enhanced Spatial Smoothing Technique With ESPRIT Algorithm for Direction of Arrival Estimation in Coherent Scenarios
IEEE Transactions on Signal Processing | 2022-09-23 | Paper |
Using Coq for formal modeling and verification of timed connectors
Software Engineering and Formal Methods | 2021-05-26 | Paper |
Toward Information Privacy for the Internet of Things: A Nonparametric Learning Approach
IEEE Transactions on Signal Processing | 2019-02-12 | Paper |
| A relational model for probabilistic connectors based on timed data distribution streams | 2018-12-06 | Paper |
| Weakly disk-busting curves in the boundary of a compression body | 2018-10-22 | Paper |
| The mod 2 Kauffman bracket skein module of thickened torus | 2018-10-22 | Paper |
| Reduced polynomial of framed links in thickened torus | 2018-10-22 | Paper |
Large Scale Graph Regularized Non-Negative Matrix Factorization With ${\cal \ell}_1$ Normalization Based on Kullback–Leibler Divergence
IEEE Transactions on Signal Processing | 2018-07-18 | Paper |
Existence results for a kind of fourth-order impulsive integral boundary value problems
Boundary Value Problems | 2016-05-03 | Paper |
Kerr black string flow
Nuclear Physics B | 2016-01-22 | Paper |
| Biasness of contrastive divergence in deep learning | 2016-01-15 | Paper |
Synthesis of Reo circuits from scenario-based specifications
Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
An accelerated divide-and-conquer algorithm for the bidiagonal SVD problem
SIAM Journal on Matrix Analysis and Applications | 2014-12-17 | Paper |
Services and Contracts: Coalgebraically
Electronic Notes in Theoretical Computer Science | 2014-05-13 | Paper |
Pre-Galois connection on coalgebras for generic component refinement
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
A multi-scale image reconstruction algorithm for electrical capacitance tomography
Applied Mathematical Modelling | 2011-08-28 | Paper |
Hypothesis testing for homogenous of nodes in $\beta$-models
(available as arXiv preprint) | N/A | Paper |
