Skip to main content

Books in Mathematics

The Mathematics collection presents a range of foundational and advanced research content across applied and discrete mathematics, including fields such as Computational Mathematics; Differential Equations; Linear Algebra; Modelling & Simulation; Numerical Analysis; Probability & Statistics.

  • Information-Theoretic Methods for Estimating of Complicated Probability Distributions

    • 1st Edition
    • Volume 207
    • Zhi Zong
    • English
    Mixing up various disciplines frequently produces something that are profound and far-reaching. Cybernetics is such an often-quoted example. Mix of information theory, statistics and computing technology proves to be very useful, which leads to the recent development of information-theory based methods for estimating complicated probability distributions.Estima... probability distribution of a random variable is the fundamental task for quite some fields besides statistics, such as reliability, probabilistic risk analysis (PSA), machine learning, pattern recognization, image processing, neural networks and quality control. Simple distribution forms such as Gaussian, exponential or Weibull distributions are often employed to represent the distributions of the random variables under consideration, as we are taught in universities. In engineering, physical and social science applications, however, the distributions of many random variables or random vectors are so complicated that they do not fit the simple distribution forms at al.Exact estimation of the probability distribution of a random variable is very important. Take stock market prediction for example. Gaussian distribution is often used to model the fluctuations of stock prices. If such fluctuations are not normally distributed, and we use the normal distribution to represent them, how could we expect our prediction of stock market is correct? Another case well exemplifying the necessity of exact estimation of probability distributions is reliability engineering. Failure of exact estimation of the probability distributions under consideration may lead to disastrous designs.There have been constant efforts to find appropriate methods to determine complicated distributions based on random samples, but this topic has never been systematically discussed in detail in a book or monograph. The present book is intended to fill the gap and documents the latest research in this subject.Determining a complicated distribution is not simply a multiple of the workload we use to determine a simple distribution, but it turns out to be a much harder task. Two important mathematical tools, function approximation and information theory, that are beyond traditional mathematical statistics, are often used. Several methods constructed based on the two mathematical tools for distribution estimation are detailed in this book. These methods have been applied by the author for several years to many cases. They are superior in the following senses:(1) No prior information of the distribution form to be determined is necessary. It can be determined automatically from the sample;(2) The sample size may be large or small;(3) They are particularly suitable for computers. It is the rapid development of computing technology that makes it possible for fast estimation of complicated distributions. The methods provided herein well demonstrate the significant cross influences between information theory and statistics, and showcase the fallacies of traditional statistics that, however, can be overcome by information theory.Key Features:- Density functions automatically determined from samples- Free of assuming density forms- Computation-effectiv... methods suitable for PC
  • Stochastic Dynamics and Control

    • 1st Edition
    • Volume 4
    • Jian-Qiao Sun
    • English
    This book is a result of many years of author’s research and teaching on random vibration and control. It was used as lecture notes for a graduate course. It provides a systematic review of theory of probability, stochastic processes, and stochastic calculus. The feedback control is also reviewed in the book. Random vibration analyses of SDOF, MDOF and continuous structural systems are presented in a pedagogical order. The application of the random vibration theory to reliability and fatigue analysis is also discussed. Recent research results on fatigue analysis of non-Gaussian stress processes are also presented. Classical feedback control, active damping, covariance control, optimal control, sliding control of stochastic systems, feedback control of stochastic time-delayed systems, and probability density tracking control are studied. Many control results are new in the literature and included in this book for the first time. The book serves as a reference to the engineers who design and maintain structures subject to harsh random excitations including earthquakes, sea waves, wind gusts, and aerodynamic forces, and would like to reduce the damages of structural systems due to random excitations.
  • Handbook of Differential Equations: Stationary Partial Differential Equations

    • 1st Edition
    • Volume 3
    • Michel Chipot + 1 more
    • English
    This handbook is volume III in a series devoted to stationary partial differential quations. Similarly as volumes I and II, it is a collection of self contained state-of-the-art surveys written by well known experts in the field. The topics covered by this handbook include singular and higher order equations, problems near critically, problems with anisotropic nonlinearities, dam problem, T-convergence and Schauder-type estimates. These surveys will be useful for both beginners and experts and speed up the progress of corresponding (rapidly developing and fascinating) areas of mathematics.Key features: - Written by well-known experts in the field- Self-contained volume in series covering one of the most rapid developing topics in mathematics
  • Simulation

    • 4th Edition
    • Sheldon M. Ross
    • English
    Ross's Simulation, Fourth Edition introduces aspiring and practicing actuaries, engineers, computer scientists and others to the practical aspects of constructing computerized simulation studies to analyze and interpret real phenomena. Readers learn to apply results of these analyses to problems in a wide variety of fields to obtain effective, accurate solutions and make predictions about future outcomes. This text explains how a computer can be used to generate random numbers, and how to use these random numbers to generate the behavior of a stochastic model over time. It presents the statistics needed to analyze simulated data as well as that needed for validating the simulation model.
  • Mathematical Problems for Chemistry Students

    • 1st Edition
    • Gyorgy Pota
    • English
    Mathematical Problems for Chemistry Students has been compiled and written (a) to help chemistry students in their mathematical studies by providing them with mathematical problems really occurring in chemistry (b) to help practising chemists to activate their applied mathematical skills and (c) to introduce students and specialists of the chemistry-related fields (physicists, mathematicians, biologists, etc.) into the world of the chemical applications. Some problems of the collection are mathematical reformulations of those in the standard textbooks of chemistry, others were taken from theoretical chemistry journals. All major fields of chemistry are covered, and each problem is given a solution. This problem collection is intended for beginners and users at an intermediate level. It can be used as a companion to virtually all textbooks dealing with scientific and engineering mathematics or specifically mathematics for chemists.
  • Lectures on the Curry-Howard Isomorphism

    • 1st Edition
    • Volume 149
    • Morten Heine Sørensen + 1 more
    • English
    The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance,minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to explicit substitution, etc.The isomorphism has many aspects, even at the syntactic level:formulas correspond to types, proofs correspond to terms, provability corresponds to inhabitation, proof normalization corresponds to term reduction, etc.But there is more to the isomorphism than this. For instance, it is an old idea---due to Brouwer, Kolmogorov, and Heyting---that a constructive proof of an implication is a procedure that transformsproofs of the antecedent into proofs of the succedent; the Curry-Howard isomorphism gives syntactic representations of such procedures. The Curry-Howard isomorphism also provides theoretical foundations for many modern proof-assistant systems (e.g. Coq).This book give an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism. It can serve as an introduction to any or both of typed lambda-calculus and intuitionistic logic.Key features- The Curry-Howard Isomorphism treated as common theme- Reader-friendly introduction to two complementary subjects: Lambda-calculus and constructive logics- Thorough study of the connection between calculi and logics- Elaborate study of classical logics and control operators- Account of dialogue games for classical and intuitionistic logic- Theoretical foundations of computer-assisted reasoning
  • Integral and Finite Difference Inequalities and Applications

    • 1st Edition
    • Volume 205
    • B. G. Pachpatte
    • English
    The monograph is written with a view to provide basic tools for researchers working in Mathematical Analysis and Applications, concentrating on differential, integral and finite difference equations. It contains many inequalities which have only recently appeared in the literature and which can be used as powerful tools and will be a valuable source for a long time to come. It is self-contained and thus should be useful for those who are interested in learning or applying the inequalities with explicit estimates in their studies.
  • Handbook of Algebra

    • 1st Edition
    • Volume 4
    • M. Hazewinkel
    • English
    Algebra, as we know it today, consists of many different ideas, concepts and results. A reasonable estimate of the number of these different items would be somewhere between 50,000 and 200,000. Many of these have been named and many more could (and perhaps should) have a name or a convenient designation. Even the nonspecialist is likely to encounter most of these, either somewhere in the literature, disguised as a definition or a theorem or to hear about them and feel the need for more information. If this happens, one should be able to find enough information in this Handbook to judge if it is worthwhile to pursue the quest.In addition to the primary information given in the Handbook, there are references to relevant articles, books or lecture notes to help the reader. An excellent index has been included which is extensive and not limited to definitions, theorems etc.The Handbook of Algebra will publish articles as they are received and thus the reader will find in this third volume articles from twelve different sections. The advantages of this scheme are two-fold: accepted articles will be published quickly and the outline of the Handbook can be allowed to evolve as the various volumes are published.A particularly important function of the Handbook is to provide professional mathematicians working in an area other than their own with sufficient information on the topic in question if and when it is needed.
  • Advances in Computers

    Web Technology
    • 1st Edition
    • Volume 67
    • Marvin Zelkowitz
    • English
    This volume is number 67 in the series Advances in Computers that began back in 1960. This is the longest continuously published series of books that chronicles the evolution of the computer industry. Each year three volumes are produced presenting approximately 20 chapters that describe the latest technology in the use of computers today. Volume 67, subtitled "Web technology," presents 6 chapters that show the impact that the World Wide Web is having on our society today. The general theme running throughout the volume is the ubiquity of web services. Topics such as wireless access and its problems and reliability of web communications are emphasized. Key features: In-depth surveys and tutorials on software development approaches Well-known authors and researchers in the field Extensive bibliographies with most chapters All chapters focus on Internet and web technology issues Discussion of wireless communication and forensic issues, currently important research areas
  • Relation Algebras

    • 1st Edition
    • Volume 150
    • Roger Duncan Maddux
    • English
    The modern theory of algebras of binary relations, reformulated by Tarski as an abstract, algebraic, equational theory of relation algebras, has considerable mathematical significance, with applications in various fields: e.g., in computer science---databases, specification theory, AI---and in anthropology, economics, physics, and philosophical logic. This comprehensive treatment of the theory of relation algebras and the calculus of relations is the first devoted to a systematic development of the subject.