Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами
The textbook contains necessary information about universal and classical algebras, systems of axioms for the basic algebraic structures (groupoid, monoid, semi-groups, groups, partial orders, rings, fields). The basic cryptographic algorithms are described. Error-correcting codes - linear, cyclic, BCH are considered. Algorithms for designing of such codes are given. Many examples are shown. It is put in a basis of the book long-term experience of teaching by authors the discipline «Discrete mathematics» at the business informatics faculty, at the computer science faculty of National research university Higher school of economics, and at the automatics and computer technique faculty of National research university Moscow power engineering institute. The book is intended for the students of a bachelor degree, trained at the computer science faculties in the directions 09.03.01 Informatics and computational technique, 09.03.02 Informational systems and technologies, 09.03.03 Applied informatics, 09.03.04 Software Engineering, and also for IT experts and developers of software products.
The main goal of the article is to reveal the role of mutual recognition principle in the realization of freedom to provide services and to appraise the effectiveness of its application. The author stresses the polysemantic feature of analyzed principle in the light of different doctrinal approaches to its substance. On the basis of the analysis of secondary EU law, EU case-law and diverse doctrinal views the author defines the content of mutual recognition principle. The article contains a comparative analysis of goods and services as objects of cross-border economic relations and on the basis of this research the author determines peculiarities of the application of mutual recognition principle in services sector. The study examines the application of mutual recognition principle and the author formulates factors restricting its realization. A particular attention is paid to the analysis of EU legislation concerning the recognition of professional qualifications.
This proceedings publication is a compilation of selected contributions from the “Third International Conference on the Dynamics of Information Systems” which took place at the University of Florida, Gainesville, February 16–18, 2011. The purpose of this conference was to bring together scientists and engineers from industry, government, and academia in order to exchange new discoveries and results in a broad range of topics relevant to the theory and practice of dynamics of information systems. Dynamics of Information Systems: Mathematical Foundation presents state-of-the art research and is intended for graduate students and researchers interested in some of the most recent discoveries in information theory and dynamical systems. Scientists in other disciplines may also benefit from the applications of new developments to their own area of study.
A form for an unbiased estimate of the coefficient of determination of a linear regression model is obtained. It is calculated by using a sample from a multivariate normal distribution. This estimate is proposed as an alternative criterion for a choice of regression factors.