The following pages link to Yuan Feng (Q389707):
Displaying 50 items.
- A matrix approach to associated consistency of the Shapley value for games in generalized characteristic function form (Q389709) (← links)
- Model checking quantum Markov chains (Q394340) (← links)
- Relations between anisotropic Besov spaces and multivariate Bernstein-Durrmeyer operators (Q394611) (← links)
- Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties (Q498408) (← links)
- A nearly optimal upper bound for the self-stabilization time in Herman's algorithm (Q498668) (← links)
- Measuring the constrained reachability in quantum Markov chains (Q824285) (← links)
- Quantum loop programs (Q977174) (← links)
- Universal and original-preserving quantum copying is impossible (Q1348791) (← links)
- Reliable portfolio selection problem in fuzzy environment: an \(m_\lambda\) measure based approach (Q1662706) (← links)
- Probabilistic bisimilarity as testing equivalence (Q1680507) (← links)
- Decomposition of quantum Markov chains and its applications (Q1747488) (← links)
- A proof system for disjoint parallel quantum programs (Q2055965) (← links)
- Formal semantics of a classical-quantum language (Q2123052) (← links)
- Direct and converse results in the \(Ba\) space for Jackson-Matsuoka polynomials on the unit sphere (Q2262879) (← links)
- Triphoton correlations in six-wave mixing (Q2305712) (← links)
- Energy dissipation analysis of elastic-plastic materials (Q2310709) (← links)
- On hybrid models of quantum finite automata (Q2353395) (← links)
- Commutativity of quantum weakest preconditions (Q2380014) (← links)
- Quantum operation, quantum Fourier transform and semi-definite programming (Q2383156) (← links)
- Precisely deciding CSL formulas through approximate model checking for CTMCs (Q2402369) (← links)
- A two-objective fuzzy \(k\)-cardinality assignment problem (Q2432725) (← links)
- A tighter bound for the self-stabilization time in Herman's algorithm (Q2444741) (← links)
- Proof rules for the correctness of quantum programs (Q2455601) (← links)
- Probabilistic bisimulations for quantum processes (Q2461794) (← links)
- A bicriteria solid transportation problem with fixed charge under stochastic environment (Q2471264) (← links)
- (Q2791018) (← links)
- (Q2791682) (← links)
- Reachability Probabilities of Quantum Markov Chains (Q2842118) (← links)
- Reachability Analysis of Recursive Quantum Markov Chains (Q2849927) (← links)
- Open Bisimulation for Quantum Processes (Q2915165) (← links)
- An algebra of quantum processes (Q2946577) (← links)
- Model-Checking Linear-Time Properties of Quantum Systems (Q2946731) (← links)
- On approximation in Ba spaces for Jackson-Matsuoka polynomials on the sphere (Q2957002) (← links)
- Entanglement is Not Necessary for Perfect Discrimination between Unitary Operations (Q3107901) (← links)
- Perturbation Analysis in Verification of Discrete-Time Markov Chains (Q3190120) (← links)
- A Nearly Optimal Upper Bound for the Self-Stabilization Time in Herman’s Algorithm (Q3190128) (← links)
- Qubit Mapping Based on Subgraph Isomorphism and Filtered Depth-Limited Search (Q3390112) (← links)
- (Q3400487) (← links)
- Partial recovery of quantum entanglement (Q3546820) (← links)
- Catalyst-Assisted Probabilistic Entanglement Transformation (Q3546869) (← links)
- (Q3560843) (← links)
- Parameter Estimation of Quantum Channels (Q3604886) (← links)
- (Q4688901) (← links)
- Direct and inverse strong-type inequalities for Jackson-Matsuoka polynomials on the sphere (Q4917170) (← links)
- Asymptotic properties of wavelet estimators in a semiparametric regression model with censored data (Q4925969) (← links)
- An Algebraic Language for Distributed Quantum Computing (Q4974941) (← links)
- Distinguishability of Quantum States by Separable Operations (Q4975774) (← links)
- Characterizing Locally Indistinguishable Orthogonal Product States (Q4975897) (← links)
- (Q4996777) (← links)
- Sparse Single Index Models for Multivariate Responses (Q5066421) (← links)
