Meng Sun

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
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/Q4687910	2018-10-22	Paper
https://portal.mardi4nfdi.de/entity/Q4687919	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	0001-01-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Meng Sun