Skip to main content

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.

  • Perspectives on Computer Science

    From the 10th Anniversary Symposium at the Computer Science Department, Carnegie-Mellon University
    • 1st Edition
    • Anita K. Jones
    • English
    Perspectives on Computer Science provides information pertinent to the fundamental aspects of computer science. This book discusses the weaknesses frequently found in minicomputers. Organized into 12 chapters, this book begins with an overview of the technological, economic, and human aspects of the environment in which PDP–11 was designed and built. This text then examines the set of techniques for tree searching. Other chapters consider a tutorial on automatic planning systems, with emphasis given to knowledge representation issues. This book discusses as well the classical least-fixedpoint approach toward recursive programs and examines the interplay between time and space determined by a variety of machine models. The final chapter deals with some of the primary influences in contemporary programming language design, namely, programming methodology, program specification, verification, and formal semantic definition techniques. This book is a valuable resource for students and teachers. Computer science theoreticians and mathematicians will also find this book useful.
  • Fourier Analysis in Probability Theory

    • 1st Edition
    • Tatsuo Kawata
    • Z. W. Birnbaum + 1 more
    • English
    Fourier Analysis in Probability Theory provides useful results from the theories of Fourier series, Fourier transforms, Laplace transforms, and other related studies. This 14-chapter work highlights the clarification of the interactions and analogies among these theories. Chapters 1 to 8 present the elements of classical Fourier analysis, in the context of their applications to probability theory. Chapters 9 to 14 are devoted to basic results from the theory of characteristic functions of probability distributors, the convergence of distribution functions in terms of characteristic functions, and series of independent random variables. This book will be of value to mathematicians, engineers, teachers, and students.
  • Six-Figure Tables of Trigonometric Functions

    Mathematical Tables Series
    • 1st Edition
    • L. S. Khrenov
    • English
    THE PRESENT six-figure trigonometric tables complete the series of tables of the natural values of the trigonometric functions published by Fizmatgiz. Now that small computers have become very widely available, almost all computations are carried out by machine, and the majority of computational schemes arc suited to this purpose. The situation calls urgently for the availability of tables containing the natural values of all six trigonometric functions. The following special factor emerges here. In logarithmic computations the same relative accuracy is guaranteed more or less automatically for all values of the argument: the number of correct significant figures in the result is either equal to or (in rare cases) one less than, the number of significant figures in the mantissa of the logarithm. In computations with natural values of the functions the same relative accuracy is guaranteed in practice for all arguments only by having a constant nmber of significant figures throughout the tables. Until recently however, tables of the natural values of the trigonometric functions have been compiled both in Russia and abroad with the same number of places after the decimal point, which leads to a loss of accuracy when computing with functions of small angles. In view of this there is an urgent need for tables of the natural values of the trigonometric functions with a constant number of significant figures which substantially guarantees roughly the- same relative accuracy for all angles. The present tables, together with the following, already published by Fizmatgiz: Fil'e-figure Tables (L. S. Khrenov~ 1954), Five-.figure Tables l~,ith the Argument in Time (L. S. Khrenov, 1954), Seven-figure Tables(L. S. Khrenov, 1956) and Six-figure Tables with the Argunlent in Time (S. A. Angelov, 1957), form a complete series ~ith the same number of significant figures, satisfying the main requirements of a wide variety of computers. When compiling the present tables, use was made for purposes of collation of the following tables of the natural values of the trigonometric functions: The I)-figure Table..' of H. Andoyer, (Paris, 1915-1918), the Eight-figure Table of J. Peters (Berlin) J939), the Seven-figure Table of °L.S. Khrenov (2nd. ed., Gostekhizdat, 1956), the Seven-figure Table of H. C. Ives, and the Eight-figure Tables oj' the Logarith,l1.ft of NumberaV and oJ the Trigonometric functions of J. Bauschin.e;er and J. Peters (Geodezizdat, 1942 and 1944).
  • Fundamentals of Applied Probability and Random Processes

    • 2nd Edition
    • Oliver Ibe
    • English
    The long-awaited revision of Fundamentals of Applied Probability and Random Processes expands on the central components that made the first edition a classic. The title is based on the premise that engineers use probability as a modeling tool, and that probability can be applied to the solution of engineering problems. Engineers and students studying probability and random processes also need to analyze data, and thus need some knowledge of statistics. This book is designed to provide students with a thorough grounding in probability and stochastic processes, demonstrate their applicability to real-world problems, and introduce the basics of statistics. The book's clear writing style and homework problems make it ideal for the classroom or for self-study.
  • The Handbook of Artificial Intelligence

    Volume 3
    • 1st Edition
    • Paul R. Cohen + 1 more
    • English
    The Handbook of Artificial Intelligence, Volume I focuses on the progress in artificial intelligence (AI) and its increasing applications, including parsing, grammars, and search methods. The book first elaborates on AI, AI handbook and literature, problem representation, search methods, and sample search programs. The text then ponders on representation of knowledge, including survey of representation techniques and representation schemes. The manuscript explores understanding natural languages, as well as machine translation, grammars, parsing, test generation, and natural language processing systems. The book also takes a look at understanding spoken language, including systems architecture and the ARPA SUR projects. The text is a valuable source of information for computer science experts and researchers interested in pursuing further research in artificial intelligence
  • Numerical Methods of Reactor Analysis

    • 1st Edition
    • Melville Clark + 1 more
    • V. L. Parsegian
    • English
    Numerical Methods of Reactor Analysis is an introduction to topics of numerical analysis frequently used in the nuclear reactor field. Emphasis is placed on methods by which machine calculations are performed on practical problems related to nuclear reactors. The multigroup diffusion methods and the Monte Carlo method are discussed. Comprised of six chapters, this volume begins by describing a simplified formulation of linear algebra, with emphasis on matrices and operations with matrices as well as the properties of special matrices. Following the introduction of a geometric interpretation of matrix equations, many matrix relations are derived, including relations used in nuclear engineering. The next chapter reviews the elementary properties of finite difference equations, with particular reference to techniques suited to digital computers. Subsequent chapters focus on numerical solutions of equations; multigroup diffusion methods; transport methods; and the Monte Carlo method. This book will be a valuable resource for first and second year graduate students taking an introductory course in reactor physics.
  • Readings in Distributed Artificial Intelligence

    • 1st Edition
    • Alan H. Bond + 1 more
    • English
    Most artificial intelligence research investigates intelligent behavior for a single agent--solving problems heuristically, understanding natural language, and so on. Distributed Artificial Intelligence (DAI) is concerned with coordinated intelligent behavior: intelligent agents coordinating their knowledge, skills, and plans to act or solve problems, working toward a single goal, or toward separate, individual goals that interact. DAI provides intellectual insights about organization, interaction, and problem solving among intelligent agents. This comprehensive collection of articles shows the breadth and depth of DAI research. The selected information is relevant to emerging DAI technologies as well as to practical problems in artificial intelligence, distributed computing systems, and human-computer interaction. "Readings in Distributed Artificial Intelligence" proposes a framework for understanding the problems and possibilities of DAI. It divides the study into three realms: the natural systems approach (emulating strategies and representations people use to coordinate their activities), the engineering/science perspective (building automated, coordinated problem solvers for specific applications), and a third, hybrid approach that is useful in analyzing and developing mixed collections of machines and human agents working together. The editors introduce the volume with an important survey of the motivations, research, and results of work in DAI. This historical and conceptual overview combines with chapter introductions to guide the reader through this fascinating field. A unique and extensive bibliography is also provided.
  • Mathematical Methods

    A Course of Mathematics for Engineers and Scientists
    • 2nd Edition
    • Brian H. Chirgwin + 1 more
    • English
    Mathematical Methods is an introductory course on mathematical methods for students aiming for a first degree in engineering or science. Topics covered include differentiation and integration and their applications; the geometry of two dimensions, and complex numbers. Statistics and probability are also discussed. Comprised of eight chapters, this volume begins with an introduction to fundamental concepts, including the roots of equations; elementary two-dimensional coordinate geometry; limits and continuity; inequalities and quadratic forms; mathematical induction; and convergence. The discussion then turns to the techniques of differentiation and integration and their applications; the geometry of two dimensions; and complex numbers and their roots, together with trigonometric expansions. The book concludes with a chapter on statistics and probability, paying particular attention to the properties of a frequency distribution; some special probability distributions; normal distribution and the error function; and some probability problems. This monograph is intended for students taking a course in engineering or science.
  • Advanced Calculus and Vector Field Theory

    • 1st Edition
    • Kathleen M. Urwin
    • English
    THIS book falls naturally into two parts. In Chapters 1-5 the basic ideas and techniques of partial differentiation, and of line, multiple and surface integrals are discussed. Chapters 6 and 7 give the elements of vector field theory, taking the integral definitions of the divergence and curl of a vector field as their starting points; the last chapter surveys very briefly some of the immediate applications of vector field theory to five branches of applied mathematics. Throughout I have given numerous worked examples. In these I have paid particular attention to those points which in my own experience I have found to give most difficulty to students. In the text I have denoted spherical polar coordinates by (/-, 0, ψ)9 and cylindrical polar coordinates by (p, ψ, ζ), so that ψ measures the same angle in both systems. Since there is no one standard notation for these systems, the reader will meet different notations in the course of his reading, and in quoting examination questions in the exercises I have kept to the notation of the originals. The Exercises at the end of each section are intended to give practice in the basic techniques just discussed. The Miscellaneous Exercises are more varied, and contain many examination questions.
  • Complex Variables

    • 1st Edition
    • H. R. Chillingworth
    • C. Plumpton
    • English
    Complex Variables focuses on the principles, characteristics, and functions of complex variables, as well as infinite series, complex numbers, and convergence and divergence. The book first examines complex numbers and the sequences and limits of point sets in the complex plane. Discussions focus on non-decreasing real sequences, boundedness of convergent sequences, boundary points, closed sets, bounded and unbounded sets in the complex plane, complex conjugates, complex numbers as an extension of the real number field, scalar multiplication, modulus, and number pairs. The manuscript then takes a look at the tests for convergence of infinite series, functions of a complex variable, and elementary functions. Concerns cover repeated differentiation of an infinite series, differentiability of power series, hyperbolic functions, link between the exponential and trigonometric functions, orthogonal families of curves, differentiability, testing for convergence or divergence, and series with negative or complex terms. The text examines miscellaneous theorems, contour integration, zeros and singularities, and integration, including order of magnitude of a function, infinite integrals involving trigonometric functions, and sum-limit and anti-differentiation... The publication is highly recommended for students and teachers wanting to explore complex variables.
  • Analog and Hybrid Computing

    • 1st Edition
    • D. E. Hyndman
    • N. Hiller
    • English
    Analog and Hybrid Computing considers the fundamental aspects and principled of analog and hybrid computers and their applications in various scientific investigations. This book is composed of eight chapters, and begins with a brief presentation of the history of computing devices using a generalized flow diagram of computation, illustrating the fundamental differences between analog and digital computers. The subsequent chapters deal with the theory and the operation of the basic units found in electronic analog computers, the methods of scaling problems for the computer, and the organization and operation of computer. These topics are followed by discussions on the solutions of time-varying and non-linear differential equations and the simulation of transfer functions, which is an important aspect of analog computation. The concluding chapter describes some of the additional hardware in modern computers. These chapters particularly highlight the features and advantages of hybrid computing. This book is of value to computer engineers, scientists, and researchers, as well as advanced computer engineering students.
  • French's Index of Differential Diagnosis

    • 7th Edition
    • Arthur H. Douthwaite
    • English
    AFTER the appearance of the sixth edition, Herbert French had resolved to take no active part in any future production. I decided that it was not only desirable but necessary to undertake considerable reconstruction in the next edition. Although the basic principles of diagnosis must be static for all time, the considerably increasedscope of investigation by accessory aids demanded the inclusion of much new material and in many instances the production of entirely re-written rather than revised articles, especially as many of the earlier contributors have died or retired. By a more logical division and allocation among new contributors, considerable overlapping or repetition evident in earlier editions has been avoided and has resulted, it is hoped, in a more compact and generally useful work. It will be noticed that the title has been altered to conform to the actual contents. By judicious pruning the index has been simplified and abbreviated whilst retaining all essential references. This has been carried out by the publishers, Messrs. John Wright & Sons, of Bristol, with an accuracy ensured from their wide experience. The highest standard of format and printing confidently expected has been maintained. For many of the illustrations I am indebted to Professor J. Whillis, who is in charge of the Department of Medical Illustration, Guy's Hospital, and to Dr. T. H. Hills, Director of the Department of Diagnostic Radiology, Guy's Hospital. In other cases acknowledgment of the source is appended to the picture. To the deletion of obsolete material and the inclusion of much that is new must be added the editorial complication of extensive cross-references when several independent contributors have to be correlated—a difficulty enhanced by the long interval that has been unavoidable between the submitting of manuscripts and publication. I have been exceptionally fortunate in having as counsellor, collaborator, and contributor Sir Adolphe Abrahams. He has spared no pains in respect of writing, proof-reading, and general advice to help me to carry on the work of my old teacher. To him I offer my warmest thanks
  • History of Programming Languages

    • 1st Edition
    • Richard L. Wexelblat
    • English
    History of Programming Languages presents information pertinent to the technical aspects of the language design and creation. This book provides an understanding of the processes of language design as related to the environment in which languages are developed and the knowledge base available to the originators. Organized into 14 sections encompassing 77 chapters, this book begins with an overview of the programming techniques to use to help the system produce efficient programs. This text then discusses how to use parentheses to help the system identify identical subexpressions within an expression and thereby eliminate their duplicate calculation. Other chapters consider FORTRAN programming techniques needed to produce optimum object programs. This book discusses as well the developments leading to ALGOL 60. The final chapter presents the biography of Adin D. Falkoff. This book is a valuable resource for graduate students, practitioners, historians, statisticians, mathematicians, programmers, as well as computer scientists and specialists.
  • The Theory of Models

    Proceedings of the 1963 International Symposium at Berkeley
    • 1st Edition
    • J.W. Addison + 2 more
    • English
    Studies in Logic and the Foundations of Mathematics: The Theory of Models covers the proceedings of the International Symposium on the Theory of Models, held at the University of California, Berkeley on June 25 to July 11, 1963. The book focuses on works devoted to the foundations of mathematics, generally known as "the theory of models." The selection first discusses the method of alternating chains, semantic construction of Lewis's systems S4 and S5, and continuous model theory. Concerns include ordered model theory, 2-valued model theory, semantics, sequents, axiomatization, formulas, axiomatic approach to hierarchies, alternating chains, and difference hierarchies. The text also ponders on Boolean notions extended to higher dimensions, elementary theories with models without automorphisms, and applications of the notions of forcing and generic sets. The manuscript takes a look at a hypothesis concerning the extension of finite relations and its verification for certain special cases, theories of functors and models, model-theoretic methods in the study of elementary logic, and extensions of relational structures. The text also reviews relatively categorical and normal theories, algebraic theories, categories, and functors, denumerable models of theories with extra predicates, and non-standard models for fragments of number theory. The selection is highly recommended for mathematicians and researchers interested in the theory of models.
  • Game Theory and Experimental Games

    The Study of Strategic Interaction
    • 1st Edition
    • Andrew M. Colman
    • Michael Argyle
    • English
    Game Theory and Experimental Games: The Study of Strategic Interaction is a critical survey of the essential ideas of game theory and the findings of empirical research on strategic interaction. Some experiments using lifelike simulations of familiar kinds of strategic interactions are presented, and applications of game theory to the study of voting, the theory of evolution, and moral philosophy are discussed. Comprised of 13 chapters, this volume begins with an informal definition of game theory and an outline of the types of social situations to which it applies. Games of skill, games of chance, and games of strategy are considered. Games of strategy are further subdivided into coordination, zero-sum, and mixed-motive varieties. Subsequent chapters deal with one-person games in which a solitary decision maker is pitted against Nature; the competitive nature of two-person, zero-sum games; the relationship between game theory and experimental games; and the mixed-motive character of variable-sum games that generate intrapersonal and interpersonal conflicts. Experiments with prisoner's dilemma as well as coalition, auction, and social dilemma games are also considered. Finally, some applications of game theory are described. This book is designed for advanced undergraduates, graduate students, and relevant practitioners in social psychology, sociology, economics, and politics, and in some cases for a rather broader public.
  • Nonlinear Equations in Abstract Spaces

    Proceedings of an International Symposium on Nonlinear Equations in Abstract Spaces, Held at the University of Texas at Arlington, Arlington, Texas, June 8–10, 1977
    • 1st Edition
    • V. Lakshmikantham
    • English
    Many problems in partial differential equations which arise from physical models can be considered as ordinary differential equations in appropriate infinite dimensional spaces, for which elegant theories and powerful techniques have recently been developed. This book gives a detailed account of the current state of the theory of nonlinear differential equations in a Banach space, and discusses existence theory for differential equations with continuous and discontinuous right-hand sides. Of special importance is the first systematic presentation of the very important and complex theory of multivalued discontinuous differential equations.
  • Mathematical Software

    • 1st Edition
    • John R. Rice
    • English
    Mathematical Software deals with software designed for mathematical applications such as Fortran, CADRE, SQUARS, and DESUB. The distribution and sources of mathematical software are discussed, along with number representation and significance monitoring. User-modifiable software and non-standard arithmetic programs are also considered. Comprised of nine chapters, this volume begins with a historical background in the form of a chronological list of events that trace the development of computing in general and mathematical software in particular. The next chapter examines where and how mathematical software is being created and how it is being disseminated to eventual consumers. A number of important shortcomings are identified. The future of mathematical software and the challenges facing mathematical software are then discussed. Subsequent chapters focus on the point of view of people outside the professional community of mathematical software; the monitoring of significance in computation and its relation to number representation; libraries of mathematical software; and the automation of numerical analysis. Eleven algorithms for numerical quadrature are also compared. This book should be of considerable interest to students and specialists in the fields of mathematics and computer science.
  • Tables of Lommel's Functions of Two Pure Imaginary Variables

    Mathematical Tables Series
    • 1st Edition
    • L. S. Bark + 1 more
    • English
    Tables of Lommel's Functions of Two Pure Imaginary Variables provide tables on cylinder functions of two pure imaginary variables. These tables are computed on the "Strela" electronic computer and are checked and prepared in the Analytic Machine Department. The introductory part describes some properties of the Lommel's functions. This part also contains the integral forms and asymptotic expansions. Lommel's functions of two pure imaginary arguments are defined by the Neumann series. This text is of value to researchers and students.
  • Developments in Operational Research

    Frontiers of Operational Research and Applied Systems Analysis
    • 1st Edition
    • R. W. Eglese + 1 more
    • English
    Developments in Operational Research reviews developments in operational research (OR) and includes numerical examples to illustrate techniques and applications. Topics covered include some of the most widely used OR ""techniques"", such as mathematical programming and simulation, together with the contribution of OR methodology to specific application areas, such as capital investment appraisal and purchasing. This book is comprised of seven chapters and begins with an introduction to the state of mathematical programming systems, along with the relevance of other optimization algorithms to OR and techniques for handling certain types of nonlinearity. The discussion then turns to network optimization techniques and their applications for the New Zealand Justice Department as well as for the wheat and dairy industries. The following chapters focus on computer simulation as applied in OR, with emphasis on various approaches to discrete event modeling; application of OR to industrial maintenance and replacement; financial appraisal methods, including discounting methods; and the use of Bayesian decision analysis to decision making. This text concludes by looking at the purchasing function and the limitations of classical stock control theory in practice. Models and procedures are developed to cope with real situations. Materials requirements planning, quantity discounts, price inflation, commodity purchasing decisions, and blending problems are considered. This monograph will be of interest to planners, decision makers, and others involved in operations research.
  • Tables of the Principal Unitary Representations of Fedorov Groups

    The Mathematical Tables Series
    • 1st Edition
    • D. K. Faddeyev
    • English
    Tables of the Principal Unitary Representations of Fedorov Groups contains tables of all the principal representations of Fedorov groups from which all irreducible unitary representations can be obtained with the help of some standard operations. The work originated at a seminar on mathematical crystallography held in 1952-1953 at the Faculty of Mathematics and Mechanics of the Leningrad State University. The book is divided into two parts. The first part discusses the relation between the theory of representations and the generalized Fedorov groups in Shubnikov's sense. It shows that all unidimensional representations of Fedorov groups are basic, and hence are given in the tables. In particular, all representations defining generalized Fedorov groups are given in the tables. However, it should be noted that the same generalized Fedorov group may correspond to different representations, if the latter cross each other in certain automorphisms of the Fedorov group to be represented. The second part contains the tables of the principal unitary representations of Fedorov groups.
  • Mathematics for Physical Science and Engineering

    Symbolic Computing Applications in Maple and Mathematica
    • 1st Edition
    • Frank E. Harris
    • English
    Mathematics for Physical Science and Engineering is a complete text in mathematics for physical science that includes the use of symbolic computation to illustrate the mathematical concepts and enable the solution of a broader range of practical problems. This book enables professionals to connect their knowledge of mathematics to either or both of the symbolic languages Maple and Mathematica. The book begins by introducing the reader to symbolic computation and how it can be applied to solve a broad range of practical problems. Chapters cover topics that include: infinite series; complex numbers and functions; vectors and matrices; vector analysis; tensor analysis; ordinary differential equations; general vector spaces; Fourier series; partial differential equations; complex variable theory; and probability and statistics. Each important concept is clarified to students through the use of a simple example and often an illustration. This book is an ideal reference for upper level undergraduates in physical chemistry, physics, engineering, and advanced/applied mathematics courses. It will also appeal to graduate physicists, engineers and related specialties seeking to address practical problems in physical science.
  • 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.
  • 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.
  • The Fifth Generation Computer Project

    State of the Art Report 11:1
    • 1st Edition
    • Scarrott
    • English
    The Fifth Generation Computer Project is a two-part book consisting of the invited papers and the analysis. The invited papers examine various aspects of The Fifth Generation Computer Project. The analysis part assesses the major advances of the Fifth Generation Computer Project and provides a balanced analysis of the state of the art in The Fifth Generation. This part provides a balanced and comprehensive view of the development in Fifth Generation Computer technology. The Bibliography compiles the most important published material on the subject of The Fifth Generation.
  • Tables of the Velocity of Sound in Sea Water

    Mathematical Tables Series
    • 1st Edition
    • L. S. Bark + 2 more
    • English
    Tables of the Velocity of Sound in Sea Water contains tables of the velocity of sound in sea water computed on a "Strela-3" high-speed electronic computer and a T-5 tabulator at the Computational Center of the Academy of Sciences. Knowledge of the precise velocity of sound in sea water is of great importance when investigating sound propagations in the ocean and when solving practical problems involving the use of hydro-acoustic devices. This book demonstrates the computations made for the velocity of sound in sea water, which can be found in two ways: by direct measurement with the aid of suitable equipment, and by calculation from formula expressing the dependence of the velocity on the temperature and salinity of the water. This book will be of great value to researchers and students.
  • Statistical Data Analysis and Inference

    • 1st Edition
    • Y. Dodge
    • English
    A wide range of topics and perspectives in the field of statistics are brought together in this volume. The contributions originate from invited papers presented at an international conference which was held in honour of C. Radhakrishna Rao, one of the most eminent statisticians of our time and a distinguished scientist.
  • British Commercial Computer Digest

    Pergamon Computer Data Series
    • 11th Edition
    • Sam Stuart
    • English
    British Commercial Computer Digest, Eleventh Edition lists the current computers available in Britain including the peripheral equipments used either on-line or off-line. It also gives information on manufacturers and selling organizations of the listed computers. This book also presents a table of memory storage capacity and types of the computers, as well as computers installed in Great Britain and their users. Lastly, lists of all world-wide known computers with number installed are also provided. This book gives sensible guidance on the computers in Great Britain, viewed through professional eyes, under increasingly complex conditions.
  • 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.
  • 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.
  • 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.
  • Water and Related Land Resource Systems

    IFAC Symposium, Cleveland, Ohio, U.S.A., 28-31 May 1980
    • 1st Edition
    • Y. Haimes + 1 more
    • English
    Water and Related Land Resource Systems covers IFAC Symposium that aims to address resource problem, as well as methodologies and procedures for respective solutions. Consists of 60 chapters, the book is organized in sessions according to the technical program of the conference. The book first tackles multiobjective planning in water and land resources, which is followed by acquisition and analysis of surface water quality data. The next part covers hierarchical water resource planning and management models, while the succeeding part is about environmental and ecological aspects of water and land resources. The fifth session discusses the impact of energy development on water and land resources. Session VI covers modeling and systems identification problems in water resources, and Session VII covers acquisition and analysis of hydrologic data. The eighth session tackles ground water and its conjunctive use with surface water, while the next session talks about sedimentation and land management. The tenth session is about multiobjective planning in water and land resources. Predicting and forecasting models in water resources is the topic of Session XI, while Session XII discusses evaluation and calibration problem in water resource modeling. The closing chapter covers water and land issues in urban areas. Professionals whose work revolves around recourse management and researchers whose work is in line with natural resource will find great information in this book that will be relevant in their trade.
  • Advances in Computer Chess

    Pergamon Chess Series
    • 1st Edition
    • M. R. B. Clarke
    • English
    Advances in Computer Chess 3 focuses on the mechanics involved in playing chess on computer. This book features an extensive discussion of the game wherein it is played in a different setting. The selection, which is composed of 13 chapters, features the extensive contributions of researchers who continuously search for ways to improve playing chess on computer. This book starts with the discussion of the basic principles and concepts that can impose changes on how the game is played. A discussion is devoted to the Belle chess hardware. What is clearly pointed out in this section is the speed of the program relative to responses made while playing. A comparison is made between the performance of human and computer in playing chess. The complexity of various computer moves are then elaborated by highlighting how these moves can alter the pace as well as the result of the game. The development of a program that is aimed at solving problems on how chess is played is also noted. This book is a sure hit for those who are fond of playing chess in any playing field.
  • Control Applications of Nonlinear Programming

    Proceedings of the IFAC Workshop, Denver, Colorado, USA, 21 June 1979
    • 1st Edition
    • H. E. Rauch
    • English
    Control Applications of Nonlinear Programming contains the proceedings of the International Federation of Automatic Control Workshop on Control Applications of Nonlinear Programming, held in Denver, Colorado, on June 21, 1979. The workshop provided a forum for discussing the application of optimal and nonlinear programming techniques to real-life control problems. The volume covers a variety of specific applications ranging from microprocessor control of automotive engines and optimal design of structures to optimal aircraft trajectories, system identification, and robotics. Comprised of 14 chapters, this book begins by describing the application of nonlinear programming to an optimum design problem coming from mechanical engineering. The reader is then introduced to a nonlinear regulator design for magnetic suspension; optimal control solution of the automotive emission-constrained minimum fuel problem; and nonlinear programming for system identification. Subsequent chapters focus on mathematical programming algorithms based on Lagrangian functions for solving optimal control problems; computer-aided design via optimization; optimal and suboptimal control of oscillating dynamical systems; and the application of nonlinear programming to the solution of optimal output-constrained regulator problems. This monograph will be of interest to mathematicians, computer scientists, and engineers.
  • 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.
  • Computer-Communication Networks

    • 1st Edition
    • James S. Meditch + 1 more
    • English
    Computer- Communication Networks presents a collection of articles the focus of which is on the field of modeling, analysis, design, and performance optimization. It discusses the problem of modeling the performance of local area networks under file transfer. It addresses the design of multi-hop, mobile-user radio networks. Some of the topics covered in the book are the distributed packet switching queuing network design, some investigations on communication switching techniques in computer networks and the minimum hop flow assignment and routing subject to an average message delay constraints. The analysis of the multi-access communication channel is covered. The local area network file transfers are discussed. The text describes the C-PODA protocol. The congestion control scheme for window flow controlled computer network is presented. A chapter of the volume is devoted to the description of a fairness control algorithm. Another section of the book focuses on the analysis of hierarchical model. The book will provide useful information to computer programmers, network analysts, students, and researchers.
  • 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.
  • 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.
  • Elliptic Functions

    A Primer
    • 1st Edition
    • Eric Harold Neville
    • English
    Elliptic Functions: A Primer defines and describes what is an elliptic function, attempts to have a more elementary approach to them, and drastically reduce the complications of its classic formulae; from which the book proceeds to a more detailed study of the subject while being reasonably complete in itself. The book squarely faces the situation and acknowledges the history of the subject through the use of twelve allied functions instead of the three Jacobian functions and includes its applications for double periodicity, lattices, multiples and sub-multiple periods, as well as many others in trigonometry. Aimed especially towards but not limited to young mathematicians and undergraduates alike, the text intends to have its readers acquainted on elliptic functions, pass on to a study in Jacobian elliptic functions, and bring a theory of the complex plane back to popularity.
  • Tables of Racah Coefficients

    Mathematical Tables Series
    • 1st Edition
    • A. F. Nikiforov + 2 more
    • English
    Tables of Racah Coefficients presents a compilation of tables of Racah coefficients. Racah coefficients appear and are widely used in a number of problems in quantum mechanics; in the theory of spectra of complex atoms and nuclei; in the theory of angular distributions of nuclear reactions; in the theory of angular correlations of decay particles; and many other problems where the sums of products of three or more Clebsch-Gordan coefficients occur. In compiling tables of Racah coefficients certain conditions can be imposed on the indices, which follow from the symmetry relations. Only those coefficients are given which satisfy these conditions. The present tables consist of three parts. The first part gives Racah coefficients in which the first four indices are half-integers, and the other two integers. The second gives Racah coefficients with integer indices. The third gives Racah coefficients in which the three indices, a, c, e are half-integers, and the other three are integers.
  • Symmetry

    Unifying Human Understanding
    • 1st Edition
    • István Hargittai
    • English
    International Series in Modern Applied Mathematics and Computer Science, Volume 10: Symmetry: Unifying Human Understanding provides a tremendous scope of “symmetry”, covering subjects from fractals through court dances to crystallography and literature. This book discusses the limits of perfection, symmetry as an aesthetic factor, extension of the Neumann-Minnigerode-... principle, and symmetry of point imperfections in solids. The symmetry rules for chemical reactions, matching and symmetry of graphs, mosaic patterns of H. J. Woods, and bilateral symmetry in insects are also elaborated. This text likewise covers the crystallographic patterns, Milton's mathematical symbol of theodicy, symmetries of soap films, and gapon formalism. This volume is a good source for researchers and specialists concerned with symmetry.
  • Artificial Intelligence in Real-Time Control

    Proceedings of the IFAC Workshop, Clyne Castle, Swansea, UK, 21–23 September 1988
    • 1st Edition
    • M. G. Rodd + 1 more
    • English
    Artificial Intelligence in Real-Time Control documents the proceedings of the IFAC Workshop held in Clyne Castle, Swansea, UK, 21-23 September 1988. It includes two keynote addresses that discussed architectural issues for expert systems in real-time control; the problem of representing knowledge and reasoning; and the problems encountered in obtaining such information. Other papers contained in these proceedings are representative of the major research bodies active throughout the world in the application of AI techniques in real-time control, although it was inevitable that a Europe-based conference would highlight the work of the European groups. While AI is clearly still in the process of establishing itself, it is undoubtedly a major new area of engineering endeavor. Practical experience is still relatively limited, and many of the results discussed at this event were obtained through simulation or, in a few cases, from reduced practical experience. The importance, though, lies in the fact that many countries are pouring extensive resources into the attempt to control difficult processes by using AI techniques. The wide cross section of interest was demonstrated by the fact that many diverse industries were represented at the workshop—ranging from power-systems control to telecommunications, and into the steel industry.
  • Nonlinear Finite Element Analysis and Adina

    Proceedings of the 4th ADINA Conference
    • 1st Edition
    • K. J. Bathe
    • English
    Nonlinear Finite Element Analysis and ADINA contains the proceedings of the Fourth ADINA Conference held at Massachusetts Institute of Technology on June 15-17, 1983. Separating the papers presented in the conference as chapters, this book first elucidates the use of ADINA for analysis of mines with explosive fills. Subsequent chapters explore the use of ADINA in soil mechanics; nonlinear shell analysis; analysis of bond between prestressed steel and concrete; determination and simulation of stable crack growth; offshore structures analysis; modeling of traveling-loads and time-dependent masses; and comparison of two slideline methods. Other notable applications of ADINA are also shown.
  • 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.
  • 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.
  • The European Computer Users Handbook 1968/69

    Pergamon Computer Data Series
    • 6th Edition
    • Sam Stuart
    • English
    The European Computer Users Handbook 1968/69, Sixth Edition is a handbook of computers and computer peripherals which could be used in Europe. Details of computers and peripheral devices, including analog computers, calculators, and data transmission equipment, are presented. This book is organized into 10 sections and begins by giving information on digital computers that could be used in Europe based on recommendations by Computer Consultants Limited. Comments on the particular computer manufacturer concerned are included and the particular item of equipment is described. Digital computers, electronic calculators, analog computers, peripheral equipment, and data transmission equipment available in Europe are then listed. The names and addresses of computer manufacturers and selling organizations concerned with computers used in Europe are also provided. Two tables are given: one for computer installations by number, import value, and home built value in sixteen European countries, and another for computer installations in the United States. This monograph will be a valuable resource for both computer users and manufacturers.
  • Successful Business Computing

    • 1st Edition
    • M. Tampoe
    • English
    Successful Business Computing offers a practical guide to the selection and use of a computer system. It helps identify those factors that need to be assessed in buying computer equipment and the associated computing instructions, called computer programs or software. It is a management manual and not a technical treatise on computing theory, or advanced computing. The book is organized into three main parts. Part 1 helps the reader to recognize the symptoms and assess needs. It identifies some of the reasons which prompt the purchase of computer systems and the areas of the organization which can benefit. It explains a method of pinpointing the specific application areas. It emphasizes the need for a computing policy within the organization; specifies some significant policy issues; and identifies sources of external help. Part 2 guides the reader through the buying cycle, identifying the major activities and providing guidelines for the evaluation of the systems proposed. Part 3 explains the constituents of a computer system and provides a glossary of terms. This book is intended for the businessman or executive looking for guidelines on how best to handle the task of acquiring a computer system. It can also provide students with an introduction to the application of computers and computer systems in business and commerce.
  • Computer Electronics

    Made Simple Computerbooks
    • 1st Edition
    • J. F. B. Bourdillon
    • English
    Computer Electronics: Made Simple Computerbooks presents the basics of computer electronics and explains how a microprocessor works. Various types of PROMs, static RAMs, dynamic RAMs, floppy disks, and hard disks are considered, along with microprocessor support devices made by Intel, Motorola and Zilog. Bit slice logic and some AMD bit slice products are also described. Comprised of 14 chapters, this book begins with an introduction to the fundamentals of hardware design, followed by a discussion on the basic building blocks of hardware (NAND, NOR, AND, OR, NOT, XOR); tools and equipment that are required by a hardware engineer; and sequential logic. Subsequent chapters focus on analog components such as transistors, resistors, capacitors, diodes, crystals, and power supplies; data sheets and data books; timing diagrams; arithmetic using integrated circuits, with emphasis on full adders, arithmetic logic units, and arithmetic processing units. The final chapter describes how a project operates, how the computer-aided design process works, and how printed circuit boards are manufactured. This monograph will be of interest to students, engineers, and other practitioners in computer electronics.
  • Systems Analysis

    Made Simple Computerbooks
    • 1st Edition
    • Lyn Antill + 1 more
    • English
    Systems Analysis: Made Simple Computerbooks introduces the essential elements of information systems analysis and design and teaches basic technical skills required for the tasks involved. The book covers the aspects to the design of an information system; information systems and the organization, including the types of information processing activity and computer-based information systems; the role of the systems analyst; and the human activity system. The text also discusses information modeling, socio-technical design, man-machine interface, and the database design. Software specification and selection, opportunities and constraints of a computer, and hardware specification and system implementation are also considered. The book concludes by giving an overview of systems analysis. The text is useful to systems and information analysts.
  • Theory of Radicals

    • 1st Edition
    • L. Márki + 1 more
    • English
    Radicals arose originally from structural investigations in rings, but later on they infiltrated into various branches of algebra, as well as into topology and relational structures. This volume is the result of a conference attended by mathematicians from all five continents and thus represents the current state of research in the area.
  • Computer Programming Languages in Practice

    Made Simple Computerbooks
    • 1st Edition
    • C. A. Hofeditz
    • English
    Computer Programming Languages in Practice provides an overview of various computer programming languages. The book begins with the fundamentals: what programs are; how they are planned and organized; what elements of the computer the programmer controls; flowcharting; and how computer data is organized. It then discusses material common to all languages, including the entry program, the compiler, the run-time system, syntax diagrams, and coding forms. The largest portion of this book is devoted to two very popular languages—BASIC and COBOL. It provides a brief history of the language's development and use; a description of how the programming system is organized; its major components, divisions of instructions, and a description of its instruction set (instruction-by-inst... how a program is written, including a sample program; and a self-test, including exercises in which programming statements must be written. The final chapter discusses those languages which the reader is less likely to use but should know about. Included are descriptions of FORTRAN and RPG II.