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

Curve e superfici (UNITEXT)

Questo è un libro di testo sulla geometria differenziale di curve e superfici, adatto agli studenti universitari del secondo e terzo anno dei corsi di Laurea in Matematica, Fisica, Ingegneria e Informatica.

Curves and Surfaces (UNITEXT)

The book provides an introduction to Differential Geometry of Curves and Surfaces. The theory of curves starts with a discussion of possible definitions of the concept of curve, proving in particular the classification of 1-dimensional manifolds. We then present the classical local theory of parametrized plane and space curves (curves in n-dimensional space are discussed in the complementary material): curvature, torsion, Frenet’s formulas and the fundamental theorem of the local theory of curves. Then, after a self-contained presentation of degree theory for continuous self-maps of the circumference, we study the global theory of plane curves, introducing winding and rotation numbers, and proving the Jordan curve theorem for curves of class C2, and Hopf theorem on the rotation number of closed simple curves. The local theory of surfaces begins with a comparison of the concept of parametrized (i.e., immersed) surface with the concept of regular (i.e., embedded) surface. We then develop the basic differential geometry of surfaces in R3: definitions, examples, differentiable maps and functions, tangent vectors (presented both as vectors tangent to curves in the surface and as derivations on germs of differentiable functions; we shall consistently use both approaches in the whole book) and orientation. Next we study the several notions of curvature on a surface, stressing both the geometrical meaning of the objects introduced and the algebraic/analytical methods needed to study them via the Gauss map, up to the proof of Gauss’ Teorema Egregium. Then we introduce vector fields on a surface (flow, first integrals, integral curves) and geodesics (definition, basic properties, geodesic curvature, and, in the complementary material, a full proof of minimizing properties of geodesics and of the Hopf-Rinow theorem for surfaces). Then we shall present a proof of the celebrated Gauss-Bonnet theorem, both in its local and in its global form, using basic properties (fully proved in the complementary material) of triangulations of surfaces. As an application, we shall prove the Poincaré-Hopf theorem on zeroes of vector fields. Finally, the last chapter will be devoted to several important results on the global theory of surfaces, like for instance the characterization of surfaces with constant Gaussian curvature, and the orientability of compact surfaces in R3.

Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings (Lecture Notes in Computer Science #12846)

This book constitutes the proceedings of the 18th International Conference on Quantitative Evaluation Systems, QEST 2021, held in Paris, France, in August 2021.The 21 full papers and 2 short papers presented together with 2 keynote papers were carefully reviewed and selected from 47 submissions. The papers are organized in the following topics: probabilistic model checking; quantitative models and metamodels: analysis and validation; queueing systems; learning and verification; simulation; performance evaluation; abstractions and aggregations; and stochastic models.

Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings (Lecture Notes in Computer Science #10419)

This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017.​ The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and, as a generalization, hybrid systems.

Numerical Software Verification: 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings (Lecture Notes in Computer Science #10381)

This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017 - colocated with the International Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems, RISE4CPS 2017, a one-time, invited-only event.The 3 full papers presented together with 3 short papers, 2 keynote abstracts and 4 invited abstracts were carefully reviewed and selected from numerous submissions.The NSV 2017 workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.

General Circulation of the Ocean (Topics in Atmospheric and Oceanic Sciences)

The ocean has entranced mankind for as long as we have gazed upon it, traversed it, dived into it, and studied it. It remains ever changing and seemingly never changing. Each wave that progresses through the. imme­ diate surf zone on every coast is strikingly different, yet the waves come again and again, as if never to end. The seasons come with essential reg­ ularity, and· yet each is individual-whatever did happen to that year of the normal rainfall or tidal behavior? This fascination with the currents of the ocean has always had a most immediate practical aspect: shipping, transportation, commerce, and war have depended upon our knowledge, when we had it, and floundered on our surprising ignorance more often than we wish to reflect. These important practical issues have commanded attention from commercial, academic, and military research scientists and engineers from the earliest era of organized scientific investigation. The matter of direct and insistent investigation was from the outset the behavior of ocean currents with long time scales; namely, those varying on annual or at least seasonal cycles. Planning for all the named enterprises depended, as they still do, of course, on the ability to predict with some certainty this class of phenomena. That ability, as with most physical sci­ ence, is predicated on a firm basis of observational fact to establish what, amorig the myriad of mathematical possibilities, is chosen by Nature as her expression of fact.

Predicting the Future: Completing Models of Observed Complex Systems (Understanding Complex Systems)

Through the development of an exact path integral for use in transferring information from observations to a model of the observed system, the author provides a general framework for the discussion of model building and evaluation across disciplines. Through many illustrative examples drawn from models in neuroscience, geosciences, and nonlinear electrical circuits, the concepts are exemplified in detail. Practical numerical methods for approximate evaluations of the path integral are explored, and their use in designing experiments and determining a model’s consistency with observations is explored.

Numerische Methoden für Ingenieure: mit Anwendungsbeispielen in Python

Technische Systeme werden von Ingenieur*innen modelliert und durch numerische Methoden simuliert. Dieses Lehrbuch bietet eine unkomplizierte Einführung in numerische Methoden, mit zahlreichen, praxisrelevanten Beispielen, die mithilfe der Programmiersprache Python gelöst werden. In ingenieurwissenschaftlichen Studienrichtungen sowie in allen Forschungsprojekten sind numerische Simulationen unumgänglich, geeignete Methoden aber oft schwierig zu begreifen. Hier erklären Ingenieure die mathematischen Grundlagen der numerischen Methoden in sachlicher, dennoch simpler Sprache, mit konkreten Anwendungsbeispielen auf Papier und am Bildschirm. Die Besonderheit in diesem Buch ist, dass nicht nur Modelle der physikalischen Systeme berechnet und experimentelle Daten bearbeitet werden, sondern der Code in Python Zeile für Zeile angegeben und erklärt wird. Über die Autoren: B. E. Abali arbeitet als Dozent an der Technischen Universität Berlin sowie der Türkisch-Deutschen Universität in Istanbul, und hat an der Technischen Universität München, University of California Berkeley in den USA und Ghent University in Belgien geforscht. C. Çakıroğlu ist Dozent an der Türkisch-Deutschen Universität in Istanbul und hat an der Technischen Universität Braunschweig, dem DLR (Deutsches Zentrum für Luft- und Raumfahrt) und der University of Alberta in Kanada geforscht.

Extended Abstracts Fall 2019: Spaces of Analytic Functions: Approximation, Interpolation, Sampling (Trends in Mathematics #12)

This book collects the abstracts of the mini-courses and lectures given during the Intensive Research Program “Spaces of Analytic Functions: Approximation, Interpolation, Sampling” which was held at the Centre de Recerca Matemàtica (Barcelona) in October–December, 2019.The topics covered in this volume are approximation, interpolation and sampling problems in spaces of analytic functions, their applications to spectral theory, Gabor analysis and random analytic functions. In many places in the book, we see how a problem related to one of the topics is tackled with techniques and ideas coming from another.The book will be of interest for specialists in Complex Analysis, Function and Operator theory, Approximation theory, and their applications, but also for young people starting their research in these areas.

The Synoptic Problem and Statistics

See How to Use Statistics for New Testament InterpretationThe Synoptic Problem and Statistics lays the foundations for a new area of interdisciplinary research that uses statistical techniques to investigate the synoptic problem in New Testament studies, which concerns the relationships between the Gospels of Matthew, Mark, and Luke. There are pote

Statistical Physics of Non-Thermal Phase Transitions: From Foundations to Applications (Springer Series in Synergetics)

This book addresses the application of methods used in statistical physics to complex systems—from simple phenomenological analogies to more complex aspects, such as correlations, fluctuation-dissipation theorem, the concept of free energy, renormalization group approach and scaling. Statistical physics contains a well-developed formalism that describes phase transitions. It is useful to apply this formalism for damage phenomena as well. Fractals, the Ising model, percolation, damage mechanics, fluctuations, free energy formalism, renormalization group, and scaling, are some of the topics covered in Statistical Physics of Phase Transitions.

Energy Level Alignment and Electron Transport Through Metal/Organic Contacts: From Interfaces to Molecular Electronics (Springer Theses)

In recent years, ever more electronic devices have started to exploit the advantages of organic semiconductors. The work reported in this thesis focuses on analyzing theoretically the energy level alignment of different metal/organic interfaces, necessary to tailor devices with good performance. Traditional methods based on density functional theory (DFT), are not appropriate for analyzing them because they underestimate the organic energy gap and fail to correctly describe the van der Waals forces.Since the size of these systems prohibits the use of more accurate methods, corrections to those DFT drawbacks are desirable. In this work a combination of a standard DFT calculation with the inclusion of the charging energy (U) of the molecule, calculated from first principles, is presented. Regarding the dispersion forces, incorrect long range interaction is substituted by a van der Waals potential. With these corrections, the C60, benzene, pentacene, TTF and TCNQ/Au(111) interfaces are analyzed, both for single molecules and for a monolayer. The results validate the induced density of interface states model.

Uncertainty Analyses in Environmental Sciences and Hydrogeology: Methods and Applications to Subsurface Contamination (SpringerBriefs in Applied Sciences and Technology)

This book highlights several methods and quantitative implementations of both probabilistic and fuzzy-based approaches to uncertainty quantification and uncertainty propagation through environmental subsurface pollution models with uncertain input parameters. The book focuses on methods as well as applications in hydrogeology, soil hydrology, groundwater contamination, and related areas (e.g., corrosion of nuclear waste canisters). The methods are illustrated for a broad spectrum of models, from non-differential I/O models to complex PDE solvers, including a novel 3D quasi-analytical model of contaminant transport, and a site-specific computer model of dissolved contaminant migration from a DNAPL (Dense Non Aqueous Phase Liquid) pollution source.

Brief Guidelines for Methods and Statistics in Medical Research (SpringerBriefs in Statistics #0)

This book serves as a practical guide to methods and statistics in medical research. It includes step-by-step instructions on using SPSS software for statistical analysis, as well as relevant examples to help those readers who are new to research in health and medical fields. Simple texts and diagrams are provided to help explain the concepts covered, and print screens for the statistical steps and the SPSS outputs are provided, together with interpretations and examples of how to report on findings. Brief Guidelines for Methods and Statistics in Medical Research offers a valuable quick reference guide for healthcare students and practitioners conducting research in health related fields, written in an accessible style.

An Introductory Course in Summability Theory

An introductory course in summability theory for students, researchers, physicists, and engineers In creating this book, the authors’ intent was to provide graduate students, researchers, physicists, and engineers with a reasonable introduction to summability theory. Over the course of nine chapters, the authors cover all of the fundamental concepts and equations informing summability theory and its applications, as well as some of its lesser known aspects. Following a brief introduction to the history of summability theory, general matrix methods are introduced, and the Silverman-Toeplitz theorem on regular matrices is discussed. A variety of special summability methods, including the Nörlund method, the Weighted Mean method, the Abel method, and the (C, 1) - method are next examined. An entire chapter is devoted to a discussion of some elementary Tauberian theorems involving certain summability methods. Following this are chapters devoted to matrix transforms of summability and absolute summability domains of reversible and normal methods; the notion of a perfect matrix method; matrix transforms of summability and absolute summability domains of the Cesàro and Riesz methods; convergence and the boundedness of sequences with speed; and convergence, boundedness, and summability with speed. • Discusses results on matrix transforms of several matrix methods • The only English-language textbook describing the notions of convergence, boundedness, and summability with speed, as well as their applications in approximation theory • Compares the approximation orders of Fourier expansions in Banach spaces by different matrix methods • Matrix transforms of summability domains of regular perfect matrix methods are examined • Each chapter contains several solved examples and end-of-chapter exercises, including hints for solutions An Introductory Course in Summability Theory is the ideal first text in summability theory for graduate students, especially those having a good grasp of real and complex analysis. It is also a valuable reference for mathematics researchers and for physicists and engineers who work with Fourier series, Fourier transforms, or analytic continuation. ANTS AASMA, PhD, is Associate Professor of Mathematical Economics in the Department of Economics and Finance at Tallinn University of Technology, Estonia. HEMEN DUTTA, PhD, is Senior Assistant Professor of Mathematics at Gauhati University, India. P.N. NATARAJAN, PhD, is Formerly Professor and Head of the Department of Mathematics, Ramakrishna Mission Vivekananda College, Chennai, Tamilnadu, India.

An Introductory Course in Summability Theory

An introductory course in summability theory for students, researchers, physicists, and engineers In creating this book, the authors’ intent was to provide graduate students, researchers, physicists, and engineers with a reasonable introduction to summability theory. Over the course of nine chapters, the authors cover all of the fundamental concepts and equations informing summability theory and its applications, as well as some of its lesser known aspects. Following a brief introduction to the history of summability theory, general matrix methods are introduced, and the Silverman-Toeplitz theorem on regular matrices is discussed. A variety of special summability methods, including the Nörlund method, the Weighted Mean method, the Abel method, and the (C, 1) - method are next examined. An entire chapter is devoted to a discussion of some elementary Tauberian theorems involving certain summability methods. Following this are chapters devoted to matrix transforms of summability and absolute summability domains of reversible and normal methods; the notion of a perfect matrix method; matrix transforms of summability and absolute summability domains of the Cesàro and Riesz methods; convergence and the boundedness of sequences with speed; and convergence, boundedness, and summability with speed. • Discusses results on matrix transforms of several matrix methods • The only English-language textbook describing the notions of convergence, boundedness, and summability with speed, as well as their applications in approximation theory • Compares the approximation orders of Fourier expansions in Banach spaces by different matrix methods • Matrix transforms of summability domains of regular perfect matrix methods are examined • Each chapter contains several solved examples and end-of-chapter exercises, including hints for solutions An Introductory Course in Summability Theory is the ideal first text in summability theory for graduate students, especially those having a good grasp of real and complex analysis. It is also a valuable reference for mathematics researchers and for physicists and engineers who work with Fourier series, Fourier transforms, or analytic continuation. ANTS AASMA, PhD, is Associate Professor of Mathematical Economics in the Department of Economics and Finance at Tallinn University of Technology, Estonia. HEMEN DUTTA, PhD, is Senior Assistant Professor of Mathematics at Gauhati University, India. P.N. NATARAJAN, PhD, is Formerly Professor and Head of the Department of Mathematics, Ramakrishna Mission Vivekananda College, Chennai, Tamilnadu, India.

Die Berechnung der Zylinderschalen

Plane and Solid Geometry (Universitext)

This is a book on Euclidean geometry that covers the standard material in a completely new way, while also introducing a number of new topics that would be suitable as a junior-senior level undergraduate textbook. The author does not begin in the traditional manner with abstract geometric axioms. Instead, he assumes the real numbers, and begins his treatment by introducing such modern concepts as a metric space, vector space notation, and groups, and thus lays a rigorous basis for geometry while at the same time giving the student tools that will be useful in other courses.

Local Search in Combinatorial Optimization

In the past three decades, local search has grown from a simple heuristic idea into a mature field of research in combinatorial optimization that is attracting ever-increasing attention. Local search is still the method of choice for NP-hard problems as it provides a robust approach for obtaining high-quality solutions to problems of a realistic size in reasonable time. Local Search in Combinatorial Optimization covers local search and its variants from both a theoretical and practical point of view, each topic discussed by a leading authority. This book is an important reference and invaluable source of inspiration for students and researchers in discrete mathematics, computer science, operations research, industrial engineering, and management science. In addition to the editors, the contributors are Mihalis Yannakakis, Craig A. Tovey, Jan H. M. Korst, Peter J. M. van Laarhoven, Alain Hertz, Eric Taillard, Dominique de Werra, Heinz Mühlenbein, Carsten Peterson, Bo Söderberg, David S. Johnson, Lyle A. McGeoch, Michel Gendreau, Gilbert Laporte, Jean-Yves Potvin, Gerard A. P. Kindervater, Martin W. P. Savelsbergh, Edward J. Anderson, Celia A. Glass, Chris N. Potts, C. L. Liu, Peichen Pan, Iiro Honkala, and Patric R. J. Östergård.

Local Search in Combinatorial Optimization (PDF)

In the past three decades, local search has grown from a simple heuristic idea into a mature field of research in combinatorial optimization that is attracting ever-increasing attention. Local search is still the method of choice for NP-hard problems as it provides a robust approach for obtaining high-quality solutions to problems of a realistic size in reasonable time. Local Search in Combinatorial Optimization covers local search and its variants from both a theoretical and practical point of view, each topic discussed by a leading authority. This book is an important reference and invaluable source of inspiration for students and researchers in discrete mathematics, computer science, operations research, industrial engineering, and management science. In addition to the editors, the contributors are Mihalis Yannakakis, Craig A. Tovey, Jan H. M. Korst, Peter J. M. van Laarhoven, Alain Hertz, Eric Taillard, Dominique de Werra, Heinz Mühlenbein, Carsten Peterson, Bo Söderberg, David S. Johnson, Lyle A. McGeoch, Michel Gendreau, Gilbert Laporte, Jean-Yves Potvin, Gerard A. P. Kindervater, Martin W. P. Savelsbergh, Edward J. Anderson, Celia A. Glass, Chris N. Potts, C. L. Liu, Peichen Pan, Iiro Honkala, and Patric R. J. Östergård.

Parle ’91 Parallel Architectures and Languages Europe: Volume I: Parallel Architectures and Algorithms Eindhoven, The Netherlands, June 10–13, 1991 Proceedings (Lecture Notes in Computer Science #505)

The innovative progress in the development oflarge-and small-scale parallel computing systems and their increasing availability have caused a sharp rise in interest in the scientific principles that underlie parallel computation and parallel programming. The biannual "Parallel Architectures and Languages Europe" (PARLE) conferences aim at presenting current research material on all aspects of the theory, design, and application of parallel computing systems and parallel processing. At the same time, the goal of the PARLE conferences is to provide a forum for researchers and practitioners to ex­ change ideas on recent developments and trends in the field of parallel com­ puting and parallel programming. The first ~wo conferences, PARLE '87 and PARLE '89, have succeeded in meeting this goal and made PARLE a conference that is recognized worldwide in the field of parallel computation. PARLE '91 again offers a wealth of high-quality research material for the benefit of the scientific community. Compared to its predecessors, the scope of PARLE '91 has been broadened so as to cover the area of parallel algo­ rithms and complexity, in addition to the central themes of parallel archi­ tectures and languages. The proceedings of the PARLE '91 conference contain the text of all con­ tributed papers that were selected for the programme and of the invited papers by leading experts in the field.

The Cambridge N-Body Lectures (Lecture Notes in Physics #760)

Published under the auspices of the Royal Astronomical Society, this volume contains a set of extensive school tested lectures, with the aim to give a coherent and thorough background knowledge of the subject and to introduce the latest developments in N-body computational astrophysics. The topics cover a wide range from the classical few-body problem with discussions of resonance, chaos and stability to realistic modelling of star clusters as well as descriptions of codes, algorithms and special hardware for N-body simulations. This collection of topics, related to the gravitational N-body problem, will prove useful to both students and researchers in years to come.1) Published under the auspices of the Royal Astronomical Society.

A Practical Introduction to Survey Design: A Beginner′s Guide

This is your definitive guide to designing your social survey. It includes all the knowledge and skills you need to plan your survey with confidence and ease. Every step of survey design from developing your questions, to administering your survey and preparing your data for analysis, is explained in easy to follow language. It features: Case studies demonstrating how effective surveys are conducted in real life Clear advice on how to design an ethical social survey Practical exercises to help you construct your survey Suggestions for further reading taken from cutting edge, multidisciplinary sources The book also comes with a host of useful online resources, including templates and reflective questions, to help strengthen your understanding and apply your new found knowledge.

A Practical Introduction to Survey Design: A Beginner′s Guide

This is your definitive guide to designing your social survey. It includes all the knowledge and skills you need to plan your survey with confidence and ease. Every step of survey design from developing your questions, to administering your survey and preparing your data for analysis, is explained in easy to follow language. It features: Case studies demonstrating how effective surveys are conducted in real life Clear advice on how to design an ethical social survey Practical exercises to help you construct your survey Suggestions for further reading taken from cutting edge, multidisciplinary sources The book also comes with a host of useful online resources, including templates and reflective questions, to help strengthen your understanding and apply your new found knowledge.

A Practical Introduction to Survey Design: A Beginner′s Guide

This is your definitive guide to designing your social survey. It includes all the knowledge and skills you need to plan your survey with confidence and ease. Every step of survey design from developing your questions, to administering your survey and preparing your data for analysis, is explained in easy to follow language. It features: Case studies demonstrating how effective surveys are conducted in real life Clear advice on how to design an ethical social survey Practical exercises to help you construct your survey Suggestions for further reading taken from cutting edge, multidisciplinary sources The book also comes with a host of useful online resources, including templates and reflective questions, to help strengthen your understanding and apply your new found knowledge.