Meng Sun

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
A new efficient method for two classes of singular convolution integral equations of non-normal type with Cauchy kernel	2024-09-06	Paper
Adaptive neural dynamic surface control for nonstrict feedback systems with state delays	2024-08-21	Paper
Solving convolution singular integral equations with reflection and translation shifts utilizing Riemann-Hilbert approach	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	2024-02-12	Paper
Robust dynamic output feedback stabilization for uncertain singular Markovian jump systems with time‐varying delays	2023-12-02	Paper
Closed-form solutions for several classes of singular integral equations with convolution and Cauchy operator	2023-10-31	Paper
Cubic spline interpolation with optimal end conditions	2023-06-22	Paper
Stochastic admissibility and $H_\infty$ output feedback control for singular Markov jump systems under dynamic measurement output event-triggered strategy	2023-01-26	Paper
Capturing Stochastic and Real-Time Behavior in Reo Connectors	2022-11-04	Paper
Probabilistic mediator: a coalgebraic perspective	2022-09-30	Paper
An Enhanced Spatial Smoothing Technique With ESPRIT Algorithm for Direction of Arrival Estimation in Coherent Scenarios	2022-09-23	Paper
Using Coq for Formal Modeling and Verification of Timed Connectors	2021-05-26	Paper
Toward Information Privacy for the Internet of Things: A Nonparametric Learning Approach	2019-02-12	Paper
A relational model for probabilistic connectors based on timed data distribution streams	2018-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q4687919	2018-10-22	Paper
https://portal.mardi4nfdi.de/entity/Q4687910	2018-10-22	Paper
https://portal.mardi4nfdi.de/entity/Q4688447	2018-10-22	Paper
Large Scale Graph Regularized Non-Negative Matrix Factorization With ${\cal \ell}_1$ Normalization Based on Kullback–Leibler Divergence	2018-07-18	Paper
Existence results for a kind of fourth-order impulsive integral boundary value problems	2016-05-03	Paper
Kerr black string flow	2016-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q3462946	2016-01-15	Paper
Synthesis of Reo Circuits from Scenario-based Specifications	2015-03-19	Paper
An Accelerated Divide-and-Conquer Algorithm for the Bidiagonal SVD Problem	2014-12-17	Paper
Services and Contracts: Coalgebraically	2014-05-13	Paper
Pre-Galois connection on coalgebras for generic component refinement	2014-01-24	Paper
A multi-scale image reconstruction algorithm for electrical capacitance tomography	2011-08-28	Paper
Hypothesis testing for homogenous of nodes in $\beta$-models	N/A	Paper

Research outcomes over time

This page was built for person: Meng Sun