Tools for Finding Inconsistencies in Real-world Logic-based Systems

Currently there is extensive theoretical work on inconsistencies in logic-based systems. Recently, algorithms for identifying inconsistent clauses in a single conjunctive formula have demonstrated that practical application of this work is possible. However, these algorithms have not been extended for full knowledge base systems and have not been applied to real-world knowledge. To address these issues, we propose a new algorithm for finding the inconsistencies in a knowledge base using existing algorithms for finding inconsistent clauses in a formula. An implementation of this algorithm is then presented as an automated tool for finding inconsistencies in a knowledge base and measuring the inconsistency of formulae. Finally, we look at a case study of a network security rule set for exploit detection (QRadar) and suggest how these automated tools can be applied.

The Standing Conference on Teacher Education North-South (SCoTENS) Citizenship Website

This site been designed primarily to support students, staff and other professionals involved in Initial Teacher Education North or South. However, it should also be of interest to others within the formal and non-formal education sectors.Those involved with, or interested in, Education for Citizenship.

''We are an island”: Geographical Imagery in Accounts of Citizenship, Civil Society, and National Identity in Scotland and in England

In this article we question recent psychological approaches that equate the constructs of citizenship and social identity and which overlook the capacity for units of governance to be represented in terms of place rather than in terms of people. Analysis of interviews conducted in England and Scotland explores how respondents invoked images of Britain as “an island” to avoid social identity constructions of nationality, citizenship, or civil society. Respondents in Scotland used island imagery to distinguish their political commitment to British citizenship from questions relating to their subjective identity. Respondents in England used island imagery to distinguish the United Kingdom as a distinctive political entity whilst avoiding allusions to a common or distinctive identity or character on the part of the citizenry. People who had moved from England to Scotland used island imagery to manage the delicate task of negotiating rights to social inclusion in Scottish civil society whilst displaying recognition of the indigenous population’s claims to distinctive national culture and identity.

Government decisions before and during the First World War and the living standards in Germany during a drastic natural experiment

The First World War hit Germany severely, particularly the agricultural sector, because the outbreak came unexpected and its duration exceeded all expectations. Many resources necessary for agricultural production were required by the war economy and led to shortages and shrinking supplies. Many agricultural laborers were drafted and the blockade imposed by the allies prevented Germany from a great deal of imports. As a consequence, the nutritional situation was devastating, particularly after 1916, and hit all groups of the German society. The period under observation provides one of most drastic natural experiments in the 20th century. This study uses anthropometric data from German soldiers who served in the Second World War to trace living standards between the 1900s and the 1920s. In contrast to other approaches, this paper is able to distinguish between social groups by occupation, religious denominatio\n, regional origin, and city size. The results suggest that although all social strata were hit by famine conditions, the height of farmers, urban citizens, Catholics, and especially individuals born in the highly integrated food-import regions along the coast and the banks of the Rhine declined most.

War, food rationing, and socioeconomic inequality in Germany during the First World War

Germany experienced a devastating period during the First World War due to severely restricted import possibilities and a general shortage of foodstuffs. This study uses the heights of some 4,000 individuals who served during the Second World War to quantify biological living standards from the 1900s to the 1920s, and focuses primarily on socioeconomic inequality during this period. The results suggest that generally the upper social strata, measured by fathers' occupation, exhibited the tallest average height, followed by the middle and lower classes. These socioeconomic differences became more pronounced during the First World War when the rationing system provided a limited food supply. Wealthier individuals were able to purchase additional foodstuffs on black markets. Therefore, children from upper-class families experienced only a small decline in average height compared to their counterparts from the middle and lower social strata.

An anthropometric history of the World, 1810-1980: did migration and globalization influence country trends?

We find that regional height levels around the world were fairly uniform throughout most of the 19th century, with two exceptions: above-average levels in Anglo-Saxon settlement regions and below-average levels in Southeast Asia. After 1880, substantial diver- gences began to differentiate other regions -- making the world population taller, but more unequal. During the late 19th century and 20th century, heights between world regions devi- ated significantly, when incomes also became very unequal. Interestingly, during the “breaking point period” between the two regimes, heights declined significantly in the cattle-rich New World countries, whereas they started to increase in Old Europe. We discuss in this study whether immigration was a core factor to influence the height decline in the “Anthropometric Decline of the Cowboy and Gaucho Empires”.

'Easter Rising', 1914-1918-online. International Encyclopedia of the First World War

Although a military failure, the 1916 rebellion transformed Ireland by destroying the possibility of a political settlement between Irish nationalists and the British state and by popularising a republican movement prepared to use violence to achieve independence. This essay surveys the political background to the Easter Rising, its planning, the motivations and ideology of the rebels and the battle for Dublin. It concludes by assessing the Rising’s political impact and briefly summarising historiographical interpretations and commemorative trends. It argues that the origins, conduct, impact and aftermath of the insurrection are best understood within the wider context of the First World War.

Citizenship and (Un)Sustainability: A Green Republican Perspective

This chapter explores some of the connections (causal and other) between the decline in active citizenship, the displacement of citizenship by consumer identities and interests, and the shift to a transactional mode of democratic politics and how and in what ways these are connected with “actually existing unsustainability.” It proposes an account of “green republican citizenship” as an appropriate theory and practice of establishing a link between the practices of democracy and the processes of democratization in the transition from unsustainability. The chapter begins from the (not uncontroversial) position that debt-based consumer capitalism (and especially its more recent neoliberal incarnation) is incompatible with a version of democratic politics and associated norms and practices of green citizenship required for a transition from unsustainable development. It outlines an explicitly “green republican” conception of citizenship as an appropriate way to integrate democratic citizenship and creation of a more sustainable political and socio-ecological order.

Making a Constitution in a Globalized World

This piece argues that constitutions must be documents which meet the needs and demands of the nation's people and that, as a nation's relationship with the world beyond its borders has increased in complexity in recent years, so individuals' expectations of their nation's constitutions have also increased considerably compared with the past. Using Northern Ireland as an exemplar, the chapter argues that Turkey has the potential to re-make itself through the adoption of a more modern, pluralistic and outward-looking constitution.

The Kepler-10 Planetary System Revisited by HARPS-N: A Hot Rocky World and a Solid Neptune-Mass Planet

Kepler-10b was the first rocky planet detected by the Kepler satellite and confirmed with radial velocity follow-up observations from Keck-HIRES. The mass of the planet was measured with a precision of around 30%, which was
insufficient to constrain models of its internal structure and composition in detail. In addition to Kepler-10b, a second planet transiting the same star with a period of 45 days was statistically validated, but the radial velocities were only
good enough to set an upper limit of 20 M⊕ for the mass of Kepler-10c. To improve the precision on the mass for planet b, the HARPS-N Collaboration decided to observe Kepler-10 intensively with the HARPS-N spectrograph
on the Telescopio Nazionale Galileo on La Palma. In total, 148 high-quality radial-velocity measurements were obtained over two observing seasons. These new data allow us to improve the precision of the mass determination for Kepler-10b to 15%. With a mass of 3.33 ± 0.49 M⊕ and an updated radius of 1.47+0.03 −0.02 R⊕, Kepler-10b has a density of 5.8 ± 0.8 g cm−3, very close to the value predicted by models with the same internal structure and composition as the Earth. We were also able to determine a mass for the 45-day period planet Kepler-10c, with an even better precision of 11%. With a mass of 17.2 ± 1.9 M⊕ and radius of 2.35+0.09 −0.04 R⊕, Kepler-10c has a density of 7.1 ± 1.0 g cm−3. Kepler-10c appears to be the first strong evidence of a class of more massive solid planets with longer orbital periods