Learn IT - Books tags mathematical

Compiler Specification and Verification (Lecture Notes in Computer Science)

Springer, 1981

About four years ago David Luckham hinted to me the possibility of verifying a "real" compiler. At that time the idea seemed unrealistic, even absurd. After looking closer at the problem and getting more familiar with the possibilities of the Stanford verifier a verified compiler appeared not so impossible after all. In...

Matrix computations and semiseparable matrices

Johns Hopkins, 2008

The general properties and mathematical structures of semiseparable matrices were presented in volume 1 of Matrix Computations and Semiseparable Matrices. In volume 2, Raf Vandebril, Marc Van Barel, and Nicola Mastronardi discuss the theory of structured eigenvalue and singular value computations for semiseparable matrices. These...

Underwater Robots (Springer Tracts in Advanced Robotics)

Springer, 2013

This book, now at the third edition, addresses the main control aspects in underwater manipulation tasks. The mathematical model with significant impact on the control strategy is discussed. The problem of controlling a 6-degrees-of-freedoms autonomous underwater vehicle is deeply investigated and a survey of fault detection/tolerant...

Computer Algebra in Scientific Computing: 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013, Proceedings (Lecture Notes in Computer Science)

Springer, 2013

This book constitutes the proceedings of the 14th International Workshop on Computer Algebra in Scientific Computing, CASC 2013, held in Berlin, Germany, in September 2013. The 33 full papers presented were carefully reviewed and selected for inclusion in this book.

The papers address issues such as polynomial algebra; the solution...

Numerical Methods for the Life Scientist: Binding and Enzyme Kinetics Calculated with GNU Octave and MATLAB

Springer, 2011

Enzyme kinetics, binding kinetics and pharmacological dose-response curves are currently analyzed by a few standard methods. Some of these, like Michaelis-Menten enzyme kinetics, use plausible approximations, others, like Hill equations for dose-response curves, are outdated. Calculating realistic reaction schemes requires numerical...

Radio Navigation Systems for Airports and Airways (Springer Aerospace Technology)

Springer, 2019

This book highlights the design principles of ground based radio-navigation systems used in solving navigation tasks in the airfield and on air routes. Mathematical correlations are illustrated that describe its operation, peculiarities of disposition, main technical characteristics, generalized structural diagrams as well as the...

Origins: How the Planets, Stars, Galaxies, and the Universe Began (Astronomers' Universe Series)

Springer, 2006

This new series is aimed at the same people as the Practical Astronomy Series – in general, active amateur astronomers. However, it is also appropriate to a wider audience of astronomically-informed readers. Because optical astronomy is a science that is rather at the mercy of the weather, all amateur astronomers inevitably have periods...

Challenges for Computational Intelligence (Studies in Computational Intelligence)

Springer, 2007

In the year 1900 at the International Congress of Mathematicians in Paris David Hilbert delivered what is now considered the most important talk ever given in the history of mathematics. In this talk Hilbert outlined his philosophy of mathematics and proposed 23 major problems worth working at in future. Some of these problems were in fact more...

Mastering Financial Mathematics in Microsoft Excel: A Practical Guide for Business Calculations (Market Editions)

Trans-Atlantic Publications, 2005

Tools enabling managers to carry out financial calculations have evolved in the last 20 years from tables through calculators to programs on PCs and personal organisers. Today, the majority of those in finance have Excel on their desks and increasingly on their laptops or pocket computers.

Mastering Financial Mathematics in Microsoft...

Theory of Linear Operations (North-Holland Mathematical Library)

North Holland, 1987

The theory of operators, created by V. Volterra, has as its object the study of functions defined on infinite-dimensional spaces. This theory has penetrated several highly important areas of mathematics in an essential way: suffice it to recall that the theory of integral equations and the calculus of variations are included as special cases within...

Hidden Unity in Nature's Laws

Cambridge University Press, 2001

One of the paradoxes of the physical sciences is that as our knowledge has progressed, more and more diverse physical phenomena can be explained in terms of fewer underlying laws, or principles. In Hidden Unity, eminent physicist John Taylor puts many of these findings into historical perspective and documents how progress is made when unexpected,...

Minds, Machines, and the Multiverse: The Quest for the Quantum Computer

Simon & Schuster, 2000

Just how smart can computers get? Science journalist Julian Brown takes a hard look at the spooky world of quantum computation in Minds, Machines, and the Multiverse--and his report is optimistic. Based in large part on the groundbreaking work of David Deutsch, the book mostly sidesteps the shouting matches of the AI debate and...

Result Page: 129 128 127 126 125 124 123 122 121 120 119 118 117 116 115 114 113 112 111