Books in Computer science

The Computing collection presents a range of foundational and applied content across computer and data science, including fields such as Artificial Intelligence; Computational Modelling; Computer Networks, Computer Organization & Architecture, Computer Vision & Pattern Recognition, Data Management; Embedded Systems & Computer Engineering; HCI/User Interface Design; Information Security; Machine Learning; Network Security; Software Engineering.

Factorization Methods for Discrete Sequential Estimation
1st Edition
Volume 128
Gerald J Bierman
English
Kalman’s elegant solution of the discrete linear estimation problem has had a major impact in academic engineering circles and in the aerospace industry. Recently, areas of application have widened to include such diverse subjects as transportation planning and scheduling, marine and satellite navigation, power systems, process control, surveying, earthquake prediction, communications, economic forecasting and analysis, water resource planning, human modeling, and biomedical applications. Unfortunately, numeric accuracy and stability problems have often prevented researchers in these diverse disciplines from successfully computer mechanizing Kalman’s algorithms. It has come to be realized that algorithm formulations that involve matrix factorization generally enhance numeric characteristics and at the same time generate new analytical perceptions. Our aim in this monograph is to familiarize analysts in these various areas with those matrix factorization techniques that lead to estimation algorithms that are efficient, economical, reliable, and flexible. In order to expedite their application we have included FORTRAN descriptions of the important algorithms. Our experience leads us to conclude that a better understanding of the underlying mathematics involved with matrix factorization, together with an awareness of the concise FORTRAN implementations that are possible, will result in a more widespread utilization of this technology. Hopefully, after familiarizing himself with this material, the reader will share our opinion. This monograph came about as a result of a set of lectures on leastsquares estimation that I gave at the Jet Propulsion Laboratory. The interest with which these lectures were received convinced me that the estimation applications community would benefit from, and in fact was in need of, an estimation reference book that thoroughly describes those matrix factorization methods and associated numerical techniques that have been successfully employed by numerical analysts. Emphasis in this book has been on the algorithmic and computational aspects of discrete linear estimation. Although our material is of a rather specialized nature, it is of interest to a diverse audience. Our pragmatically oriented and detailed presentation will, we hope, make this book a useful reference.
Advances in Electronics and Electron Physics
1st Edition
Volume 43
English
Advances in Electronics and Electron Physics
1st Edition
Volume 42
English
A Course in Mathematical Logic
1st Edition
J.L. Bell + 1 more
English
A comprehensive one-year graduate (or advanced undergraduate) course in mathematical logic and foundations of mathematics. No previous knowledge of logic is required; the book is suitable for self-study. Many exercises (with hints) are included.
Dynamic Programming and Stochastic Control
1st Edition
Volume 125
Bertsekas
English
Advances in Electronics and Electron Physics
1st Edition
Volume 41
English
Advances in Computers
1st Edition
Volume 15
English
Advances in Electronics and Electron Physics
1st Edition
Volume 40B
English
Dynamic Stochastic Models from Empirical Data
1st Edition
Volume 122
Anil Kashyap
English
Advances in Computers
1st Edition
Volume 14
English
Advances in Electronics and Electron Physics
1st Edition
Volume 40A
English
Variational Methods in Statistics
1st Edition
Volume 121
Rustagi
English
Advances in Electronics and Electron Physics
1st Edition
Volume 39
English
Introduction to Nonparametric Detection with Applications
1st Edition
Volume 119
Jerry D. Gibson + 1 more
English
Even with the advances in signal processing and digital communications, robustness to uncertain channel statistics continues to be a fundamental issue in the design and performance analysis of today's communications, radar, and sonar systems. The variability of digital communications systems consistently challenges the communications system designer, while new applications have channels that almost defy accurate modeling. As a result, parametric detectors, which are excellent when model assumptions are satisfied, do not maintain the satisfactory performance necessary for detection. This core IEEE Press reissue is the only book devoted solely to nonparametric detection - the key to maintaining good performance over a wide range of conditions. Throughout, the authors employ the classical Neyman-Pearson approach, which is widely applicable to detection problems in communications, radar, sonar, acoustics, and geophysics. Topics covered include: nonparametric detection theory, basic detection theory, one-input and two-input detectors and performance, tied observations, dependent sample performance, and engineering applications.
Pursuit Games
An Introduction to the Theory and Applications of Differential Games of Pursuit and Evasion
1st Edition
Volume 120
Otomar Hájek
English
This book describes systematic methods for winning in differential games of pursuit and evasion and illustrates the scope and application of the developed procedures.
On Measures of Information and Their Characterizations
1st Edition
Volume 115
Acze?l
English
This book deals with measures of information (the most important ones being called entropies), their properties, and, reciprocally, with questions concerning which of these properties determine known measures of information, and which are the most general formulas satisfying reasonable requirements on practical measures of information. Thisis the first book investigating this subject in depth.
Advances in Electronics and Electron Physics
1st Edition
Volume 38
English
A Rational Finite Element Basis
1st Edition
Volume 114
Wachspress
English
Advances in Computers
1st Edition
Volume 13
English
Advances in Electronics and Electron Physics
1st Edition
Volume 37
English
Data Structures
2nd Edition
Alfs T. Berztiss
English
Advances in Electronics and Electron Physics
1st Edition
Volume 36
English
Advances in Electronics and Electron Physics
1st Edition
Volume 35
English
An Introduction to Nonlinear Boundary Value Problems
1st Edition
Volume 109
Lakshmikantham
English
A book on an advanced level that exposes the reader to the fascinating field of differential equations and provides a ready access to an up-to-date state of this art is of immense value. This book presents a variety of techniques that are employed in the theory of nonlinear boundary value problems. For example, the following are discussed: methods that involve differential inequalities; shooting and angular function techniques; functional analytic approaches; topological methods.
Discrete Numerical Methods in Physics and Engineering
1st Edition
Volume 107
Greenspan
English
Bilinear Control Processes: with Applications to Engineering, Ecology, and Medicine
1st Edition
Volume 106
Mohler
English
Advances in Electronics and Electron Physics
1st Edition
Volume 34
English
Integral Equations and Stability of Feedback Systems
1st Edition
Volume 104
Corduneanu
English
Introduction to the Theory and Application of Differential Equations with Deviating Arguments
1st Edition
Volume 105
L.E. El'sgol'ts + 1 more
English
Introduction to the Theory and Application of Differential Equations with Deviating Arguments 2nd edition is a revised and substantially expanded edition of the well-known book of L. E. El’sgol’ts published under this same title by Nauka in 1964. Extensions of the theory of differential equations with deviating argument as well as the stimuli of developments within various fields of science and technology contribute to the need for a new edition. This theory in recent years has attracted the attention of vast numbers of researchers, interested both in the theory and its applications. The development of the foundations of the theory of differential equations with a deviating argument is still far from complete. This situation, of course, leaves its mark on our suggestions to the reader of the book and prevents as orderly and systematic a presentation as is usual for mathematical literature. However, it is hoped that in spite of these deficiencies the book will prove useful as a first acquaintanceship with the theory of differential equations with a deviating argument.
Foundations of the Theory of Learning Systems
1st Edition
Volume 101
Tsypkin
English
Random Differential Equations in Science and Engineering
1st Edition
Volume 103
Soong
English
Symbolic Logic and Mechanical Theorem Proving
1st Edition
Chin-Liang Chang + 1 more
English
This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.
Methods of Nonlinear Analysis
1st Edition
Volume 61B
Bellman
English
Sparse Matrices
1st Edition
Volume 99
Tewarson
English
Advances in Electronics and Electron Physics
1st Edition
Volume 32
English
Random Integral Equations
1st Edition
Volume 96
Bharucha-Reid
English
Realizability Theory for Continuous Linear Systems
1st Edition
Volume 97
Zemanian
English
Advances in Electronics and Electron Physics
1st Edition
Volume 33B
English
Advances in Electronics and Electron Physics
1st Edition
Volume 31
English
Causality and Dispersion Relations
1st Edition
Volume 95
Nussenzveig
English
Advances in Computers
1st Edition
Volume 12
English
Advances in Electronics and Electron Physics
1st Edition
Volume 33A
English
Regression and the Moore-Penrose Pseudoinverse
1st Edition
Volume 94
Albert
English
Theory of Partial Differential Equations
1st Edition
Volume 93
Lieberstein
English
Nonserial Dynamic Programming
1st Edition
Volume 91
Bertele?
English
Flows in Transportation Networks
1st Edition
Volume 90
Oliver
English
The Method of Weighted Residuals and Variational Principles, with Application in Fluid Mechanics, Heat and Mass Transfer
1st Edition
Volume 87
Courtney Finlayson
English
Riccati Differential Equations
1st Edition
Volume 86
Reid
English
Computer-Oriented Approaches to Pattern Recognition
1st Edition
Volume 83
Meisel
English
Markov Processes and Learning Models
1st Edition
Volume 84
Norman
English

Life Sciences

Physical Sciences & Engineering

Social Sciences & Humanities

Health

Books in Computer science

Factorization Methods for Discrete Sequential Estimation

Advances in Electronics and Electron Physics

Advances in Electronics and Electron Physics

A Course in Mathematical Logic

Dynamic Programming and Stochastic Control

Advances in Electronics and Electron Physics

Advances in Computers

Advances in Electronics and Electron Physics

Dynamic Stochastic Models from Empirical Data

Advances in Computers

Advances in Electronics and Electron Physics

Variational Methods in Statistics

Advances in Electronics and Electron Physics

Introduction to Nonparametric Detection with Applications

Pursuit Games

On Measures of Information and Their Characterizations

Advances in Electronics and Electron Physics

A Rational Finite Element Basis

Advances in Computers

Advances in Electronics and Electron Physics

Data Structures

Advances in Electronics and Electron Physics

Advances in Electronics and Electron Physics

An Introduction to Nonlinear Boundary Value Problems

Discrete Numerical Methods in Physics and Engineering

Bilinear Control Processes: with Applications to Engineering, Ecology, and Medicine

Advances in Electronics and Electron Physics

Integral Equations and Stability of Feedback Systems

Introduction to the Theory and Application of Differential Equations with Deviating Arguments

Foundations of the Theory of Learning Systems

Random Differential Equations in Science and Engineering

Symbolic Logic and Mechanical Theorem Proving

Methods of Nonlinear Analysis

Sparse Matrices

Advances in Electronics and Electron Physics

Random Integral Equations

Realizability Theory for Continuous Linear Systems

Advances in Electronics and Electron Physics

Advances in Electronics and Electron Physics

Causality and Dispersion Relations

Advances in Computers

Advances in Electronics and Electron Physics

Regression and the Moore-Penrose Pseudoinverse

Theory of Partial Differential Equations

Nonserial Dynamic Programming

Flows in Transportation Networks

The Method of Weighted Residuals and Variational Principles, with Application in Fluid Mechanics, Heat and Mass Transfer

Riccati Differential Equations

Computer-Oriented Approaches to Pattern Recognition

Markov Processes and Learning Models

Related subjects