Proceedings of the 2nd International Conference "Computer Algebra"
Groenber basis computation of a polynomial ideal is an important problem of computer algebra. At the same time it is computationally difficult. For its solution various algorithms were proposed. Most of them use different heurestics. In this paper we examine the applicability of machine learning for the optimization of one of the algorithms, namely F4 algorithm. A range of different experiments were also performed which showed the efficiency of the usage of one of the machine learning methods, known as support vector machine, for the F4 algorithm.
The article is dedicated to the problem of information systems implementation with use of complex model. It is suggested a modeling approach based on the concept of artificially-natural system. The article uses data collected by the authors in 20-years of consulting practice, as well as the results of research carried out at the Educational and scientific center for Information management technology, HSE.
The main focus of this paper is the analysis of problems in the field of legislative regulation of the international abduction of children in Russia as well as of the perspectives and obstacles of the implementation of the Convention on the Civil Aspects of International Child Abduction. Russia acceded to the Convention one year ago. Author aims to study the progress achieved during this period in the field of setting the mechanisms prescribed by the Convention and in bringing Russian legislation in the conformity with standards stipulated in the Convention.
An initial–boundary value problem for the generalized Schrödinger equation in a semi-infinite strip is solved.
A new family of two level finite-difference schemes with averaging over spatial variables on a finite mesh is constructed, which covers a set of finite-difference schemes built using various methods. For the family, an abstract approximate transparent boundary condition (TBC) is formulated and the solutions are proved to be absolutely stable in two norms with respect to both initial data and free terms. A discrete TBC is derived, and the stability of the family of schemes with this TBC is proved. The implementation of schemes with the discrete TBC is discussed.
In the collection of published articles and materials of the participants 10 Congress of the International Association of experts on legislative developments. Presented scientific and practical perspectives on modern legislative process, perspectives and methods of its improvement
In the last ten to 40 years, the concept of sustainability has grown in recognition and importance. Sustainable development has been defined as ‘development that meets the needs of the present without com-promising the ability of future generations to meet their own needs. The core of sustainable development concept implies a move towards economic prosperity, environmental protection and social equity. The con-cept of sustainability is based on balance or harmony between the three dimensions: social equity, environ-mental protection and economic prosperity. In the business world these three dimensions are often called ‘people, planet, profit’ or PPP. The PPP concept implies that a company should take its decisions with con-sideration of people – its employees as well as other stakeholders and society – and the planet – that is, the environment – as well as profit. The purpose of this article, an overview of the theoretical and methodologi-cal approaches to the concept of sustainable development and their application in practice in Russian com-panies. In writing this article, as the main method used by the registration method (observation). Today modern companies have to implement the principles of sustainability in their operational activities. Howev-er, the environment and the social perspectives are often less embedded in a company’s strategies and prac-tices. This article provides a comprehensive review of the theoretical approaches to the concept of Sustaina-ble development and represents some examples of SD principles implementation in to the Russian companies business practice.