The Summer School in Marktoberdorf 1990 had as its overall theme the development of programs as an activity that can be carried out based on and supported by a mathematical method. In particular mathematical methods for the development of programs as parts of distributed systems were included. Mathematical programming methods are a very important topic for which a lot of research in recent years has been carried out. In the Marktoberdorf Summer School outstanding scientists lectured on mathematical programming methods. The lectures centred around logical and functional calculi for the • specification, • refinement, • verification of programs and program systems. Some extremely remarkable examples were given. Looking at these examples it becomes clear that proper research and teaching in the area of program methodology should always show its value by being applied at least to small examples or case studies. It is one of the problems of computing science that examples and case studies have to be short and small to be lJresentable in lectures and papers of moderate size. However, even small examples can tell a lot about the tractability and adequacy of methods and being able to treat small examples does at least prove that the method can be applied in modest ways. Furthermore it demonstrates to some extent the notational and calculational overhead of applying formal methods.

This volume is a collection of papers which were presented at the traditional international conference on programming and mathematical methods for solving physical problems. The topics covered a wide scope of problems including information database systems, networking, data acquisition systems, analytical and numerical methods for solution of the physical problems.

Modern information processing systems show such complex properties as distribution, parallelism, interaction, time dependency, and nondeterminism. For critical applications, mathematical methods are needed to model the systems and to support their development and validation. Impressive progress in mathematical methods for programming software systems makes it possible to think about unifying the different approaches. This book gives a comprehensive overview of existing methods and presents some of the most recent results in applying them. The main topics are: advanced programming techniques, foundations of systems engineering, mathematical support methods, and application of the methods. The approaches presented are illustrated by examples and related to other approaches.

Matrix Games, Programming, and Mathematical Economics deals with game theory, programming theory, and techniques of mathematical economics in a single systematic theory. The principles of game theory and programming are applied to simplified problems related to economic models, business decisions, and military tactics. The book explains the theory of matrix games and some of the tools used in the analysis of matrix games. The text describes optimal strategies for matrix games which have two basic properties, as well as the construction of optimal strategies. The book investigates the structure of sets of solutions of discrete matrix games, with emphasis on the class of games whose solutions are unique. The examples show the use of dominance concepts, symmetries, and probabilistic arguments that emphasize the principles of game theory. One example involves two opposing political parties in an election campaign, particularly, how they should distribute their advertising efforts for wider exposure. The text also investigates how to determine an optimal program from several choices that results with the maximum or minimum objective. The book also explores the analogs of the duality theorem, the equivalence of game problems to linear programming problems, and also the inter-industry nonlinear activity analysis model requiring special mathematical methods. The text will prove helpful for students in advanced mathematics and calculus. It can be appreciated by mathematicians, engineers, economists, military strategists, or statisticians who formulate decisions using mathematical analysis and linear programming.

This Festschrift, published on the occasion of the sixtieth birthday of Yutaka - mamoto (‘YY’ as he is occasionally casually referred to), contains a collection of articles by friends, colleagues, and former Ph.D. students of YY. They are a tribute to his friendship and his scienti?c vision and oeuvre, which has been a source of inspiration to the authors. Yutaka Yamamoto was born in Kyoto, Japan, on March 29, 1950. He studied applied mathematics and general engineering science at the Department of Applied Mathematics and Physics of Kyoto University, obtaining the B.S. and M.Sc. degrees in 1972 and 1974. His M.Sc. work was done under the supervision of Professor Yoshikazu Sawaragi. In 1974, he went to the Center for Mathematical System T- ory of the University of Florida in Gainesville. He obtained the M.Sc. and Ph.D. degrees, both in Mathematics, in 1976 and 1978, under the direction of Professor Rudolf Kalman.

This coherent and articulate volume summarizes work carried out in the field of theoretical signal and image processing. It focuses on non-linear and non-parametric models for time series as well as on adaptive methods in image processing. The aim of this volume is to bring together research directions in theoretical signal and imaging processing developed rather independently in electrical engineering, theoretical physics, mathematics and the computer sciences.

This book includes the seven papers that contributed to the Special Issue of Mathematics entitled “Mathematical Methods in Applied Sciences”. The papers are authored by eminent specialists and aim at presenting to a broad audience some mathematical models which appear in different aspects of modern life. New results in Computational Mathematics are given as well. Emphasis is on Medicine and Public Health, in relation also with Social Sciences. The models in this collection apply in particular to the study of brain cells during a stroke, training management efficiency for elite athletes, and optimal surgical operation scheduling. Other models concern Industry and Economy, as well as Biology and Chemistry. Numerical Methods are represented in particular by scattered data interpolation, spectral collocation, and the use of eigenvalues and eigenvectors of the Laplacian matrix. This book will appeal to scientists, teachers, and graduate students in Mathematics, in particular Numerical Analysis, and will be of interest for scholars in Applied Sciences, particularly in Medicine and Public Health.

This book deals with one of the most novel advances in mathematical modeling for applied scientific technology, including computer graphics, public-key encryption, data visualization, statistical data analysis, symbolic calculation, encryption, error correcting codes, and risk management. It also shows that mathematics can be used to solve problems from nature, e.g., slime mold algorithms. One of the unique features of this book is that it shows readers how to use pure and applied mathematics, especially those mathematical theory/techniques developed in the twentieth century, and developing now, to solve applied problems in several fields of industry. Each chapter includes clues on how to use "mathematics" to solve concrete problems faced in industry as well as practical applications. The target audience is not limited to researchers working in applied mathematics and includes those in engineering, material sciences, economics, and life sciences.

The many technical and computational problems that appear to be constantly emerging in various branches of physics and engineering beg for a more detailed understanding of the fundamental mathematics that serves as the cornerstone of our way of understanding natural phenomena. The purpose of this Special Issue was to establish a brief collection of carefully selected articles authored by promising young scientists and the world's leading experts in pure and applied mathematics, highlighting the state-of-the-art of the various research lines focusing on the study of analytical and numerical mathematical methods for pure and applied sciences.