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.

  • Computer-Assisted Analysis and Model Simplification

    Proceedings of the First Symposium on Computer-Assisted Analysis and Model Simplification, University of Colorado, Boulder, Colorado, March 28, 1980
    • 1st Edition
    • Harvey J. Greenberg + 1 more
    • English
    Computer-Assisted Analysis and Model Simplification deals with problems associated with the implementation, understanding, and management of large-scale, computer-resident models. This book focuses on five general research areas—structural modeling, qualitative economics, mathematical programming systems, relational databases, and combinatorics. In these topics, this compilation discusses the scope of computer-assisted analysis and model, structural models and graph theory, and qualitative stability of matrices and economic theory. The strong sign-solvability and weak satisfiability, automatic identification of embedded structure in large-scale optimization models, and query systems for linear programming models are also deliberated. This publication is a good source for students, specialists, and researchers interested in computer-assisted analysis and model simplification.

  • Theoretical Studies in Computer Science

    • 1st Edition
    • Jeffrey D. Ullman
    • English
    Theoretical Studies in Computer Science focuses on the field of theoretical computer science. This book discusses the context-free multi-languages, non-membership in certain families of context-free languages, and single tree grammars. The complexity of structural containment and equivalence, interface between language theory and database theory, and automata theory for database theoreticians are also deliberated. This text likewise covers the datalog linearization of chain queries, expressive power of query languages, and object identity and query equivalences. Other topics include the unified approach to data and meta-data modification for data/knowledge bases, polygon clipping algorithms, and convex polygon generator. This publication is intended for computer scientists and researchers interested in theoretical computer science.

  • Statistical Methods and the Improvement of Data Quality

    • 1st Edition
    • Tommy Wright
    • English
    Statistical Methods and the Improvement of Data Quality contains the proceedings of The Small Conference on the Improvement of the Quality of Data Collected by Data Collection Systems, held on November 11-12, 1982, in Oak Ridge, Tennessee. The conference provided a forum for discussing the use of statistical methods to improve data quality, with emphasis on the problems of data collection systems and how to handle them using state-of-the-art techniques. Comprised of 16 chapters, this volume begins with an overview of some of the limitations of surveys, followed by an annotated bibliography on frames from which the probability sample is selected. The reader is then introduced to sample designs and methods for collecting data over space and time; response effects to behavior and attitude questions; and how to develop and use error profiles. Subsequent chapters focus on principles and methods for handling outliers in data sets; influence functions, outlier detection, and data editing; and application of pattern recognition techniques to data analysis. The use of exploratory data analysis as an aid in modeling and statistical forecasting is also described. This monograph is likely to be of primary benefit to students taking a general course in survey sampling techniques, and to individuals and groups who deal with large data collection systems and are constantly seeking ways to improve the overall quality of their data.

  • Mechanisms for Reliable Distributed Real-Time Operating Systems

    The Alpha Kernel
    • 1st Edition
    • J. Duane Northcutt
    • W. Rheinboldt + 1 more
    • English
    Mechanisms for Reliable Distributed Real-Time Operating Systems: The Alpha Kernel deals with the Alpha kernel, a set of mechanisms that support the construction of reliable, modular, decentralized operating systems for real-time control applications. An initial snapshot of the kernel design and implementation is provided. Comprised of seven chapters, this volume begins with a background on the Alpha operating system kernel and its implementation, followed by a description of the programming abstractions created for the Alpha kernel. The third chapter defines the client interface provided by the kernel in support of the given programming abstractions, while the fourth chapter focuses on the functional design of the kernel. The hardware on which the kernel was constructed, as well as the implications of this hardware on the design and implementation of the kernel, is also examined. The final chapter compares Alpha with other relevant operating systems such as Hydra, Cronus, Eden, Argus, Accent, and Locus. This book will appeal to computer scientists, systems designers, and undergraduate and graduate students of computer science.

  • Geometric Topology

    • 1st Edition
    • James C. Cantrell
    • English
    Geometric Topology contains the proceedings of the 1977 Georgia Topology Conference, held at the University of Georgia on August 1977. The book is comprised of contributions from leading experts in the field of geometric topology.These contributions are grouped into four sections: low dimensional manifolds, topology of manifolds, shape theory and infinite dimensional topology, and miscellaneous problems. Subjects discussed under these sections include local spanning missing loops, the structure of generalized manifolds having nonmanifold set of trivial dimension, universal open principal fibrations, and how to build a flexible polyhedral surface. Topologists, geometers, and mathematicians will find the book very interesting and insightful.

  • Algebraic Analysis

    Papers Dedicated to Professor Mikio Sato on the Occasion of His Sixtieth Birthday
    • 1st Edition
    • Masaki Kashiwara + 1 more
    • English
    Algebraic Analysis: Papers Dedicated to Professor Mikio Sato on the Occasion of his 60th Birthday, Volume I is a collection of research papers on algebraic analysis and related topics in honor to Professor Mikio Sato’s 60th birthday. This volume is composed of 35 chapters and begins with papers concerning Sato’s early career in algebraic analysis. The succeeding chapters deal with research works on the existence of local holomorphic solutions, the holonomic q-difference systems, partial differential equations, and the properties of solvable models. Other chapters explore the fundamentals of hypergeometric functions, the Toda lattice in the complex domain, the Lie algebras, b-functions, p-adic integrals, analytic parameters of hyperfunctions, and some applicatioins of microlocal energy methods to analytic hypoeellipticity. This volume also presents studies on the complex powers of p-adic fields, operational calculus, extensions of microfunction sheaves up to the boundary, and the irregularity of holonomic modules. The last chapters feature research works on error analysis of quadrature formulas obtained by variable transformation and the analytic functional on the complex light cone, as well as their Fourier-Borel transformations. This book will prove useful to mathematicians and advance mathematics students.

  • Locking Performance in Centralized Databases

    • 1st Edition
    • Y.C. Tay
    • W. Rheinboldt + 1 more
    • English
    Perspectives in Computing: Locking Performance in Centralized Databases reports some results from a project whose aim was the development of a performance model for concurrency control algorithms. This book proposes a model that is powerful enough to help users understand, compare, and control the performance of the algorithms. Organized into four chapters, this book begins with an overview of the model in its simplest form. This text then explains locking, which uses a combination of blocking and restarts to achieve correctness. Other chapters test the model and the method of analysis by comparing the model's predictions to simulation results wherein the prediction and simulations indicate that restarts can cause thrashing. This book discusses as well the formula for throughput and for the restart rate. The final chapter deals with the adaptation of the model to timestamping and distributed algorithms. This book is a valuable resource for mathematicians and research workers.

  • Regression Estimators

    A Comparative Study
    • 1st Edition
    • Marvin H. J. Gruber
    • Gerald J. Lieberman + 1 more
    • English
    Regression Estimators: A Comparative Study presents, compares, and contrasts the development and the properties of the ridge type estimators that result from both Bayesian and non-Bayesian (frequentist) methods. The book is divided into four parts. The first part (Chapters I and II) discusses the need for alternatives to least square estimators, gives a historical survey of the literature and summarizes basic ideas in Matrix Theory and Statistical Decision Theory used throughout the book. The second part (Chapters III and IV) covers the estimators from both the Bayesian and from the frequentist points of view and explores the mathematical relationships between them. The third part (Chapters V-VIII) considers the efficiency of the estimators with and without averaging over a prior distribution. Part IV, the final two chapters IX and X, suggests applications of the methods and results of Chapters III-VII to Kaiman Filters and Analysis of Variance, two very important areas of application. Statisticians and workers in fields that use statistical methods who would like to know more about the analytical properties of ridge type estimators will find the book invaluable.

  • Mathematical Programming

    Proceedings of an Advanced Seminar Conducted by the Mathematics Research Center, the University of Wisconsin, and the U. S. Army at Madison, September 11-13, 1972
    • 1st Edition
    • T. C. Hu + 1 more
    • English
    Mathematical Programming provides information pertinent to the developments in mathematical programming. This book covers a variety of topics, including integer programming, dynamic programming, game theory, nonlinear programming, and combinatorial equivalence. Organized into nine chapters, this book begins with an overview of optimization of very large-scale planning problems that can be achieved on significant problems. This text then introduces non-stationary policies and determines certain operating characteristics of the optimal policy for a very long planning horizon. Other chapters consider the perfect graph theorem by defining some well-known integer-valued functions of an arbitrary graph. This book discusses as well integer programming that deals with the class of mathematical programming problems in which some or all of the variables are required to be integers. The final chapter deals with the basic theorem of game theory. This book is a valuable resource for readers who are interested in mathematical programming. Mathematicians will also find this book useful.

  • Programming Language Structures

    • 1st Edition
    • Elliott I. Organick + 2 more
    • English
    Programming Language Structures deals with the structures of programming languages and introduces the reader to five important programming languages: Algol, Fortran, Lisp, Snobol, and Pascal. The fundamental similarities and differences among these languages are discussed. A unifying framework is constructed that can be used to study the structure of other languages, such as Cobol, PL/I, and APL. Several of the tools and methodologies needed to construct large programs are also considered. Comprised of 10 chapters, this book begins with a summary of the relevant concepts and principles about algorithms, flowcharts, and computation that a student is expected to know from the first course. The discussion then turns to the semantics of procedure and function call as well as argument-parameter matching with various kinds of parameters; recursion and its relation to tree traversal; syntax formalism for context-free languages; and ALGOL 60 and block structuring. Case study programs are presented to reinforce the reader's understanding of ALGOL 60 and Fortran semantics. The remaining chapters deal with Lisp, Snobol, and Pascal. This monograph is intended for working programmers and students in computer science who have an interest in the subject of programming.

Related subjects