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

The Abyss or Life Is Simple: Reading Knausgaard Writing Religion

An absorbing collection of essays on religious textures in Knausgaard’s writings and our time. Min kamp, or My Struggle, is a six-volume novel by Karl Ove Knausgaard and one of the most significant literary works of the young twenty-first century. Published in Norwegian between 2009 and 2011, the novel presents an absorbing first-person narrative of the life of a writer with the same name as the author, in a world at once fully disillusioned and thoroughly enchanted. In 2015, a group of scholars began meeting to discuss the peculiarly religious qualities of My Struggle. Some were interested in Knausgaard’s attention to explicitly religious subjects and artworks, others to what they saw as more diffuse attention to the religiousness of contemporary life. The group wondered what reading these textures of religion in these volumes might say about our times, about writing, and about themselves. The Abyss or Life Is Simple is the culmination of this collective endeavor—a collection of interlocking essays on ritual, beauty, and the end of the world.

Abysmal: A Critique of Cartographic Reason

People rely on reason to think about and navigate the abstract world of human relations in much the same way they rely on maps to study and traverse the physical world. Starting from that simple observation, renowned geographer Gunnar Olsson offers in Abysmal an astonishingly erudite critique of the way human thought and action have become deeply immersed in the rhetoric of cartography and how this cartographic reasoning allows the powerful to map out other people’s lives. A spectacular reading of Western philosophy, religion, and mythology that draws on early maps and atlases, Plato, Kant, and Wittgenstein, Thomas Pynchon, Gilgamesh, and Marcel Duchamp, Abysmal is itself a minimalist guide to the terrain of Western culture. Olsson roams widely but always returns to the problems inherent in reason, to question the outdated assumptions and fixed ideas that thinking cartographically entails. A work of ambition, scope, and sharp wit, Abysmal will appeal to an eclectic audience—to geographers and cartographers, but also to anyone interested in the history of ideas, culture, and art.

Abysmal: A Critique of Cartographic Reason

People rely on reason to think about and navigate the abstract world of human relations in much the same way they rely on maps to study and traverse the physical world. Starting from that simple observation, renowned geographer Gunnar Olsson offers in Abysmal an astonishingly erudite critique of the way human thought and action have become deeply immersed in the rhetoric of cartography and how this cartographic reasoning allows the powerful to map out other people’s lives. A spectacular reading of Western philosophy, religion, and mythology that draws on early maps and atlases, Plato, Kant, and Wittgenstein, Thomas Pynchon, Gilgamesh, and Marcel Duchamp, Abysmal is itself a minimalist guide to the terrain of Western culture. Olsson roams widely but always returns to the problems inherent in reason, to question the outdated assumptions and fixed ideas that thinking cartographically entails. A work of ambition, scope, and sharp wit, Abysmal will appeal to an eclectic audience—to geographers and cartographers, but also to anyone interested in the history of ideas, culture, and art.

Abwehr und Anerkennung in der Klimakrise: Wie über Wahrheiten, Fakten und Meinungen kommuniziert wird

Auf Wahrheiten, Fakten und Meinungen zur Klimafrage wird häufig öffentlich wie privat mit psychischer oder sozialer Abwehr reagiert. Gestützt auf ausgewählte psychologische und philosophische Theorien sowie Datenmaterial wird in diesem Buch gezeigt, wie Abwehr zustande kommt, wie sie wirkt und wie andererseits die notwendige Anerkennung auf verschiedenen Ebenen gelingen kann. Erst durch Anerkennung werden konstruktive Diskurse möglich. Dieses Buch bietet alle Grundlagen, um Kommunikationskonflikte zwischen Abwehr und Anerkennung in der Klimakrise theoretisch und praktisch lösen zu können.

The Abuse of Evil: The Corruption of Politics and Religion since 9/11 (Themes for the 21st Century)

Since 9/11 politicians, preachers, conservatives and the media are all speaking about evil. In the past the dicourse about evil in our religious, philosophic and literary traditions has provoked thinking, questioning and inquiry. But today the appeal to evil is being used as a political tool to obscure compex issues, block serious thinking and stifle public discussion and debate. We are now confronting a clash of mentalities, not a clash of civilisations. One mentality is drawn to absolutes, moral certainties, and simplistic dichotomies of good and evil. The other seriously questions an appeal to absolutes in politics and criticizes the simplistic division of the world into the forces of evil and the forces of good. In The Abuse of Evil Bernstein challenges the claim that without an appeal to absolutes, we lack the grounds for acting decisively in fighting our enemies. The post 9/11 abuse of evil corrupts both democratic politics and religion. The stakes are high in this clash of mentalities in shaping how we think and act in the world today - and in the future.

The Abuse of Evil: The Corruption of Politics and Religion since 9/11 (Themes for the 21st Century)

Since 9/11 politicians, preachers, conservatives and the media are all speaking about evil. In the past the dicourse about evil in our religious, philosophic and literary traditions has provoked thinking, questioning and inquiry. But today the appeal to evil is being used as a political tool to obscure compex issues, block serious thinking and stifle public discussion and debate. We are now confronting a clash of mentalities, not a clash of civilisations. One mentality is drawn to absolutes, moral certainties, and simplistic dichotomies of good and evil. The other seriously questions an appeal to absolutes in politics and criticizes the simplistic division of the world into the forces of evil and the forces of good. In The Abuse of Evil Bernstein challenges the claim that without an appeal to absolutes, we lack the grounds for acting decisively in fighting our enemies. The post 9/11 abuse of evil corrupts both democratic politics and religion. The stakes are high in this clash of mentalities in shaping how we think and act in the world today - and in the future.

Abstractionism: Essays in Philosophy of Mathematics

Abstractionism, which is a development of Frege's original Logicism, is a recent and much debated position in the philosophy of mathematics. This volume contains 16 original papers by leading scholars on the philosophical and mathematical aspects of Abstractionism. After an extensive editors' introduction to the topic of abstractionism, five contributions deal with the semantics and meta-ontology of Abstractionism, as well as the so-called Caesar Problem. Four papers then discuss abstractionist epistemology, focusing on the idea of implicit definitions and non-evidential warrants (entitlements) to account for a priori mathematical knowledge. This is followed by four chapters concerning the mathematics of Abstractionism, in particular the issue of impredicativity, the Bad Company objection, and the question of abstractionist set theory. Finally, the last section of the book contains three contributions that discuss Frege's application constraint within an abstractionist setting.

Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings (Lecture Notes in Computer Science #1864)

This volume contains the proceedings of SARA 2000, the fourth Symposium on Abstraction, Reformulations, and Approximation (SARA). The conference was held at Horseshoe Bay Resort and Conference Club, Lake LBJ, Texas, July 26– 29, 2000, just prior to the AAAI 2000 conference in Austin. Previous SARA conferences took place at Jackson Hole in Wyoming (1994), Ville d’Est´erel in Qu´ebec (1995), and Asilomar in California (1998). The symposium grewout of a series of workshops on abstraction, approximation, and reformulation that had taken place alongside AAAI since 1989. This year’s symposium was actually scheduled to take place at Lago Vista Clubs & Resort on Lake Travis but, due to the resort’s failure to pay taxes, the conference had to be moved late in the day. This mischance engendered eleventh-hour reformulations, abstractions, and resource re-allocations of its own. Such are the perils of organizing a conference. This is the ?rst SARA for which the proceedings have been published in the LNAI series of Springer-Verlag. We hope that this is a re?ection of the increased maturity of the ?eld and that the increased visibility brought by the publication of this volume will help the discipline grow even further. Abstractions, reformulations, and approximations (AR&A) have found - plications in a variety of disciplines and problems including automatic progr- ming, constraint satisfaction, design, diagnosis, machine learning, planning, qu- itative reasoning, scheduling, resource allocation, and theorem proving. The - pers in this volume capture a cross-section of these application domains.

Abstraction, Reformulation, and Approximation: 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings (Lecture Notes in Computer Science #2371)

It has been recognized since the inception of Artificial Intelligence (AI) that abstractions, problem reformulations, and approximations (AR&A) are central to human common sense reasoning and problem solving and to the ability of systems to reason effectively in complex domains. AR&A techniques have been used to solve a variety of tasks, including automatic programming, constraint satisfaction, design, diagnosis, machine learning, search, planning, reasoning, game playing, scheduling, and theorem proving. The primary purpose of AR&A techniques in such settings is to overcome computational intractability. In addition, AR&A techniques are useful for accelerating learning and for summarizing sets of solutions. This volume contains the proceedings of SARA 2002, the fifth Symposium on Abstraction, Reformulation, and Approximation, held at Kananaskis Mountain Lodge, Kananaskis Village, Alberta (Canada), August 2 4, 2002. The SARA series is the continuation of two separate threads of workshops: AAAI workshops in 1990 and 1992, and an ad hoc series beginning with the "Knowledge Compilation" workshop in 1986 and the "Change of Representation and Inductive Bias" workshop in 1988 with followup workshops in 1990 and 1992. The two workshop series merged in 1994 to form the first SARA. Subsequent SARAs were held in 1995, 1998, and 2000.

Abstraction, Reformulation, and Approximation: 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings (Lecture Notes in Computer Science #4612)

This is a subject that is as hot as a snake in a wagon rut, offering as it does huge potentiality in the field of computer programming. That’s why this book, which constitutes the refereed proceedings of the 7th International Symposium on Abstraction, Reformulation, and Approximation, held in Whistler, Canada, in July 2007, will undoubtedly prove so popular among researchers and professionals in relevant fields. 26 revised full papers are presented, together with the abstracts of 3 invited papers and 13 research summaries.

Abstraction, Reformulation and Approximation: 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings (Lecture Notes in Computer Science #3607)

Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)

Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm . Presents results of a large and integrated body of research in the area of 'quantitative' program logics.

Abstraction and Representation: Essays on the Cultural Evolution of Thinking (Boston Studies in the Philosophy and History of Science #175)

This book deals with the development of thinking under different cultural conditions, focusing on the evolution of mathematical thinking in the history of science and education. Starting from Piaget's genetic epistemology, it provides a conceptual framework for describing and explaining the development of cognition by reflective abstractions from systems of actions.

Abstraction and Infinity

Paolo Mancosu provides an original investigation of historical and systematic aspects of the notions of abstraction and infinity and their interaction. A familiar way of introducing concepts in mathematics rests on so-called definitions by abstraction. An example of this is Hume's Principle, which introduces the concept of number by stating that two concepts have the same number if and only if the objects falling under each one of them can be put in one-one correspondence. This principle is at the core of neo-logicism. In the first two chapters of the book, Mancosu provides a historical analysis of the mathematical uses and foundational discussion of definitions by abstraction up to Frege, Peano, and Russell. Chapter one shows that abstraction principles were quite widespread in the mathematical practice that preceded Frege's discussion of them and the second chapter provides the first contextual analysis of Frege's discussion of abstraction principles in section 64 of the Grundlagen. In the second part of the book, Mancosu discusses a novel approach to measuring the size of infinite sets known as the theory of numerosities and shows how this new development leads to deep mathematical, historical, and philosophical problems. The final chapter of the book explore how this theory of numerosities can be exploited to provide surprisingly novel perspectives on neo-logicism.

Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings (Lecture Notes in Computer Science #1912)

The ASM 2000 workshop was held in the conference center of the Swiss Federal Institute of Technology (ETH) at Monte Verit a, Canton Ticino, March 19-24, 2000. The ASM formalism was proposed together with the thesis that it is suitable to model arbitrary computer systems on arbitrary abstraction levels. ASMs have been successfully used to analyze and specify various hardware and software systems including numerous computer languages. The aim of the workshop was to bring together domain-experts, using ASMs as a practical speci cation method, and theorists working with ASMs and related methods. In addition the workshop served as a forum on theoretical and practical topics that relate to ASMs in a broad sense. Three tutorials including hands-on experience with tools were organized by U. Gl¨asser and G. del Castillo (on the topic \Specifying Concurrent Systems with ASMs"), H. Russ ¨ and N. Shankar (on the topic \A Tutorial Introduction to PVS"), M. Anlau , P.W. Kutter, and A. Pierantonio (on the topic \Developing Domain Speci c Languages"). In response to the organization committee’s call for papers, 30 papers were submitted, each of which was independently reviewed by four members of the program committee. This volume presents a selection of 12 of the refereed papers and two reports on industrial ASM application at Siemens AG and Microsoft Research, together with contributions based on the invited talks given by A.

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (Lecture Notes in Computer Science #5238)

This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and the 8th International Conference on the B Method. The 44 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. The conference fosters the cross-fertilization of three rigorous methods for the design and analysis of hardware and software systems - both in academia and industry - namely Abstract State Machines, B, and Z. Covering a wide range of research spanning from theoretical and methodological foundations to tool support and practical applications, the contributions are organized in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network (VSR-net) workshop.

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings (Lecture Notes in Computer Science #8477)

This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM and Z, which took place in Toulouse, France, in June 2014. The 13 full papers presented together with 3 invited talks and 19 short papers were carefully reviewed and selected from 81 submissions. The ABZ conference series is dedicated to the cross-fertilization of six related state-based and machine-based formal methods: Abstract State Machines (ASM), Alloy, B, TLA, VDM and Z. They share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The main goal of this conference series is to contribute to the integration of these formal methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation and mathematical verification of reliable high-quality hardware/software systems.

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings (Lecture Notes in Computer Science #10817)

This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings (Lecture Notes in Computer Science #9675)

This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016. The 17 full and 15 short papers presented in this volume were carefully reviewed and selected from 61 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.

Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings (Lecture Notes in Computer Science #5977)

Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings (Lecture Notes in Computer Science #3052)

Abstract State Machines 2003: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings (Lecture Notes in Computer Science #2589)

This book constitutes the refereed proceedings of the 10th International Workshop on Abstract State Machines, ASM 2003, held in Taormina, Italy in March 2003. The 16 revised full papers presented together with 8 invited papers and 12 abstracts were carefully reviewed and selected for inclusion in the book. The papers reflect the state of the art of the abstract state machine method for the design and analysis of complex software/hardware systems. Besides theoretical results and methodological progress, application in various fields are studied as well.

Abstract Sex: Philosophy, Biotechnology and the Mutations of Desire (Transversals: New Directions in Philosophy)

Astract Sex investigates the impact of advances in contemporary science and information technology on conceptions of sex. Evolutionary theory and the technologies of viral information transfer, cloning and genetic engineering are changing the way we think about human sex, reproduction and the communication of genetic information. Abstract Sex presents a philosophical exploration of this new world of sexual, informatic and capitalist multiplicity, of the accelerated mutation of nature and culture.

Abstract Objects: For and Against (Synthese Library #422)

This volume examines the question “Do abstract objects exist?”, presenting new work from contributing authors across different branches of philosophy. The introduction overviews philosophical debate which considers: what objects qualify as abstract, what do we mean by the word "exist” and indeed, what evidence should count in favor or against the thesis that abstract objects exist. Through subsequent chapters readers will discover the ubiquity of abstract objects as each philosophical field is considered.Given the ubiquitous use of expressions that purportedly refer to abstract objects, we think that it is relevant to attend to the controversy between those who want to advocate the existence of abstract objects and those who stand against them. Contributions to this volume depict positions and debates that directly or indirectly involve taking one position or other about abstract objects of different kinds and categories. The volume provides a variety of samples of how positions for or against abstract objects can be used in different areas of philosophy in relation to different matters.

Abstract Objects (Elements in Metaphysics)

Philosophers often debate the existence of such things as numbers and propositions, and say that if these objects exist, they are abstract. But what does it mean to call something 'abstract'? And do we have good reason to believe in the existence of abstract objects? This Element addresses those questions, putting newcomers to these debates in a position to understand what they concern and what are the most influential considerations at work in this area of metaphysics. It also provides advice on which lines of discussion promise to be the most fruitful.