Libros en Ciencias de la Computación

Hamilton-Jacobi Equation: A Global Approach
1 Edición
Volumen 131
Benton
Inglés
The Art and Theory of Dynamic Programming
1 Edición
Volumen 130
Dreyfus
Inglés
Factorization Methods for Discrete Sequential Estimation
1 Edición
Volumen 128
Gerald J Bierman
Inglés
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.
Probability Methods for Approximations in Stochastic Control and for Elliptic Equations
1 Edición
Volumen 129
Kushner
Inglés
Advances in Electronics and Electron Physics
1 Edición
Volumen 43
Inglés
Advances in Electronics and Electron Physics
1 Edición
Volumen 42
Inglés
A Course in Mathematical Logic
1 Edición
J.L. Bell + 1 más
Inglés
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
1 Edición
Volumen 125
Bertsekas
Inglés
Advances in Computers
1 Edición
Volumen 15
Inglés
Advances in Electronics and Electron Physics
1 Edición
Volumen 41
Inglés
Advances in Electronics and Electron Physics
1 Edición
Volumen 40B
Inglés
Dynamic Stochastic Models from Empirical Data
1 Edición
Volumen 122
Anil Kashyap
Inglés
Advances in Computers
1 Edición
Volumen 14
Inglés
Advances in Electronics and Electron Physics
1 Edición
Volumen 40A
Inglés
Quantum Detection and Estimation Theory
1 Edición
Volumen 123
Helstrom
Inglés
Variational Methods in Statistics
1 Edición
Volumen 121
Rustagi
Inglés
Advances in Electronics and Electron Physics
1 Edición
Volumen 39
Inglés
Pursuit Games
An Introduction to the Theory and Applications of Differential Games of Pursuit and Evasion
1 Edición
Volumen 120
Otomar Hájek
Inglés
This book describes systematic methods for winning in differential games of pursuit and evasion and illustrates the scope and application of the developed procedures.
Introduction to Nonparametric Detection with Applications
1 Edición
Volumen 119
Jerry D. Gibson + 1 más
Inglés
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.
On Measures of Information and Their Characterizations
1 Edición
Volumen 115
Acze?l
Inglés
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
1 Edición
Volumen 38
Inglés
A Rational Finite Element Basis
1 Edición
Volumen 114
Wachspress
Inglés
Advances in Computers
1 Edición
Volumen 13
Inglés
Advances in Electronics and Electron Physics
1 Edición
Volumen 37
Inglés
Advances in Electronics and Electron Physics
1 Edición
Volumen 36
Inglés
Advances in Electronics and Electron Physics
1 Edición
Volumen 35
Inglés
Discrete Numerical Methods in Physics and Engineering
1 Edición
Volumen 107
Greenspan
Inglés
An Introduction to Nonlinear Boundary Value Problems
1 Edición
Volumen 109
Lakshmikantham
Inglés
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.
Bilinear Control Processes: with Applications to Engineering, Ecology, and Medicine
1 Edición
Volumen 106
Mohler
Inglés
Automation Theory and Modeling of Biological Systems
1 Edición
Volumen 102
Tsetlin
Inglés
Advances in Electronics and Electron Physics
1 Edición
Volumen 34
Inglés
Integral Equations and Stability of Feedback Systems
1 Edición
Volumen 104
Corduneanu
Inglés
Introduction to the Theory and Application of Differential Equations with Deviating Arguments
1 Edición
Volumen 105
L.E. El'sgol'ts + 1 más
Inglés
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
1 Edición
Volumen 101
Tsypkin
Inglés
Random Differential Equations in Science and Engineering
1 Edición
Volumen 103
Soong
Inglés
Symbolic Logic and Mechanical Theorem Proving
1 Edición
Chin-Liang Chang + 1 más
Inglés
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
1 Edición
Volumen 61B
Bellman
Inglés
Graph Theory in Modern Engineering: Computer Aided Design, Control, Optimization, Reliability Analysis
1 Edición
Volumen 98
Henley
Inglés
Sparse Matrices
1 Edición
Volumen 99
Tewarson
Inglés
Advances in Electronics and Electron Physics
1 Edición
Volumen 32
Inglés
Random Integral Equations
1 Edición
Volumen 96
Bharucha-Reid
Inglés
Realizability Theory for Continuous Linear Systems
1 Edición
Volumen 97
Zemanian
Inglés
Advances in Electronics and Electron Physics
1 Edición
Volumen 33B
Inglés
Advances in Computers
1 Edición
Volumen 12
Inglés
Advances in Electronics and Electron Physics
1 Edición
Volumen 31
Inglés
Regression and the Moore-Penrose Pseudoinverse
1 Edición
Volumen 94
Albert
Inglés
Advances in Electronics and Electron Physics
1 Edición
Volumen 33A
Inglés
Nonserial Dynamic Programming
1 Edición
Volumen 91
Bertele?
Inglés
Theory of Partial Differential Equations
1 Edición
Volumen 93
Lieberstein
Inglés
Flows in Transportation Networks
1 Edición
Volumen 90
Oliver
Inglés

Descubrar libros e ebooks

Áreas temáticas

Títulos en inglés

Libros en Ciencias de la Computación

Hamilton-Jacobi Equation: A Global Approach

The Art and Theory of Dynamic Programming

Factorization Methods for Discrete Sequential Estimation

Probability Methods for Approximations in Stochastic Control and for Elliptic Equations

Advances in Electronics and Electron Physics

Advances in Electronics and Electron Physics

A Course in Mathematical Logic

Dynamic Programming and Stochastic Control

Advances in Computers

Advances in Electronics and Electron Physics

Advances in Electronics and Electron Physics

Dynamic Stochastic Models from Empirical Data

Advances in Computers

Advances in Electronics and Electron Physics

Quantum Detection and Estimation Theory

Variational Methods in Statistics

Advances in Electronics and Electron Physics

Pursuit Games

Introduction to Nonparametric Detection with Applications

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

Advances in Electronics and Electron Physics

Advances in Electronics and Electron Physics

Discrete Numerical Methods in Physics and Engineering

An Introduction to Nonlinear Boundary Value Problems

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

Automation Theory and Modeling of Biological Systems

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

Graph Theory in Modern Engineering: Computer Aided Design, Control, Optimization, Reliability 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 Computers

Advances in Electronics and Electron Physics

Regression and the Moore-Penrose Pseudoinverse

Advances in Electronics and Electron Physics

Nonserial Dynamic Programming

Theory of Partial Differential Equations

Flows in Transportation Networks

Temas relacionados