This work discusses a possibility to assess the probability of company default using system dynamic model. This approach is based on Monte Carlo Simulation with various inputs for a system dynamic model. The results are compared with the estimations of rating agencies.
The CD contains 3 educational plays recorded by professional actores and teachers for the ELT Theatre performances, and teaching materials offering recommendations, comments and a bief overview of the key intercultural issues highlighted in the plays. They are intended for both classroom and extracurriculum activities and target students (Intermediate level) who aim to raise their cross-cultural competence and master effective communication with English speaking partners.
The twenty-seven volume of the series "International Migration of Population: Russia and Contemporary World" is a collection of papers submitted to the Session 06-03 "The effects of migration on areas of destination" of the XXVII IUSSP International Population Conference *26031 August 2013, South Korea, Busan). The session deals with major international migration trends, increasing role of international migration in the demographic development of receiving countries.
The authors are responsible for the reliability of data and other materials used. The series is both of scientific and educational character and can be accordingly used in teaching process.
This work focuses on the development of system dynamic credit risk model of the company “Bashneft”, which is a major representative of oil refining and oil producing industries.
The author intends to explore possibility of using system dynamics to build models describing production process and financial condition for a company which deals with petroleum refining industry sector. Special attention is paid to how the behavior of such macroeconomic factors as oil prices and oil products prices (on global and Russian markets), US dollar rate, MosPrime rate (this is the National Foreign Exchange Association (NFEA) fixing of reference rate based on the offer rates of Russian Ruble deposits as quoted by Contributor Banks) and tax system (mineral extraction tax, export duties, petroleum products domestic excise tax) influence on the company.
Several books, more than one hundred articles, several documentaries, etc. have already been published about the pioneer of cybernetics and information technology, Anatoly Ivanovich Kitov. However, most of these publications are of an overview-fragmented nature and a number of dramatic episodes of his biography are touched on in them very superficially. There are as yet no publications that show the true scale and scope of the work done by this outstanding scientist. This book is intended to fully present to the general public the activities of one of the brightest representatives of the first generation of scientists who created Soviet and Russian cybernetics, computer technology and computer science. In such fullness the materials about A.I. Kitov are collected for the first time. This will help interested readers to get an idea not only about this outstanding scientist and extraordinary person, but also about the time in which he lived and worked.
This textbook is devoted to formal methods for program verification and is based on the lectures given by the author at CMC MSU, DCAM MIPT, and FCS HSE. It describes the basics of such approaches as deductive analysis and model checking. The list of topics includes formal semantics of programming languages (operational and axiomatic semantics), formal specification of requirements (software contracts and the linear-time temporal logic), methods for proving program correctness (the method of inductive assertions and the method of well-founded sets), and model checking methods (the automata-theoretic approach in the explicit and symbolic forms). The textbook also addresses issues of abstract interpretation, constraint solving, and model-based testing; it provides information on the Frama-C and Spin tools. Each chapter is accompanied by examples and exercises.
The collection contains scientific articles of the international scientific-practical conference "State Administration and Public Service: Yesterday, Today, Tomorrow in the Context of E-Government and the Digital Economy", held at the Higher School of Public Administration (HSAA) of MV Lomonosov Moscow State University in the framework of the XIV NAUKA Science Festival 0+ (October 11-13, 2019). The materials of the collection reflect the results of research conducted by undergraduates of the first and second courses of the Higher School of Public Administration. This scientific publication will be useful to undergraduate students, undergraduates, researchers, and everyone interested in the current state and development trends of the theory of public service, public administration and management, as well as their practice in modern conditions of digitalization of public life.
The book «Population development and population policy» (series «Population studies») is dedicated to the famous Russian demographer, Dr. Sc. (Economics), MSU emeritus professor A.Y. Kvasha. The authors are colleagues and students of A.Y. Kvasha. The first part includes biography of A.Y. Kvasha, list of his main scientific papers and PhD theses carried out under his supervision. The second part is devoted to reminiscences of his disciples and colleagues. The third part contains articles – their themes are associated with A.Y. Kvasha: demographic analysis and projections, population policy, economic, social and military demography. For researchers, post-doctoral fellows, students and anyone interested in population problems