57,769 research outputs found
A teaching and support tool for building formal models of graphical user-interfaces
In this paper we propose the design of a tool that will allow the construction of a formal, textual description of a software system even if it has a graphical user-interface as a component. An important aspect of this design is that it can be used for two purposes-the teaching of first-order logic and the formal specification of graphical user-interfaces. The design has been suggested by considering a system that has already been very successful for teaching first-order logic, namely Tarski's World
Upward Mobility in the American Mountain West
Upward economic and social mobility is an intrinsic element of American society. Data from the Equality of Opportunity Project (EOP) demonstrates that upward mobility is a critical issue for our nationâs metros. An analysis of Mountain West metros and the performances of colleges and universities in this region reveal how the differing economic, demographic, and social characteristics affect mobility. This brief explores upward mobility rates, measures of diversity, levels of domestic and foreign migration, and studentsâ family household income and their eventual individual incomes. The comparison of postsecondary institutions in Mountain West metros serves as a microcosm to better understand how metros and their universities can best serve our nationâs ever diversifying population
I Knew There Was Something Wrong with That Paper : Scientific Rhetorical Styles and Scientific Misunderstandings
This selection unpacks scientific prose and claim substantiation for Nobel Prize winner, Stan Prusiner, in the transmissible spongiform encephlopathies field (i.e., mad cow disease). Applying linguistic strategies such as M. A. K. Halliday\u27s favorite clause type, the author examines argumentative strategies in dense scientific prose both in bold and cautious rhetorical styles and invented lexical changes in new scientific development
The changing role of probation hostels: voices from the inside
Probation Approved Premises (hereafter referred to by their earlier and informal moniker; hostels) are a small, but vital part of the wider work of the probation service in which high risk offenders are provided semi-secure accommodation either on release from prison (as part of release license conditions) or on bail. Currently 100 hostels cater for a wide range of offenders including both male and female offenders, sexual, drug and violent offenders (HMI Probation et al. 2008). This paper explores what people either working or residing in a probation hostel understand the purpose of work in hostels to be
Liability to International Prosecution: The Nature of Universal Jurisdiction
The paper considers the proper method for theorizing about criminal jurisdiction. It challenges a received understanding of how to substantiate the right to punish, and articulates an alternative account of how that theoretical task is properly conducted. The received view says that a special relationship is the ground of a tribunalâs authority to prosecute and, hence, that a normative theory of that authority is faced with identifying a distinctive relation. The alternative account locates prosecutorial standing on an institutionâs capacity to address the basic reasons generating criminal liability. This reframes the normative issues at stake, and has the result that various, perhaps quite heterogeneous, considerations can substantiate penal authority. It also eliminates the existence of a special relation as a necessary condition for legitimate criminal accountability. The argument proceeds by offering an analysis and account of universal jurisdiction. Not only does the alternative elegantly perform where the received view struggles, it can accommodate much of what motivates the pursuit of relational ties in existing efforts to vindicate jurisdictional conclusions
- âŠ