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.

  • Advances in Computers

    Computer Performance Issues
    • 1st Edition
    • Volume 75
    • Marvin Zelkowitz
    • English
    This is volume 75 of Advances in Computers. This series, which began publication in 1960, is the oldest continuously published anthology that chronicles the ever- changing information technology field. In these volumes we publish from 5 to 7 chapters, three times per year, that cover the latest changes to the design, development, use and implications of computer technology on society today. In this present volume we present five chapters describing new technology affecting users of such machines. In this volume we continue a theme presented last year in volume 72 – High Performance Computing. In volume 72 we described several research projects being conducted in the United States on the development of a new generation of high performance supercomputers.

  • Mathematical Analysis and Proof

    • 2nd Edition
    • David S G Stirling
    • English
    This fundamental and straightforward text addresses a weakness observed among present-day students, namely a lack of familiarity with formal proof. Beginning with the idea of mathematical proof and the need for it, associated technical and logical skills are developed with care and then brought to bear on the core material of analysis in such a lucid presentation that the development reads naturally and in a straightforward progression. Retaining the core text, the second edition has additional worked examples which users have indicated a need for, in addition to more emphasis on how analysis can be used to tell the accuracy of the approximations to the quantities of interest which arise in analytical limits.

  • Handbook of Differential Equations: Evolutionary Equations

    • 1st Edition
    • Volume 5
    • C.M. Dafermos + 1 more
    • English
    Handbook of Differential Equations: Evolutionary Equations is the last text of a five-volume reference in mathematics and methodology. This volume follows the format set by the preceding volumes, presenting numerous contributions that reflect the nature of the area of evolutionary partial differential equations. The book is comprised of five chapters that feature the following: A thorough discussion of the shallow-equations theory, which is used as a model for water waves in rivers, lakes and oceans. It covers the issues of modeling, analysis and applications • Evaluation of the singular limits of reaction-diffusion systems, where the reaction is fast compared to the other processes; and applications that range from the theory of the evolution of certain biological processes to the phenomena of Turing and cross-diffusion instability Detailed discussion of numerous problems arising from nonlinear optics, at the high-frequency and high-intensity regime • Geometric and diffractive optics, including wave interactions Presentation of the issues of existence, blow-up and asymptotic stability of solutions, from the equations of solutions to the equations of linear and non-linear thermoelasticity Answers to questions about unique space, such as continuation and backward uniqueness for linear second-order parabolic equations. Research mathematicians, mathematics lecturers and instructors, and academic students will find this book invaluable

  • Delta Functions

    Introduction to Generalised Functions
    • 2nd Edition
    • R F Hoskins
    • English
    Delta Functions has now been updated, restructured and modernised into a second edition, to answer specific difficulties typically found by students encountering delta functions for the first time. In particular, the treatment of the Laplace transform has been revised with this in mind. The chapter on Schwartz distributions has been considerably extended and the book is supplemented by a fuller review of Nonstandard Analysis and a survey of alternative infinitesimal treatments of generalised functions. Dealing with a difficult subject in a simple and straightforward way, the text is readily accessible to a broad audience of scientists, mathematicians and engineers. It can be used as a working manual in its own right, and serves as a preparation for the study of more advanced treatises. Little more than a standard background in calculus is assumed, and attention is focused on techniques, with a liberal selection of worked examples and exercises.

  • Partial Differential Equations and Boundary Value Problems with Maple

    • 2nd Edition
    • George A. Articolo
    • English
    Partial Differential Equations and Boundary Value Problems with Maple, Second Edition, presents all of the material normally covered in a standard course on partial differential equations, while focusing on the natural union between this material and the powerful computational software, Maple. The Maple commands are so intuitive and easy to learn, students can learn what they need to know about the software in a matter of hours - an investment that provides substantial returns. Maple's animation capabilities allow students and practitioners to see real-time displays of the solutions of partial differential equations. This updated edition provides a quick overview of the software w/simple commands needed to get started. It includes review material on linear algebra and Ordinary Differential equations, and their contribution in solving partial differential equations. It also incorporates an early introduction to Sturm-Liouville boundary problems and generalized eigenfunction expansions. Numerous example problems and end of each chapter exercises are provided.

  • Mathematica Navigator

    Mathematics, Statistics and Graphics
    • 3rd Edition
    • Heikki Ruskeepaa
    • English
    Ruskeepaa gives a general introduction to the most recent versions of Mathematica, the symbolic computation software from Wolfram. The book emphasizes graphics, methods of applied mathematics and statistics, and programming.Mathemat... Navigator can be used both as a tutorial and as a handbook. While no previous experience with Mathematica is required, most chapters also include advanced material, so that the book will be a valuable resource for both beginners and experienced users.

  • Cryptographic Boolean Functions and Applications

    • 1st Edition
    • Thomas W. Cusick + 1 more
    • English
    Boolean functions are the building blocks of symmetric cryptographic systems. Symmetrical cryptographic algorithms are fundamental tools in the design of all types of digital security systems (i.e. communications, financial and e-commerce).Cryptogr... Boolean Functions and Applications is a concise reference that shows how Boolean functions are used in cryptography. Currently, practitioners who need to apply Boolean functions in the design of cryptographic algorithms and protocols need to patch together needed information from a variety of resources (books, journal articles and other sources). This book compiles the key essential information in one easy to use, step-by-step reference. Beginning with the basics of the necessary theory the book goes on to examine more technical topics, some of which are at the frontier of current research.

  • A Modern Introduction to Differential Equations

    • 2nd Edition
    • Henry J. Ricardo
    • English
    A Modern Introduction to Differential Equations, Second Edition, provides an introduction to the basic concepts of differential equations. The book begins by introducing the basic concepts of differential equations, focusing on the analytical, graphical, and numerical aspects of first-order equations, including slope fields and phase lines. The discussions then cover methods of solving second-order homogeneous and nonhomogeneous linear equations with constant coefficients; systems of linear differential equations; the Laplace transform and its applications to the solution of differential equations and systems of differential equations; and systems of nonlinear equations. Each chapter concludes with a summary of the important concepts in the chapter. Figures and tables are provided within sections to help students visualize or summarize concepts. The book also includes examples and exercises drawn from biology, chemistry, and economics, as well as from traditional pure mathematics, physics, and engineering. This book is designed for undergraduate students majoring in mathematics, the natural sciences, and engineering. However, students in economics, business, and the social sciences with the necessary background will also find the text useful.

  • Mac OS X, iPod, and iPhone Forensic Analysis DVD Toolkit

    • 1st Edition
    • Jesse Varsalone
    • English
    This book provides digital forensic investigators, security professionals, and law enforcement with all of the information, tools, and utilities required to conduct forensic investigations of computers running any variant of the Macintosh OS X operating system, as well as the almost ubiquitous iPod and iPhone. Digital forensic investigators and security professionals subsequently can use data gathered from these devices to aid in the prosecution of criminal cases, litigate civil cases, audit adherence to federal regulatory compliance issues, and identify breech of corporate and government usage policies on networks. MAC Disks, Partitioning, and HFS+ File System Manage multiple partitions on a disk, and understand how the operating system stores data.FileVault and Time Machine Decrypt locked FileVault files and restore files backed up with Leopard's Time Machine.Recovering Browser History Uncover traces of Web-surfing activity in Safari with Web cache and .plist filesRecovering Email Artifacts, iChat, and Other Chat Logs Expose communications data in iChat, Address Book, Apple's Mail, MobileMe, and Web-based email.Locating and Recovering Photos Use iPhoto, Spotlight, and shadow files to find artifacts pof photos (e.g., thumbnails) when the originals no longer exist.Finding and Recovering QuickTime Movies and Other Video Understand video file formats--created with iSight, iMovie, or another application--and how to find them.PDF, Word, and Other Document Recovery Recover text documents and metadata with Microsoft Office, OpenOffice, Entourage, Adobe PDF, or other formats.Forensic Acquisition and Analysis of an iPod Documentseizure of an iPod model and analyze the iPod image file and artifacts on a Mac.Forensic Acquisition and Analysis of an iPhone Acquire a physical image of an iPhone or iPod Touch and safely analyze without jailbreaking.

  • Mathematical Modelling and Numerical Methods in Finance

    Special Volume
    • 1st Edition
    • Volume 15
    • Alain Bensoussan + 1 more
    • English
    Mathematical finance is a prolific scientific domain in which there exists a particular characteristic of developing both advanced theories and practical techniques simultaneously. Mathematical Modelling and Numerical Methods in Finance addresses the three most important aspects in the field: mathematical models, computational methods, and applications, and provides a solid overview of major new ideas and results in the three domains.

  • Principles of Financial Engineering

    • 2nd Edition
    • Salih N. Neftci
    • English
    Principles of Financial Engineering, Second Edition, is a highly acclaimed text on the fast-paced and complex subject of financial engineering. This updated edition describes the "engineering" elements of financial engineering instead of the mathematics underlying it. It shows you how to use financial tools to accomplish a goal rather than describing the tools themselves. It lays emphasis on the engineering aspects of derivatives (how to create them) rather than their pricing (how they act) in relation to other instruments, the financial markets, and financial market practices. This volume explains ways to create financial tools and how the tools work together to achieve specific goals. Applications are illustrated using real-world examples. It presents three new chapters on financial engineering in topics ranging from commodity markets to financial engineering applications in hedge fund strategies, correlation swaps, structural models of default, capital structure arbitrage, contingent convertibles, and how to incorporate counterparty risk into derivatives pricing. Poised midway between intuition, actual events, and financial mathematics, this book can be used to solve problems in risk management, taxation, regulation, and above all, pricing. This latest edition of Principles of Financial Engineering is ideal for financial engineers, quantitative analysts in banks and investment houses, and other financial industry professionals. It is also highly recommended to graduate students in financial engineering and financial mathematics programs.

  • Handbook of Quantum Logic and Quantum Structures

    Quantum Logic
    • 1st Edition
    • Kurt Engesser + 2 more
    • English
    Quantum mechanics is said to be the most successful physical theory ever. It is, in fact, unique in its success when applied to concrete physical problems. On the other hand, however, it raises profound conceptual problems that are equally unprecedented. Quantum logic, the topic of this volume, can be described as an attempt to cast light on the puzzle of quantum mechanics from the point of view of logic. Since its inception in the famous 1936 paper by Birkhoff and von Neumann entitled, “The logic of quantum mechanics,” quantum logic has undergone an enormous development. Various schools of thought and approaches have emerged, and there are a variety of technical results. The chapters of this volume constitute a comprehensive presentation of the main schools, approaches and results in the field of quantum logic.

  • Student Solutions Manual, Matrix Methods

    • 3rd Edition
    • Richard Bronson + 1 more
    • English

  • Student Solutions Manual for Markov Processes for Stochastic Modeling

    • 1st Edition
    • Oliver Ibe
    • English

  • The Theory of Gambling and Statistical Logic

    • 2nd Edition
    • Richard A. Epstein
    • English
    Early in his rise to enlightenment, man invented a concept that has since been variously viewed as a vice, a crime, a business, a pleasure, a type of magic, a disease, a folly, a weakness, a form of sexual substitution, an expression of the human instinct. He invented gambling. Recent advances in the field, particularly Parrondo's paradox, have triggered a surge of interest in the statistical and mathematical theory behind gambling. This interest was acknowledge in the motion picture, "21," inspired by the true story of the MIT students who mastered the art of card counting to reap millions from the Vegas casinos. Richard Epstein's classic book on gambling and its mathematical analysis covers the full range of games from penny matching to blackjack, from Tic-Tac-Toe to the stock market (including Edward Thorp's warrant-hedging analysis). He even considers whether statistical inference can shed light on the study of paranormal phenomena. Epstein is witty and insightful, a pleasure to dip into and read and rewarding to study. The book is written at a fairly sophisticated mathematical level; this is not "Gambling for Dummies" or "How To Beat The Odds Without Really Trying." A background in upper-level undergraduate mathematics is helpful for understanding this work.

  • Mathematica by Example

    • 4th Edition
    • Martha L. Abell + 1 more
    • English
    Mathematica by Example, 4e is designed to introduce the Mathematica programming language to a wide audience. This is the ideal text for all scientific students, researchers, and programmers wishing to learn or deepen their understanding of Mathematica. The program is used to help professionals, researchers, scientists, students and instructors solve complex problems in a variety of fields, including biology, physics, and engineering.

  • Geometric Measure Theory

    A Beginner's Guide
    • 4th Edition
    • Frank Morgan
    • English
    Geometric Measure Theory, Fourth Edition, is an excellent text for introducing ideas from geometric measure theory and the calculus of variations to beginning graduate students and researchers.This updated edition contains abundant illustrations, examples, exercises, and solutions; and the latest results on soap bubble clusters, including a new chapter on Double Bubbles in Spheres, Gauss Space, and Tori. It also includes a new chapter on Manifolds with Density and Perelman's Proof of the Poincaré Conjecture.This text is essential to any student who wants to learn geometric measure theory, and will appeal to researchers and mathematicians working in the field. Morgan emphasizes geometry over proofs and technicalities providing a fast and efficient insight into many aspects of the subject.

  • Matrix Methods

    Applied Linear Algebra
    • 3rd Edition
    • Richard Bronson + 1 more
    • English
    Matrix Methods: Applied Linear Algebra, Third Edition, as a textbook, provides a unique and comprehensive balance between the theory and computation of matrices. The application of matrices is not just for mathematicians. The use by other disciplines has grown dramatically over the years in response to the rapid changes in technology. Matrix methods is the essence of linear algebra and is what is used to help physical scientists; chemists, physicists, engineers, statisticians, and economists solve real world problems.

  • A Transition to Abstract Mathematics

    Learning Mathematical Thinking and Writing
    • 2nd Edition
    • Randall Maddox
    • English
    Constructing concise and correct proofs is one of the most challenging aspects of learning to work with advanced mathematics. Meeting this challenge is a defining moment for those considering a career in mathematics or related fields. A Transition to Abstract Mathematics teaches readers to construct proofs and communicate with the precision necessary for working with abstraction. It is based on two premises: composing clear and accurate mathematical arguments is critical in abstract mathematics, and that this skill requires development and support. Abstraction is the destination, not the starting point.Maddox methodically builds toward a thorough understanding of the proof process, demonstrating and encouraging mathematical thinking along the way. Skillful use of analogy clarifies abstract ideas. Clearly presented methods of mathematical precision provide an understanding of the nature of mathematics and its defining structure. After mastering the art of the proof process, the reader may pursue two independent paths. The latter parts are purposefully designed to rest on the foundation of the first, and climb quickly into analysis or algebra. Maddox addresses fundamental principles in these two areas, so that readers can apply their mathematical thinking and writing skills to these new concepts. From this exposure, readers experience the beauty of the mathematical landscape and further develop their ability to work with abstract ideas.

  • Markov Processes for Stochastic Modeling

    • 1st Edition
    • Oliver Ibe
    • English
    Markov processes are used to model systems with limited memory. They are used in many areas including communications systems, transportation networks, image segmentation and analysis, biological systems and DNA sequence analysis, random atomic motion and diffusion in physics, social mobility, population studies, epidemiology, animal and insect migration, queueing systems, resource management, dams, financial engineering, actuarial science, and decision systems. This book, which is written for upper level undergraduate and graduate students, and researchers, presents a unified presentation of Markov processes. In addition to traditional topics such as Markovian queueing system, the book discusses such topics as continuous-time random walk,correlated random walk, Brownian motion, diffusion processes, hidden Markov models, Markov random fields, Markov point processes and Markov chain Monte Carlo. Continuous-time random walk is currently used in econophysics to model the financial market, which has traditionally been modelled as a Brownian motion. Correlated random walk is popularly used in ecological studies to model animal and insect movement. Hidden Markov models are used in speech analysis and DNA sequence analysis while Markov random fields and Markov point processes are used in image analysis. Thus, the book is designed to have a very broad appeal.

  • Handbook of Differential Equations: Evolutionary Equations

    • 1st Edition
    • Volume 4
    • C.M. Dafermos + 1 more
    • English
    The material collected in this volume discusses the present as well as expected future directions of development of the field with particular emphasis on applications. The seven survey articles present different topics in Evolutionary PDE’s, written by leading experts.

  • Advances in Computers

    Software Development
    • 1st Edition
    • Volume 74
    • Marvin Zelkowitz
    • English
    This is volume 74 of Advances in Computers, subtitled “Recent advances in software development.” This series, which began in 1960, is the oldest continuously published series of books that has chronicled the ever- changing landscape of information technology. Each year three volumes are published, each presenting five to seven chapters describing the latest technology in the use of computers today. In this current volume, we present six chapters that give an update on some of the major issues affecting the development of software today.The six chapters in this volume can be divided into two general categories. The first three deal with the increasing importance of security in the software we write and provide insights into how to increase that security. The three latter chapters look at software development as a whole and provide guidelines in how best to make certain decisions on a project-level basis.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.

  • Advances in Computers

    Emerging Technologies
    • 1st Edition
    • Volume 73
    • Marvin Zelkowitz
    • English
    This is volume 73 of Advances in Computers. This series, which began publication in 1960, is the oldest continuously published anthology that chronicles the ever- changing information technology field. In these volumes we publish from 5 to 7 chapters, three times per year, that cover the latest changes to the design, development, use and implications of computer technology on society today. In this current volume, subtitled “Emerging Technologies,” we discuss several new advances in computer software generation as well as describe new applications of those computers.The first chapter gives an overview of various software development technologies that have been applied during the past 40 years with the goal of improving the software development process. This includes various methods such as structured development methods, reviews, object-oriented methods and rapid development technologies. Chapter 2 explores implications of UML as an emerging design notation for software.Chapter 3 looks at the emerging concept of pervasive computing and its impact on resource management and security. The authors discuss how the goal of transparency of computers affects efficiency of the system as well as security concerns.Chapter 4 discusses RFID, or radio frequency identification. This is the technology that cheaply tags products with unique identifiers that only need to pass near a reading device rather than specifically being read by a scanner. With this technology, products can be traced through the supply chain from manufacture to use easily.In the final chapter, the authors discuss the use of robot technology in medicine, specifically computer-integrated interventional medicine (CIIM) in which robotic control takes over some or all of the aspects of surgery.

  • The Real MCTS/MCITP Exam 70-647 Prep Kit

    Independent and Complete Self-Paced Solutions
    • 1st Edition
    • Anthony Piltzecker
    • English
    This exam is designed to validate skills as a Windows Server 2008 Enterprise Administrator. This exam will fulfill the Windows Server 2008 IT Professional requirements of Exam 70-647.The Microsoft Certified IT Professional(MCITP) on Windows Server 2008 credential is intended for information technology (IT) professionals who work in the complex computing environment of medium to large companies. The MCITP candidate should have at least one year of experience implementing and administering a network operating system in an environment that has the following characteristics: 250 to 5,000 or more users; three or more physical locations; and three or more domain controllers. A MCITP Enterprise Administrator is responsible for the overall IT environment and architecture, and translates business goals into technology decisions and designs mid-range to long-term strategies. The enterprise administrator is also responsible for infrastructure design and global configuration changes.

  • Handbook of Differential Equations: Ordinary Differential Equations

    • 1st Edition
    • Volume 4
    • Flaviano Battelli + 1 more
    • English
    This handbook is the fourth volume in a series of volumes devoted to self-contained and up-to-date surveys in the theory of ordinary differential equations, with an additional effort to achieve readability for mathematicians and scientists from other related fields so that the chapters have been made accessible to a wider audience.

  • Computers as Components

    Principles of Embedded Computing System Design
    • 2nd Edition
    • Marilyn Wolf
    • English
    Computers as Components, Second Edition, updates the first book to bring essential knowledge on embedded systems technology and techniques under a single cover. This edition has been updated to the state-of-the-art by reworking and expanding performance analysis with more examples and exercises, and coverage of electronic systems now focuses on the latest applications.It gives a more comprehensive view of multiprocessors including VLIW and superscalar architectures as well as more detail about power consumption. There is also more advanced treatment of all the components of the system as well as in-depth coverage of networks, reconfigurable systems, hardware-software co-design, security, and program analysis. It presents an updated discussion of current industry development software including Linux and Windows CE. The new edition's case studies cover SHARC DSP with the TI C5000 and C6000 series, and real-world applications such as DVD players and cell phones.Researchers, students, and savvy professionals schooled in hardware or software design, will value Wayne Wolf's integrated engineering design approach.

  • Handbook of Differential Equations: Stationary Partial Differential Equations

    • 1st Edition
    • Volume 6
    • Michel Chipot
    • English
    This handbook is the sixth and last volume in the series devoted to stationary partial differential equations. The topics covered by this volume include in particular domain perturbations for boundary value problems, singular solutions of semilinear elliptic problems, positive solutions to elliptic equations on unbounded domains, symmetry of solutions, stationary compressible Navier-Stokes equation, Lotka-Volterra systems with cross-diffusion, and fixed point theory for elliptic boundary value problems.

  • Quantum Mechanics of Non-Hamiltonian and Dissipative Systems

    • 1st Edition
    • Volume 7
    • Vasily Tarasov
    • English
    Quantum Mechanics of Non-Hamiltonian and Dissipative Systems is self-contained and can be used by students without a previous course in modern mathematics and physics. The book describes the modern structure of the theory, and covers the fundamental results of last 15 years. The book has been recommended by Russian Ministry of Education as the textbook for graduate students and has been used for graduate student lectures from 1998 to 2006.

  • Guide to Essential Math

    A Review for Physics, Chemistry and Engineering Students
    • 1st Edition
    • Sy M. Blinder
    • English
    This book reminds students in junior, senior and graduate level courses in physics, chemistry and engineering of the math they may have forgotten (or learned imperfectly) which is needed to succeed in science courses. The focus is on math actually used in physics, chemistry and engineering, and the approach to mathematics begins with 12 examples of increasing complexity, designed to hone the student's ability to think in mathematical terms and to apply quantitative methods to scientific problems. By the author's design, no problems are included in the text, to allow the students to focus on their science course assignments.

  • Reverse Engineering Code with IDA Pro

    • 1st Edition
    • IOActive
    • English
    If you want to master the art and science of reverse engineering code with IDA Pro for security R&D or software debugging, this is the book for you. Highly organized and sophisticated criminal entities are constantly developing more complex, obfuscated, and armored viruses, worms, Trojans, and botnets. IDA Pro’s interactive interface and programmable development language provide you with complete control over code disassembly and debugging. This is the only book which focuses exclusively on the world’s most powerful and popular took for reverse engineering code.

  • Handbook of Algebra

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

  • Realizability

    An Introduction to its Categorical Side
    • 1st Edition
    • Volume 152
    • Jaap van Oosten
    • English
    Aimed at starting researchers in the field, Realizability gives a rigorous, yet reasonable introduction to the basic concepts of a field which has passed several successive phases of abstraction. Material from previously unpublished sources such as Ph.D. theses, unpublished papers, etc. has been molded into one comprehensive presentation of the subject area.

  • Mediaeval and Renaissance Logic

    • 1st Edition
    • Volume 2
    • Dov M. Gabbay + 1 more
    • English
    Starting at the very beginning with Aristotle's founding contributions, logic has been graced by several periods in which the subject has flourished, attaining standards of rigour and conceptual sophistication underpinning a large and deserved reputation as a leading expression of human intellectual effort. It is widely recognized that the period from the mid-19th century until the three-quarter mark of the century just past marked one of these golden ages, a period of explosive creativity and transforming insights. It has been said that ignorance of our history is a kind of amnesia, concerning which it is wise to note that amnesia is an illness. It would be a matter for regret, if we lost contact with another of logic's golden ages, one that greatly exceeds in reach that enjoyed by mathematical symbolic logic. This is the period between the 11th and 16th centuries, loosely conceived of as the Middle Ages. The logic of this period does not have the expressive virtues afforded by the symbolic resources of uninterpreted calculi, but mediaeval logic rivals in range, originality and intellectual robustness a good deal of the modern record. The range of logic in this period is striking, extending from investigation of quantifiers and logic consequence to inquiries into logical truth; from theories of reference to accounts of identity; from work on the modalities to the stirrings of the logic of relations, from theories of meaning to analyses of the paradoxes, and more. While the scope of mediaeval logic is impressive, of greater importance is that nearly all of it can be read by the modern logician with at least some prospect of profit. The last thing that mediaeval logic is, is a museum piece. Mediaeval and Renaissance 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 and AI, linguistics, cognitive science, argumentation theory, philosophy, and the history of ideas.

  • Handbook of Differential Equations: Stationary Partial Differential Equations

    • 1st Edition
    • Volume 5
    • 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.

  • British Logic in the Nineteenth Century

    • 1st Edition
    • Volume 4
    • Dov M. Gabbay + 1 more
    • English
    The present volume of the Handbook of the History of Logic is designed to establish 19th century Britain as a substantial force in logic, developing new ideas, some of which would be overtaken by, and other that would anticipate, the century's later capitulation to the mathematization of logic. British Logic in the Nineteenth Century is indispensable reading and a definitive research resource for anyone with an interest in the history of logic.

  • Handbook of Mathematical Formulas and Integrals

    • 4th Edition
    • Alan Jeffrey + 1 more
    • English
    The extensive additions, and the inclusion of a new chapter, has made this classic work by Jeffrey, now joined by co-author Dr. H.H. Dai, an even more essential reference for researchers and students in applied mathematics, engineering, and physics. It provides quick access to important formulas, relationships between functions, and mathematical techniques that range from matrix theory and integrals of commonly occurring functions to vector calculus, ordinary and partial differential equations, special functions, Fourier series, orthogonal polynomials, and Laplace and Fourier transforms. During the preparation of this edition full advantage was taken of the recently updated seventh edition of Gradshteyn and Ryzhik’s Table of Integrals, Series, and Products and other important reference works. Suggestions from users of the third edition of the Handbook have resulted in the expansion of many sections, and because of the relevance to boundary value problems for the Laplace equation in the plane, a new chapter on conformal mapping, has been added, complete with an atlas of useful mappings.

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

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

  • Multiparametric Statistics

    • 1st Edition
    • Vadim Ivanovich Serdobolskii
    • English
    This monograph presents mathematical theory of statistical models described by the essentially large number of unknown parameters, comparable with sample size but can also be much larger. In this meaning, the proposed theory can be called "essentially multiparametric". It is developed on the basis of the Kolmogorov asymptotic approach in which sample size increases along with the number of unknown parameters.This theory opens a way for solution of central problems of multivariate statistics, which up until now have not been solved. Traditional statistical methods based on the idea of an infinite sampling often break down in the solution of real problems, and, dependent on data, can be inefficient, unstable and even not applicable. In this situation, practical statisticians are forced to use various heuristic methods in the hope the will find a satisfactory solution.Mathematica... theory developed in this book presents a regular technique for implementing new, more efficient versions of statistical procedures. Near exact solutions are constructed for a number of concrete multi-dimensional problems: estimation of expectation vectors, regression and discriminant analysis, and for the solution to large systems of empiric linear algebraic equations. It is remarkable that these solutions prove to be not only non-degenerating and always stable, but also near exact within a wide class of populations.In the conventional situation of small dimension and large sample size these new solutions far surpass the classical, commonly used consistent ones. It can be expected in the near future, for the most part, traditional multivariate statistical software will be replaced by the always reliable and more efficient versions of statistical procedures implemented by the technology described in this book.This monograph will be of interest to a variety of specialists working with the theory of statistical methods and its applications. Mathematicians would find new classes of urgent problems to be solved in their own regions. Specialists in applied statistics creating statistical packages will be interested in more efficient methods proposed in the book. Advantages of these methods are obvious: the user is liberated from the permanent uncertainty of possible instability and inefficiency and gets algorithms with unimprovable accuracy and guaranteed for a wide class of distributions.A large community of specialists applying statistical methods to real data will find a number of always stable highly accurate versions of algorithms that will help them to better solve their scientific or economic problems. Students and postgraduates will be interested in this book as it will help them get at the foremost frontier of modern statistical science.

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

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

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

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

Related subjects