The book appears just as research intensifies into metric spaces and especially, distance design for applications. These distances are particularly crucial,...

Computational optimization methods have matured over the last few years due to extensive research by applied mathematicians and engineers. These methods have been applied to many practical applications. Several general-purpose optimization programs and programs for specific engineering applications have become available to solve particular...

A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Based on the idea of refinement, the author's systematic approach allows the user to construct models gradually and to...

Discover what you can do with R! Introducing the R system, covering standard regression methods, then tackling more advanced topics, this book guides users through the practical, powerful tools that the R system provides. The emphasis is on hands-on analysis, graphical display, and interpretation of data. The many worked examples, from...

The growing popularity of Web 2.0 applications is increasing user expectations for high-quality web site design, presentation, and functionality. It is into this climate that Microsoft is releasing Silverlight 4, the third and latest iteration of its cross-browser web presentation technology. Beginning Sliverlight 4 brings you to the...

Electronic navigation systems are extremely reliable but when they do fail onboard repair at sea is rarely possible. Also, their operation depends on a continuous supply of electricity. Should this fail they will stop and unexpectedly lacking the means of position finding, chart plotting and route planning how can the modern navigator...

Explore the frontier of device engineering by applying optimization to nanoscience and device design. This cutting-edge work shows how robust, manufacturable designs that meet previously unobtainable system specifications can be created using a combination of modern computer power, adaptive algorithms, and realistic device-physics models....

Whether you want to pay homage to history, marvel at the seat of power, take in world-class museums and art galleries, or see the cherry trees in bloom, the nation’s capital offers a wealth of wonderful choices for visitors. With information on the top sights plus some really interesting lesser-known attractions, this friendly guide...

SPACE AND TIME BY EMILE BOREL Honorary Director of LEcole Normalc Supcrieure Professor of the Faculte des Sciences of Paris Member of the Institute BLACKIE SON LIMITED LONDON AND GLASGOW 1926 Preface The reader will not find here a didactic account of Einsteins theories. Such an account requires the use of the formulas of mathematical physics...

If you're always hearing about the cool things that Excel can do, here's your chance to see how to do them! With pages of full-color, step-by-step instructions and crystal-clear screen shots, this guide shows you how to get the most out of...