Browse Results

Select your format based upon: 1) how you want to read your book, and 2) compatibility with your reading tool. To learn more about using Bookshare with your device, visit the Help Center.

Here is an overview of the specialized formats that Bookshare offers its members with links that go to the Help Center for more information.

• Bookshare Web Reader - A customized reading tool for Bookshare members offering all the features of DAISY with a single click of the "Read Now" link.
• DAISY (Digital Accessible Information System) - A digital book file format. DAISY books from Bookshare are DAISY 3.0 text files that work with just about every type of access technology that reads text. Books that contain images will have the download option of ‘DAISY Text with Images’.
• BRF (Braille Refreshable Format) - Digital Braille for use with refreshable Braille devices and Braille embossers.
• MP3 (MPEG audio layer 3) - Provides audio only with no text. These books are created with a text-to-speech engine and spoken by Kendra, a high quality synthetic voice from Ivona. Any device that supports MP3 playback is compatible.
• DAISY Audio - Similar to the DAISY option above; however, this option uses MP3 files created with our text-to-speech engine that utilizes Ivonas Kendra voice. This format will work with Daisy Audio compatible players such as Victor Reader Stream and Read2Go.
• EPUB - A standard e-book format that can be read on many tools, such as iBooks, Readium or others.
• Word - Accessible Word output, which can be unzipped and opened in any tool that allows .docx files

Runtime Verification: A Hands-On Approach in Java

This book provides a hands-on introduction to runtime verification which guides the reader from zero to sufficient practical knowledge required to consider and apply it in industry. It starts with almost no assumptions on the knowledge of the reader and provides exercises throughout the book through which the reader builds their own runtime verification tool. All that is required are basic programming skills and a good working knowledge of the object-oriented paradigm, ideally Java. Drawing from years of the authors' real-world experience, the reader progresses from manually writing runtime verification code to instrumenting monitoring using aspect-oriented programming, after which they explore increasing levels of specification abstraction: automata, regular expressions, and linear time temporal logic. A range of other topics is also explored in the book, including real-time properties, concerns of efficiency and persistence, integration with testing and architectural considerations. The book is written for graduate students specializing in software engineering as well as for industry professionals who need an introduction to the topic of runtime verification. While the book focuses on underlying foundations and practical techniques, it additionally provides for each chapter a reading list in the appendix for the interested reader who would like to deepen their knowledge in a particular area.

Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings (Lecture Notes in Computer Science #12399)

This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020. The conference was held virtually due to the COVID-19 pandemic. The 14 regular papers and 2 short papers presented in this book were carefully reviewed and selected from 43 submissions. Also included are an invited paper, 5 tutorial papers, 6 tool papers, and a benchmark paper. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. The papers are organized in the following topical sections: runtime verification for autonomy; runtime verification for software; runtime verification with temporal logic specifications; stream-based monitoring; and runtime verification for cyber-physical systems.

Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings (Lecture Notes in Computer Science #11757)

This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019.The 25 regular papers presented in this book were carefully reviewed and selected from 38 submissions.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess system correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.Chapter “Assumption-Based Runtime Verification with Partial Observability and Resets” and chapter “NuRV: a nuXmv Extension for Runtime Verification“ are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings (Lecture Notes in Computer Science #14245)

This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 3–6, 2023. The 13 full papers and 7 short papers presented in this book together with 4 tutorial papers and 2 invited papers were carefully reviewed and selected from 39 submissions. The RV conference is concerned with all aspects of novel lightweight formal methods to monitor, analyze, and guide the runtime behavior of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing and are generally more practical than exhaustive formal verification.

Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings (Lecture Notes in Computer Science #8174)

This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected from 58 submissions. The papers address a wide range of specification languages and formalisms for traces; specification mining; program instrumentation; monitor construction techniques; logging, recording, and replay; fault detection, localization, recovery, and repair; program steering and adaptation; as well as metrics and statistical information gathering; combination of static and dynamic analyses and program execution visualization.

Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers (Lecture Notes in Computer Science #7687)

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held in Istanbul, Turkey, in September 2012. The 25 revised full papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 50 submissions. The papers address a wide range of specification languages and formalisms for traces, specification mining, program instrumentation, monitor construction techniques, logging, recording, and replay, fault detection, localization, recovery and repair, program steering and adaptation, metrics and statistical information gathering, combination of static and dynamic analyses and program execution visualization.

Runtime Verification: Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers (Lecture Notes in Computer Science #7186)

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Runtime Verification, RV 2011, held in San Francisco, USA, in September 2011. The 24 revised full papers presented together with 3 invited papers, 4 tutorials and 4 tool demonstrations were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on parallelism and deadlocks, malware detection, temporal constraints and concurrency bugs, sampling and specification conformance, real-time, software and hardware systems, memory transactions, tools; foundational techniques and multi-valued approaches.

Rupturing African Philosophy on Teaching and Learning: Ubuntu Justice and Education

This book examines African philosophy of education and the enactment of ubuntu justice through a massive open online course on Teaching for Change. The authors argue that such pedagogic encounters have the potential to stimulate just and democratic human relations: encounters that are critical, deliberate, reflective and compassionate could enable just and democratic human relations to flourish, thus inducing decolonisation and decoloniality. Exploring arguments for imaginative and tolerant pedagogic encounters that could help cultivate an African university where educators and students can engender morally and politically responsible pedagogical actions, the authors offer pathways for thinking more imaginatively about higher education in a globalised African context. This work will be of value for researchers and students of philosophy of education, higher education and democratic citizenship education.

Rupturing African Philosophy on Teaching and Learning: Ubuntu Justice and Education

This book examines African philosophy of education and the enactment of ubuntu justice through a massive open online course on Teaching for Change. The authors argue that such pedagogic encounters have the potential to stimulate just and democratic human relations: encounters that are critical, deliberate, reflective and compassionate could enable just and democratic human relations to flourish, thus inducing decolonisation and decoloniality. Exploring arguments for imaginative and tolerant pedagogic encounters that could help cultivate an African university where educators and students can engender morally and politically responsible pedagogical actions, the authors offer pathways for thinking more imaginatively about higher education in a globalised African context. This work will be of value for researchers and students of philosophy of education, higher education and democratic citizenship education.

Rural Education Across the World: Models of Innovative Practice and Impact

This book brings together authors from United States, South Africa, United Kingdom, China, Canada and Australia to provide insights and case studies from across a range of contexts to explore the interplay between the notions of rurality, innovation and education. The book reveals a hopeful and resilient approach to innovative rural education and scholarship collectively and provides important evidence to speak against an often deficit view of rural education. Three patterns are revealed, namely: the importance of place-attentive strategies, the importance of joined up alliances to maximise resources and networks and finally, the need to utilize alternative methodologies and frameworks that have a starting point of difference rather than deficit for any rural initiative or approach. By drawing from international examples and responding in innovative ways to rural education challenges, this book provides an opportunity to share international insights into innovations, interventions and partnerships that promote and support rural education in its broadest sense.

Rural Education Reform in China: A Policy Mapping Perspective (Exploring Education Policy in a Globalized World: Concepts, Contexts, and Practices)

This book contextually explores the rural education reform in China from a policy mapping perspective. It discusses a wide range of topics in the context of China's rural areas, including rural school layout adjustment, rural teacher development, rural students' all-round education development, vocational education in rural areas, and rural education informatization development. With the challenges outlined and recommendations provided, the chapters offer a holistic view on China’s rural education reform. This book serves as a guide for scholars and researchers who are interested and work in research on China’s rural education reform, administrators, and stakeholders in China's education system and graduate students who major or minor in the field of rural educational policy.

Rural Education Research in the United States: State of the Science and Emerging Directions

This volume represents current and futuristic thinking of seminal rural education researchers, with the goal of providing perspectives and directions to inform the work of rural education research, practice, and policy. With an emphasis on leveraging collaboration among key rural education stakeholders, this title both outlines our current research knowledge base and maps a future research agenda for maximizing the educational experiences and achievement of rural K-12 students and their families and educators in the United States. In examining the interrelated impacts of teacher practices, family engagement, school/community environment and contextual factors, the book offers the evidence-based insights of seminal researchers on issues ranging from professional development and family-school partnership approaches to methodological considerations. It also explores the needs, opportunities and realities associated with translating research to the arenas of practice and policy – while considering how the latter can inform future scholarship.

Rural Radicals: Righteous Rage in the American Grain

Through its history, populism has meant hope and progress, as well as hate and a desire to turn back the clock on American history. In her new preface, Catherine McNicol Stock provides an update and overview of the conservative face of rural America. She paints a comprehensive portrait of a long line of rural activists whose crusades against big government, bug business, and big banks sometimes spoke in a language of progressive populism and sometimes in a language of hate and bigotry. Rural Radicals breaks down the populism expressed by activists, confronts our conventional notions of right and left, and allows us to understand political factionalism differently.

Rural Teacher Education: Connecting Land and People

This book examines challenges associated with the education of teachers in and for rural places. It offers a new perspective with respect to how Canadian educators are shifting the conversation toward a hopeful discourse concerning how educators can foster meaningful rural learning environments, which will contribute to building stronger rural communities and regions. A central focus of the book is emerging reconceptualization of education, place and indigeneity in Canadian education in the wake of the Truth and Reconciliation CommissionThough the challenge of addressing rural teaching and learning lies partly in the nuances and complexities of unique places, there are also common threads that affect virtually all communities in rural, regional and remote educational, cultural, economic, and social geographies. Chapters in this collection provide current research in Canadian rural education including examples and stories from the field – contributed by teachers, administrators, and superintendents – on the challenges and creative opportunities that they have discovered in their own rural context, giving hope and inspiration for what is possible. The book will appeal to all readers interested in rural education and teacher education, as well as to those concerned with educational inequality and indigenous education.

Ruraling Education Research: Connections Between Rurality and the Disciplines of Educational Research

This edited volume brings together a collection of chapters from leading scholars in rural education with the purpose of linking knowledge from the rural education field to the wider discipline of education studies. Through addressing significant issues in the rural education field, the book gives insights from rural education that have general relevance for the wider disciplines of education, and provides up-to-date scholarship in research in rural contexts.This book aims to be a definitive and comprehensive edition of contemporary rural education scholarship that works as a guide for those new to researching in and for rural contexts, as well as actively expand the other sub-fields of education from a rural perspective. It examines the connection between rurality and the other domains of educational research, exploring what a rural perspective might bring to the broader fields of educational research, and how it might evolve them. In its unique approach, this book brings the concept of ‘rural’ to the disciplines of education; chapters regarding the ethics of research in the rural context speaks to a gap in rural education, and provide tools for engaging marginalised communities more generally in educational research.

Rurality, Social Justice and Education in Sub-Saharan Africa Volume I: Theory and Practice in Schools

This book explores rurality and education in sub-Saharan Africa through a lens of social justice. The first in a two-volume project, this book explores the possibilities and constraints of rural social justice in diverse educational contexts: how should rurality be defined? How does education shape and reshape what it means to be rural? Drawing chapters from a diverse range of contributors in sub-Saharan Africa, the two volumes are underpinned by a robust social justice approach to rural schooling and its intersections with access, gender, colonialism, social mobility and dis/ability. Ultimately, these volumes reflect the need to shift conceptions of rurality from colonial and conservative stereotypes to an appreciation of rurality as locations in space and time, with their own unique attributes and opportunities. Harnessing indigenous African concepts of justice to open up conversations into teaching and knowledge production in higher education, this book will be of interest to scholars of rurality and education, as well as wider discussions on decolonising the academy.

Rurality, Social Justice and Education in Sub-Saharan Africa Volume II: Theory and Practice in Higher Education

This book explores rurality and education in sub-Saharan Africa through a lens of social justice. The second volume of a two-volume project, this book explores possibilities and constraints of rural social justice in diverse educational contexts, with particular emphasis on higher education. Drawing on contexts from across sub-Saharan Africa, this volume examines such topics as student-teacher preparation, post-colonialism and access and participation. In doing so, these volumes reflect the need to shift conceptions of rurality from colonial and conservative stereotypes to an appreciation of rurality as locations in space and time. Focusing on inclusivity and intersectionality, these books raise important questions into rurality and social justice, and champion openness for education in rural communities who may be excluded.

The Rush To German Unity

The Rush to German Unity

The bringing down of the Berlin Wall is one of the most vivid images and historic events of the late twentieth century. The reunification of Germany has transformed the face of Europe. In one stunning year, two separate states with clashing ideologies, hostile armies, competing economies, and incompatible social systems merged into one. The speed and extent of the reunification was so great that many people are still trying to understand the events. Initial elation has given way to the realities and problems posed in reuniting two such different systems. The Rush to German Unity presents a clear historical reconstruction of the confusing events. It focuses on the dramatic experiences of the East German people but also explores the decisions of the West German elite. Konrad H. Jarausch draws on the rich sources produced by the collapse of the GDR and on the public debate in the FRG. Beginning with vivid media images, the text probes the background of a problem, traces its treatment and resolution and then reflects on its implications. Combining an insider's insights with an outsider's detachment, the interpretation balances the celebratory and the catastrophic views. The unification process was democratic, peaceful and negotiated. But the merger was also bureaucratic, capitalistic and one-sided. Popular pressures and political manipulation combined to create a rush to unity that threatened to escape control. The revolution moved from a civic rising to a national movement and ended up as reconstruction from the outside. An ideal source for general readers and students, The Rush to German Unity explores whether solving the old German problem has merely created new difficulties.

The Rushdie Affair: The Novel, the Ayatollah and the West

The publication in 1988 of Salman Rushdie's novel The Satanic Verses triggered a furor that pitted much of the Islamic world against the West over issues of blasphemy and freedom of expression. The controversy soon took on the aspect of a confrontation of civilizations, provoking powerful emotions on a global level. It involved censorship, protests, riots, a break in diplomatic relations, culminating in the notorious Iranian edict calling for the death of the novelist. In The Rushdie Affair, Daniel Pipes explains why the publication of The Satanic Verses became a cataclysmic event with far-reaching political and social consequences.Pipes looks at the Rushdie affair in both its political and cultural aspects and shows in considerable detail what the fundamentalists perceived as so offensive in The Satanic Verses as against what Rushdie's novel actually said. Pipes explains how the book created a new crisis between Iran and the West at the time--disrupting international diplomacy, billions of dollars in trade, and prospects for the release of Western hostages in Lebanon.Pipes maps out the long-term implications of the crisis. If the Ayatollah so easily intimidated the West, can others do the same? Can millions of fundamentalist Muslims now living in the United States and Europe possibly be assimilated into a culture so alien to them? Insightful and brilliantly written, this volume provides a full understanding of one of the most significant events in recent years. Koenraad Elst's postscript reviews the enduring impact of the Rushdie affair.

The Rushdie Affair: The Novel, the Ayatollah and the West

The publication in 1988 of Salman Rushdie's novel The Satanic Verses triggered a furor that pitted much of the Islamic world against the West over issues of blasphemy and freedom of expression. The controversy soon took on the aspect of a confrontation of civilizations, provoking powerful emotions on a global level. It involved censorship, protests, riots, a break in diplomatic relations, culminating in the notorious Iranian edict calling for the death of the novelist. In The Rushdie Affair, Daniel Pipes explains why the publication of The Satanic Verses became a cataclysmic event with far-reaching political and social consequences.Pipes looks at the Rushdie affair in both its political and cultural aspects and shows in considerable detail what the fundamentalists perceived as so offensive in The Satanic Verses as against what Rushdie's novel actually said. Pipes explains how the book created a new crisis between Iran and the West at the time--disrupting international diplomacy, billions of dollars in trade, and prospects for the release of Western hostages in Lebanon.Pipes maps out the long-term implications of the crisis. If the Ayatollah so easily intimidated the West, can others do the same? Can millions of fundamentalist Muslims now living in the United States and Europe possibly be assimilated into a culture so alien to them? Insightful and brilliantly written, this volume provides a full understanding of one of the most significant events in recent years. Koenraad Elst's postscript reviews the enduring impact of the Rushdie affair.

The Rushdie Fatwa and After: A Lesson to the Circumspect

This resounding defence of the principles of free expression revisits the Satanic Verses uproar of 1989, as well as subsequent incidents such as the Danish cartoons controversy, to argue that the human right of free speech is by no means so secure that it can be taken for granted.

Ruskin's Educational Ideals

Focusing on John Ruskin as a teacher and on his greatest educational work, Fors Clavigera, Sara Atwood examines Ruskin's varied roles in education, the development of his teaching philosophy and style, and his vision for educational reform. Atwood maintains that the letters of Fors Clavigera constitute not only a treatise on education but a dynamic educational experiment, serving to set forth Ruskin's ideas about education while simultaneously educating his readers according to those very ideas. Closely examining Ruskin's life and writings, her argument traces the development of his moral aesthetic and increasing involvement in social reform; his methods and approach as an art instructor; and his dissatisfaction with contemporary educational practice. A chapter on Ruskin's legacy takes account of his influence on late Victorian and Edwardian educators, including J. H. Whitehouse and the Bembridge School; the Ruskin colonies in Tennessee, Florida, and Georgia; and the relevance of Ruskin's ideas to ongoing educational debates about teacher pay, state/national testing, retention, and the theory of the competent child. Historically well-grounded and forcefully argued, Atwood's study is not only a valuable contribution to scholarship on Ruskin and the Victorian period but an enjoinder for us to reconsider how Ruskin's educational philosophy might be of benefit today.

Ruskin's Educational Ideals

Focusing on John Ruskin as a teacher and on his greatest educational work, Fors Clavigera, Sara Atwood examines Ruskin's varied roles in education, the development of his teaching philosophy and style, and his vision for educational reform. Atwood maintains that the letters of Fors Clavigera constitute not only a treatise on education but a dynamic educational experiment, serving to set forth Ruskin's ideas about education while simultaneously educating his readers according to those very ideas. Closely examining Ruskin's life and writings, her argument traces the development of his moral aesthetic and increasing involvement in social reform; his methods and approach as an art instructor; and his dissatisfaction with contemporary educational practice. A chapter on Ruskin's legacy takes account of his influence on late Victorian and Edwardian educators, including J. H. Whitehouse and the Bembridge School; the Ruskin colonies in Tennessee, Florida, and Georgia; and the relevance of Ruskin's ideas to ongoing educational debates about teacher pay, state/national testing, retention, and the theory of the competent child. Historically well-grounded and forcefully argued, Atwood's study is not only a valuable contribution to scholarship on Ruskin and the Victorian period but an enjoinder for us to reconsider how Ruskin's educational philosophy might be of benefit today.

Russell: A Guide For The Perplexed (Guides for the Perplexed)

Winner of the 2014 Bertrand Russell Society Book AwardBertrand Russell was one of the greatest philosophers of the twentieth century. Over his professional career of 45 years Russell left his mark and influence in many domains of intellectual inquiry. This includes the foundations of mathematics, the philosophy of science, metaphysics, the theory of knowledge, the philosophy of language, education, religion, history, ethics and politics. In Russell: A Guide for the Perplexed, John Ongley and Rosalind Carey offer a clear and thorough account of the work and thought of this key thinker, providing a thematic outline of his central ideas and his enduring influence throughout the field of philosophy. The authors lay out a detailed survey of Russell's academic, technical philosophy, exploring his work on logic, mathematics, metaphysics, language, knowledge and science. This concise and accessible book engages the reader in a deeper critical analysis of Russell's prolific philosophical and literary output.