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

Logics in Artificial Intelligence: 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012, Proceedings (Lecture Notes in Computer Science #7519)

This book constitutes the refereed proceedings of the 13th European Conference on Logics in Artificial Intelligence, held in Toulouse, France, in September 2012. The book includes 3 invited talks, 36 regular papers, and 5 system descriptions, selected from 107 submissions. The papers cover various aspects of theory and methods of logic for artificial intelligence.

Logics in Artificial Intelligence: 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings (Lecture Notes in Computer Science #12678)

This book constitutes the proceedings of the 17th European Conference on Logics in Artificial Intelligence, JELIA 2021, held as a virtual event, in May 2021. The 27 full papers and 3 short papers included in this volume were carefully reviewed and selected from 68 submissions. The accepted papers span a number of areas within Logics in AI, including: argumentation; belief revision; reasoning about actions, causality, and change; constraint satisfaction; description logics and ontological reasoning; non-classical logics; and logic programming (answer set programming).

Logics in Artificial Intelligence: 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings (Lecture Notes in Computer Science #8761)

This book constitutes the proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014, held in Funchal, Madeira, Portugal, in September 2014. The 35 full papers and 14 short papers included in this volume were carefully reviewed and selected from 121 submissions. They are organized in topical sections named: description logics; automated reasoning; logics for uncertain reasoning; non-classical logics; answer-set programming; belief revision; dealing with inconsistency in ASP and DL; reason about actions and causality; system descriptions; short system descriptions; and short papers. The book also contains 4 full paper invited talks.

Logics in Artificial Intelligence: 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings (Lecture Notes in Computer Science #4160)

This book constitutes the refereed proceedings of the 10th European Conference on Logics in Artificial Intelligence, JELIA 2006. The 34 revised full papers and 12 revised tool description papers presented together with 3 invited talks were carefully reviewed and selected from 96 submissions. The papers cover a range of topics within the remit of the Conference, such as logic programming, description logics, non-monotonic reasoning, agent theories, automated reasoning, and machine learning.

Logics in Artificial Intelligence: European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings (Lecture Notes in Computer Science #2424)

Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings (Lecture Notes in Computer Science #14281)

This book constitutes proceedings of the 18th European Conference on Logics in Artificial Intelligence, JELIA 2023, held in Dresden, Germany, in September 2023.The 41 full papers and 11 short papers included in this volume were carefully reviewed and selected from 111 submissions. The accepted papers span a number of areas within Logics in AI, including: argumentation; belief revision; reasoning about actions, causality, and change; constraint satisfaction; description logics and ontological reasoning; non-classical logics; and logic programming (answer set programming).

Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings (Lecture Notes in Computer Science #5293)

This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, held in Dresden, Germany, Liverpool, in September/October 2008. The 32 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 98 submissions. The papers cover a broad range of topics including belief revision, description logics, non-monotonic reasoning, multi-agent systems, probabilistic logic, and temporal logic.

Logics in Artificial Intelligence: 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, Proceedings (Lecture Notes in Computer Science #6341)

Logics in Artificial Intelligence: 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings (Lecture Notes in Computer Science #10021)

This book constitutes the proceedings of the 15th European Conference on Logics in Artificial Intelligence, JELIA 2016, held in Larnaca, Cyprus, in November 2015. The 32 full papers and 10 short papers included in this volume were carefully reviewed and selected from 88 submissions. The accepted papers span a number of areas within Logics in AI, including: belief revision, answer set programming, argumentation, probabilistic reasoning, handling inconsistencies, temporal logics and planning, description logics, and decidability and complexity results.

Logics in Artificial Intelligence: European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings (Lecture Notes in Computer Science #1919)

Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics (Atlantis Studies in Computing #3)

In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior. The work is organized in two parts. In the first part two logics for computations, the graded computation tree logic and the computation tree logic with minimal model quantifiers are discussed. These have proved to be useful in describing correct executions of monolithic closed systems. The second part focuses on logics for strategies, strategy logic and memoryful alternating-time temporal logic, which have been successfully applied to formalize several properties of interactive plays in multi-entities systems modeled as multi-agent games.

Logics of Organization Theory: Audiences, Codes, and Ecologies

Building theories of organizations is challenging: theories are partial and "folk" categories are fuzzy. The commonly used tools--first-order logic and its foundational set theory--are ill-suited for handling these complications. Here, three leading authorities rethink organization theory. Logics of Organization Theory sets forth and applies a new language for theory building based on a nonmonotonic logic and fuzzy set theory. In doing so, not only does it mark a major advance in organizational theory, but it also draws lessons for theory building elsewhere in the social sciences. Organizational research typically analyzes organizations in categories such as "bank," "hospital," or "university." These categories have been treated as crisp analytical constructs designed by researchers. But sociologists increasingly view categories as constructed by audiences. This book builds on cognitive psychology and anthropology to develop an audience-based theory of organizational categories. It applies this framework and the new language of theory building to organizational ecology. It reconstructs and integrates four central theory fragments, and in so doing reveals unexpected connections and new insights.

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application. In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development. The book contains extensive references and pointers to future developments.

Logics of Variable Inclusion (Trends in Logic #59)

This monograph shows that, through a recourse to the concepts and methods of abstract algebraic logic, the algebraic theory of regular varieties and the concept of analyticity in formal logic can profitably interact. By extending the technique of Plonka sums from algebras to logical matrices, the authors investigate the different classes of models for logics of variable inclusion and they shed new light into their formal properties.The book opens with the historical origins of logics of variable inclusion and on their philosophical motivations. It includes the basics of the algebraic theory of regular varieties and the construction of Plonka sums over semilattice direct systems of algebra. The core of the book is devoted to an abstract definition of logics of left and right variable inclusion, respectively, and the authors study their semantics using the construction of Plonka sums of matrix models. The authors also cover Paraconsistent Weak Kleene logic and survey its abstract algebraic logical properties. This book is of interest to scholars of formal logic.

Logik für Dummies (Für Dummies)

Logik ist die Basis der Wissenschaft, aber auch eine Brücke zwischen Wissenschaft und Alltag, denn die Grundlagen sind einfach logisch. Doch so einfach sie auf den ersten Blick scheint, so anspruchsvoll ist sie im Detail. "Logik kompakt für Dummies" führt Sie systematisch und so einfach wie möglich in dieses Teilgebiet von Mathematik und Philosophie ein. Dabei arbeitet Mark Zegarelli mit anschaulichen Beispielen und schafft es so, dieses abstrakte Thema nicht nur verständlich zu erklären, sondern auch Wert und Nutzen der Logik aufzuzeigen.

Logik für Informatiker: Eine Einführung (Leitfäden und Monographien der Informatik)

Logik unterm Galgen: Ein Mathematical in 20 Problemen

Logik unterm Galgen: Ein Mathematical in 20 Problemen

Logische Grundlagen der Mathematik (Springer-Lehrbuch)

Der Autor vermittelt logisches Grundwissen, fundamentale Beweisprinzipien und Methoden der Mathematik. Dabei geht er u. a. folgenden Fragen nach: Was unterscheidet endliche von unendlichen Mengen? Wie lassen sich die ganzen, rationalen und reellen Zahlen aus den natürlichen Zahlen konstruieren? Welche grundlegenden topologischen Eigenschaften besitzt die Menge der reellen Zahlen? Lassen sich die natürlichen oder reellen Zahlen vollständig axiomatisch beschreiben? Pflichtlektüre für alle Studierenden der Mathematik, Physik und Informatik.

Logische Strukturen beim Beweisen und ihre Verbalisierung: Eine sprachintegrative Entwicklungs­forschungsstudie zum fachlichen Lernen (Dortmunder Beiträge zur Entwicklung und Erforschung des Mathematikunterrichts #46)

Beweisen ist eine zentrale Tätigkeit innerhalb der universitären Mathematik. Im Mathematikunterricht gibt es jedoch zumeist wenig Lerngelegenheiten, um Beweisen zu erlernen. Insbesondere Lehr-Lern-Arrangements zur Förderung des Beweisens unter Berücksichtigung der sprachlichen Anforderungen fehlen. Aus diesem Grund stellt Kerstin Hein ein theoretisch fundiertes und empirisch erprobtes Lehr-Lern-Arrangement zur Förderung des Beweisens vor. Sie untersucht dafür logische Strukturen und die darauf bezogenen Beweistätigkeiten unter Berücksichtigung der Sprache, die bisher selten als Lerngegenstand betrachtet wurden. Die Autorin rekonstruiert Wirkungsweisen von graphischen und sprachlichen Unterstützungsformaten und die individuellen Lernwege bei der Bearbeitung des entwickelten Lehr-Lern-Arrangements.

Logische Syntax der Sprache

Logische Syntax der Sprache (Schriften zur wissenschaftlichen Weltauffassung #8)

Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.

The Logistic Map and the Route to Chaos: From the Beginnings to Modern Applications (Understanding Complex Systems)

Pierre-Francois Verhulst, with his seminal work using the logistic map to describe population growth and saturation, paved the way for the many applications of this tool in modern mathematics, physics, chemistry, biology, economics and sociology. Indeed nowadays the logistic map is considered a useful and paradigmatic showcase for the route leading to chaos. This volume gathers contributions from some of the leading specialists in the field to present a state-of-the art view of the many ramifications of the developments initiated by Verhulst over a century ago.

Logistic Regression: A Self-Learning Text (Statistics for Biology and Health)

This text on logistic regression methods contains the following eight chapters: 1 Introduction to Logistic Regression 2 Important Special Cases of the Logistic Model 3 Computing the Odds Ratio in Logistic Regression 4 Maximum Likelihood Techniques: An Overview 5 Statistical Inferences Using Maximum Likelihood Techniques 6 Modeling Strategy Guidelines 7 Modeling Strategy for Assessing Interaction and Confounding 8 Analysis of Matched Data Using Logistic Regression Each chapter contains a presentation of its topic in "lecture-book" format together with objectives, an outline, key formulae, practice exercises, and a test. The "lecture-book" has a sequence of illustrations and formulae in the left column of each page and a script in the right column. This format allows you to read the script in conjunction with the illustrations and formulae that high­ light the main points, formulae, or examples being presented. The reader mayaiso purchase directly from the author audio-cassette tapes of each chapter. If you purchase the tapes, you may use the tape with the illustrations and formulae, ignoring the script. The use of the audiotape with the illustrations and formulae is intended to be similar to a lecture. An audio cassette player is the only equipment required. Tapes may be obtained by writing or calling the author at the following address: Depart­ ment of Epidemiology, School of Public Health, Emory University, 1599 Clifton Rd. N. E. , Atlanta, GA 30333, phone (404) 727-9667. This text is intended for self-study.

Logistic Regression: A Self-Learning Text (Statistics for Biology and Health)

This is the second edition of this text on logistic regression methods, ori- nally published in 1994. As in the first edition, each chapter contains a presentation of its topic in “lecture-book” format together with objectives, an outline, key formulae, practice exercises, and a test. The “lecture-book” has a sequence of illust- tions and formulae in the left column of each page and a script (i.e., text) in the right column. This format allows you to read the script in conjunction with the illustrations and formulae that highlight the main points, formulae, or examples being presented. This second edition has expanded the first edition by adding five new ch- ters and a new appendix. The five new chapters are Chapter 9. Polytomous Logistic Regression Chapter 10. Ordinal Logistic Regression Chapter 11. Logistic Regression for Correlated Data: GEE Chapter 12. GEE Examples Chapter 13. Other Approaches for Analysis of Correlated Data Chapters 9 and 10 extend logistic regression to response variables that have more than two categories. Chapters 11–13 extend logistic regression to gen- alized estimating equations (GEE) and other methods for analyzing cor- lated response data. The appendix is titled “Computer Programs for Logistic Regression” and p- vides descriptions and examples of computer programs for carrying out the variety of logistic regression procedures described in the main text. The so- ware packages considered are SAS Version 8.0, SPSS Version 10.0, and STATA Version 7.0.