Page 12
Page 12
Battery management systems : Accurate state-of-charge indication for battery-powered applications
Builds further on the contents of the first volume in the Philips Research Book Series, Battery Management Systems - Design by Modelling. Since the subject of battery SoC indication requires a number of disciplines, this book covers all important disciplines starting from (electro)chemistry to understand battery behaviour, via mathematics to enable modelling of the observed battery behaviour and measurement science to enable accurate measurement of battery variables and assessment of the overall accuracy, to electrical engineering to enable an efficient implementation of the developed SoC indication system. It will therefore serve as an important source of information for any person working in engineering and involved in battery management.
Basics of fluid mechanics and introduction to computational fluid dynamics
Brings together the theoretical basics of fluid dynamics with a systemaic overview of the appropriate numerical and computational methods for solving the problems presented in the book. Also, effective codes for a majority of the examples are included.
Basic Real Analysis
Basic Real Analysis and Advanced Real Analysis (available separately or together as a Set) systematically develop those concepts and tools in real analysis that are vital to every mathematician, whether pure or applied, aspiring or established. These works present a comprehensive treatment with a global view of the subject, emphasizing the connections between real analysis and other branches of mathematics.
Basic Probability Theory with Applications
This book presents elementary probability theory with interesting and well-chosen applications that illustrate the theory. An introductory chapter reviews the basic elements of differential calculus which are used in the material to follow. The theory is presented systematically, beginning with the main results in elementary probability theory. This is followed by material on random variables. Random vectors, including the all important central limit theorem, are treated next. The last three chapters concentrate on applications of this theory in the areas of reliability theory, basic queuing models, and time series. Examples are elegantly woven into the text and over 400 exercises reinforce the material and provide students with ample practice.
Basic principles and applications of probability theory
This introductory chapter discusses such notions as determinism, chaos and randomness, p- dictibility and unpredictibility, some initial approaches to formalizing r- domness and it surveys certain problems that can be solved by probability theory. This will perhaps give one an idea to what extent the theory can - swer questions arising in speci?c random occurrences and the character of the answers provided by the theory. 1. 1 The Nature of Randomness The phrase “by chance” has no single meaning in ordinary language. For instance, it may mean unpremeditated, nonobligatory, unexpected, and so on. Its opposite sense is simpler: “not by chance” signi?es obliged to or bound to (happen). In philosophy, necessity counteracts randomness. Necessity signi?es conforming to law – it can be expressed by an exact law. The basic laws of mechanics, physics and astronomy can be formulated in terms of precise quantitativerelationswhichmustholdwithironcladnecessity.
Basic Notions of Algebra
Aims to present a general survey of algebra, of its basic notions and main branches.Those parts of the book devoted to the systematic treatment of notions and results of algebra make very limited demands on the reader: we presuppose only that the reader knows calculus, analytic geometry and linear algebra in the form taught in many high schools and colleges. The extent of the prerequisites required in our treatment of examples is harder to state; an acquaintance with projective space, topological spaces, differentiable and complex analytic manifolds and the basic theory of functions of a complex variable is desirable, but the reader should bear in mind that difficulties arising in the treatment of some specific example are likely to be purely local in nature, and not to affect the understanding of the rest of the book.
Basic Algebra
Basic Algebra and Advanced Algebra systematically develop concepts and tools in algebra that are vital to every mathematician, whether pure or applied, aspiring or established. Together, the two books give the reader a global view of algebra and its role in mathematics as a whole.Basic Algebra presents the subject matter in a forward-looking way that takes into account its historical development. It is suitable as a text in a two-semester advanced undergraduate or first-year graduate sequence in algebra, possibly supplemented by some material from Advanced Algebra at the graduate level. It requires of the reader only familiarity with matrix algebra, an understanding of the geometry and reduction of linear equations, and an acquaintance with proofs.
Axiom of Choice
AC, the axiom of choice, because of its non-constructive character, is the most controversial mathematical axiom, shunned by some, used indiscriminately by others. This treatise shows paradigmatically that:Disasters happen without AC: Many fundamental mathematical results fail (being equivalent in ZF to AC or to some weak form of AC).Disasters happen with AC: Many undesirable mathematical monsters are being created (e.g., non measurable sets and undeterminate games).Illuminating examples are drawn from diverse areas of mathematics, particularly from general topology, but also from algebra, order theory, elementary analysis, measure theory, game theory, and graph theory.
Averaging Methods in Nonlinear Dynamical Systems
The authors have presented an extensive revision of the first edition of the Averaging Methods in Nonlinear Dynamical Systems book. There are many changes, corrections and updates in chapters on Basic Material and Asymptotics, Averaging, and Attraction.
Average-Cost Control of Stochastic Manufacturing Systems
This book is concerned with hierarchical control of manufacturing systems under uncertainty. It focuses on system performance measured in long-run average cost criteria, exploring the relationship between control problems with a discounted cost and that with a long-run average cost in connection with hierarchical control. A new theory is articulated that shows that hierarchical decision making in the context of a goal-seeking manufacturing system can lead to a near optimization of its objective. The approach in the book considers manufacturing systems in which events occur at different time scales.
Automorphic Forms and Lie Superalgebras
Most known examples of Lie superalgebras with a related automorphic form such as the Fake Monster Lie algebra whose reflection group is given by the Leech lattice arise from (super)string theory and can be derived from lattice vertex algebras. The No-Ghost Theorem from dual resonance theory and a conjecture of Berger-Li-Sarnak on the eigenvalues of the hyperbolic Laplacian provide strong evidence that they are of rank at most 26.The aim of this book is to give the reader the tools to understand the ongoing classification and construction project of this class of Lie superalgebras and is ideal for a graduate course.
Automorphic forms and even unimodular lattices : Kneser neighbors of niemeier lattices
This book includes a self-contained approach of the general theory of quadratic forms and integral Euclidean lattices.It explains how the new advances in the Langlands program mentioned above pave the way for a solution. This study proves to be very rich, leading us to classical themes such as theta series, Siegel modular forms, the triality principle, L-functions and congruences between Galois representations.
Automatic Differentiation : Applications, Theory, and Implementations
This collection covers the state of the art in automatic differentiation theory and practice. Practitioners and students will learn about advances in automatic differentiation techniques and strategies for the implementation of robust and powerful tools. Computational scientists and engineers will benefit from the discussion of applications, which provide insight into effective strategies for using automatic differentiation for design optimization, sensitivity analysis, and uncertainty quantification.
Automatic Autocorrelation and Spectral Analysis
It takes advantage of greater computing power and robust algorithms to produce enough candidate models to be sure of providing a suitable candidate for given data. Improved order selection quality guarantees that one of the best (and often the best) will be selected automatically. The data themselves suggest their best representation. Should the analyst wish to intervene, alternatives can be provided. Written for graduate signal processing students and for researchers and engineers using time series analysis for practical applications ranging from breakdown prevention in heavy machinery to measuring lung noise for medical diagnosis.
Automated technology for verification and analysis ; 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020. The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and selected from 75 submissions.
Automated reasoning ; 3rd International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning,The papers address the entire spectrum of research in automated reasoning including formalization of mathematics, proof theory, proof search, description logics, interactive proof checking, higher-order logic, combination methods, satisfiability procedures, and rewriting. The papers are organized in topical sections on proofs, search, higher-order logic, proof theory, search, proof checking, combination, decision procedures, CASC-J3, rewriting, and description logic.
Automated deduction in Geometry ; 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers
The book show the lively variety of topics and methods and the current applicability of automated deduction in geometry to different branches of mathematics and to other sciences and technologies.
Automated deduction in Geometry ; 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2006, held at Pontevedra, Spain, in August/September 2006 as a satellite event of the International Congress of Mathematicians, ICM 2006. The 13 revised full papers presented were carefully selected from the submissions made due to a call for papers - within the scope of ADG - shortly after the meeting. The papers show the lively variety of topics and methods and the current applicability of automated deduction in geometry to different branches of mathematics and to other sciences and technologies.
Automata, languages and programming ; 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008.
Automata, Languages and Programming ; 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008.
