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

Advances in Experimental Philosophy of Logic and Mathematics (Advances in Experimental Philosophy)

This book explores the results of applying empirical methods to the philosophy of logic and mathematics. Much of the work that has earned experimental philosophy a prominent place in twenty-first century philosophy is concerned with ethics or epistemology. But, as this book shows, empirical methods are just as much at home in logic and the philosophy of mathematics. Chapters demonstrate and discuss the applicability of a wide range of empirical methods including experiments, surveys, interviews, and data-mining. Distinct themes emerge that reflect recent developments in the field, such as issues concerning the logic of conditionals and the role played by visual elements in some mathematical proofs.Featuring leading figures from experimental philosophy and the fields of philosophy of logic and mathematics, this collection reveals that empirical work in these disciplines has been quietly thriving for some time and stresses the importance of collaboration between philosophers and researchers in mathematics education and mathematical cognition.

Advances in Experimental Philosophy of Mind (Advances in Experimental Philosophy)

The past decade has witnessed an exciting (and controversial) new approach to philosophy: Experimental philosophers aim to supplement, and perhaps to supplant, traditional philosophical approaches by employing empirical methods from the social sciences. In Advances in Experimental Philosophy of Mind, leading experimental philosophers apply these methods to questions about the nature of the mind, the self, consciousness, moral judgment, and concepts.By bringing empirical methods to bear on key issues, Advances in Experimental Philosophy of Mind pushes the debates forward, casting new insight on perennial problems. This is an essential resource for professors, graduate students, and advanced undergraduates interested in either philosophy of mind or the burgeoning field of experimental philosophy.

Advances in Experimental Philosophy of Mind (Advances in Experimental Philosophy)

The past decade has witnessed an exciting (and controversial) new approach to philosophy: Experimental philosophers aim to supplement, and perhaps to supplant, traditional philosophical approaches by employing empirical methods from the social sciences. In Advances in Experimental Philosophy of Mind, leading experimental philosophers apply these methods to questions about the nature of the mind, the self, consciousness, moral judgment, and concepts.By bringing empirical methods to bear on key issues, Advances in Experimental Philosophy of Mind pushes the debates forward, casting new insight on perennial problems. This is an essential resource for professors, graduate students, and advanced undergraduates interested in either philosophy of mind or the burgeoning field of experimental philosophy.

Advances in Experimental Philosophy of Science (Advances in Experimental Philosophy)

This volume gathers together leading philosophers of science and cognitive scientists from around the world to provide one of the first book-length studies of this important and emerging field. Specific topics considered include learning and the nature of scientific knowledge, the cognitive consequences of exposure to explanations, climate change, and mechanistic reasoning and abstraction. Chapters explore how experimental methods can be applied to questions about the nature of science and show how to fruitfully theorize about the nature and role of science with well-grounded empirical research. Advances in Experimental Philosophy of Science presents a new direction in the philosophical exploration of science and paves a path for those who might seek to pursue research in experimental philosophy of science.

Advances in Experimental Philosophy of Science (Advances in Experimental Philosophy)

This volume gathers together leading philosophers of science and cognitive scientists from around the world to provide one of the first book-length studies of this important and emerging field. Specific topics considered include learning and the nature of scientific knowledge, the cognitive consequences of exposure to explanations, climate change, and mechanistic reasoning and abstraction. Chapters explore how experimental methods can be applied to questions about the nature of science and show how to fruitfully theorize about the nature and role of science with well-grounded empirical research. Advances in Experimental Philosophy of Science presents a new direction in the philosophical exploration of science and paves a path for those who might seek to pursue research in experimental philosophy of science.

Advances in Experimental Political Philosophy (Advances in Experimental Philosophy)

Political philosophy asks questions of great importance to our lives, both as individuals and members of political communities: What is justice? What does the state owe to its citizens? Under which conditions are different forms of government likely to be stable? The relevance of empirical research to such questions, however, has been largely underexplored. Introducing experimental political philosophy as a burgeoning field of inquiry, this volume brings together leading scholars using empirical methods to shed light on questions of justice and politics, and encourages them to reflect on the relationship of their methodologies to less empirically-focused approaches. Chapters cover traditional topics including distributive justice, egalitarianism, property rights, and healthcare justice, as well as outlining new directions and applications, such as the problem of misogynistic extremist movements, the public justification of immigration enforcement, and the relationship between gender norms and support for care labor organizing. The result is a unique collection that paves the way for further debates in the field and meaningful reflection on what it means for political philosophy to be empirically informed.

Advances in Experimental Political Philosophy: (PDF) (Advances in Experimental Philosophy)

Political philosophy asks questions of great importance to our lives, both as individuals and members of political communities: What is justice? What does the state owe to its citizens? Under which conditions are different forms of government likely to be stable? The relevance of empirical research to such questions, however, has been largely underexplored. Introducing experimental political philosophy as a burgeoning field of inquiry, this volume brings together leading scholars using empirical methods to shed light on questions of justice and politics, and encourages them to reflect on the relationship of their methodologies to less empirically-focused approaches. Chapters cover traditional topics including distributive justice, egalitarianism, property rights, and healthcare justice, as well as outlining new directions and applications, such as the problem of misogynistic extremist movements, the public justification of immigration enforcement, and the relationship between gender norms and support for care labor organizing. The result is a unique collection that paves the way for further debates in the field and meaningful reflection on what it means for political philosophy to be empirically informed.

Advances in Fuzzy Sets, Possibility Theory, and Applications

Since its inception by Professor Lotfi Zadeh about 18 years ago, the theory of fuzzy sets has evolved in many directions, and is finding applications in a wide variety of fields in which the phenomena under study are too complex or too ill-defined to be analyzed by conventional techniques. Thus, by providing a basis for a systematic approach to approximate reasoning and inexact inference, the theory of fuzzy sets may well have a substantial impact on scientific methodology in the years ahead, particularly in the realms of psychology, economics, engineering, law, medicine, decision-analysis, information retrieval, and artificial intelli­ gence. This volume consists of 24 selected papers invited by the editor, Professor Paul P. Wang. These papers cover the theory and applications of fuzzy sets, almost equal in number. We are very fortunate to have Professor A. Kaufmann to contribute an overview paper of the advances in fuzzy sets. One special feature of this volume is the strong participation of Chinese researchers in this area. The fact is that Chinese mathematicians, scientists and engineers have made important contributions to the theory and applications of fuzzy sets through the past decade. However, not until the visit of Professor A. Kaufmann to China in 1974 and again in 1980, did the Western World become fully aware of the important work of Chinese researchers. Now, Professor Paul Wang has initiated the effort to document these important contributions in this volume to expose them to the western researchers.

Advances in Geoethics and Groundwater Management: Proceedings of the 1st Congress on Geoethics and Groundwater Management (GEOETH&GWM'20), Porto, Portugal 2020 (Advances in Science, Technology & Innovation)

This book gathers the peer-reviewed proceedings of the 1st congress on Geoethics & Groundwater Management (GEOETH&GWM'20), held in Porto, Portugal, in an online format on 18-22 May 2020. Hosted in School of Engineering (ISEP), Polytechnic of Porto based on Porto city (a UNESCO World Heritage Site), the international conference focused on what has now been dubbed “hydrogeoethics”, a novel transdisciplinary, scientific field integrating all dimensions of geoethics in groundwater science and practice. Given its scope, the book is of interest to all researchers and practitioners in the geosciences, hydrology, water resources, hydrogeology, natural resources management, environment, engineering, law, sociology, education, philosophy, culture, among others.This joint congress is the result of a collaborative agreement between the IAH (International Association of Hydrogeologists) and IAPG (International Association for Promoting Geoethics) and reflects the need for concerted actions to achieve sustainable development.The diversity, scale, significance and increasing magnitude of anthropogenic interactions with aquifers and groundwater, which often involve conflicting values or interests, call for analysis, discussions and decisions on the part of the agents involved, e.g. groundwater scientists, policymakers, managers, organisations, professionals and citizens. This approach calls for a responsible, sustainable and human approach to groundwater use and management.The groundwater community involved in the exploration and exploitation, use and management of this increasingly vital natural resource is becoming more and more aware that ethical issues pervade all our attitudes from concept to action and need to be addressed. Diverse values and cultures, science and education, law and policies, human and natural environments and the public and the economic sectors view groundwater and its value and/or role differently. The authors believe that in a globalised and interconnected world, common ground must be found in the interest of peace, human development and sustainability. The main topics covered here include:1. Fundamentals of hydrogeoethics: cultures, principles and geoethical values on groundwater science and engineering2. Lessons for a resilient and sustainable future with hydrogeoethics: case studies of geoethics in groundwater science-engineering, profession, and management3. Scientific and humanistic components of hydrogeoethics in groundwater education and professional training 4. Socio-hydrogeology and ethical groundwater management 5. Geoethics of decision making under uncertainty and ethical issues in neglecting groundwater functioning 6. Groundwater: geological, legal, social, and ethical challenges of a unique natural resource

Advances in Geometric Modeling and Processing: 5th International Conference,GMP 2008, Hangzhou, China, April 23-25, 2008, Proceedings (Lecture Notes in Computer Science #4975)

GeometricModelingandProcessing(GMP)isabiennialinternationalconference on geometric modeling, simulation and computing, which provides researchers and practitioners with a forum for exchanging new ideas, discussing new app- cations, and presenting new solutions. Previous GMP conferences were held in Pittsburgh (2006), Beijing (2004), Tokyo (2002), and Hong Kong (2000). This, the 5th GMP conference, was held in Hangzhou, one of the most beautiful cities in China. GMP 2008 received 113 paper submissions, covering a wide spectrum of - ometric modeling and processing, such as curves and surfaces, digital geometry processing, geometric feature modeling and recognition, geometric constraint solving, geometric optimization, multiresolution modeling, and applications in computer vision, image processing, scienti?c visualization, robotics and reverse engineering. Each paper was reviewed by at least three members of the program committee andexternalreviewers.Basedonthe recommendations ofthe revi- ers, 34 regular papers were selected for oral presentation, and 17 short papers were selected for poster presentation. All selected papers are included in these proceedings. We thank all authors, external reviewers and program committee members for their great e?ort and contributions, which made this conference a success.

Advances in Intensional Logic (Applied Logic Series #7)

Intensional logic has emerged, since the 1960' s, as a powerful theoretical and practical tool in such diverse disciplines as computer science, artificial intelligence, linguistics, philosophy and even the foundations of mathematics. The present volume is a collection of carefully chosen papers, giving the reader a taste of the frontline state of research in intensional logics today. Most papers are representative of new ideas and/or new research themes. The collection would benefit the researcher as well as the student. This book is a most welcome addition to our series. The Editors CONTENTS PREFACE IX JOHAN VAN BENTHEM AND NATASHA ALECHINA Modal Quantification over Structured Domains PATRICK BLACKBURN AND WILFRIED MEYER-VIOL Modal Logic and Model-Theoretic Syntax 29 RUY J. G. B. DE QUEIROZ AND DOV M. GABBAY The Functional Interpretation of Modal Necessity 61 VLADIMIR V. RYBAKOV Logics of Schemes for First-Order Theories and Poly-Modal Propositional Logic 93 JERRY SELIGMAN The Logic of Correct Description 107 DIMITER VAKARELOV Modal Logics of Arrows 137 HEINRICH WANSING A Full-Circle Theorem for Simple Tense Logic 173 MICHAEL ZAKHARYASCHEV Canonical Formulas for Modal and Superintuitionistic Logics: A Short Outline 195 EDWARD N. ZALTA 249 The Modal Object Calculus and its Interpretation NAME INDEX 281 SUBJECT INDEX 285 PREFACE Intensional logic has many faces. In this preface we identify some prominent ones without aiming at completeness.

Advances in Intrinsic Motivation and Aesthetics

It has been both a pleasure and an honor to edit this book. The pleasure has been in interacting with the gifted authors who wrote the chapters for this volume and the honor has been in knowing that the book is dedicated to a great man and a brilliant psychologist-Daniel E. Berlyne. All the contributors to this book have been touched, at some time, by Dan Berlyne and his ideas. Whether as his teachers, his colleages, his peers, his students, or his friends and arguing partners, we have all felt his presence and been improved by it. The list of contributors to this volume is large and could have been much larger, for a number of people, in fact, contacted me for the oppor­ tunity to contribute when they heard about the purpose of this book. It is also an international list, for Dan Berlyne's contacts were international. The diversity in content and style is also intentional. The authors were invited to contribute an original paper in the field in which they are presently engaged, whether theoretical or a report of empirical work, and to indicate the contribution that Dan Berlyne had made to their work. As the reader will note, contributions range from personal and contact in a laboratory to ideas that elicit controversy, argument, and intensive re­ search. Daniel Ellis Berlyne was born in Selford, England, a suburb of Man­ chester,in 1924, and died in Toronto, Canada, on November 2, 1976.

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation: Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday (Lecture Notes in Computer Science #9060)

This Festschrift is published in honor of Gerhard Brewka on the occasion of his 60th birthday and contains articles from fields reflecting the breadth of Gerd's work. The 24 scientific papers included in the book are written by close friends and colleagues and cover topics such as Actions and Agents, Nonmonotonic and Human Reasoning, Preferences and Argumentation.

Advances in Learning Classifier Systems: 4th International Workshop, IWLCS 2001, San Francisco, CA, USA, July 7-8, 2001. Revised Papers (PDF) (Lecture Notes in Computer Science #2321)

Advances in Learning Classifier Systems: Third International Workshop, IWLCS 2000, Paris, France, September 15-16, 2000. Revised Papers (Lecture Notes in Computer Science #1996)

Learning classi er systems are rule-based systems that exploit evolutionary c- putation and reinforcement learning to solve di cult problems. They were - troduced in 1978 by John H. Holland, the father of genetic algorithms, and since then they have been applied to domains as diverse as autonomous robotics, trading agents, and data mining. At the Second International Workshop on Learning Classi er Systems (IWLCS 99), held July 13, 1999, in Orlando, Florida, active researchers reported on the then current state of learning classi er system research and highlighted some of the most promising research directions. The most interesting contri- tions to the meeting are included in the book Learning Classi er Systems: From Foundations to Applications, published as LNAI 1813 by Springer-Verlag. The following year, the Third International Workshop on Learning Classi er Systems (IWLCS 2000), held September 15{16 in Paris, gave participants the opportunity to discuss further advances in learning classi er systems. We have included in this volume revised and extended versions of thirteen of the papers presented at the workshop.

Advances in Machine Learning and Cybernetics: 4th International Conference, ICMLC 2005, Guangzhou, China, August 18-21, 2005, Revised Selected Papers (Lecture Notes in Computer Science #3930)

This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Machine Learning and Cybernetics, ICMLC 2005, held in Guangzhou, China in August 2005. The 114 revised full papers of this volume are organized in topical sections on agents and distributed artificial intelligence, control, data mining and knowledge discovery, fuzzy information processing, learning and reasoning, machine learning applications, neural networks and statistical learning methods, pattern recognition, vision and image processing.

Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions (Springer Proceedings in Mathematics & Statistics #369)

​Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th century. He was a long-time professor and professor emeritus of mathematics at the University of Illinois at Urbana-Champaign, USA, before he passed away on May 10, 2017, at the age of 91. Takeuti was one of the founders of Proof Theory, a branch of mathematical logic that originated from Hilbert's program about the consistency of mathematics. Based on Gentzen's pioneering works of proof theory in the 1930s, he proposed a conjecture in 1953 concerning the essential nature of formal proofs of higher-order logic now known as Takeuti's fundamental conjecture and of which he gave a partial positive solution. His arguments on the conjecture and proof theory in general have had great influence on the later developments of mathematical logic, philosophy of mathematics, and applications of mathematical logic to theoretical computer science. Takeuti's work ranged over the whole spectrum of mathematical logic, including set theory, computability theory, Boolean valued analysis, fuzzy logic, bounded arithmetic, and theoretical computer science. He wrote many monographs and textbooks both in English and in Japanese, and his monumental monograph Proof Theory, published in 1975, has long been a standard reference of proof theory. He had a wide range of interests covering virtually all areas of mathematics and extending to physics. His publications include many Japanese books for students and general readers about mathematical logic, mathematics in general, and connections between mathematics and physics, as well as many essays for Japanese science magazines. This volume is a collection of papers based on the Symposium on Advances in Mathematical Logic 2018. The symposium was held September 18–20, 2018, at Kobe University, Japan, and was dedicated to the memory of Professor Gaisi Takeuti.

Advances in Mathematics and Applications: Celebrating 50 years of the Institute of Mathematics, Statistics and Scientific Computing, University of Campinas

This book celebrates the 50th anniversary of the Institute of Mathematics, Statistics and Scientific Computing (IMECC) of the University of Campinas, Brazil, by offering reviews of selected research developed at one of the most prestigious mathematics institutes in Latin America. Written by senior professors at the IMECC, it covers topics in pure and applied mathematics and statistics ranging from differential geometry, dynamical systems, Lie groups, and partial differential equations to computational optimization, mathematical physics, stochastic process, time series, and more. A report on the challenges and opportunities of research in applied mathematics - a highly active field of research in the country - and highlights of the Institute since its foundation in 1968 completes this historical volume, which is unveiled in the same year that the International Mathematical Union (IMU) names Brazil as a member of the Group V of countries with the most relevant contributions in mathematics.

Advances in Natural Deduction: A Celebration of Dag Prawitz's Work (Trends in Logic #39)

This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his seminal research. Dag Prawitz’s work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics in Logic, Linguistics and Theoretical Computer Science.The range of contributions includes material on the extension of natural deduction with higher-order rules, as opposed to higher-order connectives, and a paper discussing the application of natural deduction rules to dealing with equality in predicate calculus. The volume continues with a key chapter summarizing work on the extension of the Curry-Howard isomorphism (itself a by-product of the work on natural deduction), via methods of category theory that have been successfully applied to linear logic, as well as many other contributions from highly regarded authorities. With an illustrious group of contributors addressing a wealth of topics and applications, this volume is a valuable addition to the libraries of academics in the multiple disciplines whose development has been given added scope by the methodologies supplied by natural deduction. The volume is representative of the rich and varied directions that Prawitz work has inspired in the area of natural deduction.

Advances in Natural Language Processing: 8th International Conference on NLP, JapTAL 2012, Kanazawa, Japan, October 22-24, 2012, Proceedings (Lecture Notes in Computer Science #7614)

This book constitutes the refereed proceedings of the 8th International Conference on Advances in Natural Language Processing, JapTAL 2012, Kanazawa, Japan, in October 2012.The 27 revised full papers and 5 revised short papers presented were carefully reviewed and selected from 42 submissions. The papers are organized in topical sections on machine translation, multilingual issues, resouces, semantic analysis, sentiment analysis, as well as speech and generation.

Advances in Natural Language Processing: 9th International Conference on NLP, PolTAL 2014, Warsaw, Poland, September 17-19, 2014. Proceedings (Lecture Notes in Computer Science #8686)

This book constitutes the refereed proceedings of the 9th International Conference on Advances in Natural Language Processing, PolTAL 2014, Warsaw, Poland, in September 2014. The 27 revised full papers and 20 revised short papers presented were carefully reviewed and selected from 83 submissions. The papers are organized in topical sections on morphology, named entity recognition, term extraction; lexical semantics; sentence level syntax, semantics, and machine translation; discourse, coreference resolution, automatic summarization, and question answering; text classification, information extraction and information retrieval; and speech processing, language modelling, and spell- and grammar-checking.

Advances in Natural Language Processing: Third International Conference, PorTAL 2002, Faro, Portugal, June 23-26, 2002. Proceedings (Lecture Notes in Computer Science #2389)

Advances in Natural Language Processing: 6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings (Lecture Notes in Computer Science #5221)

This book constitutes the refereed proceedings of the 6th International Conference on Natural Language Processing, GoTAL 2008, Gothenburg, Sweden, August 2008. The 44 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 107 submissions. The papers address all current issues in computational linguistics and monolingual and multilingual intelligent language processing - theory, methods and applications.

Advances in Natural Language Processing: 5th International Conference, FinTAL 2006 Turku, Finland, August 23-25, 2006 Proceedings (Lecture Notes in Computer Science #4139)

This book constitutes the refereed proceedings of the 5th International Conference on Natural Language Processing, FinTAL 2006, held in Turku, Finland in August 2006. The book presents 72 revised full papers together with 1 invited talk and the extended abstracts of 2 invited keynote addresses. The papers address all current issues in computational linguistics and monolingual and multilingual intelligent language processing - theory, methods and applications.

Advances in Natural Language Processing: 4th International Conference, EsTAL 2004, Alicante, Spain, October 20-22, 2004. Proceedings (Lecture Notes in Computer Science #3230)