Ditemukan 407 dokumen yang sesuai dengan query
Wegener, Ingo, author
Finite functions (in particular, Boolean functions) play a fundamental role in computer science and discrete mathematics. This book describes representations of Boolean functions that have small size for many important functions and which allow efficient work with the represented functions. The representation size of important and selected functions is estimated,...
Philadelphia : Society for Industrial and Applied Mathematics, 2000
e20442774
eBooks Universitas Indonesia Library
Creignou, Nadia, author
Many fundamental combinatorial problems, arising in such diverse fields as artificial intelligence, logic, graph theory, and linear algebra, can be formulated as Boolean constraint satisfaction problems (CSP). This book is devoted to the study of the complexity of such problems. The authors' goal is to develop a framework for classifying...
Philadelphia : Society for Industrial and Applied Mathematics, 2001
e20442783
eBooks Universitas Indonesia Library
This book is the first to pay special attention to the combined issues of speed and numerical reliability in algorithm development. These two requirements have often been regarded as competitive, so much so that the design of fast and numerically reliable algorithms for large-scale structured systems of linear equations, in...
Philadelphia : Society for Industrial and Applied Mathematics, 1999
e20442787
eBooks Universitas Indonesia Library
Latouche, G., author
Matrix analytic methods are popular as modeling tools because they give one the ability to construct and analyze a wide class of queuing models in a unified and algorithmically tractable way. The authors present the basic mathematical ideas and algorithms of the matrix analytic theory in a readable, up-to-date, and...
Philadelphia : Society for Industrial and Applied Mathematics, 1999
e20442788
eBooks Universitas Indonesia Library
Greenbaum, Anne, author
Much recent research has concentrated on the efficient solution of large sparse or structured linear systems using iterative methods. A language loaded with acronyms for a thousand different algorithms has developed, and it is often difficult even for specialists to identify the basic principles involved. Here is a book that...
Philadelphia : Society for Industrial and Applied Mathematics, 1997
e20442791
eBooks Universitas Indonesia Library
Dongarra, J.J., author
The authors of this carefully structured guide are the principal developers of LINPACK, a unique package of Fortran subroutines for analyzing and solving various systems of simultaneous linear algebraic equations and linear least squares problems.
This guide supports both the casual user of LINPACK who simply requires a library subroutine, and...
Philadelphia : Society for Industrial and Applied Mathematics, 1979
e20442792
eBooks Universitas Indonesia Library
This volume addresses recent developments in mathematical modeling in three areas of optical science: diffractive optics, photonic band gap structures, and waveguides. Particular emphasis is on the formulation of mathematical models and the design and analysis of new computational approaches. The book contains cutting-edge discourses on emerging technology in optics...
Philadelphia : Society for Industrial and Applied Mathematics, 2001
e20442796
eBooks Universitas Indonesia Library
Moore, Ramon E., author
This book treats an important set of techniques that provide a mathematically rigorous and complete error analysis for computational results. It shows that interval analysis provides a powerful set of tools with direct applicability to important problems in scientific computing...
Philadelphia : Society for Industrial and Applied Mathematics, 1995
e20442798
eBooks Universitas Indonesia Library
People in all walks of life--and perhaps mathematicians especially--delight in working on problems for the sheer pleasure of meeting a challenge. The problem section of SIAM Review has always provided such a challenge for mathematicians. The section was started to offer classroom instructors and their students as well as other...
Philadelphia : Society for Industrial and Applied Mathematics, 1990
e20442834
eBooks Universitas Indonesia Library
Hockney, Roger W., author
This book provides an introduction to computer benchmarking. Hockney includes material concerned with the definition of performance parameters and metrics and defines a set of suitable metrics with which to measure performance and units with which to express them. He also presents new ideas resulting from the application of dimensional...
Philadelphia : Society for Industrial and Applied Mathematics, 1996
e20442835
eBooks Universitas Indonesia Library
