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.

  • Stochastic Differential Equations and Applications

    • 2nd Edition
    • X Mao
    • English
    This advanced undergraduate and graduate text has now been revised and updated to cover the basic principles and applications of various types of stochastic systems, with much on theory and applications not previously available in book form. The text is also useful as a reference source for pure and applied mathematicians, statisticians and probabilists, engineers in control and communications, and information scientists, physicists and economists.

  • Sarbanes-Oxley IT Compliance Using Open Source Tools

    • 2nd Edition
    • Christian B Lahti + 1 more
    • English
    The Sarbanes-Oxley Act (officially titled the Public Company Accounting Reform and Investor Protection Act of 2002), signed into law on 30 July 2002 by President Bush, is considered the most significant change to federal securities laws in the United States since the New Deal. It came in the wake of a series of corporate financial scandals, including those affecting Enron, Arthur Andersen, and WorldCom. The law is named after Senator Paul Sarbanes and Representative Michael G. Oxley. It was approved by the House by a vote of 423-3 and by the Senate 99-0. This book illustrates the many Open Source cost-saving opportunities that public companies can explore in their IT enterprise to meet mandatory compliance requirements of the Sarbanes-Oxley act. This book will also demonstrate by example and technical reference both the infrastructure components for Open Source that can be made compliant, and the Open Source tools that can aid in the journey of compliance. Although many books and reference material have been authored on the financial and business side of Sox compliance, very little material is available that directly address the information technology considerations, even less so on how Open Source fits into that discussion.The format of the book will begin each chapter with the IT business and executive considerations of Open Source and SOX compliance. The remaining chapter verbiage will include specific examinations of Open Source applications and tools which relate to the given subject matter.

  • Finite Element Methods

    Accuracy and Improvement
    • 1st Edition
    • Qun Lin + 1 more
    • English
    Distributed by Elsevier Science on behalf of Science Press. This book discusses the accuracy of various finite element approximations and how to improve them, with the help of extrapolations and super convergence's post-processing technique. The discussion is based on asymptotic expansions for finite elements and finally reduces to the technique of integration by parts, embedding theorems and norm equivalence lemmas. The book is also devoted to explaining the origin of theorems.

  • Stability of Numerical Methods for Delay Differential Equations

    • 1st Edition
    • Jiaoxun Kuang + 1 more
    • English
    Distributed by Elsevier Science on behalf of Science Press. Available internationally for the first time, this book introduces the basic concepts and theory of the stability of numerical methods for solving differential equations, with emphasis on delay differential equations and basic techniques for proving stability of numerical methods. It is a desirable reference for engineers and academic researchers and can also be used by graduate students in mathematics, physics, and engineering.

  • Handbook of Global Analysis

    • 1st Edition
    • Demeter Krupka + 1 more
    • English
    This is a comprehensive exposition of topics covered by the American Mathematical Society’s classification “Global Analysis”, dealing with modern developments in calculus expressed using abstract terminology. It will be invaluable for graduate students and researchers embarking on advanced studies in mathematics and mathematical physics.This book provides a comprehensive coverage of modern global analysis and geometrical mathematical physics, dealing with topics such as; structures on manifolds, pseudogroups, Lie groupoids, and global Finsler geometry; the topology of manifolds and differentiable mappings; differential equations (including ODEs, differential systems and distributions, and spectral theory); variational theory on manifolds, with applications to physics; function spaces on manifolds; jets, natural bundles and generalizations; and non-commutative geometry.

  • Consciousness Transitions

    Phylogenetic, Ontogenetic and Physiological Aspects
    • 1st Edition
    • Hans Liljenström + 1 more
    • English
    It was not long ago when the consciousness was not considered a problem for science. However, this has now changed and the problem of consciousness is considered the greatest challenge to science. In the last decade, a great number of books and articles have been published in the field, but very few have focused on the how consciousness evolves and develops, and what characterizes the transitions between different conscious states, in animals and humans. This book addresses these questions. Renowned researchers from different fields of science (including neurobiology, evolutionary biology, ethology, cognitive science, computational neuroscience and philosophy) contribute with their results and theories in this book, making it a unique collection of the state-of-the-art of this young field of consciousness studies.

  • Epidemiology and Medical Statistics

    • 1st Edition
    • Volume 27
    • English
    This volume, representing a compilation of authoritative reviews on a multitude of uses of statistics in epidemiology and medical statistics written by internationally renowned experts, is addressed to statisticians working in biomedical and epidemiological fields who use statistical and quantitative methods in their work. While the use of statistics in these fields has a long and rich history, explosive growth of science in general and clinical and epidemiological sciences in particular have gone through a see of change, spawning the development of new methods and innovative adaptations of standard methods. Since the literature is highly scattered, the Editors have undertaken this humble exercise to document a representative collection of topics of broad interest to diverse users. The volume spans a cross section of standard topics oriented toward users in the current evolving field, as well as special topics in much need which have more recent origins. This volume was prepared especially keeping the applied statisticians in mind, emphasizing applications-oriente... methods and techniques, including references to appropriate software when relevant.

  • Reconfigurable Computing

    The Theory and Practice of FPGA-Based Computation
    • 1st Edition
    • Volume 1
    • Scott Hauck + 1 more
    • English
    Reconfigurable Computing marks a revolutionary and hot topic that bridges the gap between the separate worlds of hardware and software design— the key feature of reconfigurable computing is its groundbreaking ability to perform computations in hardware to increase performance while retaining the flexibility of a software solution. Reconfigurable computers serve as affordable, fast, and accurate tools for developing designs ranging from single chip architectures to multi-chip and embedded systems. Scott Hauck and Andre DeHon have assembled a group of the key experts in the fields of both hardware and software computing to provide an introduction to the entire range of issues relating to reconfigurable computing. FPGAs (field programmable gate arrays) act as the “computing vehicles” to implement this powerful technology. Readers will be guided into adopting a completely new way of handling existing design concerns and be able to make use of the vast opportunities possible with reconfigurable logic in this rapidly evolving field.

  • Nine Introductions in Complex Analysis - Revised Edition

    • 1st Edition
    • Volume 208
    • Sanford L. Segal
    • English
    The book addresses many topics not usually in "second course in complex analysis" texts. It also contains multiple proofs of several central results, and it has a minor historical perspective.

  • Computational Theory of Iterative Methods

    • 1st Edition
    • Volume 15
    • Ioannis Argyros
    • English
    The book is designed for researchers, students and practitioners interested in using fast and efficient iterative methods to approximate solutions of nonlinear equations. The following four major problems are addressed. Problem 1: Show that the iterates are well defined. Problem 2: concerns the convergence of the sequences generated by a process and the question of whether the limit points are, in fact solutions of the equation. Problem 3: concerns the economy of the entire operations. Problem 4: concerns with how to best choose a method, algorithm or software program to solve a specific type of problem and its description of when a given algorithm succeeds or fails. The book contains applications in several areas of applied sciences including mathematical programming and mathematical economics. There is also a huge number of exercises complementing the theory.

  • Laboratory Manual of Biomathematics

    • 1st Edition
    • Raina Robeva + 1 more
    • English
    Laboratory Manual of Biomathematics is a companion to the textbook An Invitation to Biomathematics. This laboratory manual expertly aids students who wish to gain a deeper understanding of solving biological issues with computer programs. It provides hands-on exploration of model development, model validation, and model refinement, enabling students to truly experience advancements made in biology by mathematical models. Each of the projects offered can be used as individual module in traditional biology or mathematics courses such as calculus, ordinary differential equations, elementary probability, statistics, and genetics. Biological topics include: Ecology, Toxicology, Microbiology, Epidemiology, Genetics, Biostatistics, Physiology, Cell Biology, and Molecular Biology . Mathematical topics include Discrete and continuous dynamical systems, difference equations, differential equations, probability distributions, statistics, data transformation, risk function, statistics, approximate entropy, periodic components, and pulse-detection algorithms. It includes more than 120 exercises derived from ongoing research studies. This text is designed for courses in mathematical biology, undergraduate biology majors, as well as general mathematics. The reader is not expected to have any extensive background in either math or biology.

  • An Invitation to Biomathematics

    • 1st Edition
    • Raina Robeva + 6 more
    • English
    Essential for all biology and biomathematics courses, this textbook provides students with a fresh perspective of quantitative techniques in biology in a field where virtually any advance in the life sciences requires a sophisticated mathematical approach. An Invitation to Biomathematics, expertly written by a team of experienced educators, offers students a solid understanding of solving biological problems with mathematical applications. This text succeeds in enabling students to truly experience advancements made in biology through mathematical models by containing computer-based hands-on laboratory projects with emphasis on model development, model validation, and model refinement. The supplementary work, Laboratory Manual of Biomathematics is available separately ISBN 0123740223, or as a set ISBN: 0123740290)

  • Modeling and Simulation-Based Data Engineering

    Introducing Pragmatics into Ontologies for Net-Centric Information Exchange
    • 1st Edition
    • Bernard P. Zeigler + 1 more
    • English
    Data Engineering has become a necessary and critical activity for business, engineering, and scientific organizations as the move to service oriented architecture and web services moves into full swing. Notably, the US Department of Defense is mandating that all of its agencies and contractors assume a defining presence on the Net-centric Global Information Grid. This book provides the first practical approach to data engineering and modeling, which supports interoperabililty with consumers of the data in a service- oriented architectures (SOAs). Although XML (eXtensible Modeling Language) is the lingua franca for such interoperability, it is not sufficient on its own. The approach in this book addresses critical objectives such as creating a single representation for multiple applications, designing models capable of supporting dynamic processes, and harmonizing legacy data models for web-based co-existence. The approach is based on the System Entity Structure (SES) which is a well-defined structure, methodology, and practical tool with all of the functionality of UML (Unified Modeling Language) and few of the drawbacks. The SES originated in the formal representation of hierarchical simulation models. So it provides an axiomatic formalism that enables automating the development of XML dtds and schemas, composition and decomposition of large data models, and analysis of commonality among structures. Zeigler and Hammond include a range of features to benefit their readers. Natural language, graphical and XML forms of SES specification are employed to allow mapping of legacy meta-data. Real world examples and case studies provide insight into data engineering and test evaluation in various application domains. Comparative information is provided on concepts of ontologies, modeling and simulation, introductory linguistic background, and support options enable programmers to work with advanced tools in the area. The website of the Arizona Center for Integrative Modeling and Simulation, co-founded by Zeigler in 2001, provides links to downloadable software to accompany the book.

  • Stability of Dynamical Systems

    • 1st Edition
    • Volume 5
    • Xiaoxin Liao + 2 more
    • English
    The main purpose of developing stability theory is to examine dynamic responses of a system to disturbances as the time approaches infinity. It has been and still is the object of intense investigations due to its intrinsic interest and its relevance to all practical systems in engineering, finance, natural science and social science. This monograph provides some state-of-the-art expositions of major advances in fundamental stability theories and methods for dynamic systems of ODE and DDE types and in limit cycle, normal form and Hopf bifurcation control of nonlinear dynamic systems.

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

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

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

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

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

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

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

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

  • 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

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

Related subjects