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.

  • Higher Order Logic Theorem Proving and its Applications

    Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications - HOL '92 Leuven, Belgium, 21-24 September 1992
    • 1st Edition
    • Volume 20
    • L.J.M. Claesen + 1 more
    • English
    The HOL system is a higher order logic theorem proving system implemented at Edinburgh University, Cambridge University and INRIA. Its many applications, from the verification of hardware designs at all levels to the verification of programs and communication protocols are considered in depth in this volume. Other systems based on higher order logic, namely Nuprl and LAMBDA are also discussed. Features given particular consideration are: novel developments in higher order logic and its implementations in HOL; formal design and verification methodologies for hardware and software; public domain availability of the HOL system. Papers addressing these issues have been divided as follows: Mathematical Logic; Induction; General Modelling and Proofs; Formalizing and Modelling of Automata; Program Verification; Hardware Description Language Semantics; Hardware Verification Methodologies; Simulation in Higher Order Logic; Extended Uses of Higher Order Logic. Academic and industrial researchers involved in formal hardware and software design and verification methods should find the publication especially interesting and it is hoped it will also provide a useful reference tool for those working at software institutes and within the electronics industries.

  • Relational Databases

    State of the Art Report 14:5
    • 1st Edition
    • D A Bell
    • English
    Relational Databases explores the major advances in relational databases and provides a balanced analysis of the state of the art in relational databases. Topics covered include capture and analysis of data placement requirements; distributed relational database systems; data dependency manipulation in database schemata; and relational database support for computer graphics and computer aided design. This book is divided into three sections and begins with an overview of the theory and practice of distributed systems, using the example of INGRES from Relational Technology as illustration. The following chapters focus on whether relational and relational-like systems actually meet business needs; IBM's Structured Query Language/Data System (SQL/DS); tools for database design and programming; and Secondary Access Methods and the problem of secondary index selection. A number of quantitative models for assessing the performance of physical databases are also described. This text concludes by assessing some of the most conspicuous trends in relational database research and development. This monograph will be of interest to database designers.

  • Artificial Intelligence

    State of the Art Report 15:3
    • 1st Edition
    • J R Ennals
    • English
    Artificial Intelligence: State of the Art Report is a two-part report consisting of the invited papers and the analysis. The editor first gives an introduction to the invited papers before presenting each paper and the analysis, and then concludes with the list of references related to the study. The invited papers explore the various aspects of artificial intelligence. The analysis part assesses the major advances in artificial intelligence and provides a balanced analysis of the state of the art in this field. The Bibliography compiles the most important published material on the subject of artificial intelligence and includes all the materials cited in the invited paper and analysis references.

  • Model Answers in Pure Mathematics for A-Level Students

    The Commonwealth and International Library: Commonwealth Library of Model Answers
    • 1st Edition
    • G.A. Pratt + 1 more
    • C. W. Schofield
    • English
    Model Answers in Pure Mathematics for A-Level Students provides a set of solutions that indicate what is required and expected in an Advanced Level examination in Pure Mathematics. This book serves as a guide to the length of answer required, layout of the solution, and methods of selecting the best approach to any particular type of math problem. This compilation intends to supplement, not replace, the normal textbook and provides a varied selection of questions for practice in addition to the worked solutions. The subjects covered in this text include algebra, trigonometry, coordinate geometry, and calculus. This publication is valuable to students; working through and coping with the practice questions will help them face advanced mathematical examinations with confidence.

  • Hyperbolic Partial Differential Equations

    Modern Applied Mathematics and Computer Science
    • 1st Edition
    • Matthew Witten
    • English
    Hyperbolic Partial Differential Equations III is a refereed journal issue that explores the applications, theory, and/or applied methods related to hyperbolic partial differential equations, or problems arising out of hyperbolic partial differential equations, in any area of research. This journal issue is interested in all types of articles in terms of review, mini-monograph, standard study, or short communication. Some studies presented in this journal include discretization of ideal fluid dynamics in the Eulerian representation; a Riemann problem in gas dynamics with bifurcation; periodic McKendrick equations for age-structured population growth; and logistic models of structured population growth. A number of book reviews are also included. This journal provides an interdisciplinary forum for the presentation of results not included in other particular journals, and thus will be beneficial to those interested in this field of study.

  • British Commercial Computer Digest

    Pergamon Computer Data Series
    • 10th Edition
    • R. H. Williams
    • English
    British Commercial Computer Digest, Tenth Edition presents information on computers and peripheral equipment available in Britain. A list of computer manufacturers and selling organizations is included, along with all worldwide known computers installed as at the end of 1968. A table of speeds, memory storage capacity, and storage type of the computers is also presented. This book is divided into nine sections and begins by presenting a table of speeds of computers available in Britain, followed by information on manufacturers and vendors and their respective addresses. Computers available in Britain are then listed in alphabetical order, as well as peripheral equipment used either online or offline with the computers; memory storage capacity and storage type of the computers; computers installed and on order in Britain; and worldwide known computers installed as at the end of 1968. This monograph will be a useful resource for users, manufacturers, and vendors of computers and computer peripherals.

  • Designing End-User Interfaces

    State of the Art Report 15:8
    • 1st Edition
    • N Heaton + 1 more
    • English
    Designing End-User Interfaces: State of the Art Report focuses on the field of human/computer interaction (HCI) that reviews the design of end-user interfaces. This compilation is divided into two parts. Part I examines specific aspects of the problem in HCI that range from basic definitions of the problem, evaluation of how to look at the problem domain, and fundamental work aimed at introducing human factors into all aspects of the design cycle. Part II consists of six main topics—definition of the problem, psychological and social factors, principles of interface design, computer intelligence and interface design, systems aspects of the human/computer interface, and conclusion. This book is recommended for computer designers aiming to understand the user, improve the software and its associated interface, and design hardware that is suitable for use.

  • Further Developments in Operational Research

    Frontiers of Operational Research and Applied Systems Analysis
    • 1st Edition
    • G. K. Rand + 1 more
    • English
    Further Developments in Operational Research is a collection of articles on fields such as behavioral science, corporate planning, and artificial intelligence. Subjects in forecasting, risk analysis, and network analysis are likewise reviewed. The book discusses statistical forecasting in detail. Graphs, networks, and uses of such networks are provided. A chapter of the book covers the creation and implementation of expert systems. Risk engineering is an integrated approach to all aspects of risk analysis. It identifies and quantifies uncertainty and advances methods in order to modify associated risks through effective and efficient decisions. A review of the models used in forecasting is then provided. This section includes concepts such as hypergraphs, network flows, and tools of graph theory. The historical background and developments in artificial intelligence are also featured in the book. Statistical forecasting is presented completely. The book can serve as a useful tool for programmers, forecasters, statisticians, psychologists, students, and researchers.

  • Tables of Lamé Polynomials

    Mathematical Tables
    • 1st Edition
    • F.M. Arscott + 1 more
    • English
    Tables of Lamé polynomials presents tables of Lamé polynomials, which were calculated on the Ferranti "Mercury" machine at the London University Computer Unit in England. Lamé polynomials are solutions of Lamé differential equation, which is used in a number of different forms, including the "Jacobian form". A particular Lamé polynomial is specified completely (apart from a constant multiplier) by the type number, the value of N, and the position of the corresponding eigenvalue of h in the set of such eigenvalues. Comprised of three chapters, this volume begins with an introduction to the theory of Lamé polynomials and the equations involved, together with their elementary properties and correspondence with other notations. The tabulated form of Lamé polynomials and the method of tabulation are discussed, and approximations in limiting cases are considered. The next chapter deals with the method of computation of the Lamé polynomials, including the calculation of the coefficients, eigenroots, and eigenvectors. The book concludes with a description of the instructions and terms used in the program using the PIG input routine on the Ferranti "Mercury" computer. This monograph will be of interest to mathematicians and mathematics students.

  • Identifiability of Parametric Models

    • 1st Edition
    • E. Walter
    • English
    Identifiability of Parametric Models provides a comprehensive presentation of identifiability. This book is divided into 11 chapters. Chapter 1 reviews the basic methods for structural identifiability testing. The methods that deal with large-scale models and propose conjectures on global identifiability are considered in Chapter 2, while the problems of initial model selection and generating the set of models that have the exact same input-output behavior are evaluated in Chapter 3. Chapters 4 and 5 cover nonlinear models. The relations between identifiability and the well-posedness of the estimation problem are analyzed in Chapter 6, followed by a description of the algebraic manipulations required for testing a model for structural controllability, observability, identifiability, or distinguishability in chapter 7. The rest of the chapters are devoted to the relations between identifiability and parameter uncertainty. This publication is beneficial to students and researchers aiming to acquire knowledge of the identifiability of parametric models.

Related subjects