A necessary and sufficient condition for uniqueness consistency in the stable marriage matching problem
The paper develops a new extension of the sequential preference condition, which leads to unique stable matching in all subpopulations, obtained by consistent restrictions of the marriage matching problem. Under the new condition, the Gale–Shapley algorithm is stable, consistent, strategy-proof, Pareto optimal for men, and Pareto optimal for women.
Models enabling to assess stability of solutions connected with the choice of the optimal production plan are presented in the article. The optimal production plan ensures the maximum profit for the company under input restraints. At the same time in the standard model supplementary variable is added which reflects inflation rate in the economy. Within the framework of current task this variable reflects external environment change. While developing models stability intervals for , production plans were defined, such as threshold levels of inflation, when the shift from one production plan to another takes place.
A scalable method for mining graph patterns stable under subsampling is proposed. The existing subsample stability and robustness measures are not antimonotonic according to definitions known so far. We study a broader notion of antimonotonicity for graph patterns, so that measures of subsample stability become antimonotonic. Then we propose gSOFIA for mining the most subsample-stable graph patterns. The experiments on numerous graph datasets show that gSOFIA is very efficient for discovering subsample-stable graph patterns.
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.
The object of study of this paper is a regional economic system which is complex, dynamic and developable by nature. The reproduction of material wealth necessary for the region is provided in the process of functioning of the above system through the interaction between the combinations of subjective (personal) and objective (material) elements, thereby meeting regional environmental and economic needs.
Inconsistency of business processes can affect company profits and lead to the loss of regular customers and reputation in the market. Well managed business process has one key distinctive feature – a consistency. Checking the consistency of business process helps to reveal hidden bugs in the process model, but requires considerable labor costs and analytics. We compared two approaches to verifying consistency. The first approach is based on generating object life cycles for each object type used in process and supported by special tool as an extension for IBM WebSphere Business Modeler. Another one is a proposition to use DEMO methodology for verifying consistency. The results of research show that DEMO methodology enables significantly reduce labor costs and improve quality of analyze
Smoking is a problem, bringing signifi cant social and economic costs to Russiansociety. However, ratifi cation of the World health organization Framework conventionon tobacco control makes it possible to improve Russian legislation accordingto the international standards. So, I describe some measures that should be taken bythe Russian authorities in the nearest future, and I examine their effi ciency. By studyingthe international evidence I analyze the impact of the smoke-free areas, advertisementand sponsorship bans, tax increases, etc. on the prevalence of smoking, cigaretteconsumption and some other indicators. I also investigate the obstacles confrontingthe Russian authorities when they introduce new policy measures and the public attitudetowards these measures. I conclude that there is a number of easy-to-implementanti-smoking activities that need no fi nancial resources but only a political will.
One of the most important indicators of company's success is the increase of its value. The article investigates traditional methods of company's value assessment and the evidence that the application of these methods is incorrect in the new stage of economy. So it is necessary to create a new method of valuation based on the new main sources of company's success that is its intellectual capital.