1.
Compositional Reasoning in Intuitionistic Linear-Time μ-Calculus
直觉线性μ-演算中的合成推理(英文)
2.
Some Results on Games for Bisimulation and Modal μ-calculus;
博弈理论在互模拟和模态μ-演算上的一些应用
3.
A Model Checking Algorithm for Predicate Mu Calculus and Spatial Logic
基于谓词μ演算和空间逻辑的模型检测算法研究
4.
Composition Operators on μ-Bergman Spaces in the Unit Ball
单位球上μ-Bergman之间的复合算子
5.
The Boundedness of Toeplita-Type Operator θ_α~b on L~(p,λ)(μ) Space
Toeplitz型算子θ_α~b在空间L~(p,λ)(μ)上的有界性
6.
Single-gene-mutation-based evolution strategies(μ+λ+κ)-ES
基于单基因变异算子的进化策略(μ+λ+κ)-ES
7.
Weighted Composition Operators Between μ-Bloch Spaces on the Unit Ball of C~n
C~n中单位球上μ-Bloch空间之间的加权复合算子
8.
Analytically Calculate the Cross Section of e～+e～-→μ～+μ～- by Mixed Loop-Chain Propagator in Electroweak Unification Standard Model;
电弱统一标准模型中混合圈链图传播下e～+e～-→μ～+μ～-反应截面的解析计算
9.
A Grade-Adjusting Method of Parameters of Fractional-Order PI~λD~μ Controller Based on Genetic Algorithm
基于遗传算法的分数阶PI~λD~μ控制器参数分级整定
10.
Determination of J/Ψ Total Number via J/Ψ→μ~+μ~-at BESⅢ
通过J/Ψ→μ~+μ~-确定BESⅢ上J/Ψ总数
11.
Mikusinski's operational calculus
米库辛斯基算子演算
12.
cosmic-ray muon spectrometer
宇宙射线μ介子能谱仪
13.
ω~T-Noetherian Rings and μ-Noetherian Rings
ω~T-Noether环与μ-Noether环
14.
L-fuzzy lattice and(λ,μ)-fuzzy convex sublattice
L-fuzzy格及(λ,μ)-fuzzy凸子格
15.
A Haar Basis of L~2(C,μ)
L~2(C,μ)中的一组Haar基
16.
μ Analysis and DFP Optimization Method of μ Synthesis for Flight Control System
飞控系统的μ分析与μ综合的变尺度优化方法
17.
J/ψ Total Number Determination and J/ψ→μ~+μ~- Branching Ratio Measurement at BESIII
BESIII上J/ψ总数的确定和J/ψ→μ~+μ~-分支比的测量
18.
deductive operation on structured object
结构化事物的演绎运算