1,175 research outputs found

    Colleagues or adversaries: Ministerial coordination across party lines

    Get PDF
    In multiparty governments, policymaking is a collaborative effort among the different incumbent parties. Often hidden by public debates about broader government policy, the necessary coordination routinely happens at the ministerial level, where ministries of different parties jointly devise viable and equitable policy solutions. However, since coordination involves substantial transaction costs, governments must carefully gauge the potential benefits. We study the political rationales that motivate governments to make this investment. We argue that coordination during the process of ministerial policy design hinges on both a conducive ministerial structure and sufficient authority. Once these conditions are met, cross‐party coordination is more likely in policy areas where the implementation of government policy cannot be taken for granted. We investigate these claims, drawing on two new datasets. The first contains information about ministerial collaborations on all legislative projects sponsored by German governments, while the second maps the distribution of policy responsibilities among German ministries from 1976 until 2013, based on data about the policy briefs of all individual working units within the top‐level federal executive. Given that ministries imprint their own perspective on legislation, our results are beyond administrative pedantries, but have substantial implications for the type and content of policies coalition governments formulate

    Assume–Guarantee Distributed Synthesis

    Get PDF

    A Direct Symbolic Algorithm for Solving Stochastic Rabin Games

    Get PDF

    Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness

    Get PDF
    We consider fixpoint algorithms for two-player games on graphs with ω\omega-regular winning conditions, where the environment is constrained by a strong transition fairness assumption. Strong transition fairness is a widely occurring special case of strong fairness, which requires that any execution is strongly fair with respect to a specified set of live edges: whenever the source vertex of a live edge is visited infinitely often along a play, the edge itself is traversed infinitely often along the play as well. We show that, surprisingly, strong transition fairness retains the algorithmic characteristics of the fixpoint algorithms for ω\omega-regular games -- the new algorithms can be obtained simply by replacing certain occurrences of the controllable predecessor by a new almost sure predecessor operator. For Rabin games with kk pairs, the complexity of the new algorithm is O(nk+2k!)O(n^{k+2}k!) symbolic steps, which is independent of the number of live edges in the strong transition fairness assumption. Further, we show that GR(1) specifications with strong transition fairness assumptions can be solved with a 3-nested fixpoint algorithm, same as the usual algorithm. In contrast, strong fairness necessarily requires increasing the alternation depth depending on the number of fairness assumptions. We get symbolic algorithms for (generalized) Rabin, parity and GR(1) objectives under strong transition fairness assumptions as well as a direct symbolic algorithm for qualitative winning in stochastic ω\omega-regular games that runs in O(nk+2k!)O(n^{k+2}k!) symbolic steps, improving the state of the art. Finally, we have implemented a BDD-based synthesis engine based on our algorithm. We show on a set of synthetic and real benchmarks that our algorithm is scalable, parallelizable, and outperforms previous algorithms by orders of magnitude

    Best-Fit Ellipsoids of Atom-Probe Tomographic Data to Study Coalescence of Gamma Prime (L1_2) Precipitates in Ni-Al-Cr

    Full text link
    An algorithm is presented to fit precipitates in atom probe tomographic data sets as equivalent ellipsoids. Unlike previous techniques, which measure only the radius of gyration, these ellipsoids retain the moments of inertia and principle axes of the original precipitate, preserving crystallographic orientational information. The algorithm is applied to study interconnected gamma prime precipitates (L1_2) in the Gamma-matrix (FCC) of a Ni-Al-Cr alloy. The precipitates are found to coagulate along -type directions.Comment: Accepted for publication in Scripta Materialia, added information about local magnification effect

    The role of individual and social variables in task performance.

    Get PDF
    This paper reports on a data-based study in which we explored - as part of a larger-scale British-Hungarian research project - the effects of a number of affective and social variables on foreign language (L2) learners’ engagement in oral argumentative tasks. The assumption underlying the investigation was that students’ verbal behaviour in oral task situations is partly determined by a number of non-linguistic and non-cognitive factors whose examination may constitute a potentially fruitful extension of existing task-based research paradigms. The independent variables in the study included various aspects of L2 motivation and several factors characterizing the learner groups the participating students were members of (such as group cohesiveness and intermember relations), as well as the learners’ L2 proficiency and ‘willingness to communicate’ in their L1. The dependent variables involved objective measures of the students’ language output in two oral argumentative tasks (one in the learners’ L1, the other in their L2): the quantity of speech and the number of turns produced by the speakers. The results provide insights into the interrelationship of the multiple variables determining the learners’ task engagement, and suggest a multi-level construct whereby some independent variables only come into force when certain conditions have been met

    Gender and educational leadership in England: a comparison of secondary headteachers' views over time

    Get PDF
    In the context of gender being a barrier to accessing leadership, this paper presents a comparison of the views of men and women head teacher (principals) of secondary schools in England in the 1990s and in 2004. The same survey instrument was used on both occasions. The perceptions of the head teachers show change in some areas and no change in others. Overall, women are more likely to become head teachers and are now less likely to be categorised into pastoral roles, but in some cases women still meet prejudice from governors and others in the wider community. Women head teachers are more likely to have partners and children than in the 1990s, sharing equally or carrying most of the domestic responsibilities, whereas male colleagues are most likely to have partners who take the majority of responsibility in the home. Essentialist stereotypes about women and men as leaders still prevail, although both the women and men head teachers see themselves as adopting a traditionally ‘feminine’ style of leadership. Women head teachers are likely to see some benefits in being a woman in a role stereotypically associated with men. However, there has been an increase in the proportion of women who feel that they have to prove their worth as a leader, and this may be linked with increased levels of accountability in schools
    • 

    corecore