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.
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 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