منابع مشابه
Block SOS Decomposition
Awidely usedmethod for determiningwhether amultivariate polynomial is a sum of squares of polynomials (SOS), called SOS decomposition, is to decide the feasibility of corresponding semi-definite programming (SDP) problem which can be efficiently solved in theory. In practice, although existing SDP solvers can work out some problems of big scale, the efficiency and reliability of such method dec...
متن کاملSOS-based Modal Decomposition on Nondeterministic Probabilistic Processes
Abstract. We propose a method for the decomposition of modal formulae on processes with nondeterminism and probability with respect to Structural Operational Semantics. The purpose is to reduce the satisfaction problem of a formula for a process to verifying whether its subprocesses satisfy certain formulae obtained from the decomposition. To deal with the probabilistic behavior of processes, a...
متن کاملBlock Decomposition of Inheritance Hierarchies
Inheritance hierarchies play a central role in object oriented languages as in knowledge representation systems. These hierarchies are acyclic directed graphs representing the underline structure of objects. This paper is devoted to the study of eecient algorithms to decompose recursively an inheritance hierarchy into independent subgraphs which are inheritance hierarchies themselves. This proc...
متن کاملCoupled rank-(Lm, Ln, •) block term decomposition by coupled block simultaneous generalized Schur decomposition
Coupled decompositions of multiple tensors are fundamental tools for multi-set data fusion. In this paper, we introduce a coupled version of the rank-(Lm, Ln, ·) block term decomposition (BTD), applicable to joint independent subspace analysis. We propose two algorithms for its computation based on a coupled block simultaneous generalized Schur decomposition scheme. Numerical results are given ...
متن کاملBlock-Decoupling Multivariate Polynomials Using the Tensor Block-Term Decomposition
We present a tensor-based method to decompose a given set of multivariate functions into linear combinations of a set of multivariate functions of linear forms of the input variables. The method proceeds by forming a three-way array (tensor) by stacking Jacobian matrix evaluations of the function behind each other. It is shown that a blockterm decomposition of this tensor provides the necessary...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SCIENTIA SINICA Mathematica
سال: 2020
ISSN: 1674-7216
DOI: 10.1360/ssm-2019-0333