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

Inconsistency Tolerance (Lecture Notes in Computer Science #3300)

Inconsistency arises in many areas in advanced computing. Often inconsistency is unwanted, for example in the specification for a plan or in sensor fusion in robotics; however, sometimes inconsistency is useful. Whether inconsistency is unwanted or useful, there is a need to develop tolerance to inconsistency in application technologies such as databases, knowledge bases, and software systems. To address this situation, inconsistency tolerance is being built on foundational technologies for identifying and analyzing inconsistency in information, for representing and reasoning with inconsistent information, for resolving inconsistent information, and for merging inconsistent information. The idea for this book arose out of a Dagstuhl Seminar on the topic held in summer 2003. The nine chapters in this first book devoted to the subject of inconsistency tolerance were carefully invited and anonymously reviewed. The book provides an exciting introduction to this new field.

Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)

A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science #1690)

Mechanics of Strain Gradient Materials (CISM International Centre for Mechanical Sciences #600)

Over the past 50 years, strain gradient material theories have been developed for the continuum modeling of size effects in materials and structures in terms of their elasticity, plasticity and fracturing. This book puts forward a unifying perspective to combine existing theories involving the higher order gradient of the strain tensor, or of plastic strain. It begins by reviewing experimental findings on the existence (or non-existence) of size effects on the mechanics of materials. In turn, the book devises first, second and higher order strain gradient theories from general principles, and presents constitutive frameworks that satisfy thermodynamic requirements. The special case of strain gradient plasticity is then developed and illustrated via computational analyses of size effects on the plasticity of metals at small scales. In closing, the book explains the origin of gradient effects in the case of lattice structures by drawing on homogenization theory.

Integral Methods in Science and Engineering (Chapman And Hall/crc Research Notes In Mathematics Ser.)

Based on proceedings of the International Conference on Integral Methods in Science and Engineering, this collection of papers addresses the solution of mathematical problems by integral methods in conjunction with approximation schemes from various physical domains. Topics and applications include: wavelet expansions, reaction-diffusion systems, variational methods , fracture theory, boundary value problems at resonance, micromechanics, fluid mechanics, combustion problems, nonlinear problems, elasticity theory, and plates and shells.

Lernprozesse von Lehrkräften im Rahmen einer Fortbildung zu inklusivem Mathematikunterricht (Essener Beiträge zur Mathematikdidaktik)

Für eine effektive und systematische Fortbildungsgestaltung ist das Wissen über typische Lernprozesse von Lehrkräften von besonderer Bedeutung. Bisher gibt es noch keine umfangreichen empirischen Forschungserkenntnisse mit Blick auf die Betrachtung gegenstandsbezogener, d.h. für den konkreten Fortbildungsgegenstand spezifizierter Lernprozesse im Bereich eines inklusiven Mathematikunterrichts. Inklusiver Mathematikunterricht wird dabei verstanden als ein Unterricht, der die Heterogenität aller Schülerinnen und Schüler berücksichtigt und ihnen fachliche Zugänglichkeit sowie soziale Teilhabe ermöglicht. Die vorliegende Arbeit untersucht deswegen gegenstandsbezogene Lernprozesse von Lehrkräften im Rahmen einer Fortbildung zu inklusivem Mathematikunterricht (in der Sekundarstufe I) und geht den zentralen Fragen nach, welche typischen Lernwege der Lehrkräfte identifiziert werden können und inwiefern diese eine Verbindung zum Fortbildungsinhalt aufweisen.

Tutorials in Mathematical Biosciences II: Mathematical Modeling of Calcium Dynamics and Signal Transduction (Lecture Notes in Mathematics #1867)

This book presents a series of models in the general area of cell physiology and signal transduction, with particular attention being paid to intracellular calcium dynamics, and the role played by calcium in a variety of cell types. Calcium plays a crucial role in cell physiology, and the study of its dynamics lends insight into many different cellular processes. In particular, calcium plays a central role in muscular contraction, olfactory transduction and synaptic communication, three of the topics to be addressed in detail in this book. In addition to the models, much of the underlying physiology is presented, so that readers may learn both the mathematics and the physiology, and see how the models are applied to specific biological questions. It is intended primarily as a graduate text or a research reference. It will serve as a concise and up-to-date introduction to all those who wish to learn about the state of calcium dynamics modeling, and how such models are applied to physiological questions.

Mathematical Analysis of Complex Cellular Activity (Frontiers in Applied Dynamical Systems: Reviews and Tutorials #1)

This book contains two review articles on mathematical physiology that deal with closely related topics but were written and can be read independently.The first article reviews the basic theory of calcium oscillations (common to almost all cell types), including spatio-temporal behaviors such as waves. The second article uses, and expands on, much of this basic theory to show how the interaction of cytosolic calcium oscillators with membrane ion channels can result in highly complex patterns of electrical spiking. Through these examples one can see clearly how multiple oscillatory processes interact within a cell, and how mathematical methods can be used to understand such interactions better. The two reviews provide excellent examples of how mathematics and physiology can learn from each other, and work jointly towards a better understanding of complex cellular processes.Review 1: Richard Bertram, Joel Tabak, Wondimu Teka, Theodore Vo, Martin Wechselberger: Geometric Singular Perturbation Analysis of Bursting Oscillations in Pituitary CellsReview 2: Vivien Kirk, James Sneyd: Nonlinear Dynamics of Calcium

The Geometry of Jordan and Lie Structures (Lecture Notes in Mathematics #1754)

Discrete Geometry for Computer Imagery: 8th International Conference, DGCI'99, Marne-la-Vallee, France, March 17-19, 1999 Proceedings (Lecture Notes in Computer Science #1568)

These proceedings contain papers presented at the 8th Discrete Geometry for Computer Imagery conference, held 17-19, March 1999 at ESIEE, Marne-la- Vall ee. The domains of discrete geometry and computer imagery are closely related. Discrete geometry provides both theoretical and algorithmic models for the p- cessing, analysis and synthesis of images; in return computer imagery, in its variety of applications, constitutes a remarkable experimentational eld and is a source of challenging problems. The number of returning participants, the arrival each year of contributions from new laboratories and new researchers, as well as the quality and originality of the results have contributed to the success of the conference and are an - dication of the dynamism of this eld. The DGCI has become one of the major conferences related to this topic, including participating researchers and la- ratories from all over the world. Of the 41 papers received this year, 24 have been selected for presentation and 7 for poster sessions. In addition to these, four invited speakers have contributed to the conference. The site of Marne-la-Vall ee, just 20 min away from Paris, is particularly we- suited to hold the conference. Indeed, as a newly built city, it showcases a great amount of modern creative architecture, whose pure lines and original shapes o er a favorable context for the topic of Geometry.

Digital and Image Geometry: Advanced Lectures (Lecture Notes in Computer Science #2243)

Images or discrete objects, to be analyzed based on digital image data, need to be represented, analyzed, transformed, recovered etc. These problems have stimulated many interesting developments in theoretical foundations of image processing. This coherent anthology presents 27 state-of-the-art surveys and research papers on digital image geometry and topology. It is based on a winter school held at Dagstuhl Castle, Germany in December 2000 and offers topical sections on topology, representation, geometry, multigrid convergence, and shape similarity and simplification.

Modern Group Theoretical Methods in Physics: Proceedings of the Conference in Honour of Guy Rideau (Mathematical Physics Studies #18)

This book contains the proceedings of a meeting that brought together friends and colleagues of Guy Rideau at the Université Denis Diderot (Paris, France) in January 1995. It contains original results as well as review papers covering important domains of mathematical physics, such as modern statistical mechanics, field theory, and quantum groups. The emphasis is on geometrical approaches. Several papers are devoted to the study of symmetry groups, including applications to nonlinear differential equations, and deformation of structures, in particular deformation-quantization and quantum groups. The richness of the field of mathematical physics is demonstrated with topics ranging from pure mathematics to up-to-date applications such as imaging and neuronal models. Audience: Researchers in mathematical physics.

Quantitative Evaluation of Systems: 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings (Lecture Notes in Computer Science #10503)

This book constitutes the proceedings of the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017.The 20 full papers and 4 tool papers presented were carefully reviewed and selected From 58 submissions. The papers are organized in topical sections entitled: probabilistic modeling; smart energy systems over the cloud; Petri nets and performance modeling; parametric verification; machine learning and formal methods; tools.

Advances in Energy System Optimization: Proceedings of the 2nd International Symposium on Energy System Optimization (Trends in Mathematics)

The papers presented in this open access book address diverse challenges in decarbonizing energy systems, ranging from operational to investment planning problems, from market economics to technical and environmental considerations, from distribution grids to transmission grids, and from theoretical considerations to data provision concerns and applied case studies. While most papers have a clear methodological focus, they address policy-relevant questions at the same time. The target audience therefore includes academics and experts in industry as well as policy makers, who are interested in state-of-the-art quantitative modelling of policy relevant problems in energy systems. The 2nd International Symposium on Energy System Optimization (ISESO 2018) was held at the Karlsruhe Institute of Technology (KIT) under the symposium theme “Bridging the Gap Between Mathematical Modelling and Policy Support” on October 10th and 11th 2018. ISESO 2018 was organized by the KIT, the Heidelberg Institute for Theoretical Studies (HITS), the Heidelberg University, the German Aerospace Center and the University of Stuttgart.

Advances in Energy System Optimization: Proceedings of the first International Symposium on Energy System Optimization (Trends in Mathematics)

The papers presented in this volume address diverse challenges in energy systems, ranging from operational to investment planning problems, from market economics to technical and environmental considerations, from distribution grids to transmission grids and from theoretical considerations to data provision concerns and applied case studies. The International Symposium on Energy System Optimization (ISESO) was held on November 9th and 10th 2015 at the Heidelberg Institute for Theoretical Studies (HITS) and was organized by HITS, Heidelberg University and Karlsruhe Institute of Technology.

Zuverlässigkeit im Fahrzeug- und Maschinenbau: Ermittlung von Bauteil- und System-Zuverlässigkeiten

Von immer komplexer werdenden technischen Produkten erwartet man heute nicht nur gesteigerte Leistungsfähigkeit, sondern auch erhöhte Zuverlässigkeit. Dieses Lehrbuch ist sowohl eine Einführung in die Zuverlässigkeitstheorie für Fahrzeug- und Maschinenbauingenieure als auch ein Nachschlage- und Vertiefungswerk für Zuverlässigkeitsspezialisten. Neben den praxisrelevanten statistischen Grundlagen und den qualitativen Zuverlässigkeitsmethoden wie der FMEA und der FTA befasst sich dieses Lehrbuch schwerpunktmäßig mit der Lebensdauerdatenanalyse und den Zuverlässigkeitstestmethoden.Der Stoff ist theoretisch fundiert und zugleich praxisnah aufbereitet. Aufbau und Darstellungsweise machen ein unmittelbares Arbeiten mit dem Buch möglich. Vertieft werden die beschriebenen Theorien, Begriffe und Vorgehensweisen durch Beispiele und Übungen mit Lösungen.Für diese Neuauflage wurde, neben der Erweiterung und Überarbeitung der Kapitel, ein neues Kapitel zum Thema Prognostics & Health Management (PHM) aufgenommen. Darin werden die neuesten Ansätze der Zuverlässigkeitsabsicherung mittels Health-Monitoring und Prognose der verbleibenden Restlebensdauer vorgestellt.

An Introduction to Beam Physics

The field of beam physics touches many areas of physics, engineering, and the sciences. In general terms, beams describe ensembles of particles with initial conditions similar enough to be treated together as a group so that the motion is a weakly nonlinear perturbation of a chosen reference particle. Particle beams are used in a variety of areas,

Inference on the Hurst Parameter and the Variance of Diffusions Driven by Fractional Brownian Motion (Lecture Notes in Statistics #216)

This book is devoted to a number of stochastic models that display scale invariance. It primarily focuses on three issues: probabilistic properties, statistical estimation and simulation of the processes considered.It will be of interest to probability specialists, who will find here an uncomplicated presentation of statistics tools and to those statisticians who wants to tackle the most recent theories in probability in order to develop Central Limit Theorems in this context; both groups will also benefit from the section on simulation. Algorithms are described in great detail, with a focus on procedures that is not usually found in mathematical treatises. The models studied are fractional Brownian motions and processes that derive from them through stochastic differential equations.Concerning the proofs of the limit theorems, the “Fourth Moment Theorem” is systematically used, as it produces rapid and helpful proofs that can serve as models for the future. Readers will also find elegant and new proofs for almost sure convergence.The use of diffusion models driven by fractional noise has been popular for more than two decades now. This popularity is due both to the mathematics itself and to its fields of application. With regard to the latter, fractional models are useful for modeling real-life events such as value assets in financial markets, chaos in quantum physics, river flows through time, irregular images, weather events and contaminant diffusion problems.

Causality: Statistical Perspectives and Applications (Wiley Series in Probability and Statistics)

A state of the art volume on statistical causality Causality: Statistical Perspectives and Applications presents a wide-ranging collection of seminal contributions by renowned experts in the field, providing a thorough treatment of all aspects of statistical causality. It covers the various formalisms in current use, methods for applying them to specific problems, and the special requirements of a range of examples from medicine, biology and economics to political science. This book: Provides a clear account and comparison of formal languages, concepts and models for statistical causality. Addresses examples from medicine, biology, economics and political science to aid the reader's understanding. Is authored by leading experts in their field. Is written in an accessible style. Postgraduates, professional statisticians and researchers in academia and industry will benefit from this book.

Causality: Statistical Perspectives and Applications (Wiley Series in Probability and Statistics #701)

A state of the art volume on statistical causality Causality: Statistical Perspectives and Applications presents a wide-ranging collection of seminal contributions by renowned experts in the field, providing a thorough treatment of all aspects of statistical causality. It covers the various formalisms in current use, methods for applying them to specific problems, and the special requirements of a range of examples from medicine, biology and economics to political science. This book: Provides a clear account and comparison of formal languages, concepts and models for statistical causality. Addresses examples from medicine, biology, economics and political science to aid the reader's understanding. Is authored by leading experts in their field. Is written in an accessible style. Postgraduates, professional statisticians and researchers in academia and industry will benefit from this book.

Quantum Mechanics: A Modern and Concise Introductory Course

Starting from basic principles, the book systematically covers both Heisenberg and Schrödinger realizations of quantum mechanics (in this order). It provides excellent didactic introduction to the essential principles and treats recent concepts such as entanglement and decoherence. The book gives the background needed to understand quantum cryptography, teleportation and computation, and it is especially suitable for introducing the spin. This second edition includes a more friendly presentation to Hilbert spaces, and more practical applications e.g. scanning tunneling microscope (potential barrier).

Quantum Mechanics: A Modern and Concise Introductory Course (Advanced Texts in Physics)

Starting from basic principles, the book systematically covers both Heisenberg and Schrödinger realizations of quantum mechanics (in this order). It provides excellent didactic introduction to the essential principles and treats recent concepts such as entanglement and decoherence. The book gives the background needed to understand quantum cryptography, teleportation and computation, and it is especially suitable for introducing the spin. This second edition includes a more friendly presentation to Hilbert spaces, and more practical applications e.g. scanning tunneling microscope (potential barrier).

Nonlinear Observers and Applications (Lecture Notes in Control and Information Sciences #363)

The purpose of this fantastically useful book is to lay out an overview on possible tools for state reconstruction in nonlinear systems. Here, basic observability notions and observer structures are recalled, together with ingredients for advanced designs on this basis. The problem of state reconstruction in dynamical systems, known as observer problem, is crucial for controlling or even merely monitoring processes. For linear systems, the theory has been well established for several years, so this book attempts to tackle the problem for non-linear systems.

Einführung in die Topologische Datenanalyse

Der Einstieg in die Topologische Datenanalysis (TDA) fällt oft nicht leicht, da sie auf der Algebraischen Topologie beruht, einem Gebiet der reinen Mathematik. Mit dieser Einleitung wollen wir Interessierte (Studierende, Data Scientists, aber auch Mathematiker:innen) an die Hand nehmen, indem wir die primär notwendigen Grundlagen dieses komplexen Bereichs der Mathematik zur Verfügung stellen. Dies geschieht vor allem im Hinblick auf Anwendbarkeit in der Datenanalyse, welcher sich dann die späteren Kapitel des Buches widmen. So hoffen wir, sowohl Informatikern und praktizierenden Data Scientists den eher theoretischen Aspekt, sowie Mathematikern den praktischen, anwendungsorientierten Anteil näher bringen zu können. Dazu werden für wichtige Beispiele Bibliotheken (Python) vorgestellt und Pseudocode oder kleine Jupyter-Notebooks zur Verfügung gestellt. Auch Aspekte der Laufzeit werden, wo relevant, angesprochen. Das alles geschieht im theoretischen Umfeld der Mathematik, so dass die zwei Seiten der TDA, Informatik und Mathematik, ihr Miteinander finden.

Die Dampfturbine als Schiffsmotor: Vergleichsrechnung für verschiedene Systeme (Zoelly, Rateau, Curtis, Parsons, Melms-Pfenninger)