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

Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings (Lecture Notes in Computer Science #5799)

This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions. The papers are organized in topical sections on state space reduction, tools, probabilistic systems, medley, temporal logic, abstraction and refinement, and fault tolerant systems.

Automated Theorem Proving (Künstliche Intelligenz)

Since both the coments and the structure of the book appeared to be successful, only minor changes were made. In particular, some recent work in ATP has been incorporated so that the book continues to reflect the state of the art in the field. The most significant change is in the quality of the layout including the removal of a number of inaccuracies and typing errors. R. Caferra, E. Eder, F. van der Linden, and J. Muller have caught vanous minor errors. P. Haddawy and S.T. Pope have provided many stilistic improvements of the English text. Last not least, A. Bentrup and W. Fischer have produced the beautiful layout. The extensive work of typesetting was financally supported within ESPRIT pro­ ject 415. Munchen, September 1986 W. Bibel PREFACE Among the dreams of mankind is the one dealing with the mechanization of human thought. As the world today has become so complex that humans apparently fail to manage it properly with their intellectual gifts, the realization of this dream might be regarded even as something like a necessity. On the other hand, the incredi­ ble advances in computer technology let it appear as a real possibility.

Automated Theorem Proving: Theory and Practice

This text and software package introduces readers to automated theorem proving, while providing two approaches implemented as easy-to-use programs. These are semantic-tree theorem proving and resolution-refutation theorem proving. The early chapters introduce first-order predicate calculus, well-formed formulae, and their transformation to clauses. Then the author goes on to show how the two methods work and provides numerous examples for readers to try their hand at theorem-proving experiments. Each chapter comes with exercises designed to familiarise the readers with the ideas and with the software, and answers to many of the problems.

Automated Theorem Proving in Software Engineering

Growing demands for the quality, safety, and security of software can only be satisfied by the rigorous application of formal methods during software design. This book methodically investigates the potential of first-order logic automated theorem provers for applications in software engineering. Illustrated by complete case studies on protocol verification, verification of security protocols, and logic-based software reuse, this book provides techniques for assessing the prover's capabilities and for selecting and developing an appropriate interface architecture.

Automatentheorie und Logik (eXamen.press)

Das Buch beschäftigt sich mit der Theorie endlicher Automaten und den klassischen Resultaten wie den Sätzen von Richard Büchi und Michael Rabin. Die vier Teile des Buchs sind den unterschiedlichen Strukturen gewidmet: endliche Wörter, Bäume, endliche und unendliche Bäume. Jeder Teil endet mit Übungsaufgaben zum behandelten Stoff sowie Hinweisen auf weiterführende Literatur. Soweit Vorkenntnisse zur Theorie formaler Sprachen vorhanden sind, kann das Buch ohne weitere Hilfsmittel durchgearbeitet werden.

Automation and Autonomy: Labour, Capital and Machines in the Artificial Intelligence Industry (Marx, Engels, and Marxisms)

This book argues that Marxist theory is essential for understanding the contemporary industrialization of the form of artificial intelligence (AI) called machine learning. It includes a political economic history of AI, tracking how it went from a fringe research interest for a handful of scientists in the 1950s to a centerpiece of cybernetic capital fifty years later. It also includes a political economic study of the scale, scope and dynamics of the contemporary AI industry as well as a labour process analysis of commercial machine learning software production, based on interviews with workers and management in AI companies around the world, ranging from tiny startups to giant technology firms. On the basis of this study, Steinhoff develops a Marxist analysis to argue that the popular theory of immaterial labour, which holds that information technologies increase the autonomy of workers from capital, tending towards a post-capitalist economy, does not adequately describe the situation of high-tech digital labour today. In the AI industry, digital labour remains firmly under the control of capital. Steinhoff argues that theories discerning therein an emergent autonomy of labour are in fact witnessing labour’s increasing automation.

Automation and Human Solidarity

This book provides a detailed analysis of the economic and political implications of the introduction of Artificial Intelligence and Robotics into the service sector of economies that have so far relied on service jobs to sustain levels of employment. It examines how reliance on coercive measures for enforcing low-paid service work attempts to postpone this third Industrial Revolution, and analyses the struggles that must still take place if we are to achieve a future of freedom and social justice for all. While automation and globalisation have made human solidarities of traditional kinds more difficult to sustain, they have also made new kinds possible. Experiments in social policy, and especially the pilot projects with unconditional Universal Basic Incomes, offer a possible model for a new kind of society. The author argues that it is politics which will determine whether we can achieve these new human solidarities.

Automation and Utopia: Human Flourishing in a World without Work

Automating technologies threaten to usher in a workless future, but John Danaher argues that this can be a good thing. A world without work may be a kind of utopia, free of the misery of the job and full of opportunities for creativity and exploration. If we play our cards right, automation could be the path to idealized forms of human flourishing.

Automation of Reasoning: 2: Classical Papers on Computational Logic 1967–1970 (Symbolic Computation)

"Kind of crude, but it works, boy, it works!" AZan NeweZZ to Herb Simon, Christmas 1955 In 1954 a computer program produced what appears to be the first computer generated mathematical proof: Written by M. Davis at the Institute of Advanced Studies, USA, it proved a number theoretic theorem in Presburger Arithmetic. Christmas 1955 heralded a computer program which generated the first proofs of some propositions of Principia Mathematica, developed by A. Newell, J. Shaw, and H. Simon at RAND Corporation, USA. In Sweden, H. Prawitz, D. Prawitz, and N. Voghera produced the first general program for the full first order predicate calculus to prove mathematical theorems; their computer proofs were obtained around 1957 and 1958, about the same time that H. Gelernter finished a computer program to prove simple high school geometry theorems. Since the field of computational logic (or automated theorem proving) is emerging from the ivory tower of academic research into real world applications, asserting also a definite place in many university curricula, we feel the time has corne to examine and evaluate its history. The article by Martin Davis in the first of this series of volumes traces the most influential ideas back to the 'prehistory' of early logical thought showing how these ideas influenced the underlying concepts of most early automatic theorem proving programs.

Autonomie: Maßstab, Ideal oder Illusion? Vadian Lectures Band 9 (Sozialtheorie)

Autonomie und mit ihr die Selbstbestimmung gelten als hohes Gut. Demnach hat jeder Mensch das Recht, selbst darüber zu entscheiden, wie er leben möchte, und seine persönlichen Entscheide in der eigenen Lebensführung zu realisieren - und das ohne die Einmischung von anderen, auch staatlichen Stellen. Doch Selbstbestimmung ist nicht grenzenlos. Sie hat auch Rücksicht auf andere zu nehmen, deren Rechte zu achten und ist immer mit Verantwortung verbunden. Die Beiträger*innen des Bandes stellen sich diesem Spannungsfeld und fragen: Was heißt es unter diesen Vorzeichen, sich selbst zu bestimmen und ein gelungenes Leben zu führen? Und was bedeutet Autonomie für Entscheide am Lebensende und die personalisierte Medizin?

Autonomie und Bewährung: Grundbegriffe rekonstruktiver Sozialisations- und Bildungsforschung (Rekonstruktive Sozialisationsforschung)

Der interdisziplinär angelegte Band bringt empirische, theoretische und methodologische Auseinandersetzungen mit den beiden Grundbegriffen zusammen. Exemplarisch wird gezeigt, welches Aufschlusspotential sich für eine rekonstruktive Sozial- und Erziehungswissenschaft ergibt. Mit den Begriffen ‚Autonomie‘ und ‚Bewährung‘ werden nicht reduzierbare Probleme und Leistungen des einzelnen Menschen und deren kulturelle Rahmenbedingungen wieder in den Fokus subjektorientierter Bildungsforschung gerückt.

Autonomie und Vertrauen: Schlüsselbegriffe der modernen Medizin

Die Selbstbestimmung des Patienten wird in liberalen und individualisierten Gesellschaften zu Recht hochgehalten. Doch die Handlungsfreiheit des Einzelnen in einer hochkomplexen, von wissenschaftlich-technischen Rationalitäten durchstrukturierten Welt wächst nur in dem Maße, wie Personen- und Systemvertrauen ermöglicht wird. Denn mit den Handlungsmöglichkeiten der modernen Medizin wachsen auch Verletzlichkeit und Verunsicherung der Akteure. Die Beiträge dieses Bandes aus den Bereichen Philosophie, Medizinrecht, Theologie, Medizinethik und Medizin untersuchen, inwiefern interpersonelles Vertrauen bzw. Systemvertrauen und Selbstbestimmungspraktiken zusammenhängen. Ein besonderes Augenmerk gilt dabei Institutionen wie dem Krankenhaus sowie Kollektivakteuren wie Familien oder Patientengruppen.

Autonomie und Vulnerabilität in der Medizin: Menschenrechte - Ethik - Empowerment (Menschenrechte in der Medizin / Human Rights in Healthcare #6)

Welche ethische Relevanz haben die menschliche Vulnerabilität und die Menschenrechte für die Gesundheitsversorgung verschiedenster Personengruppen? Die Beiträge dieses interdisziplinären Bandes thematisieren die systematischen Zusammenhänge zwischen der Verletzlichkeit kranker Personen und ihren Menschenrechten und benennen auf dieser Grundlage Probleme in deren medizinischer Versorgung. Aus der Perspektive unterschiedlicher Fachdisziplinen werden zudem Möglichkeiten aufgezeigt, wie im Sinne eines menschenrechtlich legitimierten Empowerments die Situation entlang zentraler Werte wie Würde und Autonomie ganz konkret zu verbessern ist.

Autonomous Knowledge: Radical Enhancement, Autonomy, and the Future of Knowing

A central conclusion developed and defended throughout the book is that epistemic autonomy is necessary for knowledge (both knowledge-that and knowledge-how) and in ways that epistemologists have not yet fully appreciated. The book is divided into five chapters. Chapter 1 motivates (using a series of twists on Lehrer's TrueTemp case) the claim that propositional knowledge requires autonomous belief. Chapters 2 and 3 flesh out this proposal in two ways, by defending a specific form of history-sensitive externalism with respect to propositional knowledge-apt autonomous belief (Chapter 2) and by showing how the idea that knowledge requires autonomous belief—understood along the externalist lines proposed—corresponds with an entirely new class of knowledge defeaters (Chapter 3). Chapter 4 extends the proposal to (both intellectualist and anti-intellectualist) knowledge-how and performance enhancement, and in a way that combines insights from virtue epistemology with research on freedom, responsibility, and manipulation. Chapter 5 concludes with a new twist on the Value of Knowledge debate, by vindicating the value of epistemically autonomous knowledge over that which falls short, including (mere) heteronomous but otherwise epistemically impeccable justified true belief.

Autonomous Knowledge: Radical Enhancement, Autonomy, and the Future of Knowing

A central conclusion developed and defended throughout the book is that epistemic autonomy is necessary for knowledge (both knowledge-that and knowledge-how) and in ways that epistemologists have not yet fully appreciated. The book is divided into five chapters. Chapter 1 motivates (using a series of twists on Lehrer's TrueTemp case) the claim that propositional knowledge requires autonomous belief. Chapters 2 and 3 flesh out this proposal in two ways, by defending a specific form of history-sensitive externalism with respect to propositional knowledge-apt autonomous belief (Chapter 2) and by showing how the idea that knowledge requires autonomous belief—understood along the externalist lines proposed—corresponds with an entirely new class of knowledge defeaters (Chapter 3). Chapter 4 extends the proposal to (both intellectualist and anti-intellectualist) knowledge-how and performance enhancement, and in a way that combines insights from virtue epistemology with research on freedom, responsibility, and manipulation. Chapter 5 concludes with a new twist on the Value of Knowledge debate, by vindicating the value of epistemically autonomous knowledge over that which falls short, including (mere) heteronomous but otherwise epistemically impeccable justified true belief.

Autonomous Vehicle Ethics: The Trolley Problem and Beyond

"A runaway trolley is speeding down a track" So begins what is perhaps the most fecund thought experiment of the past several decades since its invention by Philippa Foot. Since then, moral philosophers have applied the "trolley problem" as a thought experiment to study many different ethical conflicts - and chief among them is the programming of autonomous vehicles. Nowadays, however, very few philosophers accept that the trolley problem is a perfect analogy for driverless cars or that the situations autonomous vehicles face will resemble the forced choice of the unlucky bystander in the original thought experiment. This book represents a substantial and purposeful effort to move the academic discussion beyond the trolley problem to the broader ethical, legal, and social implications that autonomous vehicles present. There are still urgent questions waiting to be addressed, for example: how AVs might interact with human drivers in mixed or "hybrid" traffic environments; how AVs might reshape our urban landscapes; what unique security or privacy concerns are raised by AVs as connected devices in the "Internet of Things"; how the benefits and burdens of this new technology, including mobility, traffic congestion, and pollution, will be distributed throughout society; and more. An attempt to map the landscape of these next-generation questions and to suggest preliminary answers, this volume draws on the disciplines of philosophy, sociology, economics, urban planning and transportation engineering, business ethics and more, and represents a global range of perspectives.

Autonomous Vehicle Ethics: The Trolley Problem and Beyond

"A runaway trolley is speeding down a track" So begins what is perhaps the most fecund thought experiment of the past several decades since its invention by Philippa Foot. Since then, moral philosophers have applied the "trolley problem" as a thought experiment to study many different ethical conflicts - and chief among them is the programming of autonomous vehicles. Nowadays, however, very few philosophers accept that the trolley problem is a perfect analogy for driverless cars or that the situations autonomous vehicles face will resemble the forced choice of the unlucky bystander in the original thought experiment. This book represents a substantial and purposeful effort to move the academic discussion beyond the trolley problem to the broader ethical, legal, and social implications that autonomous vehicles present. There are still urgent questions waiting to be addressed, for example: how AVs might interact with human drivers in mixed or "hybrid" traffic environments; how AVs might reshape our urban landscapes; what unique security or privacy concerns are raised by AVs as connected devices in the "Internet of Things"; how the benefits and burdens of this new technology, including mobility, traffic congestion, and pollution, will be distributed throughout society; and more. An attempt to map the landscape of these next-generation questions and to suggest preliminary answers, this volume draws on the disciplines of philosophy, sociology, economics, urban planning and transportation engineering, business ethics and more, and represents a global range of perspectives.

Autonomy: (pdf) (Issues in Political Theory)

Autonomy: An Essay on the Life Well-Lived

In everyday life, we generally assume that we can make our own decisions on matters which concern our own lives. We assume that a life followed only according to decisions taken by other people, against our will, cannot be a well-lived life – we assume, in other words, that we are and should be autonomous. However, it is equally true that many aspects of our lives are not chosen freely: this is true of social relations and commitments but also of all those situations we simply seem to stumble into, situations which just seem to happen to us. The possibility of both the success of an autonomous life and its failure are part of our everyday experiences. In this brilliant and illuminating book, Beate Roessler examines the tension between failing and succeeding to live an autonomous life and the obstacles we have to face when we try to live our life autonomously, obstacles within ourselves as well as those that stem from social and political conditions. She highlights the ambiguities we encounter, examines the roles of self-awareness and self-deception, explores the role of autonomy for the meaning of life, and maps out the social and political conditions necessary for autonomy. Informed by philosophical perspectives but also drawing on literary texts, such as those of Siri Hustvedt and Jane Austen, and diaries, including those of Franz Kafka and Sylvia Plath, Roessler develops a formidable defense of autonomy against excessive expectations and, above all, against overpowering skepticism.

Autonomy: An Essay on the Life Well-Lived

In everyday life, we generally assume that we can make our own decisions on matters which concern our own lives. We assume that a life followed only according to decisions taken by other people, against our will, cannot be a well-lived life – we assume, in other words, that we are and should be autonomous. However, it is equally true that many aspects of our lives are not chosen freely: this is true of social relations and commitments but also of all those situations we simply seem to stumble into, situations which just seem to happen to us. The possibility of both the success of an autonomous life and its failure are part of our everyday experiences. In this brilliant and illuminating book, Beate Roessler examines the tension between failing and succeeding to live an autonomous life and the obstacles we have to face when we try to live our life autonomously, obstacles within ourselves as well as those that stem from social and political conditions. She highlights the ambiguities we encounter, examines the roles of self-awareness and self-deception, explores the role of autonomy for the meaning of life, and maps out the social and political conditions necessary for autonomy. Informed by philosophical perspectives but also drawing on literary texts, such as those of Siri Hustvedt and Jane Austen, and diaries, including those of Franz Kafka and Sylvia Plath, Roessler develops a formidable defense of autonomy against excessive expectations and, above all, against overpowering skepticism.

Autonomy (Bloomsbury Ethics)

Philosophers have various reasons to be interested in individual autonomy. Individual self-rule is widely recognized to be important. But what, exactly, is autonomy? In what ways is it important? And just how important is it? This book introduces contemporary philosophical thought about the nature and significance of individual self-rule.Andrew Sneddon divides self-rule into autonomy of choice and autonomy of persons. Unlike most philosophical treatments of autonomy, Sneddon addresses empirical study of the psychology of action. The significance of autonomy is displayed in connection with such issues as paternalism, political liberalism, advertising and physician-assisted suicide. Sneddon both introduces the themes of contemporary autonomy studies and defends a novel account of its nature and significance. Autonomy is an ideal introduction for advanced-level undergraduate and postgraduate students to the issues and debates surrounding individual self-rule.

Autonomy (Bloomsbury Ethics)

Philosophers have various reasons to be interested in individual autonomy. Individual self-rule is widely recognized to be important. But what, exactly, is autonomy? In what ways is it important? And just how important is it? This book introduces contemporary philosophical thought about the nature and significance of individual self-rule.Andrew Sneddon divides self-rule into autonomy of choice and autonomy of persons. Unlike most philosophical treatments of autonomy, Sneddon addresses empirical study of the psychology of action. The significance of autonomy is displayed in connection with such issues as paternalism, political liberalism, advertising and physician-assisted suicide. Sneddon both introduces the themes of contemporary autonomy studies and defends a novel account of its nature and significance. Autonomy is an ideal introduction for advanced-level undergraduate and postgraduate students to the issues and debates surrounding individual self-rule.

Autonomy After Auschwitz: Adorno, German Idealism, and Modernity

Ever since Kant and Hegel, the notion of autonomy—the idea that we are beholden to no law except one we impose upon ourselves—has been considered the truest philosophical expression of human freedom. But could our commitment to autonomy, as Theodor Adorno asked, be related to the extreme evils that we have witnessed in modernity? In Autonomy after Auschwitz, Martin Shuster explores this difficult question with astonishing theoretical acumen, examining the precise ways autonomy can lead us down a path of evil and how it might be prevented from doing so. Shuster uncovers dangers in the notion of autonomy as it was originally conceived by Kant. Putting Adorno into dialogue with a range of European philosophers, notably Kant, Hegel, Horkheimer, and Habermas—as well as with a variety of contemporary Anglo-American thinkers such as Richard Rorty, Stanley Cavell, John McDowell, and Robert Pippin—he illuminates Adorno’s important revisions to this fraught concept and how his different understanding of autonomous agency, fully articulated, might open up new and positive social and political possibilities. Altogether, Autonomy after Auschwitz is a meditation on modern evil and human agency, one that demonstrates the tremendous ethical stakes at the heart of philosophy.

Autonomy After Auschwitz: Adorno, German Idealism, and Modernity

Ever since Kant and Hegel, the notion of autonomy—the idea that we are beholden to no law except one we impose upon ourselves—has been considered the truest philosophical expression of human freedom. But could our commitment to autonomy, as Theodor Adorno asked, be related to the extreme evils that we have witnessed in modernity? In Autonomy after Auschwitz, Martin Shuster explores this difficult question with astonishing theoretical acumen, examining the precise ways autonomy can lead us down a path of evil and how it might be prevented from doing so. Shuster uncovers dangers in the notion of autonomy as it was originally conceived by Kant. Putting Adorno into dialogue with a range of European philosophers, notably Kant, Hegel, Horkheimer, and Habermas—as well as with a variety of contemporary Anglo-American thinkers such as Richard Rorty, Stanley Cavell, John McDowell, and Robert Pippin—he illuminates Adorno’s important revisions to this fraught concept and how his different understanding of autonomous agency, fully articulated, might open up new and positive social and political possibilities. Altogether, Autonomy after Auschwitz is a meditation on modern evil and human agency, one that demonstrates the tremendous ethical stakes at the heart of philosophy.

Autonomy After Auschwitz: Adorno, German Idealism, and Modernity

Ever since Kant and Hegel, the notion of autonomy—the idea that we are beholden to no law except one we impose upon ourselves—has been considered the truest philosophical expression of human freedom. But could our commitment to autonomy, as Theodor Adorno asked, be related to the extreme evils that we have witnessed in modernity? In Autonomy after Auschwitz, Martin Shuster explores this difficult question with astonishing theoretical acumen, examining the precise ways autonomy can lead us down a path of evil and how it might be prevented from doing so. Shuster uncovers dangers in the notion of autonomy as it was originally conceived by Kant. Putting Adorno into dialogue with a range of European philosophers, notably Kant, Hegel, Horkheimer, and Habermas—as well as with a variety of contemporary Anglo-American thinkers such as Richard Rorty, Stanley Cavell, John McDowell, and Robert Pippin—he illuminates Adorno’s important revisions to this fraught concept and how his different understanding of autonomous agency, fully articulated, might open up new and positive social and political possibilities. Altogether, Autonomy after Auschwitz is a meditation on modern evil and human agency, one that demonstrates the tremendous ethical stakes at the heart of philosophy.