Emerging technologies have enhanced the learning capabilities and opportunities in modern school systems. To continue the effective development of such innovations, the intended users must be taken into account. End-User Considerations in Educational Technology Design is a pivotal reference source for the latest scholarly material on usability testing techniques and user-centered design methodologies in the development of technological tools for learning environments. Highlighting a range of pertinent topics such as multimedia learning, human-computer interaction, and online learning, this book is ideally designed for academics, researchers, school administrators, professionals, and practitioners interested in the design of optimized educational technologies.

Operating systems kernels are central to the functioning of computers. Security of the overall system, as well as its reliability and responsiveness, depend upon the correct functioning of the kernel. This unique approach - presenting a formal specification of a kernel - starts with basic constructs and develops a set of kernels; proofs are included as part of the text.

The kernel of any operating system is its most critical component, as the rest of the system depends on it. This book shows how the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of executable code. This formal refinement process ensures that the code precisely meets the specification. The author documents the complete process, including proofs.

I love virtual machines (VMs) and I have done for a long time.If that makes me "sad" or an "anorak," so be it. I love them because they are so much fun, as well as being so useful. They have an element of original sin (writing assembly programs and being in control of an entire machine), while still being able to claim that one is being a respectable member of the community (being structured, modular, high-level, object-oriented, and so on). They also allow one to design machines of one's own, unencumbered by the restrictions of a starts optimising it for some physical particular processor (at least, until one processor or other). I have been building virtual machines, on and off, since 1980 or there abouts. It has always been something of a hobby for me; it has also turned out to be a technique of great power and applicability. I hope to continue working on them, perhaps on some of the ideas outlined in the last chapter (I certainly want to do some more work with register-based VMs and concur rency). I originally wanted to write the book from a purely semantic viewpoint."

This textbook sets out to provide professionals with an in-depth understanding of the software-testing people and process issues that are critical for delivering high-quality software on time and within budget. The authors aim to give those involved in building and maintaining complex, mission-critical software systems a flexible, risk-based process to improve their software-testing capabilities. Whether an organization currently has a well-defined testing process or almost no process, this resource provides insights into better ways to test software. This guide is written for: software-test managers; testers; developers; quality-assurance managers; and software configuration managers.

The term Polynesia refers to a cultural and geographical area in the Pacific Ocean, bound by what is commonly referred to as the Polynesian Triangle, which consists of Hawai'i in the north, New Zealand in the southwest, and Easter Island in the southeast. Thousands of islands are scattered throughout this area, most of which are currently included in one of the modern island states of American Samoa, Cook Islands, French Polynesia, Hawai'i, New Zealand, Samoa, Tonga, Tokelau, Tuvalu, and Wallis and Futuna. The third edition of the Historical Dictionary of Polynesia greatly expands on the previous editions through a chronology, an introductory essay, an expansive bibliography, and over 400 cross-referenced dictionary entries on significant persons, events, places, organizations, and other aspects of Polynesian history from the earliest times to the present. Appendixes of the major islands and atolls within Polynesia, the rulers and administrators of the 13 major island states, and basic demographic information of those states are also included.

This practical resource identifies complex issues associated with masculinity in higher education, providing administrators and faculty with research-based strategies for supporting the success of this student group. Grounded in interdisciplinary social science theories and representative case studies, this book unpacks the experience of college men while simultaneously addressing the various identities they embrace or are assigned. Masculinity and Student Success in Higher Education shares strategies on increasing enrollment, engagement, and persistence of men in higher education across racial, ethnic, and socioeconomic distinctions. By successfully interrogating their own campus practices, readers can better address issues of diversity while also supporting and engaging the social and academic factors that contribute to student success.

In 1995, the APA division on clinical psychology created a task force to compile a list of empirically validated procedures. Those left off the list were deemed invalid, leading to much controversy in the field of mental health service. Adding to the controversy are mental health corporations and HMOs that are using or planning to use the task forceAEs lists to determine which interventions they will reimburse for and which they will not. Empirically Supported Therapies responds to this recent interest in basing practice on the empirical validation of interventions and treatments. Organized into two parts, the first comprises theoretical issues surrounding the development and promotion of empirically validated interventions. In the second part, contributors examine some of the validated interventions as illustrations of the issues involved in the debate. Presenting a balanced examination of a controversial topic, Empirically Supported Therapies is a much needed contribution to the literature for professionals in clinical and counseling psychology, human services, interpersonal violence, social work, developmental psychology, and nursing.

This invaluable resource presents a state-of-the-art account of the psychology of pain from leading researchers. It features contributions from clinical, social, and biopsychological perspectives, the latest theories of pain, as well as basic processes and applied issues. The book opens with an introduction to the history of pain theory and the epidemiology of pain. It then explores theoretical work, including the gate control theory/neuromatrix model, as well as biopsychosocial, cognitive/behavioral, and psychodynamic perspectives. Issues, such as the link between psychophysiological processes and consciousness and the communication of pain are examined. Pain over the life span, ethno-cultural, and individual differences are the focus of the next three chapters. Pain: Psychological Perspectives addresses current clinical issues: * pain assessment and acute and chronic pain interventions; * the unavailability of psychological interventions for chronic pain in a number of settings, the use of self-report, and issues related to the implementation of certain biomedical interventions; and * the latest ethical standards and the theories. Intended for practitioners, researchers, and students involved with the study of pain in fields such as clinical and health psychology, this book will also appeal to physicians, nurses, and physiotherapists. Pain is ideal for advanced courses on the psychology of pain, pain management, and related courses that address this topic.

This invaluable resource presents a state-of-the-art account of the psychology of pain from leading researchers. It features contributions from clinical, social, and biopsychological perspectives, the latest theories of pain, as well as basic processes and applied issues. The book opens with an introduction to the history of pain theory and the epidemiology of pain. It then explores theoretical work, including the gate control theory/neuromatrix model, as well as biopsychosocial, cognitive/behavioral, and psychodynamic perspectives. Issues, such as the link between psychophysiological processes and consciousness and the communication of pain are examined. Pain over the life span, ethno-cultural, and individual differences are the focus of the next three chapters. Pain: Psychological Perspectives addresses current clinical issues: * pain assessment and acute and chronic pain interventions; * the unavailability of psychological interventions for chronic pain in a number of settings, the use of self-report, and issues related to the implementation of certain biomedical interventions; and * the latest ethical standards and the theories. Intended for practitioners, researchers, and students involved with the study of pain in fields such as clinical and health psychology, this book will also appeal to physicians, nurses, and physiotherapists. Pain is ideal for advanced courses on the psychology of pain, pain management, and related courses that address this topic.

Best practices for nonprofits for long-term success in a rapidly changing world. Building Smart Nonprofits: A Roadmap for Mission Success is a handbook of best practices nonprofits can use to improve sustainability - a book of knowledge and know-how distilled from interviews with over 60 industry leaders who are in the nonprofit trenches every day--as executives, leaders, board members, funders, publishers, and service providers. David J. O'Brien and Matthew D. Craig provide real-life examples of nonprofits deploying best practices and emerging industry trends - such as the rise of socially conscious investing - to position their organizations for the long term. Topics include, among others, funding models, impact investing, compensation, strategic restructuring, leadership, full-cost grantmaking, program evaluation, storytelling, and financing. Readers learn how to best position their non-profit organization for a sustainable and long-term future.

The way citizens imagine their polities is a central part of the history of any nation. Their hopes and fears not only guide their own political behaviour, but also shape the responses of politicians. Languages of Politics provides a comprehensible and accessible portrait of public life and political language across the whole of nineteenth-century Britain. It asks: What was the political language actually used by contemporaries? How far were such languages stable and coherent across the period? In what ways did they offer both guides for political action and templates for political judgment? Did they demonstrate consensus or reveal contention? What kinds of shifts and transformations can be identified? This volume brings together leading historians to consider central topics such as governance, statesmanship, patriotism, political economy, religion, democracy, women's suffrage, Ireland and India. The map of the century it offers will be invaluable to all students of political culture.

I love virtual machines (VMs) and I have done for a long time.If that makes me "sad" or an "anorak," so be it. I love them because they are so much fun, as well as being so useful. They have an element of original sin (writing assembly programs and being in control of an entire machine), while still being able to claim that one is being a respectable member of the community (being structured, modular, high-level, object-oriented, and so on). They also allow one to design machines of one's own, unencumbered by the restrictions of a starts optimising it for some physical particular processor (at least, until one processor or other). I have been building virtual machines, on and off, since 1980 or there abouts. It has always been something of a hobby for me; it has also turned out to be a technique of great power and applicability. I hope to continue working on them, perhaps on some of the ideas outlined in the last chapter (I certainly want to do some more work with register-based VMs and concur rency). I originally wanted to write the book from a purely semantic viewpoint."

From the contents: . C. Brater and M. D. Murray: The effects of NSAIDs on the kidney . G. Edwards and A. H. Weston: Latest developments in potassium channel modulator drugs . M.R. Juchau and Y. Huang: Chemical teratogenesis in humans: Biochemical and molecular mechanisms . S.P. Gupta: Studies on cardiovascular drugs . G. Polak: Antifungal chemotherapy: An everlasting battle . O. Valdenaire: New insights into the bioamine receptor family"

The kernel of any operating system is its most critical component, as the rest of the system depends on it. This book shows how the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of executable code. This formal refinement process ensures that the code precisely meets the specification. The author documents the complete process, including proofs.

Operating systems kernels are central to the functioning of computers. Security of the overall system, as well as its reliability and responsiveness, depend upon the correct functioning of the kernel. This unique approach - presenting a formal specification of a kernel - starts with basic constructs and develops a set of kernels; proofs are included as part of the text.

This comprehensive examination of the main approaches to object-oriented language explains key features of the languages in use today. Class-based, prototypes and Actor languages are all examined and compared in terms of their semantic concepts. This book provides a unique overview of the main approaches to object-oriented languages. Exercises of varying length, some of which can be extended into mini-projects are included at the end of each chapter. This book can be used as part of courses on Comparative Programming Languages or Programming Language Semantics at Second or Third Year Undergraduate Level. Some understanding of programming language concepts is required.

Programming in Dylan is aimed at programmers who are already familiar with languages such as Pascal or C but who, as yet, have no knowledge of object-oriented languages. The author takes the reader through the development of Dylan by Apple and introduces the concept of object oriented languages, comparing Dylan to other languages such as CLOS, Smalltalk and C++. The author looks at fundamental concepts of the Dylan language before moving on to present the basic types (Boolean, vectors, strings etc.). Variables, expressions and assignment, and functions (both named and anonymous) are covered in detail. The Dylan class is introduced in its simple form and generic functions and library classes are discussed in depth. The author shows how modularisation needs to be used if large applications are to be developed and illustrates how to construct program libraries. A simulation and modelling example runs through the book.

This practical resource identifies complex issues associated with masculinity in higher education, providing administrators and faculty with research-based strategies for supporting the success of this student group. Grounded in interdisciplinary social science theories and representative case studies, this book unpacks the experience of college men while simultaneously addressing the various identities they embrace or are assigned. Masculinity and Student Success in Higher Education shares strategies on increasing enrollment, engagement, and persistence of men in higher education across racial, ethnic, and socioeconomic distinctions. By successfully interrogating their own campus practices, readers can better address issues of diversity while also supporting and engaging the social and academic factors that contribute to student success.

A comprehensible and accessible portrait of the various 'languages' which shaped public life in nineteenth century Britain, covering key themes such as governance, statesmanship, patriotism, economics, religion, democracy, women's suffrage, Ireland and India.