Elections àla russe: formal establishment of rules and informal methods
This collection of articles is presented to the reader in the framework of systems studies of elections as a class of service systems vital for democratic societies. Fundamentals of engineering systems, including those of systems servicing large customers such as electorates in local and national elections, are developed and studied at the Center for Engineering Systems Fundamentals, a part of the Engineering Systems Division at the Massachusetts Institute of Technology.
We address the external effects on public sector efficiency measures acquired using Data Envelopment Analysis. We use the health care system in Russian regions in 2011 to evaluate modern approaches to accounting for external effects. We propose a promising method of correcting DEA efficiency measures. Despite the multiple advantages DEA offers, the usage of this approach carries with it a number of methodological difficulties. Accounting for multiple factors of efficiency calls for more complex methods, among which the most promising are DMU clustering and calculating local production possibility frontiers. Using regression models for estimate correction requires further study due to possible systematic errors during estimation. A mixture of data correction and DMU clustering together with multi-stage DEA seems most promising at the moment. Analyzing several stages of transforming society’s resources into social welfare will allow for picking out the weak points in a state agency’s work.
Workshop on Program Semantics, Specification and Verification: Theory and Applications is the leading event in Russia in the field of applying of the formal methods to software analysis. Proceedings of the fourth workshop are dedicated to formalisms for program semantics, formal models and verication, programming and specification languages, etc.
This book constitutes the proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2014, held in Tunis, Tunisia, in June 2014. The 15 regular papers and 4 tool papers presented in this volume were carefully reviewed and selected from 48 submissions. In addition the book contains 3 invited talks in full paper length. The papers cover various topics in the field of Petri nets and related models of concurrency.
Previous empirical research has developed stochastic electoral models for Israel, Turkey, and other polities. The work suggests that convergence to an electoral center (often predicted by electoral models) is a nongeneric phenomenon. In an attempt to explain nonconvergence, a formal model based on intrinsic valence is presented. This theory showed that there are necessary and sufficient conditions for convergence. The necessary condition is that a convergence coefficient c is bounded above by the dimension w of the policy space, while a sufficient condition is that the coefficient is bounded above by 1. This coefficient is defined in terms of the difference in exogenous valences, the “spatial coefficient”, and the electoral variance. The theoretical model is then applied to empirical analyses of elections in the United States and Britain. These empirical models include sociodemographic valence and electoral perceptions of character trait. It is shown that the model implies convergence to positions close to the electoral origin. To explain party divergence, the model is then extended to incorporate activist valences. This extension gives a first-order balance condition that allows the party to calculate the optimal marginal condition to maximize vote share. We argue that the equilibrium positions of presidential candidates in US elections and by party leaders in British elections are principally due to the influence of activists, rather than the centripetal effect of the electorate.
In this paper we consider the nature of local Nash equilibrium (LNE) for a model
of the 2007 Duma election in Russia, using estimates of valence obtained from sociodemographic
We then extend this sociodemographic valence model by including institutional valences,
the approval by voters of the various institutions, including the President, the PrimeMinister,
the State Duma and the Federation Council.We show by simulation that the vote maximizing
LNE of this general stochastic model were not at the electoral origin. The dominant feature
of the election was the influence of approval or disapproval of President Putin on each voter’s