Skip to main content
Elsevier

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.

  • Mathematical Modelling

    Education, Engineering and Economics - ICTMA 12
    • 1st Edition
    • C Haines + 3 more
    • English
    This book continues the ICTMA tradition of influencing teaching and learning in the application of mathematical modelling. Each chapter shows how real life problems can be discussed during university lectures, in school classrooms and industrial research. International experts contribute their knowledge and experience by providing analysis, insight and comment whilst tackling large and complex problems by applying mathematical modelling. This book covers the proceedings from the Twelfth International Conference on the Teaching of Mathematical Modelling and Applications.

  • The Many Valued and Nonmonotonic Turn in Logic

    • 1st Edition
    • Volume 8
    • Dov M. Gabbay + 1 more
    • English
    The present volume of the Handbook of the History of Logic brings together two of the most important developments in 20th century non-classical logic. These are many-valuedness and non-monotonicity. On the one approach, in deference to vagueness, temporal or quantum indeterminacy or reference-failure, sentences that are classically non-bivalent are allowed as inputs and outputs to consequence relations. Many-valued, dialetheic, fuzzy and quantum logics are, among other things, principled attempts to regulate the flow-through of sentences that are neither true nor false. On the second, or non-monotonic, approach, constraints are placed on inputs (and sometimes on outputs) of a classical consequence relation, with a view to producing a notion of consequence that serves in a more realistic way the requirements of real-life inference. Many-valued logics produce an interesting problem. Non-bivalent inputs produce classically valid consequence statements, for any choice of outputs. A major task of many-valued logics of all stripes is to fashion an appropriately non-classical relation of consequence.The chief preoccupation of non-monotonic (and default) logicians is how to constrain inputs and outputs of the consequence relation. In what is called “left non-monotonicity”, it is forbidden to add new sentences to the inputs of true consequence-statemen... The restriction takes notice of the fact that new information will sometimes override an antecedently (and reasonably) derived consequence. In what is called “right non-monotonicity”, limitations are imposed on outputs of the consequence relation. Most notably, perhaps, is the requirement that the rule of or-introduction not be given free sway on outputs. Also prominent is the effort of paraconsistent logicians, both preservationist and dialetheic, to limit the outputs of inconsistent inputs, which in classical contexts are wholly unconstrained.In some instances, our two themes coincide. Dialetheic logics are a case in point. Dialetheic logics allow certain selected sentences to have, as a third truth value, the classical values of truth and falsity together. So such logics also admit classically inconsistent inputs. A central task is to construct a right non-monotonic consequence relation that allows for these many-valued, and inconsistent, inputs.The Many Valued and Non-Monotonic Turn in Logic is an indispensable research tool for anyone interested in the development of logic, including researchers, graduate and senior undergraduate students in logic, history of logic, mathematics, history of mathematics, computer science, AI, linguistics, cognitive science, argumentation theory, and the history of ideas.

  • Practical Data Analysis in Chemistry

    • 1st Edition
    • Volume 26
    • Marcel Maeder + 1 more
    • English
    The majority of modern instruments are computerised and provide incredible amounts of data. Methods that take advantage of the flood of data are now available; importantly they do not emulate 'graph paper analyses' on the computer. Modern computational methods are able to give us insights into data, but analysis or data fitting in chemistry requires the quantitative understanding of chemical processes. The results of this analysis allows the modelling and prediction of processes under new conditions, therefore saving on extensive experimentation. Practical Data Analysis in Chemistry exemplifies every aspect of theory applicable to data analysis using a short program in a Matlab or Excel spreadsheet, enabling the reader to study the programs, play with them and observe what happens. Suitable data are generated for each example in short routines, this ensuring a clear understanding of the data structure. Chapter 2 includes a brief introduction to matrix algebra and its implementation in Matlab and Excel while Chapter 3 covers the theory required for the modelling of chemical processes. This is followed by an introduction to linear and non-linear least-squares fitting, each demonstrated with typical applications. Finally Chapter 5 comprises a collection of several methods for model-free data analyses.

  • Advances in Computers

    Nanotechnology
    • 1st Edition
    • Volume 71
    • Marvin Zelkowitz
    • English
    Advances in Computers covers new developments in computer technology. Most chapters present an overview of a current subfield within computers, with many citations, and often include new developments in the field by the authors of the individual chapters. Topics include hardware, software, theoretical underpinnings of computing, and novel applications of computers. This current volume includes six chapters on nanotechnology emphasizing its use in biological applications. The book series is a valuable addition to university courses that emphasize the topics under discussion in that particular volume as well as belonging on the bookshelf of industrial practitioners who need to implement many of the technologies that are described.

  • Stochastic Modelling in Process Technology

    • 1st Edition
    • Volume 211
    • Herold G. Dehling + 2 more
    • English
    There is an ever increasing need for modelling complex processes reliably. Computational modelling techniques, such as CFD and MD may be used as tools to study specific systems, but their emergence has not decreased the need for generic, analytical process models. Multiphase and multicomponent systems, and high-intensity processes displaying a highly complex behaviour are becoming omnipresent in the processing industry. This book discusses an elegant, but little-known technique for formulating process models in process technology: stochastic process modelling. The technique is based on computing the probability distribution for a single particle's position in the process vessel, and/or the particle's properties, as a function of time, rather than - as is traditionally done - basing the model on the formulation and solution of differential conservation equations. Using this technique can greatly simplify the formulation of a model, and even make modelling possible for processes so complex that the traditional method is impracticable. Stochastic modelling has sporadically been used in various branches of process technology under various names and guises. This book gives, as the first, an overview of this work, and shows how these techniques are similar in nature, and make use of the same basic mathematical tools and techniques. The book also demonstrates how stochastic modelling may be implemented by describing example cases, and shows how a stochastic model may be formulated for a case, which cannot be described by formulating and solving differential balance equations.

  • Complex Numbers

    Lattice Simulation and Zeta Function Applications
    • 1st Edition
    • S C Roy
    • English
    An informative and useful account of complex numbers that includes historical anecdotes, ideas for further research, outlines of theory and a detailed analysis of the ever-elusory Riemann hypothesis. Stephen Roy assumes no detailed mathematical knowledge on the part of the reader and provides a fascinating description of the use of this fundamental idea within the two subject areas of lattice simulation and number theory.Complex Numbers offers a fresh and critical approach to research-based implementation of the mathematical concept of imaginary numbers. Detailed coverage includes:Riemann’s zeta function: an investigation of the non-trivial roots by Euler-Maclaurin summation.Basic theory: logarithms, indices, arithmetic and integration procedures are described.Lattice simulation: the role of complex numbers in Paul Ewald’s important work of the I 920s is analysed.Mangoldt’s study of the xi function: close attention is given to the derivation of N(T) formulae by contour integration.Analytic... calculations: used extensively to illustrate important theoretical aspects.Glossary: over 80 terms included in the text are defined.

  • Business Continuity and Disaster Recovery Planning for IT Professionals

    • 1st Edition
    • Susan Snedaker
    • English
    Powerful Earthquake Triggers Tsunami in Pacific. Hurricane Katrina Makes Landfall in the Gulf Coast. Avalanche Buries Highway in Denver. Tornado Touches Down in Georgia. These headlines not only have caught the attention of people around the world, they have had a significant effect on IT professionals as well. As technology continues to become more integral to corporate operations at every level of the organization, the job of IT has expanded to become almost all-encompassing. These days, it’s difficult to find corners of a company that technology does not touch. As a result, the need to plan for potential disruptions to technology services has increased exponentially. That is what Business Continuity Planning (BCP) is: a methodology used to create a plan for how an organization will recover after a disaster of various types. It takes into account both security and corporate risk management tatics.There is a lot of movement around this initiative in the industry: the British Standards Institute is releasing a new standard for BCP this year. Trade shows are popping up covering the topic.

  • Mathematical Modeling

    • 3rd Edition
    • Mark Meerschaert
    • English
    Mathematical Modeling, Third Edition is a general introduction to an increasingly crucial topic for today's mathematicians. Unlike textbooks focused on one kind of mathematical model, this book covers the broad spectrum of modeling problems, from optimization to dynamical systems to stochastic processes. Mathematical modeling is the link between mathematics and the rest of the world. Meerschaert shows how to refine a question, phrasing it in precise mathematical terms. Then he encourages students to reverse the process, translating the mathematical solution back into a comprehensible, useful answer to the original question. This textbook mirrors the process professionals must follow in solving complex problems.Each chapter in this book is followed by a set of challenging exercises. These exercises require significant effort on the part of the student, as well as a certain amount of creativity. Meerschaert did not invent the problems in this book--they are real problems, not designed to illustrate the use of any particular mathematical technique. Meerschaert's emphasis on principles and general techniques offers students the mathematical background they need to model problems in a wide range of disciplines.

  • Advances in Computers

    • 1st Edition
    • Volume 70
    • Marvin Zelkowitz
    • English
    Advances in Computers covers new developments in computer technology. Most chapters present an overview of a current subfield within computers, with many citations, and often include new developments in the field by the authors of the individual chapters. Topics include hardware, software, theoretical underpinnings of computing, and novel applications of computers. This current volume includes six chapters on hardware development in the educational market, intelligent search strategies, domain specific languages and trustworthiness and risks in computer technology. The book series is a valuable addition to university courses that emphasize the topics under discussion in that particular volume as well as belonging on the bookshelf of industrial practitioners who need to implement many of the technologies that are described.

  • Viability, Invariance and Applications

    • 1st Edition
    • Volume 207
    • Ovidiu Carja + 2 more
    • English
    The book is an almost self-contained presentation of the most important concepts and results in viability and invariance. The viability of a set K with respect to a given function (or multi-function) F, defined on it, describes the property that, for each initial data in K, the differential equation (or inclusion) driven by that function or multi-function) to have at least one solution. The invariance of a set K with respect to a function (or multi-function) F, defined on a larger set D, is that property which says that each solution of the differential equation (or inclusion) driven by F and issuing in K remains in K, at least for a short time.The book includes the most important necessary and sufficient conditions for viability starting with Nagumo’s Viability Theorem for ordinary differential equations with continuous right-hand sides and continuing with the corresponding extensions either to differential inclusions or to semilinear or even fully nonlinear evolution equations, systems and inclusions. In the latter (i.e. multi-valued) cases, the results (based on two completely new tangency concepts), all due to the authors, are original and extend significantly, in several directions, their well-known classical counterparts.

  • Numerical Methods for Roots of Polynomials - Part I

    • 1st Edition
    • Volume 14
    • J.M. McNamee
    • English
    Numerical Methods for Roots of Polynomials - Part I (along with volume 2 covers most of the traditional methods for polynomial root-finding such as Newton’s, as well as numerous variations on them invented in the last few decades. Perhaps more importantly it covers recent developments such as Vincent’s method, simultaneous iterations, and matrix methods. There is an extensive chapter on evaluation of polynomials, including parallel methods and errors. There are pointers to robust and efficient programs. In short, it could be entitled “A Handbook of Methods for Polynomial Root-finding”. This book will be invaluable to anyone doing research in polynomial roots, or teaching a graduate course on that topic.

  • Security+ Study Guide

    • 2nd Edition
    • Ido Dubrawsky + 1 more
    • English
    Over 700,000 IT Professionals Have Prepared for Exams with Syngress Authored Study GuidesThe Security+ Study Guide & Practice Exam is a one-of-a-kind integration of text and and Web-based exam simulation and remediation. This system gives you 100% coverage of official CompTIA Security+ exam objectives plus test preparation software for the edge you need to achieve certification on your first try! This system is comprehensive, affordable, and effective!* Completely Guaranteed Coverage of All Exam ObjectivesAll five Security+ domains are covered in full: General Security Concepts, Communication Security, Infrastructure Security, Basics of Cryptography, and Operational / Organizational Security * Fully Integrated LearningThis package includes a Study Guide and one complete practice exam. * Each chapter starts by explaining the exam objectives covered in the chapterYou will always know what is expected of you within each of the exam’s domains.* Exam-Specific Chapter ElementsNotes, Tips, Alerts, Exercises, Exam’s Eyeview, and Self Test with fully explained answers. * Test What You LearnedHundreds of self-test review questions test your knowledge of specific exam objectives. A Self Test Appendix features answers to all questions with complete explanations of correct and incorrect answers.

  • Handbook of Differential Equations: Stationary Partial Differential Equations

    • 1st Edition
    • Volume 4
    • Michel Chipot
    • English
    A collection of self contained state-of-the art surveys. The authors have made an effort to achieve readability for mathematicians and scientists from other fields, for this series of handbooks to be a new reference for research, learning and teaching.

  • Advances in Computers

    Architectural Advances
    • 1st Edition
    • Volume 69
    • Marvin Zelkowitz
    • English
    The series covers new developments in computer technology. Most chapters present an overview of a current subfield within computers, with many citations, and often include new developments in the field by the authors of the individual chapters. Topics include hardware, software, theoretical underpinnings of computing, and novel applications of computers. This current volume emphasizes architectural advances and includes five chapters on hardware development, games for mobile devices such as cell phones, and open source software development. The book series is a valuable addition to university courses that emphasize the topics under discussion in that particular volume as well as belonging on the bookshelf of industrial practitioners who need to implement many of the technologies that are described.

  • Residuated Lattices: An Algebraic Glimpse at Substructural Logics

    • 1st Edition
    • Volume 151
    • Nikolaos Galatos + 3 more
    • English
    The book is meant to serve two purposes. The first and more obvious one is to present state of the art results in algebraic research into residuated structures related to substructural logics. The second, less obvious but equally important, is to provide a reasonably gentle introduction to algebraic logic. At the beginning, the second objective is predominant. Thus, in the first few chapters the reader will find a primer of universal algebra for logicians, a crash course in nonclassical logics for algebraists, an introduction to residuated structures, an outline of Gentzen-style calculi as well as some titbits of proof theory - the celebrated Hauptsatz, or cut elimination theorem, among them. These lead naturally to a discussion of interconnections between logic and algebra, where we try to demonstrate how they form two sides of the same coin. We envisage that the initial chapters could be used as a textbook for a graduate course, perhaps entitled Algebra and Substructural Logics. As the book progresses the first objective gains predominance over the second. Although the precise point of equilibrium would be difficult to specify, it is safe to say that we enter the technical part with the discussion of various completions of residuated structures. These include Dedekind-McNeille completions and canonical extensions. Completions are used later in investigating several finiteness properties such as the finite model property, generation of varieties by their finite members, and finite embeddability. The algebraic analysis of cut elimination that follows, also takes recourse to completions. Decidability of logics, equational and quasi-equational theories comes next, where we show how proof theoretical methods like cut elimination are preferable for small logics/theories, but semantic tools like Rabin's theorem work better for big ones. Then we turn to Glivenko's theorem, which says that a formula is an intuitionistic tautology if and only if its double negation is a classical one. We generalise it to the substructural setting, identifying for each substructural logic its Glivenko equivalence class with smallest and largest element. This is also where we begin investigating lattices of logics and varieties, rather than particular examples. We continue in this vein by presenting a number of results concerning minimal varieties/maximal logics. A typical theorem there says that for some given well-known variety its subvariety lattice has precisely such-and-such number of minimal members (where values for such-and-such include, but are not limited to, continuum, countably many and two). In the last two chapters we focus on the lattice of varieties corresponding to logics without contraction. In one we prove a negative result: that there are no nontrivial splittings in that variety. In the other, we prove a positive one: that semisimple varieties coincide with discriminator ones. Within the second, more technical part of the book another transition process may be traced. Namely, we begin with logically inclined technicalities and end with algebraically inclined ones. Here, perhaps, algebraic rendering of Glivenko theorems marks the equilibrium point, at least in the sense that finiteness properties, decidability and Glivenko theorems are of clear interest to logicians, whereas semisimplicity and discriminator varieties are universal algebra par exellence. It is for the reader to judge whether we succeeded in weaving these threads into a seamless fabric.

  • Open Problems in Topology II

    • 1st Edition
    • Elliott M. Pearl
    • English
    This volume is a collection of surveys of research problems in topology and its applications. The topics covered include general topology, set-theoretic topology, continuum theory, topological algebra, dynamical systems, computational topology and functional analysis.

  • Linear Algebra

    • 2nd Edition
    • Richard Bronson + 1 more
    • English
    In this appealing and well-written text, Richard Bronson gives readers a substructure for a firm understanding of the abstract concepts of linear algebra and its applications. The author starts with the concrete and computational, and leads the reader to a choice of major applications (Markov chains, least-squares approximation, and solution of differential equations using Jordan normal form). The first three chapters address the basics: matrices, vector spaces, and linear transformations. The next three cover eigenvalues, Euclidean inner products, and Jordan canonical forms, offering possibilities that can be tailored to the instructor's taste and to the length of the course. Bronson's approach to computation is modern and algorithmic, and his theory is clean and straightforward. Throughout, the views of the theory presented are broad and balanced. Key material is highlighted in the text and summarized at the end of each chapter. The book also includes ample exercises with answers and hints. With its inclusion of all the needed features, this text will be a pleasure for professionals, teachers, and students.

  • Computational Methods for Modeling of Nonlinear Systems by Anatoli Torokhti and Phil Howlett

    • 1st Edition
    • Volume 212
    • Anatoli Torokhti + 1 more
    • English
    In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems. A number of computing techniques are considered, such as methods of operator approximation with any given accuracy; operator interpolation techniques including a non-Lagrange interpolation; methods of system representation subject to constraints associated with concepts of causality, memory and stationarity; methods of system representation with an accuracy that is the best within a given class of models; methods of covariance matrix estimation; methods for low-rank matrix approximations; hybrid methods based on a combination of iterative procedures and best operator approximation; and methods for information compression and filtering under condition that a filter model should satisfy restrictions associated with causality and different types of memory. As a result, the book represents a blend of new methods in general computational analysis, and specific, but also generic, techniques for study of systems theory ant its particular branches, such as optimal filtering and information compression.

  • Introduction to Precise Numerical Methods

    • 2nd Edition
    • Oliver Aberth
    • English
    Precise numerical analysis may be defined as the study of computer methods for solving mathematical problems either exactly or to prescribed accuracy. This book explains how precise numerical analysis is constructed. The book also provides exercises which illustrate points from the text and references for the methods presented.

  • Table of Integrals, Series, and Products

    • 7th Edition
    • Daniel Zwillinger + 1 more
    • English
    The Table of Integrals, Series, and Products is the essential reference for integrals in the English language. Mathematicians, scientists, and engineers, rely on it when identifying and subsequently solving extremely complex problems. Since publication of the first English-language edition in 1965, it has been thoroughly revised and enlarged on a regular basis, with substantial additions and, where necessary, existing entries corrected or revised. The seventh edition includes a fully searchable CD-Rom.

  • Handbook of Latent Variable and Related Models

    • 1st Edition
    • Volume 1
    • English
    This Handbook covers latent variable models, which are a flexible class of models for modeling multivariate data to explore relationships among observed and latent variables.

  • Equilibrium Models and Variational Inequalities

    • 1st Edition
    • Volume 210
    • Igor Konnov
    • English
    The concept of equilibrium plays a central role in various applied sciences, such as physics (especially, mechanics), economics, engineering, transportation, sociology, chemistry, biology and other fields. If one can formulate the equilibrium problem in the form of a mathematical model, solutions of the corresponding problem can be used for forecasting the future behavior of very complex systems and, also, for correcting the the current state of the system under control. This book presents a unifying look on different equilibrium concepts in economics, including several models from related sciences.

  • Leonhard Euler

    Life, Work and Legacy
    • 1st Edition
    • Volume 5
    • Robert E. Bradley + 1 more
    • English
    The year 2007 marks the 300th anniversary of the birth of one of the Enlightenment’s most important mathematicians and scientists, Leonhard Euler. This volume is a collection of 24 essays by some of the world’s best Eulerian scholars from seven different countries about Euler, his life and his work. Some of the essays are historical, including much previously unknown information about Euler’s life, his activities in the St. Petersburg Academy, the influence of the Russian Princess Dashkova, and Euler’s philosophy. Others describe his influence on the subsequent growth of European mathematics and physics in the 19th century. Still others give technical details of Euler’s innovations in probability, number theory, geometry, analysis, astronomy, mechanics and other fields of mathematics and science.

  • RFID+ Study Guide and Practice Exams

    Study Guide and Practice Exams
    • 1st Edition
    • Paul Sanghera
    • English
    Radio Frequency Identification (RFID) is an automatic identification method, relying on storing and remotely retrieving data using devices called RFID tags (also called transponders). This book is a guide to CompTIA's new RFID+ Security exam and includes the following study elements: Exam objectives covered in a chapter are clearly explained in the beginning of the chapter, Notes and Alerts highlight the crucial points, Exam’s Eye View emphasizes the important points from the exam’s perspective, Key Terms present definitions, Review Questions contain questions modeled after the real exam questions. Answers to these questions are presented with complete explanations in an appendix. Also included is a full practice exam modeled after the real exam. The answers to the exam questions are presented with full explanations.

  • Difference Equations in Normed Spaces

    Stability and Oscillations
    • 1st Edition
    • Volume 206
    • Michael Gil
    • English
    Difference equations appear as natural descriptions of observed evolution phenomena because most measurements of time evolving variables are discrete. They also appear in the applications of discretization methods for differential, integral and integro-differential equations. The application of the theory of difference equations is rapidly increasing to various fields, such as numerical analysis, control theory, finite mathematics, and computer sciences. This book is devoted to linear and nonlinear difference equations in a normed space. The main methodology presented in this book is based on a combined use of recent norm estimates for operator-valued functions with the following methods and results: The freezing method The Liapunov type equation The method of majorants The multiplicative representation of solutions

  • L-System Fractals

    • 1st Edition
    • Volume 209
    • Jibitesh Mishra + 1 more
    • English
    L-System Fractals covers all the fundamental aspects of generating fractals through L-system. Also it provides insight to various researches in this area for generating fractals through L-system approach & estimating dimensions. Also it discusses various applications of L-system fractals.

  • Biostatistics

    A Guide to Design, Analysis and Discovery
    • 2nd Edition
    • Ronald N. Forthofer + 2 more
    • English
    Biostatistics, Second Edition, is a user-friendly guide on biostatistics, which focuses on the proper use and interpretation of statistical methods. This textbook does not require extensive background in mathematics, making it user-friendly for all students in the public health sciences field. Instead of highlighting derivations of formulas, the authors provide rationales for the formulas, allowing students to grasp a better understanding of the link between biology and statistics. The material on life tables and survival analysis allows students to better understand the recent literature in the health field, particularly in the study of chronic disease treatment. This updated edition contains over 40% new material with modern real-life examples, exercises, and references, including new chapters on Logistic Regression, Analysis of Survey Data, and Study Designs. The book is recommended for students in the health sciences, public health professionals, and practitioners.

  • Introduction to Probability Models

    • 10th Edition
    • Sheldon M. Ross
    • English
    Introduction to Probability Models, Tenth Edition, provides an introduction to elementary probability theory and stochastic processes. There are two approaches to the study of probability theory.One is heuristic and nonrigorous, and attempts to develop in students an intuitive feel for the subject that enables him or her to think probabilistically. The other approach attempts a rigorous development of probability by using the tools of measure theory. The first approach is employed in this text.The book begins by introducing basic concepts of probability theory, such as the random variable, conditional probability, and conditional expectation. This is followed by discussions of stochastic processes, including Markov chains and Poison processes. The remaining chapters cover queuing, reliability theory, Brownian motion, and simulation. Many examples are worked out throughout the text, along with exercises to be solved by students.This book will be particularly useful to those interested in learning how probability theory can be applied to the study of phenomena in fields such as engineering, computer science, management science, the physical and social sciences, and operations research. Ideally, this text would be used in a one-year course in probability models, or a one-semester course in introductory probability theory or a course in elementary stochastic processes.

  • Advances in Computers

    Computational Biology and Bioinformatics
    • 1st Edition
    • Volume 68
    • Chau-wen Tseng + 1 more
    • English
    The field of bioinformatics and computational biology arose due to the need to apply techniques from computer science, statistics, informatics, and applied mathematics to solve biological problems. Scientists have been trying to study biology at a molecular level using techniques derived from biochemistry, biophysics, and genetics. Progress has greatly accelerated with the discovery of fast and inexpensive automated DNA sequencing techniques. As the genomes of more and more organisms are sequenced and assembled, scientists are discovering many useful facts by tracing the evolution of organisms by measuring changes in their DNA, rather than through physical characteristics alone. This has led to rapid growth in the related fields of phylogenetics, the study of evolutionary relatedness among various groups of organisms, and comparative genomics, the study of the correspondence between genes and other genomic features in different organisms. Comparing the genomes of organisms has allowed researchers to better understand the features and functions of DNA in individual organisms, as well as provide insights into how organisms evolve over time. The first four chapters of Advances in Computers focus on algorithms for comparing the genomes of different organisms. Possible concrete applications include identifying the basis for genetic diseases and tracking the development and spread of different forms of Avian flu. As researchers begin to better understand the function of DNA, attention has begun shifting towards the actual proteins produced by DNA. The final two chapters explore proteomic techniques for analyzing proteins directly to identify their presence and understand their physical structure.

  • Introduction to Probability Models

    • 9th Edition
    • Sheldon M. Ross
    • English
    Introduction to Probability Models, Ninth Edition, is the primary text for a first undergraduate course in applied probability. This updated edition of Ross's classic bestseller provides an introduction to elementary probability theory and stochastic processes, and shows how probability theory can be applied to the study of phenomena in fields such as engineering, computer science, management science, the physical and social sciences, and operations research. With the addition of several new sections relating to actuaries, this text is highly recommended by the Society of Actuaries. This book now contains a new section on compound random variables that can be used to establish a recursive formula for computing probability mass functions for a variety of common compounding distributions; a new section on hiddden Markov chains, including the forward and backward approaches for computing the joint probability mass function of the signals, as well as the Viterbi algorithm for determining the most likely sequence of states; and a simplified approach for analyzing nonhomogeneous Poisson processes. There are also additional results on queues relating to the conditional distribution of the number found by an M/M/1 arrival who spends a time t in the system; inspection paradox for M/M/1 queues; and M/G/1 queue with server breakdown. Furthermore, the book includes new examples and exercises, along with compulsory material for new Exam 3 of the Society of Actuaries. This book is essential reading for professionals and students in actuarial science, engineering, operations research, and other fields in applied probability.

  • Measure Theory

    A First Course
    • 1st Edition
    • Carlos S Kubrusly
    • English
    This contemporary first course focuses on concepts and ideas of Measure Theory, highlighting the theoretical side of the subject. Its primary intention is to introduce Measure Theory to a new generation of students, whether in mathematics or in one of the sciences, by offering them on the one hand a text with complete, rigorous and detailed proofs--sketchy proofs have been a perpetual complaint, as demonstrated in the many Amazon reader reviews critical of authors who "omit 'trivial' steps" and "make not-so-obvious 'it is obvious' remarks." On the other hand, Kubrusly offers a unique collection of fully hinted problems. On the other hand, Kubrusly offers a unique collection of fully hinted problems. The author invites the readers to take an active part in the theory construction, thereby offering them a real chance to acquire a firmer grasp on the theory they helped to build. These problems, at the end of each chapter, comprise complements and extensions of the theory, further examples and counterexamples, or auxiliary results. They are an integral part of the main text, which sets them apart from the traditional classroom or homework exercises.JARGON BUSTER:measure theoryMeasure theory investigates the conditions under which integration can take place. It considers various ways in which the "size" of a set can be estimated.This topic is studied in pure mathematics programs but the theory is also foundational for students of statistics and probability, engineering, and financial engineering.

  • Explorations in Topology

    Map Coloring, Surfaces and Knots
    • 1st Edition
    • David Gay
    • English
    Explorations in Topology gives students a rich experience with low-dimensional topology, enhances their geometrical and topological intuition, empowers them with new approaches to solving problems, and provides them with experiences that would help them make sense of a future, more formal topology course. The innovative story-line style of the text models the problems-solving process, presents the development of concepts in a natural way, and through its informality seduces the reader into engagement with the material. The end-of-chapter Investigations give the reader opportunities to work on a variety of open-ended, non-routine problems, and, through a modified "Moore method", to make conjectures from which theorems emerge. The students themselves emerge from these experiences owning concepts and results. The end-of-chapter Notes provide historical background to the chapter’s ideas, introduce standard terminology, and make connections with mainstream mathematics. The final chapter of projects provides opportunities for continued involvement in "research" beyond the topics of the book.

  • Psychometrics

    • 1st Edition
    • Volume 26
    • English
    The area of Psychometrics, a field encompassing the statistical methods used in Psychological and educational testing, has become a very important and active area of research, evident from the large body of literature that has been developed in the form of books, volumes and research papers.Mainstream statisticians also have found profound interest in the field because of its unique nature.This book presents a state of the art exposition of theoretical, methodological and applied issues in Psychometrics. This book represents a thorough cross section of internationally renowned thinkers who are inventing methods for dealing with recent challenging psychometric problems.Key Features/- Emphasis on the most recent developments in the field- Plenty of real, often complicated, data examples to demonstrate the applications of the statistical techniques- Information on available software

  • Handbook of Modal Logic

    • 1st Edition
    • Volume 3
    • Patrick Blackburn + 2 more
    • English
    The Handbook of Modal Logic contains 20 articles, which collectively introduce contemporary modal logic, survey current research, and indicate the way in which the field is developing. The articles survey the field from a wide variety of perspectives: the underling theory is explored in depth, modern computational approaches are treated, and six major applications areas of modal logic (in Mathematics, Computer Science, Artificial Intelligence, Linguistics, Game Theory, and Philosophy) are surveyed. The book contains both well-written expository articles, suitable for beginners approaching the subject for the first time, and advanced articles, which will help those already familiar with the field to deepen their expertise. Please visit:http://people....

  • Handbook of Differential Equations: Evolutionary Equations

    • 1st Edition
    • Volume 3
    • C.M. Dafermos + 1 more
    • English
    The material collected in this volume reflects the active present of this area of mathematics, ranging from the abstract theory of gradient flows to stochastic representations of non-linear parabolic PDE's.Articles will highlight the present as well as expected future directions of development of the field with particular emphasis on applications. The article by Ambrosio and Savaré discussesthe most recent development in the theory of gradient flow of probability measures. After an introduction reviewing the properties of the Wasserstein space and corresponding subdifferential calculus, applications are given to evolutionarypartial differential equations. The contribution of Herrero provides a description of some mathematical approaches developed to account for quantitative as well as qualitative aspects of chemotaxis. Particular attention is paid to the limits of cell'scapability to measure external cues on the one hand, and to provide an overall description of aggregation models for the slim mold Dictyostelium discoideum on the other.The chapter written by Masmoudi deals with a rather different topic - examples of singular limits in hydrodynamics. This is nowadays a well-studied issue given the amount of new results based on the development of the existence theory for rather general systems of equations in hydrodynamics. The paper by DeLellis addreses the most recent results for the transport equations with regard to possible applications in the theory of hyperbolic systems of conservation laws. Emphasis is put on the development of the theory in the case when the governing field is only a BV function.The chapter by Rein represents a comprehensive survey of results on the Poisson-Vlasov system in astrophysics. The question of global stability of steady states is addressed in detail. The contribution of Soner is devoted to different representations of non-linear parabolic equations in terms of Markov processes. After a brief introduction on the linear theory, a class ofnon-linear equations is investigated, with applications to stochastic control and differential games.The chapter written by Zuazua presents some of the recent progresses done on the problem of controllabilty of partial differential equations. The applications include the linear wave and heat equations,parabolic equations with coefficients of low regularity, and some fluid-structure interaction models.

  • Philosophy of Logic

    • 1st Edition
    • English
    The papers presented in this volume examine topics of central interest in contemporary philosophy of logic. They include reflections on the nature of logic and its relevance for philosophy today, and explore in depth developments in informal logic and the relation of informal to symbolic logic, mathematical metatheory and the limiting metatheorems, modal logic, many-valued logic, relevance and paraconsistent logic, free logics, extensional v. intensional logics, the logic of fiction, epistemic logic, formal logical and semantic paradoxes, the concept of truth, the formal theory of entailment, objectual and substitutional interpretation of the quantifiers, infinity and domain constraints, the Löwenheim-Skolem theorem and Skolem paradox, vagueness, modal realism v. actualism, counterfactuals and the logic of causation, applications of logic and mathematics to the physical sciences, logically possible worlds and counterpart semantics, and the legacy of Hilbert’s program and logicism. The handbook is meant to be both a compendium of new work in symbolic logic and an authoritative resource for students and researchers, a book to be consulted for specific information about recent developments in logic and to be read with pleasure for its technical acumen and philosophical insights.

  • Dictionary of Distances

    • 1st Edition
    • Michel-Marie Deza + 1 more
    • English
    This book comes out of need and urgency (expressed especially in areas of Information Retrieval with respect to Image, Audio, Internet and Biology) to have a working tool to compare data.The book will provide powerful resource for all researchers using Mathematics as well as for mathematicians themselves. In the time when over-specialization and terminology fences isolate researchers, this Dictionary try to be "centripedal" and "oikoumeni", providing some access and altitude of vision but without taking the route of scientific vulgarisation. This attempted balance is the main philosophy of this Dictionary which defined its structure and style.Key features:- Unicity: it is the first book treating the basic notion of Distance in whole generality.- Interdisciplinarity: this Dictionary is larger in scope than majority of thematic dictionaries.- Encyclopedicity: while an Encyclopedia of Distances seems now too difficult to produce, this book (by its scope, short introductions and organization) provides the main material for it and for future tutorials on some parts of this material.- Applicability: the distances, as well as distance-related notions and paradigms, are provided in ready-to-use fashion.- Worthiness: the need and urgency for such dictionary was great in several huge areas, esp. Information Retrieval, Image Analysis, Speech Recognition and Biology.- Accessibility: the definitions are easy to locate by subject or, in Index, by alphabetic order; the introductions and definitions are reader-friendly and maximally independent one from another; still the text is structured, in the 3D HTML style, by hyperlink-like boldfaced references to similar definitions.

  • Dynamical Systems Method for Solving Nonlinear Operator Equations

    • 1st Edition
    • Volume 208
    • Alexander G. Ramm
    • English
    Dynamical Systems Method for Solving Nonlinear Operator Equations is of interest to graduate students in functional analysis, numerical analysis, and ill-posed and inverse problems especially. The book presents a general method for solving operator equations, especially nonlinear and ill-posed. It requires a fairly modest background and is essentially self-contained. All the results are proved in the book, and some of the background material is also included. The results presented are mostly obtained by the author.

  • Introduction to Probability

    • 1st Edition
    • George G. Roussas
    • English
    Roussas's Introduction to Probability features exceptionally clear explanations of the mathematics of probability theory and explores its diverse applications through numerous interesting and motivational examples. It provides a thorough introduction to the subject for professionals and advanced students taking their first course in probability. The content is based on the introductory chapters of Roussas's book, An Intoduction to Probability and Statistical Inference, with additional chapters and revisions.

  • Discrete Cosine and Sine Transforms

    General Properties, Fast Algorithms and Integer Approximations
    • 1st Edition
    • Vladimir Britanak + 2 more
    • English
    The Discrete Cosine Transform (DCT) is used in many applications by the scientific, engineering and research communities and in data compression in particular. Fast algorithms and applications of the DCT Type II (DCT-II) have become the heart of many established international image/video coding standards. Since then other forms of the DCT and Discrete Sine Transform (DST) have been investigated in detail. This new edition presents the complete set of DCT and DST discrete trigonometric transforms, including their definitions, general mathematical properties, and relations to the optimal Karhunen-Loéve transform (KLT), with the emphasis on fast algorithms (one-dimensional and two-dimensional) and integer approximations of DCTs and DSTs for their efficient implementations in the integer domain. DCTs and DSTs are real-valued transforms that map integer-valued signals to floating-point coefficients. To eliminate the floating-point operations, various methods of integer approximations have been proposed to construct and flexibly generate a family of integer DCT and DST transforms with arbitrary accuracy and performance. The integer DCTs/DSTs with low-cost and low-powered implementation can replace the corresponding real-valued transforms in wireless and satellite communication systems as well as portable computing applications. The book is essentially a detailed excursion on orthogonal/orthonorm... DCT and DST matrices, their matrix factorizations and integer aproximations. It is hoped that the book will serve as a valuable reference for industry, academia and research institutes in developing integer DCTs and DSTs as well as an inspiration source for further advanced research.

  • Handbook of Differential Equations: Ordinary Differential Equations

    • 1st Edition
    • Volume 3
    • A. Canada + 2 more
    • English
    This handbook is the third volume in a series of volumes devoted to self contained and up-to-date surveys in the tehory of ordinary differential equations, written by leading researchers in the area. All contributors have made an additional effort to achieve readability for mathematicians and scientists from other related fields so that the chapters have been made accessible to a wide audience. These ideas faithfully reflect the spirit of this multi-volume and hopefully it becomes a very useful tool for reseach, learing and teaching. This volumes consists of seven chapters covering a variety of problems in ordinary differential equations. Both pure mathematical research and real word applications are reflected by the contributions to this volume.

  • 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 chemistrystudents 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 specialistsof the chemistry-related fields (physicists, mathematicians, biologists, etc.) intothe 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.

  • 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.

  • 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.

  • 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

  • Winternals Defragmentation, Recovery, and Administration Field Guide

    • 1st Edition
    • Dave Kleiman + 1 more
    • English
    The only book available for the market leading Winternals tools used in over 70,000 Microsoft networks worldwide.The book begins with a chapter describing the most common challenges faced by system administrators related to system recovery, data backup and system performance enhancements. The next chapters introduce the readers to the complete suite of Winternals solutions including Recovery Manager, Defrag Manager, and the Administrator's Pak which repairs unbootable or locked-out systems, restores lost data, and removes malware from infected machines. Chapters on the Administrator’ Pak detail all the components of this powerful suite of tools including: ERD Commander 2005, Remote Recover, NTFSDOS Professional, Crash Analyzer Wizard, FileRestore, Filemon Enterprise Edition, Regmon Enterprise Edition, AD Explorer, Insight for Active Directory, and TCP Tools. Each of these chapters details the complete functionality of all tools, and also provides detailed examples for using all tools in relatively simple to extremely complex scenarios. The chapters and companion Web site also include dozens of working scripts to automate many data recovery, backup, and performance enhancement tasks.

Related subjects