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

Computational Logic in Multi-Agent Systems: 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers (Lecture Notes in Computer Science #6214)

Computational Logic in Multi-Agent Systems: 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers (Lecture Notes in Computer Science #5405)

Multi-Agent Systems are communities of problem-solving entities that can exhibit varying degrees of intelligence. They can perceive and react to their environment, they can have individual or joint goals, for which they can plan and execute actions. Work on such systems integrates many technologies and concepts in artificial intelligence and other areas of computing as well as other disciplines. The agent paradigm has become very popular and widely used in recent years, due to its applicability to a large range of domains, from search engines to educational aids, to electronic commerce and trade, e-procurement, recommendation systems, and ambient intelligence, to cite only some. Computational logic provides a well-defined, general, and rigorous framework for studying syntax, semantics and procedures for various capabilities and functionalities of individual agents, as well as interaction amongst agents in multi-agent systems. It also provides a well-defined and rigorous framework for implementations, envir- ments, tools, and standards, and for linking together specification and verification of properties of individual agents and multi-agent systems.

Computational Logic in Multi-Agent Systems: 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings (Lecture Notes in Computer Science #7486)

This book constitutes the proceedings of the 13th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIII, held in Montpellier, France, in August 2012. The 11 regular papers were carefully reviewed and selected from 27 submissions and presented with three invited papers. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way.

Computational Logic in Multi-Agent Systems: 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers (Lecture Notes in Computer Science #4371)

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VII, held in Hakodate, Japan, in May 2006. It was an associated event of AAMAS 2006, the main international conference on autonomous agents and multi-agent systems. The series of workshops presents current work on application of general and declarative theories.

Computational Logic in Multi-Agent Systems: 11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings (Lecture Notes in Computer Science #6245)

This book constitutes the refereed proceedings of the 11th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA-XI, held in Lisbon, Portugal in August 2010. The 14 papers included in this volume were carefully reviewed and selected from 31 submissions. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. CLIMA 2010 featured two thematic special sessions on norms and normative multi-agent systems and logics for games and strategic reasoning.

Computational Logic in Multi-Agent Systems: 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers (Lecture Notes in Computer Science #3259)

Over recent years, the notion of agency has claimed a major role in de?ning the trends of modern research. In?uencing a broad spectrum of disciplines such as sociology, psychology, philosophy and many more, the agent paradigm virtually invaded every sub?eld of computer science, because of its promising applications for the Internet and in robotics. Multi-agent systems (MAS) are communities of problem-solving entities that can perceive and act upon their environments to achieve their individual goals as well as joint goals. The work on such systems integrates many technologies and concepts in arti?cial intelligence and other areas of computing. There is a full spectrum of MAS applications that have been and are being developed: from search engines to educational aids to electronic commerce and trade. Although commonly implemented by means of imperative languages, mainly for reasons of e?ciency, the agent concept has recently increased its in?uence in the research and development of computational logic-based systems. Computational logic, by virtue of its nature both in substance and method, providesawell-de?ned,general,andrigorousframeworkforsystematicallystu- ing computation, be it syntax, semantics, and procedures, or implementations, environments, tools, and standards. Computational logic approaches problems, and provides solutions, at a su?cient level of abstraction so that they generalize from problem domain to problem domain, a?orded by the nature of its very foundation in logic, both in substance and method, which constitutes one of its major assets.

Computational Logic in Multi-Agent Systems: 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings (Lecture Notes in Computer Science #8143)

This book constitutes the proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV, held in Corunna, Spain, in September 2013. The 23 regular papers were carefully reviewed and selected from 44 submissions and presented with four invited talks. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. This edition will feature two special sessions: Argumentation Technologies and Norms and Normative Multi-Agent Systems.

Computational Logic in Multi-Agent Systems: 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers (Lecture Notes in Computer Science #3487)

The notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, while at the same time sign- cantly gaining from decades of research in computational logic. Computational logic provides a well-de?ned, general, and rigorous framework for studying s- tax, semantics and procedures, for implementations, environments, tools, and standards, facilitating the ever important link between speci?cation and ver- cation of computational systems. The purpose of the Computational Logic in Multi-agent Systems (CLIMA) international workshop series is to discuss techniques, based on computational logic, for representing, programming, and reasoning about multi-agent systems in a formal way. Former CLIMA editions were conducted in conjunction with other major computational logic and AI events such as CL in July 2000, ICLP in December 2001, FLoC in August 2002, and LPNMR and AI-Math in January 2004. The ?fth edition of CLIMA was held Lisbon, Portugal, in September 29–30, 2004.We,asorganizers,andinagreementwiththeCLIMASteeringCommittee, opted for co-location with the 9th European Conference on Logics in Arti?cial Intelligence (JELIA 2004), wishing to promote the CLIMA research topics in the broader community of logics in AI, a community whose growing interest in multi-agent issues has been demonstrated by the large number of agent-related papers submitted to recent editions of JELIA. The workshop received 35 submissions – a sensible increase from the previous edition.Thesubmittedpapersshowedthatthelogicalfoundationsofmulti-agent systems are felt by a large community to be a very important research topic, upon which classical AI and agent-related issues are to be addressed.

Computational Logic in Multi-Agent Systems: 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers (Lecture Notes in Computer Science #5056)

Multi-agent systems are communities of problem-solving entities that can exhibit varying degrees of intelligence. They can perceive and react to their environment, they can have individual or joint goals, for which they can plan and execute actions. Work on such systems integrates many technologies and concepts in - ti?cial intelligence and other areas of computing as well as other disciplines. The agent paradigm has become widely popular and widely used in recent years, due to its applicability to a large range of domains, from search engines to edu- tional aids to electronic commerce and trade, e-procurement, recommendation systems, simulation and routing, and ambient intelligence, to cite only some. Computational logic provides a well-de?ned, general, and rigorous framework for studying syntax, semantics, and procedures for various capabilities and fu- tionalities of individual agents, as well as interaction amongst agents in multi-agent systems. It also provides a well-de?ned and rigorous framework for implemen- tions, environments, tools, and standards, and for linking together speci?cation and veri?cation of properties of individual agents and multi-agent systems. The CLIMA workshop series was founded to provide a forum for discussing, presenting, and promoting computational logic-based approaches in the design, development, analysis, and application of multi-agent systems.

Computational Logic in Multi-Agent Systems: 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers (Lecture Notes in Computer Science #3900)

This book constitutes the strictly refereed post-proceedings of the 6th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VI. The book presents 14 revised full technical papers, 4 contest papers, and 7 invited papers together with 1 invited article are organized in topical sections on foundational aspects of agency, agent programming, agent interaction and normative systems, the first CLIMA contest, and on the project report of the SOCS project.

Computational Management: Applications of Computational Intelligence in Business Management (Modeling and Optimization in Science and Technologies #18)

This book offers a timely review of cutting-edge applications of computational intelligence to business management and financial analysis. It covers a wide range of intelligent and optimization techniques, reporting in detail on their application to real-world problems relating to portfolio management and demand forecasting, decision making, knowledge acquisition, and supply chain scheduling and management.

Computational Management Science: State of the Art 2014 (Lecture Notes in Economics and Mathematical Systems #682)

This volume contains contributions from the 11th International Conference on Management Science (CMS 2014), held at Lisbon, Portugal, on May 29-31, 2014. Its contents reflect the wide scope of Management Science, covering different theoretical aspects for a quite diverse set of applications. Computational Management Science provides a unique perspective in relevant decision-making processes by focusing on all its computational aspects. These include computational economics, finance and statistics; energy; scheduling; supply chains; design, analysis and applications of optimization algorithms; deterministic, dynamic, stochastic, robust and combinatorial optimization models; solution algorithms, learning and forecasting such as neural networks and genetic algorithms; models and tools of knowledge acquisition, such as data mining; and all other topics in management science with the emphasis on computational paradigms.

Computational Many-Particle Physics (Lecture Notes in Physics #739)

Looking for the real state of play in computational many-particle physics? Look no further. This book presents an overview of state-of-the-art numerical methods for studying interacting classical and quantum many-particle systems. A broad range of techniques and algorithms are covered, and emphasis is placed on their implementation on modern high-performance computers. This excellent book comes complete with online files and updates allowing readers to stay right up to date.

Computational Materials, Chemistry, and Biochemistry: In Honor of William A. Goddard’s Contributions to Science and Engineering (Springer Series in Materials Science #284)

This book provides a broad and nuanced overview of the achievements and legacy of Professor William (“Bill”) Goddard in the field of computational materials and molecular science. Leading researchers from around the globe discuss Goddard’s work and its lasting impacts, which can be seen in today’s cutting-edge chemistry, materials science, and biology techniques. Each section of the book closes with an outline of the prospects for future developments.In the course of a career spanning more than 50 years, Goddard’s seminal work has led to dramatic advances in a diverse range of science and engineering fields. Presenting scientific essays and reflections by students, postdoctoral associates, collaborators and colleagues, the book describes the contributions of one of the world’s greatest materials and molecular scientists in the context of theory, experimentation, and applications, and examines his legacy in each area, from conceptualization (the first mile) to developments and extensions aimed at applications, and lastly to de novo design (the last mile). Goddard’s passion for science, his insights, and his ability to actively engage with his collaborators in bold initiatives is a model for us all. As he enters his second half-century of scientific research and education, this book inspires future generations of students and researchers to employ and extend these powerful techniques and insights to tackle today’s critical problems in biology, chemistry, and materials. Examples highlighted in the book include new materials for photocatalysts to convert water and CO2 into fuels, novel catalysts for the highly selective and active catalysis of alkanes to valuable organics, simulating the chemistry in film growth to develop two-dimensional functional films, and predicting ligand–protein binding and activation to enable the design of targeted drugs with minimal side effects.

Computational Materials Design (Springer Series in Materials Science #34)

This book consists of ten chapters which outline a wide range of technologies from first-principle calculations to continuum mechanics, with applications to materials design and development. Written with a clear exposition, this book will be invaluable for engineers who want to learn about the modern technologies and techniques utilized in materials design.

Computational Materials Science: From Ab Initio to Monte Carlo Methods (Springer Series In Solid-state Sciences Ser. #129)

This textbook introduces modern techniques based on computer simulation to study materials science. It starts from first principles calculations enabling to calculate the physical and chemical properties by solving a many-body Schroedinger equation with Coulomb forces. For the exchange-correlation term, the local density approximation is usually applied. After the introduction of the first principles treatment, tight-binding and classical potential methods are briefly introduced to indicate how one can increase the number of atoms in the system. In the second half of the book, Monte Carlo simulation is discussed in detail. Problems and solutions are provided to facilitate understanding. Readers will gain sufficient knowledge to begin theoretical studies in modern materials research. This second edition includes a lot of recent theoretical techniques in materials research. With the computers power now available, it is possible to use these numerical techniques to study various physical and chemical properties of complex materials from first principles. The new edition also covers empirical methods, such as tight-binding and molecular dynamics.

Computational Materials Science: From Ab Initio to Monte Carlo Methods (Springer Series in Solid-State Sciences #129)

Powerful computers now enable scientists to model the physical and chemical properties and behavior of complex materials using first principles. This book introduces dramatically new computational techniques in materials research, specifically for understanding molecular dynamics.

Computational Mathematical Programming (NATO ASI Subseries F: #15)

This book contains the written versions of main lectures presented at the Advanced Study Institute (ASI) on Computational Mathematical Programming, which was held in Bad Windsheim, Germany F. R., from July 23 to August 2, 1984, under the sponsorship of NATO. The ASI was organized by the Committee on Algorithms (COAL) of the Mathematical Programming Society. Co-directors were Karla Hoffmann (National Bureau of Standards, Washington, U.S.A.) and Jan Teigen (Rabobank Nederland, Zeist, The Netherlands). Ninety participants coming from about 20 different countries attended the ASI and contributed their efforts to achieve a highly interesting and stimulating meeting. Since 1947 when the first linear programming technique was developed, the importance of optimization models and their mathematical solution methods has steadily increased, and now plays a leading role in applied research areas. The basic idea of optimization theory is to minimize (or maximize) a function of several variables subject to certain restrictions. This general mathematical concept covers a broad class of possible practical applications arising in mechanical, electrical, or chemical engineering, physics, economics, medicine, biology, etc. There are both industrial applications (e.g. design of mechanical structures, production plans) and applications in the natural, engineering, and social sciences (e.g. chemical equilibrium problems, christollography problems).

Computational Mathematics: An introduction to Numerical Analysis and Scientific Computing with Python (Advances in Applied Mathematics)

This textbook is a comprehensive introduction to computational mathematics and scientific computing suitable for undergraduate and postgraduate courses. It presents both practical and theoretical aspects of the subject, as well as advantages and pitfalls of classical numerical methods alongside with computer code and experiments in Python. Each chapter closes with modern applications in physics, engineering, and computer science. Features: No previous experience in Python is required. Includes simplified computer code for fast-paced learning and transferable skills development. Includes practical problems ideal for project assignments and distance learning. Presents both intuitive and rigorous faces of modern scientific computing. Provides an introduction to neural networks and machine learning.

Computational Mathematics: An introduction to Numerical Analysis and Scientific Computing with Python (Advances in Applied Mathematics)

This textbook is a comprehensive introduction to computational mathematics and scientific computing suitable for undergraduate and postgraduate courses. It presents both practical and theoretical aspects of the subject, as well as advantages and pitfalls of classical numerical methods alongside with computer code and experiments in Python. Each chapter closes with modern applications in physics, engineering, and computer science. Features: No previous experience in Python is required. Includes simplified computer code for fast-paced learning and transferable skills development. Includes practical problems ideal for project assignments and distance learning. Presents both intuitive and rigorous faces of modern scientific computing. Provides an introduction to neural networks and machine learning.

Computational Mathematics: Models, Methods, and Analysis with MATLAB and MPI, Second Edition (Textbooks In Mathematics Ser.)

Computational Mathematics: Models, Methods, and Analysis with MATLAB and MPI is a unique book covering the concepts and techniques at the core of computational science. The author delivers a hands-on introduction to nonlinear, 2D, and 3D models; nonrectangular domains; systems of partial differential equations; and large algebraic problems requirin

Computational Mathematics: Models, Methods, and Analysis with MATLAB and MPI, Second Edition (Textbooks In Mathematics Ser.)

Computational Mathematics: Models, Methods, and Analysis with MATLAB and MPI is a unique book covering the concepts and techniques at the core of computational science. The author delivers a hands-on introduction to nonlinear, 2D, and 3D models; nonrectangular domains; systems of partial differential equations; and large algebraic problems requirin

Computational Mathematics and Applications (Forum for Interdisciplinary Mathematics)

This book is a collection of invited and reviewed chapters on state-of-the-art developments in interdisciplinary mathematics. The book discusses recent developments in the fields of theoretical and applied mathematics, covering areas of interest to mathematicians, scientists, engineers, industrialists, researchers, faculty, and students. Readers will be exposed to topics chosen from a wide range of areas including differential equations, integral reforms, operational calculus, numerical analysis, fluid mechanics, and computer science. The aim of the book is to provide brief and reliably expressed research topics that will enable those new or not aware of mathematical sciences in this part of the world.While the book has not been precisely planned to address any branch of mathematics, it presents contributions of the relevant topics to do so. The topics chosen for the book are those that we have found of significant interest to many researchers in the world. These also are topics that are applicable in many fields of computational and applied mathematics. This book constitutes the first attempt in Jordanian literature to scientifically consider the extensive need of research development at the national and international levels with which mathematics deals. The book grew not only from the international collaboration between the authors but rather from the long need for a research-based book from different parts of the world for researchers and professionals working in computational and applied mathematics.

Computational Mathematics and Variational Analysis (Springer Optimization and Its Applications #159)

This volume presents a broad discussion of computational methods and theories on various classical and modern research problems from pure and applied mathematics. Readers conducting research in mathematics, engineering, physics, and economics will benefit from the diversity of topics covered. Contributions from an international community treat the following subjects: calculus of variations, optimization theory, operations research, game theory, differential equations, functional analysis, operator theory, approximation theory, numerical analysis, asymptotic analysis, and engineering.Specific topics include algorithms for difference of monotone operators, variational inequalities in semi-inner product spaces, function variation principles and normed minimizers, equilibria of parametrized N-player nonlinear games, multi-symplectic numerical schemes for differential equations, time-delay multi-agent systems, computational methods in non-linear design of experiments, unsupervised stochastic learning, asymptotic statistical results, global-local transformation, scattering relations of elastic waves, generalized Ostrowski and trapezoid type rules, numerical approximation, Szász Durrmeyer operators and approximation, integral inequalities, behaviour of the solutions of functional equations, functional inequalities in complex Banach spaces, functional contractions in metric spaces.

Computational Mathematics Driven by Industrial Problems: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Martina Franca, Italy, June 21-27, 1999 (Lecture Notes in Mathematics #1739)

These lecture notes by very authoritative scientists survey recent advances of mathematics driven by industrial application showing not only how mathematics is applied to industry but also how mathematics has drawn benefit from interaction with real-word problems.The famous David Report underlines that innovative high technology depends crucially for its development on innovation in mathematics. The speakers include three recent presidents of ECMI, one of ECCOMAS (in Europe) and the president of SIAM.