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

Advancing Peace Research: Leaving Traces, Selected Articles by J. David Singer

Professor J. David Singer has been arguably the most important influence on quantitative research into the causes and attributes of war. His pioneering work on the Correlates of War project at the University of Michigan and his numerous books and articles have inspired generations of researchers in the fields of international relations, conflict analysis, security studies and peace science. This collection is a carefully selected overview of his work which provides not only an excellent introduction to his considerable methodological, theoretical and empirical contributions but also an intellectual history of developments in the field of international relations which are reflected in Professor Singer's work. This is essential reading for all those with an interest in the use of quantitative methods in social science, the changing nature of the study of international relations and the analysis of war and peace.

Advancing Peace Research: Leaving Traces, Selected Articles by J. David Singer

Professor J. David Singer has been arguably the most important influence on quantitative research into the causes and attributes of war. His pioneering work on the Correlates of War project at the University of Michigan and his numerous books and articles have inspired generations of researchers in the fields of international relations, conflict analysis, security studies and peace science. This collection is a carefully selected overview of his work which provides not only an excellent introduction to his considerable methodological, theoretical and empirical contributions but also an intellectual history of developments in the field of international relations which are reflected in Professor Singer's work. This is essential reading for all those with an interest in the use of quantitative methods in social science, the changing nature of the study of international relations and the analysis of war and peace.

Advancing Multicultural Dialogues in Education

This edited collection advances the call for continued multicultural dialogues within education. Dialogue and education are the two most essential tools that can help tackle some of the biggest problems we are facing across the globe, including fanaticism, chauvinistic nationalism, religious fundamentalism and racism. The contributors to this book explore the necessity of sustained dialogue within the wider social and political sciences alongside in national and international politics, where more multicultural voices need to be heard in order to make progress. The book builds on existing evidence and literature to advocate in favour of this movement, and highlights how important and significant multiculturalism and multicultural education remains. It will be essential reading for students and academics working in the fields of education and sociology, particularly those with an interest in social justice and multiculturalism.

Advancing Multicultural Dialogues in Education

This edited collection advances the call for continued multicultural dialogues within education. Dialogue and education are the two most essential tools that can help tackle some of the biggest problems we are facing across the globe, including fanaticism, chauvinistic nationalism, religious fundamentalism and racism. The contributors to this book explore the necessity of sustained dialogue within the wider social and political sciences alongside in national and international politics, where more multicultural voices need to be heard in order to make progress. The book builds on existing evidence and literature to advocate in favour of this movement, and highlights how important and significant multiculturalism and multicultural education remains. It will be essential reading for students and academics working in the fields of education and sociology, particularly those with an interest in social justice and multiculturalism.

Advances in the Statistical Sciences: Volume II of the Festschrift in Honor of Professor V.M. Joshi’s 70th Birthday (The Western Ontario Series in Philosophy of Science #35)

On May 27-31, 1985, a series of symposia was held at The University of Western Ontario, London, Canada, to celebrate the 70th birthday of Pro­ fessor V. M. Joshi. These symposia were chosen to reflect Professor Joshi's research interests as well as areas of expertise in statistical science among faculty in the Departments of Statistical and Actuarial Sciences, Economics, Epidemiology and Biostatistics, and Philosophy. From these symposia, the six volumes which comprise the "Joshi Festschrift" have arisen. The 117 articles in this work reflect the broad interests and high quality of research of those who attended our conference. We would like to thank all of the contributors for their superb cooperation in helping us to complete this project. Our deepest gratitude must go to the three people who have spent so much of their time in the past year typing these volumes: Jackie Bell, Lise Constant, and Sandy Tarnowski. This work has been printed from "camera ready" copy produced by our Vax 785 computer and QMS Lasergraphix printers, using the text processing software TEX. At the initiation of this project, we were neophytes in the use of this system. Thank you, Jackie, Lise, and Sandy, for having the persistence and dedication needed to complete this undertaking.

Advances in Temporal Logic (Applied Logic Series #16)

Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult and child alike. It has been studied across a wide range of disciplines, from the natural sciences to philosophy and logic. Today, thirty plus years since Prior's work in laying out foundations for temporal logic, and two decades on from Pnueli's seminal work applying of temporal logic in specification and verification of computer programs, temporal logic has a strong and thriving international research community within the broad disciplines of computer science and artificial intelligence. Areas of activity include, but are certainly not restricted to: Pure Temporal Logic, e. g. temporal systems, proof theory, model theory, expressiveness and complexity issues, algebraic properties, application of game theory; Specification and Verification, e. g. of reactive systems, ofreal-time components, of user interaction, of hardware systems, techniques and tools for verification, execution and prototyping methods; Temporal Databases, e. g. temporal representation, temporal query­ ing, granularity of time, update mechanisms, active temporal data­ bases, hypothetical reasoning; Temporal Aspects in AI, e. g. modelling temporal phenomena, in­ terval temporal calculi, temporal nonmonotonicity, interaction of temporal reasoning with action/knowledge/belief logics, temporal planning; Tense and Aspect in Natural Language, e. g. models, ontologies, temporal quantifiers, connectives, prepositions, processing tempo­ ral statements; Temporal Theorem Proving, e. g. translation methods, clausal and non-clausal resolution, tableaux, automata-theoretic approaches, tools and practical systems.

Advances in Techno-Humanities: Case Studies from Culture, Philosophy and the Arts (Routledge Studies in Translation Technology and Techno-Humanities)

This book is a pioneering attempt to explore the relationships between technology and the humanities through case studies and specific contexts in the areas of language, theatre, literature, translation, philosophy, music, home designations, learning environment, and artificial intelligence. Written by scholars and specialists across various fields, the chapters explore the emerging field of techno-humanities. This book examines the development of language and society by means of Big Data, how technology is integrated into the theatres of Hong Kong and the ensuing results of such integration. The authors also highlight how technology is able to analyse, understand, and visualise literary works and to bring drastic changes to translation in the past seven decades. Long-standing philosophical issues are re-examined, linkages between technology and theoretical concepts are illuminated, and the emotional aspects of computational applications are investigated. This book also delves into insightful case studies such as providing suggestions to train novice translators through corpus-assisted translation teaching, analysing patterns of housing names, and discovering a new online method to acknowledge acquisition through authentic learning experiences. Overall, this book serves as a point of departure for us to go deeper into the role of technology in transforming the humanities in this digital age. This is a useful read for students and scholars interested in learning more about the cross section between humanities and technology.

Advances in Techno-Humanities: Case Studies from Culture, Philosophy and the Arts (Routledge Studies in Translation Technology and Techno-Humanities)

This book is a pioneering attempt to explore the relationships between technology and the humanities through case studies and specific contexts in the areas of language, theatre, literature, translation, philosophy, music, home designations, learning environment, and artificial intelligence. Written by scholars and specialists across various fields, the chapters explore the emerging field of techno-humanities. This book examines the development of language and society by means of Big Data, how technology is integrated into the theatres of Hong Kong and the ensuing results of such integration. The authors also highlight how technology is able to analyse, understand, and visualise literary works and to bring drastic changes to translation in the past seven decades. Long-standing philosophical issues are re-examined, linkages between technology and theoretical concepts are illuminated, and the emotional aspects of computational applications are investigated. This book also delves into insightful case studies such as providing suggestions to train novice translators through corpus-assisted translation teaching, analysing patterns of housing names, and discovering a new online method to acknowledge acquisition through authentic learning experiences. Overall, this book serves as a point of departure for us to go deeper into the role of technology in transforming the humanities in this digital age. This is a useful read for students and scholars interested in learning more about the cross section between humanities and technology.

Advances in Speech and Music Technology: Proceedings of FRSM 2020 (Advances in Intelligent Systems and Computing #1320)

This book features original papers from 25th International Symposium on Frontiers of Research in Speech and Music (FRSM 2020), jointly organized by National Institute of Technology, Silchar, India, during 8–9 October 2020. The book is organized in five sections, considering both technological advancement and interdisciplinary nature of speech and music processing. The first section contains chapters covering the foundations of both vocal and instrumental music processing. The second section includes chapters related to computational techniques involved in the speech and music domain. A lot of research is being performed within the music information retrieval domain which is potentially interesting for most users of computers and the Internet. Therefore, the third section is dedicated to the chapters related to music information retrieval. The fourth section contains chapters on the brain signal analysis and human cognition or perception of speech and music. The final section consists of chapters on spoken language processing and applications of speech processing.

Advances in Soft Computing: 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part I (Lecture Notes in Computer Science #10632)

The two-volume set LNAI 10632 and 10633 constitutes the proceedings of the 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, held in Enseneda, Mexico, in October 2017. The total of 60 papers presented in these two volumes was carefully reviewed and selected from 203 submissions. The contributions were organized in the following topical sections: Part I: neural networks; evolutionary algorithms and optimization; hybrid intelligent systems and fuzzy logic; and machine learning and data mining. Part II: natural language processing and social networks; intelligent tutoring systems and educational applications; and image processing and pattern recognition.

Advances in Soft Computing: 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 – November 2, 2019, Proceedings (Lecture Notes in Computer Science #11835)

This volume constitutes the proceedings of the 18th Mexican Conference on Artificial Intelligence, MICAI 2019, held in Xalapa, Mexico, in October/November 2019. The 59 full papers presented in this volume were carefully reviewed and selected from 148 submissions. They cover topics such as: machine learning; optimization and planning; fuzzy systems, reasoning and intelligent applications; and vision and robotics.

Advances in Religion, Cognitive Science, and Experimental Philosophy (Advances in Experimental Philosophy)

Experimental philosophy has blossomed into a variety of philosophical fields including ethics, epistemology, metaphysics and philosophy of language. But there has been very little experimental philosophical research in the domain of philosophy of religion. Advances in Religion, Cognitive Science, and Experimental Philosophy demonstrates how cognitive science of religion has the methodological and conceptual resources to become a form of experimental philosophy of religion.Addressing a wide variety of empirical claims that are of interest to philosophers and psychologists of religion, a team of psychologists and philosophers apply data from the psychology of religion to important problems in the philosophy of religion including the psychology of religious diversity; the psychology of substance dualism; the problem of evil and the relation between religious belief and empathy; and the cognitive science explaining the formation of intuitions that unwittingly guide philosophers of religion when formulating arguments.Bringing together authors and researchers who have made important contributions to interdisciplinary research on religion in the last decade, Advances in Religion, Cognitive Science, and Experimental Philosophy provides new ways of approaching core philosophical and psychological problems.

Advances in Religion, Cognitive Science, and Experimental Philosophy (Advances in Experimental Philosophy)

Experimental philosophy has blossomed into a variety of philosophical fields including ethics, epistemology, metaphysics and philosophy of language. But there has been very little experimental philosophical research in the domain of philosophy of religion. Advances in Religion, Cognitive Science, and Experimental Philosophy demonstrates how cognitive science of religion has the methodological and conceptual resources to become a form of experimental philosophy of religion.Addressing a wide variety of empirical claims that are of interest to philosophers and psychologists of religion, a team of psychologists and philosophers apply data from the psychology of religion to important problems in the philosophy of religion including the psychology of religious diversity; the psychology of substance dualism; the problem of evil and the relation between religious belief and empathy; and the cognitive science explaining the formation of intuitions that unwittingly guide philosophers of religion when formulating arguments.Bringing together authors and researchers who have made important contributions to interdisciplinary research on religion in the last decade, Advances in Religion, Cognitive Science, and Experimental Philosophy provides new ways of approaching core philosophical and psychological problems.

Advances in Proof Theory (Progress in Computer Science and Applied Logic #28)

The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and type-theoretic formalisms, and abstract computations. The volume is dedicated to the 60th birthday of Professor Gerhard Jäger, who has been instrumental in shaping and promoting logic in Switzerland for the last 25 years. It comprises contributions from the symposium “Advances in Proof Theory”, which was held in Bern in December 2013.​Proof theory came into being in the twenties of the last century, when it was inaugurated by David Hilbert in order to secure the foundations of mathematics. It was substantially influenced by Gödel's famous incompleteness theorems of 1930 and Gentzen's new consistency proof for the axiom system of first order number theory in 1936. Today, proof theory is a well-established branch of mathematical and philosophical logic and one of the pillars of the foundations of mathematics. Proof theory explores constructive and computational aspects of mathematical reasoning; it is particularly suitable for dealing with various questions in computer science.

Advances in Proof-Theoretic Semantics (Trends in Logic #43)

This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory.The field of proof-theoretic semantics has existed for almost 50 years, but the term itself was proposed by Schroeder-Heister in the 1980s. Proof-theoretic semantics explains the meaning of linguistic expressions in general and of logical constants in particular in terms of the notion of proof. This volume emerges from presentations at the Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013, where contributing authors were asked to provide a self-contained description and analysis of a significant research question in this area. The contributions are representative of the field and should be of interest to logicians, philosophers, and mathematicians alike.

Advances in Neurophilosophy (Advances in Experimental Philosophy)

Bringing together recent case studies and insights into current developments, this collection introduces philosophers to a range of experimental methods from neuroscience. Chapters provide a comprehensive survey of the discipline, covering neuroimaging such as EEG and MRI, causal interventions like brain stimulation, advanced statistical methods, and approaches drawing on research into the development of human individuals and humankind. A team of experts combine clear explanations of complex methods with reports of cutting-edge research, advancing our understanding of how these tools can be applied to further philosophical inquiries into agency, emotions, enhancement, perception, personhood and more. With contributions organised by neuroscientific method, this volume provides an accessible overview for students and scholars coming to neurophilosophy for the first time, presenting a range of topics from responsibility to metacognition.

Advances in Neurophilosophy (Advances in Experimental Philosophy)

Bringing together recent case studies and insights into current developments, this collection introduces philosophers to a range of experimental methods from neuroscience. Chapters provide a comprehensive survey of the discipline, covering neuroimaging such as EEG and MRI, causal interventions like brain stimulation, advanced statistical methods, and approaches drawing on research into the development of human individuals and humankind. A team of experts combine clear explanations of complex methods with reports of cutting-edge research, advancing our understanding of how these tools can be applied to further philosophical inquiries into agency, emotions, enhancement, perception, personhood and more. With contributions organised by neuroscientific method, this volume provides an accessible overview for students and scholars coming to neurophilosophy for the first time, presenting a range of topics from responsibility to metacognition.

Advances in Neural Networks – ISNN 2012: 9th International Symposium on Neural Networks, ISNN 2012, Shenyang, China, July 11-14, 2012. Proceedings, Part I (Lecture Notes in Computer Science #7367)

The two-volume set LNCS 7367 and 7368 constitutes the refereed proceedings of the 9th International Symposium on Neural Networks, ISNN 2012, held in Shenyang, China, in July 2012. The 147 revised full papers presented were carefully reviewed and selected from numerous submissions. The contributions are structured in topical sections on mathematical modeling; neurodynamics; cognitive neuroscience; learning algorithms; optimization; pattern recognition; vision; image processing; information processing; neurocontrol; and novel applications.

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)

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.