Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 19 dokumen yang sesuai dengan query
cover
Neamtu, Marian, editor
Approximation theory XIII : San Antonio 2010
" These proceedings were prepared in connection with the international conference Approximation Theory XIII, which was held March 7–10, 2010 in San Antonio, Texas. The conference was the thirteenth in a series of meetings in Approximation Theory held at various locations in the United States, and was attended by 144 participants. Previous conferences in the series were held in Austin, Texas (1973, 1976, 1980, 1992), College Station, Texas (1983, 1986, 1989, 1995), Nashville, Tennessee (1998), St. ... "
London : [springer, ], 2012
e20419255
eBooks  Universitas Indonesia Library
cover
Makinson, David
Sets, logic and maths for computing
" This easy-to-follow textbook introduces the mathematical language, knowledge and problem-solving skills that undergraduates need to study computing. The language is in part qualitative, with concepts such as set, relation, function and recursion/induction, but it is also partly quantitative, with principles of counting and finite probability. Entwined with both are the fundamental notions of logic and their use for representation and proof. Features : teaches finite math as a language for thinking, as much as knowledge ... "
London: Springer, 2012
e20407539
eBooks  Universitas Indonesia Library
cover
An introduction to modern mathematical computing : with mathematica
" This our material is divided into three main chapters followed by a postscript. These cover elementary number theory, calculus of one and several variables, introductory linear algebra, and visualization and interactive geometric computation ... "
New York: Springer Science;, 2012
e20419008
eBooks  Universitas Indonesia Library
cover
Pietro, Daniele Antonio Di
Mathematical aspects of discontinuous Galerkin methods
" This book introduces the basic ideas to build discontinuous Galerkin methods and, at the same time, incorporates several recent mathematical developments. The material covers a wide range of model problems, both steady and unsteady, elaborating from advection-reaction and diffusion problems up to the Navier-Stokes equations and Friedrichs' systems. Both finite element and finite volume viewpoints are exploited to convey the main ideas underlying the design of the approximation. ... "
Berlin: Springer, 2012
e20419986
eBooks  Universitas Indonesia Library
cover
Leugering, Gunter
Constrained optimization and optimal control for partial differential equations
" This volume focuses on optimization and control of processes governed by partial differential equations. It is organized in sections which cover almost the entire spectrum of modern research in this emerging field ... "
Basel: Springer, 2012
e20420323
eBooks  Universitas Indonesia Library
cover
Yosibash, Zohar
Singularities in elliptic boundary value problems and elasticity and their connection with failure initiation
" The author treats the mathematical formulations from an engineering viewpoint and presents high-order finite-element methods for the computation of singular solutions in isotropic and anisotropic materials, and multi-material interfaces. The proper interpretation of the results in engineering practice is advocated, so that the computed data can be correlated to experimental observations ... "
New York: [Springer, ], 2012
e20419362
eBooks  Universitas Indonesia Library
cover
Hart, William E.
Pyomo--optimization modeling in python
" This book provides a complete and comprehensive reference/guide to Pyomo (Python Optimization Modeling Objects). The text illustrates the breadth of the modeling and analysis capabilities that are supported by the software and support of complex real-world applications. Pyomo is an open source software package for formulating and solving large-scale optimization and operations research problems. The text begins with a tutorial on simple linear and integer programming models. A detailed reference of Pyomo's modeling components is ... "
New York: [Springer, ], 2012
e20419461
eBooks  Universitas Indonesia Library
cover
Cummins, Mark, editor
Topics in numerical methods for finance
" Presenting state-of-the-art methods in the area, the book begins with a presentation of weak discrete time approximations of jump-diffusion stochastic differential equations for derivatives pricing and risk measurement. Using a moving least squares reconstruction, a numerical approach is then developed that allows for the construction of arbitrage-free surfaces. Free boundary problems are considered next, with particular focus on stochastic impulse control problems that arise when the cost of control includes a fixed cost, common in ... "
New York: [Springer, ], 2012
e20419496
eBooks  Universitas Indonesia Library
cover
Forth, Shaun, editor
Recent advances in algorithmic differentiation
" The proceedings represent the state of knowledge in the area of algorithmic differentiation (AD). The 31 contributed papers presented at the AD2012 conference cover the application of AD to many areas in science and engineering as well as aspects of AD theory and its implementation in tools. For all papers the referees, selected from the program committee and the greater community, as well as the editors have emphasized accessibility of the presented ideas also to ... "
Berlin: [Springer, ], 2012
e20419918
eBooks  Universitas Indonesia Library
cover
Villiers, Johan de
Mathematics of approximation
" The approximation of a continuous function by either an algebraic polynomial, a trigonometric polynomial, or a spline, is an important issue in application areas like computer-aided geometric design and signal analysis. This book is an introduction to the mathematical analysis of such approximation, and, with the prerequisites of only calculus and linear algebra. The topics include polynomial interpolation, Bernstein polynomials and the Weierstrass theorem, best approximations in the general setting of normed linear spaces and ... "
Amsterdam: [Atlantis Press, ], 2012
e20419945
eBooks  Universitas Indonesia Library
<<   1 2   >>