Since the first part of the twentieth century, cybernetics and systems research have been developed as scientific disciplines. Investigations, launched in the area of cybernetics, previously dealt with control and information processing. In a more narrow sense, they consisted in the consideration of analogies of the control and the...

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...

The purpose of Essentials of Modern Business Statistics with Microsoft® Excel is to give students, primarily in the fields of business administration and economics, an introduction to the field of statistics and its many applications. The text is applications oriented and written with the needs of the nonmathematician in mind; the...

This book is a textbook in basic category theory, written specifically to be read by researchers and students in computing science. We expound the constructions we feel are basic to category theory in the context of examples and applications to computing science. Some categorical ideas and constructions are already used heavily in computing...

operator interpolation techniques including a non-Lagrange...

Elements of Artificial Neural Networks provides a clearly organized general introduction, focusing on a broad range of algorithms, for students and others who want to use neural networks rather than simply study them.The authors, who have been developing and team teaching the material in a one-semester course over the past six years, describe...

Linear Programming deals with the problem of minimizing or maximizing a linear function in the presence of linear inequalities. Since the development of the simplex method by George B. Dantzig in 1947, linear programming has been extensively used in the military, industrial, governmental, and urban planning fields, among others. The...

This book originates from the desire to perpetuate expertise in the field of performance evaluation, particularly for telecommunication systems and networks. It is obviously impossible to translate into a single work all the facets of an activity which encompasses many systems and a great variety of domains such as standardization,...

Environmental remote sensing is the measurement, from a distance, of the spectral features of the Earth’s surface and atmosphere. These measurements are normally made by instruments carried by satellites or aircraft, and are used to infer the nature and characteristics of the land or sea surface, or of the atmosphere, at the...

Parallel complexity theory, the study of resource-bounded parallel computation, is surely one of the fastest-growing areas of theoretical Computer Science. In the light of this, it would be foolish to attempt an encyclopedic coverage of the field. However, it is the belief of the author that its foundations are becoming increas ingly...

The purpose of this book is to teach fundamentals of programming concepts and skills needed for basic problem solving, all using MATLABW as the vehicle. MATLAB is a powerful software package that has built-in functions to accomplish a diverse range of tasks, from mathematical operations to three-dimensional imaging. Additionally,...

These Lecture Series in Computational Science and Engineering include the proceedings of a Summer Program in Multi-Scale Modelling and Simulation held in Lugano, Switzerland, between August 4th and 30th, 2003. The workshop was organized by the ETHZ Computational Laboratory (CoLab) together with the Swiss Center for Scientific...