The Haifa 2000 Workshop on "Inherently Parallel Algorithms for Feasibility and Optimization and their Applications" brought together top scientists in this area. The objective of the Workshop was to discuss, analyze and compare the latest developments in this fast growing field of applied mathematics and to identify topics of research which are of special interest for industrial applications and for further theoretical study.

Inherently parallel algorithms, that is, computational methods which are, by their mathematical nature, parallel, have been studied in various contexts for more than fifty years. However, it was only during the last decade that they have mostly proved their practical usefulness because new generations of computers made their implementation possible in order to solve complex feasibility and optimization problems involving huge amounts of data via parallel processing. These led to an accumulation of computational experience and theoretical information and opened new and challenging questions concerning the behavior of inherently parallel algorithms for feasibility and optimization, their convergence in new environments and in circumstances in which they were not considered before their stability and reliability. Several research groups all over the world focused on these questions and it was the general feeling among scientists involved in this effort that the time has come to survey the latest progress and convey a perspective for further development and concerted scientific investigations. Thus, the editors of this volume, with the support of the Israeli Academy for Sciences and Humanities, took the initiative of organizing a Workshop intended to bring together the leading scientists in the field. The current volume is the Proceedings of the Workshop representing the discussions, debates and communications that took place. Having all that information collected in a single book will provide mathematicians and engineers interested in the theoretical and practical aspects of the inherently parallel algorithms for feasibility and optimization with a tool for determining when, where and which algorithms in this class are fit for solving specific problems, how reliable they are, how they behave and how efficient they were in previous applications. Such a tool will allow software creators to choose ways of better implementing these methods by learning from existing experience.

This book aims to present, in a unified approach, a series of mathematical results con cerning triangular norm-based measures and a class of cooperative games with Juzzy coalitions. Our approach intends to emphasize that triangular norm-based measures are powerful tools in exploring the coalitional behaviour in 'such games. They not and simplify some technical aspects of the already classical axiomatic the only unify ory of Aumann-Shapley values, but also provide new perspectives and insights into these results. Moreover, this machinery allows us to obtain, in the game theoretical context, new and heuristically meaningful information, which has a significant impact on balancedness and equilibria analysis in a cooperative environment. From a formal point of view, triangular norm-based measures are valuations on subsets of a unit cube [0, 1]X which preserve dual binary operations induced by trian gular norms on the unit interval [0, 1]. Triangular norms (and their dual conorms) are algebraic operations on [0,1] which were suggested by MENGER [1942] and which proved to be useful in the theory of probabilistic metric spaces (see also [WALD 1943]). The idea of a triangular norm-based measure was implicitly used under various names: vector integrals [DVORETZKY, WALD & WOLFOWITZ 1951], prob abilities oj Juzzy events [ZADEH 1968], and measures on ideal sets [AUMANN & SHAPLEY 1974, p. 152].

The aim of this work is to present in a unified approach a series of results concerning totally convex functions on Banach spaces and their applications to building iterative algorithms for computing common fixed points of mea surable families of operators and optimization methods in infinite dimen sional settings. The notion of totally convex function was first studied by Butnariu, Censor and Reich [31] in the context of the space lRR because of its usefulness for establishing convergence of a Bregman projection method for finding common points of infinite families of closed convex sets. In this finite dimensional environment total convexity hardly differs from strict convexity. In fact, a function with closed domain in a finite dimensional Banach space is totally convex if and only if it is strictly convex. The relevancy of total convexity as a strengthened form of strict convexity becomes apparent when the Banach space on which the function is defined is infinite dimensional. In this case, total convexity is a property stronger than strict convexity but weaker than locally uniform convexity (see Section 1.3 below). The study of totally convex functions in infinite dimensional Banach spaces was started in [33] where it was shown that they are useful tools for extrapolating properties commonly known to belong to operators satisfying demanding contractivity requirements to classes of operators which are not even mildly nonexpansive.

This book aims to present, in a unified approach, a series of mathematical results con cerning triangular norm-based measures and a class of cooperative games with Juzzy coalitions. Our approach intends to emphasize that triangular norm-based measures are powerful tools in exploring the coalitional behaviour in 'such games. They not and simplify some technical aspects of the already classical axiomatic the only unify ory of Aumann-Shapley values, but also provide new perspectives and insights into these results. Moreover, this machinery allows us to obtain, in the game theoretical context, new and heuristically meaningful information, which has a significant impact on balancedness and equilibria analysis in a cooperative environment. From a formal point of view, triangular norm-based measures are valuations on subsets of a unit cube [0, 1]X which preserve dual binary operations induced by trian gular norms on the unit interval [0, 1]. Triangular norms (and their dual conorms) are algebraic operations on [0,1] which were suggested by MENGER [1942] and which proved to be useful in the theory of probabilistic metric spaces (see also [WALD 1943]). The idea of a triangular norm-based measure was implicitly used under various names: vector integrals [DVORETZKY, WALD & WOLFOWITZ 1951], prob abilities oj Juzzy events [ZADEH 1968], and measures on ideal sets [AUMANN & SHAPLEY 1974, p. 152].