Most commonly used clustering algorithms are those aimed at solving the well-known k-median problem. Their main advantage is that they are simple to implement and use, and they are flexible in choosing dissimilarity m...
详细信息
This paper addresses the nonconvex optimization problem with the cost function and constraints given by d.c. functions. The original problem is reduced to a problem without inequality and equality constraints by means...
详细信息
In recent years, research in Dew computing as a new layer in the vertical hierarchy of scalable computing has been developing. Directions for the development of this technology include research into the possibilities ...
详细信息
This paper addresses the bilevel programming problems (BPPs) with the quadratic objective functions at the upper and the lower levels. The new solution method for such BPPs is developed. The main feature of the approa...
详细信息
In the context of the problem of checking the equivalence of Boolean circuits (LEC), we propose an approach that increases the efficiency of modern SAT solvers on this problem by generating additional constraints of a...
详细信息
The paper addresses the relevant problem related to the development of scientific applications (applied software packages) to solve large-scale problems in heterogeneous distributed computing environments that can inc...
详细信息
New details of the implementation of the data representation and editing component of the knowledge-based systems development platform is proposed in the paper. The two modes of considered component is described. The ...
详细信息
We consider a sequence of superposition operators (Nemytskii operators) from the space of square-integrable functions on a line segment to a separable Hilbert space. Each term of the sequenc...
We consider a sequence of superposition operators (Nemytskii operators) from the space of square-integrable functions on a line segment to a separable Hilbert space. Each term of the sequence is generated by a time-dependent family of maximal monotone operators in the Hilbert space. Under sufficiently general assumptions we show that every superposition operator is maximal monotone and study the $ G $ -convergence of the respective sequence of Nemytskii operators. The results can be used to study the parametric dependence of solutions to evolutionary inclusions with time-dependent maximal monotone operators.
In this article, in the context of the Boolean satisfiability problem (SAT), the question of speeding up the SAT solvers on specific input formulas is considered. The speedup is achieved using the CNF preprocessing al...
详细信息
Various compression algorithms use linear transforms to represent data vectors in different coordinate systems, where they can be compressed better. The matrices usually have oat coe cients, and the data vectors are i...
详细信息
暂无评论