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.

  • Logic Colloquium 76, Proceedings of a conference

    • 1st Edition
    • Volume 87
    • Lev D. Beklemishev
    • English

  • Why Programs Fail

    A Guide to Systematic Debugging
    • 2nd Edition
    • Andreas Zeller
    • English
    Why Programs Fail: A Guide to Systematic Debugging is proof that debugging has graduated from a black art to a systematic discipline. It demystifies one of the toughest aspects of software programming, showing clearly how to discover what caused software failures, and fix them with minimal muss and fuss. The fully updated second edition includes 100+ pages of new material, including new chapters on Verifying Code, Predicting Erors, and Preventing Errors. Cutting-edge tools such as FindBUGS and AGITAR are explained, techniques from integrated environments like Jazz.net are highlighted, and all-new demos with ESC/Java and Spec#, Eclipse and Mozilla are included. This complete and pragmatic overview of debugging is authored by Andreas Zeller, the talented researcher who developed the GNU Data Display Debugger(DDD), a tool that over 250,000 professionals use to visualize the data structures of programs while they are running. Unlike other books on debugging, Zeller's text is product agnostic, appropriate for all programming languages and skill levels. The book explains best practices ranging from systematically tracking error reports, to observing symptoms, reproducing errors, and correcting defects. It covers a wide range of tools and techniques from hands-on observation to fully automated diagnoses, and also explores the author's innovative techniques for isolating minimal input to reproduce an error and for tracking cause and effect through a program. It even includes instructions on how to create automated debugging tools. The text includes exercises and extensive references for further study, and a companion website with source code for all examples and additional debugging resources is available.

  • Philosophy of Mathematics

    • 1st Edition
    • English
    One of the most striking features of mathematics is the fact that we are much more certain about the mathematical knowledge we have than about what mathematical knowledge is knowledge of. Are numbers, sets, functions and groups physical entities of some kind? Are they objectively existing objects in some non-physical, mathematical realm? Are they ideas that are present only in the mind? Or do mathematical truths not involve referents of any kind? It is these kinds of questions that have encouraged philosophers and mathematicians alike to focus their attention on issues in the philosophy of mathematics. Over the centuries a number of reasonably well-defined positions about the nature of mathematics have been developed and it is these positions (both historical and current) that are surveyed in the current volume. Traditional theories (Platonism, Aristotelianism, Kantianism), as well as dominant modern theories (logicism, formalism, constructivism, fictionalism, etc.), are all analyzed and evaluated. Leading-edge research in related fields (set theory, computability theory, probability theory, paraconsistency) is also discussed. The result is a handbook that not only provides a comprehensive overview of recent developments but that also serves as an indispensable resource for anyone wanting to learn about current developments in the philosophy of mathematics.

  • Quantification in Nonclassical Logic

    • 1st Edition
    • Volume 153
    • Dov M. Gabbay + 2 more
    • English
    Quantification and modalities have always been topics of great interest for logicians. These two themes emerged from philosophy andlanguage in ancient times; they were studied by traditional informalmethods until the 20th century. In the last century the tools becamehighly mathematical, and both modal logic and quantification found numerous applications in Computer Science. At the same time many other kinds of nonclassical logics were investigated and applied to Computer Science. Although there exist several good books in propositional modal logics, this book is the first detailed monograph in nonclassical first-order quantification. It includes results obtained during the past thirty years. The field is very large, so we confine ourselves with only two kinds of logics: modal and superintuitionistic. The main emphasis of Volume 1 is model-theoretic, and it concentrates on descriptions of different sound semantics and completeness problem --- even for these seemingly simple questions we have our hands full. The major part of the presented material has never been published before. Some results are very recent, and for other results we either give new proofs or first proofs in full detail.

  • Logic Colloquium '80

    • 1st Edition
    • D. van Dalen + 2 more
    • English
    The papers appearing in this volume are part of those originally intended for presentation at the conference: Logic Colloquium '80 - European Summer Meeting of the Association for Symbolic Logic (A.S.L.) which was to takeplace in Prague, August 24·30, 1980, principally under the auspices of the Czech Academy of Sciences. There were 36 invited speakers from Western and Eastern Europe, Israel, the U.S., and the U.S.S.R. The local organizingcommittee cabled participants on July 15, 1980 to inform them that the meeting was cancelled for technical reasons; a subsequent communication stated that the cancellation was due to unforeseen circumstances lying beyond the controlof the organizing committee. The unexpected cancellation of the Prague meeting was greatly regretted, since so much care, time, and energy had been given to its advance preparation by the local organizing committee as well as by representatives of the A.S.L.and its European Committee. The late date on which cancellation took place required drastic changes of plans by speakers and participants. Last-minute efforts to reschedule the meeting elsewhere in Europe could not be realized.

  • Fundamentals of the theory of operator algebras. V4

    Special topics--advanced theory, an exercise approach
    • 1st Edition
    • Volume 100D
    • English

  • Logic from Russell to Church

    • 1st Edition
    • Volume 5
    • Dov M. Gabbay + 1 more
    • English
    This volume is number five in the 11-volume Handbook of the History of Logic. It covers the first 50 years of the development of mathematical logic in the 20th century, and concentrates on the achievements of the great names of the period--Russell, Post, Gödel, Tarski, Church, and the like. This was the period in which mathematical logic gave mature expression to its four main parts: set theory, model theory, proof theory and recursion theory. Collectively, this work ranks as one of the greatest achievements of our intellectual history. Written by leading researchers in the field, both this volume and the Handbook as a whole are definitive reference tools for senior undergraduates, graduate students and researchers in the history of logic, the history of philosophy, and any discipline, such as mathematics, computer science, and artificial intelligence, for whom the historical background of his or her work is a salient consideration.

  • Essential Mathcad for Engineering, Science, and Math

    • 2nd Edition
    • Brent Maxfield
    • English
    Using the author's considerable experience of applying Mathcad to engineering problems, Essential Mathcad introduces the most powerful functions and features of the software and teaches how to apply these to create comprehensive calculations for any quantitative subject. The simple, step-by-step approach makes this book an ideal Mathcad text for professional engineers as well as engineering , science, and math students. Examples from a variety of fields demonstrate the power and utility of Mathcad's tools, while also demonstrating how other software, such as Excel spreadsheets, can be incorporated effectively. A full version of Mathcad v15 is available by using the registration code included in the front of the book (North America only). The included software is for educational purposes only.

  • Advances in Computers

    Social Net Working and the Web
    • 1st Edition
    • Volume 76
    • Marvin Zelkowitz
    • English
    This is volume 76 of the Advances in Computers. Since 1960, annual volumes are produced containing chapters by some of the leading experts in the field of computers today. For almost 50 years these volumes present ideas and developments that are radically changing our society. One of the most important ideas sweeping though society today is the social networking website. Names like Wikipedia, Flickr, Second Life, Twitter, Facebook, Meetup, MySpace, LinkedIn, among others, are becoming common parlance as the youth, and a growing segment of the adult population, now view such websites as alternatives to the corner convenience store or coffee shop and critically important avenues for social interactions. In this volume we explore this phenomenon to describe the development of some of these ideas as well as developments in web technology that enable this to occur. This volume contains seven chapters divided into two parts. The first three chapters describe the social networking phenomenon and provide insights into the technology and influences on our culture. The last four chapters provide details of the underlying technology that allows the web to expand to include these social networking sites, as well as other new applications for information dissemination, accessing, and sharing.

  • Handbook of Statistical Analysis and Data Mining Applications

    • 1st Edition
    • Robert Nisbet + 2 more
    • English
    The Handbook of Statistical Analysis and Data Mining Applications is a comprehensive professional reference book that guides business analysts, scientists, engineers and researchers (both academic and industrial) through all stages of data analysis, model building and implementation. The Handbook helps one discern the technical and business problem, understand the strengths and weaknesses of modern data mining algorithms, and employ the right statistical methods for practical application. Use this book to address massive and complex datasets with novel statistical approaches and be able to objectively evaluate analyses and solutions. It has clear, intuitive explanations of the principles and tools for solving problems using modern analytic techniques, and discusses their application to real problems, in ways accessible and beneficial to practitioners across industries - from science and engineering, to medicine, academia and commerce. This handbook brings together, in a single resource, all the information a beginner will need to understand the tools and issues in data mining to build successful data mining solutions.

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

  • A Physicist's Guide to Mathematica

    • 2nd Edition
    • Patrick T. Tam
    • English
    For the engineering and scientific professional, A Physicist’s Guide to Mathematica, Second Edition provides an updated reference guide based on the 2007 new 6.0 release, providing an organized and integrated desk reference with step-by-step instructions for the most commonly used features of the software as it applies to research in physics. For professors teaching physics and other science courses using the Mathematica software, A Physicist’s Guide to Mathematica, Second Edition is the only fully compatible (new software release) Mathematica text that engages students by providing complete topic coverage, new applications, exercises and examples that enable the user to solve a wide range of physics problems.

  • 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 for Markov Processes for Stochastic Modeling

    • 1st Edition
    • Oliver Ibe
    • English

  • Student Solutions Manual, Matrix Methods

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

  • Scientific Data Ranking Methods

    Theory and Applications
    • 1st Edition
    • Volume 27
    • English
    This volume presents the basic mathematics of ranking methods through a didactic approach and the integration of relevant applications. Ranking methods can be applied in several different fields, including decision support, toxicology, environmental problems, proteomics and genomics, analytical chemistry, food chemistry, and QSAR.

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

  • Pattern Recognition

    • 4th Edition
    • Konstantinos Koutroumbas + 1 more
    • English
    This book considers classical and current theory and practice, of supervised, unsupervised and semi-supervised pattern recognition, to build a complete background for professionals and students of engineering. The authors, leading experts in the field of pattern recognition, have provided an up-to-date, self-contained volume encapsulating this wide spectrum of information. The very latest methods are incorporated in this edition: semi-supervised learning, combining clustering algorithms, and relevance feedback. · Thoroughly developed to include many more worked examples to give greater understanding of the various methods and techniques· Many more diagrams included--now in two color--to provide greater insight through visual presentation· Matlab code of the most common methods are given at the end of each chapter.· More Matlab code is available, together with an accompanying manual, via this site · Latest hot topics included to further the reference value of the text including non-linear dimensionality reduction techniques, relevance feedback, semi-supervised learning, spectral clustering, combining clustering algorithms.· An accompanying book with Matlab code of the most common methods and algorithms in the book, together with a descriptive summary, and solved examples including real-life data sets in imaging, and audio recognition. The companion book will be available separately or at a special packaged price (ISBN: 9780123744869).

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

  • Computational Finance

    • 1st Edition
    • George Levy
    • English
    This set contains two previously published books on computational finance:Computationa... Finance presents a modern computational approach to mathematical finance within the Windows environment. George Levy illustrates how numeric components can be developed by Financial Analysts that allow financial routines on the computer to be more easily performed. This book contains a bound in CD-ROM.In Computational Finance Using C and C#, Levy raises computational finance to the next level using the languages of both standard C and C#. The inclusion of both these languages enables readers to match their use of the book to their firm’s internal software and code requirements. Levy also provides derivatives pricing information for equity derivates, interest rate derivatives, foreign exchange derivatives, and credit derivatives. A unique password is bound into every book, giving the reader access to additional software on password protected website.

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

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

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

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

Related subjects