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

The Digital Revolution: A Short History of an Ideology

'A must-read to anyone interested in the digital world.' - Valérie Schafer, Center for Contemporary and Digital History, University of Luxembourg A concise history of the digital revolution and the lore, rhetoric, and debates that surround it. The Digital Revolution aims to tell a story, one of the most powerful ideologies of recent decades: that digitalization constitutes a revolution, a break with the past, a radical change for the human beings who are living through it. The book aims to investigate the origins of this idea, how it evolved, which other past revolutions consciously or unconsciously inspired it, which great stories it has conveyed over time, which of its key elements have changed and which ones have persisted and have been repeated in different historical periods. All these discussions, large or small, have settled and condensed into a series of media, advertising, corporate, political, and technical sources. Readers will be introduced to new, previously unpublished historical sources. The main aim of the book is to deconstruct what looks like a “natural” and incontestable idea and to help rethink digital societies today.

Introduction to the Graphical Theory of Angular Momentum: Case Studies (Springer Tracts in Modern Physics #234)

Application of quantum mechanics in physics and chemistry often entails manipulation and evaluation of sums and products of coupling coefficients for the theory of angular momentum. Challenges encountered in such work can be tamed by graphical techniques that provide both the insight and analytical power. The book is the first step-by-step exposition of a graphical method grounded in established work. Copious exercises recover standard results but demonstrate the power to go beyond.

Structural Complexity I (Texts in Theoretical Computer Science. An EATCS Series)

In the six years since the first edition of this book was published, the field of Structural Complexity has grown quite a bit. However, we are keeping this volume at the same basic level that it had in the first edition, and the only new result incorporated as an appendix is the closure under complementation of nondeterministic space classes, which in the previous edition was posed as an open problem. This result was already included in our Volume II, but we feel that due to the basic nature of the result, it belongs to this volume. There are of course other important results obtained during these last six years. However, as they belong to new areas opened in the field they are outside the scope of this fundamental volume. Other changes in this second edition are the update of some Bibliograph­ ical Remarks and references, correction of many mistakes and typos, and a renumbering of the definitions and results. Experience has shown us that this new numbering is a lot more friendly, and several readers have confirmed this opinion. For the sake of the reader of Volume II, where all references to Volume I follow the old numbering, we have included here a table indicating the new number corresponding to each of the old ones.

Structural Complexity I (Monographs in Theoretical Computer Science. An EATCS Series #11)

Since the achievement of a fonnal definition of the concept of "algorithm", the Mathematical Theory of Computation has developed into a broad and rich discipline. The notion of "complexity of an algorithm" yields an important area of research, known as Complexity Theory, that can be approached from several points of view. Some of these are briefly discussed in the Introduction and, in particular, our view of the "Structural" approach is outlined there. We feel the subject is mature enough to permit collecting and interrelating many of the results in book fonn. Let us point out that a substantial part of the knowledge in Structural Complexity Theory can be found only in specialized journals, symposia proceedings, and monographs like doctoral dissertations or similar texts, mostly unpublished. We believe that a task to be done soon is a systematization of the interconnections between all the research lines; this is a serious and long task. We hope that the two volumes of this book can serve as a starting point for this systematization process.

Structural Complexity II (Monographs in Theoretical Computer Science. An EATCS Series #22)

This is the second volume of a two volume collection on Structural Complexity. This volume assumes as a prerequisite knowledge about the topics treated in Volume I, but the present volume itself is nearly self-contained. As in Volume I, each chapter of this book ends with a section entitled "Bibliographical Remarks", in which the relevant references for the chapter are briefly commented upon. These sections might also be of interest to those wanting an overview of the evolution of the field, as well as relevant related results which are not included in the text. Each chapter includes a section of exercises. The reader is encouraged to spend some time on them. Some results presented as exercises are occasionally used later in the text. A reference is provided for the most interesting and for the most useful exercises. Some exercises are marked with a • to indicate that, to the best knowledge of the authors, the solution has a certain degree of difficulty. Many topics from the field of Structural Complexity are not treated in depth, or not treated at all. The authors bear all responsibility for the choice of topics, which has been made based on the interest of the authors on each topic. Many friends and colleagues have made suggestions or corrections. In partic­ ular we would like to express our gratitude to Richard Beigel, Ron Book, Rafael Casas, Jozef Gruska, Uwe Schoning, Pekka Orponen, and Osamu Watanabe.

Algorithmic Learning Theory: 17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006, Proceedings (Lecture Notes in Computer Science #4264)

This book constitutes the refereed proceedings of the 17th International Conference on Algorithmic Learning Theory, ALT 2006, held in Barcelona, Spain in October 2006, colocated with the 9th International Conference on Discovery Science, DS 2006. The 24 revised full papers presented together with the abstracts of five invited papers were carefully reviewed and selected from 53 submissions. The papers are dedicated to the theoretical foundations of machine learning.

A Handbook of Model Categories (Algebra and Applications #27)

This book outlines a vast array of techniques and methods regarding model categories, without focussing on the intricacies of the proofs. Quillen model categories are a fundamental tool for the understanding of homotopy theory. While many introductions to model categories fall back on the same handful of canonical examples, the present book highlights a large, self-contained collection of other examples which appear throughout the literature. In particular, it collects a highly scattered literature into a single volume.The book is aimed at anyone who uses, or is interested in using, model categories to study homotopy theory. It is written in such a way that it can be used as a reference guide for those who are already experts in the field. However, it can also be used as an introduction to the theory for novices.

CONCUR 2014 – Concurrency Theory: 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings (Lecture Notes in Computer Science #8704)

This book constitutes the refereed proceedings of the 25th International Conference on Concurrency Theory, CONCUR 2014, held in Rome, Italy in September 2014. The 35 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 124 submissions. The focus of the conference is on the following topics: process calculi, model checking and abstraction, synthesis, quantitative models, automata and multithreading, complexity, process calculi and types, categories, graphs and quantum systems, automata and time, and games.

p-adic Analysis: Proceedings of the International Conference held in Trento, Italy, May 29-June 2, 1989 (Lecture Notes in Mathematics #1454)

Algebraic Varieties (Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge #12)

Algebraic geometry has always been an ec1ectic science, with its roots in algebra, function-theory and topology. Apart from early resear­ ches, now about a century old, this beautiful branch of mathematics has for many years been investigated chiefly by the Italian school which, by its pioneer work, based on algebro-geometric methods, has succeeded in building up an imposing body of knowledge. Quite apart from its intrinsic interest, this possesses high heuristic value since it represents an essential step towards the modern achievements. A certain lack of rigour in the c1assical methods, especially with regard to the foundations, is largely justified by the creative impulse revealed in the first stages of our subject; the same phenomenon can be observed, to a greater or less extent, in the historical development of any other science, mathematical or non-mathematical. In any case, within the c1assical domain itself, the foundations were later explored and consolidated, principally by SEVERI, on lines which have frequently inspired further investigations in the abstract field. About twenty-five years ago B. L. VAN DER WAERDEN and, later, O. ZARISKI and A. WEIL, together with their schools, established the methods of modern abstract algebraic geometry which, rejecting the c1assical restriction to the complex groundfield, gave up geometrical intuition and undertook arithmetisation under the growing influence of abstract algebra.

Quo Vadis: World Economy and Institutions at a Crossroads

This study addresses the two major challenges facing the global economy: globalization and the European structural crisis. In addition, it takes a closer look at the impact of this on the Italian economy. The findings reflect on the issue of long term growth and suggest ways in which to create sustainable financial conditions for the future.

The Italian Economy: What Next? (Central Issues in Contemporary Economic Theory and Policy)

Since the early 1970s the Italian economy has been moving towards an irreversible real and financial crisis. Paradoxically, the conditions engendered by the currency crisis and recession may also provide the basis for a new economic policy strategy, which could lead to built a mere 'economic miracle!'

Functionals of Multidimensional Diffusions with Applications to Finance (Bocconi & Springer Series #5)

This research monograph provides an introduction to tractable multidimensional diffusion models, where transition densities, Laplace transforms, Fourier transforms, fundamental solutions or functionals can be obtained in explicit form. The book also provides an introduction to the use of Lie symmetry group methods for diffusions, which allows to compute a wide range of functionals. Besides the well-known methodology on affine diffusions it presents a novel approach to affine processes with applications in finance. Numerical methods, including Monte Carlo and quadrature methods, are discussed together with supporting material on stochastic processes. Applications in finance, for instance, on credit risk and credit valuation adjustment are included in the book. The functionals of multidimensional diffusions analyzed in this book are significant for many areas of application beyond finance. The book is aimed at a wide readership, and develops an intuitive and rigorous understanding of the mathematics underlying the derivation of explicit formulas for functionals of multidimensional diffusions.​

Classification, Data Analysis, and Data Highways: Proceedings of the 21st Annual Conference of the Gesellschaft für Klassifikation e.V., University of Potsdam, March 12–14, 1997 (Studies in Classification, Data Analysis, and Knowledge Organization)

Adaptive Designs for Sequential Treatment Allocation

Adaptive Designs for Sequential Treatment Allocation presents a rigorous theoretical treatment of the results and mathematical foundation of adaptive design theory. The book focuses on designing sequential randomized experiments to compare two or more treatments incorporating information accrued along the way. The authors first introduce the termin

Residual Stress, Thermomechanics & Infrared Imaging, Hybrid Techniques and Inverse Problems, Volume 7: Proceedings of the 2018 Annual Conference on Experimental and Applied Mechanics (Conference Proceedings of the Society for Experimental Mechanics Series)

Residual Stress, Thermomechanics & Infrared Imaging, Hybrid Techniques and Inverse Problems, Volume 7 of the Proceedings of the 2018 SEM Annual Conference & Exposition on Experimental and Applied Mechanics, the seventh volume of eight from the Conference, brings together contributions to this important area of research and engineering. The collection presents early findings and case studies on a wide range of areas, including: Inverse Problems/Hybrid TechniquesMaterial Characterizations Using ThermographyThermoelastic Stress AnalysisFatigue & Damage Evaluation Using Infrared ThermographyIntegration of Infrared Thermography & DICThermographic Non-Destructive Evaluation (NDE)

Martingales and Markov Chains: Solved Exercises and Elements of Theory

A thorough grounding in Markov chains and martingales is essential in dealing with many problems in applied probability, and is a gateway to the more complex situations encountered in the study of stochastic processes. Exercises are a fundamental and valuable training tool that deepen students' understanding of theoretical principles and prepare th

Probability: An Introduction Through Theory and Exercises (Universitext)

This textbook offers a complete one-semester course in probability, covering the essential topics necessary for further study in the areas of probability and statistics. The book begins with a review of the fundamentals of measure theory and integration. Probability measures, random variables, and their laws are introduced next, along with the main analytic tools for their investigation, accompanied by some applications to statistics. Questions of convergence lead to classical results such as the law of large numbers and the central limit theorem with their applications also to statistical analysis and more. Conditioning is the next main topic, followed by a thorough introduction to discrete time martingales. Some attention is given to computer simulation. Through the text, over 150 exercises with full solutions not only reinforce the concepts presented, but also provide students with opportunities to develop their problem-solving skills, and make this textbook suitable for guided self-study. Based on years of teaching experience, the author's expertise will be evident in the clear presentation of material and the carefully chosen exercises. Assuming familiarity with measure and integration theory as well as elementary notions of probability, the book is specifically designed for teaching in parallel with a first course in measure theory. An invaluable resource for both instructors and students alike, it offers ideal preparation for further courses in statistics or probability, such as stochastic calculus, as covered in the author's book on the topic.

Stochastic Calculus: An Introduction Through Theory and Exercises (Universitext)

This book provides a comprehensive introduction to the theory of stochastic calculus and some of its applications. It is the only textbook on the subject to include more than two hundred exercises with complete solutions.After explaining the basic elements of probability, the author introduces more advanced topics such as Brownian motion, martingales and Markov processes. The core of the book covers stochastic calculus, including stochastic differential equations, the relationship to partial differential equations, numerical methods and simulation, as well as applications of stochastic processes to finance. The final chapter provides detailed solutions to all exercises, in some cases presenting various solution techniques together with a discussion of advantages and drawbacks of the methods used. Stochastic Calculus will be particularly useful to advanced undergraduate and graduate students wishing to acquire a solid understanding of the subject through the theory and exercises. Including full mathematical statements and rigorous proofs, this book is completely self-contained and suitable for lecture courses as well as self-study.

Weight-of-Evidence for Forensic DNA Profiles (Statistics in Practice)

Assessing Weight-of-Evidence for DNA Profiles is an excellent introductory text to the use of statistical analysis for assessing DNA evidence. It offers practical guidance to forensic scientists with little dependence on mathematical ability as the book includes background information on statistics – including likelihood ratios – population genetics, and courtroom issues. The author, who is highly experienced in this field, has illustrated the book throughout with his own experiences as well as providing a theoretical underpinning to the subject. It is an ideal choice for forensic scientists and lawyers, as well as statisticians and population geneticists with an interest in forensic science and DNA.

Weight-of-Evidence for Forensic DNA Profiles (Statistics in Practice #34)

DNA evidence is widely used in the modern justice system. Statistical methodology plays a key role in ensuring that this evidence is collected, interpreted, analysed and presented correctly. This book is a guide to assessing DNA evidence and presenting that evidence in a courtroom setting. It offers practical guidance to forensic scientists with little dependence on mathematical ability, and provides the scientist with the understanding they require to apply the methods in their work. Since the publication of the first edition of this book in 2005 there have been many incremental changes, and one dramatic change which is the emergence of low template DNA (LTDNA) profiles. This second edition is edited and expanded to cover the basics of LTDNA technology. The author's own open-source R code likeLTD is described and used for worked examples in the book. Commercial and free software are also covered.

Weight-of-Evidence for Forensic DNA Profiles (Statistics in Practice)

DNA evidence is widely used in the modern justice system. Statistical methodology plays a key role in ensuring that this evidence is collected, interpreted, analysed and presented correctly. This book is a guide to assessing DNA evidence and presenting that evidence in a courtroom setting. It offers practical guidance to forensic scientists with little dependence on mathematical ability, and provides the scientist with the understanding they require to apply the methods in their work. Since the publication of the first edition of this book in 2005 there have been many incremental changes, and one dramatic change which is the emergence of low template DNA (LTDNA) profiles. This second edition is edited and expanded to cover the basics of LTDNA technology. The author's own open-source R code likeLTD is described and used for worked examples in the book. Commercial and free software are also covered.

Classical Statistical Mechanics with Nested Sampling (Springer Theses)

This thesis develops a nested sampling algorithm into a black box tool for directly calculating the partition function, and thus the complete phase diagram of a material, from the interatomic potential energy function. It represents a significant step forward in our ability to accurately describe the finite temperature properties of materials. In principle, the macroscopic phases of matter are related to the microscopic interactions of atoms by statistical mechanics and the partition function. In practice, direct calculation of the partition function has proved infeasible for realistic models of atomic interactions, even with modern atomistic simulation methods. The thesis also shows how the output of nested sampling calculations can be processed to calculate the complete PVT (pressure–volume–temperature) equation of state for a material, and applies the nested sampling algorithm to calculate the pressure–temperature phase diagrams of aluminium and a model binary alloy.

Elementary Number Theory, Cryptography and Codes (Universitext)

In this volume one finds basic techniques from algebra and number theory (e.g. congruences, unique factorization domains, finite fields, quadratic residues, primality tests, continued fractions, etc.) which in recent years have proven to be extremely useful for applications to cryptography and coding theory. Both cryptography and codes have crucial applications in our daily lives, and they are described here, while the complexity problems that arise in implementing the related numerical algorithms are also taken into due account. Cryptography has been developed in great detail, both in its classical and more recent aspects. In particular public key cryptography is extensively discussed, the use of algebraic geometry, specifically of elliptic curves over finite fields, is illustrated, and a final chapter is devoted to quantum cryptography, which is the new frontier of the field. Coding theory is not discussed in full; however a chapter, sufficient for a good introduction to the subject, has been devoted to linear codes. Each chapter ends with several complements and with an extensive list of exercises, the solutions to most of which are included in the last chapter. Though the book contains advanced material, such as cryptography on elliptic curves, Goppa codes using algebraic curves over finite fields, and the recent AKS polynomial primality test, the authors' objective has been to keep the exposition as self-contained and elementary as possible. Therefore the book will be useful to students and researchers, both in theoretical (e.g. mathematicians) and in applied sciences (e.g. physicists, engineers, computer scientists, etc.) seeking a friendly introduction to the important subjects treated here. The book will also be useful for teachers who intend to give courses on these topics.

AI*IA 2013: XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013, Proceedings (Lecture Notes in Computer Science #8249)

This book constitutes the refereed proceedings of the 13th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2013, held in Turin, Italy, in December 2013. The 45 revised full papers were carefully reviewed and selected from 86 submissions. The conference covers broadly the many aspects of theoretical and applied Artificial Intelligence as follows: knowledge representation and reasoning, machine learning, natural language processing, planning, distributed AI: robotics and MAS, recommender systems and semantic Web and AI applications.