This book discusses control units represented by the model of a finite state machine (FSM). It contains various original methods and takes into account the peculiarities of field-programmable gate arr
Most of the world's maritime boundary disputes involve privately held rights - relating to such matters as fishing, petroleum exploration and scientific research - that states have unilaterally granted to non-state actors in areas of overlapping national claims. An international lawyer would typically investigate the legality of a state's decision to create such rights without notifying or consulting its neighbour, and the legal consequences this action would have for the interests of the states concerned. Departing from this approach, Dr Marianthi Pappa examines such situations from the perspective of the non-state actors: what will happen to private rights in a disputed maritime area if it changes hands from state A to state B due to a subsequent delimitation treaty or judgment? Does the legal framework of maritime delimitation protect those rights effectively against a potential reallocation? To address these questions, the book considers the place that private rights have in land b
This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. Part I presents the basics of discrete transition systems, including constructions and behavioural equivalences. Part II examines the most important temporal logics for transition systems and Part III looks at their expressiveness and complexity. Finally, Part IV describes the main computational methods and decision procedures for model checking and model building - based on tableaux, automata and games - and discusses their relationships. The book contains a wealth of examples and exercises, as well as an extensive annotated bibliography. Thus, the book is not only a solid professional reference for researchers in the field but also a comprehensive graduate textbook that can be used for self-study as well as for teaching courses.
Bargaining between states in the international system is governed by rules which shape and constrain their bargaining behavior. However, these rules can be changed. When, why, and how do states bargain differently? Drawing on original qualitative and quantitative evidence, this book demonstrates how the rules of the game influence the cooperative or coercive nature of the strategies adopted by all states in a negotiation. These effects influence each state's incentives regarding whether to play by the rules or to change them. Examining these incentives, as well as the conditions under which states can act on them, McKibben explains the wide variation in states' bargaining strategies. Several bargaining interactions are analyzed, including decision-making in the European Union, multilateral trade negotiations, climate change negotiations, and negotiations over the future status of Kosovo. This book provides a rich understanding of the nuances of states' behavior in international bargain
Over the past few decades, the European Court of Human Rights has been increasingly engaged in constitutional decision-making. In this time, the Court has decided whether abortion, assisted suicide, a
Getting all of your information and collaborators from your department's faculty lounge may be a career-limiting decision. Amey and Brown, both of Michigan State University, give a step-by-step plan f
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the
This carefully edited book presents an up-to-date state of current research in the use of fuzzy sets and their extensions. It pays particular attention to foundation issues and to their application to
Dublin Corporation was dissolved by the Free State Government on 20 May 1924, following an inquiry in the Mansion House. According to one prominent historian, the decision to dissolve Dublin Corporati
In this study, Caroline Henckels examines how investment tribunals have balanced the competing interests of host states and foreign investors in determining state liability in disputes concerning the exercise of public power. Analyzing the concepts of proportionality and deference in investment tribunals' decision-making in comparative perspective, the book proposes a new methodology for investment tribunals to adopt in regulatory disputes, which combines proportionality analysis with an institutionally sensitive approach to the standard of review. Henckels argues that adopting a modified form of proportionality analysis would provide a means for tribunals to decide cases in a more consistent and coherent manner leading to greater certainty for both states and investors, and that affording due deference to host states in the determination of liability would address the concern that the decisions of investment tribunals unjustifiably impact on the regulatory autonomy of states.
This book presents a political understanding of socio-economic rights by contextualising constitution-makers' and judges' decision-making in terms of Ireland's rich history of people's struggles for justice 'from below' between 1848 and the present. Its theoretical framework incorporates critical legal studies and world-systems analysis. It performs a critical discourse analysis of constitution-making processes in 1922 and 1937 as well as subsequent property, trade union, family and welfare rights case law. It traces the marginalisation of socio-economic rights in Ireland from specific, local and institutional factors to the contested balance of core-peripheral and social relations in the world-system. The book demonstrates the endurance of ideological understandings of state constitutionalism as inherently neutral between interests. Unemployed marches, housing protestors and striking workers, however, provided important challenges and oppositional discourses. Recognising these endurin
This book, first published in 1999, offers a general explanation for the occurrence of the phenomenon of secessionist activity, arising from a comparative study of numerous historical examples of secession and separatist conflict. The book develops a comprehensive framework, specifying the elements necessary for a secession crisis, and discussing the moral issues underpinning such a decision. The author examines the political, economic and social costs and benefits of a community's two alternatives - continued integration in the existing state and secession - which enter into decision-making processes, and argues that secessionist activity arises only when government action or international developments change a community's view of the balance among these costs and benefits. Her conclusion is that a community's aspirations for independence change with circumstances, and that in some instances, sensitive government policy can substantially mitigate secessionist sentiment, while, in othe
This book, first published in 1999, offers a general explanation for the occurrence of the phenomenon of secessionist activity, arising from a comparative study of numerous historical examples of secession and separatist conflict. The book develops a comprehensive framework, specifying the elements necessary for a secession crisis, and discussing the moral issues underpinning such a decision. The author examines the political, economic and social costs and benefits of a community's two alternatives - continued integration in the existing state and secession - which enter into decision-making processes, and argues that secessionist activity arises only when government action or international developments change a community's view of the balance among these costs and benefits. Her conclusion is that a community's aspirations for independence change with circumstances, and that in some instances, sensitive government policy can substantially mitigate secessionist sentiment, while, in othe
2015 marks the 50th anniversary of the passage of the Immigration and Nationality Act (INA) of 1965—a landmark decision that made the United State the diverse nation it is today.The Law that Changed t
This book considers the political and constitutional consequences of Vieth v. Jubelirer (2004), where the Supreme Court held that partisan gerrymandering challenges could no longer be adjudicated by the courts. Through a rigorous scientific analysis of US House district maps, the authors argue that partisan bias increased dramatically in the 2010 redistricting round after the Vieth decision, both at the national and state level. From a constitutional perspective, unrestrained partisan gerrymandering poses a critical threat to a central pillar of American democracy, popular sovereignty. State legislatures now effectively determine the political composition of the US House. The book answers the Court's challenge to find a new standard for gerrymandering that is both constitutionally grounded and legally manageable. It argues that the scientifically rigorous partisan symmetry measure is an appropriate legal standard for partisan gerrymandering, as it logically implies the constitutional r
This book considers the political and constitutional consequences of Vieth v. Jubelirer (2004), where the Supreme Court held that partisan gerrymandering challenges could no longer be adjudicated by the courts. Through a rigorous scientific analysis of US House district maps, the authors argue that partisan bias increased dramatically in the 2010 redistricting round after the Vieth decision, both at the national and state level. From a constitutional perspective, unrestrained partisan gerrymandering poses a critical threat to a central pillar of American democracy, popular sovereignty. State legislatures now effectively determine the political composition of the US House. The book answers the Court's challenge to find a new standard for gerrymandering that is both constitutionally grounded and legally manageable. It argues that the scientifically rigorous partisan symmetry measure is an appropriate legal standard for partisan gerrymandering, as it logically implies the constitutional r
Ireland's economy has seen phenomenal growth since the 1990s, as a result of an earlier decision by the state to chase foreign investment, largely from US corporates. As a result, manufacturers of raw
An intimate, deeply reported account of the women who made a shocking decision: to leave their comfortable lives behind and join the Islamic State.In early 2014, the Islamic State clinched its control