Tolerance-based multigranulation rough sets in incomplete systems von ZHANG, Zaiyue, YANG, Xibei

Volltext

The M-computations induced by accessibility relations in nonstandard models M of Hoare logic von CAO, Cungen, SUI, Yuefei, ZHANG, Zaiyue

Volltext

A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic von Zhang, Zaiyue, Sui, Yuefei, Cao, Cungen, Wu, Guohua

Volltext

The Rough Logic and Roughness of Logical Theories von Cao, Cungen, Sui, Yuefei, Zhang, Zaiyue

Volltext

Further study of the fuzzy reasoning based on propositional modal logic von ZAIYUE ZHANG, YUEFEI SUI, CUNGEN CAO

Volltext

Simulation of Unidirectional Ion Ejection in an Asymmetric Half-Round Rod Electrode Linear Ion Trap Mass Analyzer von Wu, HaiYan, Zhang, LiPeng, Zhang, ZaiYue, Qian, Jie, Zhang, ShuGuang, Zhang, YingJun, Ge, SaiJin, Li, XiaoXu

Volltext

Description of Fuzzy First-Order Modal Logic Based on Constant Domain Semantics von Zhang, Zaiyue, Sui, Yuefei, Cao, Cungen

Volltext

Multiplication Operation on Fuzzy Numbers von Gao, Shang, Zhang, Zaiyue, Cao, Cungen

Volltext

Particle Swarm Optimization Algorithm for the Shortest Confidence Interval Problem von Gao, Shang, Zhang, Zaiyue, Cao, Cungen

Volltext

Road Traffic Freight Volume Forecast Using Support Vector Machine Combining Forecasting von Gao, Shang, Zhang, Zaiyue, Cao, Cungen

Volltext

Differentiation and Numerical Integral of the Cubic Spline Interpolation von Gao, Shang, Zhang, Zaiyue, Cao, Cungen

Volltext

On a Generalization of Cubic Spline Interpolation von Gao, Shang, Zhang, Zaiyue, Cao, Cungen

Volltext

Local noncuppability in R/M von Zhang, Zaiyue, Sui, Yuefei

Volltext

Extending the cooper minimal pair theorem von Zhang, Zaiyue

Volltext

Calculating Weights Methods in Complete Matrices and Incomplete Matrices von Gao, Shang, Zhang, Zaiyue, Cao, Cungen

Volltext

A Novel Ant Colony Genetic Hybrid Algorithm von Gao, Shang, Zhang, Zaiyue, Cao, Cungen

Volltext

Multiplicate Particle Swarm Optimization Algorithm von Gao, Shang, Zhang, Zaiyue, Cao, Cungen

Volltext

Rough Mereology in Knowledge Representation von Cao, Cungen, Sui, Yuefei, Zhang, Zaiyue

Volltext

Types, structures and theories in NKI von Zhang, Xiaoru, Zhang, Zaiyue, Sui, Yuefei

Volltext

A Tree Construction of the Preferable Answer Sets for Prioritized Basic Disjunctive Logic Programs von Zhang, Zaiyue, Sui, Yuefei, Cao, Cungen

Volltext